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 (13420 MiB free)
memory of node 1: 16384 MiB (14052 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302265-1532893235/watcher-4302265-1532893235 -o /tmp/evaluation-result-4302265-1532893235/solver-4302265-1532893235 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1910093051 HOME/instance-4302265-1532893235.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14580, runsolver pid=14574
[startup+0.100156 s]*
/proc/loadavg: 0.93 0.84 0.83 5/193 14673
/proc/meminfo: memFree=28128856/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=173988 memory=5560 CPUtime=0.07 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 2520 12847 0 0 0 0 4 3 20 0 2 0 106886670 178163712 1390 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 43497 1390 1055 1 0 32947 0
[pid=14580/tid=14685] ppid=14574 vsize=425712 memory=-6517102902069810590 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) S 14574 14580 9814 0 -1 1077944384 405 12847 0 0 0 0 4 3 20 0 2 0 106886680 435929088 1405 33554432000 4194304 4196468 140721692240432 140675884153248 140675912321666 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 173988 KiB
Current children cumulated memory: 5560 KiB
[startup+0.211037 s]*
/proc/loadavg: 0.93 0.84 0.83 5/217 14712
/proc/meminfo: memFree=28078604/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=10982744 memory=37672 CPUtime=0.24 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 7135 12847 0 0 15 2 4 3 20 0 15 0 106886670 11246329856 9418 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2745686 9418 2987 1 0 2708109 0
[pid=14580/tid=14685] ppid=14574 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 3593 12847 0 0 9 1 4 3 20 0 15 0 106886680 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675884110432 140675892586255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=10982744 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=10982744 memory=288370250093131392 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=10982744 memory=139873941419648 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 13 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246329856 9418 33554432000 4194304 4196468 140721692240432 140674674452000 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 21 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246329856 9418 33554432000 4194304 4196468 140721692240432 140674607338864 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246329856 9418 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) S 14574 14580 9814 0 -1 1077944384 547 12847 0 0 1 0 4 3 20 0 15 0 106886686 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675149551984 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) S 14574 14580 9814 0 -1 1077944384 74 12847 0 0 1 0 4 3 20 0 15 0 106886686 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675148499184 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=10982744 memory=139873941419648 CPUtime=0.1 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 676 12847 0 0 3 0 4 3 20 0 15 0 106886686 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246329856 9418 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=10982744 memory=139873941419648 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 1 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246329856 9418 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 37672 KiB
[startup+0.310287 s]*
/proc/loadavg: 0.93 0.84 0.83 2/217 14712
/proc/meminfo: memFree=28055404/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=10983192 memory=51224 CPUtime=0.36 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 10378 12847 0 0 26 3 4 3 20 0 15 0 106886670 11246788608 12806 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2745798 12806 3106 1 0 2708109 0
[pid=14580/tid=14685] ppid=14574 vsize=10983192 memory=7721456969662542131 CPUtime=0.26 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 6792 12847 0 0 17 2 4 3 20 0 15 0 106886680 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675884122528 140675896391006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=10983192 memory=139873941419648 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=10983192 memory=139873941419648 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 13 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246788608 12806 33554432000 4194304 4196468 140721692240432 140674674452000 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 21 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246788608 12806 33554432000 4194304 4196468 140721692240432 140674607338864 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246788608 12806 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) S 14574 14580 9814 0 -1 1077944384 550 12847 0 0 1 0 4 3 20 0 15 0 106886686 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675149551984 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) S 14574 14580 9814 0 -1 1077944384 82 12847 0 0 1 0 4 3 20 0 15 0 106886686 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675148499184 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=10983192 memory=139873941419648 CPUtime=0.12 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 712 12847 0 0 5 0 4 3 20 0 15 0 106886686 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246788608 12806 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=10983192 memory=139873941419648 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 1 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246788608 12806 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 51224 KiB
[startup+0.700838 s]
/proc/loadavg: 0.93 0.84 0.83 4/217 14712
/proc/meminfo: memFree=28029336/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=10983192 memory=85544 CPUtime=0.93 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 17052 12847 0 0 81 5 4 3 20 0 15 0 106886670 11246788608 21386 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2745798 21386 3245 1 0 2708109 0
[pid=14580/tid=14685] ppid=14574 vsize=10983192 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 12595 12847 0 0 53 4 4 3 20 0 15 0 106886680 11246788608 21386 33554432000 4194304 4196468 140721692240432 140675884130808 140675896391006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 21386 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=10983192 memory=2464908576513 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=10983192 memory=19773262 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=10983192 memory=-6366808295634154084 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=10983192 memory=7882800668286210407 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 5 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=10983192 memory=7807103587664548964 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 13 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246788608 21423 33554432000 4194304 4196468 140721692240432 140674674452000 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=10983192 memory=-8629894644521667947 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 21 12847 0 0 0 0 4 3 20 0 15 0 106886683 11246788608 21423 33554432000 4194304 4196468 140721692240432 140674607338864 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=10983192 memory=7753118821576485451 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246788608 21423 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) S 14574 14580 9814 0 -1 1077944384 602 12847 0 0 4 0 4 3 20 0 15 0 106886686 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675149551984 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) S 14574 14580 9814 0 -1 1077944384 720 12847 0 0 9 0 4 3 20 0 15 0 106886686 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675148499184 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 888 12847 0 0 13 0 4 3 20 0 15 0 106886686 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=10983192 memory=17424 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246788608 21423 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=10983192 memory=16148 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 1 12847 0 0 0 0 4 3 20 0 15 0 106886686 11246788608 21423 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85544 KiB
[startup+1.50107 s]
/proc/loadavg: 0.93 0.84 0.83 2/217 14712
/proc/meminfo: memFree=27953700/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=10996044 memory=148988 CPUtime=2.57 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 25309 12847 0 0 242 8 4 3 20 0 15 0 106886670 11259949056 37247 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2749011 37247 3442 1 0 2710669 0
[pid=14580/tid=14685] ppid=14574 vsize=10996044 memory=6791534058613427641 CPUtime=1.33 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 16947 12847 0 0 120 6 4 3 20 0 15 0 106886680 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675884110544 140675904646665 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=10996044 memory=-7606742951091920751 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=10996044 memory=1414355462422710185 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=10996044 memory=1414298054980309879 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886681 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=10996044 memory=8475934422144292502 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 2 12847 0 0 0 0 4 3 20 0 15 0 106886681 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=10996044 memory=-6876588452865875872 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 6 12847 0 0 0 0 4 3 20 0 15 0 106886683 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=10996044 memory=-7606742951091949510 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 13 12847 0 0 0 0 4 3 20 0 15 0 106886683 11259949056 37247 33554432000 4194304 4196468 140721692240432 140674674452000 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=10996044 memory=7158875581196493926 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 21 12847 0 0 0 0 4 3 20 0 15 0 106886683 11259949056 37247 33554432000 4194304 4196468 140721692240432 140674607338864 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=10996044 memory=7308895141610350421 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11259949056 37247 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=10996044 memory=7595443248565541230 CPUtime=0.45 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) R 14574 14580 9814 0 -1 4202560 2095 12847 0 0 38 0 4 3 20 0 15 0 106886686 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675149538208 140675893828366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=10996044 memory=7308895142485716329 CPUtime=0.49 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) R 14574 14580 9814 0 -1 4202560 2234 12847 0 0 42 0 4 3 20 0 15 0 106886686 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675148485064 140675893830204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=10996044 memory=7377838919458908004 CPUtime=0.47 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 1784 12847 0 0 40 0 4 3 20 0 15 0 106886686 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=10996044 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11259949056 37247 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 1 12847 0 0 0 0 4 3 20 0 15 0 106886686 11259949056 37247 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 10996044 KiB
Current children cumulated memory: 148988 KiB
[startup+3.11603 s]
/proc/loadavg: 1.10 0.87 0.84 8/217 14712
/proc/meminfo: memFree=27720744/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=11006304 memory=223676 CPUtime=5.83 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 38837 12847 0 0 563 13 4 3 20 0 15 0 106886670 11270455296 55919 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2751576 55919 3497 1 0 2713229 0
################
# More data... #
################
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 54354 12847 0 0 16071 24 4 3 20 0 15 0 106886680 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675884145904 140675502339124 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=11082080 memory=1014232 CPUtime=0.56 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 3658 12847 0 0 42 7 4 3 20 0 15 0 106886681 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=11082080 memory=1007812 CPUtime=0.57 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 1738 12847 0 0 44 6 4 3 20 0 15 0 106886681 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=11082080 memory=1014232 CPUtime=0.57 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 2886 12847 0 0 44 6 4 3 20 0 15 0 106886681 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=11082080 memory=1007812 CPUtime=0.57 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 2963 12847 0 0 44 6 4 3 20 0 15 0 106886681 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=11082080 memory=1006824 CPUtime=0.47 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 5432 12847 0 0 37 3 4 3 20 0 15 0 106886683 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=11082080 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 20 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 251578 33554432000 4194304 4196468 140721692240432 140674674452064 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=11082080 memory=1007812 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 43 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 251578 33554432000 4194304 4196468 140721692240432 140674607338880 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=11082080 memory=1007812 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 251578 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=11082080 memory=1408 CPUtime=7.27 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) S 14574 14580 9814 0 -1 1077944384 21333 12847 0 0 716 4 4 3 20 0 15 0 106886686 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675149551984 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=11082080 memory=1007812 CPUtime=8.14 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) S 14574 14580 9814 0 -1 1077944384 26354 12847 0 0 804 3 4 3 20 0 15 0 106886686 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675148499184 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=11082080 memory=1014148 CPUtime=3.76 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 19896 12847 0 0 364 5 4 3 20 0 15 0 106886686 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=11082080 memory=1007812 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 251578 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=11082080 memory=1009352 CPUtime=0.16 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 252 12847 0 0 4 5 4 3 20 0 15 0 106886686 11348049920 251578 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 182.58 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1006312 KiB
[startup+222.307 s]
/proc/loadavg: 1.17 1.06 0.93 4/217 14715
/proc/meminfo: memFree=26178760/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=11082080 memory=991268 CPUtime=243.56 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 155546 12847 0 0 24270 79 4 3 20 0 15 0 106886670 11348049920 247817 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2770520 247817 3530 1 0 2732173 0
[pid=14580/tid=14685] ppid=14574 vsize=11082080 memory=998856 CPUtime=220.39 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 56673 12847 0 0 22006 26 4 3 20 0 15 0 106886680 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675884145824 140675489198080 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=11082080 memory=994240 CPUtime=0.86 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 3761 12847 0 0 70 9 4 3 20 0 15 0 106886681 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=11082080 memory=991268 CPUtime=0.86 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 1834 12847 0 0 71 8 4 3 20 0 15 0 106886681 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=11082080 memory=991268 CPUtime=0.87 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 4143 12847 0 0 72 8 4 3 20 0 15 0 106886681 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=11082080 memory=796 CPUtime=0.86 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 3628 12847 0 0 71 8 4 3 20 0 15 0 106886681 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=11082080 memory=1388 CPUtime=0.72 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 5669 12847 0 0 61 4 4 3 20 0 15 0 106886683 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=11082080 memory=991164 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 25 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 247817 33554432000 4194304 4196468 140721692240432 140674674452064 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=11082080 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 43 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 247817 33554432000 4194304 4196468 140721692240432 140674607338880 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=11082080 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 247817 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=11082080 memory=30500 CPUtime=7.34 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) S 14574 14580 9814 0 -1 1077944384 24469 12847 0 0 723 4 4 3 20 0 15 0 106886686 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675149551984 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=11082080 memory=6791534058613427641 CPUtime=8.19 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) S 14574 14580 9814 0 -1 1077944384 27599 12847 0 0 808 4 4 3 20 0 15 0 106886686 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675148499184 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=11082080 memory=374 CPUtime=3.81 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 25226 12847 0 0 369 5 4 3 20 0 15 0 106886686 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=11082080 memory=991268 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 247817 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=11082080 memory=2412 CPUtime=0.2 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 277 12847 0 0 6 7 4 3 20 0 15 0 106886686 11348049920 247817 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 243.56 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 991268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.701 s]
/proc/loadavg: 1.22 1.08 0.94 4/217 14715
/proc/meminfo: memFree=26178760/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=11082080 memory=991448 CPUtime=252.09 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 155632 12847 0 0 25121 81 4 3 20 0 15 0 106886670 11348049920 247862 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2770520 247862 3530 1 0 2732173 0
[pid=14580/tid=14685] ppid=14574 vsize=11082080 memory=4140 CPUtime=228.69 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 56720 12847 0 0 22836 26 4 3 20 0 15 0 106886680 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675884145664 140675502076951 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=11082080 memory=991268 CPUtime=0.89 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 3767 12847 0 0 73 9 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=11082080 memory=991448 CPUtime=0.9 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 1844 12847 0 0 75 8 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=11082080 memory=56 CPUtime=0.91 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 4147 12847 0 0 76 8 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=11082080 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 3634 12847 0 0 75 8 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=11082080 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 5682 12847 0 0 64 5 4 3 20 0 15 0 106886683 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=11082080 memory=30500 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 25 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 247862 33554432000 4194304 4196468 140721692240432 140674674452064 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=11082080 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 43 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 247862 33554432000 4194304 4196468 140721692240432 140674607338880 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=11082080 memory=872 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=11082080 memory=8076 CPUtime=7.34 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) S 14574 14580 9814 0 -1 1077944384 24469 12847 0 0 723 4 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675149551984 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=11082080 memory=991164 CPUtime=8.19 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) S 14574 14580 9814 0 -1 1077944384 27599 12847 0 0 808 4 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675148499184 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=11082080 memory=4140 CPUtime=3.81 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 25226 12847 0 0 369 5 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=11082080 memory=991448 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=11082080 memory=4140 CPUtime=0.2 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 277 12847 0 0 6 7 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 991448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.737 s]
# the end of solver process 14580 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.278 s, system=0.866516 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.701 s]
/proc/loadavg: 1.22 1.08 0.94 4/217 14715
/proc/meminfo: memFree=26178760/32770624 swapFree=67108436/67108860
[pid=14580] ppid=14574 vsize=11082080 memory=991448 CPUtime=252.09 cores=1,3,5,7
/proc/14580/stat : 14580 (java) S 14574 14580 9814 0 -1 1077944320 155632 12847 0 0 25121 81 4 3 20 0 15 0 106886670 11348049920 247862 33554432000 4194304 4196468 140721692240432 140721692222976 140675912310519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
/proc/14580/statm: 2770520 247862 3530 1 0 2732173 0
[pid=14580/tid=14685] ppid=14574 vsize=11082080 memory=4140 CPUtime=228.69 cores=1,3,5,7
/proc/14580/task/14685/stat : 14685 (java) R 14574 14580 9814 0 -1 4202560 56720 12847 0 0 22836 26 4 3 20 0 15 0 106886680 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675884145664 140675502076951 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14687] ppid=14574 vsize=11082080 memory=991268 CPUtime=0.89 cores=1,3,5,7
/proc/14580/task/14687/stat : 14687 (java) S 14574 14580 9814 0 -1 1077944384 3767 12847 0 0 73 9 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675916552848 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14688] ppid=14574 vsize=11082080 memory=991448 CPUtime=0.9 cores=1,3,5,7
/proc/14580/task/14688/stat : 14688 (java) S 14574 14580 9814 0 -1 1077944384 1844 12847 0 0 75 8 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675817040400 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14689] ppid=14574 vsize=11082080 memory=56 CPUtime=0.91 cores=1,3,5,7
/proc/14580/task/14689/stat : 14689 (java) S 14574 14580 9814 0 -1 1077944384 4147 12847 0 0 76 8 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675450767760 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14690] ppid=14574 vsize=11082080 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/14580/task/14690/stat : 14690 (java) S 14574 14580 9814 0 -1 1077944384 3634 12847 0 0 75 8 4 3 20 0 15 0 106886681 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675449714960 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14695] ppid=14574 vsize=11082080 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/14580/task/14695/stat : 14695 (java) S 14574 14580 9814 0 -1 1077944384 5682 12847 0 0 64 5 4 3 20 0 15 0 106886683 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675150605168 140675912321666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14697] ppid=14574 vsize=11082080 memory=30500 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14697/stat : 14697 (java) S 14574 14580 9814 0 -1 1077944384 25 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 247862 33554432000 4194304 4196468 140721692240432 140674674452064 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14698] ppid=14574 vsize=11082080 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14698/stat : 14698 (java) S 14574 14580 9814 0 -1 1077944384 43 12847 0 0 0 0 4 3 20 0 15 0 106886683 11348049920 247862 33554432000 4194304 4196468 140721692240432 140674607338880 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14701] ppid=14574 vsize=11082080 memory=872 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14701/stat : 14701 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140674299943248 140675912329115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14702] ppid=14574 vsize=11082080 memory=8076 CPUtime=7.34 cores=1,3,5,7
/proc/14580/task/14702/stat : 14702 (java) S 14574 14580 9814 0 -1 1077944384 24469 12847 0 0 723 4 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675149551984 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14703] ppid=14574 vsize=11082080 memory=991164 CPUtime=8.19 cores=1,3,5,7
/proc/14580/task/14703/stat : 14703 (java) S 14574 14580 9814 0 -1 1077944384 27599 12847 0 0 808 4 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675148499184 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14704] ppid=14574 vsize=11082080 memory=4140 CPUtime=3.81 cores=1,3,5,7
/proc/14580/task/14704/stat : 14704 (java) S 14574 14580 9814 0 -1 1077944384 25226 12847 0 0 369 5 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675147446384 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14709] ppid=14574 vsize=11082080 memory=991448 CPUtime=0.07 cores=1,3,5,7
/proc/14580/task/14709/stat : 14709 (java) S 14574 14580 9814 0 -1 1077944384 3 12847 0 0 0 0 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140673869146336 140675912320725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
[pid=14580/tid=14711] ppid=14574 vsize=11082080 memory=4140 CPUtime=0.2 cores=1,3,5,7
/proc/14580/task/14711/stat : 14711 (java) S 14574 14580 9814 0 -1 1077944384 277 12847 0 0 6 7 4 3 20 0 15 0 106886686 11348049920 247862 33554432000 4194304 4196468 140721692240432 140675146394800 140675912321666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17952768 140721692248689 140721692251489 140721692251489 140721692254159 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 991448 KiB
Child status: 143
Real time (s): 230.737
CPU time (s): 252.145
CPU user time (s): 251.278
CPU system time (s): 0.866516
CPU usage (%): 109.278
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1078296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.278
system time used= 0.866516
maximum resident set size= 1080344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168965
page faults= 0
swaps= 0
block input operations= 8
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31534
involuntary context switches= 687
# summary of solver processes directly reported to runsolver:
# pid: 14580
# total CPU time (s): 252.145
# total CPU user time (s): 251.278
# total CPU system time (s): 0.866516
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44881 second user time and 2.20875 second system time
The end