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 (10335 MiB free)
memory of node 1: 16384 MiB (15521 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302207-1532888363/watcher-4302207-1532888363 -o /tmp/evaluation-result-4302207-1532888363/solver-4302207-1532888363 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10060 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302207-1532888363.xml
running on 4 cores: 0,2,4,6
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
solver pid=15171, runsolver pid=15168
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 2.06 2.85 2.70 4/216 15186
/proc/meminfo: memFree=26462812/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10659012 memory=30472 CPUtime=0.13 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 6684 0 0 0 11 2 0 0 20 0 15 0 106399463 10914828288 7618 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2664753 7618 2843 1 0 2627263 0
[pid=15171/tid=15173] ppid=15168 vsize=10659012 memory=-8773748148829982335 CPUtime=0.09 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) R 15168 15171 10029 0 -1 4202560 4520 0 0 0 8 1 0 0 20 0 15 0 106399463 10914828288 7618 33554432000 4194304 4196468 140725445402704 140224406009792 140223988240384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 7618 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10659012 memory=140653737956992 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 7618 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 7618 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 7618 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10659012 memory=140653737956992 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399466 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106399466 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106399466 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 10029 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223634725360 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 10029 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223633672816 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10659012 memory=140653737956992 CPUtime=0.02 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) R 15168 15171 10029 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 106399469 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223632620272 140224401810010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10659012 memory=140653737956992 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 7618 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30472 KiB
[startup+0.210916 s]*
/proc/loadavg: 2.06 2.85 2.70 3/216 15186
/proc/meminfo: memFree=26451648/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10659012 memory=42112 CPUtime=0.33 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 8122 0 0 0 31 2 0 0 20 0 15 0 106399463 10914828288 10528 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2664753 10528 3011 1 0 2627263 0
[pid=15171/tid=15173] ppid=15168 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) R 15168 15171 10029 0 -1 4202560 5024 0 0 0 18 1 0 0 20 0 15 0 106399463 10914828288 10528 33554432000 4194304 4196468 140725445402704 140224406019552 140224385832293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 10528 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10659012 memory=288371029889668736 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 10528 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 10528 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914828288 10528 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10659012 memory=140653737956992 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399466 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106399466 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106399466 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 10029 0 -1 1077944384 662 0 0 0 2 0 0 0 20 0 15 0 106399469 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223634725360 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 10029 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 106399469 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223633672816 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10659012 memory=140653737956992 CPUtime=0.07 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) S 15168 15171 10029 0 -1 1077944384 676 0 0 0 7 0 0 0 20 0 15 0 106399469 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223632620272 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10659012 memory=140653737956992 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106399469 10914828288 10528 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42112 KiB
[startup+0.314827 s]*
/proc/loadavg: 2.06 2.85 2.70 5/216 15186
/proc/meminfo: memFree=26444204/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10659088 memory=47480 CPUtime=0.54 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 8985 0 0 0 52 2 0 0 20 0 15 0 106399463 10914906112 11870 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2664772 11870 3037 1 0 2627263 0
[pid=15171/tid=15173] ppid=15168 vsize=10659088 memory=7022364594140610616 CPUtime=0.31 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) R 15168 15171 10029 0 -1 4202560 5635 0 0 0 29 2 0 0 20 0 15 0 106399463 10914906112 11870 33554432000 4194304 4196468 140725445402704 140224406024208 140224401800598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10659088 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914906112 11870 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10659088 memory=288371029889668736 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914906112 11870 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106399464 10914906112 11870 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399464 10914906112 11870 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10659088 memory=140653737956992 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106399466 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106399466 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106399466 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106399469 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 10029 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 106399469 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223634725360 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 10029 0 -1 1077944384 505 0 0 0 4 0 0 0 20 0 15 0 106399469 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223633672816 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10659088 memory=140653737956992 CPUtime=0.13 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) S 15168 15171 10029 0 -1 1077944384 780 0 0 0 13 0 0 0 20 0 15 0 106399469 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223632620272 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106399469 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10659088 memory=140653737956992 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106399469 10914906112 11870 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47480 KiB
[startup+0.700754 s]
/proc/loadavg: 2.06 2.85 2.70 6/216 15186
/proc/meminfo: memFree=26422672/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10727700 memory=113912 CPUtime=1.68 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 13626 0 0 0 164 4 0 0 20 0 16 0 106399463 10985164800 28478 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2681925 28478 3114 1 0 2644416 0
[pid=15171/tid=15173] ppid=15168 vsize=10727700 memory=205842615914153 CPUtime=0.67 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) R 15168 15171 10029 0 -1 4202560 6202 0 0 0 65 2 0 0 20 0 16 0 106399463 10985164800 28478 33554432000 4194304 4196468 140725445402704 140224406024656 140224401800598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10727700 memory=617063 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 28478 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 28478 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 28478 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10727700 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 28478 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10727700 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10727700 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10727700 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106399469 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10727700 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) R 15168 15171 10029 0 -1 4202560 2490 0 0 0 31 0 0 0 20 0 16 0 106399469 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223634705752 140224386078649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10727700 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) R 15168 15171 10029 0 -1 4202560 1500 0 0 0 32 0 0 0 20 0 16 0 106399469 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223633661248 140224385345077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10727700 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) S 15168 15171 10029 0 -1 1077944384 2040 0 0 0 35 0 0 0 20 0 16 0 106399469 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223632620272 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106399469 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10727700 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106399469 10985164800 28478 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 113912 KiB
[startup+1.50086 s]
/proc/loadavg: 2.06 2.85 2.70 5/217 15187
/proc/meminfo: memFree=26360440/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10727700 memory=134168 CPUtime=3.44 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 27180 0 0 0 339 5 0 0 20 0 16 0 106399463 10985164800 33542 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2681925 33542 3123 1 0 2644416 0
[pid=15171/tid=15173] ppid=15168 vsize=10727700 memory=9169 CPUtime=1.47 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) R 15168 15171 10029 0 -1 4202560 6314 0 0 0 145 2 0 0 20 0 16 0 106399463 10985164800 33542 33554432000 4194304 4196468 140725445402704 140224406025240 140223992378544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 33542 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 33542 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 33542 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106399464 10985164800 33542 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 33542 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
################
# More data... #
################
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 203 0 0 0 2 1 0 0 20 0 16 0 106399464 10985164800 63726 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.03 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 264 0 0 0 2 1 0 0 20 0 16 0 106399464 10985164800 63726 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.02 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 662 0 0 0 1 1 0 0 20 0 16 0 106399464 10985164800 63726 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.01 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 1110 0 0 0 1 0 0 0 20 0 16 0 106399466 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10727700 memory=254904 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10727700 memory=254904 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10727700 memory=254904 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106399469 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10727700 memory=254904 CPUtime=1.28 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 10029 0 -1 1077944384 16136 0 0 0 127 1 0 0 20 0 16 0 106399469 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223634725360 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10727700 memory=254904 CPUtime=1.22 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 10029 0 -1 1077944384 9996 0 0 0 122 0 0 0 20 0 16 0 106399469 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223633672816 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.43 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) S 15168 15171 10029 0 -1 1077944384 4631 0 0 0 43 0 0 0 20 0 16 0 106399469 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223632620272 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10727700 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106399469 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10727700 memory=27044 CPUtime=0.11 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1131 0 0 0 6 5 0 0 20 0 16 0 106399469 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15187] ppid=15168 vsize=10727700 memory=776 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15187/stat : 15187 (java) S 15168 15171 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106399527 10985164800 63726 33554432000 4194304 4196468 140725445402704 140223627363120 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 225.49 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 254904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.701 s]
/proc/loadavg: 1.96 2.35 2.53 3/218 15280
/proc/meminfo: memFree=26191992/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10727700 memory=302080 CPUtime=252.02 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 47017 0 0 0 25177 25 0 0 20 0 16 0 106399463 10985164800 75520 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2681925 75520 3169 1 0 2644416 0
[pid=15171/tid=15173] ppid=15168 vsize=10727700 memory=302080 CPUtime=248.59 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) R 15168 15171 10029 0 -1 4202560 9746 0 0 0 24855 4 0 0 20 0 16 0 106399463 10985164800 75520 33554432000 4194304 4196468 140725445402704 140224406027632 140223992261221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.06 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 1275 0 0 0 4 2 0 0 20 0 16 0 106399464 10985164800 75520 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10727700 memory=7230362507174236502 CPUtime=0.07 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 254 0 0 0 4 3 0 0 20 0 16 0 106399464 10985164800 75520 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.07 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 472 0 0 0 4 3 0 0 20 0 16 0 106399464 10985164800 75520 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.06 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 792 0 0 0 4 2 0 0 20 0 16 0 106399464 10985164800 75520 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10727700 memory=254904 CPUtime=0.01 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 16 0 106399466 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10727700 memory=254904 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10727700 memory=302080 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 106399466 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10727700 memory=302080 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106399469 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10727700 memory=302080 CPUtime=1.28 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 10029 0 -1 1077944384 16138 0 0 0 127 1 0 0 20 0 16 0 106399469 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223634725360 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10727700 memory=302080 CPUtime=1.22 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 10029 0 -1 1077944384 9998 0 0 0 122 0 0 0 20 0 16 0 106399469 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223633672816 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10727700 memory=302080 CPUtime=0.43 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) S 15168 15171 10029 0 -1 1077944384 4633 0 0 0 43 0 0 0 20 0 16 0 106399469 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223632620272 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10727700 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106399469 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10727700 memory=640 CPUtime=0.13 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1133 0 0 0 7 6 0 0 20 0 16 0 106399469 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15187] ppid=15168 vsize=10727700 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15187/stat : 15187 (java) S 15168 15171 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106399527 10985164800 75520 33554432000 4194304 4196468 140725445402704 140223627363120 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 302080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.928 s]
# the end of solver process 15171 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.816 s, system=0.263097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.805 s]
/proc/loadavg: 1.96 2.35 2.53 3/218 15280
/proc/meminfo: memFree=26191992/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10927392 memory=302316 CPUtime=252.05 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 47862 0 0 0 25180 25 0 0 20 0 17 0 106399463 11189649408 75579 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2731848 75579 3171 1 0 2694339 0
[pid=15171/tid=15173] ppid=15168 vsize=10927392 memory=1220 CPUtime=248.62 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) S 15168 15171 10029 0 -1 1077944384 9878 0 0 0 24858 4 0 0 20 0 17 0 106399463 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224406031536 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10927392 memory=302080 CPUtime=0.06 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 1275 0 0 0 4 2 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10927392 memory=2164 CPUtime=0.07 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 254 0 0 0 4 3 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10927392 memory=302080 CPUtime=0.07 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 472 0 0 0 4 3 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10927392 memory=1332 CPUtime=0.06 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 792 0 0 0 4 2 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10927392 memory=1508 CPUtime=0.01 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 17 0 106399466 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10927392 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 106399466 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10927392 memory=3008 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 106399466 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10927392 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10927392 memory=796 CPUtime=1.28 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 10029 0 -1 1077944384 16232 0 0 0 127 1 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223634725360 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10927392 memory=1008 CPUtime=1.22 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 10029 0 -1 1077944384 10073 0 0 0 122 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223633672816 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10927392 memory=15316 CPUtime=0.43 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) S 15168 15171 10029 0 -1 1077944384 4752 0 0 0 43 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223632620272 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10927392 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10927392 memory=13772 CPUtime=0.13 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1133 0 0 0 7 6 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 302316 KiB
[startup+248.901 s]
/proc/loadavg: 1.96 2.35 2.53 3/218 15280
/proc/meminfo: memFree=26191992/32770624 swapFree=67028796/67108860
[pid=15171] ppid=15168 vsize=10927392 memory=302316 CPUtime=252.05 cores=0,2,4,6
/proc/15171/stat : 15171 (java) S 15168 15171 10029 0 -1 1077944320 47862 0 0 0 25180 25 0 0 20 0 17 0 106399463 11189649408 75579 33554432000 4194304 4196468 140725445402704 140725445385248 140224401788663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
/proc/15171/statm: 2731848 75579 3171 1 0 2694339 0
[pid=15171/tid=15173] ppid=15168 vsize=10927392 memory=302080 CPUtime=248.62 cores=0,2,4,6
/proc/15171/task/15173/stat : 15173 (java) S 15168 15171 10029 0 -1 1077944384 9878 0 0 0 24858 4 0 0 20 0 17 0 106399463 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224406031536 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15174] ppid=15168 vsize=10927392 memory=254904 CPUtime=0.06 cores=0,2,4,6
/proc/15171/task/15174/stat : 15174 (java) S 15168 15171 10029 0 -1 1077944384 1275 0 0 0 4 2 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224327863056 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15175] ppid=15168 vsize=10927392 memory=254904 CPUtime=0.07 cores=0,2,4,6
/proc/15171/task/15175/stat : 15175 (java) S 15168 15171 10029 0 -1 1077944384 254 0 0 0 4 3 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224326810512 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15176] ppid=15168 vsize=10927392 memory=254904 CPUtime=0.07 cores=0,2,4,6
/proc/15171/task/15176/stat : 15176 (java) S 15168 15171 10029 0 -1 1077944384 472 0 0 0 4 3 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224325757968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15177] ppid=15168 vsize=10927392 memory=254904 CPUtime=0.06 cores=0,2,4,6
/proc/15171/task/15177/stat : 15177 (java) S 15168 15171 10029 0 -1 1077944384 792 0 0 0 4 2 0 0 20 0 17 0 106399464 11189649408 75579 33554432000 4194304 4196468 140725445402704 140224324705424 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15178] ppid=15168 vsize=10927392 memory=7230362507174236502 CPUtime=0.01 cores=0,2,4,6
/proc/15171/task/15178/stat : 15178 (java) S 15168 15171 10029 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 17 0 106399466 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223706855408 140224401799810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15179] ppid=15168 vsize=10927392 memory=254904 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15179/stat : 15179 (java) S 15168 15171 10029 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 106399466 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223705801632 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15180] ppid=15168 vsize=10927392 memory=302080 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 10029 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 106399466 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223704749040 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15181] ppid=15168 vsize=10927392 memory=302080 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15181/stat : 15181 (java) S 15168 15171 10029 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223635777744 140224401807259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15182] ppid=15168 vsize=10927392 memory=302080 CPUtime=1.28 cores=0,2,4,6
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 10029 0 -1 1077944384 16232 0 0 0 127 1 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223634725360 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15183] ppid=15168 vsize=10927392 memory=3544 CPUtime=1.22 cores=0,2,4,6
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 10029 0 -1 1077944384 10073 0 0 0 122 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223633672816 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15184] ppid=15168 vsize=10927392 memory=640 CPUtime=0.43 cores=0,2,4,6
/proc/15171/task/15184/stat : 15184 (java) S 15168 15171 10029 0 -1 1077944384 4752 0 0 0 43 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223632620272 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15185] ppid=15168 vsize=10927392 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/15171/task/15185/stat : 15185 (java) S 15168 15171 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223631567968 140224401798869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
[pid=15171/tid=15186] ppid=15168 vsize=10927392 memory=302080 CPUtime=0.13 cores=0,2,4,6
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 10029 0 -1 1077944384 1133 0 0 0 7 6 0 0 20 0 17 0 106399469 11189649408 75579 33554432000 4194304 4196468 140725445402704 140223630514480 140224401799810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13152256 140725445407862 140725445408014 140725445408014 140725445410767 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 302316 KiB
Child status: 143
Real time (s): 248.928
CPU time (s): 252.079
CPU user time (s): 251.816
CPU system time (s): 0.263097
CPU usage (%): 101.266
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 302316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.816
system time used= 0.263097
maximum resident set size= 302656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7690
involuntary context switches= 286
# summary of solver processes directly reported to runsolver:
# pid: 15171
# total CPU time (s): 252.079
# total CPU user time (s): 251.816
# total CPU system time (s): 0.263097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4895 second user time and 2.50295 second system time
The end