runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3734380-1338744429/watcher-3734380-1338744429 -o /tmp/evaluation-result-3734380-1338744429/solver-3734380-1338744429 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734380-1338744429.opb
running on 4 cores: 0,2,4,6
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.31 2.32 2.67 2/171 19486
/proc/meminfo: memFree=31568040/32873648 swapFree=7628/7628
[pid=19486] ppid=19484 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/19486/stat : 19486 (java6) R 19484 19486 3958 0 -1 4202496 106 0 0 0 0 0 0 0 20 0 1 0 340568898 9433088 59 33554432000 1073741824 1073778376 140734526494960 140734526492088 217401356167 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19486/statm: 2304 67 53 9 0 36 0
[startup+0.031749 s]
/proc/loadavg: 1.31 2.32 2.67 2/171 19486
/proc/meminfo: memFree=31568040/32873648 swapFree=7628/7628
[pid=19486] ppid=19484 vsize=2300516 CPUtime=0.01 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19484 19486 3958 0 -1 4202496 3638 0 1 0 1 0 0 0 20 0 12 0 340568898 2355728384 4849 33554432000 1073741824 1073778376 140733834445296 140733834436432 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19486/statm: 575129 4859 1655 9 0 565830 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2300516
[startup+0.10021 s]
/proc/loadavg: 1.31 2.32 2.67 2/171 19486
/proc/meminfo: memFree=31568040/32873648 swapFree=7628/7628
[pid=19486] ppid=19484 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19484 19486 3958 0 -1 4202496 4794 0 1 0 9 1 0 0 20 0 18 0 340568898 2764726272 6490 33554432000 1073741824 1073778376 140733834445296 140733834436432 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19486/statm: 674982 6490 2138 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.30016 s]
/proc/loadavg: 1.31 2.32 2.67 2/171 19486
/proc/meminfo: memFree=31568040/32873648 swapFree=7628/7628
[pid=19486] ppid=19484 vsize=2966184 CPUtime=0.19 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19484 19486 3958 0 -1 4202496 5134 0 1 0 18 1 0 0 20 0 20 0 340568898 3037372416 8310 33554432000 1073741824 1073778376 140733834445296 140733834436432 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19486/statm: 741546 8310 2193 9 0 732240 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2966184
[startup+0.700143 s]
/proc/loadavg: 1.31 2.32 2.67 2/171 19486
/proc/meminfo: memFree=31568040/32873648 swapFree=7628/7628
[pid=19486] ppid=19484 vsize=2966184 CPUtime=0.19 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19484 19486 3958 0 -1 4202496 5134 0 1 0 18 1 0 0 20 0 20 0 340568898 3037372416 8310 33554432000 1073741824 1073778376 140733834445296 140733834436432 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19486/statm: 741546 8310 2193 9 0 732240 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2966184
[startup+1.50057 s]
/proc/loadavg: 1.31 2.32 2.67 1/191 19508
/proc/meminfo: memFree=31543004/32873648 swapFree=7628/7628
[pid=19486] ppid=19484 vsize=2966184 CPUtime=0.2 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19484 19486 3958 0 -1 4202496 5192 0 1 0 19 1 0 0 20 0 20 0 340568898 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 140733834436432 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19486/statm: 741546 9369 2193 9 0 732240 0
[pid=19486/tid=19488] ppid=19484 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/19486/task/19488/stat : 19488 (java) S 19484 19486 3958 0 -1 4202560 2802 0 1 0 13 0 0 0 20 0 20 0 340568899 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998868489368 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19489] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19489/stat : 19489 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998852770088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19490] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19490/stat : 19490 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998851717288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19491] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19491/stat : 19491 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998850665000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19486/tid=19492] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19492/stat : 19492 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998849612200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19493] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19493/stat : 19493 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998848559912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19494] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19494/stat : 19494 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998847507112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19495] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19495/stat : 19495 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998846454824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19486/tid=19496] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19496/stat : 19496 (java) S 19484 19486 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998845402024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19497] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19497/stat : 19497 (java) S 19484 19486 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340568901 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998832990440 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19498] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19498/stat : 19498 (java) S 19484 19486 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340568901 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998831936504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19499] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19499/stat : 19499 (java) S 19484 19486 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568901 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998830884104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19500] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19500/stat : 19500 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568904 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998829832592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19501] ppid=19484 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/19486/task/19501/stat : 19501 (java) S 19484 19486 3958 0 -1 4202560 425 0 0 0 1 0 0 0 20 0 20 0 340568904 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998828780216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19502] ppid=19484 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/19486/task/19502/stat : 19502 (java) S 19484 19486 3958 0 -1 4202560 666 0 0 0 2 0 0 0 20 0 20 0 340568904 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998827727416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19503] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19503/stat : 19503 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568904 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998826675320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19504] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19504/stat : 19504 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568904 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998825622728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19507] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19507/stat : 19507 (java) S 19484 19486 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568914 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998822462632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19508] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19508/stat : 19508 (java) S 19484 19486 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568914 3037372416 9369 33554432000 1073741824 1073778376 140733834445296 139998703641640 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2966184
[startup+3.10058 s]
/proc/loadavg: 1.21 2.28 2.65 1/190 19510
/proc/meminfo: memFree=31538412/32873648 swapFree=7628/7628
[pid=19486] ppid=19484 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19484 19486 3958 0 -1 4202496 6489 0 1 0 27 3 0 0 20 0 20 0 340568898 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 140733834436432 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19486/statm: 741546 11024 2223 9 0 732240 0
[pid=19486/tid=19488] ppid=19484 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/19486/task/19488/stat : 19488 (java) S 19484 19486 3958 0 -1 4202560 2802 0 1 0 13 0 0 0 20 0 20 0 340568899 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998868489368 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19489] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19489/stat : 19489 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998852770088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19490] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19490/stat : 19490 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998851717288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19491] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19491/stat : 19491 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998850665000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19486/tid=19492] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19492/stat : 19492 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998849612200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19493] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19493/stat : 19493 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998848559912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19494] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19494/stat : 19494 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998847507112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19495] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19495/stat : 19495 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998846454824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19486/tid=19496] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19496/stat : 19496 (java) S 19484 19486 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340568900 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998845402024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19497] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19497/stat : 19497 (java) S 19484 19486 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340568901 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998832990440 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19498] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19498/stat : 19498 (java) S 19484 19486 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340568901 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998831936504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19499] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19499/stat : 19499 (java) S 19484 19486 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568901 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998830884104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19500] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19500/stat : 19500 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568904 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998829832592 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19501] ppid=19484 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/19486/task/19501/stat : 19501 (java) S 19484 19486 3958 0 -1 4202560 456 0 0 0 2 0 0 0 20 0 20 0 340568904 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998828780216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19502] ppid=19484 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/19486/task/19502/stat : 19502 (java) S 19484 19486 3958 0 -1 4202560 1904 0 0 0 6 0 0 0 20 0 20 0 340568904 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998827727416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19503] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19503/stat : 19503 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568904 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998826675320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19486/tid=19504] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19504/stat : 19504 (java) S 19484 19486 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340568904 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998825622728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19486/tid=19507] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19507/stat : 19507 (java) S 19484 19486 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568914 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998822462632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19486/tid=19508] ppid=19484 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19486/task/19508/stat : 19508 (java) S 19484 19486 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340568914 3037372416 11024 33554432000 1073741824 1073778376 140733834445296 139998703641640 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.16264
CPU time (s): 0.323949
CPU user time (s): 0.269958
CPU system time (s): 0.053991
CPU usage (%): 10.243
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.269958
system time used= 0.053991
maximum resident set size= 46176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6503
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305
involuntary context switches= 29
runsolver used 0.014997 second user time and 0.016997 second system time
The end