runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108300820/aspuncud-user-1.0/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.dudf-real.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-real//eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201108300820/aspuncud-user-1.0/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.dudf-real.result +sum(installedsize) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.01 1.00 3/35 18586
/proc/meminfo: memFree=912096/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2588 CPUtime=0
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 373 0 0 0 0 0 0 0 25 0 1 0 59649542 2650112 279 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/18584/statm: 647 279 234 194 0 34 0
[pid=18585] ppid=18584 vsize=2588 CPUtime=0
/proc/18585/stat : 18585 (aspuncud-user-1) R 18584 18584 2160 34817 2160 4202560 110 0 0 0 0 0 0 0 25 0 1 0 59649542 2650112 132 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/18585/statm: 647 132 86 194 0 34 0
[pid=18586] ppid=18585 vsize=2588 CPUtime=0
/proc/18586/stat : 18586 (aspuncud-user-1) R 18585 18584 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 1 0 59649542 2650112 46 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/18586/statm: 647 46 0 194 0 34 0

[startup+0.113023 s]
/proc/loadavg: 1.06 1.01 1.00 3/35 18586
/proc/meminfo: memFree=912096/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=0
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 1522 0 0 0 0 0 0 25 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+0.213047 s]
/proc/loadavg: 1.06 1.01 1.00 3/35 18586
/proc/meminfo: memFree=912096/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=0
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 1522 0 0 0 0 0 0 25 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+0.313075 s]
/proc/loadavg: 1.06 1.01 1.00 3/35 18586
/proc/meminfo: memFree=912096/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=0
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 1522 0 0 0 0 0 0 25 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+0.713144 s]
/proc/loadavg: 1.06 1.01 1.00 3/35 18586
/proc/meminfo: memFree=912096/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=0
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 1522 0 0 0 0 0 0 25 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2592

[startup+1.51332 s]
/proc/loadavg: 1.06 1.01 1.00 2/37 18595
/proc/meminfo: memFree=881568/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=0
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 1522 0 0 0 0 0 0 25 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=12736 CPUtime=0
/proc/18593/stat : 18593 (unclasp) S 18584 18584 2160 34817 2160 4202496 3092 0 0 0 0 0 0 0 18 0 1 0 59649543 13041664 2571 1283457024 134512640 135121179 4291632960 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/18593/statm: 3184 2571 275 149 0 2375 0
[pid=18594] ppid=18584 vsize=16316 CPUtime=0.56
/proc/18594/stat : 18594 (gringo) R 18584 18584 2160 34817 2160 4202496 4568 0 0 0 54 2 0 0 18 0 1 0 59649543 16707584 3105 1283457024 134512640 137056543 4294599072 18446744073709551615 134715221 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18594/statm: 4079 3105 253 622 0 3454 0
[pid=18595] ppid=18584 vsize=23472 CPUtime=0.94
/proc/18595/stat : 18595 (cudf2lp) R 18584 18584 2160 34817 2160 4202496 7073 0 0 0 94 0 0 0 25 0 1 0 59649543 24035328 5665 1283457024 134512640 135786343 4294883936 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0
/proc/18595/statm: 5868 5665 139 311 0 5555 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 55116

[startup+3.11367 s]
/proc/loadavg: 1.14 1.03 1.01 3/37 18595
/proc/meminfo: memFree=847840/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=1.15
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 8598 0 0 0 0 114 1 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=36416 CPUtime=0.22
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 9614 0 0 0 18 4 0 0 18 0 1 0 59649543 37289984 8415 1283457024 134512640 135121179 4291632960 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 9104 8415 277 149 0 8295 0
[pid=18594] ppid=18584 vsize=58308 CPUtime=1.71
/proc/18594/stat : 18594 (gringo) R 18584 18584 2160 34817 2160 4202496 16963 0 0 0 163 8 0 0 18 0 1 0 59649543 59707392 12675 1283457024 134512640 137056543 4294599072 18446744073709551615 136302004 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18594/statm: 14577 12675 268 622 0 13952 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 97316

[startup+6.3147 s]
/proc/loadavg: 1.14 1.03 1.01 2/35 18595
/proc/meminfo: memFree=864116/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=53900 CPUtime=3.16
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 48654 0 0 0 294 22 0 0 24 0 1 0 59649543 55193600 12256 1283457024 134512640 135121179 4291632960 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 13475 12256 319 149 0 12666 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 56492

[startup+12.7069 s]
/proc/loadavg: 1.11 1.03 1.00 2/35 18595
/proc/meminfo: memFree=862884/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=55152 CPUtime=9.55
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 128706 0 0 0 903 52 0 0 25 0 1 0 59649543 56475648 12561 1283457024 134512640 135121179 4291632960 18446744073709551615 134990512 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 13788 12561 319 149 0 12979 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57744

[startup+25.5113 s]
/proc/loadavg: 1.10 1.03 1.00 2/35 18595
/proc/meminfo: memFree=863752/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=53144 CPUtime=22.34
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 279609 0 0 0 2130 104 0 0 25 0 1 0 59649543 54419456 12099 1283457024 134512640 135121179 4291632960 18446744073709551615 134734361 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 13286 12099 319 149 0 12477 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55736

[startup+51.1109 s]
/proc/loadavg: 1.06 1.02 1.00 2/35 18595
/proc/meminfo: memFree=863380/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=53712 CPUtime=47.92
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 573121 0 0 0 4569 223 0 0 25 0 1 0 59649543 55001088 12240 1283457024 134512640 135121179 4291632960 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 13428 12240 321 149 0 12619 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 56304

[startup+102.309 s]
/proc/loadavg: 1.02 1.02 1.00 2/35 18595
/proc/meminfo: memFree=862512/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=54856 CPUtime=99.07
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1145898 0 0 0 9428 479 0 0 25 0 1 0 59649543 56172544 12573 1283457024 134512640 135121179 4291632960 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 13714 12573 323 149 0 12905 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 57448

Solver just ended. Dumping a history of the last processes samples

[startup+102.409 s]
/proc/loadavg: 1.02 1.02 1.00 2/35 18595
/proc/meminfo: memFree=862512/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=54196 CPUtime=99.17
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1147196 0 0 0 9438 479 0 0 25 0 1 0 59649543 55496704 12420 1283457024 134512640 135121179 4291632960 18446744073709551615 4159849581 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 13549 12420 323 149 0 12740 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 56788

[startup+128.008 s]
/proc/loadavg: 1.01 1.02 1.00 2/35 18595
/proc/meminfo: memFree=848004/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=68600 CPUtime=124.75
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1403559 0 0 0 11898 577 0 0 25 0 1 0 59649543 70246400 16143 1283457024 134512640 135121179 4291632960 18446744073709551615 4158315240 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 17150 16143 323 149 0 16341 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 71192

[startup+140.803 s]
/proc/loadavg: 1.01 1.01 1.00 2/35 18595
/proc/meminfo: memFree=833000/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=82784 CPUtime=137.54
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1512650 0 0 0 13132 622 0 0 25 0 1 0 59649543 84770816 19744 1283457024 134512640 135121179 4291632960 18446744073709551615 134734450 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 20696 19744 323 149 0 19887 0
Current children cumulated CPU time (s) 140.68
Current children cumulated vsize (KiB) 85376

[startup+147.215 s]
/proc/loadavg: 1.01 1.01 1.00 2/35 18595
/proc/meminfo: memFree=827048/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=90492 CPUtime=143.95
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1568848 0 0 0 13756 639 0 0 25 0 1 0 59649543 92663808 21655 1283457024 134512640 135121179 4291632960 18446744073709551615 134873587 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 22623 21655 323 149 0 21814 0
Current children cumulated CPU time (s) 147.09
Current children cumulated vsize (KiB) 93084

[startup+148.815 s]
/proc/loadavg: 1.01 1.01 1.00 2/35 18595
/proc/meminfo: memFree=825808/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=92088 CPUtime=145.55
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1584335 0 0 0 13913 642 0 0 25 0 1 0 59649543 94298112 22068 1283457024 134512640 135121179 4291632960 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 23022 22068 323 149 0 22213 0
Current children cumulated CPU time (s) 148.69
Current children cumulated vsize (KiB) 94680

[startup+149.616 s]
/proc/loadavg: 1.01 1.01 1.00 2/35 18595
/proc/meminfo: memFree=823700/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=92024 CPUtime=146.35
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1592688 0 0 0 13989 646 0 0 25 0 1 0 59649543 94232576 22054 1283457024 134512640 135121179 4291632960 18446744073709551615 134734361 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 23006 22054 323 149 0 22197 0
Current children cumulated CPU time (s) 149.49
Current children cumulated vsize (KiB) 94616

[startup+150.416 s]
/proc/loadavg: 1.01 1.01 1.00 2/35 18595
/proc/meminfo: memFree=823700/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=91580 CPUtime=147.15
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1597630 0 0 0 14069 646 0 0 25 0 1 0 59649543 93777920 21944 1283457024 134512640 135121179 4291632960 18446744073709551615 134890981 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 22895 21944 323 149 0 22086 0
Current children cumulated CPU time (s) 150.29
Current children cumulated vsize (KiB) 94172

[startup+150.616 s]
/proc/loadavg: 1.01 1.01 1.00 2/35 18595
/proc/meminfo: memFree=823700/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=3.14
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 573 27217 0 0 0 0 302 12 18 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18593] ppid=18584 vsize=89756 CPUtime=147.36
/proc/18593/stat : 18593 (unclasp) R 18584 18584 2160 34817 2160 4202496 1598412 0 0 0 14088 648 0 0 25 0 1 0 59649543 91910144 21634 1283457024 134512640 135121179 4291632960 18446744073709551615 4158277084 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/18593/statm: 22439 21634 336 149 0 21630 0
Current children cumulated CPU time (s) 150.5
Current children cumulated vsize (KiB) 92348

[startup+150.706 s]
/proc/loadavg: 1.01 1.01 1.00 2/35 18598
/proc/meminfo: memFree=908376/1048576 swapFree=0/0
[pid=18584] ppid=18583 vsize=2592 CPUtime=150.57
/proc/18584/stat : 18584 (aspuncud-user-1) S 18583 18584 2160 34817 2160 4202496 625 1626888 0 0 0 0 14396 661 22 0 1 0 59649542 2654208 297 1283457024 134512640 135304128 4287216240 18446744073709551615 4294960130 0 65536 16902 1132543225 18446744071564329979 0 0 17 0 0 0 0
/proc/18584/statm: 648 297 251 194 0 35 0
[pid=18598] ppid=18584 vsize=4312 CPUtime=0.02
/proc/18598/stat : 18598 (sed) R 18584 18584 2160 34817 2160 4202496 853 0 0 0 2 0 0 0 23 0 1 0 59664611 4415488 730 1283457024 134512640 134563280 4288764992 18446744073709551615 4159299142 0 0 16898 0 0 0 0 17 0 0 0 0
/proc/18598/statm: 1078 730 144 13 0 681 0
Current children cumulated CPU time (s) 150.59
Current children cumulated vsize (KiB) 6904

Child status: 0
Real time (s): 150.739
CPU time (s): 150.625
CPU user time (s): 144.001
CPU system time (s): 6.62441
CPU usage (%): 99.9248
Max. virtual memory (cumulated for all children) (KiB): 108376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.001
system time used= 6.62441
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1630172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3346
involuntary context switches= 4301

runsolver used 0 second user time and 0 second system time

The end