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 (8660 MiB free)
memory of node 1: 16384 MiB (9500 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305197-1534138766/watcher-4305197-1534138766 -o /tmp/evaluation-result-4305197-1534138766/solver-4305197-1534138766 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534138766-20508 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1995958399 HOME/instance-4305197-1534138766.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=20533, runsolver pid=20529
[startup+0.100061 s]*
/proc/loadavg: 1.00 1.01 1.14 1/193 20646
/proc/meminfo: memFree=18579592/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=10005480 memory=16428 CPUtime=0.09 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 4295 13203 0 0 1 1 5 2 20 0 6 0 231439836 10245611520 4107 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2501370 4107 1930 1 0 2489808 0
[pid=20533/tid=20639] ppid=20529 vsize=10005480 memory=-8540663193526752614 CPUtime=0.08 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 2133 13203 0 0 1 0 5 2 20 0 6 0 231439845 10245611520 4173 33554432000 4194304 4196468 140737433048720 140145655530064 140145669005305 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=10005480 memory=4211974046798269834 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 6 0 231439845 10245611520 4173 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=10005480 memory=140320593479296 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 6 0 231439845 10245611520 4173 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 6 0 231439845 10245611520 4173 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 2 13203 0 0 0 0 5 2 20 0 6 0 231439845 10245611520 4173 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16428 KiB
[startup+0.210454 s]*
/proc/loadavg: 1.00 1.01 1.14 3/215 20668
/proc/meminfo: memFree=18532560/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=10982696 memory=43948 CPUtime=0.26 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 8350 13203 0 0 17 2 5 2 20 0 15 0 231439836 11246280704 10987 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2745674 10987 2962 1 0 2708109 0
[pid=20533/tid=20639] ppid=20529 vsize=10982696 memory=4871374705135476842 CPUtime=0.19 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 4784 13203 0 0 11 1 5 2 20 0 15 0 231439845 11246280704 10987 33554432000 4194304 4196468 140737433048720 140145655490960 140145665256832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=10982696 memory=4211974046798269834 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246280704 10987 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=10982696 memory=140320593479296 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246280704 10987 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246280704 10987 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 2 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246280704 10987 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=10982696 memory=140320593479296 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 2 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 13 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144514426528 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144313099504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 482 13203 0 0 1 0 5 2 20 0 15 0 231439850 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) S 20529 20533 19646 0 -1 1077944384 160 13203 0 0 1 0 5 2 20 0 15 0 231439850 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144973257072 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=10982696 memory=140320593479296 CPUtime=0.1 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 703 13203 0 0 3 0 5 2 20 0 15 0 231439850 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246280704 10987 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=10982696 memory=140320593479296 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246280704 10987 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43948 KiB
[startup+0.310311 s]*
/proc/loadavg: 1.00 1.01 1.14 3/215 20668
/proc/meminfo: memFree=18510344/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=10983192 memory=55568 CPUtime=0.37 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 10402 13203 0 0 28 2 5 2 20 0 15 0 231439836 11246788608 13892 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2745798 13892 3106 1 0 2708109 0
[pid=20533/tid=20639] ppid=20529 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 6804 13203 0 0 20 2 5 2 20 0 15 0 231439845 11246788608 13892 33554432000 4194304 4196468 140737433048720 140145655505088 140145667086640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 13892 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 13892 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 13892 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 2 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 13892 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=10983192 memory=140320593479295 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 2 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 13 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144514426528 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144313099504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 482 13203 0 0 1 0 5 2 20 0 15 0 231439850 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) S 20529 20533 19646 0 -1 1077944384 168 13203 0 0 1 0 5 2 20 0 15 0 231439850 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144973257072 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=10983192 memory=140320593479296 CPUtime=0.11 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 729 13203 0 0 4 0 5 2 20 0 15 0 231439850 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246788608 13892 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=10983192 memory=140320593479296 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246788608 13892 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55568 KiB
[startup+0.700802 s]
/proc/loadavg: 1.00 1.01 1.14 3/215 20668
/proc/meminfo: memFree=18487612/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=10983192 memory=88712 CPUtime=0.97 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 16749 13203 0 0 85 5 5 2 20 0 15 0 231439836 11246788608 22178 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2745798 22178 3241 1 0 2708109 0
[pid=20533/tid=20639] ppid=20529 vsize=10983192 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 12107 13203 0 0 56 3 5 2 20 0 15 0 231439845 11246788608 22178 33554432000 4194304 4196468 140737433048720 140145655514128 140145683707167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=10983192 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 22178 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 22178 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 22178 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 2 13203 0 0 0 0 5 2 20 0 15 0 231439845 11246788608 22178 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=10983192 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 5 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 13 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144514426528 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=10983192 memory=14657 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439847 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144313099504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=10983192 memory=280640947749104 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 745 13203 0 0 7 0 5 2 20 0 15 0 231439850 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=10983192 memory=33 CPUtime=0.16 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) S 20529 20533 19646 0 -1 1077944384 797 13203 0 0 9 0 5 2 20 0 15 0 231439850 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144973257072 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 876 13203 0 0 12 0 5 2 20 0 15 0 231439850 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246788608 22178 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439850 11246788608 22178 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88712 KiB
[startup+1.50072 s]
/proc/loadavg: 1.00 1.01 1.14 4/215 20668
/proc/meminfo: memFree=18396560/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=10996044 memory=238076 CPUtime=2.88 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 23425 13203 0 0 270 11 5 2 20 0 15 0 231439836 11259949056 59519 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2749011 59519 3457 1 0 2710669 0
[pid=20533/tid=20639] ppid=20529 vsize=10996044 memory=7 CPUtime=1.44 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 16039 13203 0 0 130 7 5 2 20 0 15 0 231439845 11259949056 59519 33554432000 4194304 4196468 140737433048720 140145655490448 140145683715229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 33 13203 0 0 0 0 5 2 20 0 15 0 231439845 11259949056 59519 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=10996044 memory=280640947821808 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 12 13203 0 0 0 0 5 2 20 0 15 0 231439845 11259949056 59519 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=10996044 memory=280640947821872 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 6 13203 0 0 0 0 5 2 20 0 15 0 231439845 11259949056 59519 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=10996044 memory=280640947821936 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 185 13203 0 0 0 0 5 2 20 0 15 0 231439845 11259949056 59519 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=10996044 memory=9122745479247552727 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 38 13203 0 0 0 0 5 2 20 0 15 0 231439847 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=10996044 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 15 13203 0 0 0 0 5 2 20 0 15 0 231439847 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144514426528 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 2 13203 0 0 0 0 5 2 20 0 15 0 231439847 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144313099504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=10996044 memory=280640947802960 CPUtime=0.48 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 1459 13203 0 0 41 0 5 2 20 0 15 0 231439850 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=10996044 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) R 20529 20533 19646 0 -1 4202560 1610 13203 0 0 50 0 5 2 20 0 15 0 231439850 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144973237040 140145662949920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=10996044 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 1826 13203 0 0 43 1 5 2 20 0 15 0 231439850 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11259949056 59519 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1 13203 0 0 0 0 5 2 20 0 15 0 231439850 11259949056 59519 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 92607 13203 0 0 235457 58 5 2 20 0 15 0 231439845 11343855616 316551 33554432000 4194304 4196468 140737433048720 140145655527344 140145255429624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=11077984 memory=1266204 CPUtime=12.14 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 11722 13203 0 0 1144 63 5 2 20 0 15 0 231439845 11343855616 316551 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=11077984 memory=1266204 CPUtime=12.16 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 11784 13203 0 0 1147 62 5 2 20 0 15 0 231439845 11343855616 316551 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=11077984 memory=1266204 CPUtime=12.14 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 11936 13203 0 0 1144 63 5 2 20 0 15 0 231439845 11343855616 316551 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=11077984 memory=1266204 CPUtime=12.19 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 13657 13203 0 0 1146 66 5 2 20 0 15 0 231439845 11343855616 316551 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=11077984 memory=1266204 CPUtime=11.36 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 16651 13203 0 0 1072 57 5 2 20 0 15 0 231439847 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=11077984 memory=62856 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 22 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144514426656 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=11077984 memory=4124 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 9 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144313099520 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=11077984 memory=2092 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=11077984 memory=1266204 CPUtime=4.09 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 14688 13203 0 0 400 2 5 2 20 0 15 0 231439850 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=11077984 memory=4028 CPUtime=3.99 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) S 20529 20533 19646 0 -1 1077944384 17968 13203 0 0 388 4 5 2 20 0 15 0 231439850 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144973257072 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=11077984 memory=1266204 CPUtime=1.89 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 18505 13203 0 0 178 4 5 2 20 0 15 0 231439850 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=11077984 memory=1628 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 316551 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=11077984 memory=62856 CPUtime=1.48 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1126 13203 0 0 66 75 5 2 20 0 15 0 231439850 11343855616 316551 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 2426.14 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1266204 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.35 1.33 3/216 20925
/proc/meminfo: memFree=16338656/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=11077984 memory=1266256 CPUtime=2487.09 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 214539 13203 0 0 248313 389 5 2 20 0 15 0 231439836 11343855616 316564 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2769496 316564 3520 1 0 2731149 0
[pid=20533/tid=20639] ppid=20529 vsize=11077984 memory=1266256 CPUtime=2414.52 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 93340 13203 0 0 241386 59 5 2 20 0 15 0 231439845 11343855616 316564 33554432000 4194304 4196468 140737433048720 140145655527216 140145255430351 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=11077984 memory=1266256 CPUtime=12.47 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 11783 13203 0 0 1176 64 5 2 20 0 15 0 231439845 11343855616 316564 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=11077984 memory=1266256 CPUtime=12.5 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 11818 13203 0 0 1179 64 5 2 20 0 15 0 231439845 11343855616 316564 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=11077984 memory=56 CPUtime=12.46 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 12273 13203 0 0 1175 64 5 2 20 0 15 0 231439845 11343855616 316564 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=11077984 memory=1266256 CPUtime=12.52 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 13915 13203 0 0 1177 68 5 2 20 0 15 0 231439845 11343855616 316564 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=11077984 memory=1266256 CPUtime=11.66 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 16869 13203 0 0 1100 59 5 2 20 0 15 0 231439847 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=11077984 memory=1266256 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 22 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144514426656 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=11077984 memory=1266256 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 9 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144313099520 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=11077984 memory=1266256 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=11077984 memory=1266256 CPUtime=4.09 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 14690 13203 0 0 400 2 5 2 20 0 15 0 231439850 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=11077984 memory=1266256 CPUtime=3.99 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) S 20529 20533 19646 0 -1 1077944384 17970 13203 0 0 388 4 5 2 20 0 15 0 231439850 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144973257072 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=11077984 memory=11200 CPUtime=1.89 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 18507 13203 0 0 178 4 5 2 20 0 15 0 231439850 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=11077984 memory=1266256 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 316564 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=11077984 memory=1266256 CPUtime=1.51 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1144 13203 0 0 67 77 5 2 20 0 15 0 231439850 11343855616 316564 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 2487.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1266256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.7 s]
/proc/loadavg: 1.32 1.33 1.32 3/216 20925
/proc/meminfo: memFree=16337832/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=11077984 memory=1268348 CPUtime=2520 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 215434 13203 0 0 251599 394 5 2 20 0 15 0 231439836 11343855616 317087 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2769496 317087 3520 1 0 2731149 0
[pid=20533/tid=20639] ppid=20529 vsize=11077984 memory=6791534058613427641 CPUtime=2446.51 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 93840 13203 0 0 244584 60 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145655528016 140145269592366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=11077984 memory=1268348 CPUtime=12.65 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 11842 13203 0 0 1193 65 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=11077984 memory=1268348 CPUtime=12.67 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 11888 13203 0 0 1196 64 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=11077984 memory=1268348 CPUtime=12.65 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 12296 13203 0 0 1192 66 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=11077984 memory=280640949263344 CPUtime=12.7 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 13961 13203 0 0 1195 68 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=11077984 memory=1268348 CPUtime=11.83 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 17045 13203 0 0 1116 60 5 2 20 0 15 0 231439847 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 22 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144514426656 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 9 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144313099520 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=11077984 memory=1268348 CPUtime=4.09 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 14692 13203 0 0 400 2 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=11077984 memory=1268348 CPUtime=3.99 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) S 20529 20533 19646 0 -1 1077944384 17972 13203 0 0 388 4 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144973257072 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=11077984 memory=1268348 CPUtime=1.89 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 18509 13203 0 0 178 4 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=11077984 memory=315533668791877947 CPUtime=1.53 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1159 13203 0 0 68 78 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1268348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.73 s]
# the end of solver process 20533 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.07 s, system=3.97656 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.7 s]
/proc/loadavg: 1.32 1.33 1.32 3/216 20925
/proc/meminfo: memFree=16337832/32770624 swapFree=67108196/67108860
[pid=20533] ppid=20529 vsize=11077984 memory=1268348 CPUtime=2520 cores=1,3,5,7
/proc/20533/stat : 20533 (java) S 20529 20533 19646 0 -1 1077944320 215434 13203 0 0 251599 394 5 2 20 0 15 0 231439836 11343855616 317087 33554432000 4194304 4196468 140737433048720 140737433031264 140145683693303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
/proc/20533/statm: 2769496 317087 3520 1 0 2731149 0
[pid=20533/tid=20639] ppid=20529 vsize=11077984 memory=6791534058613427641 CPUtime=2446.51 cores=1,3,5,7
/proc/20533/task/20639/stat : 20639 (java) R 20529 20533 19646 0 -1 4202560 93840 13203 0 0 244584 60 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145655528016 140145269592366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20643] ppid=20529 vsize=11077984 memory=1268348 CPUtime=12.65 cores=1,3,5,7
/proc/20533/task/20643/stat : 20643 (java) S 20529 20533 19646 0 -1 1077944384 11842 13203 0 0 1193 65 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145687935504 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20644] ppid=20529 vsize=11077984 memory=1268348 CPUtime=12.67 cores=1,3,5,7
/proc/20533/task/20644/stat : 20644 (java) S 20529 20533 19646 0 -1 1077944384 11888 13203 0 0 1196 64 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145223633552 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20645] ppid=20529 vsize=11077984 memory=1268348 CPUtime=12.65 cores=1,3,5,7
/proc/20533/task/20645/stat : 20645 (java) S 20529 20533 19646 0 -1 1077944384 12296 13203 0 0 1192 66 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145222580496 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20646] ppid=20529 vsize=11077984 memory=280640949263344 CPUtime=12.7 cores=1,3,5,7
/proc/20533/task/20646/stat : 20646 (java) S 20529 20533 19646 0 -1 1077944384 13961 13203 0 0 1195 68 5 2 20 0 15 0 231439845 11343855616 317087 33554432000 4194304 4196468 140737433048720 140145221527952 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20651] ppid=20529 vsize=11077984 memory=1268348 CPUtime=11.83 cores=1,3,5,7
/proc/20533/task/20651/stat : 20651 (java) S 20529 20533 19646 0 -1 1077944384 17045 13203 0 0 1116 60 5 2 20 0 15 0 231439847 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144975362800 140145683704450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20652] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20652/stat : 20652 (java) S 20529 20533 19646 0 -1 1077944384 22 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144514426656 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20653] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20653/stat : 20653 (java) S 20529 20533 19646 0 -1 1077944384 9 13203 0 0 0 0 5 2 20 0 15 0 231439847 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144313099520 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20657] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20657/stat : 20657 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144005700048 140145683711899 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20658] ppid=20529 vsize=11077984 memory=1268348 CPUtime=4.09 cores=1,3,5,7
/proc/20533/task/20658/stat : 20658 (java) S 20529 20533 19646 0 -1 1077944384 14692 13203 0 0 400 2 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144974309616 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20659] ppid=20529 vsize=11077984 memory=1268348 CPUtime=3.99 cores=1,3,5,7
/proc/20533/task/20659/stat : 20659 (java) S 20529 20533 19646 0 -1 1077944384 17972 13203 0 0 388 4 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144973257072 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20660] ppid=20529 vsize=11077984 memory=1268348 CPUtime=1.89 cores=1,3,5,7
/proc/20533/task/20660/stat : 20660 (java) S 20529 20533 19646 0 -1 1077944384 18509 13203 0 0 178 4 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144972204016 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20661] ppid=20529 vsize=11077984 memory=1268348 CPUtime=0.07 cores=1,3,5,7
/proc/20533/task/20661/stat : 20661 (java) S 20529 20533 19646 0 -1 1077944384 3 13203 0 0 0 0 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140143574903136 140145683703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
[pid=20533/tid=20662] ppid=20529 vsize=11077984 memory=315533668791877947 CPUtime=1.53 cores=1,3,5,7
/proc/20533/task/20662/stat : 20662 (java) S 20529 20533 19646 0 -1 1077944384 1159 13203 0 0 68 78 5 2 20 0 15 0 231439850 11343855616 317087 33554432000 4194304 4196468 140737433048720 140144971152432 140145683704450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140737433053804 140737433056604 140737433056604 140737433059279 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1268348 KiB
Child status: 143
Real time (s): 2474.73
CPU time (s): 2520.05
CPU user time (s): 2516.07
CPU system time (s): 3.97656
CPU usage (%): 101.831
Max. virtual memory (cumulated for all children) (KiB): 11080624
Max. memory (cumulated for all children) (KiB): 1268348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 3.97656
maximum resident set size= 1270748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 314263
involuntary context switches= 8468
# summary of solver processes directly reported to runsolver:
# pid: 20533
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.07
# total CPU system time (s): 3.97656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4182 second user time and 23.1798 second system time
The end