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-3737258-1338762832/watcher-3737258-1338762832 -o /tmp/evaluation-result-3737258-1338762832/solver-3737258-1338762832 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3737258-1338762832.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: 1.86 1.99 1.99 3/192 404
/proc/meminfo: memFree=26146620/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/404/stat : 404 (java6) D 402 404 31294 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 342408638 278528 33 33554432000 1073741824 1073778376 140737317381312 140737317378488 227503336743 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/404/statm: 68 33 25 9 0 25 0
[startup+0.0647669 s]
/proc/loadavg: 1.86 1.99 1.99 3/192 404
/proc/meminfo: memFree=26146620/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2648536 CPUtime=0.04 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 3784 0 1 0 3 1 0 0 20 0 18 0 342408638 2712100864 5502 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 662134 5502 1745 9 0 652835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648536
[startup+0.10026 s]
/proc/loadavg: 1.86 1.99 1.99 3/192 404
/proc/meminfo: memFree=26146620/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 4694 0 1 0 8 1 0 0 20 0 18 0 342408638 2712133632 6411 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 662142 6411 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300161 s]
/proc/loadavg: 1.86 1.99 1.99 3/192 404
/proc/meminfo: memFree=26146620/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2648568 CPUtime=0.42 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 5549 0 1 0 41 1 0 0 20 0 18 0 342408638 2712133632 7846 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 662142 7846 2217 9 0 652835 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2648568
[startup+0.700157 s]
/proc/loadavg: 1.86 1.99 1.99 3/192 404
/proc/meminfo: memFree=26146620/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2648568 CPUtime=0.98 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 6907 0 1 0 97 1 0 0 20 0 18 0 342408638 2712133632 10191 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 662142 10191 2229 9 0 652835 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 2648568
[startup+1.50062 s]
/proc/loadavg: 1.86 1.99 1.99 4/210 422
/proc/meminfo: memFree=26110160/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2648568 CPUtime=2.04 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 11825 0 1 0 202 2 0 0 20 0 18 0 342408638 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 662142 14175 2237 9 0 652835 0
[pid=404/tid=406] ppid=402 vsize=2648568 CPUtime=1.46 cores=0,2,4,6
/proc/404/task/406/stat : 406 (java) R 402 404 31294 0 -1 4202560 2762 0 1 0 146 0 0 0 20 0 18 0 342408639 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591483645976 140591342138564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=404/tid=407] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/407/stat : 407 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591468096040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=408] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/408/stat : 408 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591467043240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=409] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/409/stat : 409 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591465990440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=410] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/410/stat : 410 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591464937640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=411] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/411/stat : 411 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591463885864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=412] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/412/stat : 412 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591462833064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=413] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/413/stat : 413 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591461780264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=414] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/414/stat : 414 (java) S 402 404 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591460727464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=415] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/415/stat : 415 (java) S 402 404 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342408641 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591330662888 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=416] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/416/stat : 416 (java) S 402 404 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342408642 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591329608952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=417] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/417/stat : 417 (java) S 402 404 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342408642 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591328556040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=418] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/418/stat : 418 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591327504528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=419] ppid=402 vsize=2648568 CPUtime=0.12 cores=0,2,4,6
/proc/404/task/419/stat : 419 (java) S 402 404 31294 0 -1 4202560 818 0 0 0 12 0 0 0 20 0 18 0 342408644 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140591326452664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=420] ppid=402 vsize=2648568 CPUtime=0.42 cores=0,2,4,6
/proc/404/task/420/stat : 420 (java) S 402 404 31294 0 -1 4202560 7058 0 0 0 41 1 0 0 20 0 18 0 342408644 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140590452828984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=421] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/421/stat : 421 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140590451776376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=422] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/422/stat : 422 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 14175 33554432000 1073741824 1073778376 140735449011376 140590450723784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 2648568
[startup+3.10066 s]
/proc/loadavg: 1.86 1.99 1.99 3/210 422
/proc/meminfo: memFree=26093528/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2648568 CPUtime=3.86 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 12395 0 1 0 384 2 0 0 20 0 18 0 342408638 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 662142 16420 2238 9 0 652835 0
[pid=404/tid=406] ppid=402 vsize=2648568 CPUtime=3.05 cores=0,2,4,6
/proc/404/task/406/stat : 406 (java) R 402 404 31294 0 -1 4202560 2767 0 1 0 304 1 0 0 20 0 18 0 342408639 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591483644256 140591342453803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=404/tid=407] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/407/stat : 407 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591468096040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=408] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/408/stat : 408 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591467043240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=409] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/409/stat : 409 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591465990440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=410] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/410/stat : 410 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591464937640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=411] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/411/stat : 411 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591463885864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=412] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/412/stat : 412 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591462833064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=413] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/413/stat : 413 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591461780264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=414] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/414/stat : 414 (java) S 402 404 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591460727464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=415] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/415/stat : 415 (java) S 402 404 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342408641 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591330662888 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=416] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/416/stat : 416 (java) S 402 404 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342408642 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591329608952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=417] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/417/stat : 417 (java) S 402 404 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342408642 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591328556040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=418] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/418/stat : 418 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591327504528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=419] ppid=402 vsize=2648568 CPUtime=0.24 cores=0,2,4,6
/proc/404/task/419/stat : 419 (java) S 402 404 31294 0 -1 4202560 1366 0 0 0 24 0 0 0 20 0 18 0 342408644 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140591326452664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=420] ppid=402 vsize=2648568 CPUtime=0.51 cores=0,2,4,6
/proc/404/task/420/stat : 420 (java) S 402 404 31294 0 -1 4202560 7075 0 0 0 50 1 0 0 20 0 18 0 342408644 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140590452828984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=421] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/421/stat : 421 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140590451776376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=422] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/422/stat : 422 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 16420 33554432000 1073741824 1073778376 140735449011376 140590450723784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 2648568
[startup+6.30066 s]
/proc/loadavg: 1.87 1.99 1.99 3/210 422
/proc/meminfo: memFree=26080124/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2648568 CPUtime=7.07 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 12402 0 1 0 704 3 0 0 20 0 18 0 342408638 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 662142 18957 2239 9 0 652835 0
[pid=404/tid=406] ppid=402 vsize=2648568 CPUtime=6.25 cores=0,2,4,6
/proc/404/task/406/stat : 406 (java) R 402 404 31294 0 -1 4202560 2773 0 1 0 624 1 0 0 20 0 18 0 342408639 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591483637792 140591342453715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=404/tid=407] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/407/stat : 407 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591468096040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=408] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/408/stat : 408 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591467043240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=409] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/409/stat : 409 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591465990440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=410] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/410/stat : 410 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591464937640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=411] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/411/stat : 411 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591463885864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=412] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/412/stat : 412 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591462833064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=413] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/413/stat : 413 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591461780264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=414] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/414/stat : 414 (java) S 402 404 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342408640 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591460727464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=415] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/415/stat : 415 (java) S 402 404 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342408641 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591330662888 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=416] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/416/stat : 416 (java) S 402 404 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342408642 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591329608952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=417] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/417/stat : 417 (java) S 402 404 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342408642 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591328556040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=418] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/418/stat : 418 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591327504528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=419] ppid=402 vsize=2648568 CPUtime=0.24 cores=0,2,4,6
/proc/404/task/419/stat : 419 (java) S 402 404 31294 0 -1 4202560 1366 0 0 0 24 0 0 0 20 0 18 0 342408644 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140591326452664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=420] ppid=402 vsize=2648568 CPUtime=0.51 cores=0,2,4,6
/proc/404/task/420/stat : 420 (java) S 402 404 31294 0 -1 4202560 7075 0 0 0 50 1 0 0 20 0 18 0 342408644 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140590452828984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=421] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/421/stat : 421 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140590451776376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=422] ppid=402 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/404/task/422/stat : 422 (java) S 402 404 31294 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 342408644 2712133632 18957 33554432000 1073741824 1073778376 140735449011376 140590450723784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 2648568
[startup+12.7007 s]
/proc/loadavg: 1.96 2.01 1.99 3/210 422
/proc/meminfo: memFree=26065348/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2715132 CPUtime=14.06 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 13903 0 1 0 1402 4 0 0 20 0 19 0 342408638 2780295168 39365 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 678783 39365 2260 9 0 669476 0
[pid=404/tid=406] ppid=402 vsize=2715132 CPUtime=12.63 cores=0,2,4,6
################
# More data... #
################
/proc/404/task/417/stat : 417 (java) S 402 404 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342408642 2780295168 343179 33554432000 1073741824 1073778376 140735449011376 140591328556040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=418] ppid=402 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/404/task/418/stat : 418 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408644 2780295168 343179 33554432000 1073741824 1073778376 140735449011376 140591327504528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=419] ppid=402 vsize=2715132 CPUtime=0.63 cores=0,2,4,6
/proc/404/task/419/stat : 419 (java) S 402 404 31294 0 -1 4202560 2765 0 0 0 63 0 0 0 20 0 19 0 342408644 2780295168 343179 33554432000 1073741824 1073778376 140735449011376 140591326452664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=420] ppid=402 vsize=2715132 CPUtime=0.84 cores=0,2,4,6
/proc/404/task/420/stat : 420 (java) S 402 404 31294 0 -1 4202560 7118 0 0 0 83 1 0 0 20 0 19 0 342408644 2780295168 343179 33554432000 1073741824 1073778376 140735449011376 140590452828984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=421] ppid=402 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/404/task/421/stat : 421 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342408644 2780295168 343179 33554432000 1073741824 1073778376 140735449011376 140590451776376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=422] ppid=402 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/404/task/422/stat : 422 (java) S 402 404 31294 0 -1 4202560 10 0 0 0 1 2 0 0 20 0 19 0 342408644 2780295168 343179 33554432000 1073741824 1073778376 140735449011376 140590450723784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=423] ppid=402 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/404/task/423/stat : 423 (java) S 402 404 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342409858 2780295168 343179 33554432000 1073741824 1073778376 140735449011376 140590449669288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 157.27
Current children cumulated vsize (KiB) 2715132
[startup+154.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/212 424
/proc/meminfo: memFree=24764192/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2781696 CPUtime=158.07 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 15988 0 1 0 15700 107 0 0 20 0 20 0 342408638 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 695424 343192 2280 9 0 686117 0
[pid=404/tid=406] ppid=402 vsize=2781696 CPUtime=139.88 cores=0,2,4,6
/proc/404/task/406/stat : 406 (java) S 402 404 31294 0 -1 4202560 3006 0 1 0 13981 7 0 0 20 0 20 0 342408639 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591483647160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=407] ppid=402 vsize=2781696 CPUtime=0.32 cores=0,2,4,6
/proc/404/task/407/stat : 407 (java) S 402 404 31294 0 -1 4202560 205 0 0 0 22 10 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591468096040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=408] ppid=402 vsize=2781696 CPUtime=0.49 cores=0,2,4,6
/proc/404/task/408/stat : 408 (java) S 402 404 31294 0 -1 4202560 280 0 0 0 33 16 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591467043240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=409] ppid=402 vsize=2781696 CPUtime=0.4 cores=0,2,4,6
/proc/404/task/409/stat : 409 (java) S 402 404 31294 0 -1 4202560 250 0 0 0 26 14 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591465990440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=410] ppid=402 vsize=2781696 CPUtime=0.32 cores=0,2,4,6
/proc/404/task/410/stat : 410 (java) S 402 404 31294 0 -1 4202560 208 0 0 0 21 11 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591464937640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=411] ppid=402 vsize=2781696 CPUtime=0.29 cores=0,2,4,6
/proc/404/task/411/stat : 411 (java) S 402 404 31294 0 -1 4202560 181 0 0 0 20 9 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591463885864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=412] ppid=402 vsize=2781696 CPUtime=0.47 cores=0,2,4,6
/proc/404/task/412/stat : 412 (java) S 402 404 31294 0 -1 4202560 238 0 0 0 36 11 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591462833064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=413] ppid=402 vsize=2781696 CPUtime=0.43 cores=0,2,4,6
/proc/404/task/413/stat : 413 (java) S 402 404 31294 0 -1 4202560 272 0 0 0 28 15 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591461780264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=414] ppid=402 vsize=2781696 CPUtime=0.24 cores=0,2,4,6
/proc/404/task/414/stat : 414 (java) S 402 404 31294 0 -1 4202560 167 0 0 0 15 9 0 0 20 0 20 0 342408640 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591460727464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=415] ppid=402 vsize=2781696 CPUtime=13.14 cores=0,2,4,6
/proc/404/task/415/stat : 415 (java) R 402 404 31294 0 -1 4202560 96 0 0 0 1312 2 0 0 20 0 20 0 342408641 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591330663048 140591490154618 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=404/tid=416] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/416/stat : 416 (java) S 402 404 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342408642 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591329608856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=417] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/417/stat : 417 (java) S 402 404 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 342408642 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591328553336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=418] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/418/stat : 418 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342408644 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591327504528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=419] ppid=402 vsize=2781696 CPUtime=0.63 cores=0,2,4,6
/proc/404/task/419/stat : 419 (java) S 402 404 31294 0 -1 4202560 2765 0 0 0 63 0 0 0 20 0 20 0 342408644 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140591326452664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=420] ppid=402 vsize=2781696 CPUtime=0.84 cores=0,2,4,6
/proc/404/task/420/stat : 420 (java) S 402 404 31294 0 -1 4202560 7118 0 0 0 83 1 0 0 20 0 20 0 342408644 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140590452828984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=421] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/421/stat : 421 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342408644 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140590451776376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=422] ppid=402 vsize=2781696 CPUtime=0.03 cores=0,2,4,6
/proc/404/task/422/stat : 422 (java) S 402 404 31294 0 -1 4202560 10 0 0 0 1 2 0 0 20 0 20 0 342408644 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140590450723784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=423] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/423/stat : 423 (java) S 402 404 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342409858 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140590449669288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=424] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/424/stat : 424 (java) S 402 404 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 342424020 2848456704 343192 33554432000 1073741824 1073778376 140735449011376 140590448616088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 158.07
Current children cumulated vsize (KiB) 2781696
[startup+155.107 s]
/proc/loadavg: 2.06 2.02 2.00 3/212 424
/proc/meminfo: memFree=24764184/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2781696 CPUtime=158.87 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 15993 0 1 0 15780 107 0 0 20 0 20 0 342408638 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 695424 343193 2280 9 0 686117 0
[pid=404/tid=406] ppid=402 vsize=2781696 CPUtime=139.88 cores=0,2,4,6
/proc/404/task/406/stat : 406 (java) S 402 404 31294 0 -1 4202560 3006 0 1 0 13981 7 0 0 20 0 20 0 342408639 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591483647160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=407] ppid=402 vsize=2781696 CPUtime=0.32 cores=0,2,4,6
/proc/404/task/407/stat : 407 (java) S 402 404 31294 0 -1 4202560 205 0 0 0 22 10 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591468096040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=408] ppid=402 vsize=2781696 CPUtime=0.49 cores=0,2,4,6
/proc/404/task/408/stat : 408 (java) S 402 404 31294 0 -1 4202560 280 0 0 0 33 16 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591467043240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=409] ppid=402 vsize=2781696 CPUtime=0.4 cores=0,2,4,6
/proc/404/task/409/stat : 409 (java) S 402 404 31294 0 -1 4202560 250 0 0 0 26 14 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591465990440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=410] ppid=402 vsize=2781696 CPUtime=0.32 cores=0,2,4,6
/proc/404/task/410/stat : 410 (java) S 402 404 31294 0 -1 4202560 208 0 0 0 21 11 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591464937640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=411] ppid=402 vsize=2781696 CPUtime=0.29 cores=0,2,4,6
/proc/404/task/411/stat : 411 (java) S 402 404 31294 0 -1 4202560 181 0 0 0 20 9 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591463885864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=412] ppid=402 vsize=2781696 CPUtime=0.47 cores=0,2,4,6
/proc/404/task/412/stat : 412 (java) S 402 404 31294 0 -1 4202560 238 0 0 0 36 11 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591462833064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=413] ppid=402 vsize=2781696 CPUtime=0.43 cores=0,2,4,6
/proc/404/task/413/stat : 413 (java) S 402 404 31294 0 -1 4202560 272 0 0 0 28 15 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591461780264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=414] ppid=402 vsize=2781696 CPUtime=0.24 cores=0,2,4,6
/proc/404/task/414/stat : 414 (java) S 402 404 31294 0 -1 4202560 167 0 0 0 15 9 0 0 20 0 20 0 342408640 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591460727464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=415] ppid=402 vsize=2781696 CPUtime=13.95 cores=0,2,4,6
/proc/404/task/415/stat : 415 (java) R 402 404 31294 0 -1 4202560 96 0 0 0 1393 2 0 0 20 0 20 0 342408641 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591330663048 140591487783368 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=404/tid=416] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/416/stat : 416 (java) S 402 404 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342408642 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591329608952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=417] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/417/stat : 417 (java) S 402 404 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342408642 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591328556040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=418] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/418/stat : 418 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342408644 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591327504528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=419] ppid=402 vsize=2781696 CPUtime=0.63 cores=0,2,4,6
/proc/404/task/419/stat : 419 (java) S 402 404 31294 0 -1 4202560 2765 0 0 0 63 0 0 0 20 0 20 0 342408644 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140591326452664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=420] ppid=402 vsize=2781696 CPUtime=0.84 cores=0,2,4,6
/proc/404/task/420/stat : 420 (java) S 402 404 31294 0 -1 4202560 7118 0 0 0 83 1 0 0 20 0 20 0 342408644 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140590452828984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=421] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/421/stat : 421 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342408644 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140590451776376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=422] ppid=402 vsize=2781696 CPUtime=0.03 cores=0,2,4,6
/proc/404/task/422/stat : 422 (java) S 402 404 31294 0 -1 4202560 10 0 0 0 1 2 0 0 20 0 20 0 342408644 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140590450723784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=423] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/423/stat : 423 (java) S 402 404 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342409858 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140590449669288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=424] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/424/stat : 424 (java) S 402 404 31294 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 342424020 2848456704 343193 33554432000 1073741824 1073778376 140735449011376 140590448614920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 158.87
Current children cumulated vsize (KiB) 2781696
[startup+155.501 s]
/proc/loadavg: 2.06 2.02 2.00 3/212 424
/proc/meminfo: memFree=24764184/32873624 swapFree=7112/7112
[pid=404] ppid=402 vsize=2781696 CPUtime=159.27 cores=0,2,4,6
/proc/404/stat : 404 (java) S 402 404 31294 0 -1 4202496 15996 0 1 0 15820 107 0 0 20 0 20 0 342408638 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140735449002512 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/404/statm: 695424 343195 2280 9 0 686117 0
[pid=404/tid=406] ppid=402 vsize=2781696 CPUtime=139.88 cores=0,2,4,6
/proc/404/task/406/stat : 406 (java) S 402 404 31294 0 -1 4202560 3006 0 1 0 13981 7 0 0 20 0 20 0 342408639 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591483647160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=407] ppid=402 vsize=2781696 CPUtime=0.32 cores=0,2,4,6
/proc/404/task/407/stat : 407 (java) S 402 404 31294 0 -1 4202560 205 0 0 0 22 10 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591468096040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=408] ppid=402 vsize=2781696 CPUtime=0.49 cores=0,2,4,6
/proc/404/task/408/stat : 408 (java) S 402 404 31294 0 -1 4202560 280 0 0 0 33 16 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591467043240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=409] ppid=402 vsize=2781696 CPUtime=0.4 cores=0,2,4,6
/proc/404/task/409/stat : 409 (java) S 402 404 31294 0 -1 4202560 250 0 0 0 26 14 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591465990440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=410] ppid=402 vsize=2781696 CPUtime=0.32 cores=0,2,4,6
/proc/404/task/410/stat : 410 (java) S 402 404 31294 0 -1 4202560 208 0 0 0 21 11 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591464937640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=411] ppid=402 vsize=2781696 CPUtime=0.29 cores=0,2,4,6
/proc/404/task/411/stat : 411 (java) S 402 404 31294 0 -1 4202560 181 0 0 0 20 9 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591463885864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=412] ppid=402 vsize=2781696 CPUtime=0.47 cores=0,2,4,6
/proc/404/task/412/stat : 412 (java) S 402 404 31294 0 -1 4202560 238 0 0 0 36 11 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591462833064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=413] ppid=402 vsize=2781696 CPUtime=0.43 cores=0,2,4,6
/proc/404/task/413/stat : 413 (java) S 402 404 31294 0 -1 4202560 272 0 0 0 28 15 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591461780264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=414] ppid=402 vsize=2781696 CPUtime=0.24 cores=0,2,4,6
/proc/404/task/414/stat : 414 (java) S 402 404 31294 0 -1 4202560 167 0 0 0 15 9 0 0 20 0 20 0 342408640 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591460727464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=415] ppid=402 vsize=2781696 CPUtime=14.34 cores=0,2,4,6
/proc/404/task/415/stat : 415 (java) R 402 404 31294 0 -1 4202560 98 0 0 0 1432 2 0 0 20 0 20 0 342408641 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591330663048 140591490502640 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=404/tid=416] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/416/stat : 416 (java) S 402 404 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342408642 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591329608952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=417] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/417/stat : 417 (java) S 402 404 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342408642 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591328556040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=418] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/418/stat : 418 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342408644 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591327504528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=419] ppid=402 vsize=2781696 CPUtime=0.63 cores=0,2,4,6
/proc/404/task/419/stat : 419 (java) S 402 404 31294 0 -1 4202560 2765 0 0 0 63 0 0 0 20 0 20 0 342408644 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140591326452664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=404/tid=420] ppid=402 vsize=2781696 CPUtime=0.84 cores=0,2,4,6
/proc/404/task/420/stat : 420 (java) S 402 404 31294 0 -1 4202560 7118 0 0 0 83 1 0 0 20 0 20 0 342408644 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140590452828984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=421] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/421/stat : 421 (java) S 402 404 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342408644 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140590451776376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=404/tid=422] ppid=402 vsize=2781696 CPUtime=0.03 cores=0,2,4,6
/proc/404/task/422/stat : 422 (java) S 402 404 31294 0 -1 4202560 10 0 0 0 1 2 0 0 20 0 20 0 342408644 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140590450723784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=404/tid=423] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/423/stat : 423 (java) S 402 404 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342409858 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140590449669288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=404/tid=424] ppid=402 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/404/task/424/stat : 424 (java) S 402 404 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342424020 2848456704 343195 33554432000 1073741824 1073778376 140735449011376 140590448614760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 159.27
Current children cumulated vsize (KiB) 2781696
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 404 and gives
# childrusage.ru_utime.tv_sec=157
# childrusage.ru_utime.tv_usec=836005
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=202817
# CPU time returned by wait4() is 159.039
# while last known CPU time is 159.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 155.604
CPU time (s): 159.27
CPU user time (s): 158.2
CPU system time (s): 1.07
CPU usage (%): 102.356
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.836
system time used= 1.20282
maximum resident set size= 1372808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16007
page faults= 1
swaps= 0
block input operations= 8
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4142
involuntary context switches= 2600
runsolver used 0.229965 second user time and 0.636903 second system time
The end