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 (9858 MiB free)
memory of node 1: 16384 MiB (12933 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290183-1532600623/watcher-4290183-1532600623 -o /tmp/evaluation-result-4290183-1532600623/solver-4290183-1532600623 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532598235-8675 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290183-1532600623.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=8897, runsolver pid=8894
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.82 1.93 1.97 4/218 8912
/proc/meminfo: memFree=23325000/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10659012 memory=28692 CPUtime=0.12 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 6737 0 0 0 11 1 0 0 20 0 15 0 77625612 10914828288 7173 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2664753 7173 2842 1 0 2627263 0
[pid=8897/tid=8899] ppid=8894 vsize=10659012 memory=-8823779213608580288 CPUtime=0.09 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) R 8894 8897 8644 0 -1 4202560 4523 0 0 0 8 1 0 0 20 0 15 0 77625613 10914828288 7173 33554432000 4194304 4196468 140732472752176 140122406067216 140122385925470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 7173 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10659012 memory=140091030398592 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 7173 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 7173 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 7173 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10659012 memory=140091030398592 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625615 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8905] ppid=8894 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77625615 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121893475488 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625615 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121892422384 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) S 8894 8897 8644 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121890319088 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10659012 memory=140091030398592 CPUtime=0.02 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) R 8894 8897 8644 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 77625618 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121888213488 140122401856918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10659012 memory=140091030398592 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 7173 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 28692 KiB
[startup+0.210691 s]*
/proc/loadavg: 1.82 1.93 1.97 4/218 8912
/proc/meminfo: memFree=23314828/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10659012 memory=39804 CPUtime=0.33 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 8068 0 0 0 31 2 0 0 20 0 15 0 77625612 10914828288 9951 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2664753 9951 2998 1 0 2627263 0
[pid=8897/tid=8899] ppid=8894 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) R 8894 8897 8644 0 -1 4202560 5080 0 0 0 18 1 0 0 20 0 15 0 77625613 10914828288 9951 33554432000 4194304 4196468 140732472752176 140122406081264 140122385888613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 9951 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10659012 memory=140091030418705 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 9951 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 9951 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625613 10914828288 9951 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10659012 memory=140091030398592 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625615 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8905] ppid=8894 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77625615 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121893475488 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625615 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121892422384 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) S 8894 8897 8644 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 77625618 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121890319088 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 77625618 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10659012 memory=140091030398592 CPUtime=0.07 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) R 8894 8897 8644 0 -1 4202560 831 0 0 0 7 0 0 0 20 0 15 0 77625618 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121888213488 140122394944830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10659012 memory=140091030398592 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625618 10914828288 9951 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 39804 KiB
[startup+0.310455 s]*
/proc/loadavg: 1.82 1.93 1.97 5/218 8912
/proc/meminfo: memFree=23303988/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10659088 memory=50148 CPUtime=0.56 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 9609 0 0 0 54 2 0 0 20 0 15 0 77625612 10914906112 12537 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2664772 12537 3074 1 0 2627263 0
[pid=8897/tid=8899] ppid=8894 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) R 8894 8897 8644 0 -1 4202560 5635 0 0 0 28 2 0 0 20 0 15 0 77625613 10914906112 12605 33554432000 4194304 4196468 140732472752176 140122406081376 140122385925470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10659088 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 12605 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10659088 memory=140091030858693 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 12605 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 12605 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 12605 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10659088 memory=140091030398592 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77625615 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8905] ppid=8894 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77625615 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121893475488 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625615 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121892422384 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10659088 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) R 8894 8897 8644 0 -1 4202560 950 0 0 0 7 0 0 0 20 0 15 0 77625618 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121890311040 140122381034481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 502 0 0 0 4 0 0 0 20 0 15 0 77625618 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10659088 memory=140091030398592 CPUtime=0.13 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) S 8894 8897 8644 0 -1 1077944384 1194 0 0 0 13 0 0 0 20 0 15 0 77625618 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121888213488 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10659088 memory=140091030398592 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625618 10914906112 12605 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 50148 KiB
[startup+0.700848 s]
/proc/loadavg: 1.82 1.93 1.97 5/218 8912
/proc/meminfo: memFree=23259964/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10659088 memory=184880 CPUtime=1.85 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 12180 0 0 0 178 7 0 0 20 0 15 0 77625612 10914906112 46220 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2664772 46220 3121 1 0 2627263 0
[pid=8897/tid=8899] ppid=8894 vsize=10659088 memory=178333283268135 CPUtime=0.67 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) R 8894 8897 8644 0 -1 4202560 5848 0 0 0 63 4 0 0 20 0 15 0 77625613 10914906112 46220 33554432000 4194304 4196468 140732472752176 140122406081744 140122401866909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10659088 memory=277047 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 46220 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 46220 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 46220 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10659088 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 77625613 10914906112 46220 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 77625615 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8905] ppid=8894 vsize=10659088 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 77625615 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121893475488 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77625615 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121892422384 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10659088 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) S 8894 8897 8644 0 -1 1077944384 1570 0 0 0 42 0 0 0 20 0 15 0 77625618 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121890319088 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10659088 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 1262 0 0 0 38 0 0 0 20 0 15 0 77625618 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10659088 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) R 8894 8897 8644 0 -1 4202560 2004 0 0 0 32 0 0 0 20 0 15 0 77625618 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121888212672 140122394082110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77625618 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10659088 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77625618 10914906112 46220 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 184880 KiB
[startup+1.50092 s]
/proc/loadavg: 1.82 1.93 1.97 5/218 8912
/proc/meminfo: memFree=23165892/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10728248 memory=240068 CPUtime=4.36 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 19957 0 0 0 426 10 0 0 20 0 16 0 77625612 10985725952 60017 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2682062 60017 3146 1 0 2644553 0
[pid=8897/tid=8899] ppid=8894 vsize=10728248 memory=10799 CPUtime=1.42 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) R 8894 8897 8644 0 -1 4202560 5971 0 0 0 138 4 0 0 20 0 16 0 77625613 10985725952 60017 33554432000 4194304 4196468 140732472752176 140122406078328 140122386444517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10728248 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 77625613 10985725952 60017 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10728248 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 16 0 77625613 10985725952 60017 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10728248 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 16 0 77625613 10985725952 60017 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10728248 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 77625613 10985725952 60017 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10728248 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 77625615 10985725952 60017 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
################
# More data... #
################
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 77625615 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121893475552 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10725652 memory=2378436 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 77625615 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121892422400 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10725652 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10725652 memory=23420 CPUtime=1.72 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) S 8894 8897 8644 0 -1 1077944384 8496 0 0 0 171 1 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121890319088 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.6 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 7716 0 0 0 159 1 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10725652 memory=2378436 CPUtime=0.5 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) S 8894 8897 8644 0 -1 1077944384 4242 0 0 0 49 1 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121888213488 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10725652 memory=2378436 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.34 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 2856 0 0 0 67 67 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8913] ppid=8894 vsize=10725652 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8913/stat : 8913 (java) S 8894 8897 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77625730 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121885054000 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 2390.41 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2378436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2391.9 s]
/proc/loadavg: 2.00 1.99 1.98 3/217 9087
/proc/meminfo: memFree=21504164/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10725652 memory=2378436 CPUtime=2400.01 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 104022 0 0 0 239758 243 0 0 20 0 16 0 77625612 10983067648 594609 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2681413 594609 3183 1 0 2643904 0
[pid=8897/tid=8899] ppid=8894 vsize=10725652 memory=2378436 CPUtime=2390.53 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) R 8894 8897 8644 0 -1 4202560 39775 0 0 0 239034 19 0 0 20 0 16 0 77625613 10983067648 594609 33554432000 4194304 4196468 140732472752176 140122406083904 140122043807815 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.01 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 5998 0 0 0 61 40 0 0 20 0 16 0 77625613 10983067648 594609 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.03 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 7476 0 0 0 62 41 0 0 20 0 16 0 77625613 10983067648 594609 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.04 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 8825 0 0 0 63 41 0 0 20 0 16 0 77625613 10983067648 594609 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.01 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 7952 0 0 0 61 40 0 0 20 0 16 0 77625613 10983067648 594609 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10725652 memory=2378436 CPUtime=0.12 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 9246 0 0 0 9 3 0 0 20 0 16 0 77625615 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8905] ppid=8894 vsize=10725652 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 77625615 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121893475552 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10725652 memory=23420 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 77625615 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121892422400 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10725652 memory=2378436 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.72 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) S 8894 8897 8644 0 -1 1077944384 8496 0 0 0 171 1 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121890319088 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10725652 memory=2378436 CPUtime=1.6 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 7716 0 0 0 159 1 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10725652 memory=2378436 CPUtime=0.5 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) S 8894 8897 8644 0 -1 1077944384 4242 0 0 0 49 1 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121888213488 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10725652 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10725652 memory=920 CPUtime=1.35 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 2856 0 0 0 68 67 0 0 20 0 16 0 77625618 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8913] ppid=8894 vsize=10725652 memory=2378436 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8913/stat : 8913 (java) S 8894 8897 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77625730 10983067648 594609 33554432000 4194304 4196468 140732472752176 140121885054000 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2378436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.15 s]
# the end of solver process 8897 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.63 s, system=2.44921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.01 s]*
/proc/loadavg: 2.00 1.99 1.98 1/219 9093
/proc/meminfo: memFree=21503900/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10925344 memory=2378724 CPUtime=2400.02 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 104668 0 0 0 239759 243 0 0 20 0 17 0 77625612 11187552256 594681 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2731336 594681 3186 1 0 2693827 0
[pid=8897/tid=8899] ppid=8894 vsize=10925344 memory=8112282956445269571 CPUtime=2390.53 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) S 8894 8897 8644 0 -1 1077944384 39819 0 0 0 239034 19 0 0 20 0 17 0 77625613 11187552256 594681 33554432000 4194304 4196468 140732472752176 140122406087856 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10925344 memory=4872558044660077418 CPUtime=1.01 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 5998 0 0 0 61 40 0 0 20 0 17 0 77625613 11187552256 594681 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10925344 memory=3848 CPUtime=1.03 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 7476 0 0 0 62 41 0 0 20 0 17 0 77625613 11187552256 594681 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10925344 memory=2588 CPUtime=1.04 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 8825 0 0 0 63 41 0 0 20 0 17 0 77625613 11187552256 594681 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10925344 memory=2588 CPUtime=1.01 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 7952 0 0 0 61 40 0 0 20 0 17 0 77625613 11187552256 594681 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10925344 memory=4100 CPUtime=0.12 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 9246 0 0 0 9 3 0 0 20 0 17 0 77625615 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8905] ppid=8894 vsize=10925344 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 77625615 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121893475552 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10925344 memory=3340 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 77625615 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121892422400 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10925344 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 17 0 77625618 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10925344 memory=1408 CPUtime=1.72 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) S 8894 8897 8644 0 -1 1077944384 8496 0 0 0 171 1 0 0 20 0 17 0 77625618 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121890319088 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10925344 memory=1728 CPUtime=1.6 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 7716 0 0 0 159 1 0 0 20 0 17 0 77625618 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10925344 memory=1708 CPUtime=0.51 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) S 8894 8897 8644 0 -1 1077944384 4394 0 0 0 50 1 0 0 20 0 17 0 77625618 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121888213488 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10925344 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77625618 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10925344 memory=4612 CPUtime=1.35 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 2856 0 0 0 68 67 0 0 20 0 17 0 77625618 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=9091] ppid=8894 vsize=10925344 memory=9920 CPUtime=0 cores=0,2,4,6
/proc/8897/task/9091/stat : 9091 (java) S 8894 8897 8644 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 17 0 77864803 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121884000240 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=9092] ppid=8894 vsize=10925344 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/8897/task/9092/stat : 9092 (java) S 8894 8897 8644 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 77864803 11187552256 594681 33554432000 4194304 4196468 140732472752176 140121882948624 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2378724 KiB
[startup+2392.11 s]
/proc/loadavg: 2.00 1.99 1.98 1/219 9093
/proc/meminfo: memFree=21503900/32770624 swapFree=67108860/67108860
[pid=8897] ppid=8894 vsize=10925344 memory=2378820 CPUtime=2400.03 cores=0,2,4,6
/proc/8897/stat : 8897 (java) S 8894 8897 8644 0 -1 1077944320 104859 0 0 0 239760 243 0 0 20 0 17 0 77625612 11187552256 594705 33554432000 4194304 4196468 140732472752176 140732472734720 140122401844983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
/proc/8897/statm: 2731336 594705 3186 1 0 2693827 0
[pid=8897/tid=8899] ppid=8894 vsize=10925344 memory=2378436 CPUtime=2390.53 cores=0,2,4,6
/proc/8897/task/8899/stat : 8899 (java) S 8894 8897 8644 0 -1 1077944384 39819 0 0 0 239034 19 0 0 20 0 17 0 77625613 11187552256 594705 33554432000 4194304 4196468 140732472752176 140122406087856 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8900] ppid=8894 vsize=10925344 memory=2378436 CPUtime=1.01 cores=0,2,4,6
/proc/8897/task/8900/stat : 8900 (java) S 8894 8897 8644 0 -1 1077944384 5998 0 0 0 61 40 0 0 20 0 17 0 77625613 11187552256 594705 33554432000 4194304 4196468 140732472752176 140122008251408 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8901] ppid=8894 vsize=10925344 memory=2378436 CPUtime=1.03 cores=0,2,4,6
/proc/8897/task/8901/stat : 8901 (java) S 8894 8897 8644 0 -1 1077944384 7476 0 0 0 62 41 0 0 20 0 17 0 77625613 11187552256 594705 33554432000 4194304 4196468 140732472752176 140122007198864 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8902] ppid=8894 vsize=10925344 memory=2378436 CPUtime=1.04 cores=0,2,4,6
/proc/8897/task/8902/stat : 8902 (java) S 8894 8897 8644 0 -1 1077944384 8825 0 0 0 63 41 0 0 20 0 17 0 77625613 11187552256 594705 33554432000 4194304 4196468 140732472752176 140122006145808 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8903] ppid=8894 vsize=10925344 memory=2378436 CPUtime=1.01 cores=0,2,4,6
/proc/8897/task/8903/stat : 8903 (java) S 8894 8897 8644 0 -1 1077944384 7952 0 0 0 61 40 0 0 20 0 17 0 77625613 11187552256 594705 33554432000 4194304 4196468 140732472752176 140122005093264 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8904] ppid=8894 vsize=10925344 memory=2378436 CPUtime=0.12 cores=0,2,4,6
/proc/8897/task/8904/stat : 8904 (java) S 8894 8897 8644 0 -1 1077944384 9246 0 0 0 9 3 0 0 20 0 17 0 77625615 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121894529264 140122401856130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8905] ppid=8894 vsize=10925344 memory=2378436 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8905/stat : 8905 (java) S 8894 8897 8644 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 77625615 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121893475552 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8906] ppid=8894 vsize=10925344 memory=2378436 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8906/stat : 8906 (java) S 8894 8897 8644 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 77625615 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121892422400 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8907] ppid=8894 vsize=10925344 memory=2378436 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8907/stat : 8907 (java) S 8894 8897 8644 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 17 0 77625618 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121891370960 140122401863579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8908] ppid=8894 vsize=10925344 memory=2378436 CPUtime=1.72 cores=0,2,4,6
/proc/8897/task/8908/stat : 8908 (java) S 8894 8897 8644 0 -1 1077944384 8496 0 0 0 171 1 0 0 20 0 17 0 77625618 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121890319088 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8909] ppid=8894 vsize=10925344 memory=2378436 CPUtime=1.6 cores=0,2,4,6
/proc/8897/task/8909/stat : 8909 (java) S 8894 8897 8644 0 -1 1077944384 7761 0 0 0 159 1 0 0 20 0 17 0 77625618 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121889266544 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8910] ppid=8894 vsize=10925344 memory=4136 CPUtime=0.51 cores=0,2,4,6
/proc/8897/task/8910/stat : 8910 (java) S 8894 8897 8644 0 -1 1077944384 4420 0 0 0 50 1 0 0 20 0 17 0 77625618 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121888213488 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8911] ppid=8894 vsize=10925344 memory=23420 CPUtime=0 cores=0,2,4,6
/proc/8897/task/8911/stat : 8911 (java) S 8894 8897 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77625618 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121887161184 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=8912] ppid=8894 vsize=10925344 memory=1696 CPUtime=1.35 cores=0,2,4,6
/proc/8897/task/8912/stat : 8912 (java) S 8894 8897 8644 0 -1 1077944384 2856 0 0 0 68 67 0 0 20 0 17 0 77625618 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121886108208 140122401856130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=9091] ppid=8894 vsize=10925344 memory=920 CPUtime=0 cores=0,2,4,6
/proc/8897/task/9091/stat : 9091 (java) S 8894 8897 8644 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 17 0 77864803 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121884000240 140122401855189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
[pid=8897/tid=9092] ppid=8894 vsize=10925344 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/8897/task/9092/stat : 9092 (java) R 8894 8897 8644 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 17 0 77864803 11187552256 594705 33554432000 4194304 4196468 140732472752176 140121882948624 140122384060253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20107264 140732472755313 140732472755465 140732472755465 140732472758223 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2378820 KiB
Child status: 143
Real time (s): 2392.15
CPU time (s): 2400.08
CPU user time (s): 2397.63
CPU system time (s): 2.44921
CPU usage (%): 100.332
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 2378820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.63
system time used= 2.44921
maximum resident set size= 2379092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105074
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54443
involuntary context switches= 3062
# summary of solver processes directly reported to runsolver:
# pid: 8897
# total CPU time (s): 2400.08
# total CPU user time (s): 2397.63
# total CPU system time (s): 2.44921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6782 second user time and 22.2164 second system time
The end