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-3732143-1338689109/watcher-3732143-1338689109 -o /tmp/evaluation-result-3732143-1338689109/solver-3732143-1338689109 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732143-1338689109.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: 2.00 2.01 2.00 3/196 9460
/proc/meminfo: memFree=27597912/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/9460/stat : 9460 (java) R 9458 9460 6422 0 -1 4202496 718 0 0 0 0 0 0 0 20 0 1 0 335035706 23793664 444 33554432000 1073741824 1073778376 140734964450400 140734964439464 215115414067 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 5809 455 346 9 0 128 0
[startup+0.0805179 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9460
/proc/meminfo: memFree=27597912/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 4184 0 1 0 5 1 0 0 20 0 18 0 335035706 3028844544 5901 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 739464 5901 1790 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.100239 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9460
/proc/meminfo: memFree=27597912/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 4914 0 1 0 8 1 0 0 20 0 18 0 335035706 3028844544 6624 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 739464 6624 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300186 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9460
/proc/meminfo: memFree=27597912/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 7550 0 1 0 43 2 0 0 20 0 19 0 335035706 3097006080 10011 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 10011 2246 9 0 746526 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 3024420
[startup+0.700205 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 9460
/proc/meminfo: memFree=27597912/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 8369 0 1 0 106 2 0 0 20 0 19 0 335035706 3097006080 10425 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 10425 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 3024420
[startup+1.50068 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9483
/proc/meminfo: memFree=27562844/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=1.88 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 8376 0 1 0 186 2 0 0 20 0 19 0 335035706 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 11962 2264 9 0 746526 0
[pid=9460/tid=9462] ppid=9458 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/9460/task/9462/stat : 9462 (java) R 9458 9460 6422 0 -1 4202560 3117 0 1 0 145 2 0 0 20 0 19 0 335035707 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140661188893320 140661061963932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9463] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9463/stat : 9463 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140661054876200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9464] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9464/stat : 9464 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140661053823400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9465] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9465/stat : 9465 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140661052770600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9466] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9466/stat : 9466 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660850026664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9467] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9467/stat : 9467 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660848974888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9468] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9468/stat : 9468 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660847922088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9469] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9469/stat : 9469 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660846869288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9470] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9470/stat : 9470 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660845816488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9471] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9471/stat : 9471 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035709 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660833618408 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9472] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9472/stat : 9472 (java) S 9458 9460 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660832564472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9473] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9473/stat : 9473 (java) S 9458 9460 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660831511560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9474] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9474/stat : 9474 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660830460048 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9475] ppid=9458 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9460/task/9475/stat : 9475 (java) S 9458 9460 6422 0 -1 4202560 1636 0 0 0 19 0 0 0 20 0 19 0 335035712 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660829408184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9476] ppid=9458 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9460/task/9476/stat : 9476 (java) S 9458 9460 6422 0 -1 4202560 2418 0 0 0 18 0 0 0 20 0 19 0 335035712 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660828355384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9477] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9477/stat : 9477 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660827302776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9478] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9478/stat : 9478 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660826250184 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9483] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9483/stat : 9483 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035796 3097006080 11962 33554432000 1073741824 1073778376 140734964450400 140660824049320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 3024420
[startup+3.10078 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9483
/proc/meminfo: memFree=27552224/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=3.49 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 8384 0 1 0 346 3 0 0 20 0 19 0 335035706 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 15547 2265 9 0 746526 0
[pid=9460/tid=9462] ppid=9458 vsize=3024420 CPUtime=3.07 cores=1,3,5,7
/proc/9460/task/9462/stat : 9462 (java) R 9458 9460 6422 0 -1 4202560 3124 0 1 0 305 2 0 0 20 0 19 0 335035707 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140661188895080 140661061957418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9463] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9463/stat : 9463 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140661054876200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9464] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9464/stat : 9464 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140661053823400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9465] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9465/stat : 9465 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140661052770600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9466] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9466/stat : 9466 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660850026664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9467] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9467/stat : 9467 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660848974888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9468] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9468/stat : 9468 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660847922088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9469] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9469/stat : 9469 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660846869288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9470] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9470/stat : 9470 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660845816488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9471] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9471/stat : 9471 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035709 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660833618408 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9472] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9472/stat : 9472 (java) S 9458 9460 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660832564472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9473] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9473/stat : 9473 (java) S 9458 9460 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660831511560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9474] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9474/stat : 9474 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660830460048 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9475] ppid=9458 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9460/task/9475/stat : 9475 (java) S 9458 9460 6422 0 -1 4202560 1636 0 0 0 19 0 0 0 20 0 19 0 335035712 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660829408184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9476] ppid=9458 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9460/task/9476/stat : 9476 (java) S 9458 9460 6422 0 -1 4202560 2419 0 0 0 18 0 0 0 20 0 19 0 335035712 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660828355384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9477] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9477/stat : 9477 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660827302776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9478] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9478/stat : 9478 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660826250184 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9483] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9483/stat : 9483 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035796 3097006080 15547 33554432000 1073741824 1073778376 140734964450400 140660824049320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 3024420
[startup+6.3008 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 9483
/proc/meminfo: memFree=27525608/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=6.69 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 8399 0 1 0 666 3 0 0 20 0 19 0 335035706 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 21972 2266 9 0 746526 0
[pid=9460/tid=9462] ppid=9458 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/9460/task/9462/stat : 9462 (java) R 9458 9460 6422 0 -1 4202560 3138 0 1 0 623 2 0 0 20 0 19 0 335035707 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140661188895144 140661062000139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9463] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9463/stat : 9463 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140661054876200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9464] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9464/stat : 9464 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140661053823400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9465] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9465/stat : 9465 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140661052770600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9466] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9466/stat : 9466 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660850026664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9467] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9467/stat : 9467 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660848974888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9468] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9468/stat : 9468 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660847922088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9469] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9469/stat : 9469 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660846869288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9470] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9470/stat : 9470 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660845816488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9471] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9471/stat : 9471 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035709 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660833618408 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9472] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9472/stat : 9472 (java) S 9458 9460 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660832564472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9473] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9473/stat : 9473 (java) S 9458 9460 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660831511560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9474] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9474/stat : 9474 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660830460048 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9475] ppid=9458 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9460/task/9475/stat : 9475 (java) S 9458 9460 6422 0 -1 4202560 1636 0 0 0 19 0 0 0 20 0 19 0 335035712 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660829408184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9476] ppid=9458 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9460/task/9476/stat : 9476 (java) S 9458 9460 6422 0 -1 4202560 2419 0 0 0 19 0 0 0 20 0 19 0 335035712 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660828355384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9477] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9477/stat : 9477 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660827302776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9478] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9478/stat : 9478 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660826250184 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9483] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9483/stat : 9483 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335035796 3097006080 21972 33554432000 1073741824 1073778376 140734964450400 140660824049320 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
/proc/9460/task/9470/stat : 9470 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660845816488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9471] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9471/stat : 9471 (java) S 9458 9460 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335035709 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660833618408 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9472] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9472/stat : 9472 (java) S 9458 9460 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660832564472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9473] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9473/stat : 9473 (java) S 9458 9460 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660831511560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9474] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9474/stat : 9474 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660830460048 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9475] ppid=9458 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/9460/task/9475/stat : 9475 (java) S 9458 9460 6422 0 -1 4202560 2544 0 0 0 23 0 0 0 20 0 19 0 335035712 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660829408184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9476] ppid=9458 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/9460/task/9476/stat : 9476 (java) S 9458 9460 6422 0 -1 4202560 5771 0 0 0 36 0 0 0 20 0 19 0 335035712 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660828355384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9477] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9477/stat : 9477 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660827302776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9478] ppid=9458 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/9460/task/9478/stat : 9478 (java) S 9458 9460 6422 0 -1 4202560 14 0 0 0 4 6 0 0 20 0 19 0 335035712 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660826250184 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9490] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9490/stat : 9490 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335044708 3097006080 109748 33554432000 1073741824 1073778376 140734964450400 140660824048424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 3024420
[startup+220.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 9491
/proc/meminfo: memFree=27165452/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=221.42 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 12873 0 1 0 22123 19 0 0 20 0 19 0 335035706 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 110260 2272 9 0 746526 0
[pid=9460/tid=9462] ppid=9458 vsize=3024420 CPUtime=220.1 cores=1,3,5,7
/proc/9460/task/9462/stat : 9462 (java) R 9458 9460 6422 0 -1 4202560 3317 0 1 0 21998 12 0 0 20 0 19 0 335035707 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661188893400 140661061957469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9463] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9463/stat : 9463 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661054876200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9464] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9464/stat : 9464 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661053823400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9465] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9465/stat : 9465 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661052770600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9466] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9466/stat : 9466 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660850026664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9467] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9467/stat : 9467 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660848974888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9468] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9468/stat : 9468 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660847922088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9469] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9469/stat : 9469 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660846869288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9470] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9470/stat : 9470 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660845816488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9471] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9471/stat : 9471 (java) S 9458 9460 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335035709 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660833618408 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9472] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9472/stat : 9472 (java) S 9458 9460 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660832564472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9473] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9473/stat : 9473 (java) S 9458 9460 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660831511560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9474] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9474/stat : 9474 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660830460048 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9475] ppid=9458 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/9460/task/9475/stat : 9475 (java) S 9458 9460 6422 0 -1 4202560 2544 0 0 0 23 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660829408184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9476] ppid=9458 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/9460/task/9476/stat : 9476 (java) S 9458 9460 6422 0 -1 4202560 5771 0 0 0 36 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660828355384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9477] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9477/stat : 9477 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660827302776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9478] ppid=9458 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/9460/task/9478/stat : 9478 (java) S 9458 9460 6422 0 -1 4202560 14 0 0 0 4 6 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660826250184 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9490] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9490/stat : 9490 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335044708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660824048424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 3024420
[startup+220.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 9491
/proc/meminfo: memFree=27165452/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=221.62 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 12873 0 1 0 22143 19 0 0 20 0 19 0 335035706 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 110260 2272 9 0 746526 0
[pid=9460/tid=9462] ppid=9458 vsize=3024420 CPUtime=220.3 cores=1,3,5,7
/proc/9460/task/9462/stat : 9462 (java) R 9458 9460 6422 0 -1 4202560 3317 0 1 0 22018 12 0 0 20 0 19 0 335035707 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661188893400 140661062000139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9463] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9463/stat : 9463 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661054876200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9464] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9464/stat : 9464 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661053823400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9465] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9465/stat : 9465 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661052770600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9466] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9466/stat : 9466 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660850026664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9467] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9467/stat : 9467 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660848974888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9468] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9468/stat : 9468 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660847922088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9469] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9469/stat : 9469 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660846869288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9470] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9470/stat : 9470 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660845816488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9471] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9471/stat : 9471 (java) S 9458 9460 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335035709 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660833618408 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9472] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9472/stat : 9472 (java) S 9458 9460 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660832564472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9473] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9473/stat : 9473 (java) S 9458 9460 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660831511560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9474] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9474/stat : 9474 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660830460048 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9475] ppid=9458 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/9460/task/9475/stat : 9475 (java) S 9458 9460 6422 0 -1 4202560 2544 0 0 0 23 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660829408184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9476] ppid=9458 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/9460/task/9476/stat : 9476 (java) S 9458 9460 6422 0 -1 4202560 5771 0 0 0 36 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660828355384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9477] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9477/stat : 9477 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660827302776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9478] ppid=9458 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/9460/task/9478/stat : 9478 (java) S 9458 9460 6422 0 -1 4202560 14 0 0 0 4 6 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660826250184 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9490] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9490/stat : 9490 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335044708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660824048424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 221.62
Current children cumulated vsize (KiB) 3024420
[startup+221.001 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 9491
/proc/meminfo: memFree=27163280/32873844 swapFree=7620/7620
[pid=9460] ppid=9458 vsize=3024420 CPUtime=221.73 cores=1,3,5,7
/proc/9460/stat : 9460 (java) S 9458 9460 6422 0 -1 4202496 12873 0 1 0 22154 19 0 0 20 0 19 0 335035706 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140734964441536 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9460/statm: 756105 110260 2272 9 0 746526 0
[pid=9460/tid=9462] ppid=9458 vsize=3024420 CPUtime=220.41 cores=1,3,5,7
/proc/9460/task/9462/stat : 9462 (java) R 9458 9460 6422 0 -1 4202560 3317 0 1 0 22029 12 0 0 20 0 19 0 335035707 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661188893400 140661062000139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9463] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9463/stat : 9463 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661054876200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9464] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9464/stat : 9464 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661053823400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9465] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9465/stat : 9465 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140661052770600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9466] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9466/stat : 9466 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660850026664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9467] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9467/stat : 9467 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660848974888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9468] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9468/stat : 9468 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660847922088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9469] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9469/stat : 9469 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660846869288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9460/tid=9470] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9470/stat : 9470 (java) S 9458 9460 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335035708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660845816488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9471] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9471/stat : 9471 (java) S 9458 9460 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335035709 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660833618408 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9472] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9472/stat : 9472 (java) S 9458 9460 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660832564472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9473] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9473/stat : 9473 (java) S 9458 9460 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335035710 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660831511560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9474] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9474/stat : 9474 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660830460048 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9475] ppid=9458 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/9460/task/9475/stat : 9475 (java) S 9458 9460 6422 0 -1 4202560 2544 0 0 0 23 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660829408184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9460/tid=9476] ppid=9458 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/9460/task/9476/stat : 9476 (java) S 9458 9460 6422 0 -1 4202560 5771 0 0 0 36 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660828355384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9477] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9477/stat : 9477 (java) S 9458 9460 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660827302776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9460/tid=9478] ppid=9458 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/9460/task/9478/stat : 9478 (java) S 9458 9460 6422 0 -1 4202560 14 0 0 0 4 6 0 0 20 0 19 0 335035712 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660826250184 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9460/tid=9490] ppid=9458 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9460/task/9490/stat : 9490 (java) S 9458 9460 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335044708 3097006080 110260 33554432000 1073741824 1073778376 140734964450400 140660824048424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 221.73
Current children cumulated vsize (KiB) 3024420
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9460 and gives
# childrusage.ru_utime.tv_sec=221
# childrusage.ru_utime.tv_usec=18400
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=221966
# CPU time returned by wait4() is 221.24
# while last known CPU time is 221.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 221.071
CPU time (s): 221.73
CPU user time (s): 221.54
CPU system time (s): 0.19
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.018
system time used= 0.221966
maximum resident set size= 441060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12886
page faults= 1
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4978
involuntary context switches= 326
runsolver used 0.941856 second user time and 2.65759 second system time
The end