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 (7248 MiB free)
memory of node 1: 16384 MiB (15611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257905-1502650584/watcher-4257905-1502650584 -o /tmp/evaluation-result-4257905-1502650584/solver-4257905-1502650584 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257905-1502650584.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16167, runsolver pid=16164
[startup+0.100092 s]*
/proc/loadavg: 4.62 4.10 3.71 6/204 16176
/proc/meminfo: memFree=23395628/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10151672 memory=21436 CPUtime=0.04 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 4237 0 0 0 3 1 0 0 20 0 9 0 67251669 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2537918 5359 2156 1 0 2527415 0
[pid=16167/tid=16169] ppid=16164 vsize=10151672 memory=4206751525541407381 CPUtime=0.03 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) R 16164 16167 17093 0 -1 4202560 2879 0 0 0 3 0 0 0 20 0 9 0 67251675 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140382413950840 140382409737373 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67251676 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140382350752016 140382409725653 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10151672 memory=139693503219328 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67251676 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140382349699472 140382409725653 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67251676 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140382018857488 140382409725653 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67251676 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140382017804944 140382409725653 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10151672 memory=139693503219328 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67251677 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140381906536944 140382409726594 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 67251678 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140381905483168 140382409725653 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 67251678 10395312128 5359 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 21436 KiB
[startup+0.211561 s]*
/proc/loadavg: 4.62 4.10 3.71 3/210 16182
/proc/meminfo: memFree=23391320/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10551156 memory=29976 CPUtime=0.12 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 7613 0 0 0 10 2 0 0 20 0 15 0 67251669 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2637789 7494 2783 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551156 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) R 16164 16167 17093 0 -1 4202560 5526 0 0 0 7 1 0 0 20 0 15 0 67251675 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140382413903792 140382409727382 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140382350752016 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551156 memory=3979122973593765536 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140382349699472 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140382018857488 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140382017804944 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551156 memory=139693503219328 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67251677 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381906536944 140382409726594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67251678 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381905483168 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251680 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381903379152 140382409734043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) S 16164 16167 17093 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 67251680 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381902325744 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251680 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381901273200 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551156 memory=139693503219328 CPUtime=0.01 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) R 16164 16167 17093 0 -1 4202560 293 0 0 0 1 0 0 0 20 0 15 0 67251680 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381900220656 140382393963838 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16181] ppid=16164 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16181/stat : 16181 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251681 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381899168352 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16182] ppid=16164 vsize=10551156 memory=139693503219328 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16182/stat : 16182 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67251687 10804383744 7494 18446744073709551615 4194304 4196468 140728826635952 140381898115888 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 29976 KiB
[startup+0.312261 s]*
/proc/loadavg: 4.62 4.10 3.71 4/210 16182
/proc/meminfo: memFree=23381284/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10551156 memory=39128 CPUtime=0.28 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 8988 0 0 0 26 2 0 0 20 0 15 0 67251669 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2637789 9782 2908 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551156 memory=-7677926825137650786 CPUtime=0.19 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) R 16164 16167 17093 0 -1 4202560 6176 0 0 0 17 2 0 0 20 0 15 0 67251675 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140382413954352 140382409737373 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140382350752016 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140382349699472 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140382018857488 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67251676 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140382017804944 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67251677 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381906536944 140382409726594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67251678 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381905483168 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251680 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381903379152 140382409734043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) S 16164 16167 17093 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 15 0 67251680 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381902325744 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) S 16164 16167 17093 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 15 0 67251680 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381901273200 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551156 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) R 16164 16167 17093 0 -1 4202560 829 0 0 0 5 0 0 0 20 0 15 0 67251680 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381900217024 140382389113772 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16181] ppid=16164 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16181/stat : 16181 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251681 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381899168352 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16182] ppid=16164 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16182/stat : 16182 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67251687 10804383744 9782 18446744073709551615 4194304 4196468 140728826635952 140381898115888 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39128 KiB
[startup+0.712871 s]
/proc/loadavg: 4.62 4.10 3.71 4/210 16182
/proc/meminfo: memFree=23325732/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10551232 memory=350888 CPUtime=1.29 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 10984 0 0 0 114 15 0 0 20 0 15 0 67251669 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2637808 87722 3074 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551232 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) S 16164 16167 17093 0 -1 1077944384 6886 0 0 0 46 6 0 0 20 0 15 0 67251675 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140382413952544 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551232 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) R 16164 16167 17093 0 -1 4202560 35 0 0 0 2 1 0 0 20 0 15 0 67251676 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140382350752016 140382391341366 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551232 memory=4612 CPUtime=0.03 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) R 16164 16167 17093 0 -1 4202560 44 0 0 0 2 1 0 0 20 0 15 0 67251676 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140382349699472 140382394743184 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551232 memory=1708 CPUtime=0.05 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) R 16164 16167 17093 0 -1 4202560 43 0 0 0 3 2 0 0 20 0 15 0 67251676 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140382018857688 140382391341206 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551232 memory=1444 CPUtime=0.05 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) R 16164 16167 17093 0 -1 4202560 49 0 0 0 3 2 0 0 20 0 15 0 67251676 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140382017804944 140382394739150 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 67251677 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381906535456 140382409725653 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381905483168 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251680 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381903379152 140382409734043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551232 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) S 16164 16167 17093 0 -1 1077944384 756 0 0 0 16 0 0 0 20 0 15 0 67251680 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381902325744 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551232 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) S 16164 16167 17093 0 -1 1077944384 537 0 0 0 21 0 0 0 20 0 15 0 67251680 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381901273200 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551232 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) S 16164 16167 17093 0 -1 1077944384 1066 0 0 0 19 0 0 0 20 0 15 0 67251680 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381900220656 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16181] ppid=16164 vsize=10551232 memory=15 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16181/stat : 16181 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251681 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381899168352 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16182] ppid=16164 vsize=10551232 memory=69 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16182/stat : 16182 (java) S 16164 16167 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67251687 10804461568 87722 18446744073709551615 4194304 4196468 140728826635952 140381898115888 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 350888 KiB
[startup+1.50081 s]
/proc/loadavg: 4.62 4.10 3.71 5/210 16182
/proc/meminfo: memFree=22848984/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10551232 memory=679060 CPUtime=3.02 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 15073 0 0 0 272 30 0 0 20 0 15 0 67251669 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2637808 169765 3097 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551232 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) R 16164 16167 17093 0 -1 4202560 7684 0 0 0 110 9 0 0 20 0 15 0 67251675 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140382413941096 140382032628213 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551232 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) S 16164 16167 17093 0 -1 1077944384 153 0 0 0 10 4 0 0 20 0 15 0 67251676 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140382350752016 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551232 memory=6673 CPUtime=0.14 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) S 16164 16167 17093 0 -1 1077944384 162 0 0 0 10 4 0 0 20 0 15 0 67251676 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140382349699472 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551232 memory=4420 CPUtime=0.15 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) S 16164 16167 17093 0 -1 1077944384 159 0 0 0 11 4 0 0 20 0 15 0 67251676 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140382018857488 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551232 memory=6628 CPUtime=0.16 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) S 16164 16167 17093 0 -1 1077944384 164 0 0 0 11 5 0 0 20 0 15 0 67251676 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140382017804944 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551232 memory=164 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 15 0 67251677 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140381906536944 140382409726594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140381905483232 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551232 memory=8772 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251680 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140381903379152 140382409734043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551232 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) R 16164 16167 17093 0 -1 4202560 2283 0 0 0 44 0 0 0 20 0 15 0 67251680 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140381902311928 140382394634444 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551232 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) R 16164 16167 17093 0 -1 4202560 1410 0 0 0 49 0 0 0 20 0 15 0 67251680 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140381901255360 140382391240616 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551232 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) S 16164 16167 17093 0 -1 1077944384 1183 0 0 0 22 0 0 0 20 0 15 0 67251680 10804461568 169765 18446744073709551615 4194304 4196468 140728826635952 140381900220656 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
################
# More data... #
################
/proc/16167/statm: 2637808 2064767 3115 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551232 memory=5788 CPUtime=13.61 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) S 16164 16167 17093 0 -1 1077944384 15256 0 0 0 1346 15 0 0 20 0 15 0 67251675 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382413948640 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551232 memory=4612 CPUtime=56.47 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) R 16164 16167 17093 0 -1 4202560 33768 0 0 0 5521 126 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382350751824 140382402343655 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551232 memory=1708 CPUtime=56.27 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) R 16164 16167 17093 0 -1 4202560 35633 0 0 0 5485 142 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382349699672 140382386940256 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551232 memory=1444 CPUtime=56.49 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) R 16164 16167 17093 0 -1 4202560 26736 0 0 0 5514 135 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382018857296 140382402343655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551232 memory=2276 CPUtime=56.7 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) R 16164 16167 17093 0 -1 4202560 38511 0 0 0 5512 158 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382017805064 140382402343655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551232 memory=4484 CPUtime=11.26 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 20241 0 0 0 1125 1 0 0 20 0 15 0 67251677 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381906535488 140382409725653 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551232 memory=6692 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381905483232 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551232 memory=8900 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551232 memory=11108 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381903379152 140382409734043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551232 memory=13316 CPUtime=0.51 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) S 16164 16167 17093 0 -1 1077944384 3707 0 0 0 51 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381902325792 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551232 memory=15524 CPUtime=0.55 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) S 16164 16167 17093 0 -1 1077944384 2375 0 0 0 55 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381901272960 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551232 memory=8259068 CPUtime=0.28 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) S 16164 16167 17093 0 -1 1077944384 3237 0 0 0 28 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381900220704 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16181] ppid=16164 vsize=10551232 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16181/stat : 16181 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251681 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381899168352 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16182] ppid=16164 vsize=10551232 memory=2160 CPUtime=0.04 cores=1,3,5,7
/proc/16167/task/16182/stat : 16182 (java) S 16164 16167 17093 0 -1 1077944384 466 0 0 0 3 1 0 0 20 0 15 0 67251687 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381898115888 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 252.27 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8259068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+84.4481 s]
# the end of solver process 16167 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.196 s, system=5.89755 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2007 s]
/proc/loadavg: 3.77 3.93 3.68 6/211 16260
/proc/meminfo: memFree=20334012/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10551232 memory=8259068 CPUtime=255.37 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 181292 0 0 0 24954 583 0 0 20 0 15 0 67251669 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2637808 2064767 3115 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551232 memory=16448 CPUtime=13.61 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) S 16164 16167 17093 0 -1 1077944384 15256 0 0 0 1346 15 0 0 20 0 15 0 67251675 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382413948640 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551232 memory=0 CPUtime=57.24 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) R 16164 16167 17093 0 -1 4202560 33768 0 0 0 5598 126 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382350751824 140382402343655 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551232 memory=7957689449132269630 CPUtime=57.07 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) R 16164 16167 17093 0 -1 4202560 35633 0 0 0 5565 142 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382349699672 140382391268699 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551232 memory=5787217125598910313 CPUtime=57.27 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) R 16164 16167 17093 0 -1 4202560 26736 0 0 0 5591 136 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382018857608 140382402343655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551232 memory=-8774313645642428999 CPUtime=57.46 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) R 16164 16167 17093 0 -1 4202560 38511 0 0 0 5588 158 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382017804752 140382402343655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551232 memory=0 CPUtime=11.26 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 20241 0 0 0 1125 1 0 0 20 0 15 0 67251677 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381906535488 140382409725653 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551232 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381905483232 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551232 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551232 memory=644 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381903378800 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551232 memory=-8774313645642428999 CPUtime=0.51 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) S 16164 16167 17093 0 -1 1077944384 3707 0 0 0 51 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381902325792 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551232 memory=15876 CPUtime=0.55 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) S 16164 16167 17093 0 -1 1077944384 2375 0 0 0 55 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381901272960 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551232 memory=4048 CPUtime=0.28 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) S 16164 16167 17093 0 -1 1077944384 3237 0 0 0 28 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381900220704 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16181] ppid=16164 vsize=10551232 memory=21300 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16181/stat : 16181 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251681 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381899168352 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16182] ppid=16164 vsize=10551232 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/16167/task/16182/stat : 16182 (java) S 16164 16167 17093 0 -1 1077944384 466 0 0 0 3 1 0 0 20 0 15 0 67251687 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381898115888 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 255.37 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8259068 KiB
[startup+84.0007 s]*
/proc/loadavg: 3.77 3.93 3.68 6/211 16260
/proc/meminfo: memFree=20334028/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10551232 memory=8259068 CPUtime=258.5 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 181292 0 0 0 25266 584 0 0 20 0 15 0 67251669 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2637808 2064767 3115 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551232 memory=-7677926825137650786 CPUtime=13.61 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) S 16164 16167 17093 0 -1 1077944384 15256 0 0 0 1346 15 0 0 20 0 15 0 67251675 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382413948640 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551232 memory=4872558044660077418 CPUtime=58.02 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) R 16164 16167 17093 0 -1 4202560 33768 0 0 0 5675 127 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382350751824 140382402343655 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551232 memory=13563795322702378 CPUtime=57.88 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) R 16164 16167 17093 0 -1 4202560 35633 0 0 0 5646 142 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382349699672 140382394705111 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551232 memory=33 CPUtime=58.03 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) R 16164 16167 17093 0 -1 4202560 26736 0 0 0 5667 136 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382018857608 140382402343655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551232 memory=8691514255285633087 CPUtime=58.23 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) R 16164 16167 17093 0 -1 4202560 38511 0 0 0 5665 158 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382017805064 140382402343655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551232 memory=9047017150487036575 CPUtime=11.26 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 20241 0 0 0 1125 1 0 0 20 0 15 0 67251677 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381906535488 140382409725653 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551232 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381905483232 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551232 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551232 memory=-8412652152092201843 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381903378800 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551232 memory=-6520478321162704286 CPUtime=0.51 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) S 16164 16167 17093 0 -1 1077944384 3707 0 0 0 51 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381902325792 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551232 memory=-7666414585839465563 CPUtime=0.55 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) S 16164 16167 17093 0 -1 1077944384 2375 0 0 0 55 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381901272960 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551232 memory=-7521736447810188379 CPUtime=0.28 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) S 16164 16167 17093 0 -1 1077944384 3237 0 0 0 28 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381900220704 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16181] ppid=16164 vsize=10551232 memory=8328453600958622283 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16181/stat : 16181 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251681 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381899168352 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16182] ppid=16164 vsize=10551232 memory=7897517683652307531 CPUtime=0.04 cores=1,3,5,7
/proc/16167/task/16182/stat : 16182 (java) S 16164 16167 17093 0 -1 1077944384 466 0 0 0 3 1 0 0 20 0 15 0 67251687 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381898115888 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 258.5 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8259068 KiB
[startup+84.4007 s]
/proc/loadavg: 3.77 3.93 3.68 6/211 16260
/proc/meminfo: memFree=20334028/32770624 swapFree=67108860/67108860
[pid=16167] ppid=16164 vsize=10551232 memory=8259068 CPUtime=260.02 cores=1,3,5,7
/proc/16167/stat : 16167 (java) S 16164 16167 17093 0 -1 1077944320 181302 0 0 0 25417 585 0 0 20 0 15 0 67251669 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140728826618496 140382409715447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
/proc/16167/statm: 2637808 2064767 3115 1 0 2627261 0
[pid=16167/tid=16169] ppid=16164 vsize=10551232 memory=0 CPUtime=13.61 cores=1,3,5,7
/proc/16167/task/16169/stat : 16169 (java) S 16164 16167 17093 0 -1 1077944384 15256 0 0 0 1346 15 0 0 20 0 15 0 67251675 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382413948640 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16170] ppid=16164 vsize=10551232 memory=0 CPUtime=58.4 cores=1,3,5,7
/proc/16167/task/16170/stat : 16170 (java) R 16164 16167 17093 0 -1 4202560 33768 0 0 0 5713 127 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382350751824 140382402343655 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16171] ppid=16164 vsize=10551232 memory=-8774313645642428999 CPUtime=58.27 cores=1,3,5,7
/proc/16167/task/16171/stat : 16171 (java) R 16164 16167 17093 0 -1 4202560 35642 0 0 0 5685 142 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382349699672 140382394711848 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16172] ppid=16164 vsize=10551232 memory=1444 CPUtime=58.4 cores=1,3,5,7
/proc/16167/task/16172/stat : 16172 (java) R 16164 16167 17093 0 -1 4202560 26736 0 0 0 5704 136 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382018857608 140382402343655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16173] ppid=16164 vsize=10551232 memory=1228 CPUtime=58.61 cores=1,3,5,7
/proc/16167/task/16173/stat : 16173 (java) R 16164 16167 17093 0 -1 4202560 38512 0 0 0 5702 159 0 0 20 0 15 0 67251676 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140382017804752 140382402343655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16174] ppid=16164 vsize=10551232 memory=8259056 CPUtime=11.26 cores=1,3,5,7
/proc/16167/task/16174/stat : 16174 (java) S 16164 16167 17093 0 -1 1077944384 20241 0 0 0 1125 1 0 0 20 0 15 0 67251677 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381906535488 140382409725653 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16175] ppid=16164 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16175/stat : 16175 (java) S 16164 16167 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381905483232 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16176] ppid=16164 vsize=10551232 memory=8259068 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16176/stat : 16176 (java) S 16164 16167 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67251678 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381904430576 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16177] ppid=16164 vsize=10551232 memory=8259060 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16177/stat : 16177 (java) S 16164 16167 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381903378800 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16178] ppid=16164 vsize=10551232 memory=2248 CPUtime=0.51 cores=1,3,5,7
/proc/16167/task/16178/stat : 16178 (java) S 16164 16167 17093 0 -1 1077944384 3707 0 0 0 51 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381902325792 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16179] ppid=16164 vsize=10551232 memory=4300 CPUtime=0.55 cores=1,3,5,7
/proc/16167/task/16179/stat : 16179 (java) S 16164 16167 17093 0 -1 1077944384 2375 0 0 0 55 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381901272960 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16180] ppid=16164 vsize=10551232 memory=932 CPUtime=0.28 cores=1,3,5,7
/proc/16167/task/16180/stat : 16180 (java) S 16164 16167 17093 0 -1 1077944384 3237 0 0 0 28 0 0 0 20 0 15 0 67251680 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381900220704 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16181] ppid=16164 vsize=10551232 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/16167/task/16181/stat : 16181 (java) S 16164 16167 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67251681 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381899168352 140382409725653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
[pid=16167/tid=16182] ppid=16164 vsize=10551232 memory=2160 CPUtime=0.04 cores=1,3,5,7
/proc/16167/task/16182/stat : 16182 (java) S 16164 16167 17093 0 -1 1077944384 466 0 0 0 3 1 0 0 20 0 15 0 67251687 10804461568 2064767 18446744073709551615 4194304 4196468 140728826635952 140381898115888 140382409726594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33378304 140728826638741 140728826638894 140728826638894 140728826642383 0
Current children cumulated CPU time: 260.02 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8259068 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 84.4482
CPU time (s): 260.093
CPU user time (s): 254.196
CPU system time (s): 5.89755
CPU usage (%): 307.992
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8259068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.196
system time used= 5.89755
maximum resident set size= 8259364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181306
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6536
involuntary context switches= 2626
# summary of solver processes directly reported to runsolver:
# pid: 16167
# total CPU time (s): 260.093
# total CPU user time (s): 254.196
# total CPU system time (s): 5.89755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.533295 second user time and 0.843648 second system time
The end