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-3687468-1337871921/watcher-3687468-1337871921 -o /tmp/evaluation-result-3687468-1337871921/solver-3687468-1337871921 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687468-1337871921.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: 0.93 0.25 0.08 1/194 21853
/proc/meminfo: memFree=29230412/32873844 swapFree=7100/7100
[pid=21853] ppid=21851 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/21853/stat : 21853 (java) R 21851 21853 21308 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 1 0 253320666 24780800 866 33554432000 1073741824 1073778376 140734219951760 140734219940824 247064303793 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21853/statm: 6050 866 654 9 0 385 0
[pid=21853/tid=21854] ppid=21851 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21854/stat : 21854 (java) R 21851 21853 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 2 0 253320667 91889664 876 33554432000 1073741824 1073778376 140734219951760 140734219940824 139814702233232 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.074284 s]
/proc/loadavg: 0.93 0.25 0.08 1/194 21853
/proc/meminfo: memFree=29230412/32873844 swapFree=7100/7100
[pid=21853] ppid=21851 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/21853/stat : 21853 (java) S 21851 21853 21308 0 -1 4202496 3859 0 1 0 5 1 0 0 20 0 18 0 253320666 9787813888 5062 33554432000 1073741824 1073778376 140734219951760 140734219942896 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21853/statm: 2389603 5062 2029 9 0 2380296 0
[pid=21853/tid=21854] ppid=21851 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/21853/task/21854/stat : 21854 (java) R 21851 21853 21308 0 -1 4202560 2252 0 1 0 4 1 0 0 20 0 18 0 253320667 9787813888 5064 33554432000 1073741824 1073778376 140734219951760 139814695657728 247067632813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100219 s]
/proc/loadavg: 0.93 0.25 0.08 1/194 21853
/proc/meminfo: memFree=29230412/32873844 swapFree=7100/7100
[pid=21853] ppid=21851 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/21853/stat : 21853 (java) S 21851 21853 21308 0 -1 4202496 4480 0 1 0 10 1 0 0 20 0 18 0 253320666 9787813888 6145 33554432000 1073741824 1073778376 140734219951760 140734219942896 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21853/statm: 2389603 6145 2142 9 0 2380296 0
[pid=21853/tid=21854] ppid=21851 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/21853/task/21854/stat : 21854 (java) R 21851 21853 21308 0 -1 4202560 2430 0 1 0 6 1 0 0 20 0 18 0 253320667 9787813888 6145 33554432000 1073741824 1073778376 140734219951760 139814695659336 247067632909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300184 s]
/proc/loadavg: 0.93 0.25 0.08 1/194 21853
/proc/meminfo: memFree=29230412/32873844 swapFree=7100/7100
[pid=21853] ppid=21851 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/21853/stat : 21853 (java) S 21851 21853 21308 0 -1 4202496 5773 0 1 0 49 2 0 0 20 0 18 0 253320666 9787813888 8792 33554432000 1073741824 1073778376 140734219951760 140734219942896 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21853/statm: 2389603 8792 2218 9 0 2380296 0
[pid=21853/tid=21854] ppid=21851 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/21853/task/21854/stat : 21854 (java) R 21851 21853 21308 0 -1 4202560 2445 0 1 0 26 1 0 0 20 0 18 0 253320667 9787813888 8792 33554432000 1073741824 1073778376 140734219951760 139814695659336 139814556988999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412
[startup+0.700208 s]
/proc/loadavg: 0.93 0.25 0.08 1/194 21853
/proc/meminfo: memFree=29230412/32873844 swapFree=7100/7100
[pid=21853] ppid=21851 vsize=9691540 CPUtime=1.69 cores=0,2,4,6
/proc/21853/stat : 21853 (java) S 21851 21853 21308 0 -1 4202496 15866 0 1 0 165 4 0 0 20 0 20 0 253320666 9924136960 24422 33554432000 1073741824 1073778376 140734219951760 140734219942896 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21853/statm: 2422885 24423 2244 9 0 2413578 0
[pid=21853/tid=21854] ppid=21851 vsize=9691540 CPUtime=0.67 cores=0,2,4,6
/proc/21853/task/21854/stat : 21854 (java) S 21851 21853 21308 0 -1 4202560 2473 0 1 0 65 2 0 0 20 0 20 0 253320667 9924136960 24424 33554432000 1073741824 1073778376 140734219951760 139814695666680 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9691540
Solver just ended. Dumping a history of the last processes samples
[startup+1.10671 s]
/proc/loadavg: 0.93 0.25 0.08 1/190 21900
/proc/meminfo: memFree=29155428/32873844 swapFree=7100/7100
[pid=21853] ppid=21851 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/21853/stat : 21853 (java) S 21851 21853 21308 0 -1 4202496 15960 0 1 0 202 6 0 0 20 0 19 0 253320666 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 140734219942896 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21853/statm: 2456167 25508 2254 9 0 2446860 0
[pid=21853/tid=21854] ppid=21851 vsize=9824668 CPUtime=0.67 cores=0,2,4,6
/proc/21853/task/21854/stat : 21854 (java) S 21851 21853 21308 0 -1 4202560 2473 0 1 0 65 2 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814695666680 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21853/tid=21856] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21856/stat : 21856 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814684727720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21857] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21857/stat : 21857 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814683675176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21853/tid=21858] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21858/stat : 21858 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814682622120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21853/tid=21859] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21859/stat : 21859 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814681569576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21853/tid=21860] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21860/stat : 21860 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814680517544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21861] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21861/stat : 21861 (java) S 21851 21853 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814679465000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21853/tid=21862] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21862/stat : 21862 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814678411944 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21863] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21863/stat : 21863 (java) S 21851 21853 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814677359400 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21864] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21864/stat : 21864 (java) S 21851 21853 21308 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253320668 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814519875944 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21865] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21865/stat : 21865 (java) S 21851 21853 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253320669 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814518822264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21866] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21866/stat : 21866 (java) S 21851 21853 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253320669 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814517769096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21867] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21867/stat : 21867 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320671 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814516717840 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21868] ppid=21851 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/21853/task/21868/stat : 21868 (java) S 21851 21853 21308 0 -1 4202560 5939 0 0 0 57 2 0 0 20 0 19 0 253320671 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814515665720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21869] ppid=21851 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/21853/task/21869/stat : 21869 (java) S 21851 21853 21308 0 -1 4202560 6239 0 0 0 60 1 0 0 20 0 19 0 253320671 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814514613176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21853/tid=21870] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21870/stat : 21870 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320671 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814513560312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21853/tid=21871] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21871/stat : 21871 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320671 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814512507976 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21853/tid=21900] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21900/stat : 21900 (java) S 21851 21853 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253320738 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814508295080 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9824668
[startup+1.20067 s]
/proc/loadavg: 0.93 0.25 0.08 1/190 21900
/proc/meminfo: memFree=29155428/32873844 swapFree=7100/7100
[pid=21853] ppid=21851 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/21853/stat : 21853 (java) S 21851 21853 21308 0 -1 4202496 15962 0 1 0 202 6 0 0 20 0 20 0 253320666 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 140734219942896 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21853/statm: 2456167 25510 2254 9 0 2446860 0
[pid=21853/tid=21854] ppid=21851 vsize=9824668 CPUtime=0.67 cores=0,2,4,6
/proc/21853/task/21854/stat : 21854 (java) S 21851 21853 21308 0 -1 4202560 2473 0 1 0 65 2 0 0 20 0 20 0 253320667 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 139814695666392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21853/tid=21856] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21856/stat : 21856 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253320667 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 139814684727720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21857] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21857/stat : 21857 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253320667 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 139814683675176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21853/tid=21858] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21858/stat : 21858 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253320667 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 139814682622120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21853/tid=21859] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21859/stat : 21859 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253320667 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 139814681569576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21853/tid=21860] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21860/stat : 21860 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253320667 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 139814680517544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21861] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21861/stat : 21861 (java) S 21851 21853 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 253320667 10060460032 25510 33554432000 1073741824 1073778376 140734219951760 139814679465000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21853/tid=21862] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21862/stat : 21862 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814678411944 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21863] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21863/stat : 21863 (java) S 21851 21853 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253320667 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814677359400 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21864] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21864/stat : 21864 (java) R 21851 21853 21308 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 253320668 10060460032 25508 33554432000 1073741824 1073778376 140734219951760 139814519875944 247067621289 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21865] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21865/stat : 21865 (java) S 21851 21853 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 253320669 10060460032 25509 33554432000 1073741824 1073778376 140734219951760 139814518822264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21866] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21866/stat : 21866 (java) S 21851 21853 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253320669 10060460032 25514 33554432000 1073741824 1073778376 140734219951760 139814517769096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21868] ppid=21851 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/21853/task/21868/stat : 21868 (java) S 21851 21853 21308 0 -1 4202560 5939 0 0 0 57 2 0 0 20 0 17 0 253320671 10060460032 25512 33554432000 1073741824 1073778376 140734219951760 139814515665720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21853/tid=21869] ppid=21851 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/21853/task/21869/stat : 21869 (java) S 21851 21853 21308 0 -1 4202560 6239 0 0 0 60 1 0 0 20 0 17 0 253320671 10060460032 25512 33554432000 1073741824 1073778376 140734219951760 139814514613176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21853/tid=21870] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21870/stat : 21870 (java) S 21851 21853 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 253320671 10060460032 25512 33554432000 1073741824 1073778376 140734219951760 139814513560312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21853/tid=21900] ppid=21851 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/21853/task/21900/stat : 21900 (java) S 21851 21853 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 253320738 10060460032 25512 33554432000 1073741824 1073778376 140734219951760 139814508295080 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 1.20458
CPU time (s): 2.10268
CPU user time (s): 2.00069
CPU system time (s): 0.101984
CPU usage (%): 174.557
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.00069
system time used= 0.101984
maximum resident set size= 102076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15968
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= 329
involuntary context switches= 42
runsolver used 0.002999 second user time and 0.012998 second system time
The end