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-3459572-1307150863/watcher-3459572-1307150863 -o /tmp/evaluation-result-3459572-1307150863/solver-3459572-1307150863 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459572-1307150863.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: 2.00 2.02 2.00 2/533 13295
/proc/meminfo: memFree=22978812/32950928 swapFree=58671692/67111528
[pid=13295] ppid=13293 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/13295/stat : 13295 (java) S 13293 13295 10738 0 -1 4202496 1315 0 0 0 0 0 0 0 21 0 2 0 905317003 36646912 1017 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13295/statm: 8947 1017 782 9 0 386 0
[pid=13295/tid=13296] ppid=13293 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13296/stat : 13296 (java) R 13293 13295 10738 0 -1 4202560 5015 0 1 0 0 0 0 0 22 0 2 0 905317003 13850947584 5830 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.07689 s]
/proc/loadavg: 2.00 2.02 2.00 2/533 13295
/proc/meminfo: memFree=22978812/32950928 swapFree=58671692/67111528
[pid=13295] ppid=13293 vsize=13555700 CPUtime=0.07 cores=1,3,5,7
/proc/13295/stat : 13295 (java) S 13293 13295 10738 0 -1 4202496 14329 0 1 0 5 2 0 0 21 0 18 0 905317003 13881036800 14026 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13295/statm: 3388925 14026 1742 9 0 3379659 0
[pid=13295/tid=13296] ppid=13293 vsize=13555700 CPUtime=0.05 cores=1,3,5,7
/proc/13295/task/13296/stat : 13296 (java) R 13293 13295 10738 0 -1 4202560 13157 0 1 0 4 1 0 0 25 0 18 0 905317003 13881036800 14026 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 46912505121446 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555700
[startup+0.104977 s]
/proc/loadavg: 2.00 2.02 2.00 2/533 13295
/proc/meminfo: memFree=22978812/32950928 swapFree=58671692/67111528
[pid=13295] ppid=13293 vsize=13622260 CPUtime=0.1 cores=1,3,5,7
/proc/13295/stat : 13295 (java) S 13293 13295 10738 0 -1 4202496 15521 0 1 0 8 2 0 0 21 0 18 0 905317003 13949194240 15199 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13295/statm: 3405565 15200 2092 9 0 3396299 0
[pid=13295/tid=13296] ppid=13293 vsize=13622260 CPUtime=0.09 cores=1,3,5,7
/proc/13295/task/13296/stat : 13296 (java) R 13293 13295 10738 0 -1 4202560 13588 0 1 0 7 2 0 0 18 0 18 0 905317003 13949194240 15201 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256415052833 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622260
[startup+0.304938 s]
/proc/loadavg: 2.00 2.02 2.00 2/533 13295
/proc/meminfo: memFree=22978812/32950928 swapFree=58671692/67111528
[pid=13295] ppid=13293 vsize=13624308 CPUtime=0.46 cores=1,3,5,7
/proc/13295/stat : 13295 (java) S 13293 13295 10738 0 -1 4202496 21943 0 1 0 43 3 0 0 21 0 18 0 905317003 13951291392 21604 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13295/statm: 3406077 21607 2200 9 0 3396811 0
[pid=13295/tid=13296] ppid=13293 vsize=13624308 CPUtime=0.28 cores=1,3,5,7
/proc/13295/task/13296/stat : 13296 (java) R 13293 13295 10738 0 -1 4202560 19346 0 1 0 26 2 0 0 18 0 18 0 905317003 13951291392 21609 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 46912505548838 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624308
[startup+0.700771 s]
/proc/loadavg: 2.00 2.02 2.00 2/533 13295
/proc/meminfo: memFree=22978812/32950928 swapFree=58671692/67111528
[pid=13295] ppid=13293 vsize=13624308 CPUtime=1 cores=1,3,5,7
/proc/13295/stat : 13295 (java) S 13293 13295 10738 0 -1 4202496 48345 0 1 0 94 6 0 0 21 0 18 0 905317003 13951291392 47895 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13295/statm: 3406077 47895 2205 9 0 3396811 0
[pid=13295/tid=13296] ppid=13293 vsize=13624308 CPUtime=0.67 cores=1,3,5,7
/proc/13295/task/13296/stat : 13296 (java) R 13293 13295 10738 0 -1 4202560 45448 0 1 0 61 6 0 0 18 0 18 0 905317003 13951291392 47895 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 46912505635436 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13624308
[startup+1.50062 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 13313
/proc/meminfo: memFree=22679032/32950928 swapFree=58671692/67111528
[pid=13295] ppid=13293 vsize=13624308 CPUtime=1.85 cores=1,3,5,7
/proc/13295/stat : 13295 (java) S 13293 13295 10738 0 -1 4202496 118040 0 1 0 171 14 0 0 21 0 18 0 905317003 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13295/statm: 3406077 117421 2217 9 0 3396811 0
[pid=13295/tid=13296] ppid=13293 vsize=13624308 CPUtime=1.46 cores=1,3,5,7
/proc/13295/task/13296/stat : 13296 (java) R 13293 13295 10738 0 -1 4202560 114715 0 1 0 133 13 0 0 20 0 18 0 905317003 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 46912505625131 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13295/tid=13298] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13298/stat : 13298 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13299] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13299/stat : 13299 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13300] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13300/stat : 13300 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13301] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13301/stat : 13301 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13302] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13302/stat : 13302 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13303] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13303/stat : 13303 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13304] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13304/stat : 13304 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13305] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13305/stat : 13305 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13306] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13306/stat : 13306 (java) S 13293 13295 10738 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905317006 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427208192 0 0 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13307] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13307/stat : 13307 (java) S 13293 13295 10738 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905317007 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13308] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13308/stat : 13308 (java) S 13293 13295 10738 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 905317007 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13309] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13309/stat : 13309 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317009 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427215281 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13310] ppid=13293 vsize=13624308 CPUtime=0.2 cores=1,3,5,7
/proc/13295/task/13310/stat : 13310 (java) R 13293 13295 10738 0 -1 4202560 1407 0 0 0 20 0 0 0 15 0 18 0 905317009 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 47245467602240 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13295/tid=13311] ppid=13293 vsize=13624308 CPUtime=0.16 cores=1,3,5,7
/proc/13295/task/13311/stat : 13311 (java) S 13293 13295 10738 0 -1 4202560 768 0 0 0 16 0 0 0 15 0 18 0 905317009 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13312] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13312/stat : 13312 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317009 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13313] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13313/stat : 13313 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905317009 13951291392 117421 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427208192 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13624308
Solver just ended. Dumping a history of the last processes samples
[startup+1.6016 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 13313
/proc/meminfo: memFree=22679032/32950928 swapFree=58671692/67111528
[pid=13295] ppid=13293 vsize=13624308 CPUtime=2.01 cores=1,3,5,7
/proc/13295/stat : 13295 (java) S 13293 13295 10738 0 -1 4202496 118433 0 1 0 187 14 0 0 21 0 18 0 905317003 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13295/statm: 3406077 117311 2218 9 0 3396811 0
[pid=13295/tid=13296] ppid=13293 vsize=13624308 CPUtime=1.57 cores=1,3,5,7
/proc/13295/task/13296/stat : 13296 (java) R 13293 13295 10738 0 -1 4202560 114844 0 1 0 144 13 0 0 20 0 18 0 905317003 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 46912505720142 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13295/tid=13298] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13298/stat : 13298 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13299] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13299/stat : 13299 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13300] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13300/stat : 13300 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13301] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13301/stat : 13301 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13302] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13302/stat : 13302 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13303] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13303/stat : 13303 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13304] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13304/stat : 13304 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13305] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13305/stat : 13305 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317005 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13306] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13306/stat : 13306 (java) S 13293 13295 10738 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905317006 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427208192 0 0 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13307] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13307/stat : 13307 (java) S 13293 13295 10738 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905317007 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13308] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13308/stat : 13308 (java) S 13293 13295 10738 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 905317007 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13309] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13309/stat : 13309 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317009 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427215281 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13310] ppid=13293 vsize=13624308 CPUtime=0.24 cores=1,3,5,7
/proc/13295/task/13310/stat : 13310 (java) S 13293 13295 10738 0 -1 4202560 1669 0 0 0 24 0 0 0 15 0 18 0 905317009 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 3 0 0 0
[pid=13295/tid=13311] ppid=13293 vsize=13624308 CPUtime=0.18 cores=1,3,5,7
/proc/13295/task/13311/stat : 13311 (java) S 13293 13295 10738 0 -1 4202560 770 0 0 0 18 0 0 0 15 0 18 0 905317009 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
[pid=13295/tid=13312] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13312/stat : 13312 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905317009 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427207577 0 4 0 16800975 18446604460577773504 0 0 -1 7 0 0 0
[pid=13295/tid=13313] ppid=13293 vsize=13624308 CPUtime=0 cores=1,3,5,7
/proc/13295/task/13313/stat : 13313 (java) S 13293 13295 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905317009 13951291392 117311 33554432000 1073741824 1073778376 140736668454768 18446744073709551615 256427208192 0 4 0 16800975 18446604460577773504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 13624308
Child status: 20
Real time (s): 1.65923
CPU time (s): 2.06868
CPU user time (s): 1.90271
CPU system time (s): 0.165974
CPU usage (%): 124.677
Max. virtual memory (cumulated for all children) (KiB): 13624308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.90271
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118460
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= 243
involuntary context switches= 56
runsolver used 0.007998 second user time and 0.031995 second system time
The end