runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248805-1500693305/watcher-4248805-1500693305 -o /tmp/evaluation-result-4248805-1500693305/solver-4248805-1500693305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 746123653 HOME/instance-4248805-1500693305.xml
pid=14608
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 13.19 12.75 12.95 9/270 14611
/proc/meminfo: memFree=28505412/32770624 swapFree=5972/267820
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
[startup+0.100127 s]
/proc/loadavg: 13.19 12.75 12.95 9/270 14611
/proc/meminfo: memFree=28505412/32770624 swapFree=5972/267820
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200301 s]
/proc/loadavg: 13.19 12.75 12.95 9/270 14611
/proc/meminfo: memFree=28505412/32770624 swapFree=5972/267820
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300234 s]
/proc/loadavg: 13.19 12.75 12.95 9/270 14611
/proc/meminfo: memFree=28505412/32770624 swapFree=5972/267820
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700203 s]
/proc/loadavg: 13.19 12.75 12.95 9/270 14611
/proc/meminfo: memFree=28505412/32770624 swapFree=5972/267820
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14612 sig 9
??? kill 14611 sig 9
??? kill -14611 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800363 s]
/proc/loadavg: 13.19 12.75 12.95 9/270 14611
/proc/meminfo: memFree=28505412/32770624 swapFree=5972/267820
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.00013 s]
/proc/loadavg: 13.19 12.75 12.95 9/270 14611
/proc/meminfo: memFree=28505412/32770624 swapFree=5972/267820
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.10023 s]
/proc/loadavg: 13.19 12.75 12.95 15/299 14641
/proc/meminfo: memFree=28317624/32770624 swapFree=5972/267764
[pid=14611] ppid=14608 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14611/stat : 14611 (xcsp3-exec) S 14608 14611 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4599975 9740288 346 33554432000 4194304 5098028 140737030153728 140737030151832 140582931534460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39469056 140737030161551 140737030161760 140737030161760 140737030164459 0
/proc/14611/statm: 2378 346 289 221 0 87 0
[pid=14612] ppid=14611 vsize=13801768 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/14612/stat : 14612 (java) S 14611 14611 14626 0 -1 1077944320 14183 0 0 0 379 14 0 0 20 0 28 0 4599975 14133010432 49606 33554432000 4194304 4196468 140733201360032 140733201342576 140552492392183 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
/proc/14612/statm: 3450442 49606 3231 1 0 3437675 0
[pid=14612/tid=14613] ppid=14611 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14613/stat : 14613 (java) S 14611 14611 14626 0 -1 1077944384 6336 0 0 0 84 5 0 0 20 0 28 0 4599976 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552496632960 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14615] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14615/stat : 14615 (java) S 14611 14611 14626 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552410872464 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14616] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14616/stat : 14616 (java) S 14611 14611 14626 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552409819664 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14617] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14617/stat : 14617 (java) S 14611 14611 14626 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552408766864 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14618] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14618/stat : 14618 (java) S 14611 14611 14626 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552407714064 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14619] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14619/stat : 14619 (java) S 14611 14611 14626 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552406662288 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14620] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14620/stat : 14620 (java) S 14611 14611 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552405609488 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14621] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14621/stat : 14621 (java) S 14611 14611 14626 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552404556688 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14622] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14622/stat : 14622 (java) S 14611 14611 14626 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4599977 14133010432 49660 33554432000 4194304 4196468 140733201360032 140552403503888 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14623] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14623/stat : 14623 (java) S 14611 14611 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4599979 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551157197168 140552492403330 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14624] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14624/stat : 14624 (java) S 14611 14611 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4599979 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551156143136 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14625] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14625/stat : 14625 (java) S 14611 14611 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4599979 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551155090288 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14627] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14627/stat : 14627 (java) S 14611 14611 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4599983 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551154038608 140552492410779 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14628] ppid=14611 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14628/stat : 14628 (java) R 14611 14611 14626 0 -1 4202560 1350 0 0 0 54 0 0 0 20 0 28 0 4599983 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551152968792 140552484681632 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14629] ppid=14611 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14629/stat : 14629 (java) R 14611 14611 14626 0 -1 4202560 1303 0 0 0 53 0 0 0 20 0 28 0 4599983 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551151918712 140552477494597 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14630] ppid=14611 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14630/stat : 14630 (java) R 14611 14611 14626 0 -1 4202560 1245 0 0 0 53 0 0 0 20 0 28 0 4599983 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551150862408 140552473092480 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14631] ppid=14611 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14631/stat : 14631 (java) R 14611 14611 14626 0 -1 4202560 2136 0 0 0 49 1 0 0 20 0 28 0 4599983 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551149825848 140552472585010 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14632] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14632/stat : 14632 (java) S 14611 14611 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4599983 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551148776032 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14633] ppid=14611 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14633/stat : 14633 (java) S 14611 14611 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4599983 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551147723312 140552492403330 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14634] ppid=14611 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14634/stat : 14634 (java) R 14611 14611 14626 0 -1 4202560 58 0 0 0 11 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551139707056 140552083440366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14635] ppid=14611 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14635/stat : 14635 (java) R 14611 14611 14626 0 -1 4202560 58 0 0 0 9 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551138657960 140552088327380 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14636] ppid=14611 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14636/stat : 14636 (java) S 14611 14611 14626 0 -1 1077944384 46 0 0 0 9 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551137603072 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14637] ppid=14611 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14637/stat : 14637 (java) S 14611 14611 14626 0 -1 1077944384 74 0 0 0 13 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551136548608 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14638] ppid=14611 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14638/stat : 14638 (java) R 14611 14611 14626 0 -1 4202560 52 0 0 0 9 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551135494200 140552474863170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14639] ppid=14611 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14639/stat : 14639 (java) S 14611 14611 14626 0 -1 1077944384 40 0 0 0 11 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551134446128 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14640] ppid=14611 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14640/stat : 14640 (java) S 14611 14611 14626 0 -1 1077944384 39 0 0 0 9 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551133391776 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
[pid=14612/tid=14641] ppid=14611 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14612/task/14641/stat : 14641 (java) S 14611 14611 14626 0 -1 1077944384 49 0 0 0 9 0 0 0 20 0 28 0 4600068 14133010432 49660 33554432000 4194304 4196468 140733201360032 140551132340528 140552492402389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140733201364156 140733201364332 140733201364332 140733201366991 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.15925
CPU time (s): 4.17358
CPU user time (s): 4.02174
CPU system time (s): 0.151841
CPU usage (%): 360.025
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.02174
system time used= 0.151841
maximum resident set size= 202824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2660
involuntary context switches= 386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009906 second user time and 0.025315 second system time
The end