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-3744722-1338807783/watcher-3744722-1338807783 -o /tmp/evaluation-result-3744722-1338807783/solver-3744722-1338807783 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744722-1338807783.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.01 2.00 2.00 3/194 27651
/proc/meminfo: memFree=26938108/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27651/stat : 27651 (java) D 27649 27651 27496 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 346905202 9515008 183 33554432000 1073741824 1073778376 140735640499072 140735640490104 213193146037 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27651/statm: 2323 183 140 9 0 71 0
[startup+0.018186 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 27651
/proc/meminfo: memFree=26938108/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 1428 0 1 0 0 0 0 0 20 0 2 0 346905202 105127936 1109 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 25666 1109 857 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664
[startup+0.100283 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 27651
/proc/meminfo: memFree=26938108/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 4917 0 1 0 8 1 0 0 20 0 18 0 346905202 3028844544 6614 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 739464 6614 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300276 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 27651
/proc/meminfo: memFree=26938108/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 5957 0 1 0 44 2 0 0 20 0 18 0 346905202 3028844544 10684 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 739464 10684 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700273 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 27651
/proc/meminfo: memFree=26938108/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=2957856 CPUtime=1.13 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 10417 0 1 0 109 4 0 0 20 0 18 0 346905202 3028844544 49678 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 739464 49678 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2957856
[startup+1.50075 s]
/proc/loadavg: 2.01 2.00 2.00 3/212 27669
/proc/meminfo: memFree=26591352/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=2957856 CPUtime=2.02 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 10596 0 1 0 193 9 0 0 20 0 18 0 346905202 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 739464 115239 2270 9 0 729885 0
[pid=27651/tid=27653] ppid=27649 vsize=2957856 CPUtime=1.43 cores=1,3,5,7
/proc/27651/task/27653/stat : 27653 (java) R 27649 27651 27496 0 -1 4202560 3215 0 1 0 137 6 0 0 20 0 18 0 346905202 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344818843288 213196530957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27654] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27654/stat : 27654 (java) S 27649 27651 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344802269864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27655] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27655/stat : 27655 (java) S 27649 27651 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344801217320 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27656] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27656/stat : 27656 (java) S 27649 27651 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344800164776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27657] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27657/stat : 27657 (java) S 27649 27651 27496 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344799112232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27658] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27658/stat : 27658 (java) S 27649 27651 27496 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344798058664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27659] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27659/stat : 27659 (java) S 27649 27651 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344797006120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27660] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27660/stat : 27660 (java) S 27649 27651 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344795953576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27661] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27661/stat : 27661 (java) S 27649 27651 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346905204 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344794901032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27662] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27662/stat : 27662 (java) S 27649 27651 27496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346905205 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344782490216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27663] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27663/stat : 27663 (java) S 27649 27651 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346905205 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344781436536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27664] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27664/stat : 27664 (java) S 27649 27651 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346905205 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344780383880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27665] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27665/stat : 27665 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344779332624 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27666] ppid=27649 vsize=2957856 CPUtime=0.24 cores=1,3,5,7
/proc/27651/task/27666/stat : 27666 (java) S 27649 27651 27496 0 -1 4202560 3259 0 0 0 24 0 0 0 20 0 18 0 346905208 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344778278968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27667] ppid=27649 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/27651/task/27667/stat : 27667 (java) S 27649 27651 27496 0 -1 4202560 2885 0 0 0 21 0 0 0 20 0 18 0 346905208 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344777226424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27668] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27668/stat : 27668 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344776174072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27669] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27669/stat : 27669 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3028844544 115239 33554432000 1073741824 1073778376 140736432418256 140344775121736 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2957856
[startup+3.10075 s]
/proc/loadavg: 2.01 2.00 2.00 3/212 27669
/proc/meminfo: memFree=26459404/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=2957856 CPUtime=3.8 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 10692 0 1 0 367 13 0 0 20 0 18 0 346905202 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 739464 124988 2270 9 0 729885 0
[pid=27651/tid=27653] ppid=27649 vsize=2957856 CPUtime=2.96 cores=1,3,5,7
/proc/27651/task/27653/stat : 27653 (java) R 27649 27651 27496 0 -1 4202560 3217 0 1 0 290 6 0 0 20 0 18 0 346905202 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344818835568 213196530957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27654] ppid=27649 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/27651/task/27654/stat : 27654 (java) S 27649 27651 27496 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344802269864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27655] ppid=27649 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/27651/task/27655/stat : 27655 (java) S 27649 27651 27496 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344801217320 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27656] ppid=27649 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/27651/task/27656/stat : 27656 (java) S 27649 27651 27496 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344800164776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27657] ppid=27649 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/27651/task/27657/stat : 27657 (java) S 27649 27651 27496 0 -1 4202560 32 0 0 0 5 1 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344799112232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27658] ppid=27649 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/27651/task/27658/stat : 27658 (java) S 27649 27651 27496 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344798058664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27659] ppid=27649 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/27651/task/27659/stat : 27659 (java) S 27649 27651 27496 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344797006120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27660] ppid=27649 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/27651/task/27660/stat : 27660 (java) S 27649 27651 27496 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344795953576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27661] ppid=27649 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/27651/task/27661/stat : 27661 (java) S 27649 27651 27496 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 346905204 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344794901032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27662] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27662/stat : 27662 (java) S 27649 27651 27496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346905205 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344782490216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27663] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27663/stat : 27663 (java) S 27649 27651 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346905205 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344781436536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27664] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27664/stat : 27664 (java) S 27649 27651 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346905205 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344780383880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27665] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27665/stat : 27665 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344779332624 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27666] ppid=27649 vsize=2957856 CPUtime=0.24 cores=1,3,5,7
/proc/27651/task/27666/stat : 27666 (java) S 27649 27651 27496 0 -1 4202560 3259 0 0 0 24 0 0 0 20 0 18 0 346905208 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344778278968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27667] ppid=27649 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/27651/task/27667/stat : 27667 (java) S 27649 27651 27496 0 -1 4202560 2885 0 0 0 21 0 0 0 20 0 18 0 346905208 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344777226424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27668] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27668/stat : 27668 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344776174072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27669] ppid=27649 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27669/stat : 27669 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3028844544 124988 33554432000 1073741824 1073778376 140736432418256 140344775121736 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 2957856
[startup+6.30064 s]
/proc/loadavg: 2.01 2.00 2.00 3/212 27671
/proc/meminfo: memFree=26221208/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=3024420 CPUtime=7.74 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 12209 0 1 0 760 14 0 0 20 0 18 0 346905202 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 756105 125149 2295 9 0 746526 0
[pid=27651/tid=27653] ppid=27649 vsize=3024420 CPUtime=6.16 cores=1,3,5,7
/proc/27651/task/27653/stat : 27653 (java) R 27649 27651 27496 0 -1 4202560 3234 0 1 0 610 6 0 0 20 0 18 0 346905202 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344818843672 140344650729958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27654] ppid=27649 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/27651/task/27654/stat : 27654 (java) S 27649 27651 27496 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344802269864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27655] ppid=27649 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/27651/task/27655/stat : 27655 (java) S 27649 27651 27496 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344801217320 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27656] ppid=27649 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/27651/task/27656/stat : 27656 (java) S 27649 27651 27496 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344800164776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27657] ppid=27649 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/27651/task/27657/stat : 27657 (java) S 27649 27651 27496 0 -1 4202560 32 0 0 0 5 1 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344799112232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27658] ppid=27649 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/27651/task/27658/stat : 27658 (java) S 27649 27651 27496 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344798058664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27659] ppid=27649 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/27651/task/27659/stat : 27659 (java) S 27649 27651 27496 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344797006120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27660] ppid=27649 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/27651/task/27660/stat : 27660 (java) S 27649 27651 27496 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344795953576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27661] ppid=27649 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/27651/task/27661/stat : 27661 (java) S 27649 27651 27496 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 346905204 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344794901032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27662] ppid=27649 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27662/stat : 27662 (java) S 27649 27651 27496 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 346905205 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344782490216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27663] ppid=27649 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27663/stat : 27663 (java) S 27649 27651 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346905205 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344781436536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27664] ppid=27649 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27664/stat : 27664 (java) S 27649 27651 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346905205 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344780383880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27665] ppid=27649 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27665/stat : 27665 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344779332624 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27666] ppid=27649 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/27651/task/27666/stat : 27666 (java) S 27649 27651 27496 0 -1 4202560 3332 0 0 0 59 0 0 0 20 0 18 0 346905208 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344778278968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27667] ppid=27649 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/27651/task/27667/stat : 27667 (java) S 27649 27651 27496 0 -1 4202560 4289 0 0 0 60 0 0 0 20 0 18 0 346905208 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344777226424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27668] ppid=27649 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27668/stat : 27668 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344776174072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27669] ppid=27649 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27669/stat : 27669 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346905208 3097006080 125149 33554432000 1073741824 1073778376 140736432418256 140344775121736 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 27675
/proc/meminfo: memFree=26202196/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=3024420 CPUtime=14.26 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 12297 0 1 0 1410 16 0 0 20 0 19 0 346905202 3097006080 129713 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 756105 129713 2295 9 0 746526 0
[pid=27651/tid=27653] ppid=27649 vsize=3024420 CPUtime=12.5 cores=1,3,5,7
################
# More data... #
################
/proc/27651/task/27665/stat : 27665 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344779332624 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27666] ppid=27649 vsize=3090984 CPUtime=0.6 cores=1,3,5,7
/proc/27651/task/27666/stat : 27666 (java) S 27649 27651 27496 0 -1 4202560 3336 0 0 0 60 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344778278968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27667] ppid=27649 vsize=3090984 CPUtime=0.62 cores=1,3,5,7
/proc/27651/task/27667/stat : 27667 (java) S 27649 27651 27496 0 -1 4202560 4305 0 0 0 62 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344777226424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27668] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27668/stat : 27668 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344776174072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27669] ppid=27649 vsize=3090984 CPUtime=0.1 cores=1,3,5,7
/proc/27651/task/27669/stat : 27669 (java) S 27649 27651 27496 0 -1 4202560 35 0 0 0 3 7 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344775121736 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27676] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27676/stat : 27676 (java) S 27649 27651 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346906906 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344772920360 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27682] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27682/stat : 27682 (java) S 27649 27651 27496 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 346966894 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344771866936 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 623.81
Current children cumulated vsize (KiB) 3090984
[startup+620.701 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27682
/proc/meminfo: memFree=24378708/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=3090984 CPUtime=624.61 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 15034 0 1 0 62334 127 0 0 20 0 20 0 346905202 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 772746 419307 2302 9 0 763167 0
[pid=27651/tid=27653] ppid=27649 vsize=3090984 CPUtime=593.19 cores=1,3,5,7
/proc/27651/task/27653/stat : 27653 (java) S 27649 27651 27496 0 -1 4202560 3290 0 1 0 59303 16 0 0 20 0 20 0 346905202 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344818844856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27654] ppid=27649 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/27651/task/27654/stat : 27654 (java) S 27649 27651 27496 0 -1 4202560 429 0 0 0 29 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344802269864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27655] ppid=27649 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/27651/task/27655/stat : 27655 (java) S 27649 27651 27496 0 -1 4202560 240 0 0 0 25 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344801217320 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27656] ppid=27649 vsize=3090984 CPUtime=0.43 cores=1,3,5,7
/proc/27651/task/27656/stat : 27656 (java) S 27649 27651 27496 0 -1 4202560 305 0 0 0 31 12 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344800164776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27657] ppid=27649 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/27651/task/27657/stat : 27657 (java) S 27649 27651 27496 0 -1 4202560 334 0 0 0 40 17 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344799112232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27658] ppid=27649 vsize=3090984 CPUtime=0.43 cores=1,3,5,7
/proc/27651/task/27658/stat : 27658 (java) S 27649 27651 27496 0 -1 4202560 384 0 0 0 31 12 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344798058664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27659] ppid=27649 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/27651/task/27659/stat : 27659 (java) S 27649 27651 27496 0 -1 4202560 343 0 0 0 30 17 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344797006120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27660] ppid=27649 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/27651/task/27660/stat : 27660 (java) S 27649 27651 27496 0 -1 4202560 390 0 0 0 25 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344795953576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27661] ppid=27649 vsize=3090984 CPUtime=0.48 cores=1,3,5,7
/proc/27651/task/27661/stat : 27661 (java) S 27649 27651 27496 0 -1 4202560 272 0 0 0 33 15 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344794901032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27662] ppid=27649 vsize=3090984 CPUtime=24.87 cores=1,3,5,7
/proc/27651/task/27662/stat : 27662 (java) R 27649 27651 27496 0 -1 4202560 141 0 0 0 2484 3 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344782490376 140344823005474 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27663] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27663/stat : 27663 (java) S 27649 27651 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344781436536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27664] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27664/stat : 27664 (java) S 27649 27651 27496 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344780383880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27665] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27665/stat : 27665 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344779332624 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27666] ppid=27649 vsize=3090984 CPUtime=0.6 cores=1,3,5,7
/proc/27651/task/27666/stat : 27666 (java) S 27649 27651 27496 0 -1 4202560 3336 0 0 0 60 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344778278968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27667] ppid=27649 vsize=3090984 CPUtime=0.62 cores=1,3,5,7
/proc/27651/task/27667/stat : 27667 (java) S 27649 27651 27496 0 -1 4202560 4305 0 0 0 62 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344777226424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27668] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27668/stat : 27668 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344776174072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27669] ppid=27649 vsize=3090984 CPUtime=0.1 cores=1,3,5,7
/proc/27651/task/27669/stat : 27669 (java) S 27649 27651 27496 0 -1 4202560 35 0 0 0 3 7 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344775121736 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27676] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27676/stat : 27676 (java) S 27649 27651 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346906906 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344772920360 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27682] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27682/stat : 27682 (java) S 27649 27651 27496 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 346966894 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344771866696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 624.61
Current children cumulated vsize (KiB) 3090984
[startup+621.101 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27682
/proc/meminfo: memFree=24378708/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=3090984 CPUtime=625.01 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 15035 0 1 0 62374 127 0 0 20 0 20 0 346905202 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 772746 419307 2302 9 0 763167 0
[pid=27651/tid=27653] ppid=27649 vsize=3090984 CPUtime=593.19 cores=1,3,5,7
/proc/27651/task/27653/stat : 27653 (java) S 27649 27651 27496 0 -1 4202560 3290 0 1 0 59303 16 0 0 20 0 20 0 346905202 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344818844856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27654] ppid=27649 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/27651/task/27654/stat : 27654 (java) S 27649 27651 27496 0 -1 4202560 429 0 0 0 29 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344802269864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27655] ppid=27649 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/27651/task/27655/stat : 27655 (java) S 27649 27651 27496 0 -1 4202560 240 0 0 0 25 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344801217320 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27656] ppid=27649 vsize=3090984 CPUtime=0.43 cores=1,3,5,7
/proc/27651/task/27656/stat : 27656 (java) S 27649 27651 27496 0 -1 4202560 305 0 0 0 31 12 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344800164776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27657] ppid=27649 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/27651/task/27657/stat : 27657 (java) S 27649 27651 27496 0 -1 4202560 334 0 0 0 40 17 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344799112232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27658] ppid=27649 vsize=3090984 CPUtime=0.43 cores=1,3,5,7
/proc/27651/task/27658/stat : 27658 (java) S 27649 27651 27496 0 -1 4202560 384 0 0 0 31 12 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344798058664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27659] ppid=27649 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/27651/task/27659/stat : 27659 (java) S 27649 27651 27496 0 -1 4202560 343 0 0 0 30 17 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344797006120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27660] ppid=27649 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/27651/task/27660/stat : 27660 (java) S 27649 27651 27496 0 -1 4202560 390 0 0 0 25 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344795953576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27661] ppid=27649 vsize=3090984 CPUtime=0.48 cores=1,3,5,7
/proc/27651/task/27661/stat : 27661 (java) S 27649 27651 27496 0 -1 4202560 272 0 0 0 33 15 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344794901032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27662] ppid=27649 vsize=3090984 CPUtime=25.27 cores=1,3,5,7
/proc/27651/task/27662/stat : 27662 (java) R 27649 27651 27496 0 -1 4202560 141 0 0 0 2524 3 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344782490216 140344823005500 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27663] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27663/stat : 27663 (java) S 27649 27651 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344781436536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27664] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27664/stat : 27664 (java) S 27649 27651 27496 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344780383880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27665] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27665/stat : 27665 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344779332624 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27666] ppid=27649 vsize=3090984 CPUtime=0.6 cores=1,3,5,7
/proc/27651/task/27666/stat : 27666 (java) S 27649 27651 27496 0 -1 4202560 3336 0 0 0 60 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344778278968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27667] ppid=27649 vsize=3090984 CPUtime=0.62 cores=1,3,5,7
/proc/27651/task/27667/stat : 27667 (java) S 27649 27651 27496 0 -1 4202560 4305 0 0 0 62 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344777226424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27668] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27668/stat : 27668 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344776174072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27669] ppid=27649 vsize=3090984 CPUtime=0.1 cores=1,3,5,7
/proc/27651/task/27669/stat : 27669 (java) S 27649 27651 27496 0 -1 4202560 35 0 0 0 3 7 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344775121736 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27676] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27676/stat : 27676 (java) S 27649 27651 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346906906 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344772920360 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27682] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27682/stat : 27682 (java) S 27649 27651 27496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346966894 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344771866200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 625.01
Current children cumulated vsize (KiB) 3090984
[startup+621.201 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27682
/proc/meminfo: memFree=24378708/32873648 swapFree=6864/6864
[pid=27651] ppid=27649 vsize=3090984 CPUtime=625.11 cores=1,3,5,7
/proc/27651/stat : 27651 (java) S 27649 27651 27496 0 -1 4202496 15035 0 1 0 62384 127 0 0 20 0 20 0 346905202 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140736432409392 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27651/statm: 772746 419307 2302 9 0 763167 0
[pid=27651/tid=27653] ppid=27649 vsize=3090984 CPUtime=593.19 cores=1,3,5,7
/proc/27651/task/27653/stat : 27653 (java) S 27649 27651 27496 0 -1 4202560 3290 0 1 0 59303 16 0 0 20 0 20 0 346905202 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344818844856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27654] ppid=27649 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/27651/task/27654/stat : 27654 (java) S 27649 27651 27496 0 -1 4202560 429 0 0 0 29 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344802269864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27655] ppid=27649 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/27651/task/27655/stat : 27655 (java) S 27649 27651 27496 0 -1 4202560 240 0 0 0 25 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344801217320 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27656] ppid=27649 vsize=3090984 CPUtime=0.43 cores=1,3,5,7
/proc/27651/task/27656/stat : 27656 (java) S 27649 27651 27496 0 -1 4202560 305 0 0 0 31 12 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344800164776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27657] ppid=27649 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/27651/task/27657/stat : 27657 (java) S 27649 27651 27496 0 -1 4202560 334 0 0 0 40 17 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344799112232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27658] ppid=27649 vsize=3090984 CPUtime=0.43 cores=1,3,5,7
/proc/27651/task/27658/stat : 27658 (java) S 27649 27651 27496 0 -1 4202560 384 0 0 0 31 12 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344798058664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27659] ppid=27649 vsize=3090984 CPUtime=0.47 cores=1,3,5,7
/proc/27651/task/27659/stat : 27659 (java) S 27649 27651 27496 0 -1 4202560 343 0 0 0 30 17 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344797006120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27660] ppid=27649 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/27651/task/27660/stat : 27660 (java) S 27649 27651 27496 0 -1 4202560 390 0 0 0 25 13 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344795953576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27651/tid=27661] ppid=27649 vsize=3090984 CPUtime=0.48 cores=1,3,5,7
/proc/27651/task/27661/stat : 27661 (java) S 27649 27651 27496 0 -1 4202560 272 0 0 0 33 15 0 0 20 0 20 0 346905204 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344794901032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27662] ppid=27649 vsize=3090984 CPUtime=25.37 cores=1,3,5,7
/proc/27651/task/27662/stat : 27662 (java) R 27649 27651 27496 0 -1 4202560 141 0 0 0 2534 3 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344782490216 140344824968600 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27663] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27663/stat : 27663 (java) S 27649 27651 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344781436536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27664] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27664/stat : 27664 (java) S 27649 27651 27496 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 346905205 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344780383880 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27665] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27665/stat : 27665 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344779332624 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27666] ppid=27649 vsize=3090984 CPUtime=0.6 cores=1,3,5,7
/proc/27651/task/27666/stat : 27666 (java) S 27649 27651 27496 0 -1 4202560 3336 0 0 0 60 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344778278968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27667] ppid=27649 vsize=3090984 CPUtime=0.62 cores=1,3,5,7
/proc/27651/task/27667/stat : 27667 (java) S 27649 27651 27496 0 -1 4202560 4305 0 0 0 62 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344777226424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27668] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27668/stat : 27668 (java) S 27649 27651 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344776174072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27651/tid=27669] ppid=27649 vsize=3090984 CPUtime=0.1 cores=1,3,5,7
/proc/27651/task/27669/stat : 27669 (java) S 27649 27651 27496 0 -1 4202560 35 0 0 0 3 7 0 0 20 0 20 0 346905208 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344775121736 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27651/tid=27676] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27676/stat : 27676 (java) S 27649 27651 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346906906 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344772920360 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27651/tid=27682] ppid=27649 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27651/task/27682/stat : 27682 (java) S 27649 27651 27496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346966894 3165167616 419307 33554432000 1073741824 1073778376 140736432418256 140344771866200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 625.11
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27651 and gives
# childrusage.ru_utime.tv_sec=622
# childrusage.ru_utime.tv_usec=186413
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=511770
# CPU time returned by wait4() is 623.698
# while last known CPU time is 625.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 621.211
CPU time (s): 625.11
CPU user time (s): 623.84
CPU system time (s): 1.27
CPU usage (%): 100.628
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 622.186
system time used= 1.51177
maximum resident set size= 1677248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15045
page faults= 1
swaps= 0
block input operations= 8
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13951
involuntary context switches= 4684
runsolver used 2.69859 second user time and 6.43002 second system time
The end