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-3687240-1337871885/watcher-3687240-1337871885 -o /tmp/evaluation-result-3687240-1337871885/solver-3687240-1337871885 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687240-1337871885.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: 0.08 0.02 0.01 2/188 22115
/proc/meminfo: memFree=28848820/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22115/stat : 22115 (java) D 22113 22115 22059 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 253315471 9515008 175 33554432000 1073741824 1073778376 140734294640304 140734294623032 233411789712 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2323 175 133 9 0 71 0
[startup+0.0431879 s]
/proc/loadavg: 0.08 0.02 0.01 2/188 22115
/proc/meminfo: memFree=28848820/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22115 22059 0 -1 4202496 3044 0 1 0 1 1 0 0 20 0 13 0 253315471 9446973440 3231 33554432000 1073741824 1073778376 140734294640304 140734294631440 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2306390 3231 1682 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100309 s]
/proc/loadavg: 0.08 0.02 0.01 2/188 22115
/proc/meminfo: memFree=28848820/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22115 22059 0 -1 4202496 3235 0 1 0 3 1 0 0 20 0 18 0 253315471 9787813888 3933 33554432000 1073741824 1073778376 140734294640304 140734294631440 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2389603 3933 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412
[startup+0.300219 s]
/proc/loadavg: 0.08 0.02 0.01 2/188 22115
/proc/meminfo: memFree=28848820/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22115 22059 0 -1 4202496 4846 0 3 0 23 2 0 0 20 0 22 0 253315471 10060460032 6956 33554432000 1073741824 1073778376 140734294640304 140734294631440 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2456167 6956 2191 9 0 2446860 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824668
[startup+0.700202 s]
/proc/loadavg: 0.08 0.02 0.01 2/188 22115
/proc/meminfo: memFree=28848820/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22115 22059 0 -1 4202496 14440 0 3 0 180 4 0 0 20 0 22 0 253315471 10060460032 19189 33554432000 1073741824 1073778376 140734294640304 140734294631440 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2456167 19189 2240 9 0 2446860 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824668
[startup+1.50073 s]
/proc/loadavg: 0.08 0.02 0.01 9/219 22146
/proc/meminfo: memFree=28660364/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9824668 CPUtime=4.24 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22115 22059 0 -1 4202496 20112 0 3 0 417 7 0 0 20 0 22 0 253315471 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140734294631440 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2456167 25864 2277 9 0 2446860 0
[pid=22115/tid=22117] ppid=22113 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) S 22113 22115 22059 0 -1 4202560 2504 0 1 0 14 2 0 0 20 0 22 0 253315472 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297188615160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 8 0 0
[pid=22115/tid=22118] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22118/stat : 22118 (java) S 22113 22115 22059 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297032428200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22119] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22119/stat : 22119 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297031375656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22120] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22120/stat : 22120 (java) S 22113 22115 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297030323112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22121] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22115 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297029270568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22122] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22115 22059 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297028217000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22123] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22115 22059 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297027164456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22124] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297026111912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22125] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22115 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297025059368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22126] ppid=22113 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22115 22059 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 253315474 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297012861544 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22127] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22115 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315475 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297011807864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22128] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22128/stat : 22128 (java) S 22113 22115 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315475 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297010755208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22129] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315480 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297009703952 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22131] ppid=22113 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22115 22059 0 -1 4202560 9754 0 1 0 87 2 0 0 20 0 22 0 253315480 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297008650296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22133] ppid=22113 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22115 22059 0 -1 4202560 6452 0 1 0 84 2 0 0 20 0 22 0 253315480 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297007597752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22135] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22135/stat : 22135 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315480 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297006545400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22137] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22137/stat : 22137 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315480 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297005493064 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22139] ppid=22113 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/22115/task/22139/stat : 22139 (java) R 22113 22115 22059 0 -1 4202560 33 0 0 0 113 0 0 0 20 0 22 0 253315499 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297004438216 140297061355943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22141] ppid=22113 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/22115/task/22141/stat : 22141 (java) R 22113 22115 22059 0 -1 4202560 94 0 0 0 104 0 0 0 20 0 22 0 253315499 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297003383976 140297061941529 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22143] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22143/stat : 22143 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315500 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297002333736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22146] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22146/stat : 22146 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315500 10060460032 25864 33554432000 1073741824 1073778376 140734294640304 140297001281192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90069 s]
/proc/loadavg: 0.08 0.02 0.01 9/219 22146
/proc/meminfo: memFree=28660364/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9824668 CPUtime=5.01 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22115 22059 0 -1 4202496 20136 0 3 0 494 7 0 0 20 0 22 0 253315471 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140734294631440 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2456167 27927 2278 9 0 2446860 0
[pid=22115/tid=22117] ppid=22113 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) S 22113 22115 22059 0 -1 4202560 2504 0 1 0 14 2 0 0 20 0 22 0 253315472 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297188615160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 8 0 0
[pid=22115/tid=22118] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22118/stat : 22118 (java) S 22113 22115 22059 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297032428200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22119] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22119/stat : 22119 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297031375656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22120] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22120/stat : 22120 (java) S 22113 22115 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297030323112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22121] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22115 22059 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297029270568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22122] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22115 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297028217000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22123] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22115 22059 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297027164456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22124] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297026111912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22125] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22115 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253315473 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297025059368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22126] ppid=22113 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22115 22059 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 22 0 253315474 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297012861544 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22127] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22115 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315475 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297011807864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22128] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22128/stat : 22128 (java) S 22113 22115 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315475 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297010755208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22129] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315480 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297009703952 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22131] ppid=22113 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22115 22059 0 -1 4202560 9761 0 1 0 89 2 0 0 20 0 22 0 253315480 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297008650296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22133] ppid=22113 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22115 22059 0 -1 4202560 6452 0 1 0 85 2 0 0 20 0 22 0 253315480 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297007597752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22135] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22135/stat : 22135 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315480 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297006545400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22137] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22137/stat : 22137 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315480 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297005493064 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22139] ppid=22113 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/22115/task/22139/stat : 22139 (java) R 22113 22115 22059 0 -1 4202560 34 0 0 0 147 0 0 0 20 0 22 0 253315499 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297004438216 140297061251296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22141] ppid=22113 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/22115/task/22141/stat : 22141 (java) R 22113 22115 22059 0 -1 4202560 97 0 0 0 137 0 0 0 20 0 22 0 253315499 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297003383504 140297061389998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22143] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22143/stat : 22143 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315500 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297002333736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22146] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22146/stat : 22146 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315500 10060460032 27927 33554432000 1073741824 1073778376 140734294640304 140297001281192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 9824668
[startup+2.30091 s]
/proc/loadavg: 0.47 0.10 0.03 5/217 22146
/proc/meminfo: memFree=28614060/32873844 swapFree=7100/7100
[pid=22115] ppid=22113 vsize=9824668 CPUtime=5.76 cores=1,3,5,7
/proc/22115/stat : 22115 (java) S 22113 22115 22059 0 -1 4202496 20145 0 3 0 568 8 0 0 20 0 19 0 253315471 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140734294631440 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22115/statm: 2456167 28434 2279 9 0 2446860 0
[pid=22115/tid=22117] ppid=22113 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22115/task/22117/stat : 22117 (java) S 22113 22115 22059 0 -1 4202560 2504 0 1 0 14 2 0 0 20 0 19 0 253315472 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297188615160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 8 0 0
[pid=22115/tid=22118] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22118/stat : 22118 (java) S 22113 22115 22059 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297032428200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22119] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22119/stat : 22119 (java) S 22113 22115 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297031375656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22120] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22120/stat : 22120 (java) S 22113 22115 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297030323112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22121] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22121/stat : 22121 (java) S 22113 22115 22059 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297029270568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22115/tid=22122] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22122/stat : 22122 (java) S 22113 22115 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297028217000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22123] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22123/stat : 22123 (java) S 22113 22115 22059 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297027164456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22124] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22124/stat : 22124 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297026111912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22125] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22125/stat : 22125 (java) S 22113 22115 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253315473 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297025059368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22126] ppid=22113 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22115/task/22126/stat : 22126 (java) S 22113 22115 22059 0 -1 4202560 35 0 0 0 12 0 0 0 20 0 19 0 253315474 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297012861544 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22127] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22127/stat : 22127 (java) S 22113 22115 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315475 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297011807864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22128] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22128/stat : 22128 (java) S 22113 22115 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315475 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297010755208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22129] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22129/stat : 22129 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315480 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297009703952 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22115/tid=22131] ppid=22113 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/22115/task/22131/stat : 22131 (java) S 22113 22115 22059 0 -1 4202560 9761 0 1 0 89 2 0 0 20 0 19 0 253315480 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297008650296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22133] ppid=22113 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/22115/task/22133/stat : 22133 (java) S 22113 22115 22059 0 -1 4202560 6455 0 1 0 88 2 0 0 20 0 19 0 253315480 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297007597752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22135] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22135/stat : 22135 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315480 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297006545400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22115/tid=22137] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22137/stat : 22137 (java) S 22113 22115 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315480 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297005493064 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22115/tid=22146] ppid=22113 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22115/task/22146/stat : 22146 (java) S 22113 22115 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315500 10060460032 28434 33554432000 1073741824 1073778376 140734294640304 140297001281192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 2.3206
CPU time (s): 5.78512
CPU user time (s): 5.64114
CPU system time (s): 0.143978
CPU usage (%): 249.294
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.64114
system time used= 0.143978
maximum resident set size= 113784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20155
page faults= 3
swaps= 0
block input operations= 1184
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 609
involuntary context switches= 138
runsolver used 0.010998 second user time and 0.023996 second system time
The end