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/201108251442/gj-paranoid-solver-1.0/rand230.cudf.s-e-l-s-s.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand230.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand230.cudf.s-e-l-s-s.result 

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.33 1.22 0.83 3/33 6696
/proc/meminfo: memFree=388292/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2556 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) D 6695 6696 4778 34817 4778 4202496 351 0 0 0 0 0 0 0 18 0 1 0 10068271 2617344 265 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 0 4 65536 18446744071564252162 0 0 17 0 0 0 0
/proc/6696/statm: 639 265 227 194 0 26 0

[startup+0.105278 s]
/proc/loadavg: 1.33 1.22 0.83 3/33 6696
/proc/meminfo: memFree=388292/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+0.205303 s]
/proc/loadavg: 1.33 1.22 0.83 3/33 6696
/proc/meminfo: memFree=388292/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+0.305325 s]
/proc/loadavg: 1.33 1.22 0.83 3/33 6696
/proc/meminfo: memFree=388292/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+0.705447 s]
/proc/loadavg: 1.33 1.22 0.83 3/33 6696
/proc/meminfo: memFree=388292/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2564

[startup+1.50572 s]
/proc/loadavg: 1.33 1.22 0.83 2/43 6706
/proc/meminfo: memFree=328672/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=410820 CPUtime=1.48
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 24623 0 1 0 142 6 0 0 25 0 9 0 10068272 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 102705 23870 2896 10 0 96853 0
[pid=6698/tid=6699] ppid=6696 vsize=410820 CPUtime=0.81
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 6831 0 1 0 79 2 0 0 25 0 9 0 10068273 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=410820 CPUtime=0.63
/proc/6698/task/6700/stat : 6700 (java) R 6696 6696 4778 34817 4778 4202560 16420 0 0 0 59 4 0 0 18 0 9 0 10068273 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4151544928 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10068274 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10068274 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10068275 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=410820 CPUtime=0.04
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 432 0 0 0 4 0 0 0 18 0 9 0 10068275 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10068275 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10068275 420679680 23870 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 413384

[startup+3.10623 s]
/proc/loadavg: 1.33 1.22 0.83 2/43 6706
/proc/meminfo: memFree=253404/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=410820 CPUtime=3.09
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 46194 0 1 0 295 14 0 0 25 0 9 0 10068272 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 102705 45441 2896 10 0 96853 0
[pid=6698/tid=6699] ppid=6696 vsize=410820 CPUtime=1.4
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 11260 0 1 0 132 8 0 0 25 0 9 0 10068273 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4115792592 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=410820 CPUtime=1.65
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 33559 0 0 0 159 6 0 0 16 0 9 0 10068273 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10068274 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10068274 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10068275 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=410820 CPUtime=0.04
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 435 0 0 0 4 0 0 0 16 0 9 0 10068275 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10068275 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=410820 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10068275 420679680 45441 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413384

[startup+6.30719 s]
/proc/loadavg: 1.30 1.22 0.84 3/43 6706
/proc/meminfo: memFree=118244/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=430752 CPUtime=6.29
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 75905 0 1 0 605 24 0 0 25 0 9 0 10068272 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 107688 75149 2897 10 0 101836 0
[pid=6698/tid=6699] ppid=6696 vsize=430752 CPUtime=2.38
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14265 0 1 0 228 10 0 0 25 0 9 0 10068273 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=430752 CPUtime=3.84
/proc/6698/task/6700/stat : 6700 (java) R 6696 6696 4778 34817 4778 4202560 60246 0 0 0 370 14 0 0 16 0 9 0 10068273 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4151926184 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=430752 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10068274 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=430752 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10068274 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=430752 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10068275 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=430752 CPUtime=0.06
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 454 0 0 0 6 0 0 0 15 0 9 0 10068275 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=430752 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10068275 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=430752 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10068275 441090048 75149 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 433316

[startup+12.7086 s]
/proc/loadavg: 1.28 1.22 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=12.69
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90948 0 1 0 1240 29 0 0 25 0 10 0 10068272 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 71981 2911 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=5.26
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14509 0 1 0 516 10 0 0 25 0 10 0 10068273 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4116109988 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.32
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74991 0 0 0 714 18 0 0 16 0 10 0 10068273 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.09
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 503 0 0 0 8 1 0 0 16 0 10 0 10068275 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 71981 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 420020

[startup+25.5028 s]
/proc/loadavg: 1.22 1.20 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=25.48
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90989 0 1 0 2519 29 0 0 25 0 10 0 10068272 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72022 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=17.61
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 1751 10 0 0 25 0 10 0 10068273 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4116109789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.72
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 754 18 0 0 15 0 10 0 10068273 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 535 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 420020

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

[startup+25.6129 s]
/proc/loadavg: 1.22 1.20 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=25.59
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90989 0 1 0 2530 29 0 0 25 0 10 0 10068272 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72022 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=17.72
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 1762 10 0 0 25 0 10 0 10068273 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4116117985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.72
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 754 18 0 0 15 0 10 0 10068273 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 535 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72022 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 420020

[startup+38.4064 s]
/proc/loadavg: 1.18 1.20 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=38.37
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90990 0 1 0 3807 30 0 0 25 0 10 0 10068272 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72023 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=30.48
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 3037 11 0 0 25 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4116132842 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.74
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 756 18 0 0 16 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 536 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (KiB) 420020

[startup+44.808 s]
/proc/loadavg: 1.16 1.19 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=44.77
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90990 0 1 0 4447 30 0 0 25 0 10 0 10068272 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72023 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=36.88
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 3677 11 0 0 25 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4116050064 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.74
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 756 18 0 0 15 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 536 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 44.77
Current children cumulated vsize (KiB) 420020

[startup+48.0086 s]
/proc/loadavg: 1.16 1.19 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=47.97
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90990 0 1 0 4767 30 0 0 25 0 10 0 10068272 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72023 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=40.09
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 3998 11 0 0 25 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4116117961 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.74
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 756 18 0 0 15 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 536 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.97
Current children cumulated vsize (KiB) 420020

[startup+49.609 s]
/proc/loadavg: 1.14 1.19 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=49.57
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90990 0 1 0 4927 30 0 0 25 0 10 0 10068272 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72023 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=41.69
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 4158 11 0 0 25 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4116117184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.74
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 756 18 0 0 15 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 536 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) R 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.57
Current children cumulated vsize (KiB) 420020

[startup+50.4092 s]
/proc/loadavg: 1.14 1.19 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=50.37
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90990 0 1 0 5007 30 0 0 25 0 10 0 10068272 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72023 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=42.49
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 4238 11 0 0 25 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4116104546 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.74
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 756 18 0 0 15 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 536 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 420020

[startup+50.6093 s]
/proc/loadavg: 1.14 1.19 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=417456 CPUtime=50.57
/proc/6698/stat : 6698 (java) S 6696 6696 4778 34817 4778 4202496 90990 0 1 0 5027 30 0 0 25 0 10 0 10068272 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 104364 72023 2914 10 0 98509 0
[pid=6698/tid=6699] ppid=6696 vsize=417456 CPUtime=42.69
/proc/6698/task/6699/stat : 6699 (java) R 6696 6696 4778 34817 4778 4202560 14516 0 1 0 4258 11 0 0 25 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4116235141 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6698/tid=6700] ppid=6696 vsize=417456 CPUtime=7.74
/proc/6698/task/6700/stat : 6700 (java) S 6696 6696 4778 34817 4778 4202560 74993 0 0 0 756 18 0 0 15 0 10 0 10068273 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6701] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6701/stat : 6701 (java) S 6696 6696 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6702] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6702/stat : 6702 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10068274 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6703] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6703/stat : 6703 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6704] ppid=6696 vsize=417456 CPUtime=0.14
/proc/6698/task/6704/stat : 6704 (java) S 6696 6696 4778 34817 4778 4202560 536 0 0 0 13 1 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6705/stat : 6705 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6706] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6706/stat : 6706 (java) S 6696 6696 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10068275 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=6698/tid=6707] ppid=6696 vsize=417456 CPUtime=0
/proc/6698/task/6707/stat : 6707 (java) S 6696 6696 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10069338 427474944 72023 1283457024 134512640 134550932 4291370480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 420020

[startup+50.7045 s]
/proc/loadavg: 1.14 1.19 0.84 2/44 6707
/proc/meminfo: memFree=110680/1048576 swapFree=0/0
[pid=6696] ppid=6695 vsize=2564 CPUtime=0
/proc/6696/stat : 6696 (gj-paranoid-sol) S 6695 6696 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10068271 2625536 269 1283457024 134512640 135304128 4286921312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6696/statm: 641 269 229 194 0 28 0
[pid=6698] ppid=6696 vsize=0 CPUtime=50.64
/proc/6698/stat : 6698 (java) Z 6696 6696 4778 34817 4778 4202508 90996 0 1 0 5032 32 0 0 18 0 2 0 10068272 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6698/statm: 0 0 0 0 0 0 0
[pid=6698/tid=6705] ppid=6696 vsize=0 CPUtime=0.02
/proc/6698/task/6705/stat : 6705 (java) R 6696 6696 4778 34817 4778 4203588 1 0 0 0 0 2 0 0 18 0 2 0 10068275 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 2564

Child status: 0
Real time (s): 50.7102
CPU time (s): 50.6552
CPU user time (s): 50.3271
CPU system time (s): 0.32802
CPU usage (%): 99.8916
Max. virtual memory (cumulated for all children) (KiB): 445348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.3271
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= 91379
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1677
involuntary context switches= 2194

runsolver used 0 second user time and 0 second system time

The end