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 (2100 MiB free)
memory of node 1: 16384 MiB (5535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304457-1534091234/watcher-4304457-1534091234 -o /tmp/evaluation-result-4304457-1534091234/solver-4304457-1534091234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=72655776 HOME/instance-4304457-1534091234.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25463, runsolver pid=25460
Current StackSize limit: 8192 KiB
[startup+0.107883 s]*
/proc/loadavg: 2.26 1.93 1.76 3/207 25521
/proc/meminfo: memFree=7808052/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=10453864 memory=23728 CPUtime=0.09 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 4573 13139 0 0 2 0 5 2 20 0 9 0 226686617 10704756736 5932 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2613466 5932 2101 1 0 2576007 0
[pid=25463/tid=25516] ppid=25460 vsize=10453864 memory=4351193298085119114 CPUtime=0.09 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 2367 13139 0 0 2 0 5 2 20 0 9 0 226686626 10704756736 5932 33554432000 4194304 4196468 140723377398576 140132095831920 140132124017821 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=10453864 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 9 0 226686627 10704756736 5932 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=10453864 memory=139827562763904 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 9 0 226686627 10704756736 5932 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 9 0 226686627 10704756736 5932 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 9 0 226686627 10704756736 5932 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=10453864 memory=139827562763904 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 9 0 226686628 10704756736 5932 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 9 0 226686628 10704756736 5932 33554432000 4194304 4196468 140723377398576 140130904958368 140132124006101 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 9 0 226686629 10704756736 5932 33554432000 4194304 4196468 140723377398576 140130757109296 140132124006101 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 23728 KiB
[startup+0.210099 s]*
/proc/loadavg: 2.26 1.93 1.76 3/215 25529
/proc/meminfo: memFree=7787160/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=10982744 memory=49028 CPUtime=0.26 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 9119 13139 0 0 17 2 5 2 20 0 15 0 226686617 11246329856 12257 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2745686 12257 2944 1 0 2708109 0
[pid=25463/tid=25516] ppid=25460 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 5668 13139 0 0 11 1 5 2 20 0 15 0 226686626 11246329856 12257 33554432000 4194304 4196468 140723377398576 140132095820704 140132108076382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=10982744 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246329856 12257 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=10982744 memory=288370203714475648 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=10982744 memory=139827562763904 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 226686628 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 226686628 11246329856 12257 33554432000 4194304 4196468 140723377398576 140130904958368 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686629 11246329856 12257 33554432000 4194304 4196468 140723377398576 140130757109232 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11246329856 12257 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) S 25460 25463 20569 0 -1 1077944384 431 13139 0 0 1 0 5 2 20 0 15 0 226686631 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131548731376 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) S 25460 25463 20569 0 -1 1077944384 188 13139 0 0 1 0 5 2 20 0 15 0 226686631 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131547678832 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=10982744 memory=139827562763904 CPUtime=0.1 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) R 25460 25463 20569 0 -1 4202560 612 13139 0 0 3 0 5 2 20 0 15 0 226686631 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131546626288 140132102485600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25528] ppid=25460 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25528/stat : 25528 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686632 11246329856 12257 33554432000 4194304 4196468 140723377398576 140130018912864 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25529] ppid=25460 vsize=10982744 memory=139827562763904 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25529/stat : 25529 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686632 11246329856 12257 33554432000 4194304 4196468 140723377398576 140131545574192 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 49028 KiB
[startup+0.310531 s]*
/proc/loadavg: 2.26 1.93 1.76 3/215 25529
/proc/meminfo: memFree=7774012/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=10983192 memory=56904 CPUtime=0.38 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 10319 13139 0 0 29 2 5 2 20 0 15 0 226686617 11246788608 14226 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2745798 14226 3063 1 0 2708109 0
[pid=25463/tid=25516] ppid=25460 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 6857 13139 0 0 20 2 5 2 20 0 15 0 226686626 11246788608 14226 33554432000 4194304 4196468 140723377398576 140132095807904 140132104271719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 14226 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=10983192 memory=139827562774497 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 226686628 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 226686628 11246788608 14226 33554432000 4194304 4196468 140723377398576 140130904958368 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686629 11246788608 14226 33554432000 4194304 4196468 140723377398576 140130757109232 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11246788608 14226 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) S 25460 25463 20569 0 -1 1077944384 433 13139 0 0 1 0 5 2 20 0 15 0 226686631 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131548731376 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) S 25460 25463 20569 0 -1 1077944384 188 13139 0 0 1 0 5 2 20 0 15 0 226686631 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131547678832 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=10983192 memory=139827562763904 CPUtime=0.12 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) S 25460 25463 20569 0 -1 1077944384 620 13139 0 0 5 0 5 2 20 0 15 0 226686631 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131546626288 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25528] ppid=25460 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25528/stat : 25528 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686632 11246788608 14226 33554432000 4194304 4196468 140723377398576 140130018912864 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25529] ppid=25460 vsize=10983192 memory=139827562763904 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25529/stat : 25529 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686632 11246788608 14226 33554432000 4194304 4196468 140723377398576 140131545574192 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56904 KiB
[startup+0.700735 s]
/proc/loadavg: 2.26 1.93 1.76 4/215 25529
/proc/meminfo: memFree=7765576/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=10983192 memory=89340 CPUtime=0.98 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 16393 13139 0 0 87 4 5 2 20 0 15 0 226686617 11246788608 22335 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2745798 22335 3238 1 0 2708109 0
[pid=25463/tid=25516] ppid=25460 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 11854 13139 0 0 57 3 5 2 20 0 15 0 226686626 11246788608 22335 33554432000 4194304 4196468 140723377398576 140132095816720 140132104271217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 22335 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=10983192 memory=2448601122305 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=10983192 memory=8730491 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=10983192 memory=-7453528518462155811 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 226686627 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=10983192 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 5 13139 0 0 0 0 5 2 20 0 15 0 226686628 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 226686628 11246788608 22335 33554432000 4194304 4196468 140723377398576 140130904958368 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686629 11246788608 22335 33554432000 4194304 4196468 140723377398576 140130757109232 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11246788608 22335 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=10983192 memory=8551153264117455490 CPUtime=0.14 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) S 25460 25463 20569 0 -1 1077944384 830 13139 0 0 7 0 5 2 20 0 15 0 226686631 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131548731376 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) S 25460 25463 20569 0 -1 1077944384 811 13139 0 0 9 0 5 2 20 0 15 0 226686631 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131547678832 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=10983192 memory=139827562766417 CPUtime=0.2 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) S 25460 25463 20569 0 -1 1077944384 674 13139 0 0 13 0 5 2 20 0 15 0 226686631 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131546626288 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25528] ppid=25460 vsize=10983192 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25528/stat : 25528 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686632 11246788608 22335 33554432000 4194304 4196468 140723377398576 140130018912864 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25529] ppid=25460 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25529/stat : 25529 (java) S 25460 25463 20569 0 -1 1077944384 1 13139 0 0 0 0 5 2 20 0 15 0 226686632 11246788608 22335 33554432000 4194304 4196468 140723377398576 140131545574192 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89340 KiB
[startup+1.50075 s]
/proc/loadavg: 2.26 1.93 1.76 3/215 25529
/proc/meminfo: memFree=7719732/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=10991948 memory=268560 CPUtime=2.92 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 23638 13139 0 0 274 11 5 2 20 0 15 0 226686617 11255754752 67140 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2747987 67140 3463 1 0 2709645 0
[pid=25463/tid=25516] ppid=25460 vsize=10991948 memory=9168 CPUtime=1.42 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 14467 13139 0 0 130 5 5 2 20 0 15 0 226686626 11255754752 67140 33554432000 4194304 4196468 140723377398576 140132095829184 140131650242670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=10991948 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 20 13139 0 0 0 0 5 2 20 0 15 0 226686627 11255754752 67140 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=10991948 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 26 13139 0 0 1 1 5 2 20 0 15 0 226686627 11255754752 67140 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=10991948 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 46 13139 0 0 1 1 5 2 20 0 15 0 226686627 11255754752 67140 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=10991948 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 301 13139 0 0 1 1 5 2 20 0 15 0 226686627 11255754752 67140 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=10991948 memory=8551153264117455490 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 86 13139 0 0 0 0 5 2 20 0 15 0 226686628 11255754752 67140 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 13 13139 0 0 0 0 5 2 20 0 15 0 226686628 11255754752 67140 33554432000 4194304 4196468 140723377398576 140130904958368 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=10991948 memory=139827562766417 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 2 13139 0 0 0 0 5 2 20 0 15 0 226686629 11255754752 67140 33554432000 4194304 4196468 140723377398576 140130757109232 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=10991948 memory=756 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11255754752 67140 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=10991948 memory=1624 CPUtime=0.58 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) R 25460 25463 20569 0 -1 4202560 2411 13139 0 0 51 0 5 2 20 0 15 0 226686631 11255754752 67140 33554432000 4194304 4196468 140723377398576 140131548710512 140132105518372 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=10991948 memory=1836 CPUtime=0.58 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) R 25460 25463 20569 0 -1 4202560 2741 13139 0 0 51 0 5 2 20 0 15 0 226686631 11255754752 67140 33554432000 4194304 4196468 140723377398576 140131547669152 140132103688995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=10991948 memory=1132 CPUtime=0.4 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) S 25460 25463 20569 0 -1 1077944384 1325 13139 0 0 33 0 5 2 20 0 15 0 226686631 11255754752 67140 33554432000 4194304 4196468 140723377398576 140131546626288 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
################
# More data... #
################
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 235163 13139 0 0 236303 84 5 2 20 0 15 0 226686626 11345952768 776616 33554432000 4194304 4196468 140723377398576 140132094022816 140131659924893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=11080032 memory=3117176 CPUtime=13.68 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 42644 13139 0 0 1324 37 5 2 20 0 15 0 226686627 11345952768 776616 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=11080032 memory=3124860 CPUtime=13.66 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 57402 13139 0 0 1320 39 5 2 20 0 15 0 226686627 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=11080032 memory=4000 CPUtime=13.68 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 41137 13139 0 0 1323 38 5 2 20 0 15 0 226686627 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=11080032 memory=3107492 CPUtime=13.71 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 46629 13139 0 0 1324 40 5 2 20 0 15 0 226686627 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=11080032 memory=3872 CPUtime=4.16 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 27339 13139 0 0 390 19 5 2 20 0 15 0 226686628 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=11080032 memory=61388 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 27 13139 0 0 0 0 5 2 20 0 15 0 226686628 11345952768 776616 33554432000 4194304 4196468 140723377398576 140130904958432 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=11080032 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686629 11345952768 776616 33554432000 4194304 4196468 140723377398576 140130757109248 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=11080032 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11345952768 776616 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=11080032 memory=2212 CPUtime=5.69 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) S 25460 25463 20569 0 -1 1077944384 55500 13139 0 0 556 6 5 2 20 0 15 0 226686631 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131548731376 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=11080032 memory=3106464 CPUtime=6.13 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) S 25460 25463 20569 0 -1 1077944384 58701 13139 0 0 598 8 5 2 20 0 15 0 226686631 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131547678832 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=11080032 memory=3108516 CPUtime=2.09 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) S 25460 25463 20569 0 -1 1077944384 55093 13139 0 0 195 7 5 2 20 0 15 0 226686631 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131546626288 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25528] ppid=25460 vsize=11080032 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25528/stat : 25528 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686632 11345952768 776616 33554432000 4194304 4196468 140723377398576 140130018912864 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25529] ppid=25460 vsize=11080032 memory=860 CPUtime=1.7 cores=1,3,5,7
/proc/25463/task/25529/stat : 25529 (java) S 25460 25463 20569 0 -1 1077944384 3032 13139 0 0 70 93 5 2 20 0 15 0 226686632 11345952768 776616 33554432000 4194304 4196468 140723377398576 140131545574192 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 53 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 2437.92 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3106464 KiB
[startup+2442.3 s]
/proc/loadavg: 1.12 1.42 1.50 3/215 25756
/proc/meminfo: memFree=5731388/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=11080032 memory=3094200 CPUtime=2499.27 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 637891 13139 0 0 249558 362 5 2 20 0 15 0 226686617 11345952768 773550 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2770008 773550 3527 1 0 2731661 0
[pid=25463/tid=25516] ppid=25460 vsize=11080032 memory=3094200 CPUtime=2423.32 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 238731 13139 0 0 242240 85 5 2 20 0 15 0 226686626 11345952768 773550 33554432000 4194304 4196468 140723377398576 140132087852864 140131659927928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=11080032 memory=139827425850912 CPUtime=14.12 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 44266 13139 0 0 1368 37 5 2 20 0 15 0 226686627 11345952768 773550 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=11080032 memory=3094200 CPUtime=14.1 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 59286 13139 0 0 1363 40 5 2 20 0 15 0 226686627 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=11080032 memory=3094200 CPUtime=14.13 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 43209 13139 0 0 1367 39 5 2 20 0 15 0 226686627 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=11080032 memory=3117176 CPUtime=14.15 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 47327 13139 0 0 1368 40 5 2 20 0 15 0 226686627 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=11080032 memory=5420 CPUtime=4.32 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 28013 13139 0 0 405 20 5 2 20 0 15 0 226686628 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=11080032 memory=3100844 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 27 13139 0 0 0 0 5 2 20 0 15 0 226686628 11345952768 773550 33554432000 4194304 4196468 140723377398576 140130904958432 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=11080032 memory=3094712 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686629 11345952768 773550 33554432000 4194304 4196468 140723377398576 140130757109248 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=11080032 memory=61388 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11345952768 773550 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=11080032 memory=3094200 CPUtime=5.69 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) S 25460 25463 20569 0 -1 1077944384 55505 13139 0 0 556 6 5 2 20 0 15 0 226686631 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131548731376 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=11080032 memory=3094200 CPUtime=6.13 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) S 25460 25463 20569 0 -1 1077944384 59898 13139 0 0 598 8 5 2 20 0 15 0 226686631 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131547678832 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=11080032 memory=3094712 CPUtime=2.1 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) S 25460 25463 20569 0 -1 1077944384 56321 13139 0 0 195 8 5 2 20 0 15 0 226686631 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131546626288 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25528] ppid=25460 vsize=11080032 memory=3094712 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25528/stat : 25528 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686632 11345952768 773550 33554432000 4194304 4196468 140723377398576 140130018912864 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25529] ppid=25460 vsize=11080032 memory=3094712 CPUtime=1.74 cores=1,3,5,7
/proc/25463/task/25529/stat : 25529 (java) S 25460 25463 20569 0 -1 1077944384 3106 13139 0 0 71 96 5 2 20 0 15 0 226686632 11345952768 773550 33554432000 4194304 4196468 140723377398576 140131545574192 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 53 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 2499.27 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3094200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.7 s]
/proc/loadavg: 1.08 1.40 1.49 3/215 25757
/proc/meminfo: memFree=5745956/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=11080032 memory=3085488 CPUtime=2520.09 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 638361 13139 0 0 251638 364 5 2 20 0 15 0 226686617 11345952768 771372 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2770008 771372 3527 1 0 2731661 0
[pid=25463/tid=25516] ppid=25460 vsize=11080032 memory=3093176 CPUtime=2443.54 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 238962 13139 0 0 244262 85 5 2 20 0 15 0 226686626 11345952768 771372 33554432000 4194304 4196468 140723377398576 140132094669312 140131659930125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=11080032 memory=3092152 CPUtime=14.25 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 44283 13139 0 0 1381 37 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=11080032 memory=3093692 CPUtime=14.23 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 59312 13139 0 0 1376 40 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=11080032 memory=3089080 CPUtime=14.26 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 43350 13139 0 0 1380 39 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=11080032 memory=3086000 CPUtime=14.28 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 47370 13139 0 0 1381 40 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=11080032 memory=3086000 CPUtime=4.35 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 28023 13139 0 0 408 20 5 2 20 0 15 0 226686628 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=11080032 memory=3086000 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 27 13139 0 0 0 0 5 2 20 0 15 0 226686628 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130904958432 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=11080032 memory=279654852039104 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686629 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130757109248 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=11080032 memory=2308 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=11080032 memory=3089592 CPUtime=5.69 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) S 25460 25463 20569 0 -1 1077944384 55505 13139 0 0 556 6 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131548731376 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=11080032 memory=4199712 CPUtime=6.13 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) S 25460 25463 20569 0 -1 1077944384 59898 13139 0 0 598 8 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131547678832 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=11080032 memory=2048 CPUtime=2.1 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) S 25460 25463 20569 0 -1 1077944384 56321 13139 0 0 195 8 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131546626288 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25528] ppid=25460 vsize=11080032 memory=3086000 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25528/stat : 25528 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686632 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130018912864 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25529] ppid=25460 vsize=11080032 memory=3086000 CPUtime=1.76 cores=1,3,5,7
/proc/25463/task/25529/stat : 25529 (java) S 25460 25463 20569 0 -1 1077944384 3108 13139 0 0 72 97 5 2 20 0 15 0 226686632 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131545574192 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 53 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3085488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.79 s]
# the end of solver process 25463 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.49 s, system=3.70726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.7 s]
/proc/loadavg: 1.08 1.40 1.49 3/215 25757
/proc/meminfo: memFree=5745956/32770624 swapFree=67108496/67108860
[pid=25463] ppid=25460 vsize=11080032 memory=3085488 CPUtime=2520.09 cores=1,3,5,7
/proc/25463/stat : 25463 (java) S 25460 25463 20569 0 -1 1077944320 638361 13139 0 0 251638 364 5 2 20 0 15 0 226686617 11345952768 771372 33554432000 4194304 4196468 140723377398576 140723377381120 140132123995895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
/proc/25463/statm: 2770008 771372 3527 1 0 2731661 0
[pid=25463/tid=25516] ppid=25460 vsize=11080032 memory=3093176 CPUtime=2443.54 cores=1,3,5,7
/proc/25463/task/25516/stat : 25516 (java) R 25460 25463 20569 0 -1 4202560 238962 13139 0 0 244262 85 5 2 20 0 15 0 226686626 11345952768 771372 33554432000 4194304 4196468 140723377398576 140132094669312 140131659930125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25517] ppid=25460 vsize=11080032 memory=3092152 CPUtime=14.25 cores=1,3,5,7
/proc/25463/task/25517/stat : 25517 (java) S 25460 25463 20569 0 -1 1077944384 44283 13139 0 0 1381 37 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140132128237840 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25518] ppid=25460 vsize=11080032 memory=3093692 CPUtime=14.23 cores=1,3,5,7
/proc/25463/task/25518/stat : 25518 (java) S 25460 25463 20569 0 -1 1077944384 59312 13139 0 0 1376 40 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131982956944 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25519] ppid=25460 vsize=11080032 memory=3089080 CPUtime=14.26 cores=1,3,5,7
/proc/25463/task/25519/stat : 25519 (java) S 25460 25463 20569 0 -1 1077944384 43350 13139 0 0 1380 39 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131981904400 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25520] ppid=25460 vsize=11080032 memory=3086000 CPUtime=14.28 cores=1,3,5,7
/proc/25463/task/25520/stat : 25520 (java) S 25460 25463 20569 0 -1 1077944384 47370 13139 0 0 1381 40 5 2 20 0 15 0 226686627 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131980851856 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25521] ppid=25460 vsize=11080032 memory=3086000 CPUtime=4.35 cores=1,3,5,7
/proc/25463/task/25521/stat : 25521 (java) S 25460 25463 20569 0 -1 1077944384 28023 13139 0 0 408 20 5 2 20 0 15 0 226686628 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131549784560 140132124007042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25522] ppid=25460 vsize=11080032 memory=3086000 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25522/stat : 25522 (java) S 25460 25463 20569 0 -1 1077944384 27 13139 0 0 0 0 5 2 20 0 15 0 226686628 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130904958432 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25523] ppid=25460 vsize=11080032 memory=279654852039104 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25523/stat : 25523 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686629 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130757109248 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25524] ppid=25460 vsize=11080032 memory=2308 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25524/stat : 25524 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130449709776 140132124014491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25525] ppid=25460 vsize=11080032 memory=3089592 CPUtime=5.69 cores=1,3,5,7
/proc/25463/task/25525/stat : 25525 (java) S 25460 25463 20569 0 -1 1077944384 55505 13139 0 0 556 6 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131548731376 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25526] ppid=25460 vsize=11080032 memory=4199712 CPUtime=6.13 cores=1,3,5,7
/proc/25463/task/25526/stat : 25526 (java) S 25460 25463 20569 0 -1 1077944384 59898 13139 0 0 598 8 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131547678832 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25527] ppid=25460 vsize=11080032 memory=2048 CPUtime=2.1 cores=1,3,5,7
/proc/25463/task/25527/stat : 25527 (java) S 25460 25463 20569 0 -1 1077944384 56321 13139 0 0 195 8 5 2 20 0 15 0 226686631 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131546626288 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25528] ppid=25460 vsize=11080032 memory=3086000 CPUtime=0.07 cores=1,3,5,7
/proc/25463/task/25528/stat : 25528 (java) S 25460 25463 20569 0 -1 1077944384 3 13139 0 0 0 0 5 2 20 0 15 0 226686632 11345952768 771372 33554432000 4194304 4196468 140723377398576 140130018912864 140132124006101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
[pid=25463/tid=25529] ppid=25460 vsize=11080032 memory=3086000 CPUtime=1.76 cores=1,3,5,7
/proc/25463/task/25529/stat : 25529 (java) S 25460 25463 20569 0 -1 1077944384 3108 13139 0 0 72 97 5 2 20 0 15 0 226686632 11345952768 771372 33554432000 4194304 4196468 140723377398576 140131545574192 140132124007042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 53 0 0 6293624 6294260 18976768 140723377400430 140723377403228 140723377403228 140723377405903 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3085488 KiB
Child status: 143
Real time (s): 2462.79
CPU time (s): 2520.2
CPU user time (s): 2516.49
CPU system time (s): 3.70726
CPU usage (%): 102.331
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 3675792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.49
system time used= 3.70726
maximum resident set size= 3675792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87387
involuntary context switches= 3280
# summary of solver processes directly reported to runsolver:
# pid: 25463
# total CPU time (s): 2520.2
# total CPU user time (s): 2516.49
# total CPU system time (s): 3.70726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3254 second user time and 24.1627 second system time
The end