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 (12805 MiB free)
memory of node 1: 16384 MiB (9607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301226-1532876471/watcher-4301226-1532876471 -o /tmp/evaluation-result-4301226-1532876471/solver-4301226-1532876471 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20368 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301226-1532876471.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
Current StackSize limit: 8192 KiB
solver pid=20859, runsolver pid=20856
[startup+0.100059 s]*
/proc/loadavg: 2.42 2.60 2.28 3/217 20874
/proc/meminfo: memFree=22935304/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10659012 memory=30088 CPUtime=0.12 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 6599 0 0 0 11 1 0 0 20 0 15 0 105210335 10914828288 7522 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2664753 7522 2846 1 0 2627263 0
[pid=20859/tid=20861] ppid=20856 vsize=10659012 memory=-8773748148830243971 CPUtime=0.08 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) R 20856 20859 16915 0 -1 4202560 4427 0 0 0 8 0 0 0 20 0 15 0 105210336 10914828288 7522 33554432000 4194304 4196468 140724175934512 140542213192672 140542208990614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541815679760 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10659012 memory=140283124704896 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541814627216 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541813574672 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541812522128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10659012 memory=140283124704896 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210338 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541701130224 140542208989826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541697972432 140542208997275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20859 16915 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541696920048 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20859 16915 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541695867504 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10659012 memory=140283124704896 CPUtime=0.02 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20859 16915 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 105210341 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541694814960 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10659012 memory=140283124704896 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 7522 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30088 KiB
[startup+0.21072 s]*
/proc/loadavg: 2.42 2.60 2.28 3/217 20874
/proc/meminfo: memFree=22923824/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10659012 memory=42080 CPUtime=0.33 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 8117 0 0 0 31 2 0 0 20 0 15 0 105210335 10914828288 10520 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2664753 10520 3008 1 0 2627263 0
[pid=20859/tid=20861] ppid=20856 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) R 20856 20859 16915 0 -1 4202560 5016 0 0 0 19 1 0 0 20 0 15 0 105210336 10914828288 10520 33554432000 4194304 4196468 140724175934512 140542213214960 140542193022309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541815679760 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10659012 memory=288370659276416640 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541814627216 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541813574672 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541812522128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10659012 memory=140283124704896 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210338 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541701130224 140542208989826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541697972432 140542208997275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20859 16915 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 15 0 105210341 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541696920048 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20859 16915 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 105210341 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541695867504 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10659012 memory=140283124704896 CPUtime=0.07 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) R 20856 20859 16915 0 -1 4202560 711 0 0 0 7 0 0 0 20 0 15 0 105210341 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541694814960 140542193059166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10659012 memory=140283124704896 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210341 10914828288 10520 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42080 KiB
[startup+0.310503 s]*
/proc/loadavg: 2.42 2.60 2.28 4/217 20874
/proc/meminfo: memFree=22917188/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10659088 memory=46936 CPUtime=0.53 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 8839 0 0 0 51 2 0 0 20 0 15 0 105210335 10914906112 11734 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2664772 11734 3029 1 0 2627263 0
[pid=20859/tid=20861] ppid=20856 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) R 20856 20859 16915 0 -1 4202560 5578 0 0 0 29 1 0 0 20 0 15 0 105210336 10914906112 11734 33554432000 4194304 4196468 140724175934512 140542213216432 140541815783824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10659088 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541815679760 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10659088 memory=288370659276416640 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541814627216 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541813574672 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541812522128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10659088 memory=140283124704896 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105210338 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541701130224 140542208989826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541697972432 140542208997275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) R 20856 20859 16915 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 15 0 105210341 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541696920144 140542208988885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) R 20856 20859 16915 0 -1 4202560 512 0 0 0 4 0 0 0 20 0 15 0 105210341 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541695857888 140542192505143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10659088 memory=140283124704896 CPUtime=0.13 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) R 20856 20859 16915 0 -1 4202560 809 0 0 0 13 0 0 0 20 0 15 0 105210341 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541694810720 140542187607858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10659088 memory=140283124704896 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210341 10914906112 11734 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46936 KiB
[startup+0.701346 s]
/proc/loadavg: 2.42 2.60 2.28 6/217 20874
/proc/meminfo: memFree=22881348/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10661136 memory=178708 CPUtime=1.85 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 16406 0 0 0 180 5 0 0 20 0 15 0 105210335 10917003264 44677 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2665284 44677 3087 1 0 2627775 0
[pid=20859/tid=20861] ppid=20856 vsize=10661136 memory=229901814752481 CPUtime=0.67 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) R 20856 20859 16915 0 -1 4202560 6104 0 0 0 65 2 0 0 20 0 15 0 105210336 10917003264 44677 33554432000 4194304 4196468 140724175934512 140542213198064 140541819298590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10661136 memory=3977296629253554382 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541815679760 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541814627216 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210337 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541813574672 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10661136 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20859 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105210337 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541812522128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105210338 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541701130224 140542208989826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10661136 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541697972432 140542208997275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10661136 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) R 20856 20859 16915 0 -1 4202560 2652 0 0 0 36 0 0 0 20 0 15 0 105210341 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541696907488 140542195008503 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10661136 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) R 20856 20859 16915 0 -1 4202560 2801 0 0 0 37 1 0 0 20 0 15 0 105210341 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541695858448 140542189727291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10661136 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) R 20856 20859 16915 0 -1 4202560 3478 0 0 0 41 0 0 0 20 0 15 0 105210341 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541694814960 140542187498385 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10661136 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 44677 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 178708 KiB
[startup+1.50079 s]
/proc/loadavg: 2.42 2.60 2.28 5/217 20874
/proc/meminfo: memFree=22741104/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10661136 memory=265116 CPUtime=4.34 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 19106 0 0 0 422 12 0 0 20 0 15 0 105210335 10917003264 66279 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2665284 66279 3144 1 0 2627775 0
[pid=20859/tid=20861] ppid=20856 vsize=10661136 memory=10799 CPUtime=1.4 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) R 20856 20859 16915 0 -1 4202560 6117 0 0 0 138 2 0 0 20 0 15 0 105210336 10917003264 66279 33554432000 4194304 4196468 140724175934512 140542213212624 140541820324877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10661136 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20859 16915 0 -1 1077944384 101 0 0 0 3 1 0 0 20 0 15 0 105210337 10917003264 66279 33554432000 4194304 4196468 140724175934512 140541815679760 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10661136 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20859 16915 0 -1 1077944384 102 0 0 0 4 1 0 0 20 0 15 0 105210337 10917003264 66279 33554432000 4194304 4196468 140724175934512 140541814627216 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10661136 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20859 16915 0 -1 1077944384 99 0 0 0 3 1 0 0 20 0 15 0 105210337 10917003264 66279 33554432000 4194304 4196468 140724175934512 140541813574672 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10661136 memory=6943526294502006880 CPUtime=0.05 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20859 16915 0 -1 1077944384 110 0 0 0 4 1 0 0 20 0 15 0 105210337 10917003264 66279 33554432000 4194304 4196468 140724175934512 140541812522128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 105210338 10917003264 66279 33554432000 4194304 4196468 140724175934512 140541701130224 140542208989826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
################
# More data... #
################
[startup+105.655 s]
# the end of solver process 20859 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.811 s, system=5.33093 s
Solver just ended.
Dumping a history of the last processes samples
[startup+104.001 s]*
/proc/loadavg: 2.80 2.71 2.36 6/217 20954
/proc/meminfo: memFree=17460552/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10661136 memory=7899668 CPUtime=253.89 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 257373 0 0 0 24862 527 0 0 20 0 15 0 105210335 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2665284 1974917 3175 1 0 2627775 0
[pid=20859/tid=20861] ppid=20856 vsize=10661136 memory=6791534058613427641 CPUtime=45.32 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20859 16915 0 -1 1077944384 17222 0 0 0 4510 22 0 0 20 0 15 0 105210336 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140542213212128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10661136 memory=4872558044660077418 CPUtime=48.91 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) R 20856 20859 16915 0 -1 4202560 54741 0 0 0 4764 127 0 0 20 0 15 0 105210337 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541815679656 140542201606887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10661136 memory=2859292 CPUtime=48.74 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) R 20856 20859 16915 0 -1 4202560 49290 0 0 0 4748 126 0 0 20 0 15 0 105210337 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541814627416 140542193467611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10661136 memory=6791534058613427641 CPUtime=48.75 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) R 20856 20859 16915 0 -1 4202560 38966 0 0 0 4755 120 0 0 20 0 15 0 105210337 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541813574568 140542201606887 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10661136 memory=4072736 CPUtime=48.98 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) R 20856 20859 16915 0 -1 4202560 53958 0 0 0 4774 124 0 0 20 0 15 0 105210337 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541812522024 140542201606887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10661136 memory=-5874771483550381248 CPUtime=9.24 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 24733 0 0 0 922 2 0 0 20 0 15 0 105210338 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541701128544 140542208988885 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10661136 memory=7738427052095127652 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10661136 memory=7899668 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10661136 memory=30320 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541697972080 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10661136 memory=1292 CPUtime=1.63 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20859 16915 0 -1 1077944384 4565 0 0 0 163 0 0 0 20 0 15 0 105210341 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541696919808 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10661136 memory=2436 CPUtime=1.67 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20859 16915 0 -1 1077944384 6606 0 0 0 166 1 0 0 20 0 15 0 105210341 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541695867552 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10661136 memory=1728 CPUtime=0.5 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20859 16915 0 -1 1077944384 5738 0 0 0 50 0 0 0 20 0 15 0 105210341 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541694815008 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10661136 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10661136 memory=5760 CPUtime=0.06 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 191 0 0 0 3 3 0 0 20 0 15 0 105210341 10917003264 1974917 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 253.89 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7899668 KiB
[startup+104.801 s]
/proc/loadavg: 2.80 2.71 2.36 6/217 20954
/proc/meminfo: memFree=17460552/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10661136 memory=7907868 CPUtime=256.96 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 257974 0 0 0 25168 528 0 0 20 0 15 0 105210335 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2665284 1976967 3175 1 0 2627775 0
[pid=20859/tid=20861] ppid=20856 vsize=10661136 memory=30320 CPUtime=45.32 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20859 16915 0 -1 1077944384 17222 0 0 0 4510 22 0 0 20 0 15 0 105210336 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140542213212128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10661136 memory=6791534058613427641 CPUtime=49.67 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) R 20856 20859 16915 0 -1 4202560 54741 0 0 0 4840 127 0 0 20 0 15 0 105210337 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541815679344 140542201606887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10661136 memory=1292 CPUtime=49.52 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) R 20856 20859 16915 0 -1 4202560 49891 0 0 0 4826 126 0 0 20 0 15 0 105210337 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541814627416 140542190575696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10661136 memory=2436 CPUtime=49.51 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) R 20856 20859 16915 0 -1 4202560 38966 0 0 0 4831 120 0 0 20 0 15 0 105210337 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541813574568 140542201606887 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10661136 memory=1728 CPUtime=49.74 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) R 20856 20859 16915 0 -1 4202560 53958 0 0 0 4850 124 0 0 20 0 15 0 105210337 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541812521712 140542201606887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10661136 memory=1720 CPUtime=9.24 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 24733 0 0 0 922 2 0 0 20 0 15 0 105210338 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541701128544 140542208988885 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10661136 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10661136 memory=8512 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10661136 memory=792 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541697972080 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10661136 memory=1008 CPUtime=1.63 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20859 16915 0 -1 1077944384 4565 0 0 0 163 0 0 0 20 0 15 0 105210341 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541696919808 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10661136 memory=1228 CPUtime=1.67 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20859 16915 0 -1 1077944384 6606 0 0 0 166 1 0 0 20 0 15 0 105210341 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541695867552 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10661136 memory=1200 CPUtime=0.5 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20859 16915 0 -1 1077944384 5738 0 0 0 50 0 0 0 20 0 15 0 105210341 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541694815008 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10661136 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10661136 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 191 0 0 0 4 3 0 0 20 0 15 0 105210341 10917003264 1976967 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 256.96 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7907868 KiB
[startup+105.201 s]
/proc/loadavg: 2.80 2.71 2.36 6/217 20954
/proc/meminfo: memFree=17452240/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10661136 memory=7907884 CPUtime=258.51 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 258039 0 0 0 25323 528 0 0 20 0 15 0 105210335 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2665284 1976971 3175 1 0 2627775 0
[pid=20859/tid=20861] ppid=20856 vsize=10661136 memory=288230583166042426 CPUtime=45.32 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20859 16915 0 -1 1077944384 17222 0 0 0 4510 22 0 0 20 0 15 0 105210336 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140542213212128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10661136 memory=14410445029116127 CPUtime=50.06 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) R 20856 20859 16915 0 -1 4202560 54741 0 0 0 4878 128 0 0 20 0 15 0 105210337 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541815679344 140542201606887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10661136 memory=1292 CPUtime=49.92 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) R 20856 20859 16915 0 -1 4202560 49956 0 0 0 4866 126 0 0 20 0 15 0 105210337 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541814627416 140542193929376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10661136 memory=2436 CPUtime=49.88 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) R 20856 20859 16915 0 -1 4202560 38966 0 0 0 4868 120 0 0 20 0 15 0 105210337 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541813574568 140542201606887 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10661136 memory=1728 CPUtime=50.12 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) R 20856 20859 16915 0 -1 4202560 53958 0 0 0 4888 124 0 0 20 0 15 0 105210337 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541812521712 140542201606887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10661136 memory=1720 CPUtime=9.24 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 24733 0 0 0 922 2 0 0 20 0 15 0 105210338 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541701128544 140542208988885 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10661136 memory=7903772 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10661136 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10661136 memory=7885324 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541697972080 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10661136 memory=7885324 CPUtime=1.63 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20859 16915 0 -1 1077944384 4565 0 0 0 163 0 0 0 20 0 15 0 105210341 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541696919808 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10661136 memory=7450459459052136789 CPUtime=1.67 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20859 16915 0 -1 1077944384 6606 0 0 0 166 1 0 0 20 0 15 0 105210341 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541695867552 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10661136 memory=7516909539578570595 CPUtime=0.5 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20859 16915 0 -1 1077944384 5738 0 0 0 50 0 0 0 20 0 15 0 105210341 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541694815008 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10661136 memory=7596836334024550754 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10661136 memory=7011348500760777816 CPUtime=0.07 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 191 0 0 0 4 3 0 0 20 0 15 0 105210341 10917003264 1976971 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 258.51 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7907884 KiB
[startup+105.601 s]
/proc/loadavg: 2.80 2.71 2.36 6/217 20954
/proc/meminfo: memFree=17452240/32770624 swapFree=67108792/67108860
[pid=20859] ppid=20856 vsize=10661136 memory=7910076 CPUtime=260.04 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20859 16915 0 -1 1077944320 259874 0 0 0 25476 528 0 0 20 0 15 0 105210335 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140724175917056 140542208978679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
/proc/20859/statm: 2665284 1977519 3175 1 0 2627775 0
[pid=20859/tid=20861] ppid=20856 vsize=10661136 memory=1408 CPUtime=45.32 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20859 16915 0 -1 1077944384 17222 0 0 0 4510 22 0 0 20 0 15 0 105210336 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140542213212128 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20862] ppid=20856 vsize=10661136 memory=65 CPUtime=50.44 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) R 20856 20859 16915 0 -1 4202560 54741 0 0 0 4916 128 0 0 20 0 15 0 105210337 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541815679760 140542193678591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20863] ppid=20856 vsize=10661136 memory=6944656425123485561 CPUtime=50.32 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) R 20856 20859 16915 0 -1 4202560 49958 0 0 0 4906 126 0 0 20 0 15 0 105210337 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541814627216 140542193975089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20864] ppid=20856 vsize=10661136 memory=-7531822216215551788 CPUtime=50.26 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) R 20856 20859 16915 0 -1 4202560 38978 0 0 0 4906 120 0 0 20 0 15 0 105210337 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541813574560 140542190531920 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20865] ppid=20856 vsize=10661136 memory=6791534058613427641 CPUtime=50.5 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) R 20856 20859 16915 0 -1 4202560 53958 0 0 0 4926 124 0 0 20 0 15 0 105210337 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541812522328 140542193968293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20866] ppid=20856 vsize=10661136 memory=4136 CPUtime=9.25 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20859 16915 0 -1 1077944384 26554 0 0 0 923 2 0 0 20 0 15 0 105210338 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541701128768 140542208988885 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20867] ppid=20856 vsize=10661136 memory=30320 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20859 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105210338 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541700076448 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20868] ppid=20856 vsize=10661136 memory=7393272 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20859 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105210339 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541699023856 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20869] ppid=20856 vsize=10661136 memory=7899668 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20859 16915 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541697972080 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20870] ppid=20856 vsize=10661136 memory=4136 CPUtime=1.63 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20859 16915 0 -1 1077944384 4565 0 0 0 163 0 0 0 20 0 15 0 105210341 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541696919808 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20871] ppid=20856 vsize=10661136 memory=30320 CPUtime=1.67 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20859 16915 0 -1 1077944384 6606 0 0 0 166 1 0 0 20 0 15 0 105210341 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541695867552 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20872] ppid=20856 vsize=10661136 memory=1292 CPUtime=0.5 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20859 16915 0 -1 1077944384 5738 0 0 0 50 0 0 0 20 0 15 0 105210341 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541694815008 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20873] ppid=20856 vsize=10661136 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20859 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105210341 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541693762656 140542208988885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
[pid=20859/tid=20874] ppid=20856 vsize=10661136 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/20859/task/20874/stat : 20874 (java) S 20856 20859 16915 0 -1 1077944384 191 0 0 0 4 3 0 0 20 0 15 0 105210341 10917003264 1977519 33554432000 4194304 4196468 140724175934512 140541692709168 140542208989826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14008320 140724175938678 140724175938830 140724175938830 140724175941583 0
Current children cumulated CPU time: 260.04 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7910076 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 105.655
CPU time (s): 260.142
CPU user time (s): 254.811
CPU system time (s): 5.33093
CPU usage (%): 246.219
Max. virtual memory (cumulated for all children) (KiB): 10662800
Max. memory (cumulated for all children) (KiB): 7910076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.811
system time used= 5.33093
maximum resident set size= 7910368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6840
involuntary context switches= 2738
# summary of solver processes directly reported to runsolver:
# pid: 20859
# total CPU time (s): 260.142
# total CPU user time (s): 254.811
# total CPU system time (s): 5.33093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.710118 second user time and 0.996702 second system time
The end