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 (9276 MiB free)
memory of node 1: 16384 MiB (13359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311538-1534543791/watcher-4311538-1534543791 -o /tmp/evaluation-result-4311538-1534543791/solver-4311538-1534543791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534541038-19625 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 475522958 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311538-1534543791.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
solver pid=20256, runsolver pid=20253
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 1.24 1.38 1.30 3/215 20271
/proc/meminfo: memFree=23161032/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14082736 memory=32004 CPUtime=0.11 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 6401 0 0 0 10 1 0 0 20 0 15 0 271942417 14420721664 8001 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3520684 8001 3157 1 0 3482761 0
[pid=20256/tid=20258] ppid=20253 vsize=14082736 memory=-8629632960754259331 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 4448 0 0 0 8 1 0 0 20 0 15 0 271942417 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762629777696 139762611254942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942419 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32004 KiB
[startup+0.212494 s]*
/proc/loadavg: 1.24 1.38 1.30 6/215 20271
/proc/meminfo: memFree=23145776/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14082736 memory=47816 CPUtime=0.31 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 10062 0 0 0 29 2 0 0 20 0 15 0 271942417 14420721664 11954 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3520684 11954 3361 1 0 3482761 0
[pid=20256/tid=20258] ppid=20253 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 7775 0 0 0 18 2 0 0 20 0 15 0 271942417 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762629800640 139762625584534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14082736 memory=3763237972226688672 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271942419 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0.06 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) R 20253 20256 19594 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761531184176 139762625593946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47816 KiB
[startup+0.310422 s]*
/proc/loadavg: 1.24 1.38 1.30 5/215 20271
/proc/meminfo: memFree=23142488/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14082736 memory=51148 CPUtime=0.44 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 10414 0 0 0 42 2 0 0 20 0 15 0 271942417 14420721664 12787 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3520684 12787 3364 1 0 3482761 0
[pid=20256/tid=20258] ppid=20253 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 8107 0 0 0 28 2 0 0 20 0 15 0 271942417 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762629780432 139762605848270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14082736 memory=4294977871 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14082736 memory=3835014091287905952 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271942419 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51148 KiB
[startup+0.700733 s]
/proc/loadavg: 1.24 1.38 1.30 3/215 20271
/proc/meminfo: memFree=23118784/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14084804 memory=88828 CPUtime=0.98 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 17113 0 0 0 94 4 0 0 20 0 15 0 271942417 14422839296 22207 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3521201 22207 3500 1 0 3483273 0
[pid=20256/tid=20258] ppid=20253 vsize=14084804 memory=227517638140550 CPUtime=0.67 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 14445 0 0 0 64 3 0 0 20 0 15 0 271942417 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762629795856 139762609653086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14084804 memory=1477442 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14084804 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271942419 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14084804 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14084804 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 581 0 0 0 6 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 362 0 0 0 15 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14084804 memory=15764 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88828 KiB
[startup+1.50073 s]
/proc/loadavg: 1.24 1.38 1.30 5/215 20271
/proc/meminfo: memFree=23067048/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14086852 memory=222280 CPUtime=3.34 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 21851 0 0 0 327 7 0 0 20 0 15 0 271942417 14424936448 55570 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3521713 55570 3565 1 0 3483785 0
[pid=20256/tid=20258] ppid=20253 vsize=14086852 memory=10803 CPUtime=1.46 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 15625 0 0 0 141 5 0 0 20 0 15 0 271942417 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762629808560 139762217728517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 271942419 14424936448 55570 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
################
# More data... #
################
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 91650 0 0 0 236483 74 0 0 20 0 15 0 271942417 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762629810704 139762219595995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=748 CPUtime=12.03 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29090 0 0 0 1163 40 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2256312 CPUtime=12.04 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29071 0 0 0 1166 38 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2252208 CPUtime=11.98 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30087 0 0 0 1160 38 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2253748 CPUtime=12.06 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 30418 0 0 0 1168 38 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2249644 CPUtime=3.28 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27041 0 0 0 292 36 0 0 20 0 15 0 271942419 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=2250156 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2248104 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2247592 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=2247592 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7166 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=1620 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10789 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=238418 CPUtime=1.06 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10957 0 0 0 105 1 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=4100 CPUtime=1.27 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1586 0 0 0 62 65 0 0 20 0 15 0 271942423 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2424.84 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2247080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.37 1.49 1.43 3/215 20510
/proc/meminfo: memFree=20513964/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14090948 memory=2210656 CPUtime=2485.82 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 272052 0 0 0 248271 311 0 0 20 0 15 0 271942417 14429130752 552664 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3522737 552664 3609 1 0 3484809 0
[pid=20256/tid=20258] ppid=20253 vsize=14090948 memory=2211168 CPUtime=2425.09 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 92798 0 0 0 242435 74 0 0 20 0 15 0 271942417 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762629810704 139762216250581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=2213220 CPUtime=12.35 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29376 0 0 0 1195 40 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2212708 CPUtime=12.37 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29290 0 0 0 1199 38 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2211680 CPUtime=12.32 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30469 0 0 0 1194 38 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2210656 CPUtime=12.39 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 30782 0 0 0 1200 39 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2211168 CPUtime=3.38 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27385 0 0 0 301 37 0 0 20 0 15 0 271942419 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=3808 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2221940 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2223480 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=3808 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7170 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=6432 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10793 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=1220 CPUtime=1.06 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10961 0 0 0 105 1 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=1068 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=2210656 CPUtime=1.3 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1612 0 0 0 63 67 0 0 20 0 15 0 271942423 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2485.82 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2210656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.9 s]
/proc/loadavg: 1.27 1.45 1.42 3/215 20510
/proc/meminfo: memFree=20524700/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2520.01 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 273515 0 0 0 251687 314 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3522737 549586 3609 1 0 3484809 0
[pid=20256/tid=20258] ppid=20253 vsize=14090948 memory=2200908 CPUtime=2458.4 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 93409 0 0 0 245766 74 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762629810784 139762214510909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=2213220 CPUtime=12.54 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29384 0 0 0 1214 40 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2203472 CPUtime=12.57 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29440 0 0 0 1219 38 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2200908 CPUtime=12.52 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30659 0 0 0 1213 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2201420 CPUtime=12.59 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 31092 0 0 0 1220 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2199368 CPUtime=3.44 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27559 0 0 0 306 38 0 0 20 0 15 0 271942419 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=2200396 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2198856 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2198344 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7172 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10795 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=2198856 CPUtime=1.07 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10963 0 0 0 106 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=304336023431948585 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=6791534058613427641 CPUtime=1.32 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1626 0 0 0 64 68 0 0 20 0 15 0 271942423 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2198344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.92 s]
# the end of solver process 20256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.89 s, system=3.1523 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.9 s]
/proc/loadavg: 1.27 1.45 1.42 3/215 20510
/proc/meminfo: memFree=20524700/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2520.01 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 273515 0 0 0 251687 314 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3522737 549586 3609 1 0 3484809 0
[pid=20256/tid=20258] ppid=20253 vsize=14090948 memory=2200908 CPUtime=2458.4 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 93409 0 0 0 245766 74 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762629810784 139762214510909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=2213220 CPUtime=12.54 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29384 0 0 0 1214 40 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2203472 CPUtime=12.57 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29440 0 0 0 1219 38 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2200908 CPUtime=12.52 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30659 0 0 0 1213 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2201420 CPUtime=12.59 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 31092 0 0 0 1220 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2199368 CPUtime=3.44 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27559 0 0 0 306 38 0 0 20 0 15 0 271942419 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=2200396 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2198856 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2198344 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7172 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10795 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=2198856 CPUtime=1.07 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10963 0 0 0 106 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=304336023431948585 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=6791534058613427641 CPUtime=1.32 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1626 0 0 0 64 68 0 0 20 0 15 0 271942423 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2198344 KiB
Child status: 143
Real time (s): 2475.92
CPU time (s): 2520.04
CPU user time (s): 2516.89
CPU system time (s): 3.1523
CPU usage (%): 101.782
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3850724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.89
system time used= 3.15231
maximum resident set size= 3852768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141024
involuntary context switches= 5688
# summary of solver processes directly reported to runsolver:
# pid: 20256
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.89
# total CPU system time (s): 3.1523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2756 second user time and 20.1876 second system time
The end