runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1191 MiB free)
memory of node 1: 16384 MiB (7633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295215-1532540085/watcher-4295215-1532540085 -o /tmp/evaluation-result-4295215-1532540085/solver-4295215-1532540085 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532535188-26470 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1560902990 -superng HOME/instance-4295215-1532540085.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27498, runsolver pid=27495
[startup+0.100135 s]*
/proc/loadavg: 1.94 1.82 1.79 3/206 27555
/proc/meminfo: memFree=9032540/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 4418 12864 0 0 1 0 5 3 20 0 6 0 71571676 10212057088 4269 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2493178 4269 1934 1 0 2481616 0
[pid=27498/tid=27551] ppid=27495 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) R 27495 27498 26438 0 -1 4202560 2226 12864 0 0 1 0 5 3 20 0 6 0 71571685 10212057088 4269 33554432000 4194304 4196468 140733003606224 140355646902864 140355675088029 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=9972712 memory=5793855954660166073 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 6 0 71571686 10212057088 4269 33554432000 4194304 4196468 140733003606224 140355679308688 140355675076309 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=9972712 memory=140703650272896 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 6 0 71571686 10212057088 4269 33554432000 4194304 4196468 140733003606224 140355578198800 140355675076309 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 6 0 71571686 10212057088 4269 33554432000 4194304 4196468 140733003606224 140355577146512 140355675076309 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 6 0 71571686 10212057088 4269 33554432000 4194304 4196468 140733003606224 140355576093712 140355675076309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210038 s]*
/proc/loadavg: 1.94 1.82 1.79 3/215 27564
/proc/meminfo: memFree=9009620/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=10818904 memory=46312 CPUtime=0.27 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 9429 12864 0 0 16 3 5 3 20 0 15 0 71571676 11078557696 11578 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2704726 11578 2964 1 0 2667149 0
[pid=27498/tid=27551] ppid=27495 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) R 27495 27498 26438 0 -1 4202560 6071 12864 0 0 10 1 5 3 20 0 15 0 71571685 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355646890912 140355675078038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10818904 memory=4211974429855063434 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571686 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355679308688 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10818904 memory=140703650272896 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571686 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355578198800 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571686 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355577146512 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571686 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355576093712 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10818904 memory=140703650272896 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571687 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355134310512 140355675077250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 13 12864 0 0 0 0 5 3 20 0 15 0 71571688 11078557696 11578 33554432000 4194304 4196468 140733003606224 140354565169952 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571688 11078557696 11578 33554432000 4194304 4196468 140733003606224 140354430952560 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11078557696 11578 33554432000 4194304 4196468 140733003606224 140354190661712 140355675084699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 531 12864 0 0 1 0 5 3 20 0 15 0 71571691 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355133258352 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 53 12864 0 0 0 0 5 3 20 0 15 0 71571691 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355132205552 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10818904 memory=140703650272896 CPUtime=0.11 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) R 27495 27498 26438 0 -1 4202560 553 12864 0 0 3 0 5 3 20 0 15 0 71571691 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355131153264 140355675087450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11078557696 11578 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10818904 memory=140703650272896 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571691 11078557696 11578 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46312 KiB
[startup+0.310536 s]*
/proc/loadavg: 1.94 1.82 1.79 3/215 27564
/proc/meminfo: memFree=8997916/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=10819352 memory=54188 CPUtime=0.4 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 10630 12864 0 0 28 4 5 3 20 0 15 0 71571676 11079016448 13547 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2704838 13547 3083 1 0 2667149 0
[pid=27498/tid=27551] ppid=27495 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) R 27495 27498 26438 0 -1 4202560 7263 12864 0 0 18 3 5 3 20 0 15 0 71571685 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355646878112 140355675079985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355679308688 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355578198800 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355577146512 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355576093712 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10819352 memory=140703650272895 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571687 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355134310512 140355675077250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 13 12864 0 0 0 0 5 3 20 0 15 0 71571688 11079016448 13547 33554432000 4194304 4196468 140733003606224 140354565169952 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10819352 memory=140703650272896 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571688 11079016448 13547 33554432000 4194304 4196468 140733003606224 140354430952560 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11079016448 13547 33554432000 4194304 4196468 140733003606224 140354190661712 140355675084699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 532 12864 0 0 2 0 5 3 20 0 15 0 71571691 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355133258352 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 53 12864 0 0 1 0 5 3 20 0 15 0 71571691 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355132205552 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) S 27495 27498 26438 0 -1 1077944384 561 12864 0 0 5 0 5 3 20 0 15 0 71571691 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355131153264 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11079016448 13547 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571691 11079016448 13547 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54188 KiB
[startup+0.700831 s]
/proc/loadavg: 1.94 1.82 1.79 3/215 27564
/proc/meminfo: memFree=8994200/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=10819352 memory=86584 CPUtime=0.99 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 16730 12864 0 0 86 5 5 3 20 0 15 0 71571676 11079016448 21646 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2704838 21646 3237 1 0 2667149 0
[pid=27498/tid=27551] ppid=27495 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) R 27495 27498 26438 0 -1 4202560 12316 12864 0 0 55 3 5 3 20 0 15 0 71571685 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355646886928 140355656629678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355679308688 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355578198800 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10819352 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355577146512 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571686 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355576093712 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 5 12864 0 0 0 0 5 3 20 0 15 0 71571687 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355134310512 140355675077250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 13 12864 0 0 0 0 5 3 20 0 15 0 71571688 11079016448 21646 33554432000 4194304 4196468 140733003606224 140354565169952 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571688 11079016448 21646 33554432000 4194304 4196468 140733003606224 140354430952560 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11079016448 21646 33554432000 4194304 4196468 140733003606224 140354190661712 140355675084699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10819352 memory=6655300316396806240 CPUtime=0.18 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 1138 12864 0 0 10 0 5 3 20 0 15 0 71571691 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355133258352 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 428 12864 0 0 7 0 5 3 20 0 15 0 71571691 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355132205552 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) S 27495 27498 26438 0 -1 1077944384 624 12864 0 0 13 0 5 3 20 0 15 0 71571691 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355131153264 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10819352 memory=281407062540528 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11079016448 21646 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571691 11079016448 21646 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86584 KiB
[startup+1.50083 s]
/proc/loadavg: 1.94 1.82 1.79 3/215 27564
/proc/meminfo: memFree=8958312/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=10828032 memory=314644 CPUtime=2.76 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 21793 12864 0 0 244 24 5 3 20 0 15 0 71571676 11087904768 78661 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2707008 78661 3443 1 0 2668685 0
[pid=27498/tid=27551] ppid=27495 vsize=10828032 memory=219 CPUtime=1.37 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) R 27495 27498 26438 0 -1 4202560 14676 12864 0 0 121 8 5 3 20 0 15 0 71571685 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355646901840 140355675088029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10828032 memory=118 CPUtime=0.16 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) S 27495 27498 26438 0 -1 1077944384 341 12864 0 0 5 3 5 3 20 0 15 0 71571686 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355679308688 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10828032 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) S 27495 27498 26438 0 -1 1077944384 95 12864 0 0 5 3 5 3 20 0 15 0 71571686 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355578198800 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10828032 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) S 27495 27498 26438 0 -1 1077944384 59 12864 0 0 5 3 5 3 20 0 15 0 71571686 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355577146512 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10828032 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) S 27495 27498 26438 0 -1 1077944384 132 12864 0 0 5 3 5 3 20 0 15 0 71571686 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355576093712 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10828032 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 87 12864 0 0 0 0 5 3 20 0 15 0 71571687 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355134310512 140355675077250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10828032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 14 12864 0 0 0 0 5 3 20 0 15 0 71571688 11087904768 78661 33554432000 4194304 4196468 140733003606224 140354565170016 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10828032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 2 12864 0 0 0 0 5 3 20 0 15 0 71571688 11087904768 78661 33554432000 4194304 4196468 140733003606224 140354430952560 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10828032 memory=281407062576672 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11087904768 78661 33554432000 4194304 4196468 140733003606224 140354190661712 140355675084699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10828032 memory=2209 CPUtime=0.44 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 1461 12864 0 0 36 0 5 3 20 0 15 0 71571691 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355133258352 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10828032 memory=20132 CPUtime=0.41 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 1719 12864 0 0 33 0 5 3 20 0 15 0 71571691 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355132205552 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10828032 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) S 27495 27498 26438 0 -1 1077944384 1008 12864 0 0 28 0 5 3 20 0 15 0 71571691 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355131153264 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10828032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11087904768 78661 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10828032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1 12864 0 0 0 0 5 3 20 0 15 0 71571691 11087904768 78661 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 10828032 KiB
################
# More data... #
################
/proc/27498/statm: 2711128 2116897 3532 1 0 2672781 0
[pid=27498/tid=27551] ppid=27495 vsize=10844512 memory=2416 CPUtime=245.34 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) S 27495 27498 26438 0 -1 1077944384 198519 12864 0 0 24485 41 5 3 20 0 15 0 71571685 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355646900272 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10844512 memory=1728 CPUtime=560.3 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) R 27495 27498 26438 0 -1 4202560 634538 12864 0 0 55691 331 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355679308576 140355656675789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10844512 memory=1700 CPUtime=561.61 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) R 27495 27498 26438 0 -1 4202560 959636 12864 0 0 55793 360 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355578199000 140355660062504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10844512 memory=796 CPUtime=562.55 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) R 27495 27498 26438 0 -1 4202560 711378 12864 0 0 55930 317 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355577146712 140355659764883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10844512 memory=5408 CPUtime=560.08 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) R 27495 27498 26438 0 -1 4202560 526775 12864 0 0 55675 325 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355576093912 140355656675923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10844512 memory=1008 CPUtime=14.01 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 282730 12864 0 0 1381 12 5 3 20 0 15 0 71571687 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355134309056 140355675076309 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10844512 memory=9992 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 42 12864 0 0 0 0 5 3 20 0 15 0 71571688 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354565170080 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10844512 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 31 12864 0 0 0 0 5 3 20 0 15 0 71571688 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354430952576 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10844512 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354190661712 140355675084699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10844512 memory=1200 CPUtime=7.31 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 26986 12864 0 0 719 4 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355133258400 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10844512 memory=10592 CPUtime=6.82 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 23991 12864 0 0 670 4 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355132205312 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10844512 memory=4616 CPUtime=2.25 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) S 27495 27498 26438 0 -1 1077944384 22531 12864 0 0 214 3 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355131153312 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10844512 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10844512 memory=15876 CPUtime=0.52 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1329 12864 0 0 22 22 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8467588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+837.709 s]
# the end of solver process 27498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.85 s, system=14.275 s
Solver just ended.
Dumping a history of the last processes samples
[startup+836.802 s]
/proc/loadavg: 4.90 4.40 3.19 6/215 27585
/proc/meminfo: memFree=1093604/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=10844512 memory=8467588 CPUtime=2524.92 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 3392077 12864 0 0 251070 1414 5 3 20 0 15 0 71571676 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2711128 2116897 3532 1 0 2672781 0
[pid=27498/tid=27551] ppid=27495 vsize=10844512 memory=8467588 CPUtime=245.34 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) S 27495 27498 26438 0 -1 1077944384 198519 12864 0 0 24485 41 5 3 20 0 15 0 71571685 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355646900272 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10844512 memory=21512 CPUtime=561.49 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) R 27495 27498 26438 0 -1 4202560 634933 12864 0 0 55810 331 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355679308496 140355667694311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10844512 memory=4872558044660077418 CPUtime=562.8 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) R 27495 27498 26438 0 -1 4202560 960259 12864 0 0 55912 360 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355578198608 140355667694311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10844512 memory=1408 CPUtime=563.72 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) R 27495 27498 26438 0 -1 4202560 711733 12864 0 0 56047 317 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355577146712 140355656675908 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10844512 memory=3272 CPUtime=561.27 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) R 27495 27498 26438 0 -1 4202560 526787 12864 0 0 55794 325 5 3 20 0 15 0 71571686 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355576093520 140355667694311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10844512 memory=2956164 CPUtime=14.01 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 282730 12864 0 0 1381 12 5 3 20 0 15 0 71571687 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355134309056 140355675076309 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10844512 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 42 12864 0 0 0 0 5 3 20 0 15 0 71571688 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354565170080 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10844512 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 31 12864 0 0 0 0 5 3 20 0 15 0 71571688 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354430952576 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10844512 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 9 12864 0 0 0 0 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354190661360 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10844512 memory=16436 CPUtime=7.31 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 26986 12864 0 0 719 4 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355133258400 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10844512 memory=12732 CPUtime=6.82 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 23991 12864 0 0 670 4 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355132205312 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10844512 memory=8467588 CPUtime=2.25 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) S 27495 27498 26438 0 -1 1077944384 22531 12864 0 0 214 3 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355131153312 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10844512 memory=1796 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10844512 memory=4128 CPUtime=0.52 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1329 12864 0 0 22 22 5 3 20 0 15 0 71571691 11104780288 2116897 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 2524.92 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8467588 KiB
[startup+837.202 s]
/proc/loadavg: 4.91 4.41 3.20 6/215 27585
/proc/meminfo: memFree=1093604/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=10942820 memory=8467676 CPUtime=2526.37 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 3395501 12864 0 0 251215 1414 5 3 20 0 16 0 71571676 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2735705 2116919 3533 1 0 2697358 0
[pid=27498/tid=27551] ppid=27495 vsize=10942820 memory=3 CPUtime=245.34 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) S 27495 27498 26438 0 -1 1077944384 198526 12864 0 0 24485 41 5 3 20 0 16 0 71571685 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355646897232 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10942820 memory=8 CPUtime=561.85 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) R 27495 27498 26438 0 -1 4202560 634946 12864 0 0 55845 332 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355679308888 140355656663114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10942820 memory=8 CPUtime=563.16 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) R 27495 27498 26438 0 -1 4202560 960272 12864 0 0 55947 361 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355578199000 140355660125109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10942820 memory=8467588 CPUtime=564.07 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) R 27495 27498 26438 0 -1 4202560 712047 12864 0 0 56082 317 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355577146512 140355656662713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10942820 memory=8467588 CPUtime=561.63 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) R 27495 27498 26438 0 -1 4202560 526794 12864 0 0 55829 326 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355576093712 140355656663114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10942820 memory=13567093857585738 CPUtime=14.04 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 285690 12864 0 0 1384 12 5 3 20 0 16 0 71571687 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355134308832 140355675076309 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10942820 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 42 12864 0 0 0 0 5 3 20 0 16 0 71571688 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354565170080 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10942820 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 31 12864 0 0 0 0 5 3 20 0 16 0 71571688 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354430952576 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10942820 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 80 12864 0 0 0 0 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354190661712 140355675084699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10942820 memory=10592 CPUtime=7.31 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 26988 12864 0 0 719 4 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355133258352 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10942820 memory=4616 CPUtime=6.82 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 23993 12864 0 0 670 4 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355132205552 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10942820 memory=1428 CPUtime=2.25 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) S 27495 27498 26438 0 -1 1077944384 22533 12864 0 0 214 3 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355131153264 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10942820 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10942820 memory=16436 CPUtime=0.52 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1329 12864 0 0 22 22 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 2526.37 s
Current children cumulated vsize: 10942820 KiB
Current children cumulated memory: 8467676 KiB
[startup+837.602 s]
/proc/loadavg: 4.91 4.41 3.20 6/215 27585
/proc/meminfo: memFree=1093604/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=10942820 memory=8467676 CPUtime=2527.97 cores=1,3,5,7
/proc/27498/stat : 27498 (java) S 27495 27498 26438 0 -1 1077944320 3395514 12864 0 0 251375 1414 5 3 20 0 16 0 71571676 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140733003588768 140355675066103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
/proc/27498/statm: 2735705 2116919 3533 1 0 2697358 0
[pid=27498/tid=27551] ppid=27495 vsize=10942820 memory=4048 CPUtime=245.34 cores=1,3,5,7
/proc/27498/task/27551/stat : 27551 (java) S 27495 27498 26438 0 -1 1077944384 198526 12864 0 0 24485 41 5 3 20 0 16 0 71571685 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355646897232 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27552] ppid=27495 vsize=10942820 memory=1796 CPUtime=562.25 cores=1,3,5,7
/proc/27498/task/27552/stat : 27552 (java) R 27495 27498 26438 0 -1 4202560 634946 12864 0 0 55885 332 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355679308888 140355660051399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27553] ppid=27495 vsize=10942820 memory=636 CPUtime=563.56 cores=1,3,5,7
/proc/27498/task/27553/stat : 27553 (java) R 27495 27498 26438 0 -1 4202560 960272 12864 0 0 55987 361 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355578199000 140355656662561 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27554] ppid=27495 vsize=10942820 memory=796 CPUtime=564.47 cores=1,3,5,7
/proc/27498/task/27554/stat : 27554 (java) R 27495 27498 26438 0 -1 4202560 712060 12864 0 0 56122 317 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355577146512 140355659520155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27555] ppid=27495 vsize=10942820 memory=5408 CPUtime=562.03 cores=1,3,5,7
/proc/27498/task/27555/stat : 27555 (java) R 27495 27498 26438 0 -1 4202560 526794 12864 0 0 55869 326 5 3 20 0 16 0 71571686 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355576093712 140355656663114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27556] ppid=27495 vsize=10942820 memory=1008 CPUtime=14.04 cores=1,3,5,7
/proc/27498/task/27556/stat : 27556 (java) S 27495 27498 26438 0 -1 1077944384 285690 12864 0 0 1384 12 5 3 20 0 16 0 71571687 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355134308832 140355675076309 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27557] ppid=27495 vsize=10942820 memory=9992 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27557/stat : 27557 (java) S 27495 27498 26438 0 -1 1077944384 42 12864 0 0 0 0 5 3 20 0 16 0 71571688 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354565170080 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27558] ppid=27495 vsize=10942820 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27558/stat : 27558 (java) S 27495 27498 26438 0 -1 1077944384 31 12864 0 0 0 0 5 3 20 0 16 0 71571688 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354430952576 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27559] ppid=27495 vsize=10942820 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27559/stat : 27559 (java) S 27495 27498 26438 0 -1 1077944384 80 12864 0 0 0 0 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354190661712 140355675084699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27560] ppid=27495 vsize=10942820 memory=1200 CPUtime=7.31 cores=1,3,5,7
/proc/27498/task/27560/stat : 27560 (java) S 27495 27498 26438 0 -1 1077944384 26988 12864 0 0 719 4 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355133258352 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27561] ppid=27495 vsize=10942820 memory=10592 CPUtime=6.82 cores=1,3,5,7
/proc/27498/task/27561/stat : 27561 (java) S 27495 27498 26438 0 -1 1077944384 23993 12864 0 0 670 4 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355132205552 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27562] ppid=27495 vsize=10942820 memory=4616 CPUtime=2.25 cores=1,3,5,7
/proc/27498/task/27562/stat : 27562 (java) S 27495 27498 26438 0 -1 1077944384 22533 12864 0 0 214 3 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355131153264 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27563] ppid=27495 vsize=10942820 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/27498/task/27563/stat : 27563 (java) S 27495 27498 26438 0 -1 1077944384 3 12864 0 0 0 0 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140354157104096 140355675076309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
[pid=27498/tid=27564] ppid=27495 vsize=10942820 memory=15876 CPUtime=0.52 cores=1,3,5,7
/proc/27498/task/27564/stat : 27564 (java) S 27495 27498 26438 0 -1 1077944384 1329 12864 0 0 22 22 5 3 20 0 16 0 71571691 11205447680 2116919 33554432000 4194304 4196468 140733003606224 140355130100144 140355675077250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29028352 140733003614379 140733003617628 140733003617628 140733003620303 0
Current children cumulated CPU time: 2527.97 s
Current children cumulated vsize: 10942820 KiB
Current children cumulated memory: 8467676 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 837.709
CPU time (s): 2528.12
CPU user time (s): 2513.85
CPU system time (s): 14.275
CPU usage (%): 301.79
Max. virtual memory (cumulated for all children) (KiB): 10942820
Max. memory (cumulated for all children) (KiB): 8467676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.85
system time used= 14.275
maximum resident set size= 8467944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3408380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72904
involuntary context switches= 32520
# summary of solver processes directly reported to runsolver:
# pid: 27498
# total CPU time (s): 2528.12
# total CPU user time (s): 2513.85
# total CPU system time (s): 14.275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.98571 second user time and 8.391 second system time
The end