runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457373-1307657783/watcher-3457373-1307657783 -o /tmp/evaluation-result-3457373-1307657783/solver-3457373-1307657783 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457373-1307657783.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.01 1.00 4/194 10014
/proc/meminfo: memFree=31973836/32951124 swapFree=67052812/67111528
[pid=10014] ppid=10012 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/10014/stat : 10014 (java) S 10012 10014 8057 0 -1 4202496 1235 0 0 0 0 0 0 0 18 0 2 0 877380930 31260672 955 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10014/statm: 7632 957 730 9 0 383 0
[pid=10014/tid=10015] ppid=10012 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10015/stat : 10015 (java) R 10012 10014 8057 0 -1 4202560 123 0 0 0 0 0 0 0 19 0 2 0 877380931 31260672 957 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216634513408 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0575429 s]
/proc/loadavg: 1.03 1.01 1.00 4/194 10014
/proc/meminfo: memFree=31973836/32951124 swapFree=67052812/67111528
[pid=10014] ppid=10012 vsize=10472756 CPUtime=0.05 cores=1,3,5,7
/proc/10014/stat : 10014 (java) S 10012 10014 8057 0 -1 4202496 11617 0 1 0 4 1 0 0 18 0 18 0 877380930 10724102144 11314 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10014/statm: 2618189 11314 1722 9 0 2608937 0
[pid=10014/tid=10015] ppid=10012 vsize=10472756 CPUtime=0.03 cores=1,3,5,7
/proc/10014/task/10015/stat : 10015 (java) R 10012 10014 8057 0 -1 4202560 10444 0 1 0 3 0 0 0 25 0 18 0 877380931 10724102144 11315 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 47584555023156 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472756
[startup+0.100538 s]
/proc/loadavg: 1.03 1.01 1.00 4/194 10014
/proc/meminfo: memFree=31973836/32951124 swapFree=67052812/67111528
[pid=10014] ppid=10012 vsize=10540336 CPUtime=0.1 cores=1,3,5,7
/proc/10014/stat : 10014 (java) S 10012 10014 8057 0 -1 4202496 13100 0 1 0 9 1 0 0 18 0 18 0 877380930 10793304064 12768 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10014/statm: 2635084 12768 2093 9 0 2625818 0
[pid=10014/tid=10015] ppid=10012 vsize=10540336 CPUtime=0.09 cores=1,3,5,7
/proc/10014/task/10015/stat : 10015 (java) R 10012 10014 8057 0 -1 4202560 11162 0 1 0 8 1 0 0 25 0 18 0 877380931 10793304064 12768 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 47584550066938 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540336
[startup+0.300502 s]
/proc/loadavg: 1.03 1.01 1.00 4/194 10014
/proc/meminfo: memFree=31973836/32951124 swapFree=67052812/67111528
[pid=10014] ppid=10012 vsize=10540664 CPUtime=0.47 cores=1,3,5,7
/proc/10014/stat : 10014 (java) S 10012 10014 8057 0 -1 4202496 20920 0 1 0 45 2 0 0 18 0 18 0 877380930 10793639936 20030 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10014/statm: 2635166 20033 2200 9 0 2625900 0
[pid=10014/tid=10015] ppid=10012 vsize=10540664 CPUtime=0.28 cores=1,3,5,7
/proc/10014/task/10015/stat : 10015 (java) R 10012 10014 8057 0 -1 4202560 17887 0 1 0 26 2 0 0 25 0 18 0 877380931 10793639936 20035 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 46912505366294 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540664
[startup+0.700436 s]
/proc/loadavg: 1.03 1.01 1.00 4/194 10014
/proc/meminfo: memFree=31973836/32951124 swapFree=67052812/67111528
[pid=10014] ppid=10012 vsize=10541516 CPUtime=0.98 cores=1,3,5,7
/proc/10014/stat : 10014 (java) S 10012 10014 8057 0 -1 4202496 46477 0 1 0 93 5 0 0 18 0 18 0 877380930 10794512384 45473 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10014/statm: 2635379 45476 2205 9 0 2626113 0
[pid=10014/tid=10015] ppid=10012 vsize=10541516 CPUtime=0.68 cores=1,3,5,7
/proc/10014/task/10015/stat : 10015 (java) R 10012 10014 8057 0 -1 4202560 43057 0 1 0 63 5 0 0 25 0 18 0 877380931 10794512384 45478 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 46912505591717 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10541516
Solver just ended. Dumping a history of the last processes samples
[startup+1.10736 s]
/proc/loadavg: 1.03 1.01 1.00 3/212 10032
/proc/meminfo: memFree=31453212/32951124 swapFree=67052812/67111528
[pid=10014] ppid=10012 vsize=10542800 CPUtime=1.44 cores=1,3,5,7
/proc/10014/stat : 10014 (java) S 10012 10014 8057 0 -1 4202496 81020 0 1 0 134 10 0 0 18 0 18 0 877380930 10795827200 79606 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10014/statm: 2635700 79608 2205 9 0 2626434 0
[pid=10014/tid=10015] ppid=10012 vsize=10542800 CPUtime=1.09 cores=1,3,5,7
/proc/10014/task/10015/stat : 10015 (java) R 10012 10014 8057 0 -1 4202560 76848 0 1 0 100 9 0 0 25 0 18 0 877380931 10795827200 79610 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 46912505366039 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10014/tid=10017] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10017/stat : 10017 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 877380932 10795827200 79612 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10018] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10018/stat : 10018 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 79613 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10019] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10019/stat : 10019 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 79615 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10020] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10020/stat : 10020 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 79617 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10021] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10021/stat : 10021 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 79619 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10022] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10022/stat : 10022 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 79620 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10023] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10023/stat : 10023 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 877380932 10795827200 79622 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10024] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10024/stat : 10024 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 877380932 10795827200 79624 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10025] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10025/stat : 10025 (java) S 10012 10014 8057 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877380933 10795827200 79626 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331904 0 0 0 16800975 18446604464417368960 0 0 -1 7 0 0 0
[pid=10014/tid=10026] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10026/stat : 10026 (java) S 10012 10014 8057 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 877380934 10795827200 79628 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10027] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10027/stat : 10027 (java) S 10012 10014 8057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877380934 10795827200 79629 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10028] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10028/stat : 10028 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877380936 10795827200 79631 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646338993 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10029] ppid=10012 vsize=10542800 CPUtime=0.16 cores=1,3,5,7
/proc/10014/task/10029/stat : 10029 (java) S 10012 10014 8057 0 -1 4202560 1117 0 0 0 16 0 0 0 22 0 18 0 877380936 10795827200 79633 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10030] ppid=10012 vsize=10542800 CPUtime=0.18 cores=1,3,5,7
/proc/10014/task/10030/stat : 10030 (java) S 10012 10014 8057 0 -1 4202560 1909 0 0 0 18 0 0 0 22 0 18 0 877380936 10795827200 79635 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 7 0 0 0
[pid=10014/tid=10031] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10031/stat : 10031 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877380936 10795827200 79636 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10032] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10032/stat : 10032 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877380936 10795827200 79643 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331904 0 4 0 16800975 18446604464417368960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10542800
[startup+1.20135 s]
/proc/loadavg: 1.03 1.01 1.00 3/212 10032
/proc/meminfo: memFree=31453212/32951124 swapFree=67052812/67111528
[pid=10014] ppid=10012 vsize=10542800 CPUtime=1.54 cores=1,3,5,7
/proc/10014/stat : 10014 (java) S 10012 10014 8057 0 -1 4202496 89171 0 1 0 143 11 0 0 18 0 18 0 877380930 10795827200 87757 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10014/statm: 2635700 87759 2205 9 0 2626434 0
[pid=10014/tid=10015] ppid=10012 vsize=10542800 CPUtime=1.18 cores=1,3,5,7
/proc/10014/task/10015/stat : 10015 (java) R 10012 10014 8057 0 -1 4202560 84997 0 1 0 108 10 0 0 25 0 18 0 877380931 10795827200 87759 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 46912505548726 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10014/tid=10017] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10017/stat : 10017 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 877380932 10795827200 87761 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10018] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10018/stat : 10018 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 87763 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10019] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10019/stat : 10019 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 87764 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10020] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10020/stat : 10020 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 87766 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10021] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10021/stat : 10021 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 87768 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10022] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10022/stat : 10022 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 877380932 10795827200 87770 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10023] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10023/stat : 10023 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 877380932 10795827200 87771 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10024] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10024/stat : 10024 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 877380932 10795827200 87773 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10025] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10025/stat : 10025 (java) S 10012 10014 8057 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877380933 10795827200 87775 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331904 0 0 0 16800975 18446604464417368960 0 0 -1 7 0 0 0
[pid=10014/tid=10026] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10026/stat : 10026 (java) S 10012 10014 8057 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 877380934 10795827200 87776 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10027] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10027/stat : 10027 (java) S 10012 10014 8057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877380934 10795827200 87778 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10028] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10028/stat : 10028 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877380936 10795827200 87780 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646338993 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10029] ppid=10012 vsize=10542800 CPUtime=0.16 cores=1,3,5,7
/proc/10014/task/10029/stat : 10029 (java) S 10012 10014 8057 0 -1 4202560 1117 0 0 0 16 0 0 0 22 0 18 0 877380936 10795827200 87781 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 3 0 0 0
[pid=10014/tid=10030] ppid=10012 vsize=10542800 CPUtime=0.18 cores=1,3,5,7
/proc/10014/task/10030/stat : 10030 (java) S 10012 10014 8057 0 -1 4202560 1909 0 0 0 18 0 0 0 22 0 18 0 877380936 10795827200 87783 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 7 0 0 0
[pid=10014/tid=10031] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10031/stat : 10031 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877380936 10795827200 87785 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331289 0 4 0 16800975 18446604464417368960 0 0 -1 1 0 0 0
[pid=10014/tid=10032] ppid=10012 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/10014/task/10032/stat : 10032 (java) S 10012 10014 8057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877380936 10795827200 87786 33554432000 1073741824 1073778376 140734715115712 18446744073709551615 216646331904 0 4 0 16800975 18446604464417368960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10542800
Child status: 20
Real time (s): 1.30062
CPU time (s): 1.64475
CPU user time (s): 1.50877
CPU system time (s): 0.135979
CPU usage (%): 126.459
Max. virtual memory (cumulated for all children) (KiB): 10542800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.50877
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96148
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= 192
involuntary context switches= 44
runsolver used 0.003999 second user time and 0.007998 second system time
The end