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 (5564 MiB free)
memory of node 1: 16384 MiB (9958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304720-1534138268/watcher-4304720-1534138268 -o /tmp/evaluation-result-4304720-1534138268/solver-4304720-1534138268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534138268-9449 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=992300577 -superng HOME/instance-4304720-1534138268.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=9477, runsolver pid=9471
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.18 1.78 1.97 4/190 9576
/proc/meminfo: memFree=15892856/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=425712 memory=5612 CPUtime=0.07 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 2562 12889 0 2 0 0 4 3 20 0 2 0 231390060 435929088 1403 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 106428 1403 1064 1 0 95339 0
[pid=9477/tid=9583] ppid=9471 vsize=425712 memory=-2899909650764262549 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) S 9471 9477 8231 0 -1 1077944384 405 12889 0 2 0 0 4 3 20 0 2 0 231390070 435929088 1915 33554432000 4194304 4196468 140722513457280 139947715004832 139947743173250 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 5612 KiB
[startup+0.210547 s]*
/proc/loadavg: 1.18 1.78 1.97 4/216 9610
/proc/meminfo: memFree=15839216/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10982744 memory=41048 CPUtime=0.23 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 6917 12889 0 2 15 1 4 3 20 0 15 0 231390060 11246329856 10262 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2745686 10262 2973 1 0 2708109 0
[pid=9477/tid=9583] ppid=9471 vsize=10982744 memory=7377246124687064083 CPUtime=0.16 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 3463 12889 0 2 9 0 4 3 20 0 15 0 231390070 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947714959024 139947727242590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10982744 memory=4211973677367561610 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246329856 10286 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246329856 10286 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 486 12889 0 2 1 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 139 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.1 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 613 12889 0 2 3 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10982744 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246329856 10286 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41048 KiB
[startup+0.31006 s]*
/proc/loadavg: 1.18 1.78 1.97 3/216 9610
/proc/meminfo: memFree=15813168/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10983192 memory=54260 CPUtime=0.35 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 10075 12889 0 2 26 2 4 3 20 0 15 0 231390060 11246788608 13565 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2745798 13565 3092 1 0 2708109 0
[pid=9477/tid=9583] ppid=9471 vsize=10983192 memory=279902079293080 CPUtime=0.27 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 6600 12889 0 2 18 2 4 3 20 0 15 0 231390070 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947714974112 139947723437779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10983192 memory=3977295499660704336 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10983192 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10983192 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 13565 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10983192 memory=139951162771072 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 13565 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 486 12889 0 2 2 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 142 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 624 12889 0 2 4 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 13565 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54260 KiB
[startup+0.700701 s]
/proc/loadavg: 1.18 1.78 1.97 4/216 9610
/proc/meminfo: memFree=15790824/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10983192 memory=88496 CPUtime=0.96 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 16734 12889 0 2 84 5 4 3 20 0 15 0 231390060 11246788608 22124 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2745798 22124 3247 1 0 2708109 0
[pid=9477/tid=9583] ppid=9471 vsize=10983192 memory=4 CPUtime=0.64 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 12111 12889 0 2 54 3 4 3 20 0 15 0 231390070 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947714976000 139947728327758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10983192 memory=30 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 5 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 22124 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11246788608 22124 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10983192 memory=7382 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 866 12889 0 2 7 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10983192 memory=7020451463943145097 CPUtime=0.15 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 846 12889 0 2 8 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10983192 memory=5931329019416957801 CPUtime=0.2 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 685 12889 0 2 13 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10983192 memory=7306334383744505449 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10983192 memory=7588684550706915689 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390076 11246788608 22124 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88496 KiB
[startup+1.50122 s]
/proc/loadavg: 1.18 1.78 1.97 6/216 9610
/proc/meminfo: memFree=15682528/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=10993996 memory=179224 CPUtime=3.02 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 24571 12889 0 2 283 12 4 3 20 0 15 0 231390060 11257851904 44806 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2748499 44806 3448 1 0 2710157 0
[pid=9477/tid=9583] ppid=9471 vsize=10993996 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 15958 12889 0 2 128 9 4 3 20 0 15 0 231390070 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947714992672 139947728848380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=10993996 memory=102284 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=10993996 memory=4428317441987532369 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390071 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=10993996 memory=3892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 14 12889 0 2 0 0 4 3 20 0 15 0 231390073 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=10993996 memory=62892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 13 12889 0 2 0 0 4 3 20 0 15 0 231390073 11257851904 44806 33554432000 4194304 4196468 140722513457280 139946543277728 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=10993996 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 1 12889 0 2 0 0 4 3 20 0 15 0 231390073 11257851904 44806 33554432000 4194304 4196468 140722513457280 139946341950704 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=10993996 memory=2380 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=10993996 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) R 9471 9477 8231 0 -1 4202560 2727 12889 0 2 54 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947235193288 139947724681833 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=10993996 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) R 9471 9477 8231 0 -1 4202560 1957 12889 0 2 53 1 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947234136400 139947723861640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=10993996 memory=4580 CPUtime=0.53 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 1693 12889 0 2 46 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=10993996 memory=7151823137606232934 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=10993996 memory=11477719932 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2 12889 0 2 0 0 4 3 20 0 15 0 231390076 11257851904 44806 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 179224 KiB
[startup+3.11048 s]
/proc/loadavg: 1.33 1.80 1.98 11/216 9610
/proc/meminfo: memFree=15403308/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11006304 memory=254012 CPUtime=6.94 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 43079 12889 0 2 668 19 4 3 20 0 15 0 231390060 11270455296 63503 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2751576 63503 3498 1 0 2713229 0
################
# More data... #
################
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 213915 12889 0 2 236797 69 4 3 20 0 15 0 231390070 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947714996576 139947299457954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377140 CPUtime=11.12 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 37509 12889 0 2 1053 52 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377140 CPUtime=11.16 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 29316 12889 0 2 1059 50 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=279902080414400 CPUtime=11.15 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18324 12889 0 2 1059 49 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=1377012 CPUtime=11.17 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28179 12889 0 2 1058 52 4 3 20 0 15 0 231390071 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377012 CPUtime=1.39 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26348 12889 0 2 119 13 4 3 20 0 15 0 231390073 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344285 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=1377012 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344285 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=1920 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=7892 CPUtime=11.24 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 77883 12889 0 2 1110 7 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=1377140 CPUtime=10.92 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 82888 12889 0 2 1077 8 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=1377140 CPUtime=3.78 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 74847 12889 0 2 363 8 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=1377140 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=3892 CPUtime=1.29 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2524 12889 0 2 63 59 4 3 20 0 15 0 231390076 11348049920 344285 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2441.42 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377140 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.57 1.61 4/215 9704
/proc/meminfo: memFree=12288388/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11082080 memory=1377752 CPUtime=2502.55 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 597368 12889 0 2 249890 358 4 3 20 0 15 0 231390060 11348049920 344438 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2770520 344438 3534 1 0 2732173 0
[pid=9477/tid=9583] ppid=9471 vsize=11082080 memory=2380 CPUtime=2428.26 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 214726 12889 0 2 242749 70 4 3 20 0 15 0 231390070 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947714996224 139947299457954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.49 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 37661 12889 0 2 1090 52 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.53 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 29952 12889 0 2 1096 50 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.53 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18528 12889 0 2 1096 50 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.53 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28532 12889 0 2 1094 52 4 3 20 0 15 0 231390071 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377752 CPUtime=1.45 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26601 12889 0 2 125 13 4 3 20 0 15 0 231390073 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=1377752 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344438 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344438 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=1377752 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=1377752 CPUtime=11.26 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 78484 12889 0 2 1112 7 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=1377752 CPUtime=10.92 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 83036 12889 0 2 1077 8 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=3892 CPUtime=3.79 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 75064 12889 0 2 364 8 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=1377752 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=1377752 CPUtime=1.33 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2542 12889 0 2 65 61 4 3 20 0 15 0 231390076 11348049920 344438 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2502.55 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2459.5 s]
/proc/loadavg: 1.56 1.56 1.61 4/215 9704
/proc/meminfo: memFree=12284292/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11082080 memory=1377828 CPUtime=2520.07 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 598927 12889 0 2 251641 359 4 3 20 0 15 0 231390060 11348049920 344457 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2770520 344457 3534 1 0 2732173 0
[pid=9477/tid=9583] ppid=9471 vsize=11082080 memory=1377808 CPUtime=2445.31 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 215004 12889 0 2 244454 70 4 3 20 0 15 0 231390070 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947714997072 139947321555618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.59 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 38000 12889 0 2 1100 52 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 30163 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18665 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=122 CPUtime=11.65 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28802 12889 0 2 1105 53 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377828 CPUtime=1.47 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26784 12889 0 2 127 13 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=279902079728688 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=279902080279040 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=8564 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=1800 CPUtime=11.26 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 78486 12889 0 2 1112 7 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=55 CPUtime=10.93 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 83119 12889 0 2 1078 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=6297835844906604903 CPUtime=3.79 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 75105 12889 0 2 364 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=3892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=62960 CPUtime=1.33 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2557 12889 0 2 65 61 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2459.53 s]
# the end of solver process 9477 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.48 s, system=3.64134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2459.5 s]
/proc/loadavg: 1.56 1.56 1.61 4/215 9704
/proc/meminfo: memFree=12284292/32770624 swapFree=67108792/67108860
[pid=9477] ppid=9471 vsize=11082080 memory=1377828 CPUtime=2520.07 cores=0,2,4,6
/proc/9477/stat : 9477 (java) S 9471 9477 8231 0 -1 1077944320 598927 12889 0 2 251641 359 4 3 20 0 15 0 231390060 11348049920 344457 33554432000 4194304 4196468 140722513457280 140722513439824 139947743162103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
/proc/9477/statm: 2770520 344457 3534 1 0 2732173 0
[pid=9477/tid=9583] ppid=9471 vsize=11082080 memory=1377808 CPUtime=2445.31 cores=0,2,4,6
/proc/9477/task/9583/stat : 9583 (java) R 9471 9477 8231 0 -1 4202560 215004 12889 0 2 244454 70 4 3 20 0 15 0 231390070 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947714997072 139947321555618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9585] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.59 cores=0,2,4,6
/proc/9477/task/9585/stat : 9585 (java) S 9471 9477 8231 0 -1 1077944384 38000 12889 0 2 1100 52 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947747404304 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9588] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9588/stat : 9588 (java) S 9471 9477 8231 0 -1 1077944384 30163 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947282324112 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9589] ppid=9471 vsize=11082080 memory=1377828 CPUtime=11.63 cores=0,2,4,6
/proc/9477/task/9589/stat : 9589 (java) S 9471 9477 8231 0 -1 1077944384 18665 12889 0 2 1106 50 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947281271056 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9591] ppid=9471 vsize=11082080 memory=122 CPUtime=11.65 cores=0,2,4,6
/proc/9477/task/9591/stat : 9591 (java) S 9471 9477 8231 0 -1 1077944384 28802 12889 0 2 1105 53 4 3 20 0 15 0 231390071 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947280218512 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9593] ppid=9471 vsize=11082080 memory=1377828 CPUtime=1.47 cores=0,2,4,6
/proc/9477/task/9593/stat : 9593 (java) S 9471 9477 8231 0 -1 1077944384 26784 12889 0 2 127 13 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947236260592 139947743173250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9596] ppid=9471 vsize=11082080 memory=279902079728688 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9596/stat : 9596 (java) S 9471 9477 8231 0 -1 1077944384 21 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946543277856 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9598] ppid=9471 vsize=11082080 memory=279902080279040 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9598/stat : 9598 (java) S 9471 9477 8231 0 -1 1077944384 20 12889 0 2 0 0 4 3 20 0 15 0 231390073 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946341950720 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9603] ppid=9471 vsize=11082080 memory=8564 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9603/stat : 9603 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139946034551248 139947743180699 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9604] ppid=9471 vsize=11082080 memory=1800 CPUtime=11.26 cores=0,2,4,6
/proc/9477/task/9604/stat : 9604 (java) S 9471 9477 8231 0 -1 1077944384 78486 12889 0 2 1112 7 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947235207408 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9605] ppid=9471 vsize=11082080 memory=55 CPUtime=10.93 cores=0,2,4,6
/proc/9477/task/9605/stat : 9605 (java) S 9471 9477 8231 0 -1 1077944384 83119 12889 0 2 1078 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947234154864 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9606] ppid=9471 vsize=11082080 memory=6297835844906604903 CPUtime=3.79 cores=0,2,4,6
/proc/9477/task/9606/stat : 9606 (java) S 9471 9477 8231 0 -1 1077944384 75105 12889 0 2 364 8 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947233101808 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9608] ppid=9471 vsize=11082080 memory=3892 CPUtime=0.07 cores=0,2,4,6
/proc/9477/task/9608/stat : 9608 (java) S 9471 9477 8231 0 -1 1077944384 3 12889 0 2 0 0 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139945603754336 139947743172309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
[pid=9477/tid=9610] ppid=9471 vsize=11082080 memory=62960 CPUtime=1.33 cores=0,2,4,6
/proc/9477/task/9610/stat : 9610 (java) S 9471 9477 8231 0 -1 1077944384 2557 12889 0 2 65 61 4 3 20 0 15 0 231390076 11348049920 344457 33554432000 4194304 4196468 140722513457280 139947232050224 139947743173250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13070336 140722513459812 140722513462620 140722513462620 140722513465295 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1377828 KiB
Child status: 143
Real time (s): 2459.53
CPU time (s): 2520.12
CPU user time (s): 2516.48
CPU system time (s): 3.64134
CPU usage (%): 102.464
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3518232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.48
system time used= 3.64134
maximum resident set size= 3518244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612834
page faults= 2
swaps= 0
block input operations= 216
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88629
involuntary context switches= 4777
# summary of solver processes directly reported to runsolver:
# pid: 9477
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.48
# total CPU system time (s): 3.64134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4609 second user time and 22.4314 second system time
The end