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 (10044 MiB free)
memory of node 1: 16384 MiB (9301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294419-1532463494/watcher-4294419-1532463494 -o /tmp/evaluation-result-4294419-1532463494/solver-4294419-1532463494 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=407407253 -superng HOME/instance-4294419-1532463494.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28502, runsolver pid=28499
[startup+0.100092 s]*
/proc/loadavg: 1.46 1.40 1.39 3/206 28559
/proc/meminfo: memFree=19805824/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=9972712 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 4249 13101 0 0 1 0 4 3 20 0 6 0 63912608 10212057088 4582 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2493178 4582 1930 1 0 2481616 0
[pid=28502/tid=28555] ppid=28499 vsize=9972712 memory=4279135704047190159 CPUtime=0.08 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 2052 13101 0 0 1 0 4 3 20 0 6 0 63912617 10212057088 4582 33554432000 4194304 4196468 140735782673664 140404105036368 140404118882099 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 6 0 63912618 10212057088 4582 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=9972712 memory=140072986297984 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 6 0 63912618 10212057088 4582 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 6 0 63912618 10212057088 4582 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 6 0 63912618 10212057088 4582 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210136 s]*
/proc/loadavg: 1.46 1.40 1.39 4/215 28568
/proc/meminfo: memFree=19781496/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=10818856 memory=41620 CPUtime=0.26 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 8373 13101 0 0 17 2 4 3 20 0 15 0 63912608 11078508544 10405 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2704714 10405 2919 1 0 2667149 0
[pid=28502/tid=28555] ppid=28499 vsize=10818856 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 4976 13101 0 0 10 1 4 3 20 0 15 0 63912617 11078508544 10405 33554432000 4194304 4196468 140735782673664 140404104997264 140404113475314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10818856 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11078508544 10405 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10818856 memory=140072986297984 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11078508544 10405 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 63912618 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10818856 memory=140072986297984 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 63912619 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 33 13101 0 0 0 0 4 3 20 0 15 0 63912620 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403591599392 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912620 11078508544 10405 33554432000 4194304 4196468 140735782673664 140402950661744 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11078508544 10405 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) S 28499 28502 24765 0 -1 1077944384 518 13101 0 0 1 0 4 3 20 0 15 0 63912622 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403558041712 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) S 28499 28502 24765 0 -1 1077944384 57 13101 0 0 0 0 4 3 20 0 15 0 63912622 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403556988912 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10818856 memory=140072986297984 CPUtime=0.1 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 581 13101 0 0 3 0 4 3 20 0 15 0 63912622 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11078508544 10405 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10818856 memory=140072986297984 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912623 11078508544 10405 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41620 KiB
[startup+0.310146 s]*
/proc/loadavg: 1.46 1.40 1.39 3/215 28568
/proc/meminfo: memFree=19772936/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=10819352 memory=53224 CPUtime=0.37 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 10405 13101 0 0 28 2 4 3 20 0 15 0 63912608 11079016448 13306 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2704838 13306 3066 1 0 2667149 0
[pid=28502/tid=28555] ppid=28499 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 6994 13101 0 0 19 2 4 3 20 0 15 0 63912617 11079016448 13306 33554432000 4194304 4196468 140735782673664 140404105011616 140404117243237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10819352 memory=7373043845850746960 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 13306 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10819352 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 13306 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 63912619 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 33 13101 0 0 0 0 4 3 20 0 15 0 63912620 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403591599392 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912620 11079016448 13306 33554432000 4194304 4196468 140735782673664 140402950661744 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11079016448 13306 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) R 28499 28502 24765 0 -1 4202560 519 13101 0 0 2 0 4 3 20 0 15 0 63912622 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403558041712 140404125488960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) R 28499 28502 24765 0 -1 1077944384 57 13101 0 0 1 0 4 3 20 0 15 0 63912622 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403556988912 140404133210754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 595 13101 0 0 5 0 4 3 20 0 15 0 63912622 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11079016448 13306 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912623 11079016448 13306 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53224 KiB
[startup+0.70075 s]
/proc/loadavg: 1.46 1.40 1.39 4/215 28568
/proc/meminfo: memFree=19760904/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=10819352 memory=86588 CPUtime=0.99 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 16838 13101 0 0 87 5 4 3 20 0 15 0 63912608 11079016448 21647 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2704838 21647 3242 1 0 2667149 0
[pid=28502/tid=28555] ppid=28499 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 12464 13101 0 0 55 4 4 3 20 0 15 0 63912617 11079016448 21647 33554432000 4194304 4196468 140735782673664 140404105013376 140404116392341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 21647 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10819352 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 21647 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 2 13101 0 0 0 0 4 3 20 0 15 0 63912618 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 5 13101 0 0 0 0 4 3 20 0 15 0 63912619 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 33 13101 0 0 0 0 4 3 20 0 15 0 63912620 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403591599392 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912620 11079016448 21647 33554432000 4194304 4196468 140735782673664 140402950661744 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11079016448 21647 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10819352 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) S 28499 28502 24765 0 -1 1077944384 807 13101 0 0 8 0 4 3 20 0 15 0 63912622 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403558041712 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10819352 memory=15460 CPUtime=0.16 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) S 28499 28502 24765 0 -1 1077944384 641 13101 0 0 9 0 4 3 20 0 15 0 63912622 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403556988912 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 682 13101 0 0 13 0 4 3 20 0 15 0 63912622 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11079016448 21647 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912623 11079016448 21647 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86588 KiB
[startup+1.50077 s]
/proc/loadavg: 1.46 1.40 1.39 3/215 28568
/proc/meminfo: memFree=19715808/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=10828108 memory=235568 CPUtime=3.05 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 22670 13101 0 0 288 10 4 3 20 0 15 0 63912608 11087982592 58892 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2707027 58892 3473 1 0 2668685 0
[pid=28502/tid=28555] ppid=28499 vsize=10828108 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 15208 13101 0 0 130 6 4 3 20 0 15 0 63912617 11087982592 58892 33554432000 4194304 4196468 140735782673664 140404105032880 140403705980733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 216 13101 0 0 1 0 4 3 20 0 15 0 63912618 11087982592 58892 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 23 13101 0 0 0 0 4 3 20 0 15 0 63912618 11087982592 58892 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 7 13101 0 0 0 0 4 3 20 0 15 0 63912618 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 81 13101 0 0 1 0 4 3 20 0 15 0 63912618 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10828108 memory=1399103955520229747 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 87 13101 0 0 0 0 4 3 20 0 15 0 63912619 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10828108 memory=280145684408576 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 33 13101 0 0 0 0 4 3 20 0 15 0 63912620 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403591599392 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912620 11087982592 58892 33554432000 4194304 4196468 140735782673664 140402950661744 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10828108 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11087982592 58892 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10828108 memory=1704 CPUtime=0.64 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) R 28499 28502 24765 0 -1 4202560 1597 13101 0 0 57 0 4 3 20 0 15 0 63912622 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403558021616 140404114744354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10828108 memory=9924 CPUtime=0.63 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) R 28499 28502 24765 0 -1 4202560 1883 13101 0 0 56 0 4 3 20 0 15 0 63912622 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403556976288 140404118325465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10828108 memory=5788 CPUtime=0.46 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 1334 13101 0 0 39 0 4 3 20 0 15 0 63912622 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10828108 memory=1936 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11087982592 58892 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10828108 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 1 13101 0 0 0 0 4 3 20 0 15 0 63912623 11087982592 58892 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 154092 13101 0 0 236049 66 4 3 20 0 15 0 63912617 11178180608 723471 33554432000 4194304 4196468 140735782673664 140404105033952 140403721847395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10916192 memory=2893884 CPUtime=11.82 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 40119 13101 0 0 1135 40 4 3 20 0 15 0 63912618 11178180608 723471 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10916192 memory=2893884 CPUtime=11.88 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 37390 13101 0 0 1136 45 4 3 20 0 15 0 63912618 11178180608 723471 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10916192 memory=2893884 CPUtime=11.84 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 50026 13101 0 0 1132 45 4 3 20 0 15 0 63912618 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10916192 memory=2893884 CPUtime=11.86 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 37150 13101 0 0 1139 40 4 3 20 0 15 0 63912618 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10916192 memory=2893884 CPUtime=7.17 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 33837 13101 0 0 677 33 4 3 20 0 15 0 63912619 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10916192 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 45 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403591599456 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10916192 memory=2893884 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 13 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723471 33554432000 4194304 4196468 140735782673664 140402950661760 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10916192 memory=2893884 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11178180608 723471 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10916192 memory=2893884 CPUtime=11.69 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) S 28499 28502 24765 0 -1 1077944384 43508 13101 0 0 1157 5 4 3 20 0 15 0 63912622 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403558041712 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10916192 memory=4136 CPUtime=11.54 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) S 28499 28502 24765 0 -1 1077944384 43609 13101 0 0 1140 7 4 3 20 0 15 0 63912622 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403556988912 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10916192 memory=0 CPUtime=3.01 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 30078 13101 0 0 289 5 4 3 20 0 15 0 63912622 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10916192 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11178180608 723471 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10916192 memory=2893884 CPUtime=1.43 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 2010 13101 0 0 64 72 4 3 20 0 15 0 63912623 11178180608 723471 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 2442.95 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2893884 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.48 1.44 3/215 28773
/proc/meminfo: memFree=17954752/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=10916192 memory=2893892 CPUtime=2503.96 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 480907 13101 0 0 250054 335 4 3 20 0 15 0 63912608 11178180608 723473 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2729048 723473 3537 1 0 2690701 0
[pid=28502/tid=28555] ppid=28499 vsize=10916192 memory=2893892 CPUtime=2420.6 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 156042 13101 0 0 241986 67 4 3 20 0 15 0 63912617 11178180608 723473 33554432000 4194304 4196468 140735782673664 140404105033840 140403715657703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10916192 memory=2948 CPUtime=12.17 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 40938 13101 0 0 1169 41 4 3 20 0 15 0 63912618 11178180608 723473 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10916192 memory=2893892 CPUtime=12.22 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 39299 13101 0 0 1169 46 4 3 20 0 15 0 63912618 11178180608 723473 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10916192 memory=2893892 CPUtime=12.19 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 50230 13101 0 0 1165 47 4 3 20 0 15 0 63912618 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10916192 memory=2893892 CPUtime=12.2 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 38272 13101 0 0 1172 41 4 3 20 0 15 0 63912618 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10916192 memory=2893888 CPUtime=7.38 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 34617 13101 0 0 697 34 4 3 20 0 15 0 63912619 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10916192 memory=2893892 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 45 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403591599456 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10916192 memory=2893888 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 13 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723473 33554432000 4194304 4196468 140735782673664 140402950661760 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10916192 memory=2893892 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11178180608 723473 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10916192 memory=2893892 CPUtime=11.69 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) S 28499 28502 24765 0 -1 1077944384 43512 13101 0 0 1157 5 4 3 20 0 15 0 63912622 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403558041712 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10916192 memory=2893892 CPUtime=11.54 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) S 28499 28502 24765 0 -1 1077944384 43613 13101 0 0 1140 7 4 3 20 0 15 0 63912622 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403556988912 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10916192 memory=2893892 CPUtime=3.02 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 30082 13101 0 0 290 5 4 3 20 0 15 0 63912622 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10916192 memory=7595719152701763430 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11178180608 723473 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10916192 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 2045 13101 0 0 66 74 4 3 20 0 15 0 63912623 11178180608 723473 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 2503.96 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2893892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2458.11 s]
/proc/loadavg: 1.43 1.47 1.44 3/215 28773
/proc/meminfo: memFree=17838164/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=10916192 memory=2893900 CPUtime=2520.04 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 484128 13101 0 0 251661 336 4 3 20 0 15 0 63912608 11178180608 723475 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2729048 723475 3537 1 0 2690701 0
[pid=28502/tid=28555] ppid=28499 vsize=10916192 memory=2893900 CPUtime=2436.23 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 156848 13101 0 0 243549 67 4 3 20 0 15 0 63912617 11178180608 723475 33554432000 4194304 4196468 140735782673664 140404105034672 140403727224965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10916192 memory=2893900 CPUtime=12.26 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 42657 13101 0 0 1178 41 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10916192 memory=0 CPUtime=12.31 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 39325 13101 0 0 1178 46 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10916192 memory=2893900 CPUtime=12.28 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 50448 13101 0 0 1174 47 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10916192 memory=2893900 CPUtime=12.3 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 38327 13101 0 0 1181 42 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10916192 memory=2893892 CPUtime=7.44 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 34992 13101 0 0 703 34 4 3 20 0 15 0 63912619 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10916192 memory=2893892 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 45 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403591599456 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10916192 memory=2893900 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 13 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723475 33554432000 4194304 4196468 140735782673664 140402950661760 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10916192 memory=2893900 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10916192 memory=141 CPUtime=11.69 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) S 28499 28502 24765 0 -1 1077944384 43514 13101 0 0 1157 5 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403558041712 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10916192 memory=7019257425709197167 CPUtime=11.54 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) S 28499 28502 24765 0 -1 1077944384 43615 13101 0 0 1140 7 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403556988912 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10916192 memory=5788 CPUtime=3.02 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 30084 13101 0 0 290 5 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10916192 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11178180608 723475 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10916192 memory=280145686053792 CPUtime=1.48 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 2061 13101 0 0 66 75 4 3 20 0 15 0 63912623 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2893900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2458.15 s]
# the end of solver process 28502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.69 s, system=3.42894 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2458.11 s]
/proc/loadavg: 1.43 1.47 1.44 3/215 28773
/proc/meminfo: memFree=17838164/32770624 swapFree=67108860/67108860
[pid=28502] ppid=28499 vsize=10916192 memory=2893900 CPUtime=2520.04 cores=0,2,4,6
/proc/28502/stat : 28502 (java) S 28499 28502 24765 0 -1 1077944320 484128 13101 0 0 251661 336 4 3 20 0 15 0 63912608 11178180608 723475 33554432000 4194304 4196468 140735782673664 140735782656208 140404133199607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
/proc/28502/statm: 2729048 723475 3537 1 0 2690701 0
[pid=28502/tid=28555] ppid=28499 vsize=10916192 memory=2893900 CPUtime=2436.23 cores=0,2,4,6
/proc/28502/task/28555/stat : 28555 (java) R 28499 28502 24765 0 -1 4202560 156848 13101 0 0 243549 67 4 3 20 0 15 0 63912617 11178180608 723475 33554432000 4194304 4196468 140735782673664 140404105034672 140403727224965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28556] ppid=28499 vsize=10916192 memory=2893900 CPUtime=12.26 cores=0,2,4,6
/proc/28502/task/28556/stat : 28556 (java) S 28499 28502 24765 0 -1 1077944384 42657 13101 0 0 1178 41 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140404137441680 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28557] ppid=28499 vsize=10916192 memory=0 CPUtime=12.31 cores=0,2,4,6
/proc/28502/task/28557/stat : 28557 (java) S 28499 28502 24765 0 -1 1077944384 39325 13101 0 0 1178 46 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140404025714960 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28558] ppid=28499 vsize=10916192 memory=2893900 CPUtime=12.28 cores=0,2,4,6
/proc/28502/task/28558/stat : 28558 (java) S 28499 28502 24765 0 -1 1077944384 50448 13101 0 0 1174 47 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403705637520 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28559] ppid=28499 vsize=10916192 memory=2893900 CPUtime=12.3 cores=0,2,4,6
/proc/28502/task/28559/stat : 28559 (java) S 28499 28502 24765 0 -1 1077944384 38327 13101 0 0 1181 42 4 3 20 0 15 0 63912618 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403704584720 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28560] ppid=28499 vsize=10916192 memory=2893892 CPUtime=7.44 cores=0,2,4,6
/proc/28502/task/28560/stat : 28560 (java) S 28499 28502 24765 0 -1 1077944384 34992 13101 0 0 703 34 4 3 20 0 15 0 63912619 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403592653424 140404133210754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28561] ppid=28499 vsize=10916192 memory=2893892 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28561/stat : 28561 (java) S 28499 28502 24765 0 -1 1077944384 45 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403591599456 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28562] ppid=28499 vsize=10916192 memory=2893900 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28562/stat : 28562 (java) S 28499 28502 24765 0 -1 1077944384 13 13101 0 0 0 0 4 3 20 0 15 0 63912620 11178180608 723475 33554432000 4194304 4196468 140735782673664 140402950661760 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28563] ppid=28499 vsize=10916192 memory=2893900 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28563/stat : 28563 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140402710370896 140404133218203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28564] ppid=28499 vsize=10916192 memory=141 CPUtime=11.69 cores=0,2,4,6
/proc/28502/task/28564/stat : 28564 (java) S 28499 28502 24765 0 -1 1077944384 43514 13101 0 0 1157 5 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403558041712 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28565] ppid=28499 vsize=10916192 memory=7019257425709197167 CPUtime=11.54 cores=0,2,4,6
/proc/28502/task/28565/stat : 28565 (java) S 28499 28502 24765 0 -1 1077944384 43615 13101 0 0 1140 7 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403556988912 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28566] ppid=28499 vsize=10916192 memory=5788 CPUtime=3.02 cores=0,2,4,6
/proc/28502/task/28566/stat : 28566 (java) S 28499 28502 24765 0 -1 1077944384 30084 13101 0 0 290 5 4 3 20 0 15 0 63912622 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403555936624 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28567] ppid=28499 vsize=10916192 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/28502/task/28567/stat : 28567 (java) S 28499 28502 24765 0 -1 1077944384 3 13101 0 0 0 0 4 3 20 0 15 0 63912623 11178180608 723475 33554432000 4194304 4196468 140735782673664 140402676812256 140404133209813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
[pid=28502/tid=28568] ppid=28499 vsize=10916192 memory=280145686053792 CPUtime=1.48 cores=0,2,4,6
/proc/28502/task/28568/stat : 28568 (java) S 28499 28502 24765 0 -1 1077944384 2061 13101 0 0 66 75 4 3 20 0 15 0 63912623 11178180608 723475 33554432000 4194304 4196468 140735782673664 140403232730032 140404133210754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 21463040 140735782676652 140735782679900 140735782679900 140735782682575 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2893900 KiB
Child status: 143
Real time (s): 2458.15
CPU time (s): 2520.11
CPU user time (s): 2516.69
CPU system time (s): 3.42894
CPU usage (%): 102.521
Max. virtual memory (cumulated for all children) (KiB): 10918824
Max. memory (cumulated for all children) (KiB): 3006168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.69
system time used= 3.42894
maximum resident set size= 3006168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195593
involuntary context switches= 6483
# summary of solver processes directly reported to runsolver:
# pid: 28502
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.69
# total CPU system time (s): 3.42894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.804 second user time and 16.8774 second system time
The end