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-3687220-1337871884/watcher-3687220-1337871884 -o /tmp/evaluation-result-3687220-1337871884/solver-3687220-1337871884 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687220-1337871884.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.00 0.00 0.00 2/171 22214
/proc/meminfo: memFree=28712276/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22214/stat : 22214 (java) D 22212 22214 22184 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253314403 9515008 182 33554432000 1073741824 1073778376 140736287415664 140736287406696 226084339381 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2323 182 140 9 0 71 0
[startup+0.047266 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22214
/proc/meminfo: memFree=28712276/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/22214/stat : 22214 (java) S 22212 22214 22184 0 -1 4202496 3034 0 1 0 2 0 0 0 20 0 13 0 253314403 9446973440 3731 33554432000 1073741824 1073778376 140735673079488 140735673070624 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2306390 3731 1701 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100304 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22214
/proc/meminfo: memFree=28712276/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22214/stat : 22214 (java) S 22212 22214 22184 0 -1 4202496 4278 0 1 0 8 1 0 0 20 0 18 0 253314403 9787813888 5454 33554432000 1073741824 1073778376 140735673079488 140735673070624 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2389603 5454 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300167 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22214
/proc/meminfo: memFree=28712276/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/22214/stat : 22214 (java) S 22212 22214 22184 0 -1 4202496 7529 0 1 0 59 3 0 0 20 0 22 0 253314403 10060460032 9413 33554432000 1073741824 1073778376 140735673079488 140735673070624 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2456167 9413 2232 9 0 2446860 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9824668
[startup+0.700174 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22214
/proc/meminfo: memFree=28712276/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9824668 CPUtime=2.19 cores=0,2,4,6
/proc/22214/stat : 22214 (java) S 22212 22214 22184 0 -1 4202496 14868 0 1 0 214 5 0 0 20 0 22 0 253314403 10060460032 21333 33554432000 1073741824 1073778376 140735673079488 140735673070624 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2456167 21333 2263 9 0 2446860 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9824668
[startup+1.50072 s]
/proc/loadavg: 0.00 0.00 0.00 9/219 22271
/proc/meminfo: memFree=28546704/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9824668 CPUtime=4.54 cores=0,2,4,6
/proc/22214/stat : 22214 (java) S 22212 22214 22184 0 -1 4202496 19431 0 1 0 446 8 0 0 20 0 22 0 253314403 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140735673070624 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2456167 34673 2278 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 22184 0 -1 4202560 2453 0 1 0 13 1 0 0 20 0 22 0 253314404 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140370226074616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140370204174632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140370203121832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140370000210472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369999157672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369998105384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369997052584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369996000296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369994947496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 22184 0 -1 4202560 33 0 0 0 4 1 0 0 20 0 22 0 253314406 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369982748904 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253314406 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369981694968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253314406 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369980642568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314409 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369979591056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 22184 0 -1 4202560 9630 0 0 0 87 3 0 0 20 0 22 0 253314409 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369978538680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 22184 0 -1 4202560 5945 0 0 0 88 2 0 0 20 0 22 0 253314409 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369977485880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314409 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369976433784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314409 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369975381192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22233] ppid=22212 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/22214/task/22233/stat : 22233 (java) R 22212 22214 22184 0 -1 4202560 36 0 0 0 121 0 0 0 20 0 22 0 253314421 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369974310416 140370084562585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22234] ppid=22212 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/22214/task/22234/stat : 22234 (java) R 22212 22214 22184 0 -1 4202560 104 0 0 0 120 0 0 0 20 0 22 0 253314421 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369973272296 140370085254982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314421 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369972221096 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22236] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22236/stat : 22236 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314421 10060460032 34673 33554432000 1073741824 1073778376 140735673079488 140369971168296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+2.30078 s]
/proc/loadavg: 0.00 0.00 0.00 6/219 22271
/proc/meminfo: memFree=28368228/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9824668 CPUtime=6.54 cores=0,2,4,6
/proc/22214/stat : 22214 (java) S 22212 22214 22184 0 -1 4202496 24620 0 1 0 645 9 0 0 20 0 22 0 253314403 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140735673070624 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2456167 41164 2279 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 22184 0 -1 4202560 2453 0 1 0 13 1 0 0 20 0 22 0 253314404 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140370226074616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140370204174632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 22184 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140370203121832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140370000210472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369999157672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369998105384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369997052584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369996000296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253314405 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369994947496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 22184 0 -1 4202560 36 0 0 0 13 2 0 0 20 0 22 0 253314406 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369982748904 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253314406 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369981694968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253314406 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369980642568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314409 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369979591056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 22184 0 -1 4202560 9632 0 0 0 95 3 0 0 20 0 22 0 253314409 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369978538680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 22184 0 -1 4202560 11111 0 0 0 128 2 0 0 20 0 22 0 253314409 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369977485880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314409 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369976433784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22232] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22232/stat : 22232 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253314409 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369975381192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22233] ppid=22212 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/22214/task/22233/stat : 22233 (java) R 22212 22214 22184 0 -1 4202560 37 0 0 0 191 0 0 0 20 0 22 0 253314421 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369974325592 140370084549152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22234] ppid=22212 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/22214/task/22234/stat : 22234 (java) R 22212 22214 22184 0 -1 4202560 110 0 0 0 190 0 0 0 20 0 22 0 253314421 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369973270576 140370084823186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22235] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22235/stat : 22235 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314421 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369972221096 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22236] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22236/stat : 22236 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253314421 10060460032 41164 33554432000 1073741824 1073778376 140735673079488 140369971168296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 9824668
[startup+2.70065 s]
/proc/loadavg: 0.00 0.00 0.00 6/219 22271
/proc/meminfo: memFree=28368228/32873648 swapFree=6864/6864
[pid=22214] ppid=22212 vsize=9824668 CPUtime=7.1 cores=0,2,4,6
/proc/22214/stat : 22214 (java) S 22212 22214 22184 0 -1 4202496 24643 0 1 0 698 12 0 0 20 0 18 0 253314403 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140735673070624 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22214/statm: 2456167 45769 2284 9 0 2446860 0
[pid=22214/tid=22216] ppid=22212 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/22214/task/22216/stat : 22216 (java) S 22212 22214 22184 0 -1 4202560 2454 0 1 0 13 1 0 0 20 0 18 0 253314404 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140370226074616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22217] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22217/stat : 22217 (java) S 22212 22214 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140370204174632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22218] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22218/stat : 22218 (java) S 22212 22214 22184 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140370203121832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22219] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22219/stat : 22219 (java) S 22212 22214 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140370000210472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22220] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22220/stat : 22220 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369999157672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22221] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22221/stat : 22221 (java) S 22212 22214 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369998105384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22222] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22222/stat : 22222 (java) S 22212 22214 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369997052584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22223] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22223/stat : 22223 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369996000296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22224] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22224/stat : 22224 (java) S 22212 22214 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253314405 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369994947496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22225] ppid=22212 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/22214/task/22225/stat : 22225 (java) S 22212 22214 22184 0 -1 4202560 37 0 0 0 13 2 0 0 20 0 18 0 253314406 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369982748456 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22214/tid=22226] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22226/stat : 22226 (java) S 22212 22214 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253314406 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369981694968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22227] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22227/stat : 22227 (java) S 22212 22214 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253314406 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369980642568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22228] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22228/stat : 22228 (java) S 22212 22214 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253314409 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369979589816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22214/tid=22229] ppid=22212 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/22214/task/22229/stat : 22229 (java) S 22212 22214 22184 0 -1 4202560 9632 0 0 0 95 3 0 0 20 0 18 0 253314409 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369978538680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22230] ppid=22212 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/22214/task/22230/stat : 22230 (java) S 22212 22214 22184 0 -1 4202560 11114 0 0 0 132 3 0 0 20 0 18 0 253314409 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369977462184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22214/tid=22231] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22231/stat : 22231 (java) S 22212 22214 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253314409 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369976433784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22214/tid=22236] ppid=22212 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22214/task/22236/stat : 22236 (java) S 22212 22214 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253314421 10060460032 45769 33554432000 1073741824 1073778376 140735673079488 140369971168296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 2.70989
CPU time (s): 7.13391
CPU user time (s): 6.92095
CPU system time (s): 0.212967
CPU usage (%): 263.255
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.92095
system time used= 0.212967
maximum resident set size= 183076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24643
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= 557
involuntary context switches= 383
runsolver used 0.010998 second user time and 0.024996 second system time
The end