runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243870-1500676881/watcher-4243870-1500676881 -o /tmp/evaluation-result-4243870-1500676881/solver-4243870-1500676881 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500674589-12383 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243870-1500676881.xml
pid=12677
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 5.12 2.96 2.41 10/262 12680
/proc/meminfo: memFree=23770404/32770624 swapFree=5856/199864
[pid=12680] ppid=12677 vsize=8351800 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 2231 0 0 0 0 0 0 0 20 0 4 0 2954982 8552243200 2442 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2087950 2442 1197 1 0 2076861 0
[pid=12680/tid=12681] ppid=12677 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 938 0 0 0 0 0 0 0 20 0 7 0 2954982 8555401216 2508 33554432000 4194304 4196468 140733325754992 139635860969168 139635849444762 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=8356940 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 2954983 8557506560 2508 33554432000 4194304 4196468 140733325754992 139635782802912 139635856738005 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 2954983 8558559232 2508 33554432000 4194304 4196468 140733325754992 139635781750112 139635856738005 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=8489040 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) D 12677 12680 9833 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2954983 8692776960 2508 33554432000 4194304 4196468 140733325754992 139635780696456 139635849444762 0 4 0 16784584 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) D 12677 12680 9833 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2954983 9028321280 2508 33554432000 4194304 4196468 140733325754992 139635779643704 139635849444951 0 4 0 16784584 18446744071582151463 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=8751184 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) D 12677 12680 9833 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2954983 8961212416 2508 33554432000 4194304 4196468 140733325754992 139635778590904 139635848955619 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) D 12677 12680 9833 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2954983 9028321280 2508 33554432000 4194304 4196468 140733325754992 139635777538104 139635848955619 0 4 0 16784584 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) R 12677 12680 9833 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 10 0 2954983 9028321280 2508 33554432000 4194304 4196468 140733325754992 139635776486000 139635849406992 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=9196624 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2954983 9417342976 2508 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[startup+0.100128 s]
/proc/loadavg: 5.12 2.96 2.41 10/262 12680
/proc/meminfo: memFree=23770404/32770624 swapFree=5856/199864
[pid=12680] ppid=12677 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 4751 0 0 0 9 1 0 0 20 0 20 0 2954982 11162169344 6326 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2725139 6326 2639 1 0 2713552 0
[pid=12680/tid=12681] ppid=12677 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 2826 0 0 0 7 1 0 0 20 0 20 0 2954982 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635860959024 139635856749725 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 6326 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200766 s]
/proc/loadavg: 5.12 2.96 2.41 10/262 12680
/proc/meminfo: memFree=23770404/32770624 swapFree=5856/199864
[pid=12680] ppid=12677 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 7033 0 0 0 24 2 0 0 20 0 20 0 2954982 11162169344 8929 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2725139 8929 2875 1 0 2713552 0
[pid=12680/tid=12681] ppid=12677 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 4687 0 0 0 17 1 0 0 20 0 20 0 2954982 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635860943184 139635842422890 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 8929 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300586 s]
/proc/loadavg: 5.12 2.96 2.41 10/262 12680
/proc/meminfo: memFree=23770404/32770624 swapFree=5856/199864
[pid=12680] ppid=12677 vsize=10900556 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 8374 0 0 0 45 2 0 0 20 0 20 0 2954982 11162169344 10744 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2725139 10744 2993 1 0 2713552 0
[pid=12680/tid=12681] ppid=12677 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 5259 0 0 0 26 1 0 0 20 0 20 0 2954982 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635860955768 139635445209312 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162169344 10744 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10900556
[startup+0.70064 s]
/proc/loadavg: 5.12 2.96 2.41 10/262 12680
/proc/meminfo: memFree=23770404/32770624 swapFree=5856/199864
[pid=12680] ppid=12677 vsize=10900632 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 11856 0 0 0 176 5 0 0 20 0 20 0 2954982 11162247168 33653 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2725158 33653 3083 1 0 2713552 0
[pid=12680/tid=12681] ppid=12677 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 5785 0 0 0 65 2 0 0 20 0 20 0 2954982 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635860965288 139635446828585 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2954983 11162247168 33653 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 10900632
[startup+1.50106 s]
/proc/loadavg: 5.67 3.11 2.46 17/282 12700
/proc/meminfo: memFree=23463816/32770624 swapFree=5856/200220
[pid=12680] ppid=12677 vsize=10967196 CPUtime=4.9 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 15761 0 0 0 402 88 0 0 20 0 21 0 2954982 11230408704 88777 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2741799 88777 3123 1 0 2730193 0
[pid=12680/tid=12681] ppid=12677 vsize=10967196 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 6070 0 0 0 121 3 0 0 20 0 21 0 2954982 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635860966048 139635448306807 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=10967196 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 107 0 0 0 12 9 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=10967196 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 104 0 0 0 10 10 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=10967196 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 120 0 0 0 11 10 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=10967196 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 111 0 0 0 11 10 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=10967196 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 120 0 0 0 12 10 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=10967196 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 110 0 0 0 11 10 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=10967196 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 118 0 0 0 10 9 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=10967196 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 91 0 0 0 13 9 0 0 20 0 21 0 2954983 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12691] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12691/stat : 12691 (java) S 12677 12680 9833 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 21 0 2954985 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635062618992 139635856738946 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12692] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12692/stat : 12692 (java) S 12677 12680 9833 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 2954986 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635061564960 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12693] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12693/stat : 12693 (java) S 12677 12680 9833 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2954986 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635060512112 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12694] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12694/stat : 12694 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2954990 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635059460432 139635856746395 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12695] ppid=12677 vsize=10967196 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12695/stat : 12695 (java) R 12677 12680 9833 0 -1 4202560 1981 0 0 0 44 0 0 0 20 0 21 0 2954990 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635058397472 139635840115021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12696] ppid=12677 vsize=10967196 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12696/stat : 12696 (java) R 12677 12680 9833 0 -1 4202560 1430 0 0 0 46 0 0 0 20 0 21 0 2954990 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635057346832 139635841605169 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12697] ppid=12677 vsize=10967196 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12697/stat : 12697 (java) R 12677 12680 9833 0 -1 4202560 1755 0 0 0 47 0 0 0 20 0 21 0 2954990 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635056288488 139635837317626 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12698] ppid=12677 vsize=10967196 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12698/stat : 12698 (java) R 12677 12680 9833 0 -1 4202560 2172 0 0 0 48 1 0 0 20 0 21 0 2954990 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635055246328 139635835773280 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12699] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12699/stat : 12699 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2954990 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635054197856 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12700] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12700/stat : 12700 (java) S 12677 12680 9833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2954991 11230408704 88777 33554432000 4194304 4196468 140733325754992 139635053145136 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 4.9
################
# More data... #
################
/proc/meminfo: memFree=24883496/32770624 swapFree=5856/202640
[pid=12680] ppid=12677 vsize=10967196 CPUtime=2354.51 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 117541 0 0 0 234319 1132 0 0 20 0 21 0 2954982 11230408704 752892 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2741799 752892 3162 1 0 2730193 0
[pid=12680/tid=12681] ppid=12677 vsize=10967196 CPUtime=2316.33 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 42920 0 0 0 231613 20 0 0 20 0 21 0 2954982 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635860966752 139635448687586 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=10967196 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 4646 0 0 0 283 129 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=10967196 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 4403 0 0 0 281 130 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=10967196 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 5664 0 0 0 282 129 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=10967196 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 5016 0 0 0 279 132 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=10967196 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 4872 0 0 0 273 126 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=10967196 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 4658 0 0 0 280 132 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=10967196 CPUtime=4.04 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 5789 0 0 0 275 129 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=10967196 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 5287 0 0 0 282 128 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12691] ppid=12677 vsize=10967196 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12691/stat : 12691 (java) S 12677 12680 9833 0 -1 1077944384 13302 0 0 0 61 4 0 0 20 0 21 0 2954985 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635062618992 139635856738946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12692] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12692/stat : 12692 (java) S 12677 12680 9833 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 2954986 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635061565024 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12693] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12693/stat : 12693 (java) S 12677 12680 9833 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 21 0 2954986 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635060512128 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12694] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12694/stat : 12694 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635059460432 139635856746395 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12695] ppid=12677 vsize=10967196 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12695/stat : 12695 (java) S 12677 12680 9833 0 -1 1077944384 4222 0 0 0 87 2 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635058407792 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12696] ppid=12677 vsize=10967196 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12696/stat : 12696 (java) S 12677 12680 9833 0 -1 1077944384 4616 0 0 0 103 1 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635057354992 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12697] ppid=12677 vsize=10967196 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12697/stat : 12697 (java) S 12677 12680 9833 0 -1 1077944384 4948 0 0 0 84 1 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635056302192 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12698] ppid=12677 vsize=10967196 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12698/stat : 12698 (java) S 12677 12680 9833 0 -1 1077944384 4054 0 0 0 56 2 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635055249392 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12699] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12699/stat : 12699 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635054197856 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12700] ppid=12677 vsize=10967196 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12700/stat : 12700 (java) S 12677 12680 9833 0 -1 1077944384 1730 0 0 0 61 73 0 0 20 0 21 0 2954991 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635053145136 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12701] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12701/stat : 12701 (java) S 12677 12680 9833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2955131 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635052090672 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 2354.51
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2367.8 s]
/proc/loadavg: 1.92 2.02 2.22 3/283 12883
/proc/meminfo: memFree=24882868/32770624 swapFree=5856/202696
[pid=12680] ppid=12677 vsize=10967196 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 118335 0 0 0 238869 1134 0 0 20 0 21 0 2954982 11230408704 752892 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2741799 752892 3162 1 0 2730193 0
[pid=12680/tid=12681] ppid=12677 vsize=10967196 CPUtime=2361.8 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) R 12677 12680 9833 0 -1 4202560 43657 0 0 0 236160 20 0 0 20 0 21 0 2954982 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635860966752 139635444501882 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=10967196 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 4646 0 0 0 283 129 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=10967196 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 4403 0 0 0 281 130 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=10967196 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 5664 0 0 0 282 129 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=10967196 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 5016 0 0 0 279 132 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=10967196 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 4872 0 0 0 273 126 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=10967196 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 4658 0 0 0 280 132 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=10967196 CPUtime=4.04 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 5789 0 0 0 275 129 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=10967196 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 5287 0 0 0 282 128 0 0 20 0 21 0 2954983 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12691] ppid=12677 vsize=10967196 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12691/stat : 12691 (java) S 12677 12680 9833 0 -1 1077944384 13308 0 0 0 61 4 0 0 20 0 21 0 2954985 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635062618992 139635856738946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12692] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12692/stat : 12692 (java) S 12677 12680 9833 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 2954986 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635061565024 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12693] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12693/stat : 12693 (java) S 12677 12680 9833 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 21 0 2954986 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635060512128 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12694] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12694/stat : 12694 (java) S 12677 12680 9833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635059460432 139635856746395 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12695] ppid=12677 vsize=10967196 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12695/stat : 12695 (java) S 12677 12680 9833 0 -1 1077944384 4226 0 0 0 87 2 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635058407792 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12696] ppid=12677 vsize=10967196 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12696/stat : 12696 (java) S 12677 12680 9833 0 -1 1077944384 4620 0 0 0 103 1 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635057354992 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12697] ppid=12677 vsize=10967196 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12697/stat : 12697 (java) S 12677 12680 9833 0 -1 1077944384 4954 0 0 0 84 1 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635056302192 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12698] ppid=12677 vsize=10967196 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12698/stat : 12698 (java) S 12677 12680 9833 0 -1 1077944384 4058 0 0 0 56 2 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635055249392 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12699] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12699/stat : 12699 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2954990 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635054197856 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12700] ppid=12677 vsize=10967196 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12700/stat : 12700 (java) S 12677 12680 9833 0 -1 1077944384 1763 0 0 0 63 74 0 0 20 0 21 0 2954991 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635053145136 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12701] ppid=12677 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12701/stat : 12701 (java) S 12677 12680 9833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2955131 11230408704 752892 33554432000 4194304 4196468 140733325754992 139635052090672 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12680 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2368 s]
/proc/loadavg: 1.92 2.02 2.22 3/283 12883
/proc/meminfo: memFree=24882868/32770624 swapFree=5856/202696
[pid=12680] ppid=12677 vsize=11166888 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) S 12677 12680 9833 0 -1 1077944320 118754 0 0 0 238870 1134 0 0 20 0 22 0 2954982 11434893312 752947 33554432000 4194304 4196468 140733325754992 140733325737536 139635856727799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
/proc/12680/statm: 2791722 752947 3164 1 0 2780116 0
[pid=12680/tid=12681] ppid=12677 vsize=11166888 CPUtime=2361.81 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12681/stat : 12681 (java) S 12677 12680 9833 0 -1 1077944384 43695 0 0 0 236161 20 0 0 20 0 22 0 2954982 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635860970672 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12682] ppid=12677 vsize=11166888 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12682/stat : 12682 (java) S 12677 12680 9833 0 -1 1077944384 4646 0 0 0 283 129 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635782802576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12683] ppid=12677 vsize=11166888 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12683/stat : 12683 (java) S 12677 12680 9833 0 -1 1077944384 4403 0 0 0 281 130 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635781749776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12684] ppid=12677 vsize=11166888 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12684/stat : 12684 (java) S 12677 12680 9833 0 -1 1077944384 5664 0 0 0 282 129 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635780696976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12685] ppid=12677 vsize=11166888 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12685/stat : 12685 (java) S 12677 12680 9833 0 -1 1077944384 5016 0 0 0 279 132 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635779644176 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12686] ppid=12677 vsize=11166888 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12686/stat : 12686 (java) S 12677 12680 9833 0 -1 1077944384 4872 0 0 0 273 126 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635778591376 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12687] ppid=12677 vsize=11166888 CPUtime=4.12 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12687/stat : 12687 (java) S 12677 12680 9833 0 -1 1077944384 4658 0 0 0 280 132 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635777538576 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12688] ppid=12677 vsize=11166888 CPUtime=4.04 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12688/stat : 12688 (java) S 12677 12680 9833 0 -1 1077944384 5789 0 0 0 275 129 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635776485776 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12689] ppid=12677 vsize=11166888 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12689/stat : 12689 (java) S 12677 12680 9833 0 -1 1077944384 5287 0 0 0 282 128 0 0 20 0 22 0 2954983 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635775432976 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12691] ppid=12677 vsize=11166888 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12691/stat : 12691 (java) S 12677 12680 9833 0 -1 1077944384 13308 0 0 0 61 4 0 0 20 0 22 0 2954985 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635062618992 139635856738946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12692] ppid=12677 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12692/stat : 12692 (java) S 12677 12680 9833 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 22 0 2954986 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635061565024 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12693] ppid=12677 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12693/stat : 12693 (java) S 12677 12680 9833 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 22 0 2954986 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635060512128 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12694] ppid=12677 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12694/stat : 12694 (java) S 12677 12680 9833 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 22 0 2954990 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635059460432 139635856746395 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12695] ppid=12677 vsize=11166888 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12695/stat : 12695 (java) S 12677 12680 9833 0 -1 1077944384 4226 0 0 0 87 2 0 0 20 0 22 0 2954990 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635058407792 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12696] ppid=12677 vsize=11166888 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12696/stat : 12696 (java) S 12677 12680 9833 0 -1 1077944384 4620 0 0 0 103 1 0 0 20 0 22 0 2954990 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635057354992 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12697] ppid=12677 vsize=11166888 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12697/stat : 12697 (java) S 12677 12680 9833 0 -1 1077944384 4954 0 0 0 84 1 0 0 20 0 22 0 2954990 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635056302192 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12698] ppid=12677 vsize=11166888 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12698/stat : 12698 (java) S 12677 12680 9833 0 -1 1077944384 4123 0 0 0 56 2 0 0 20 0 22 0 2954990 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635055249392 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12699] ppid=12677 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12699/stat : 12699 (java) S 12677 12680 9833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2954990 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635054197856 139635856738005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
[pid=12680/tid=12700] ppid=12677 vsize=11166888 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12700/stat : 12700 (java) S 12677 12680 9833 0 -1 1077944384 1763 0 0 0 63 74 0 0 20 0 22 0 2954991 11434893312 752947 33554432000 4194304 4196468 140733325754992 139635053145136 139635856738946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140733325759659 140733325759812 140733325759812 140733325762511 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 11166888
[startup+2368.1 s]
/proc/loadavg: 1.92 2.02 2.22 3/283 12883
/proc/meminfo: memFree=24882868/32770624 swapFree=5856/202696
[pid=12680] ppid=12677 vsize=0 CPUtime=2400.16 cores=1,3,5,7,9,11,13,15
/proc/12680/stat : 12680 (java) Z 12677 12680 9833 0 -1 4228108 119418 0 0 0 238881 1135 0 0 20 0 2 0 2954982 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12680/statm: 0 0 0 0 0 0 0
[pid=12680/tid=12695] ppid=12677 vsize=0 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/12680/task/12695/stat : 12695 (java) R 12677 12680 9833 0 -1 4203588 4259 0 0 0 87 3 0 0 20 0 2 0 2954990 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2368.11
CPU time (s): 2400.18
CPU user time (s): 2388.81
CPU system time (s): 11.3646
CPU usage (%): 101.354
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.81
system time used= 11.3646
maximum resident set size= 3012628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56624
involuntary context switches= 122509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3433 second user time and 18.9349 second system time
The end