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-3733505-1338748504/watcher-3733505-1338748504 -o /tmp/evaluation-result-3733505-1338748504/solver-3733505-1338748504 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733505-1338748504.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: 1.58 1.90 1.97 3/172 31333
/proc/meminfo: memFree=26806860/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31333/stat : 31333 (java6) D 31331 31333 31294 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 340975916 9515008 182 33554432000 1073741824 1073778376 140736137329360 140736137320392 227512499893 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/31333/statm: 2323 182 140 9 0 71 0
[startup+0.045681 s]
/proc/loadavg: 1.58 1.90 1.97 3/172 31333
/proc/meminfo: memFree=26806860/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 3683 0 1 0 2 0 0 0 20 0 13 0 340975916 2371293184 4892 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 578929 4892 1699 9 0 569630 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2315716
[startup+0.100202 s]
/proc/loadavg: 1.58 1.90 1.97 3/172 31333
/proc/meminfo: memFree=26806860/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 4689 0 1 0 8 1 0 0 20 0 18 0 340975916 2712133632 6408 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 662142 6408 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300167 s]
/proc/loadavg: 1.58 1.90 1.97 3/172 31333
/proc/meminfo: memFree=26806860/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 7239 0 1 0 50 1 0 0 20 0 19 0 340975916 2780295168 8895 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 678783 8895 2220 9 0 669476 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2715132
[startup+0.700125 s]
/proc/loadavg: 1.58 1.90 1.97 3/172 31333
/proc/meminfo: memFree=26806860/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2715132 CPUtime=0.98 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 7281 0 1 0 96 2 0 0 20 0 19 0 340975916 2780295168 12496 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 678783 12496 2225 9 0 669476 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 2715132
[startup+1.50064 s]
/proc/loadavg: 1.58 1.90 1.97 5/211 31432
/proc/meminfo: memFree=26731224/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2715132 CPUtime=1.81 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 7295 0 1 0 179 2 0 0 20 0 19 0 340975916 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 678783 17619 2227 9 0 669476 0
[pid=31333/tid=31339] ppid=31331 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/31333/task/31339/stat : 31339 (java) R 31331 31333 31294 0 -1 4202560 2784 0 1 0 145 1 0 0 20 0 19 0 340975917 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282721503912 140282574552520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31342] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31342/stat : 31342 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282705955240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31343] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31343/stat : 31343 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282704902696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31344] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31344/stat : 31344 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282703849640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31345] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31345/stat : 31345 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282702797096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31346] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31346/stat : 31346 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282701745064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31347] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31347/stat : 31347 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282700692520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31348] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31348/stat : 31348 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282699639464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31350] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31350/stat : 31350 (java) S 31331 31333 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282698586920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31358] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31358/stat : 31358 (java) S 31331 31333 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340975919 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282567821672 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31360] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31360/stat : 31360 (java) S 31331 31333 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282566767992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31361] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31361/stat : 31361 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282565714824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31364] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31364/stat : 31364 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282564663568 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31366] ppid=31331 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31333/task/31366/stat : 31366 (java) S 31331 31333 31294 0 -1 4202560 1916 0 0 0 19 0 0 0 20 0 19 0 340975922 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282563611448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31368] ppid=31331 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/31333/task/31368/stat : 31368 (java) S 31331 31333 31294 0 -1 4202560 1401 0 0 0 11 0 0 0 20 0 19 0 340975922 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282562558904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31370] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31370/stat : 31370 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282561506040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31372] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31372/stat : 31372 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282560453704 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31374] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31374/stat : 31374 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975928 2780295168 17619 33554432000 1073741824 1073778376 140735639485856 140282559398952 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 2715132
[startup+3.1006 s]
/proc/loadavg: 1.58 1.90 1.97 3/211 31432
/proc/meminfo: memFree=26674292/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2715132 CPUtime=3.41 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 7310 0 1 0 339 2 0 0 20 0 19 0 340975916 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 678783 25299 2227 9 0 669476 0
[pid=31333/tid=31339] ppid=31331 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/31333/task/31339/stat : 31339 (java) R 31331 31333 31294 0 -1 4202560 2799 0 1 0 304 2 0 0 20 0 19 0 340975917 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282721503792 140282574595383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31342] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31342/stat : 31342 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282705955240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31343] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31343/stat : 31343 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282704902696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31344] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31344/stat : 31344 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282703849640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31345] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31345/stat : 31345 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282702797096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31346] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31346/stat : 31346 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282701745064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31347] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31347/stat : 31347 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282700692520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31348] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31348/stat : 31348 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282699639464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31350] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31350/stat : 31350 (java) S 31331 31333 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282698586920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31358] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31358/stat : 31358 (java) S 31331 31333 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340975919 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282567821672 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31360] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31360/stat : 31360 (java) S 31331 31333 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282566767992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31361] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31361/stat : 31361 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282565714824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31364] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31364/stat : 31364 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282564663568 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31366] ppid=31331 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31333/task/31366/stat : 31366 (java) S 31331 31333 31294 0 -1 4202560 1916 0 0 0 19 0 0 0 20 0 19 0 340975922 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282563611448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31368] ppid=31331 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/31333/task/31368/stat : 31368 (java) S 31331 31333 31294 0 -1 4202560 1401 0 0 0 11 0 0 0 20 0 19 0 340975922 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282562558904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31370] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31370/stat : 31370 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282561506040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31372] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31372/stat : 31372 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282560453704 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31374] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31374/stat : 31374 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975928 2780295168 25299 33554432000 1073741824 1073778376 140735639485856 140282559398952 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 2715132
[startup+6.30061 s]
/proc/loadavg: 1.61 1.91 1.97 3/211 31432
/proc/meminfo: memFree=26575828/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2715132 CPUtime=6.61 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 7330 0 1 0 659 2 0 0 20 0 19 0 340975916 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 678783 34492 2228 9 0 669476 0
[pid=31333/tid=31339] ppid=31331 vsize=2715132 CPUtime=6.25 cores=1,3,5,7
/proc/31333/task/31339/stat : 31339 (java) R 31331 31333 31294 0 -1 4202560 2818 0 1 0 623 2 0 0 20 0 19 0 340975917 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282721505888 140282574569012 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31342] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31342/stat : 31342 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282705955240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31343] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31343/stat : 31343 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282704902696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31344] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31344/stat : 31344 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282703849640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31345] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31345/stat : 31345 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282702797096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31346] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31346/stat : 31346 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282701745064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31347] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31347/stat : 31347 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282700692520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31348] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31348/stat : 31348 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282699639464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31350] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31350/stat : 31350 (java) S 31331 31333 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340975918 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282698586920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31358] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31358/stat : 31358 (java) S 31331 31333 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340975919 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282567821672 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31360] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31360/stat : 31360 (java) S 31331 31333 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282566767992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31361] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31361/stat : 31361 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282565714824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31364] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31364/stat : 31364 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282564663568 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31366] ppid=31331 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31333/task/31366/stat : 31366 (java) S 31331 31333 31294 0 -1 4202560 1916 0 0 0 19 0 0 0 20 0 19 0 340975922 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282563611448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31368] ppid=31331 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/31333/task/31368/stat : 31368 (java) S 31331 31333 31294 0 -1 4202560 1401 0 0 0 12 0 0 0 20 0 19 0 340975922 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282562558904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31370] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31370/stat : 31370 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282561506040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31372] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31372/stat : 31372 (java) S 31331 31333 31294 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282560453704 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31374] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31374/stat : 31374 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975928 2780295168 34492 33554432000 1073741824 1073778376 140735639485856 140282559398952 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 2715132
[startup+12.7006 s]
################
# More data... #
################
/proc/31333/task/31350/stat : 31350 (java) S 31331 31333 31294 0 -1 4202560 237 0 0 0 43 7 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282698586920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31358] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31358/stat : 31358 (java) S 31331 31333 31294 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 340975919 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282567821672 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31360] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31360/stat : 31360 (java) S 31331 31333 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282566767992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31361] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31361/stat : 31361 (java) S 31331 31333 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282565714824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31364] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31364/stat : 31364 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282564663568 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31366] ppid=31331 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31333/task/31366/stat : 31366 (java) S 31331 31333 31294 0 -1 4202560 1916 0 0 0 19 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282563611448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31368] ppid=31331 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/31333/task/31368/stat : 31368 (java) S 31331 31333 31294 0 -1 4202560 1402 0 0 0 12 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282562558904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31370] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31370/stat : 31370 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282561506040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31372] ppid=31331 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/31333/task/31372/stat : 31372 (java) S 31331 31333 31294 0 -1 4202560 68 0 0 0 17 20 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282560453704 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31374] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31374/stat : 31374 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975928 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282559398952 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1182.13
Current children cumulated vsize (KiB) 2715132
[startup+1179.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/211 31442
/proc/meminfo: memFree=24912972/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2715132 CPUtime=1182.92 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 9717 0 1 0 118221 71 0 0 20 0 19 0 340975916 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 678783 225202 2241 9 0 669476 0
[pid=31333/tid=31339] ppid=31331 vsize=2715132 CPUtime=1175.77 cores=1,3,5,7
/proc/31333/task/31339/stat : 31339 (java) R 31331 31333 31294 0 -1 4202560 2942 0 1 0 117554 23 0 0 20 0 19 0 340975917 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282721504592 140282574560744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31342] ppid=31331 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/31333/task/31342/stat : 31342 (java) S 31331 31333 31294 0 -1 4202560 340 0 0 0 41 5 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282705955240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31343] ppid=31331 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/31333/task/31343/stat : 31343 (java) S 31331 31333 31294 0 -1 4202560 224 0 0 0 31 5 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282704902696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31344] ppid=31331 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/31333/task/31344/stat : 31344 (java) S 31331 31333 31294 0 -1 4202560 383 0 0 0 44 7 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282703849640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31345] ppid=31331 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/31333/task/31345/stat : 31345 (java) S 31331 31333 31294 0 -1 4202560 416 0 0 0 37 7 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282702797096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31346] ppid=31331 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/31333/task/31346/stat : 31346 (java) S 31331 31333 31294 0 -1 4202560 221 0 0 0 36 4 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282701745064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31347] ppid=31331 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/31333/task/31347/stat : 31347 (java) S 31331 31333 31294 0 -1 4202560 185 0 0 0 35 5 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282700692520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31348] ppid=31331 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/31333/task/31348/stat : 31348 (java) S 31331 31333 31294 0 -1 4202560 171 0 0 0 30 4 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282699639464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31350] ppid=31331 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/31333/task/31350/stat : 31350 (java) S 31331 31333 31294 0 -1 4202560 237 0 0 0 43 7 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282698586920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31358] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31358/stat : 31358 (java) S 31331 31333 31294 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 340975919 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282567821672 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31360] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31360/stat : 31360 (java) S 31331 31333 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282566767992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31361] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31361/stat : 31361 (java) S 31331 31333 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282565714824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31364] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31364/stat : 31364 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282564663568 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31366] ppid=31331 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31333/task/31366/stat : 31366 (java) S 31331 31333 31294 0 -1 4202560 1916 0 0 0 19 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282563611448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31368] ppid=31331 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/31333/task/31368/stat : 31368 (java) S 31331 31333 31294 0 -1 4202560 1402 0 0 0 12 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282562558904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31370] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31370/stat : 31370 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282561506040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31372] ppid=31331 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/31333/task/31372/stat : 31372 (java) S 31331 31333 31294 0 -1 4202560 68 0 0 0 17 20 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282560453704 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31374] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31374/stat : 31374 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975928 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282559398952 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1182.92
Current children cumulated vsize (KiB) 2715132
[startup+1180.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/211 31442
/proc/meminfo: memFree=24912972/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2715132 CPUtime=1183.33 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 9717 0 1 0 118262 71 0 0 20 0 19 0 340975916 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 678783 225202 2241 9 0 669476 0
[pid=31333/tid=31339] ppid=31331 vsize=2715132 CPUtime=1176.18 cores=1,3,5,7
/proc/31333/task/31339/stat : 31339 (java) R 31331 31333 31294 0 -1 4202560 2942 0 1 0 117595 23 0 0 20 0 19 0 340975917 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282721504592 140282574678119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31342] ppid=31331 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/31333/task/31342/stat : 31342 (java) S 31331 31333 31294 0 -1 4202560 340 0 0 0 41 5 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282705955240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31343] ppid=31331 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/31333/task/31343/stat : 31343 (java) S 31331 31333 31294 0 -1 4202560 224 0 0 0 31 5 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282704902696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31344] ppid=31331 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/31333/task/31344/stat : 31344 (java) S 31331 31333 31294 0 -1 4202560 383 0 0 0 44 7 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282703849640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31345] ppid=31331 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/31333/task/31345/stat : 31345 (java) S 31331 31333 31294 0 -1 4202560 416 0 0 0 37 7 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282702797096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31346] ppid=31331 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/31333/task/31346/stat : 31346 (java) S 31331 31333 31294 0 -1 4202560 221 0 0 0 36 4 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282701745064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31347] ppid=31331 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/31333/task/31347/stat : 31347 (java) S 31331 31333 31294 0 -1 4202560 185 0 0 0 35 5 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282700692520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31348] ppid=31331 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/31333/task/31348/stat : 31348 (java) S 31331 31333 31294 0 -1 4202560 171 0 0 0 30 4 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282699639464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31350] ppid=31331 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/31333/task/31350/stat : 31350 (java) S 31331 31333 31294 0 -1 4202560 237 0 0 0 43 7 0 0 20 0 19 0 340975918 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282698586920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31358] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31358/stat : 31358 (java) S 31331 31333 31294 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 340975919 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282567821672 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31360] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31360/stat : 31360 (java) S 31331 31333 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282566767992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31361] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31361/stat : 31361 (java) S 31331 31333 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340975920 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282565714824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31364] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31364/stat : 31364 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282564663568 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31366] ppid=31331 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/31333/task/31366/stat : 31366 (java) S 31331 31333 31294 0 -1 4202560 1916 0 0 0 19 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282563611448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31368] ppid=31331 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/31333/task/31368/stat : 31368 (java) S 31331 31333 31294 0 -1 4202560 1402 0 0 0 12 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282562558904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31370] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31370/stat : 31370 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282561506040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31372] ppid=31331 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/31333/task/31372/stat : 31372 (java) S 31331 31333 31294 0 -1 4202560 68 0 0 0 17 20 0 0 20 0 19 0 340975922 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282560453704 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31374] ppid=31331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31374/stat : 31374 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340975928 2780295168 225202 33554432000 1073741824 1073778376 140735639485856 140282559398952 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1183.33
Current children cumulated vsize (KiB) 2715132
[startup+1180.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/211 31442
/proc/meminfo: memFree=24912972/32873624 swapFree=7112/7112
[pid=31333] ppid=31331 vsize=2781696 CPUtime=1183.72 cores=1,3,5,7
/proc/31333/stat : 31333 (java) S 31331 31333 31294 0 -1 4202496 9734 0 1 0 118301 71 0 0 20 0 20 0 340975916 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140735639476992 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31333/statm: 695424 225218 2241 9 0 686117 0
[pid=31333/tid=31339] ppid=31331 vsize=2781696 CPUtime=1176.57 cores=1,3,5,7
/proc/31333/task/31339/stat : 31339 (java) S 31331 31333 31294 0 -1 4202560 2945 0 1 0 117634 23 0 0 20 0 20 0 340975917 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282721506008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31342] ppid=31331 vsize=2781696 CPUtime=0.46 cores=1,3,5,7
/proc/31333/task/31342/stat : 31342 (java) S 31331 31333 31294 0 -1 4202560 340 0 0 0 41 5 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282705955240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31343] ppid=31331 vsize=2781696 CPUtime=0.36 cores=1,3,5,7
/proc/31333/task/31343/stat : 31343 (java) S 31331 31333 31294 0 -1 4202560 224 0 0 0 31 5 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282704902696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31344] ppid=31331 vsize=2781696 CPUtime=0.51 cores=1,3,5,7
/proc/31333/task/31344/stat : 31344 (java) S 31331 31333 31294 0 -1 4202560 383 0 0 0 44 7 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282703849640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31345] ppid=31331 vsize=2781696 CPUtime=0.44 cores=1,3,5,7
/proc/31333/task/31345/stat : 31345 (java) S 31331 31333 31294 0 -1 4202560 416 0 0 0 37 7 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282702797096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31346] ppid=31331 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31333/task/31346/stat : 31346 (java) S 31331 31333 31294 0 -1 4202560 221 0 0 0 36 4 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282701745064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31347] ppid=31331 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31333/task/31347/stat : 31347 (java) S 31331 31333 31294 0 -1 4202560 185 0 0 0 35 5 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282700692520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31348] ppid=31331 vsize=2781696 CPUtime=0.34 cores=1,3,5,7
/proc/31333/task/31348/stat : 31348 (java) S 31331 31333 31294 0 -1 4202560 171 0 0 0 30 4 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282699639464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31350] ppid=31331 vsize=2781696 CPUtime=0.5 cores=1,3,5,7
/proc/31333/task/31350/stat : 31350 (java) S 31331 31333 31294 0 -1 4202560 237 0 0 0 43 7 0 0 20 0 20 0 340975918 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282698586920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31358] ppid=31331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31358/stat : 31358 (java) S 31331 31333 31294 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 20 0 340975919 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282567821672 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31333/tid=31360] ppid=31331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31360/stat : 31360 (java) S 31331 31333 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340975920 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282566767992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31361] ppid=31331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31361/stat : 31361 (java) S 31331 31333 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340975920 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282565714824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31333/tid=31364] ppid=31331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31364/stat : 31364 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340975922 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282564663568 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31366] ppid=31331 vsize=2781696 CPUtime=0.19 cores=1,3,5,7
/proc/31333/task/31366/stat : 31366 (java) S 31331 31333 31294 0 -1 4202560 1916 0 0 0 19 0 0 0 20 0 20 0 340975922 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282563611448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31333/tid=31368] ppid=31331 vsize=2781696 CPUtime=0.12 cores=1,3,5,7
/proc/31333/task/31368/stat : 31368 (java) S 31331 31333 31294 0 -1 4202560 1402 0 0 0 12 0 0 0 20 0 20 0 340975922 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282562558904 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31370] ppid=31331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31370/stat : 31370 (java) S 31331 31333 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340975922 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282561506040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31372] ppid=31331 vsize=2781696 CPUtime=0.37 cores=1,3,5,7
/proc/31333/task/31372/stat : 31372 (java) S 31331 31333 31294 0 -1 4202560 68 0 0 0 17 20 0 0 20 0 20 0 340975922 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282560453704 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31333/tid=31374] ppid=31331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31374/stat : 31374 (java) S 31331 31333 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340975928 2848456704 225218 33554432000 1073741824 1073778376 140735639485856 140282559398952 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1183.72
Current children cumulated vsize (KiB) 2781696
Child status: 10
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31333 and gives
# childrusage.ru_utime.tv_sec=1180
# childrusage.ru_utime.tv_usec=1612
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=21844
# CPU time returned by wait4() is 1181.02
# while last known CPU time is 1183.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1180.77
CPU time (s): 1183.72
CPU user time (s): 1183.01
CPU system time (s): 0.71
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1180
system time used= 1.02184
maximum resident set size= 900936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9757
page faults= 1
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25355
involuntary context switches= 13515
runsolver used 4.50432 second user time and 8.90265 second system time
The end