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 (9901 MiB free)
memory of node 1: 16384 MiB (12578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300072-1532848313/watcher-4300072-1532848313 -o /tmp/evaluation-result-4300072-1532848313/solver-4300072-1532848313 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532845932-8482 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300072-1532848313.xml
running on 4 cores: 0,2,4,6
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=8773, runsolver pid=8770
[startup+0.100135 s]*
/proc/loadavg: 2.08 2.07 1.99 5/216 8788
/proc/meminfo: memFree=23003408/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10658972 memory=27112 CPUtime=0.12 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 5247 0 0 0 11 1 0 0 20 0 15 0 102394483 10914787328 6778 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664743 6778 2793 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10658972 memory=-8826036515275371712 CPUtime=0.09 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) R 8770 8773 8451 0 -1 4202560 3135 0 0 0 8 1 0 0 20 0 15 0 102394483 10914787328 6778 33554432000 4194304 4196468 140735295697616 140618143070176 140618122892645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914787328 6778 33554432000 4194304 4196468 140735295697616 140617745881616 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10658972 memory=139715124147840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914787328 6778 33554432000 4194304 4196468 140735295697616 140617744829072 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914787328 6778 33554432000 4194304 4196468 140735295697616 140617743776016 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394484 10914787328 6778 33554432000 4194304 4196468 140735295697616 140617742723472 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10658972 memory=139715124147840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394486 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617630866160 140618138860162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102394486 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617629812384 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102394486 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617627707856 140618138867611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) R 8770 8773 8451 0 -1 4202560 334 0 0 0 0 0 0 0 20 0 15 0 102394489 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617626646464 140618116689216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) R 8770 8773 8451 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 102394489 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617625602512 140618138859221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10658972 memory=139715124147840 CPUtime=0.01 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 8451 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 102394489 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617624549360 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10658972 memory=139715124147840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394489 10914787328 6844 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27112 KiB
[startup+0.216782 s]*
/proc/loadavg: 2.08 2.07 1.99 2/216 8788
/proc/meminfo: memFree=22990512/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10659048 memory=40400 CPUtime=0.33 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 8162 0 0 0 31 2 0 0 20 0 15 0 102394483 10914865152 10100 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664762 10100 2985 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10659048 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) R 8770 8773 8451 0 -1 4202560 5272 0 0 0 19 1 0 0 20 0 15 0 102394483 10914865152 10100 33554432000 4194304 4196468 140735295697616 140618143078224 140618122892645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=345 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617745881616 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=139715124168618 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617744829072 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617743776016 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617742723472 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=139715124147840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617630866160 140618138860162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617629812384 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617627707856 140618138867611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10659048 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 8451 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 102394489 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617626654960 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10659048 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 8451 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 102394489 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617625602416 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10659048 memory=139715124147840 CPUtime=0.06 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 8451 0 -1 1077944384 824 0 0 0 6 0 0 0 20 0 15 0 102394489 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617624549360 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10659048 memory=139715124147840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 10100 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 40400 KiB
[startup+0.312555 s]*
/proc/loadavg: 2.08 2.07 1.99 7/216 8788
/proc/meminfo: memFree=22987128/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10659048 memory=44624 CPUtime=0.57 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 8776 0 0 0 54 3 0 0 20 0 15 0 102394483 10914865152 11156 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664762 11156 3047 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) R 8770 8773 8451 0 -1 4202560 5524 0 0 0 28 2 0 0 20 0 15 0 102394483 10914865152 11156 33554432000 4194304 4196468 140735295697616 140618143080096 140617778546063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 11156 33554432000 4194304 4196468 140735295697616 140617745881616 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=16243399587542680 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 11156 33554432000 4194304 4196468 140735295697616 140617744829072 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617743776016 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617742723472 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=139715124147840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617630866160 140618138860162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617629812384 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617627707856 140618138867611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10659048 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) R 8770 8773 8451 0 -1 4202560 614 0 0 0 6 0 0 0 20 0 15 0 102394489 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617626635976 140618119550679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10659048 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) R 8770 8773 8451 0 -1 4202560 373 0 0 0 6 0 0 0 20 0 15 0 102394489 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617625583432 140618117265370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10659048 memory=139715124147840 CPUtime=0.13 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) R 8770 8773 8451 0 -1 1077944384 924 0 0 0 13 0 0 0 20 0 15 0 102394489 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617624549360 140618138860162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10659048 memory=139715124147840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 11222 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 44624 KiB
[startup+0.70185 s]
/proc/loadavg: 2.08 2.07 1.99 3/216 8788
/proc/meminfo: memFree=22979664/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10659048 memory=63308 CPUtime=1.45 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 10294 0 0 0 141 4 0 0 20 0 15 0 102394483 10914865152 15827 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664762 15827 3093 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10659048 memory=1836 CPUtime=0.68 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) R 8770 8773 8451 0 -1 4202560 5576 0 0 0 66 2 0 0 20 0 15 0 102394483 10914865152 15827 33554432000 4194304 4196468 140735295697616 140618143084336 140617778691892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=13044 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617745881616 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=792 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617744829072 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617743776016 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617742723472 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617630866160 140618138860162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10659048 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617629812384 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10659048 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10659048 memory=7668879548562892096 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617627707856 140618138867611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10659048 memory=7881696724453321575 CPUtime=0.28 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) R 8770 8773 8451 0 -1 4202560 1295 0 0 0 28 0 0 0 20 0 15 0 102394489 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617626654960 140618125000686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10659048 memory=5787213827163908199 CPUtime=0.3 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) R 8770 8773 8451 0 -1 4202560 998 0 0 0 30 0 0 0 20 0 15 0 102394489 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617625602712 140618122374905 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10659048 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 8451 0 -1 1077944384 1053 0 0 0 16 0 0 0 20 0 15 0 102394489 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617624549360 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10659048 memory=33 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 15827 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 63308 KiB
[startup+1.50071 s]
/proc/loadavg: 2.08 2.07 1.99 3/216 8788
/proc/meminfo: memFree=22942948/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10659048 memory=104228 CPUtime=2.39 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 12516 0 0 0 235 4 0 0 20 0 15 0 102394483 10914865152 26057 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664762 26057 3096 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10659048 memory=8112282956445269571 CPUtime=1.48 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) R 8770 8773 8451 0 -1 4202560 5869 0 0 0 145 3 0 0 20 0 15 0 102394483 10914865152 26057 33554432000 4194304 4196468 140735295697616 140618143086024 140617779258883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=8390361644446492005 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 26057 33554432000 4194304 4196468 140735295697616 140617745881616 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=-6352177166831615190 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 26057 33554432000 4194304 4196468 140735295697616 140617744829072 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=8514701219931451533 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 8451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 26057 33554432000 4194304 4196468 140735295697616 140617743776016 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 8451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102394484 10914865152 26057 33554432000 4194304 4196468 140735295697616 140617742723472 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 26057 33554432000 4194304 4196468 140735295697616 140617630866160 140618138860162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
################
# More data... #
################
/proc/8773/task/8775/stat : 8775 (java) R 8770 8773 8451 0 -1 4202560 139113 0 0 0 225318 25 0 0 20 0 15 0 102394483 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140618143088144 140617777792088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=5907080 CPUtime=60.28 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 8451 0 -1 1077944384 190257 0 0 0 5928 100 0 0 20 0 15 0 102394484 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617745881616 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=5907080 CPUtime=60.17 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 8451 0 -1 1077944384 111026 0 0 0 5923 94 0 0 20 0 15 0 102394484 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617744829072 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=5907080 CPUtime=60.41 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 8451 0 -1 1077944384 139539 0 0 0 5938 103 0 0 20 0 15 0 102394484 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617743776016 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=5907080 CPUtime=60.45 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 8451 0 -1 1077944384 154083 0 0 0 5947 98 0 0 20 0 15 0 102394484 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617742723472 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=5907080 CPUtime=7.61 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 25239 0 0 0 756 5 0 0 20 0 15 0 102394486 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617630866160 140618138860162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617629812448 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617627707856 140618138867611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10659048 memory=4140 CPUtime=0.31 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 8451 0 -1 1077944384 1660 0 0 0 31 0 0 0 20 0 15 0 102394489 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617626654960 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10659048 memory=29528 CPUtime=0.52 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 8451 0 -1 1077944384 3955 0 0 0 52 0 0 0 20 0 15 0 102394489 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617625602416 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0.19 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 8451 0 -1 1077944384 2678 0 0 0 19 0 0 0 20 0 15 0 102394489 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617624549360 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0.71 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 997 0 0 0 34 37 0 0 20 0 15 0 102394489 10914865152 1476770 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 2504.18 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5907080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2337 s]*
/proc/loadavg: 2.28 2.15 2.09 6/215 8858
/proc/meminfo: memFree=12850480/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10659048 memory=5918720 CPUtime=2520.33 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 777340 0 0 0 251574 459 0 0 20 0 15 0 102394483 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664762 1479680 3150 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10659048 memory=8112282956445269571 CPUtime=2267.66 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 8451 0 -1 1077944384 139601 0 0 0 226741 25 0 0 20 0 15 0 102394483 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140618143088400 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=4872558044660077418 CPUtime=60.76 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) R 8770 8773 8451 0 -1 4202560 190695 0 0 0 5976 100 0 0 20 0 15 0 102394484 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617745881736 140618124607328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=920 CPUtime=60.65 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) R 8770 8773 8451 0 -1 4202560 116992 0 0 0 5971 94 0 0 20 0 15 0 102394484 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617744828960 140618123876992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=3852 CPUtime=60.89 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) R 8770 8773 8451 0 -1 4202560 139552 0 0 0 5986 103 0 0 20 0 15 0 102394484 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617743776136 140618123893339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=2600 CPUtime=60.92 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) R 8770 8773 8451 0 -1 4202560 154555 0 0 0 5994 98 0 0 20 0 15 0 102394484 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617742723592 140618123889885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=2600 CPUtime=7.61 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 25241 0 0 0 756 5 0 0 20 0 15 0 102394486 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617630864672 140618138859221 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10659048 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617629812448 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10659048 memory=3284 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10659048 memory=4424244 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617627707856 140618138867611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10659048 memory=1408 CPUtime=0.31 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 8451 0 -1 1077944384 1660 0 0 0 31 0 0 0 20 0 15 0 102394489 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617626655008 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10659048 memory=3272 CPUtime=0.52 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 8451 0 -1 1077944384 3957 0 0 0 52 0 0 0 20 0 15 0 102394489 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617625602176 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0.19 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 8451 0 -1 1077944384 2678 0 0 0 19 0 0 0 20 0 15 0 102394489 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617624549408 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10659048 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10659048 memory=139715018732257 CPUtime=0.73 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 999 0 0 0 35 38 0 0 20 0 15 0 102394489 10914865152 1479680 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 2520.33 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5918720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2337.45 s]
# the end of solver process 8773 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.38 s, system=4.62829 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2337.2 s]
/proc/loadavg: 2.28 2.15 2.09 6/215 8858
/proc/meminfo: memFree=12850480/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10659048 memory=5918900 CPUtime=2521.09 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 777992 0 0 0 251650 459 0 0 20 0 15 0 102394483 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664762 1479725 3150 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10659048 memory=5907080 CPUtime=2267.66 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 8451 0 -1 1077944384 139601 0 0 0 226741 25 0 0 20 0 15 0 102394483 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140618143088400 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=8112282956445269571 CPUtime=60.95 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) R 8770 8773 8451 0 -1 4202560 190699 0 0 0 5995 100 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617745881736 140618124607388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=5412 CPUtime=60.84 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) R 8770 8773 8451 0 -1 4202560 117626 0 0 0 5990 94 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617744828960 140618123297725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=4612 CPUtime=61.08 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) R 8770 8773 8451 0 -1 4202560 139558 0 0 0 6005 103 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617743776136 140618123876907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=1012 CPUtime=61.11 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) R 8770 8773 8451 0 -1 4202560 154558 0 0 0 6013 98 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617742723592 140618123893101 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=8112282956445269571 CPUtime=7.61 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 25241 0 0 0 756 5 0 0 20 0 15 0 102394486 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617630864672 140618138859221 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10659048 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617629812448 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10659048 memory=5910632 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10659048 memory=840 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617627707504 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10659048 memory=4104 CPUtime=0.31 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 8451 0 -1 1077944384 1660 0 0 0 31 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617626655008 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10659048 memory=1696 CPUtime=0.52 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 8451 0 -1 1077944384 3957 0 0 0 52 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617625602176 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0.19 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 8451 0 -1 1077944384 2678 0 0 0 19 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617624549408 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10659048 memory=5907080 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10659048 memory=16932 CPUtime=0.73 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 999 0 0 0 35 38 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 2521.09 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5918900 KiB
[startup+2337.4 s]
/proc/loadavg: 2.28 2.15 2.09 6/215 8858
/proc/meminfo: memFree=12850480/32770624 swapFree=67108860/67108860
[pid=8773] ppid=8770 vsize=10659048 memory=5918900 CPUtime=2521.89 cores=0,2,4,6
/proc/8773/stat : 8773 (java) S 8770 8773 8451 0 -1 1077944320 778130 0 0 0 251730 459 0 0 20 0 15 0 102394483 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140735295680160 140618138849015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
/proc/8773/statm: 2664762 1479725 3150 1 0 2627263 0
[pid=8773/tid=8775] ppid=8770 vsize=10659048 memory=18448 CPUtime=2267.66 cores=0,2,4,6
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 8451 0 -1 1077944384 139601 0 0 0 226741 25 0 0 20 0 15 0 102394483 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140618143088400 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8776] ppid=8770 vsize=10659048 memory=8112282956445269571 CPUtime=61.15 cores=0,2,4,6
/proc/8773/task/8776/stat : 8776 (java) R 8770 8773 8451 0 -1 4202560 190702 0 0 0 6015 100 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617745881736 140618124607682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8777] ppid=8770 vsize=10659048 memory=288230596050944315 CPUtime=61.04 cores=0,2,4,6
/proc/8773/task/8777/stat : 8777 (java) R 8770 8773 8451 0 -1 4202560 117754 0 0 0 6010 94 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617744828960 140618123877176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8778] ppid=8770 vsize=10659048 memory=14133333755955767 CPUtime=61.28 cores=0,2,4,6
/proc/8773/task/8778/stat : 8778 (java) R 8770 8773 8451 0 -1 4202560 139561 0 0 0 6025 103 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617743776136 140618124607350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8779] ppid=8770 vsize=10659048 memory=1836 CPUtime=61.31 cores=0,2,4,6
/proc/8773/task/8779/stat : 8779 (java) R 8770 8773 8451 0 -1 4202560 154562 0 0 0 6033 98 0 0 20 0 15 0 102394484 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617742723592 140618123876434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8780] ppid=8770 vsize=10659048 memory=5907080 CPUtime=7.61 cores=0,2,4,6
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 8451 0 -1 1077944384 25241 0 0 0 756 5 0 0 20 0 15 0 102394486 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617630864672 140618138859221 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8781] ppid=8770 vsize=10659048 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 8451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617629812448 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8782] ppid=8770 vsize=10659048 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 8451 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 102394486 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617628759280 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8783] ppid=8770 vsize=10659048 memory=640 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 8451 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617627707504 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8784] ppid=8770 vsize=10659048 memory=952 CPUtime=0.31 cores=0,2,4,6
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 8451 0 -1 1077944384 1660 0 0 0 31 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617626655008 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8785] ppid=8770 vsize=10659048 memory=1232 CPUtime=0.52 cores=0,2,4,6
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 8451 0 -1 1077944384 3957 0 0 0 52 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617625602176 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8786] ppid=8770 vsize=10659048 memory=2340 CPUtime=0.19 cores=0,2,4,6
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 8451 0 -1 1077944384 2678 0 0 0 19 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617624549408 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8787] ppid=8770 vsize=10659048 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 8451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617623497056 140618138859221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
[pid=8773/tid=8788] ppid=8770 vsize=10659048 memory=932 CPUtime=0.73 cores=0,2,4,6
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 8451 0 -1 1077944384 999 0 0 0 35 38 0 0 20 0 15 0 102394489 10914865152 1479725 33554432000 4194304 4196468 140735295697616 140617622445104 140618138860162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10739712 140735295706285 140735295706377 140735295706377 140735295709135 0
Current children cumulated CPU time: 2521.89 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5918900 KiB
Child status: 143
Real time (s): 2337.45
CPU time (s): 2522
CPU user time (s): 2517.38
CPU system time (s): 4.62829
CPU usage (%): 107.895
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 5918900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.38
system time used= 4.62829
maximum resident set size= 5918900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57354
involuntary context switches= 5107
# summary of solver processes directly reported to runsolver:
# pid: 8773
# total CPU time (s): 2522
# total CPU user time (s): 2517.38
# total CPU system time (s): 4.62829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.546 second user time and 22.2822 second system time
The end