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 (10297 MiB free)
memory of node 1: 16384 MiB (15404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263168-1502604075/watcher-4263168-1502604075 -o /tmp/evaluation-result-4263168-1502604075/solver-4263168-1502604075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263168-1502604075.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14882, runsolver pid=14879
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 1.98 1.97 2.01 3/203 14888
/proc/meminfo: memFree=26316016/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=9936560 memory=18888 CPUtime=0.01 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 3499 0 0 0 1 0 0 0 20 0 6 0 14290159 10175037440 4722 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2484140 4722 1923 1 0 2473637 0
[pid=14882/tid=14884] ppid=14879 vsize=9936560 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 7968 0 -1 4202560 2195 0 0 0 1 0 0 0 20 0 6 0 14290168 10175037440 4722 18446744073709551615 4194304 4196468 140728301501232 139852968317520 139852964103325 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14290169 10175037440 4722 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=9936560 memory=140507021260416 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14290169 10175037440 4722 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14290169 10175037440 4722 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=9936560 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14290169 10175037440 4722 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 18888 KiB
[startup+0.209961 s]*
/proc/loadavg: 1.98 1.97 2.01 2/211 14896
/proc/meminfo: memFree=26307252/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=10551156 memory=23076 CPUtime=0.05 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 4727 0 0 0 5 0 0 0 20 0 15 0 14290159 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2637789 5769 2602 1 0 2627261 0
[pid=14882/tid=14884] ppid=14879 vsize=10551156 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 7968 0 -1 4202560 2840 0 0 0 4 0 0 0 20 0 15 0 14290168 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852968321584 139852857160030 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=10551156 memory=326 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=10551156 memory=140507021271338 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14889] ppid=14879 vsize=10551156 memory=140507021260416 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14290170 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14290171 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852527170336 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14290171 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852526118000 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290173 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 7968 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 14290173 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852456651376 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290173 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852455598576 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10551156 memory=140507021260416 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 14290173 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290174 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10551156 memory=140507021260416 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290181 10804383744 5769 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 23076 KiB
[startup+0.313725 s]*
/proc/loadavg: 1.98 1.97 2.01 3/212 14897
/proc/meminfo: memFree=26296296/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=10551156 memory=35572 CPUtime=0.22 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 8210 0 0 0 20 2 0 0 20 0 15 0 14290159 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2637789 8893 2858 1 0 2627261 0
[pid=14882/tid=14884] ppid=14879 vsize=10551156 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 7968 0 -1 4202560 5850 0 0 0 13 1 0 0 20 0 15 0 14290168 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852968319888 139852948161886 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14290169 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14889] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14290170 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14290171 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852527170336 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14290171 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852526118000 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290173 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 7968 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 15 0 14290173 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852456651376 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 14290173 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852455598576 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 15 0 14290173 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10551156 memory=140507021260416 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290174 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290181 10804383744 8893 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35572 KiB
[startup+0.700801 s]
/proc/loadavg: 1.98 1.97 2.01 4/212 14897
/proc/meminfo: memFree=26284888/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=10551232 memory=90412 CPUtime=1.19 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 12783 0 0 0 115 4 0 0 20 0 15 0 14290159 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2637808 22603 3060 1 0 2627261 0
[pid=14882/tid=14884] ppid=14879 vsize=10551232 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 7968 0 -1 4202560 7511 0 0 0 49 3 0 0 20 0 15 0 14290168 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852968317920 139852944924288 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=10551232 memory=140506902426487 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=10551232 memory=281013804951136 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290169 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=10551232 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14290169 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14889] ppid=14879 vsize=10551232 memory=17 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14290170 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10551232 memory=65 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14290171 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852527170336 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10551232 memory=54 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14290171 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852526118000 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10551232 memory=76 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290173 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10551232 memory=7 CPUtime=0.2 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) R 14879 14882 7968 0 -1 4202560 1499 0 0 0 20 0 0 0 20 0 15 0 14290173 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852456632392 139852944781696 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10551232 memory=2 CPUtime=0.17 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) R 14879 14882 7968 0 -1 4202560 1082 0 0 0 17 0 0 0 20 0 15 0 14290173 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852455586168 139852943917737 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10551232 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 1321 0 0 0 27 0 0 0 20 0 15 0 14290173 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10551232 memory=281013804682784 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290174 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10551232 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290181 10804461568 22603 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 90412 KiB
[startup+1.50081 s]
/proc/loadavg: 1.98 1.97 2.01 5/212 14897
/proc/meminfo: memFree=26113876/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=10551232 memory=273436 CPUtime=3.73 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 23524 0 0 0 361 12 0 0 20 0 15 0 14290159 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2637808 68359 3100 1 0 2627261 0
[pid=14882/tid=14884] ppid=14879 vsize=10551232 memory=68261257415412 CPUtime=1.24 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 7968 0 -1 4202560 7589 0 0 0 119 5 0 0 20 0 15 0 14290168 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852968307888 139852946028678 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=10551232 memory=68261257415412 CPUtime=0.02 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 15 0 14290169 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=10551232 memory=68261257415412 CPUtime=0.02 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 15 0 14290169 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=10551232 memory=68261257415156 CPUtime=0.04 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 108 0 0 0 3 1 0 0 20 0 15 0 14290169 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=10551232 memory=68261257415156 CPUtime=0.05 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 135 0 0 0 4 1 0 0 20 0 15 0 14290169 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14889] ppid=14879 vsize=10551232 memory=16724602654207 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 14290170 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10551232 memory=7666903850705972072 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14290171 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852527170336 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10551232 memory=7373361613652385856 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 14290171 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852526118000 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10551232 memory=5865469479800824941 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290173 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10551232 memory=5865465064658194540 CPUtime=0.95 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) R 14879 14882 7968 0 -1 4202560 5428 0 0 0 94 1 0 0 20 0 15 0 14290173 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852456649776 139852942104074 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10551232 memory=7300728970739542608 CPUtime=0.97 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) R 14879 14882 7968 0 -1 4202560 6704 0 0 0 97 0 0 0 20 0 15 0 14290173 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852455598704 139852943294096 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10551232 memory=7007712420471858773 CPUtime=0.34 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 1969 0 0 0 34 0 0 0 20 0 15 0 14290173 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10551232 memory=7300728970739542608 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14290174 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10551232 memory=7300728970739542608 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14290181 10804461568 68359 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 3.73 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 24411 0 0 0 802 4 0 0 20 0 16 0 14290170 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10617796 memory=6116836 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 14290171 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852527170400 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10617796 memory=6116836 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 14290171 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852526118016 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10617796 memory=6116836 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10617796 memory=1440 CPUtime=1.91 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 7968 0 -1 1077944384 16278 0 0 0 189 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852456651376 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10617796 memory=9916 CPUtime=2.21 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 7968 0 -1 1077944384 17379 0 0 0 219 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852455598576 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10617796 memory=4124 CPUtime=0.53 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 8438 0 0 0 51 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10617796 memory=11932 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14290174 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10617796 memory=4124 CPUtime=1.45 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 2626 0 0 0 63 82 0 0 20 0 16 0 14290181 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14900] ppid=14879 vsize=10617796 memory=11932 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 14294754 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852451386032 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 2402.49 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 6116836 KiB
[startup+2382.3 s]
/proc/loadavg: 1.84 2.23 2.67 3/213 15293
/proc/meminfo: memFree=24988648/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=10617796 memory=6116836 CPUtime=2462.53 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 782433 0 0 0 245767 486 0 0 20 0 16 0 14290159 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2654449 1529209 3145 1 0 2643902 0
[pid=14882/tid=14884] ppid=14879 vsize=10617796 memory=6116836 CPUtime=2348.73 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 7968 0 -1 4202560 581875 0 0 0 234808 65 0 0 20 0 16 0 14290168 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852968317120 139852611331487 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=10617796 memory=6116836 CPUtime=24.83 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 30928 0 0 0 2393 90 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=10617796 memory=6116836 CPUtime=24.98 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 45832 0 0 0 2422 76 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=10617796 memory=6116836 CPUtime=24.83 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 22603 0 0 0 2396 87 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=10617796 memory=2257 CPUtime=24.87 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 30558 0 0 0 2400 87 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14889] ppid=14879 vsize=10617796 memory=6116836 CPUtime=8.06 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 24420 0 0 0 802 4 0 0 20 0 16 0 14290170 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10617796 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 14290171 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852527170400 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10617796 memory=11932 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 14290171 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852526118016 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10617796 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10617796 memory=11932 CPUtime=1.91 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 7968 0 -1 1077944384 16284 0 0 0 189 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852456651376 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10617796 memory=6116836 CPUtime=2.21 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 7968 0 -1 1077944384 17389 0 0 0 219 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852455598576 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10617796 memory=6116836 CPUtime=0.53 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 8442 0 0 0 51 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10617796 memory=6116836 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14290174 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10617796 memory=6116836 CPUtime=1.49 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 2667 0 0 0 65 84 0 0 20 0 16 0 14290181 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14900] ppid=14879 vsize=10617796 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 14294754 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852451386032 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 2462.53 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 6116836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2439.8 s]
/proc/loadavg: 1.94 2.19 2.63 3/213 15297
/proc/meminfo: memFree=24963196/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=10617796 memory=6116836 CPUtime=2520.06 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 787667 0 0 0 251518 488 0 0 20 0 16 0 14290159 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2654449 1529209 3145 1 0 2643902 0
[pid=14882/tid=14884] ppid=14879 vsize=10617796 memory=1732 CPUtime=2406.23 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 7968 0 -1 4202560 586973 0 0 0 240557 66 0 0 20 0 16 0 14290168 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852968317120 139852610984750 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=10617796 memory=1700 CPUtime=24.83 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 30928 0 0 0 2393 90 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=10617796 memory=1228 CPUtime=24.98 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 45832 0 0 0 2422 76 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=10617796 memory=1000 CPUtime=24.83 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 22603 0 0 0 2396 87 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=10617796 memory=15872 CPUtime=24.87 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 30558 0 0 0 2400 87 0 0 20 0 16 0 14290169 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14889] ppid=14879 vsize=10617796 memory=4040 CPUtime=8.06 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 24438 0 0 0 802 4 0 0 20 0 16 0 14290170 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10617796 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 14290171 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852527170400 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10617796 memory=8032 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 14290171 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852526118016 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10617796 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10617796 memory=640 CPUtime=1.91 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 7968 0 -1 1077944384 16304 0 0 0 189 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852456651376 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10617796 memory=1792 CPUtime=2.21 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 7968 0 -1 1077944384 17401 0 0 0 219 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852455598576 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10617796 memory=960 CPUtime=0.53 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 8450 0 0 0 51 2 0 0 20 0 16 0 14290173 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10617796 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14290174 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10617796 memory=4304 CPUtime=1.52 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 2745 0 0 0 67 85 0 0 20 0 16 0 14290181 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14900] ppid=14879 vsize=10617796 memory=1588 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 14294754 10872623104 1529209 18446744073709551615 4194304 4196468 140728301501232 139852451386032 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 6116836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2440.05 s]
# the end of solver process 14882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.3 s, system=4.91926 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2440 s]*
/proc/loadavg: 1.94 2.19 2.63 2/214 15300
/proc/meminfo: memFree=24963196/32770624 swapFree=67108860/67108860
[pid=14882] ppid=14879 vsize=10817488 memory=6117144 CPUtime=2520.16 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 7968 0 -1 1077944320 788835 0 0 0 251528 488 0 0 20 0 17 0 14290159 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 140728301483776 139852964081399 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
/proc/14882/statm: 2704372 1529286 3148 1 0 2693825 0
[pid=14882/tid=14884] ppid=14879 vsize=10817488 memory=1398720917958146503 CPUtime=2406.32 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) S 14879 14882 7968 0 -1 1077944384 587100 0 0 0 240566 66 0 0 20 0 17 0 14290168 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852968324272 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14885] ppid=14879 vsize=10817488 memory=3196 CPUtime=24.83 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 7968 0 -1 1077944384 30928 0 0 0 2393 90 0 0 20 0 17 0 14290169 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852574960528 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14886] ppid=14879 vsize=10817488 memory=6116836 CPUtime=24.98 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 7968 0 -1 1077944384 45832 0 0 0 2422 76 0 0 20 0 17 0 14290169 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852573907728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14887] ppid=14879 vsize=10817488 memory=1152 CPUtime=24.83 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 7968 0 -1 1077944384 22603 0 0 0 2396 87 0 0 20 0 17 0 14290169 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852572855440 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14888] ppid=14879 vsize=10817488 memory=3292 CPUtime=24.87 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 7968 0 -1 1077944384 30558 0 0 0 2400 87 0 0 20 0 17 0 14290169 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852571802640 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14889] ppid=14879 vsize=10817488 memory=418736 CPUtime=8.06 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 7968 0 -1 1077944384 24488 0 0 0 802 4 0 0 20 0 17 0 14290170 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852528224368 139852964092546 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14890] ppid=14879 vsize=10817488 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 14290171 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852527170400 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14891] ppid=14879 vsize=10817488 memory=11932 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 7968 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 14290171 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852526118016 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14892] ppid=14879 vsize=10817488 memory=6116836 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 7968 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 17 0 14290173 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852525066320 139852964099995 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14893] ppid=14879 vsize=10817488 memory=1398720917958146503 CPUtime=1.91 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 7968 0 -1 1077944384 16444 0 0 0 189 2 0 0 20 0 17 0 14290173 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852456651376 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14894] ppid=14879 vsize=10817488 memory=4304 CPUtime=2.21 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 7968 0 -1 1077944384 17401 0 0 0 219 2 0 0 20 0 17 0 14290173 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852455598576 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14895] ppid=14879 vsize=10817488 memory=3880 CPUtime=0.53 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 7968 0 -1 1077944384 8592 0 0 0 51 2 0 0 20 0 17 0 14290173 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852454546288 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14896] ppid=14879 vsize=10817488 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 14290174 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852453493728 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=14897] ppid=14879 vsize=10817488 memory=4612 CPUtime=1.52 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 7968 0 -1 1077944384 2745 0 0 0 67 85 0 0 20 0 17 0 14290181 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852452440496 139852964092546 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=15298] ppid=14879 vsize=10817488 memory=792 CPUtime=0 cores=1,3,5,7
/proc/14882/task/15298/stat : 15298 (java) S 14879 14882 7968 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 17 0 14534140 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852450333040 139852964091605 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
[pid=14882/tid=15299] ppid=14879 vsize=10817488 memory=8676 CPUtime=0 cores=1,3,5,7
/proc/14882/task/15299/stat : 15299 (java) R 14879 14882 7968 0 -1 4202560 190 0 0 0 0 0 0 0 20 0 17 0 14534140 11077107712 1529286 18446744073709551615 4194304 4196468 140728301501232 139852449281168 139852605586456 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140728301506961 140728301507114 140728301507114 140728301510607 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 6117144 KiB
Child status: 143
Real time (s): 2440.05
CPU time (s): 2520.22
CPU user time (s): 2515.3
CPU system time (s): 4.91926
CPU usage (%): 103.285
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 6117144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.3
system time used= 4.91927
maximum resident set size= 6117336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 789015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57639
involuntary context switches= 1568
# summary of solver processes directly reported to runsolver:
# pid: 14882
# total CPU time (s): 2520.22
# total CPU user time (s): 2515.3
# total CPU system time (s): 4.91926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0304 second user time and 24.7458 second system time
The end