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 (4871 MiB free)
memory of node 1: 16384 MiB (9805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294145-1532433680/watcher-4294145-1532433680 -o /tmp/evaluation-result-4294145-1532433680/solver-4294145-1532433680 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12741 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=274613961 -superng HOME/instance-4294145-1532433680.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17076, runsolver pid=17073
[startup+0.100335 s]*
/proc/loadavg: 1.67 1.62 1.63 3/206 17129
/proc/meminfo: memFree=15025996/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=9972712 memory=16284 CPUtime=0.09 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 4235 13315 0 0 1 0 5 3 20 0 6 0 60931177 10212057088 4071 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2493178 4071 1918 1 0 2481616 0
[pid=17076/tid=17129] ppid=17073 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 2054 13315 0 0 0 0 5 3 20 0 6 0 60931187 10212057088 4071 33554432000 4194304 4196468 140737432837712 140588039524944 140588046057024 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=9972712 memory=5793854957308205497 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 6 0 60931188 10212057088 4071 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=9972712 memory=139706298312320 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 6 0 60931188 10212057088 4071 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 6 0 60931188 10212057088 4071 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 6 0 60931188 10212057088 4071 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16284 KiB
[startup+0.210157 s]*
/proc/loadavg: 1.67 1.62 1.63 3/219 17142
/proc/meminfo: memFree=15001696/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=10818904 memory=43500 CPUtime=0.26 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 8095 13315 0 0 17 1 5 3 20 0 15 0 60931177 11078557696 10875 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2704726 10875 2962 1 0 2667149 0
[pid=17076/tid=17129] ppid=17073 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 4739 13315 0 0 10 1 5 3 20 0 15 0 60931187 11078557696 10875 33554432000 4194304 4196468 140737432837712 140588039484224 140588067700118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10818904 memory=4211973432503102858 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11078557696 10875 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10818904 memory=139706298312320 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931189 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 60931189 11078557696 10875 33554432000 4194304 4196468 140737432837712 140586963166752 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931190 11078557696 10875 33554432000 4194304 4196468 140737432837712 140586828948848 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11078557696 10875 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 503 13315 0 0 1 0 5 3 20 0 15 0 60931192 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 88 13315 0 0 1 0 5 3 20 0 15 0 60931192 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10818904 memory=139706298312320 CPUtime=0.11 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) R 17073 17076 12709 0 -1 4202560 549 13315 0 0 3 0 5 3 20 0 15 0 60931192 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587523885168 140588046233113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11078557696 10875 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10818904 memory=139706298312320 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931193 11078557696 10875 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43500 KiB
[startup+0.310343 s]*
/proc/loadavg: 1.67 1.62 1.63 3/219 17142
/proc/meminfo: memFree=14989852/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=10819352 memory=54172 CPUtime=0.38 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 10592 13315 0 0 28 2 5 3 20 0 15 0 60931177 11079016448 13543 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2704838 13543 3081 1 0 2667149 0
[pid=17076/tid=17129] ppid=17073 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 7225 13315 0 0 19 2 5 3 20 0 15 0 60931187 11079016448 13543 33554432000 4194304 4196468 140737432837712 140588039500192 140588067710109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 13543 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10819352 memory=139706298312319 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931189 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 60931189 11079016448 13543 33554432000 4194304 4196468 140737432837712 140586963166752 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10819352 memory=139706298312320 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931190 11079016448 13543 33554432000 4194304 4196468 140737432837712 140586828948848 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11079016448 13543 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 503 13315 0 0 1 0 5 3 20 0 15 0 60931192 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 89 13315 0 0 1 0 5 3 20 0 15 0 60931192 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) S 17073 17076 12709 0 -1 1077944384 555 13315 0 0 5 0 5 3 20 0 15 0 60931192 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587523885168 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11079016448 13543 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931193 11079016448 13543 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54172 KiB
[startup+0.700755 s]
/proc/loadavg: 1.67 1.62 1.63 3/219 17142
/proc/meminfo: memFree=14979704/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=10819352 memory=86448 CPUtime=1 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 16767 13315 0 0 88 4 5 3 20 0 15 0 60931177 11079016448 21612 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2704838 21612 3237 1 0 2667149 0
[pid=17076/tid=17129] ppid=17073 vsize=10819352 memory=19032 CPUtime=0.66 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 12285 13315 0 0 55 3 5 3 20 0 15 0 60931187 11079016448 21612 33554432000 4194304 4196468 140737432837712 140588039509008 140588047964064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 21612 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10819352 memory=139706159636979 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10819352 memory=139706696205195 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10819352 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10819352 memory=6296143700806424935 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 5 13315 0 0 0 0 5 3 20 0 15 0 60931189 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10819352 memory=8099279071866868837 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 60931189 11079016448 21612 33554432000 4194304 4196468 140737432837712 140586963166752 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10819352 memory=6004820471124940137 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931190 11079016448 21612 33554432000 4194304 4196468 140737432837712 140586828948848 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11079016448 21612 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10819352 memory=8326441112149131689 CPUtime=0.17 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 1118 13315 0 0 9 0 5 3 20 0 15 0 60931192 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10819352 memory=-7025452035940392864 CPUtime=0.16 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 512 13315 0 0 8 0 5 3 20 0 15 0 60931192 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) S 17073 17076 12709 0 -1 1077944384 628 13315 0 0 13 0 5 3 20 0 15 0 60931192 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587523885168 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11079016448 21612 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931193 11079016448 21612 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86448 KiB
[startup+1.50073 s]
/proc/loadavg: 1.67 1.62 1.63 6/219 17142
/proc/meminfo: memFree=14933832/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=10830156 memory=194344 CPUtime=3.03 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 23290 13315 0 0 288 7 5 3 20 0 15 0 60931177 11090079744 48586 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2707539 48586 3455 1 0 2669197 0
[pid=17076/tid=17129] ppid=17073 vsize=10830156 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 15561 13315 0 0 133 5 5 3 20 0 15 0 60931187 11090079744 48586 33554432000 4194304 4196468 140737432837712 140588039505840 140588052853776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10830156 memory=100712 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11090079744 48586 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10830156 memory=5790086053191909267 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931188 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 60931188 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 6 13315 0 0 0 0 5 3 20 0 15 0 60931189 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10830156 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 60931189 11090079744 48586 33554432000 4194304 4196468 140737432837712 140586963166752 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10830156 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931190 11090079744 48586 33554432000 4194304 4196468 140737432837712 140586828948848 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10830156 memory=2196 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11090079744 48586 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10830156 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 2624 13315 0 0 54 0 5 3 20 0 15 0 60931192 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10830156 memory=213296129046797 CPUtime=0.63 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 1399 13315 0 0 55 0 5 3 20 0 15 0 60931192 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10830156 memory=3904963032027245965 CPUtime=0.51 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) S 17073 17076 12709 0 -1 1077944384 1481 13315 0 0 43 0 5 3 20 0 15 0 60931192 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587523885168 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10830156 memory=4638778419807998288 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11090079744 48586 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10830156 memory=6935649255776346176 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 60931193 11090079744 48586 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 122323 13315 0 0 235877 57 5 3 20 0 15 0 60931187 11178180608 412497 33554432000 4194304 4196468 140737432837712 140588039522048 140587654881291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10916192 memory=1650500 CPUtime=14.93 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 30082 13315 0 0 1434 51 5 3 20 0 15 0 60931188 11178180608 412497 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10916192 memory=1658196 CPUtime=14.92 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 41953 13315 0 0 1437 47 5 3 20 0 15 0 60931188 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10916192 memory=1666400 CPUtime=14.89 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 40608 13315 0 0 1435 46 5 3 20 0 15 0 60931188 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10916192 memory=1650500 CPUtime=14.87 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 32860 13315 0 0 1433 46 5 3 20 0 15 0 60931188 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10916192 memory=139706160328097 CPUtime=6.08 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 29764 13315 0 0 558 42 5 3 20 0 15 0 60931189 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10916192 memory=1650500 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 34 13315 0 0 0 0 5 3 20 0 15 0 60931189 11178180608 412497 33554432000 4194304 4196468 140737432837712 140586963166816 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10916192 memory=1658708 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 36 13315 0 0 0 0 5 3 20 0 15 0 60931190 11178180608 412497 33554432000 4194304 4196468 140737432837712 140586828948864 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10916192 memory=1649988 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11178180608 412497 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10916192 memory=1652552 CPUtime=10.62 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 27092 13315 0 0 1050 4 5 3 20 0 15 0 60931192 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10916192 memory=644 CPUtime=10.83 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 27818 13315 0 0 1072 3 5 3 20 0 15 0 60931192 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10916192 memory=1650500 CPUtime=3.81 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) S 17073 17076 12709 0 -1 1077944384 41362 13315 0 0 367 6 5 3 20 0 15 0 60931192 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587523885168 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10916192 memory=1650500 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11178180608 412497 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10916192 memory=1650500 CPUtime=1.49 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 3233 13315 0 0 59 82 5 3 20 0 15 0 60931193 11178180608 412497 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 2451.26 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1649988 KiB
[startup+2442.3 s]
/proc/loadavg: 1.24 1.30 1.38 3/220 17372
/proc/meminfo: memFree=14188640/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=10916192 memory=1644460 CPUtime=2512.46 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 402619 13315 0 0 250881 357 5 3 20 0 15 0 60931177 11178180608 411115 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2729048 411115 3532 1 0 2690701 0
[pid=17076/tid=17129] ppid=17073 vsize=10916192 memory=1645448 CPUtime=2418.75 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 123465 13315 0 0 241809 58 5 3 20 0 15 0 60931187 11178180608 411115 33554432000 4194304 4196468 140737432837712 140588039522176 140587654881623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10916192 memory=1644460 CPUtime=15.35 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 30634 13315 0 0 1475 52 5 3 20 0 15 0 60931188 11178180608 411115 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10916192 memory=1644460 CPUtime=15.33 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 42114 13315 0 0 1477 48 5 3 20 0 15 0 60931188 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10916192 memory=1644460 CPUtime=15.31 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 41540 13315 0 0 1477 46 5 3 20 0 15 0 60931188 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10916192 memory=1644460 CPUtime=15.3 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 32962 13315 0 0 1475 47 5 3 20 0 15 0 60931188 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10916192 memory=1644460 CPUtime=6.24 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 30104 13315 0 0 573 43 5 3 20 0 15 0 60931189 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10916192 memory=1644460 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 34 13315 0 0 0 0 5 3 20 0 15 0 60931189 11178180608 411115 33554432000 4194304 4196468 140737432837712 140586963166816 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10916192 memory=1646988 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 36 13315 0 0 0 0 5 3 20 0 15 0 60931190 11178180608 411115 33554432000 4194304 4196468 140737432837712 140586828948864 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10916192 memory=1646988 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11178180608 411115 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10916192 memory=1644460 CPUtime=10.62 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 27094 13315 0 0 1050 4 5 3 20 0 15 0 60931192 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10916192 memory=1644460 CPUtime=10.83 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 27820 13315 0 0 1072 3 5 3 20 0 15 0 60931192 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10916192 memory=1645960 CPUtime=3.81 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) S 17073 17076 12709 0 -1 1077944384 41364 13315 0 0 367 6 5 3 20 0 15 0 60931192 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587523885168 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10916192 memory=1646472 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11178180608 411115 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10916192 memory=1644460 CPUtime=1.53 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 3254 13315 0 0 61 84 5 3 20 0 15 0 60931193 11178180608 411115 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 2512.46 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1644460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2449.7 s]
/proc/loadavg: 1.22 1.30 1.38 3/220 17372
/proc/meminfo: memFree=14189136/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=10916192 memory=1644476 CPUtime=2520.02 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 404313 13315 0 0 251636 358 5 3 20 0 15 0 60931177 11178180608 411119 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2729048 411119 3532 1 0 2690701 0
[pid=17076/tid=17129] ppid=17073 vsize=10916192 memory=1644476 CPUtime=2426.08 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 123983 13315 0 0 242542 58 5 3 20 0 15 0 60931187 11178180608 411119 33554432000 4194304 4196468 140737432837712 140588039521792 140587662068072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10916192 memory=1644476 CPUtime=15.4 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 30750 13315 0 0 1480 52 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10916192 memory=1644476 CPUtime=15.39 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 42119 13315 0 0 1483 48 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10916192 memory=1644460 CPUtime=15.36 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 42227 13315 0 0 1482 46 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10916192 memory=1644476 CPUtime=15.35 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 32983 13315 0 0 1480 47 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10916192 memory=1644476 CPUtime=6.26 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 30427 13315 0 0 575 43 5 3 20 0 15 0 60931189 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10916192 memory=1644476 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 34 13315 0 0 0 0 5 3 20 0 15 0 60931189 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586963166816 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10916192 memory=1644476 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 36 13315 0 0 0 0 5 3 20 0 15 0 60931190 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586828948864 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10916192 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10916192 memory=4616 CPUtime=10.62 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 27096 13315 0 0 1050 4 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10916192 memory=1644476 CPUtime=10.83 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 27822 13315 0 0 1072 3 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10916192 memory=1644476 CPUtime=3.81 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) S 17073 17076 12709 0 -1 1077944384 41366 13315 0 0 367 6 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587523885168 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10916192 memory=1644460 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10916192 memory=1644460 CPUtime=1.53 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 3272 13315 0 0 61 84 5 3 20 0 15 0 60931193 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1644476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2449.75 s]
# the end of solver process 17076 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.45 s, system=3.63887 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2449.7 s]
/proc/loadavg: 1.22 1.30 1.38 3/220 17372
/proc/meminfo: memFree=14189136/32770624 swapFree=67108860/67108860
[pid=17076] ppid=17073 vsize=10916192 memory=1644476 CPUtime=2520.02 cores=1,3,5,7
/proc/17076/stat : 17076 (java) S 17073 17076 12709 0 -1 1077944320 404313 13315 0 0 251636 358 5 3 20 0 15 0 60931177 11178180608 411119 33554432000 4194304 4196468 140737432837712 140737432820256 140588067688183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
/proc/17076/statm: 2729048 411119 3532 1 0 2690701 0
[pid=17076/tid=17129] ppid=17073 vsize=10916192 memory=1644476 CPUtime=2426.08 cores=1,3,5,7
/proc/17076/task/17129/stat : 17129 (java) R 17073 17076 12709 0 -1 4202560 123983 13315 0 0 242542 58 5 3 20 0 15 0 60931187 11178180608 411119 33554432000 4194304 4196468 140737432837712 140588039521792 140587662068072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17130] ppid=17073 vsize=10916192 memory=1644476 CPUtime=15.4 cores=1,3,5,7
/proc/17076/task/17130/stat : 17130 (java) S 17073 17076 12709 0 -1 1077944384 30750 13315 0 0 1480 52 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140588071930512 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17131] ppid=17073 vsize=10916192 memory=1644476 CPUtime=15.39 cores=1,3,5,7
/proc/17076/task/17131/stat : 17131 (java) S 17073 17076 12709 0 -1 1077944384 42119 13315 0 0 1483 48 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587640416784 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17132] ppid=17073 vsize=10916192 memory=1644460 CPUtime=15.36 cores=1,3,5,7
/proc/17076/task/17132/stat : 17132 (java) S 17073 17076 12709 0 -1 1077944384 42227 13315 0 0 1482 46 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587639363984 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17133] ppid=17073 vsize=10916192 memory=1644476 CPUtime=15.35 cores=1,3,5,7
/proc/17076/task/17133/stat : 17133 (java) S 17073 17076 12709 0 -1 1077944384 32983 13315 0 0 1480 47 5 3 20 0 15 0 60931188 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587638311184 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17134] ppid=17073 vsize=10916192 memory=1644476 CPUtime=6.26 cores=1,3,5,7
/proc/17076/task/17134/stat : 17134 (java) S 17073 17076 12709 0 -1 1077944384 30427 13315 0 0 575 43 5 3 20 0 15 0 60931189 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587527043952 140588067699330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17135] ppid=17073 vsize=10916192 memory=1644476 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17135/stat : 17135 (java) S 17073 17076 12709 0 -1 1077944384 34 13315 0 0 0 0 5 3 20 0 15 0 60931189 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586963166816 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17136] ppid=17073 vsize=10916192 memory=1644476 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17136/stat : 17136 (java) S 17073 17076 12709 0 -1 1077944384 36 13315 0 0 0 0 5 3 20 0 15 0 60931190 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586828948864 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17137] ppid=17073 vsize=10916192 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17137/stat : 17137 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586588658000 140588067706779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17138] ppid=17073 vsize=10916192 memory=4616 CPUtime=10.62 cores=1,3,5,7
/proc/17076/task/17138/stat : 17138 (java) S 17073 17076 12709 0 -1 1077944384 27096 13315 0 0 1050 4 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587525990768 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17139] ppid=17073 vsize=10916192 memory=1644476 CPUtime=10.83 cores=1,3,5,7
/proc/17076/task/17139/stat : 17139 (java) S 17073 17076 12709 0 -1 1077944384 27822 13315 0 0 1072 3 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587524937968 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17140] ppid=17073 vsize=10916192 memory=1644476 CPUtime=3.81 cores=1,3,5,7
/proc/17076/task/17140/stat : 17140 (java) S 17073 17076 12709 0 -1 1077944384 41366 13315 0 0 367 6 5 3 20 0 15 0 60931192 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587523885168 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17141] ppid=17073 vsize=10916192 memory=1644460 CPUtime=0.08 cores=1,3,5,7
/proc/17076/task/17141/stat : 17141 (java) S 17073 17076 12709 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 60931193 11178180608 411119 33554432000 4194304 4196468 140737432837712 140586555099360 140588067698389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
[pid=17076/tid=17142] ppid=17073 vsize=10916192 memory=1644460 CPUtime=1.53 cores=1,3,5,7
/proc/17076/task/17142/stat : 17142 (java) S 17073 17076 12709 0 -1 1077944384 3272 13315 0 0 61 84 5 3 20 0 15 0 60931193 11178180608 411119 33554432000 4194304 4196468 140737432837712 140587522833584 140588067699330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140737432844460 140737432847708 140737432847708 140737432850383 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1644476 KiB
Child status: 143
Real time (s): 2449.75
CPU time (s): 2520.09
CPU user time (s): 2516.45
CPU system time (s): 3.63887
CPU usage (%): 102.872
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 2331564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.45
system time used= 3.63887
maximum resident set size= 2337208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183300
involuntary context switches= 6705
# summary of solver processes directly reported to runsolver:
# pid: 17076
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.45
# total CPU system time (s): 3.63887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9853 second user time and 23.0813 second system time
The end