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 (15184 MiB free)
memory of node 1: 16384 MiB (15454 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273731-1502701362/watcher-4273731-1502701362 -o /tmp/evaluation-result-4273731-1502701362/solver-4273731-1502701362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 850589890 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273731-1502701362.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=15923, runsolver pid=15920
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 1.69 1.40 1.38 3/196 15925
/proc/meminfo: memFree=31373288/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13356344 memory=10696 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 2503 0 0 0 0 0 0 0 20 0 6 0 72331551 13676896256 2674 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3339086 2674 1213 1 0 3329056 0
[pid=15923/tid=15925] ppid=15920 vsize=13356344 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 1227 0 0 0 0 0 0 0 20 0 6 0 72331561 13676896256 2674 18446744073709551615 4194304 4196468 140730294151040 140433399404648 140433376972796 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13356344 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72331562 13676896256 2674 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13356344 memory=140309194421888 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 72331562 13676896256 2674 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13356344 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72331562 13676896256 2674 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13356344 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72331562 13676896256 2740 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356344 KiB
Current children cumulated memory: 10696 KiB
[startup+0.214686 s]*
/proc/loadavg: 1.69 1.40 1.38 3/209 15938
/proc/meminfo: memFree=31359936/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13975920 memory=29548 CPUtime=0.09 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 6689 0 0 0 8 1 0 0 20 0 15 0 72331551 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3493980 7387 3370 1 0 3482759 0
[pid=15923/tid=15925] ppid=15920 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 4716 0 0 0 6 0 0 0 20 0 15 0 72331561 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140433399392776 140433379243358 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13975920 memory=288370685346133632 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13975920 memory=140309194421888 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72331563 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72331564 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432872792992 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72331564 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432871740400 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) S 15920 15923 12560 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 72331566 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432869636592 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432868584048 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13975920 memory=140309194421888 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) R 15920 15923 12560 0 -1 4202560 289 0 0 0 0 0 0 0 20 0 15 0 72331566 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433374101388 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13975920 memory=140309194421888 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331571 14311342080 7387 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 29548 KiB
[startup+0.310024 s]*
/proc/loadavg: 1.69 1.40 1.38 3/209 15938
/proc/meminfo: memFree=31328332/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13975920 memory=39256 CPUtime=0.24 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 10009 0 0 0 22 2 0 0 20 0 15 0 72331551 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3493980 9814 3550 1 0 3482759 0
[pid=15923/tid=15925] ppid=15920 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 7713 0 0 0 14 2 0 0 20 0 15 0 72331561 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140433399371024 140433374688104 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 72331563 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72331564 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432872792992 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72331564 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432871740400 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) S 15920 15923 12560 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 72331566 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432869636592 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) S 15920 15923 12560 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 72331566 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432868584048 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) S 15920 15923 12560 0 -1 1077944384 399 0 0 0 4 0 0 0 20 0 15 0 72331566 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13975920 memory=140309194421888 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72331571 14311342080 9814 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39256 KiB
[startup+0.700821 s]
/proc/loadavg: 1.69 1.40 1.38 4/209 15938
/proc/meminfo: memFree=31323388/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13975940 memory=56856 CPUtime=0.66 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 13097 0 0 0 62 4 0 0 20 0 15 0 72331551 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3493985 14214 3704 1 0 3482759 0
[pid=15923/tid=15925] ppid=15920 vsize=13975940 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) D 15920 15923 12560 0 -1 4202560 9960 0 0 0 36 3 0 0 20 0 15 0 72331561 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140433399401360 140433395184797 0 4 1 16800974 18446744072099589253 0 0 -1 5 0 0 4 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72331562 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13975940 memory=1049 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13975940 memory=4529 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13975940 memory=140309065653056 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 72331563 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13975940 memory=140309065499408 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72331564 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432872792992 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13975940 memory=64 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72331564 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432871740400 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13975940 memory=244 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13975940 memory=470 CPUtime=0.07 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) S 15920 15923 12560 0 -1 1077944384 851 0 0 0 7 0 0 0 20 0 15 0 72331566 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432869636592 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13975940 memory=330 CPUtime=0.06 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) S 15920 15923 12560 0 -1 1077944384 316 0 0 0 6 0 0 0 20 0 15 0 72331566 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432868584048 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13975940 memory=121 CPUtime=0.12 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) S 15920 15923 12560 0 -1 1077944384 587 0 0 0 12 0 0 0 20 0 15 0 72331566 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13975940 memory=2447 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13975940 memory=274 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72331571 14311362560 14214 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 56856 KiB
[startup+1.50128 s]
/proc/loadavg: 1.69 1.40 1.38 4/209 15938
/proc/meminfo: memFree=31319692/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13982084 memory=121668 CPUtime=2.33 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 25739 0 0 0 224 9 0 0 20 0 15 0 72331551 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3495521 30417 3758 1 0 3484295 0
[pid=15923/tid=15925] ppid=15920 vsize=13982084 memory=90 CPUtime=1.1 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 13925 0 0 0 104 6 0 0 20 0 15 0 72331561 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140433399398480 140433037689304 0 4 1 16800974 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72331562 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13982084 memory=64 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13982084 memory=244 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72331562 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13982084 memory=470 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 72331563 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13982084 memory=330 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432872792992 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13982084 memory=121 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432871740400 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13982084 memory=2447 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13982084 memory=274 CPUtime=0.35 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) R 15920 15923 12560 0 -1 4202560 4230 0 0 0 35 0 0 0 20 0 15 0 72331566 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432869629784 140433376342521 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13982084 memory=96416253 CPUtime=0.36 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) R 15920 15923 12560 0 -1 4202560 4303 0 0 0 36 0 0 0 20 0 15 0 72331566 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432868570544 140433378662985 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13982084 memory=2372 CPUtime=0.47 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) S 15920 15923 12560 0 -1 1077944384 1892 0 0 0 47 0 0 0 20 0 15 0 72331566 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13982084 memory=180 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13982084 memory=288230621803979440 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 72331571 14317654016 30417 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 13982084 KiB
################
# More data... #
################
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 32241 0 0 0 243002 22 0 0 20 0 15 0 72331561 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140433399401216 140433037693968 0 4 1 16800974 0 0 0 -1 1 0 0 28 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13982084 memory=236248 CPUtime=4.6 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 3307 0 0 0 423 37 0 0 20 0 15 0 72331562 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13982084 memory=236248 CPUtime=4.61 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 2993 0 0 0 428 33 0 0 20 0 15 0 72331562 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13982084 memory=236248 CPUtime=4.61 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 2778 0 0 0 427 34 0 0 20 0 15 0 72331562 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13982084 memory=236248 CPUtime=4.6 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 3526 0 0 0 424 36 0 0 20 0 15 0 72331562 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13982084 memory=236248 CPUtime=4.51 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 5607 0 0 0 419 32 0 0 20 0 15 0 72331563 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13982084 memory=236248 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432872793056 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13982084 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432871740416 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13982084 memory=6628 CPUtime=1.05 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) S 15920 15923 12560 0 -1 1077944384 8619 0 0 0 104 1 0 0 20 0 15 0 72331566 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432869636592 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13982084 memory=236248 CPUtime=0.89 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) S 15920 15923 12560 0 -1 1077944384 6981 0 0 0 88 1 0 0 20 0 15 0 72331566 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432868584048 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13982084 memory=236248 CPUtime=0.52 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) S 15920 15923 12560 0 -1 1077944384 4288 0 0 0 51 1 0 0 20 0 15 0 72331566 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13982084 memory=236248 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13982084 memory=236248 CPUtime=0.82 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 619 0 0 0 37 45 0 0 20 0 15 0 72331571 14317654016 59062 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 2456.53 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 236248 KiB
[startup+2502.3 s]
/proc/loadavg: 1.55 1.43 1.37 4/213 16204
/proc/meminfo: memFree=31153800/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13982084 memory=238296 CPUtime=2516.88 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 72676 0 0 0 251487 201 0 0 20 0 15 0 72331551 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3495521 59574 3790 1 0 3484295 0
[pid=15923/tid=15925] ppid=15920 vsize=13982084 memory=238296 CPUtime=2489.93 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 32445 0 0 0 248971 22 0 0 20 0 15 0 72331561 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140433399401248 140433033351543 0 4 1 16800974 0 0 0 -1 1 0 0 28 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.73 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 3328 0 0 0 434 39 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13982084 memory=472 CPUtime=4.73 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 3029 0 0 0 439 34 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.74 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 2783 0 0 0 440 34 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.72 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 3529 0 0 0 436 36 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.62 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 5612 0 0 0 429 33 0 0 20 0 15 0 72331563 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432872793056 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432871740416 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13982084 memory=280618132474336 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13982084 memory=238296 CPUtime=1.05 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) S 15920 15923 12560 0 -1 1077944384 8619 0 0 0 104 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432869636592 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13982084 memory=238296 CPUtime=0.89 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) S 15920 15923 12560 0 -1 1077944384 6981 0 0 0 88 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432868584048 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13982084 memory=238296 CPUtime=0.52 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) S 15920 15923 12560 0 -1 1077944384 4288 0 0 0 51 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13982084 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13982084 memory=238296 CPUtime=0.84 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 623 0 0 0 38 46 0 0 20 0 15 0 72331571 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 2516.88 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 238296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.5 s]
/proc/loadavg: 1.50 1.42 1.37 4/213 16204
/proc/meminfo: memFree=31153800/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13982084 memory=238296 CPUtime=2520.09 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 72686 0 0 0 251808 201 0 0 20 0 15 0 72331551 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3495521 59574 3790 1 0 3484295 0
[pid=15923/tid=15925] ppid=15920 vsize=13982084 memory=238296 CPUtime=2493.12 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 32455 0 0 0 249290 22 0 0 20 0 15 0 72331561 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140433399401328 140433037670751 0 4 1 16800974 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.74 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 3328 0 0 0 435 39 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.74 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 3029 0 0 0 440 34 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13982084 memory=472 CPUtime=4.74 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 2783 0 0 0 440 34 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.73 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 3529 0 0 0 437 36 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.62 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 5612 0 0 0 429 33 0 0 20 0 15 0 72331563 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432872793056 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432871740416 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13982084 memory=238296 CPUtime=1.05 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) S 15920 15923 12560 0 -1 1077944384 8619 0 0 0 104 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432869636592 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13982084 memory=280618132474336 CPUtime=0.89 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) S 15920 15923 12560 0 -1 1077944384 6981 0 0 0 88 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432868584048 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13982084 memory=238296 CPUtime=0.52 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) S 15920 15923 12560 0 -1 1077944384 4288 0 0 0 51 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13982084 memory=238296 CPUtime=0.84 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 623 0 0 0 38 46 0 0 20 0 15 0 72331571 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 238296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.51 s]
# the end of solver process 15923 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.1 s, system=2.01987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.5 s]
/proc/loadavg: 1.50 1.42 1.37 4/213 16204
/proc/meminfo: memFree=31153800/32770624 swapFree=67105588/67108860
[pid=15923] ppid=15920 vsize=13982084 memory=238296 CPUtime=2520.09 cores=1,3,5,7
/proc/15923/stat : 15923 (java) S 15920 15923 12560 0 -1 1077944320 72686 0 0 0 251808 201 0 0 20 0 15 0 72331551 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140730294133584 140433395162871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
/proc/15923/statm: 3495521 59574 3790 1 0 3484295 0
[pid=15923/tid=15925] ppid=15920 vsize=13982084 memory=238296 CPUtime=2493.12 cores=1,3,5,7
/proc/15923/task/15925/stat : 15925 (java) R 15920 15923 12560 0 -1 4202560 32455 0 0 0 249290 22 0 0 20 0 15 0 72331561 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140433399401328 140433037670751 0 4 1 16800974 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15926] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.74 cores=1,3,5,7
/proc/15923/task/15926/stat : 15926 (java) S 15920 15923 12560 0 -1 1077944384 3328 0 0 0 435 39 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140433352129296 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15927] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.74 cores=1,3,5,7
/proc/15923/task/15927/stat : 15927 (java) S 15920 15923 12560 0 -1 1077944384 3029 0 0 0 440 34 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432994659216 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15928] ppid=15920 vsize=13982084 memory=472 CPUtime=4.74 cores=1,3,5,7
/proc/15923/task/15928/stat : 15928 (java) S 15920 15923 12560 0 -1 1077944384 2783 0 0 0 440 34 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432993606672 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15929] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.73 cores=1,3,5,7
/proc/15923/task/15929/stat : 15929 (java) S 15920 15923 12560 0 -1 1077944384 3529 0 0 0 437 36 0 0 20 0 15 0 72331562 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432992554128 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15930] ppid=15920 vsize=13982084 memory=238296 CPUtime=4.62 cores=1,3,5,7
/proc/15923/task/15930/stat : 15930 (java) S 15920 15923 12560 0 -1 1077944384 5612 0 0 0 429 33 0 0 20 0 15 0 72331563 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432873846768 140433395174018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15931] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15931/stat : 15931 (java) S 15920 15923 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432872793056 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15932] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15932/stat : 15932 (java) S 15920 15923 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72331564 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432871740416 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15933] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15933/stat : 15933 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432870688976 140433395181467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15934] ppid=15920 vsize=13982084 memory=238296 CPUtime=1.05 cores=1,3,5,7
/proc/15923/task/15934/stat : 15934 (java) S 15920 15923 12560 0 -1 1077944384 8619 0 0 0 104 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432869636592 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15935] ppid=15920 vsize=13982084 memory=280618132474336 CPUtime=0.89 cores=1,3,5,7
/proc/15923/task/15935/stat : 15935 (java) S 15920 15923 12560 0 -1 1077944384 6981 0 0 0 88 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432868584048 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15936] ppid=15920 vsize=13982084 memory=238296 CPUtime=0.52 cores=1,3,5,7
/proc/15923/task/15936/stat : 15936 (java) S 15920 15923 12560 0 -1 1077944384 4288 0 0 0 51 1 0 0 20 0 15 0 72331566 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432867531504 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15937] ppid=15920 vsize=13982084 memory=238296 CPUtime=0 cores=1,3,5,7
/proc/15923/task/15937/stat : 15937 (java) S 15920 15923 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72331567 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432866479200 140433395173077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
[pid=15923/tid=15938] ppid=15920 vsize=13982084 memory=238296 CPUtime=0.84 cores=1,3,5,7
/proc/15923/task/15938/stat : 15938 (java) S 15920 15923 12560 0 -1 1077944384 623 0 0 0 38 46 0 0 20 0 15 0 72331571 14317654016 59574 18446744073709551615 4194304 4196468 140730294151040 140432865425712 140433395174018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37261312 140730294157679 140730294157865 140730294157865 140730294161359 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 238296 KiB
Child status: 143
Real time (s): 2505.51
CPU time (s): 2520.12
CPU user time (s): 2518.1
CPU system time (s): 2.01987
CPU usage (%): 100.583
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 238296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.1
system time used= 2.01987
maximum resident set size= 238952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183960
involuntary context switches= 7752
# summary of solver processes directly reported to runsolver:
# pid: 15923
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.1
# total CPU system time (s): 2.01987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.32 second user time and 20.2374 second system time
The end