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/gj-user-solver-1.0/rand609.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand609.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/rand609.cudf.user-upgrades.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.20 1.07 1.02 1/34 9804
/proc/meminfo: memFree=982360/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=3020 CPUtime=0
/proc/9804/stat : 9804 (runsolver) D 9803 9804 2160 34817 2160 4202560 73 0 0 0 0 0 0 0 22 0 1 0 54902783 3092480 94 1283457024 134512640 134586868 4294432960 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/9804/statm: 755 94 62 19 0 54 0

[startup+0.106621 s]
/proc/loadavg: 1.20 1.07 1.02 1/34 9804
/proc/meminfo: memFree=982360/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.206608 s]
/proc/loadavg: 1.20 1.07 1.02 1/34 9804
/proc/meminfo: memFree=982360/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.306643 s]
/proc/loadavg: 1.20 1.07 1.02 1/34 9804
/proc/meminfo: memFree=982360/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.706679 s]
/proc/loadavg: 1.20 1.07 1.02 1/34 9804
/proc/meminfo: memFree=982360/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.51143 s]
/proc/loadavg: 1.20 1.07 1.02 1/44 9814
/proc/meminfo: memFree=959884/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=411552 CPUtime=0.27
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 9243 0 239 0 26 1 0 0 22 0 9 0 54902784 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 102888 8728 2899 10 0 97036 0
[pid=9806/tid=9807] ppid=9804 vsize=411552 CPUtime=0.11
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 3362 0 150 0 11 0 0 0 18 0 9 0 54902807 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4115393210 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=411552 CPUtime=0.12
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 4561 0 27 0 12 0 0 0 16 0 9 0 54902835 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=411552 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 9 0 54902841 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=411552 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) R 9804 9804 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 18 0 9 0 54902841 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=411552 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 54902859 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=411552 CPUtime=0.02
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 439 0 5 0 1 1 0 0 18 0 9 0 54902859 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=411552 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 54902859 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=411552 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 16 0 9 0 54902859 421429248 8728 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 414120

[startup+3.11115 s]
/proc/loadavg: 1.18 1.07 1.02 3/44 9814
/proc/meminfo: memFree=879252/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=411684 CPUtime=1.78
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 35742 0 239 0 166 12 0 0 22 0 9 0 54902784 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 102921 35227 2900 10 0 97069 0
[pid=9806/tid=9807] ppid=9804 vsize=411684 CPUtime=0.72
/proc/9806/task/9807/stat : 9807 (java) D 9804 9804 2160 34817 2160 4202560 9170 0 150 0 68 4 0 0 19 0 9 0 54902807 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=411684 CPUtime=1.02
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 25242 0 27 0 96 6 0 0 16 0 9 0 54902835 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=411684 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 9 0 54902841 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=411684 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 54902841 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=411684 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 54902859 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=411684 CPUtime=0.02
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 448 0 5 0 1 1 0 0 15 0 9 0 54902859 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=411684 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 54902859 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=411684 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 9 0 54902859 421564416 35227 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 414252
heavy processes:

[startup+6.31247 s]
/proc/loadavg: 1.18 1.07 1.02 2/44 9814
/proc/meminfo: memFree=673120/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=440328 CPUtime=4.77
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 76969 0 239 0 455 22 0 0 22 0 9 0 54902784 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 110082 76454 2900 10 0 104230 0
[pid=9806/tid=9807] ppid=9804 vsize=440328 CPUtime=1.56
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13634 0 150 0 150 6 0 0 20 0 9 0 54902807 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=440328 CPUtime=3.17
/proc/9806/task/9808/stat : 9808 (java) R 9804 9804 2160 34817 2160 4202560 62005 0 27 0 302 15 0 0 16 0 9 0 54902835 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4153326178 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=440328 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 9 0 54902841 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=440328 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 54902841 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=440328 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 54902859 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=440328 CPUtime=0.02
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 448 0 5 0 1 1 0 0 15 0 9 0 54902859 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=440328 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 54902859 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=440328 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 9 0 54902859 450895872 76454 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 442896
heavy processes:

[startup+12.7125 s]
/proc/loadavg: 1.31 1.10 1.03 2/45 9815
/proc/meminfo: memFree=661264/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=11
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99213 0 246 0 1071 29 0 0 22 0 10 0 54902784 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 70526 2917 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=3.58
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13899 0 157 0 352 6 0 0 25 0 10 0 54902807 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4115691125 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=7.29
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83895 0 27 0 707 22 0 0 15 0 10 0 54902835 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.11
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 532 0 5 0 10 1 0 0 15 0 10 0 54902859 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 70526 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 414888

[startup+25.5056 s]
/proc/loadavg: 1.26 1.09 1.03 2/45 9815
/proc/meminfo: memFree=661264/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=23.79
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99218 0 246 0 2349 30 0 0 22 0 10 0 54902784 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 70531 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=16.33
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 1627 6 0 0 25 0 10 0 54902807 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4115862981 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=7.31
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 709 22 0 0 15 0 10 0 54902835 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.12
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 534 0 5 0 11 1 0 0 15 0 10 0 54902859 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 70531 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.79
Current children cumulated vsize (KiB) 414888

[startup+51.1117 s]
/proc/loadavg: 1.17 1.08 1.03 2/45 9815
/proc/meminfo: memFree=669200/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=49.38
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 4907 31 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=41.59
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 4151 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115691109 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=7.64
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 742 22 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.38
Current children cumulated vsize (KiB) 414888

[startup+102.313 s]
/proc/loadavg: 1.07 1.07 1.02 2/44 9815
/proc/meminfo: memFree=669148/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=100.56
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 10025 31 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=92.28
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 9220 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115691100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=8.13
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 791 22 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.56
Current children cumulated vsize (KiB) 414888

[startup+162.305 s]
/proc/loadavg: 1.02 1.05 1.02 2/44 9815
/proc/meminfo: memFree=669148/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=160.53
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 16021 32 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=151.88
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 15180 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115107593 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=8.49
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 826 23 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.53
Current children cumulated vsize (KiB) 414888

[startup+222.308 s]
/proc/loadavg: 1.01 1.04 1.01 2/44 9815
/proc/meminfo: memFree=669148/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=220.47
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 22015 32 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=211.41
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 21133 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115691100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=8.91
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 868 23 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.47
Current children cumulated vsize (KiB) 414888

[startup+282.302 s]
/proc/loadavg: 1.06 1.06 1.01 2/44 9815
/proc/meminfo: memFree=669148/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=280.41
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 28009 32 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=271
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 27092 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115691100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=9.26
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 903 23 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.41
Current children cumulated vsize (KiB) 414888

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

[startup+284.813 s]
/proc/loadavg: 1.06 1.06 1.01 2/46 9817
/proc/meminfo: memFree=668944/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=282.92
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 28260 32 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=273.48
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 27340 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115691109 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=9.29
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 906 23 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.92
Current children cumulated vsize (KiB) 414888

[startup+285.613 s]
/proc/loadavg: 1.06 1.06 1.01 3/46 9817
/proc/meminfo: memFree=668944/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=283.72
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 28340 32 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=274.28
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 27420 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115894695 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=9.29
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 906 23 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.72
Current children cumulated vsize (KiB) 414888

[startup+286.013 s]
/proc/loadavg: 1.06 1.06 1.01 2/46 9817
/proc/meminfo: memFree=668944/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=284.12
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99222 0 246 0 28380 32 0 0 22 0 10 0 54902784 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68418 2920 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=274.68
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 27460 8 0 0 25 0 10 0 54902807 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4115691125 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=9.29
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 906 23 0 0 15 0 10 0 54902835 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 54902841 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 54902859 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9815] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9815/stat : 9815 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 54903880 422215680 68418 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.12
Current children cumulated vsize (KiB) 414888

[startup+286.213 s]
/proc/loadavg: 1.06 1.06 1.01 2/46 9817
/proc/meminfo: memFree=668944/1048576 swapFree=0/0
[pid=9804] ppid=9803 vsize=2568 CPUtime=0
/proc/9804/stat : 9804 (gj-user-solver-) S 9803 9804 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 54902783 2629632 269 1283457024 134512640 135304128 4292427664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9804/statm: 642 269 229 194 0 29 0
[pid=9806] ppid=9804 vsize=412320 CPUtime=284.32
/proc/9806/stat : 9806 (java) S 9804 9804 2160 34817 2160 4202496 99223 0 246 0 28400 32 0 0 22 0 9 0 54902784 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9806/statm: 103080 68419 2921 10 0 97225 0
[pid=9806/tid=9807] ppid=9804 vsize=412320 CPUtime=274.88
/proc/9806/task/9807/stat : 9807 (java) R 9804 9804 2160 34817 2160 4202560 13900 0 157 0 27480 8 0 0 25 0 9 0 54902807 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4115921349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9806/tid=9808] ppid=9804 vsize=412320 CPUtime=9.29
/proc/9806/task/9808/stat : 9808 (java) S 9804 9804 2160 34817 2160 4202560 83897 0 27 0 906 23 0 0 15 0 9 0 54902835 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9809] ppid=9804 vsize=412320 CPUtime=0.01
/proc/9806/task/9809/stat : 9809 (java) S 9804 9804 2160 34817 2160 4202560 14 0 1 0 1 0 0 0 15 0 9 0 54902841 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9810] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9810/stat : 9810 (java) S 9804 9804 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 54902841 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9811] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9811/stat : 9811 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 54902859 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9812] ppid=9804 vsize=412320 CPUtime=0.13
/proc/9806/task/9812/stat : 9812 (java) S 9804 9804 2160 34817 2160 4202560 538 0 5 0 12 1 0 0 15 0 9 0 54902859 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9813] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9813/stat : 9813 (java) S 9804 9804 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 54902859 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=9806/tid=9814] ppid=9804 vsize=412320 CPUtime=0
/proc/9806/task/9814/stat : 9814 (java) S 9804 9804 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 9 0 54902859 422215680 68419 1283457024 134512640 134550932 4286595424 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.32
Current children cumulated vsize (KiB) 414888

Child status: 0
Real time (s): 286.306
CPU time (s): 284.37
CPU user time (s): 284.03
CPU system time (s): 0.340021
CPU usage (%): 99.3239
Max. virtual memory (cumulated for all children) (KiB): 442896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.03
system time used= 0.340021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99621
page faults= 246
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6493
involuntary context switches= 8857

runsolver used 0.004 second user time and 0 second system time

The end