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/rand924.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand924.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/rand924.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.22 1.09 1.02 1/34 11867
/proc/meminfo: memFree=982484/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=3020 CPUtime=0
/proc/11867/stat : 11867 (runsolver) D 11866 11867 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 23 0 1 0 55945488 3092480 93 1283457024 134512640 134586868 4289776720 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/11867/statm: 755 93 62 19 0 54 0

[startup+0.146163 s]
/proc/loadavg: 1.22 1.09 1.02 1/34 11867
/proc/meminfo: memFree=982484/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.206143 s]
/proc/loadavg: 1.22 1.09 1.02 1/34 11867
/proc/meminfo: memFree=982484/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.306148 s]
/proc/loadavg: 1.22 1.09 1.02 1/34 11867
/proc/meminfo: memFree=982484/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.706208 s]
/proc/loadavg: 1.22 1.09 1.02 1/34 11867
/proc/meminfo: memFree=982484/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+1.50622 s]
/proc/loadavg: 1.21 1.09 1.02 3/44 11877
/proc/meminfo: memFree=953640/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=410676 CPUtime=0.28
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 9898 0 238 0 26 2 0 0 23 0 9 0 55945490 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102669 9380 2900 10 0 96817 0
[pid=11869/tid=11870] ppid=11867 vsize=410676 CPUtime=0.15
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 4017 0 149 0 14 1 0 0 21 0 9 0 55945512 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=410676 CPUtime=0.09
/proc/11869/task/11871/stat : 11871 (java) R 11867 11867 2160 34817 2160 4202560 4561 0 28 0 9 0 0 0 16 0 9 0 55945535 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4151247079 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=410676 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 55945540 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=410676 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 55945540 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=410676 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 55945558 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=410676 CPUtime=0.02
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 437 0 4 0 2 0 0 0 17 0 9 0 55945558 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=410676 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 9 0 55945558 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=410676 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) R 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 17 0 9 0 55945558 420532224 9380 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 413252

[startup+3.11291 s]
/proc/loadavg: 1.21 1.09 1.02 3/44 11877
/proc/meminfo: memFree=890724/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=410808 CPUtime=1.79
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 35739 0 238 0 170 9 0 0 23 0 9 0 55945490 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102702 35221 2900 10 0 96850 0
[pid=11869/tid=11870] ppid=11867 vsize=410808 CPUtime=0.71
/proc/11869/task/11870/stat : 11870 (java) D 11867 11867 2160 34817 2160 4202560 9169 0 149 0 69 2 0 0 24 0 9 0 55945512 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=410808 CPUtime=1.03
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 25241 0 28 0 96 7 0 0 16 0 9 0 55945535 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=410808 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 55945540 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=410808 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 55945540 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=410808 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 55945558 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=410808 CPUtime=0.04
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 446 0 4 0 4 0 0 0 15 0 9 0 55945558 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=410808 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 9 0 55945558 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=410808 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55945558 420667392 35221 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 413384
heavy processes:

[startup+6.30937 s]
/proc/loadavg: 1.27 1.10 1.03 3/44 11877
/proc/meminfo: memFree=676064/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=438396 CPUtime=4.65
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 76690 0 238 0 446 19 0 0 23 0 9 0 55945490 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 109599 76172 2900 10 0 103747 0
[pid=11869/tid=11870] ppid=11867 vsize=438396 CPUtime=1.55
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13633 0 149 0 148 7 0 0 25 0 9 0 55945512 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=438396 CPUtime=3.06
/proc/11869/task/11871/stat : 11871 (java) R 11867 11867 2160 34817 2160 4202560 61728 0 28 0 294 12 0 0 16 0 9 0 55945535 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4152977953 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=438396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 55945540 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=438396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 55945540 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=438396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 55945558 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=438396 CPUtime=0.04
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 446 0 4 0 4 0 0 0 15 0 9 0 55945558 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=438396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 9 0 55945558 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=438396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55945558 448917504 76172 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 440972
heavy processes:

[startup+12.7109 s]
/proc/loadavg: 1.33 1.12 1.03 3/45 11878
/proc/meminfo: memFree=661264/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=10.9
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98329 0 245 0 1063 27 0 0 23 0 10 0 55945490 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70498 2917 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=3.48
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 341 7 0 0 25 0 10 0 55945512 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342044 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=7.3
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83023 0 28 0 710 20 0 0 16 0 10 0 55945535 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 524 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70498 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 413972

[startup+25.5137 s]
/proc/loadavg: 1.25 1.11 1.03 3/45 11878
/proc/meminfo: memFree=661264/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=23.69
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98333 0 245 0 2342 27 0 0 23 0 10 0 55945490 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70502 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=16.27
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 1620 7 0 0 25 0 10 0 55945512 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4115399936 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=7.31
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 711 20 0 0 15 0 10 0 55945535 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 526 0 4 0 11 0 0 0 16 0 10 0 55945558 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) R 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70502 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 413972

[startup+51.1105 s]
/proc/loadavg: 1.17 1.10 1.03 2/45 11878
/proc/meminfo: memFree=661264/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=49.29
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98334 0 245 0 4900 29 0 0 23 0 10 0 55945490 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70503 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=41.83
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 4174 9 0 0 25 0 10 0 55945512 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342053 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=7.34
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 714 20 0 0 15 0 10 0 55945535 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 527 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70503 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.29
Current children cumulated vsize (KiB) 413972

[startup+102.313 s]
/proc/loadavg: 1.07 1.08 1.02 2/44 11878
/proc/meminfo: memFree=660852/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=100.48
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98337 0 245 0 10019 29 0 0 23 0 10 0 55945490 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70506 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=92.77
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 9268 9 0 0 25 0 10 0 55945512 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342069 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=7.59
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 739 20 0 0 15 0 10 0 55945535 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 530 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70506 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.48
Current children cumulated vsize (KiB) 413972

[startup+162.307 s]
/proc/loadavg: 1.02 1.07 1.02 2/44 11878
/proc/meminfo: memFree=660852/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=160.44
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98338 0 245 0 16015 29 0 0 23 0 10 0 55945490 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70507 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=152.55
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 15246 9 0 0 25 0 10 0 55945512 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342069 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=7.77
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 757 20 0 0 15 0 10 0 55945535 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 531 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.44
Current children cumulated vsize (KiB) 413972

[startup+222.309 s]
/proc/loadavg: 1.01 1.05 1.01 2/44 11878
/proc/meminfo: memFree=660852/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=220.43
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98338 0 245 0 22013 30 0 0 23 0 10 0 55945490 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70507 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=212.35
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 21226 9 0 0 25 0 10 0 55945512 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342075 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=7.96
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 775 21 0 0 15 0 10 0 55945535 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 531 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.43
Current children cumulated vsize (KiB) 413972

[startup+282.304 s]
/proc/loadavg: 1.00 1.04 1.00 2/44 11878
/proc/meminfo: memFree=660852/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=280.44
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98338 0 245 0 28014 30 0 0 23 0 10 0 55945490 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70507 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=272.15
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 27206 9 0 0 25 0 10 0 55945512 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342053 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=8.18
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 797 21 0 0 15 0 10 0 55945535 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 531 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.44
Current children cumulated vsize (KiB) 413972

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

[startup+284.605 s]
/proc/loadavg: 1.00 1.04 1.00 2/44 11878
/proc/meminfo: memFree=660852/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=282.74
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98338 0 245 0 28244 30 0 0 23 0 10 0 55945490 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70507 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=274.45
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 27436 9 0 0 25 0 10 0 55945512 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342044 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=8.18
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 797 21 0 0 15 0 10 0 55945535 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 531 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.74
Current children cumulated vsize (KiB) 413972

[startup+285.405 s]
/proc/loadavg: 1.00 1.04 1.00 2/44 11878
/proc/meminfo: memFree=660852/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=283.54
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98338 0 245 0 28324 30 0 0 23 0 10 0 55945490 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70507 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=275.21
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 27512 9 0 0 25 0 10 0 55945512 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342075 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=8.22
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 801 21 0 0 16 0 10 0 55945535 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 531 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.54
Current children cumulated vsize (KiB) 413972

[startup+285.805 s]
/proc/loadavg: 1.00 1.04 1.00 2/46 11880
/proc/meminfo: memFree=660708/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=283.94
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98338 0 245 0 28364 30 0 0 23 0 10 0 55945490 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70507 2919 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=275.61
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 27552 9 0 0 25 0 10 0 55945512 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4115342044 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=8.22
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 801 21 0 0 16 0 10 0 55945535 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 55945540 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 531 0 4 0 11 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 55945558 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11878] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11878/stat : 11878 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 25 0 10 0 55946595 421269504 70507 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.94
Current children cumulated vsize (KiB) 413972

[startup+286.005 s]
/proc/loadavg: 1.00 1.04 1.00 2/46 11880
/proc/meminfo: memFree=660708/1048576 swapFree=0/0
[pid=11867] ppid=11866 vsize=2576 CPUtime=0
/proc/11867/stat : 11867 (gj-user-solver-) S 11866 11867 2160 34817 2160 4202496 374 0 0 0 0 0 0 0 24 0 1 0 55945488 2637824 271 1283457024 134512640 135304128 4288258960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11867/statm: 644 271 229 194 0 31 0
[pid=11869] ppid=11867 vsize=411396 CPUtime=284.14
/proc/11869/stat : 11869 (java) S 11867 11867 2160 34817 2160 4202496 98339 0 245 0 28384 30 0 0 23 0 9 0 55945490 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11869/statm: 102849 70508 2920 10 0 96994 0
[pid=11869/tid=11870] ppid=11867 vsize=411396 CPUtime=275.81
/proc/11869/task/11870/stat : 11870 (java) R 11867 11867 2160 34817 2160 4202560 13894 0 156 0 27572 9 0 0 25 0 9 0 55945512 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4115516073 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11869/tid=11871] ppid=11867 vsize=411396 CPUtime=8.22
/proc/11869/task/11871/stat : 11871 (java) S 11867 11867 2160 34817 2160 4202560 83025 0 28 0 801 21 0 0 16 0 9 0 55945535 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11872] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11872/stat : 11872 (java) S 11867 11867 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 55945540 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11873] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11873/stat : 11873 (java) S 11867 11867 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 55945540 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11874] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11874/stat : 11874 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 55945558 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11875] ppid=11867 vsize=411396 CPUtime=0.11
/proc/11869/task/11875/stat : 11875 (java) S 11867 11867 2160 34817 2160 4202560 531 0 4 0 11 0 0 0 15 0 9 0 55945558 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11876] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11876/stat : 11876 (java) S 11867 11867 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 9 0 55945558 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=11869/tid=11877] ppid=11867 vsize=411396 CPUtime=0
/proc/11869/task/11877/stat : 11877 (java) S 11867 11867 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55945558 421269504 70508 1283457024 134512640 134550932 4286847392 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.14
Current children cumulated vsize (KiB) 413972

Child status: 0
Real time (s): 286.068
CPU time (s): 284.218
CPU user time (s): 283.89
CPU system time (s): 0.32802
CPU usage (%): 99.3534
Max. virtual memory (cumulated for all children) (KiB): 440972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.89
system time used= 0.32802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98737
page faults= 245
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6442
involuntary context switches= 8973

runsolver used 0 second user time and 0 second system time

The end