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 (4394 MiB free)
memory of node 1: 16384 MiB (1374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304239-1534049131/watcher-4304239-1534049131 -o /tmp/evaluation-result-4304239-1534049131/solver-4304239-1534049131 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=560045797 HOME/instance-4304239-1534049131.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16626, runsolver pid=16623
[startup+0.100137 s]*
/proc/loadavg: 1.30 1.42 1.42 3/209 16683
/proc/meminfo: memFree=5902912/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=10005480 memory=16812 CPUtime=0.08 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 4385 13304 0 0 1 0 5 2 20 0 6 0 222476257 10245611520 4203 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2501370 4203 1934 1 0 2489808 0
[pid=16626/tid=16679] ppid=16623 vsize=10005480 memory=5852835220496416925 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) R 16623 16626 13534 0 -1 4202560 2198 13304 0 0 0 0 5 2 20 0 6 0 222476267 10245611520 4269 33554432000 4194304 4196468 140727303997728 140229571621456 140229585467221 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=10005480 memory=5793854937521449401 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) S 16623 16626 13534 0 -1 1077944384 2 13304 0 0 0 0 5 2 20 0 6 0 222476267 10245611520 4269 33554432000 4194304 4196468 140727303997728 140229604027280 140229599794901 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=10005480 memory=139686511556224 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 6 0 222476267 10245611520 4269 33554432000 4194304 4196468 140727303997728 140229139553040 140229599794901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 6 0 222476267 10245611520 4269 33554432000 4194304 4196468 140727303997728 140229138500752 140229599794901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 6 0 222476267 10245611520 4269 33554432000 4194304 4196468 140727303997728 140229137447952 140229599794901 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210228 s]*
/proc/loadavg: 1.30 1.42 1.42 3/218 16692
/proc/meminfo: memFree=5878092/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=10982744 memory=45680 CPUtime=0.25 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 8147 13304 0 0 16 2 5 2 20 0 15 0 222476257 11246329856 11420 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2745686 11420 2965 1 0 2708109 0
[pid=16626/tid=16679] ppid=16623 vsize=10982744 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) R 16623 16626 13534 0 -1 4202560 4719 13304 0 0 10 1 5 2 20 0 15 0 222476267 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229571581616 140229583865182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=10982744 memory=4211973412716346762 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) S 16623 16626 13534 0 -1 1077944384 2 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229604027280 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=10982744 memory=139686511556224 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229139553040 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229138500752 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229137447952 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 2 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229092870256 140229599795842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 13 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246329856 11420 33554432000 4194304 4196468 140727303997728 140228400505632 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246329856 11420 33554432000 4194304 4196468 140727303997728 140228199179376 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11246329856 11420 33554432000 4194304 4196468 140727303997728 140227891779664 140229599803291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) S 16623 16626 13534 0 -1 1077944384 420 13304 0 0 1 0 5 2 20 0 15 0 222476272 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229091818096 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) S 16623 16626 13534 0 -1 1077944384 184 13304 0 0 1 0 5 2 20 0 15 0 222476272 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229090765296 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=10982744 memory=139686511556224 CPUtime=0.1 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 609 13304 0 0 3 0 5 2 20 0 15 0 222476272 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11246329856 11420 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=10982744 memory=139686511556224 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476273 11246329856 11420 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45680 KiB
[startup+0.310545 s]*
/proc/loadavg: 1.30 1.42 1.42 3/218 16692
/proc/meminfo: memFree=5866680/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=10983192 memory=56392 CPUtime=0.37 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 10645 13304 0 0 27 3 5 2 20 0 15 0 222476257 11246788608 14098 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2745798 14098 3084 1 0 2708109 0
[pid=16626/tid=16679] ppid=16623 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) R 16623 16626 13534 0 -1 4202560 7208 13304 0 0 18 2 5 2 20 0 15 0 222476267 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229571596704 140229599806621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) S 16623 16626 13534 0 -1 1077944384 2 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229604027280 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229139553040 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229138500752 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229137447952 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=10983192 memory=139686511556223 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 2 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229092870256 140229599795842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 13 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246788608 14098 33554432000 4194304 4196468 140727303997728 140228400505632 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=10983192 memory=139686511556224 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246788608 14098 33554432000 4194304 4196468 140727303997728 140228199179376 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11246788608 14098 33554432000 4194304 4196468 140727303997728 140227891779664 140229599803291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) S 16623 16626 13534 0 -1 1077944384 420 13304 0 0 1 0 5 2 20 0 15 0 222476272 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229091818096 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) S 16623 16626 13534 0 -1 1077944384 185 13304 0 0 1 0 5 2 20 0 15 0 222476272 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229090765296 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 615 13304 0 0 4 0 5 2 20 0 15 0 222476272 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11246788608 14098 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476273 11246788608 14098 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56392 KiB
[startup+0.700772 s]
/proc/loadavg: 1.30 1.42 1.42 3/218 16692
/proc/meminfo: memFree=5855640/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=10983192 memory=88908 CPUtime=0.98 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 16753 13304 0 0 86 5 5 2 20 0 15 0 222476257 11246788608 22227 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2745798 22227 3247 1 0 2708109 0
[pid=16626/tid=16679] ppid=16623 vsize=10983192 memory=60512 CPUtime=0.65 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) R 16623 16626 13534 0 -1 4202560 12256 13304 0 0 55 3 5 2 20 0 15 0 222476267 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229571605520 140229580060025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=10983192 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) S 16623 16626 13534 0 -1 1077944384 2 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229604027280 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=10983192 memory=139686362522099 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229139553040 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=10983192 memory=139689516336011 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229138500752 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=10983192 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476267 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229137447952 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=10983192 memory=6296143700806424935 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 5 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229092870256 140229599795842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=10983192 memory=8099279071866868837 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 13 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246788608 22227 33554432000 4194304 4196468 140727303997728 140228400505632 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=10983192 memory=6004820471124940137 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476269 11246788608 22227 33554432000 4194304 4196468 140727303997728 140228199179376 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=10983192 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11246788608 22227 33554432000 4194304 4196468 140727303997728 140227891779664 140229599803291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=10983192 memory=8326441112149131689 CPUtime=0.13 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) S 16623 16626 13534 0 -1 1077944384 802 13304 0 0 6 0 5 2 20 0 15 0 222476272 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229091818096 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=10983192 memory=-7025452035940392864 CPUtime=0.17 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) S 16623 16626 13534 0 -1 1077944384 808 13304 0 0 10 0 5 2 20 0 15 0 222476272 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229090765296 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=10983192 memory=6944656592452807326 CPUtime=0.2 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 667 13304 0 0 13 0 5 2 20 0 15 0 222476272 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=10983192 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11246788608 22227 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 1 13304 0 0 0 0 5 2 20 0 15 0 222476273 11246788608 22227 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88908 KiB
[startup+1.50157 s]
/proc/loadavg: 1.30 1.42 1.42 3/218 16692
/proc/meminfo: memFree=5801812/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=10991948 memory=234180 CPUtime=3.12 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 24048 13304 0 0 293 12 5 2 20 0 15 0 222476257 11255754752 58545 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2747987 58545 3465 1 0 2709645 0
[pid=16626/tid=16679] ppid=16623 vsize=10991948 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) R 16623 16626 13534 0 -1 4202560 15033 13304 0 0 130 6 5 2 20 0 15 0 222476267 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229571618088 140229159862021 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=10991948 memory=102592 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) S 16623 16626 13534 0 -1 1077944384 17 13304 0 0 0 0 5 2 20 0 15 0 222476267 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229604027280 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=10991948 memory=5790086053191909267 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) S 16623 16626 13534 0 -1 1077944384 223 13304 0 0 0 0 5 2 20 0 15 0 222476267 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229139553040 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) S 16623 16626 13534 0 -1 1077944384 56 13304 0 0 0 0 5 2 20 0 15 0 222476267 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229138500752 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) S 16623 16626 13534 0 -1 1077944384 35 13304 0 0 0 0 5 2 20 0 15 0 222476267 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229137447952 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 95 13304 0 0 0 0 5 2 20 0 15 0 222476269 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229092870256 140229599795842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=10991948 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 13 13304 0 0 0 0 5 2 20 0 15 0 222476269 11255754752 58545 33554432000 4194304 4196468 140727303997728 140228400505632 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=10991948 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 2 13304 0 0 0 0 5 2 20 0 15 0 222476269 11255754752 58545 33554432000 4194304 4196468 140727303997728 140228199179376 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=10991948 memory=2192 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11255754752 58545 33554432000 4194304 4196468 140727303997728 140227891779664 140229599803291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=10991948 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) R 16623 16626 13534 0 -1 4202560 2970 13304 0 0 57 1 5 2 20 0 15 0 222476272 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229091797648 140229577380097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=10991948 memory=211343596648267 CPUtime=0.67 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) R 16623 16626 13534 0 -1 4202560 1950 13304 0 0 60 0 5 2 20 0 15 0 222476272 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229090744400 140229577801687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=10991948 memory=1088950 CPUtime=0.49 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 1456 13304 0 0 41 1 5 2 20 0 15 0 222476272 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=10991948 memory=4638778428397932880 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11255754752 58545 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=10991948 memory=4639059873309409380 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476273 11255754752 58545 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/16626/statm: 2752088 2081709 3527 1 0 2713741 0
[pid=16626/tid=16679] ppid=16623 vsize=11008352 memory=6791534058613427641 CPUtime=42.79 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) S 16623 16626 13534 0 -1 1077944384 432970 13304 0 0 4218 54 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229571618656 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=11008352 memory=3560 CPUtime=614.19 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) R 16623 16626 13534 0 -1 4202560 2556542 13304 0 0 61003 409 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229604027480 140229581381703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=11008352 memory=60524 CPUtime=613.72 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) R 16623 16626 13534 0 -1 4202560 2110213 13304 1 0 60971 394 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229139553240 140229579810914 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=11008352 memory=1228 CPUtime=615.09 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) R 16623 16626 13534 0 -1 4202560 2520688 13304 0 0 61082 420 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229138500640 140229584482470 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=11008352 memory=2432 CPUtime=615.63 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) R 16623 16626 13534 0 -1 4202560 3252185 13304 0 0 61106 450 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229137448152 140229584628478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=11008352 memory=1828 CPUtime=9.18 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 419474 13304 0 0 892 19 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229092868576 140229599794901 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=11008352 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 28 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228400505696 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=11008352 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 19 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228199179392 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=11008352 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227891779664 140229599803291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=11008352 memory=5772 CPUtime=3.95 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) S 16623 16626 13534 0 -1 1077944384 9433 13304 0 0 386 2 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229091817856 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=11008352 memory=1444 CPUtime=3.93 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) S 16623 16626 13534 0 -1 1077944384 7293 13304 0 0 385 1 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229090765296 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=11008352 memory=1160 CPUtime=1.81 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 10459 13304 0 0 171 3 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=11008352 memory=968 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=11008352 memory=12144 CPUtime=0.5 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 1310 13304 0 0 23 20 5 2 20 0 15 0 222476273 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8326836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+677.808 s]
# the end of solver process 16626 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.64 s, system=17.8518 s
Solver just ended.
Dumping a history of the last processes samples
[startup+676.802 s]
/proc/loadavg: 4.40 4.25 3.03 6/218 16713
/proc/meminfo: memFree=185676/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=11008352 memory=8326836 CPUtime=2525.05 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 11330214 13304 1 0 250735 1763 5 2 20 0 15 0 222476257 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2752088 2081709 3527 1 0 2713741 0
[pid=16626/tid=16679] ppid=16623 vsize=11008352 memory=4576 CPUtime=42.79 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) S 16623 16626 13534 0 -1 1077944384 432970 13304 0 0 4218 54 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229571618656 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=11008352 memory=6791534058613427641 CPUtime=615.39 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) R 16623 16626 13534 0 -1 4202560 2561975 13304 0 0 61122 410 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229604027480 140229584735351 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=11008352 memory=5772 CPUtime=614.9 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) R 16623 16626 13534 0 -1 4202560 2110963 13304 1 0 61089 394 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229139553240 140229579810853 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=11008352 memory=1444 CPUtime=616.29 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) R 16623 16626 13534 0 -1 4202560 2521160 13304 0 0 61202 420 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229138500640 140229581381351 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=11008352 memory=1160 CPUtime=616.83 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) R 16623 16626 13534 0 -1 4202560 3252931 13304 0 0 61226 450 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229137448152 140229581381703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=11008352 memory=968 CPUtime=9.18 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 419474 13304 0 0 892 19 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229092868576 140229599794901 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=11008352 memory=12144 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 28 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228400505696 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=11008352 memory=8326836 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 19 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228199179392 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=11008352 memory=8808 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 7 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227891779312 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=11008352 memory=4576 CPUtime=3.95 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) S 16623 16626 13534 0 -1 1077944384 9433 13304 0 0 386 2 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229091817856 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=11008352 memory=15868 CPUtime=3.93 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) S 16623 16626 13534 0 -1 1077944384 7293 13304 0 0 385 1 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229090765296 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=11008352 memory=4012 CPUtime=1.81 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 10459 13304 0 0 171 3 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=11008352 memory=34616 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=11008352 memory=18220 CPUtime=0.5 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 1310 13304 0 0 23 20 5 2 20 0 15 0 222476273 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 2525.05 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8326836 KiB
[startup+677.202 s]
/proc/loadavg: 4.40 4.25 3.03 6/218 16713
/proc/meminfo: memFree=185676/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=11008352 memory=8326836 CPUtime=2526.64 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 11334955 13304 1 0 250894 1763 5 2 20 0 15 0 222476257 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2752088 2081709 3527 1 0 2713741 0
[pid=16626/tid=16679] ppid=16623 vsize=11008352 memory=14972265422916166 CPUtime=42.79 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) S 16623 16626 13534 0 -1 1077944384 432970 13304 0 0 4218 54 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229571618656 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=11008352 memory=644 CPUtime=615.79 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) R 16623 16626 13534 0 -1 4202560 2561975 13304 0 0 61162 410 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229604027480 140229581381706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=11008352 memory=952 CPUtime=615.29 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) R 16623 16626 13534 0 -1 4202560 2112493 13304 1 0 61128 394 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229139553240 140229581381706 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=11008352 memory=6791534058613427641 CPUtime=616.69 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) R 16623 16626 13534 0 -1 4202560 2522867 13304 0 0 61242 420 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229138500640 140229584482470 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=11008352 memory=1536 CPUtime=617.23 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) R 16623 16626 13534 0 -1 4202560 3254434 13304 0 0 61266 450 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229137448152 140229581381153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=11008352 memory=928 CPUtime=9.18 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 419474 13304 0 0 892 19 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229092868576 140229599794901 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=11008352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 28 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228400505696 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=11008352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 19 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228199179392 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=11008352 memory=2192 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 7 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227891779312 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=11008352 memory=7528 CPUtime=3.95 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) S 16623 16626 13534 0 -1 1077944384 9433 13304 0 0 386 2 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229091817856 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=11008352 memory=8326836 CPUtime=3.93 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) S 16623 16626 13534 0 -1 1077944384 7293 13304 0 0 385 1 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229090765296 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=11008352 memory=8326836 CPUtime=1.81 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 10459 13304 0 0 171 3 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=11008352 memory=8326836 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=11008352 memory=8326836 CPUtime=0.5 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 1310 13304 0 0 23 20 5 2 20 0 15 0 222476273 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 2526.64 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8326836 KiB
[startup+677.602 s]
/proc/loadavg: 4.40 4.25 3.03 6/218 16713
/proc/meminfo: memFree=185676/32770624 swapFree=67108860/67108860
[pid=16626] ppid=16623 vsize=11008352 memory=8326836 CPUtime=2528.24 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16623 16626 13534 0 -1 1077944320 11340313 13304 1 0 251054 1763 5 2 20 0 15 0 222476257 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140727303980272 140229599784695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
/proc/16626/statm: 2752088 2081709 3527 1 0 2713741 0
[pid=16626/tid=16679] ppid=16623 vsize=11008352 memory=8808 CPUtime=42.79 cores=1,3,5,7
/proc/16626/task/16679/stat : 16679 (java) S 16623 16626 13534 0 -1 1077944384 432970 13304 0 0 4218 54 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229571618656 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16680] ppid=16623 vsize=11008352 memory=4576 CPUtime=616.19 cores=1,3,5,7
/proc/16626/task/16680/stat : 16680 (java) R 16623 16626 13534 0 -1 4202560 2561975 13304 0 0 61202 410 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229604027480 140229584482320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16681] ppid=16623 vsize=11008352 memory=15868 CPUtime=615.68 cores=1,3,5,7
/proc/16626/task/16681/stat : 16681 (java) R 16623 16626 13534 0 -1 4202560 2114186 13304 1 0 61167 394 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229139553240 140229581381243 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16682] ppid=16623 vsize=11008352 memory=3560 CPUtime=617.09 cores=1,3,5,7
/proc/16626/task/16682/stat : 16682 (java) R 16623 16626 13534 0 -1 4202560 2524942 13304 0 0 61282 420 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229138500640 140229581381703 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16683] ppid=16623 vsize=11008352 memory=60524 CPUtime=617.63 cores=1,3,5,7
/proc/16626/task/16683/stat : 16683 (java) R 16623 16626 13534 0 -1 4202560 3256026 13304 0 0 61306 450 5 2 20 0 15 0 222476267 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229137448152 140229581381703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16684] ppid=16623 vsize=11008352 memory=1228 CPUtime=9.18 cores=1,3,5,7
/proc/16626/task/16684/stat : 16684 (java) S 16623 16626 13534 0 -1 1077944384 419474 13304 0 0 892 19 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229092868576 140229599794901 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16685] ppid=16623 vsize=11008352 memory=2432 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16685/stat : 16685 (java) S 16623 16626 13534 0 -1 1077944384 28 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228400505696 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16686] ppid=16623 vsize=11008352 memory=1828 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16686/stat : 16686 (java) S 16623 16626 13534 0 -1 1077944384 19 13304 0 0 0 0 5 2 20 0 15 0 222476269 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140228199179392 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16687] ppid=16623 vsize=11008352 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16687/stat : 16687 (java) S 16623 16626 13534 0 -1 1077944384 7 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227891779312 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16688] ppid=16623 vsize=11008352 memory=1224 CPUtime=3.95 cores=1,3,5,7
/proc/16626/task/16688/stat : 16688 (java) S 16623 16626 13534 0 -1 1077944384 9433 13304 0 0 386 2 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229091817856 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16689] ppid=16623 vsize=11008352 memory=1944 CPUtime=3.93 cores=1,3,5,7
/proc/16626/task/16689/stat : 16689 (java) S 16623 16626 13534 0 -1 1077944384 7293 13304 0 0 385 1 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229090765296 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16690] ppid=16623 vsize=11008352 memory=5772 CPUtime=1.81 cores=1,3,5,7
/proc/16626/task/16690/stat : 16690 (java) S 16623 16626 13534 0 -1 1077944384 10459 13304 0 0 171 3 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229089713008 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16691] ppid=16623 vsize=11008352 memory=1444 CPUtime=0.07 cores=1,3,5,7
/proc/16626/task/16691/stat : 16691 (java) S 16623 16626 13534 0 -1 1077944384 3 13304 0 0 0 0 5 2 20 0 15 0 222476272 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140227460983776 140229599794901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
[pid=16626/tid=16692] ppid=16623 vsize=11008352 memory=1160 CPUtime=0.5 cores=1,3,5,7
/proc/16626/task/16692/stat : 16692 (java) S 16623 16626 13534 0 -1 1077944384 1310 13304 0 0 23 20 5 2 20 0 15 0 222476273 11272552448 2081709 33554432000 4194304 4196468 140727303997728 140229088659888 140229599795842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18833408 140727304002157 140727304004956 140727304004956 140727304007631 0
Current children cumulated CPU time: 2528.24 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8326836 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 677.808
CPU time (s): 2528.49
CPU user time (s): 2510.64
CPU system time (s): 17.8518
CPU usage (%): 373.04
Max. virtual memory (cumulated for all children) (KiB): 11073888
Max. memory (cumulated for all children) (KiB): 8326836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.64
system time used= 17.8518
maximum resident set size= 8327020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11353813
page faults= 1
swaps= 0
block input operations= 392
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46852
involuntary context switches= 29364
# summary of solver processes directly reported to runsolver:
# pid: 16626
# total CPU time (s): 2528.49
# total CPU user time (s): 2510.64
# total CPU system time (s): 17.8518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98268 second user time and 6.96379 second system time
The end