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 (5560 MiB free)
memory of node 1: 16384 MiB (8919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305260-1534145689/watcher-4305260-1534145689 -o /tmp/evaluation-result-4305260-1534145689/solver-4305260-1534145689 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534138268-9449 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=923667720 -superng HOME/instance-4305260-1534145689.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=10588, runsolver pid=10585
[startup+0.100058 s]*
/proc/loadavg: 1.48 1.58 1.58 3/206 10645
/proc/meminfo: memFree=14818548/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=10005480 memory=16696 CPUtime=0.09 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 4336 12891 0 0 1 1 4 3 20 0 6 0 232132189 10245611520 4174 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2501370 4174 1934 1 0 2489808 0
[pid=10588/tid=10641] ppid=10585 vsize=10088124 memory=5852835220496416925 CPUtime=0.08 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 2219 12891 0 0 1 0 4 3 20 0 7 0 232132198 10330238976 4240 33554432000 4194304 4196468 140726534585632 140344767339280 140344366194406 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=10088124 memory=5793855195751782841 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 7 0 232132199 10330238976 4240 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=10088124 memory=139944741889664 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 7 0 232132199 10330238976 4240 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=10088124 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 7 0 232132199 10330238976 4240 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=10088124 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 7 0 232132199 10330238976 4240 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=10088124 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 7 0 232132200 10330238976 4240 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16696 KiB
[startup+0.210068 s]*
/proc/loadavg: 1.48 1.58 1.58 3/215 10654
/proc/meminfo: memFree=14793512/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=10982696 memory=45896 CPUtime=0.25 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 8320 12891 0 0 16 2 4 3 20 0 15 0 232132189 11246280704 11474 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2745674 11474 2970 1 0 2708109 0
[pid=10588/tid=10641] ppid=10585 vsize=10982696 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 4759 12891 0 0 11 1 4 3 20 0 15 0 232132198 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344767293312 140344795510032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=10982696 memory=4211973670946680202 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=10982696 memory=139944741889664 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=10982696 memory=139944741889664 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132200 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232132200 11246280704 11474 33554432000 4194304 4196468 140726534585632 140343626425888 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132201 11246280704 11474 33554432000 4194304 4196468 140726534585632 140343425099120 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11246280704 11474 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) S 10585 10588 8231 0 -1 1077944384 500 12891 0 0 1 0 4 3 20 0 15 0 232132203 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344220391792 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) S 10585 10588 8231 0 -1 1077944384 156 12891 0 0 0 0 4 3 20 0 15 0 232132203 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344219338992 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=10982696 memory=139944741889664 CPUtime=0.1 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) S 10585 10588 8231 0 -1 1077944384 684 12891 0 0 3 0 4 3 20 0 15 0 232132203 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344218286192 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11246280704 11474 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=10982696 memory=139944741889664 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132204 11246280704 11474 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45896 KiB
[startup+0.310234 s]*
/proc/loadavg: 1.48 1.58 1.58 3/215 10654
/proc/meminfo: memFree=14784208/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=10983192 memory=57228 CPUtime=0.38 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 10380 12891 0 0 28 3 4 3 20 0 15 0 232132189 11246788608 14307 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2745798 14307 3102 1 0 2708109 0
[pid=10588/tid=10641] ppid=10585 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 6790 12891 0 0 20 1 4 3 20 0 15 0 232132198 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344767308192 140344788596072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132200 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=10983192 memory=139944741889663 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232132200 11246788608 14307 33554432000 4194304 4196468 140726534585632 140343626425888 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132201 11246788608 14307 33554432000 4194304 4196468 140726534585632 140343425099120 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11246788608 14307 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) S 10585 10588 8231 0 -1 1077944384 507 12891 0 0 1 0 4 3 20 0 15 0 232132203 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344220391792 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) S 10585 10588 8231 0 -1 1077944384 157 12891 0 0 1 0 4 3 20 0 15 0 232132203 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344219338992 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) R 10585 10588 8231 0 -1 4202560 712 12891 0 0 5 0 4 3 20 0 15 0 232132203 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344218286192 140344774425144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11246788608 14307 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132204 11246788608 14307 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57228 KiB
[startup+0.700761 s]
/proc/loadavg: 1.48 1.58 1.58 3/215 10654
/proc/meminfo: memFree=14774036/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=10983192 memory=90248 CPUtime=0.97 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 16723 12891 0 0 86 4 4 3 20 0 15 0 232132189 11246788608 22562 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2745798 22562 3237 1 0 2708109 0
[pid=10588/tid=10641] ppid=10585 vsize=10983192 memory=35528 CPUtime=0.66 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 12045 12891 0 0 57 2 4 3 20 0 15 0 232132198 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344767317008 140344777059712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=10983192 memory=3304 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=10983192 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=10983192 memory=1616 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=10983192 memory=1168 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 5 12891 0 0 0 0 4 3 20 0 15 0 232132200 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=10983192 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232132200 11246788608 22562 33554432000 4194304 4196468 140726534585632 140343626425888 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=10983192 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132201 11246788608 22562 33554432000 4194304 4196468 140726534585632 140343425099120 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=10983192 memory=15840 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11246788608 22562 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=10983192 memory=35528 CPUtime=0.14 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) S 10585 10588 8231 0 -1 1077944384 772 12891 0 0 7 0 4 3 20 0 15 0 232132203 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344220391792 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=10983192 memory=6944652177228980320 CPUtime=0.15 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) S 10585 10588 8231 0 -1 1077944384 829 12891 0 0 8 0 4 3 20 0 15 0 232132203 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344219338992 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=10983192 memory=496 CPUtime=0.19 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) S 10585 10588 8231 0 -1 1077944384 853 12891 0 0 12 0 4 3 20 0 15 0 232132203 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344218286192 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=10983192 memory=1616 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11246788608 22562 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=10983192 memory=1168 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132204 11246788608 22562 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90248 KiB
[startup+1.50071 s]
/proc/loadavg: 1.48 1.58 1.58 2/215 10654
/proc/meminfo: memFree=14729856/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=10996044 memory=139624 CPUtime=1.95 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 22129 12891 0 0 181 7 4 3 20 0 15 0 232132189 11259949056 34906 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2749011 34906 3441 1 0 2710669 0
[pid=10588/tid=10641] ppid=10585 vsize=10996044 memory=3892 CPUtime=1.24 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 16330 12891 0 0 112 5 4 3 20 0 15 0 232132198 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344767311040 140344777059730 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=10996044 memory=63064 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=10996044 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132199 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=10996044 memory=119696 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 2 12891 0 0 0 0 4 3 20 0 15 0 232132199 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=10996044 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 5 12891 0 0 0 0 4 3 20 0 15 0 232132200 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 13 12891 0 0 0 0 4 3 20 0 15 0 232132200 11259949056 34906 33554432000 4194304 4196468 140726534585632 140343626425888 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=10996044 memory=185668819017653 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132201 11259949056 34906 33554432000 4194304 4196468 140726534585632 140343425099120 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=10996044 memory=1272748 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11259949056 34906 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=10996044 memory=7223879631911281984 CPUtime=0.23 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) S 10585 10588 8231 0 -1 1077944384 871 12891 0 0 16 0 4 3 20 0 15 0 232132203 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344220391792 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=10996044 memory=4638778398332698723 CPUtime=0.28 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) S 10585 10588 8231 0 -1 1077944384 1311 12891 0 0 21 0 4 3 20 0 15 0 232132203 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344219338992 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=10996044 memory=279889194254576 CPUtime=0.37 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) S 10585 10588 8231 0 -1 1077944384 1395 12891 0 0 30 0 4 3 20 0 15 0 232132203 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344218286192 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=10996044 memory=4640467248192962656 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11259949056 34906 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=10996044 memory=-3535359994705171810 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 1 12891 0 0 0 0 4 3 20 0 15 0 232132204 11259949056 34906 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
################
# More data... #
################
[startup+9.10818 s]
# the end of solver process 10588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.0742 s, system=0.351939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40094 s]
/proc/loadavg: 1.60 1.60 1.59 3/215 10654
/proc/meminfo: memFree=14394472/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=11077984 memory=446628 CPUtime=14.26 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 72148 12891 0 0 1394 25 4 3 20 0 15 0 232132189 11343855616 111657 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2769496 111657 3519 1 0 2731149 0
[pid=10588/tid=10641] ppid=10585 vsize=11077984 memory=1220 CPUtime=6.02 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 42113 12891 0 0 582 13 4 3 20 0 15 0 232132198 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344767327480 140344367231695 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=11077984 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 105 12891 0 0 4 0 4 3 20 0 15 0 232132199 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=11077984 memory=142532784685710 CPUtime=0.1 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 683 12891 0 0 3 0 4 3 20 0 15 0 232132199 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=11077984 memory=139947214373760 CPUtime=0.1 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 302 12891 0 0 3 0 4 3 20 0 15 0 232132199 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=11077984 memory=139947214373761 CPUtime=0.1 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 69 12891 0 0 3 0 4 3 20 0 15 0 232132199 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=11077984 memory=139947214373780 CPUtime=0.11 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 3642 12891 0 0 4 0 4 3 20 0 15 0 232132200 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=11077984 memory=139947214373831 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 21 12891 0 0 0 0 4 3 20 0 15 0 232132200 11343855616 111657 33554432000 4194304 4196468 140726534585632 140343626425952 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=11077984 memory=139947214373833 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 14 12891 0 0 0 0 4 3 20 0 15 0 232132201 11343855616 111657 33554432000 4194304 4196468 140726534585632 140343425099136 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=11077984 memory=139947214373849 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11343855616 111657 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=11077984 memory=139947214373878 CPUtime=3.13 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) S 10585 10588 8231 0 -1 1077944384 9801 12891 0 0 303 3 4 3 20 0 15 0 232132203 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344220391792 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=11077984 memory=6791534058613427641 CPUtime=3.2 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) S 10585 10588 8231 0 -1 1077944384 6608 12891 0 0 312 1 4 3 20 0 15 0 232132203 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344219338992 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=11077984 memory=7100839852856734832 CPUtime=1.84 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) S 10585 10588 8231 0 -1 1077944384 6582 12891 0 0 174 3 4 3 20 0 15 0 232132203 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344218286192 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=11077984 memory=8992725908130199082 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 111657 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=11077984 memory=5450883352343967274 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 11 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 111657 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 14.26 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 446628 KiB
[startup+8.00065 s]*
/proc/loadavg: 1.64 1.61 1.59 4/215 10654
/proc/meminfo: memFree=14245776/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=11077984 memory=551768 CPUtime=16.16 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 72392 12891 0 0 1581 28 4 3 20 0 15 0 232132189 11343855616 137942 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2769496 137942 3522 1 0 2731149 0
[pid=10588/tid=10641] ppid=10585 vsize=11077984 memory=6791534058613427641 CPUtime=7.62 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 42174 12891 0 0 740 15 4 3 20 0 15 0 232132198 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344767328472 140344381965323 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=11077984 memory=-7003737579269690708 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 117 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=11077984 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 688 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=11077984 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 307 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=11077984 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 74 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 3714 12891 0 0 4 0 4 3 20 0 15 0 232132200 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 21 12891 0 0 0 0 4 3 20 0 15 0 232132200 11343855616 137942 33554432000 4194304 4196468 140726534585632 140343626425952 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=11077984 memory=3472895575524712495 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 14 12891 0 0 0 0 4 3 20 0 15 0 232132201 11343855616 137942 33554432000 4194304 4196468 140726534585632 140343425099136 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=11077984 memory=3905947410292147891 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11343855616 137942 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=11077984 memory=0 CPUtime=3.24 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) R 10585 10588 8231 0 -1 4202560 9835 12891 0 0 314 3 4 3 20 0 15 0 232132203 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344220391792 140344788593019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=11077984 memory=7594568050245397608 CPUtime=3.33 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) R 10585 10588 8231 0 -1 4202560 6633 12891 0 0 325 1 4 3 20 0 15 0 232132203 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344219319264 140344779053587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=11077984 memory=279889194254576 CPUtime=1.87 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) R 10585 10588 8231 0 -1 1077944384 6610 12891 0 0 177 3 4 3 20 0 15 0 232132203 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344218286192 140344795507330 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=11077984 memory=7301293123318868073 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 137942 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=11077984 memory=279889194254576 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 11 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 137942 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 16.16 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 551768 KiB
[startup+8.80065 s]
/proc/loadavg: 1.64 1.61 1.59 4/215 10654
/proc/meminfo: memFree=14245776/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=11077984 memory=556068 CPUtime=17.06 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 72511 12891 0 0 1670 29 4 3 20 0 15 0 232132189 11343855616 139017 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2769496 139017 3522 1 0 2731149 0
[pid=10588/tid=10641] ppid=10585 vsize=11077984 memory=0 CPUtime=8.41 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 42252 12891 0 0 819 15 4 3 20 0 15 0 232132198 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344767330224 140344380415696 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=11077984 memory=78 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 120 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=11077984 memory=293 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 692 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=11077984 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 309 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=11077984 memory=279889194617920 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 76 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=11077984 memory=539480 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 3714 12891 0 0 5 0 4 3 20 0 15 0 232132200 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=11077984 memory=551856 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 21 12891 0 0 0 0 4 3 20 0 15 0 232132200 11343855616 139017 33554432000 4194304 4196468 140726534585632 140343626425952 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=11077984 memory=3888 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 14 12891 0 0 0 0 4 3 20 0 15 0 232132201 11343855616 139017 33554432000 4194304 4196468 140726534585632 140343425099136 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=11077984 memory=8564 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=11077984 memory=1800 CPUtime=3.29 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) S 10585 10588 8231 0 -1 1077944384 9850 12891 0 0 319 3 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344220391792 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=11077984 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) S 10585 10588 8231 0 -1 1077944384 6644 12891 0 0 329 1 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344219338992 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=11077984 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) S 10585 10588 8231 0 -1 1077944384 6611 12891 0 0 177 3 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344218286192 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=11077984 memory=139944597217068 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 139017 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=11077984 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 11 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 17.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 556068 KiB
[startup+9.00068 s]*
/proc/loadavg: 1.64 1.61 1.59 4/215 10654
/proc/meminfo: memFree=14217104/32770624 swapFree=67108792/67108860
[pid=10588] ppid=10585 vsize=11077984 memory=556068 CPUtime=17.3 cores=0,2,4,6
/proc/10588/stat : 10588 (java) S 10585 10588 8231 0 -1 1077944320 72534 12891 0 0 1694 29 4 3 20 0 15 0 232132189 11343855616 139017 33554432000 4194304 4196468 140726534585632 140726534568176 140344795496183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
/proc/10588/statm: 2769496 139017 3522 1 0 2731149 0
[pid=10588/tid=10641] ppid=10585 vsize=11077984 memory=-8540663193526752614 CPUtime=8.62 cores=0,2,4,6
/proc/10588/task/10641/stat : 10641 (java) R 10585 10588 8231 0 -1 4202560 42271 12891 0 0 840 15 4 3 20 0 15 0 232132198 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344767326424 140344382523104 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10642] ppid=10585 vsize=11077984 memory=4211973670946680202 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10642/stat : 10642 (java) S 10585 10588 8231 0 -1 1077944384 120 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344799738512 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10643] ppid=10585 vsize=11077984 memory=139944741889664 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10643/stat : 10643 (java) S 10585 10588 8231 0 -1 1077944384 692 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344335632912 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10644] ppid=10585 vsize=11077984 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10644/stat : 10644 (java) S 10585 10588 8231 0 -1 1077944384 309 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344334580112 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10645] ppid=10585 vsize=11077984 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10645/stat : 10645 (java) S 10585 10588 8231 0 -1 1077944384 76 12891 0 0 4 1 4 3 20 0 15 0 232132199 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344333527312 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10646] ppid=10585 vsize=11077984 memory=139944741889664 CPUtime=0.12 cores=0,2,4,6
/proc/10588/task/10646/stat : 10646 (java) S 10585 10588 8231 0 -1 1077944384 3714 12891 0 0 5 0 4 3 20 0 15 0 232132200 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344221444976 140344795507330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10647] ppid=10585 vsize=11077984 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10647/stat : 10647 (java) S 10585 10588 8231 0 -1 1077944384 21 12891 0 0 0 0 4 3 20 0 15 0 232132200 11343855616 139017 33554432000 4194304 4196468 140726534585632 140343626425952 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10648] ppid=10585 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10648/stat : 10648 (java) S 10585 10588 8231 0 -1 1077944384 14 12891 0 0 0 0 4 3 20 0 15 0 232132201 11343855616 139017 33554432000 4194304 4196468 140726534585632 140343425099136 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10649] ppid=10585 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10649/stat : 10649 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140343117699408 140344795514779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10650] ppid=10585 vsize=11077984 memory=0 CPUtime=3.29 cores=0,2,4,6
/proc/10588/task/10650/stat : 10650 (java) S 10585 10588 8231 0 -1 1077944384 9850 12891 0 0 319 3 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344220391792 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10651] ppid=10585 vsize=11077984 memory=-1 CPUtime=3.4 cores=0,2,4,6
/proc/10588/task/10651/stat : 10651 (java) S 10585 10588 8231 0 -1 1077944384 6648 12891 0 0 332 1 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344219338992 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10652] ppid=10585 vsize=11077984 memory=139944741889664 CPUtime=1.87 cores=0,2,4,6
/proc/10588/task/10652/stat : 10652 (java) S 10585 10588 8231 0 -1 1077944384 6611 12891 0 0 177 3 4 3 20 0 15 0 232132203 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344218286192 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10653] ppid=10585 vsize=11077984 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10653/stat : 10653 (java) S 10585 10588 8231 0 -1 1077944384 3 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 139017 33554432000 4194304 4196468 140726534585632 140342686902496 140344795506389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
[pid=10588/tid=10654] ppid=10585 vsize=11077984 memory=139944741889664 CPUtime=0.07 cores=0,2,4,6
/proc/10588/task/10654/stat : 10654 (java) S 10585 10588 8231 0 -1 1077944384 11 12891 0 0 0 0 4 3 20 0 15 0 232132204 11343855616 139017 33554432000 4194304 4196468 140726534585632 140344217234608 140344795507330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15601664 140726534593124 140726534595932 140726534595932 140726534598607 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 556068 KiB
Child status: 0
Real time (s): 9.10824
CPU time (s): 17.4262
CPU user time (s): 17.0742
CPU system time (s): 0.351939
CPU usage (%): 191.323
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 556068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0742
system time used= 0.351939
maximum resident set size= 586868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7814
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 10588
# total CPU time (s): 17.4262
# total CPU user time (s): 17.0742
# total CPU system time (s): 0.351939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073941 second user time and 0.133095 second system time
The end