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 (6243 MiB free)
memory of node 1: 16384 MiB (10527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290147-1532212277/watcher-4290147-1532212277 -o /tmp/evaluation-result-4290147-1532212277/solver-4290147-1532212277 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532209881-27635 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290147-1532212277.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28112, runsolver pid=28109
[startup+0.100101 s]*
/proc/loadavg: 2.08 2.03 2.05 6/216 28127
/proc/meminfo: memFree=17073472/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10659012 memory=31024 CPUtime=0.13 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 6814 0 0 0 12 1 0 0 20 0 15 0 38790871 10914828288 7756 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2664753 7756 2827 1 0 2627263 0
[pid=28112/tid=28114] ppid=28109 vsize=10659012 memory=-8701690554792186755 CPUtime=0.08 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) R 28109 28112 25105 0 -1 4202560 4662 0 0 0 8 0 0 0 20 0 15 0 38790871 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958477232064 139958473032861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958425631888 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10659012 memory=140213192959616 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958424579088 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958423526288 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) S 28109 28112 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958076234512 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10659012 memory=140213192959616 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38790874 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958032816496 139958473022082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28120] ppid=28109 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28120/stat : 28120 (java) S 28109 28112 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38790874 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958031762464 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28121] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28121/stat : 28121 (java) S 28109 28112 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38790874 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958030709616 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28122] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958027553520 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10659012 memory=140213192959616 CPUtime=0.02 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) S 28109 28112 25105 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 38790877 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958026500720 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10659012 memory=140213192959616 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 7756 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31024 KiB
[startup+0.211059 s]*
/proc/loadavg: 2.08 2.03 2.05 4/216 28127
/proc/meminfo: memFree=17059080/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10659012 memory=41648 CPUtime=0.34 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 8096 0 0 0 32 2 0 0 20 0 15 0 38790871 10914828288 10412 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2664753 10412 3004 1 0 2627263 0
[pid=28112/tid=28114] ppid=28109 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) R 28109 28112 25105 0 -1 4202560 5047 0 0 0 19 1 0 0 20 0 15 0 38790871 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958477242192 139958473032861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958425631888 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10659012 memory=140213192986465 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958424579088 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958423526288 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) S 28109 28112 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38790872 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958076234512 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10659012 memory=140213192959616 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38790874 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958032816496 139958473022082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28120] ppid=28109 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28120/stat : 28120 (java) S 28109 28112 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38790874 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958031762464 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28121] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28121/stat : 28121 (java) S 28109 28112 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38790874 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958030709616 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28122] ppid=28109 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 654 0 0 0 2 0 0 0 20 0 15 0 38790877 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 15 0 38790877 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958027553520 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10659012 memory=140213192959616 CPUtime=0.07 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) R 28109 28112 25105 0 -1 4202560 725 0 0 0 7 0 0 0 20 0 15 0 38790877 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958026500720 139958451672177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10659012 memory=140213192959616 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790877 10914828288 10412 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41648 KiB
[startup+0.312198 s]*
/proc/loadavg: 2.08 2.03 2.05 3/216 28127
/proc/meminfo: memFree=17051884/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10659088 memory=47356 CPUtime=0.53 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 8951 0 0 0 51 2 0 0 20 0 15 0 38790871 10914906112 11839 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2664772 11839 3043 1 0 2627263 0
[pid=28112/tid=28114] ppid=28109 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) R 28109 28112 25105 0 -1 4202560 5679 0 0 0 29 1 0 0 20 0 15 0 38790871 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958477244608 139958102927098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10659088 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958425631888 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10659088 memory=140213192985765 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958424579088 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790872 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958423526288 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) S 28109 28112 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38790872 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958076234512 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10659088 memory=140213192959616 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38790874 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958032816496 139958473022082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28120] ppid=28109 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28120/stat : 28120 (java) S 28109 28112 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38790874 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958031762464 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28121] ppid=28109 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28121/stat : 28121 (java) S 28109 28112 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38790874 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958030709616 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28122] ppid=28109 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 702 0 0 0 4 0 0 0 20 0 15 0 38790877 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 386 0 0 0 4 0 0 0 20 0 15 0 38790877 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958027553520 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10659088 memory=140213192959616 CPUtime=0.13 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) R 28109 28112 25105 0 -1 4202560 819 0 0 0 13 0 0 0 20 0 15 0 38790877 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958026500720 139958451996158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10659088 memory=140213192959616 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790877 10914906112 11839 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47356 KiB
[startup+0.700754 s]
/proc/loadavg: 2.08 2.03 2.05 5/216 28127
/proc/meminfo: memFree=17018752/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10661136 memory=217992 CPUtime=1.68 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 11409 0 0 0 156 12 0 0 20 0 15 0 38790871 10917003264 54498 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2665284 54498 3107 1 0 2627775 0
[pid=28112/tid=28114] ppid=28109 vsize=10661136 memory=1728 CPUtime=0.63 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) S 28109 28112 25105 0 -1 1077944384 6122 0 0 0 59 4 0 0 20 0 15 0 38790871 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958477246240 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10661136 memory=1696 CPUtime=0.04 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) R 28109 28112 25105 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 15 0 38790872 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958425629520 139958458038809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10661136 memory=796 CPUtime=0.04 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) R 28109 28112 25105 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 15 0 38790872 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958424579088 139958458038809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10661136 memory=5408 CPUtime=0.03 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) R 28109 28112 25105 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 15 0 38790872 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958423526488 139958458038809 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10661136 memory=1008 CPUtime=0.03 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) R 28109 28112 25105 0 -1 4202560 30 0 0 0 2 1 0 0 20 0 15 0 38790872 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958076234512 139958458038809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10661136 memory=9916 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 38790874 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958032815008 139958473021141 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28120] ppid=28109 vsize=10661136 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28120/stat : 28120 (java) S 28109 28112 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38790874 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958031762464 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28121] ppid=28109 vsize=10661136 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28121/stat : 28121 (java) S 28109 28112 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38790874 10917003264 54498 33554432000 4194304 4196468 140727426455808 139958030709616 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28122] ppid=28109 vsize=10661136 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10917003264 55010 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10661136 memory=7017547551848162880 CPUtime=0.29 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 1291 0 0 0 29 0 0 0 20 0 15 0 38790877 10917003264 55010 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10661136 memory=7811323491934034026 CPUtime=0.29 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 1036 0 0 0 29 0 0 0 20 0 15 0 38790877 10917003264 55010 33554432000 4194304 4196468 140727426455808 139958027543168 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10661136 memory=5787213827096799335 CPUtime=0.27 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) S 28109 28112 25105 0 -1 1077944384 1475 0 0 0 27 0 0 0 20 0 15 0 38790877 10917003264 55010 33554432000 4194304 4196468 140727426455808 139958026500720 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38790877 10917003264 55010 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10661136 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38790877 10917003264 55010 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 217992 KiB
[startup+1.50075 s]
/proc/loadavg: 2.08 2.03 2.05 6/216 28127
/proc/meminfo: memFree=16337584/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10661136 memory=616600 CPUtime=3.72 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 13138 0 0 0 325 47 0 0 20 0 15 0 38790871 10917003264 154150 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2665284 154150 3144 1 0 2627775 0
[pid=28112/tid=28114] ppid=28109 vsize=10661136 memory=0 CPUtime=1.04 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) S 28109 28112 25105 0 -1 1077944384 6202 0 0 0 99 5 0 0 20 0 15 0 38790871 10917003264 154150 33554432000 4194304 4196468 140727426455808 139958477246400 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10661136 memory=-6951259422114956437 CPUtime=0.42 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) R 28109 28112 25105 0 -1 4202560 341 0 0 0 32 10 0 0 20 0 15 0 38790872 10917003264 154150 33554432000 4194304 4196468 140727426455808 139958425631888 139958457708574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10661136 memory=-6509546260019855295 CPUtime=0.42 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) R 28109 28112 25105 0 -1 4202560 375 0 0 0 32 10 0 0 20 0 15 0 38790872 10917003264 154150 33554432000 4194304 4196468 140727426455808 139958424579088 139958457962062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10661136 memory=-7390251449858225344 CPUtime=0.41 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) R 28109 28112 25105 0 -1 4202560 347 0 0 0 32 9 0 0 20 0 15 0 38790872 10917003264 154150 33554432000 4194304 4196468 140727426455808 139958423526488 139958454607690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10661136 memory=-7096649868621430206 CPUtime=0.42 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) R 28109 28112 25105 0 -1 4202560 347 0 0 0 32 10 0 0 20 0 15 0 38790872 10917003264 154150 33554432000 4194304 4196468 140727426455808 139958076234712 139958457961540 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 38790874 10917003264 154150 33554432000 4194304 4196468 140727426455808 139958032814816 139958473021141 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
################
# More data... #
################
[pid=28112/tid=28122] ppid=28109 vsize=10727700 memory=5452992 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38790877 10985164800 1363248 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10727700 memory=4128 CPUtime=1.12 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 4177 0 0 0 111 1 0 0 20 0 16 0 38790877 10985164800 1363248 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10727700 memory=5452992 CPUtime=1.92 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 10651 0 0 0 190 2 0 0 20 0 16 0 38790877 10985164800 1363248 33554432000 4194304 4196468 140727426455808 139958027553520 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10727700 memory=5452992 CPUtime=0.4 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) S 28109 28112 25105 0 -1 1077944384 3105 0 0 0 39 1 0 0 20 0 16 0 38790877 10985164800 1363248 33554432000 4194304 4196468 140727426455808 139958026500720 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10727700 memory=5452992 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38790877 10985164800 1363248 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10727700 memory=5452992 CPUtime=1.37 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 2025 0 0 0 61 76 0 0 20 0 16 0 38790877 10985164800 1363248 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28129] ppid=28109 vsize=10727700 memory=5452992 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28129/stat : 28129 (java) S 28109 28112 25105 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38792374 10985164800 1363248 33554432000 4194304 4196468 140727426455808 139958021243824 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 2379.61 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5452992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2342.7 s]
/proc/loadavg: 2.01 2.02 2.05 6/217 28309
/proc/meminfo: memFree=12824364/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10727700 memory=5453004 CPUtime=2400.02 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 321328 0 0 0 239441 561 0 0 20 0 16 0 38790871 10985164800 1363251 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2681925 1363251 3188 1 0 2644416 0
[pid=28112/tid=28114] ppid=28109 vsize=10727700 memory=2416 CPUtime=2318.65 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) R 28109 28112 25105 0 -1 4202560 226901 0 0 0 231834 31 0 0 20 0 16 0 38790871 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958477249352 139958107568798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10727700 memory=5453004 CPUtime=17.65 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) S 28109 28112 25105 0 -1 1077944384 15168 0 0 0 1652 113 0 0 20 0 16 0 38790872 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958425631888 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10727700 memory=5453004 CPUtime=17.58 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) S 28109 28112 25105 0 -1 1077944384 12645 0 0 0 1638 120 0 0 20 0 16 0 38790872 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958424579088 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10727700 memory=5453004 CPUtime=17.65 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) S 28109 28112 25105 0 -1 1077944384 15147 0 0 0 1652 113 0 0 20 0 16 0 38790872 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958423526288 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10727700 memory=5452992 CPUtime=17.6 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) S 28109 28112 25105 0 -1 1077944384 12315 0 0 0 1649 111 0 0 20 0 16 0 38790872 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958076234512 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10727700 memory=5452992 CPUtime=5.98 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 17144 0 0 0 594 4 0 0 20 0 16 0 38790874 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958032816496 139958473022082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28120] ppid=28109 vsize=10727700 memory=5452992 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28120/stat : 28120 (java) S 28109 28112 25105 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 38790874 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958031762528 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28121] ppid=28109 vsize=10727700 memory=5453004 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28121/stat : 28121 (java) S 28109 28112 25105 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 38790874 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958030709632 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28122] ppid=28109 vsize=10727700 memory=5453004 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38790877 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10727700 memory=5453004 CPUtime=1.12 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 4180 0 0 0 111 1 0 0 20 0 16 0 38790877 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10727700 memory=5453004 CPUtime=1.92 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 10659 0 0 0 190 2 0 0 20 0 16 0 38790877 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958027553520 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10727700 memory=5453004 CPUtime=0.4 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) S 28109 28112 25105 0 -1 1077944384 3595 0 0 0 39 1 0 0 20 0 16 0 38790877 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958026500720 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10727700 memory=5453004 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38790877 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10727700 memory=5453004 CPUtime=1.38 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 2108 0 0 0 61 77 0 0 20 0 16 0 38790877 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28129] ppid=28109 vsize=10727700 memory=13944 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28129/stat : 28129 (java) S 28109 28112 25105 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38792374 10985164800 1363251 33554432000 4194304 4196468 140727426455808 139958021243824 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5453004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2343.12 s]
# the end of solver process 28112 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.42 s, system=6.01804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2342.81 s]
/proc/loadavg: 2.01 2.02 2.05 6/217 28309
/proc/meminfo: memFree=12824364/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10927392 memory=5453344 CPUtime=2400.41 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 324498 0 0 0 239480 561 0 0 20 0 17 0 38790871 11189649408 1363336 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2731848 1363336 3190 1 0 2694339 0
[pid=28112/tid=28114] ppid=28109 vsize=10927392 memory=6791534058613427641 CPUtime=2318.66 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) S 28109 28112 25105 0 -1 1077944384 226993 0 0 0 231835 31 0 0 20 0 17 0 38790871 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958477252528 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10927392 memory=932 CPUtime=17.74 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) R 28109 28112 25105 0 -1 4202560 15919 0 0 0 1661 113 0 0 20 0 17 0 38790872 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958425631888 139958457459104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10927392 memory=1580 CPUtime=17.67 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) R 28109 28112 25105 0 -1 4202560 13294 0 0 0 1647 120 0 0 20 0 17 0 38790872 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958424579088 139958452206083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10927392 memory=2240 CPUtime=17.74 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) R 28109 28112 25105 0 -1 4202560 15709 0 0 0 1661 113 0 0 20 0 17 0 38790872 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958423526176 139958466110818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10927392 memory=4124 CPUtime=17.7 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) R 28109 28112 25105 0 -1 4202560 12649 0 0 0 1659 111 0 0 20 0 17 0 38790872 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958076234712 139958457459104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10927392 memory=5453004 CPUtime=5.98 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 17187 0 0 0 594 4 0 0 20 0 17 0 38790874 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958032815008 139958473021141 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28120] ppid=28109 vsize=10927392 memory=13944 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28120/stat : 28120 (java) S 28109 28112 25105 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 38790874 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958031762528 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28121] ppid=28109 vsize=10927392 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28121/stat : 28121 (java) S 28109 28112 25105 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 38790874 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958030709632 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28122] ppid=28109 vsize=10927392 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 17 0 38790877 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10927392 memory=5453004 CPUtime=1.12 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 4180 0 0 0 111 1 0 0 20 0 17 0 38790877 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10927392 memory=6791534058613427641 CPUtime=1.92 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 10659 0 0 0 190 2 0 0 20 0 17 0 38790877 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958027553520 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10927392 memory=1728 CPUtime=0.41 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) S 28109 28112 25105 0 -1 1077944384 3700 0 0 0 40 1 0 0 20 0 17 0 38790877 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958026500720 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10927392 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38790877 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10927392 memory=796 CPUtime=1.38 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 2108 0 0 0 61 77 0 0 20 0 17 0 38790877 11189649408 1363336 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 2400.41 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5453344 KiB
[startup+2343 s]*
/proc/loadavg: 2.01 2.02 2.05 7/218 28312
/proc/meminfo: memFree=12423324/32770624 swapFree=67108860/67108860
[pid=28112] ppid=28109 vsize=10927392 memory=5701152 CPUtime=2401.22 cores=1,3,5,7
/proc/28112/stat : 28112 (java) S 28109 28112 25105 0 -1 1077944320 326728 0 0 0 239530 592 0 0 20 0 17 0 38790871 11189649408 1425288 33554432000 4194304 4196468 140727426455808 140727426438352 139958473010935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
/proc/28112/statm: 2731848 1425288 3190 1 0 2694339 0
[pid=28112/tid=28114] ppid=28109 vsize=10927392 memory=6791534058613427641 CPUtime=2318.66 cores=1,3,5,7
/proc/28112/task/28114/stat : 28114 (java) S 28109 28112 25105 0 -1 1077944384 226993 0 0 0 231835 31 0 0 20 0 17 0 38790871 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958477252528 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28115] ppid=28109 vsize=10927392 memory=6655300316396806240 CPUtime=17.94 cores=1,3,5,7
/proc/28112/task/28115/stat : 28115 (java) R 28109 28112 25105 0 -1 4202560 16169 0 0 0 1674 120 0 0 20 0 17 0 38790872 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958425632088 139958465639143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28116] ppid=28109 vsize=10927392 memory=6944656592387989600 CPUtime=17.88 cores=1,3,5,7
/proc/28112/task/28116/stat : 28116 (java) R 28109 28112 25105 0 -1 4202560 13620 0 0 0 1660 128 0 0 20 0 17 0 38790872 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958424579088 139958465639143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28117] ppid=28109 vsize=10927392 memory=6944656575208382560 CPUtime=17.94 cores=1,3,5,7
/proc/28112/task/28117/stat : 28117 (java) R 28109 28112 25105 0 -1 4202560 17114 0 0 0 1673 121 0 0 20 0 17 0 38790872 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958423526176 139958465639143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28118] ppid=28109 vsize=10927392 memory=6944656575208382560 CPUtime=17.89 cores=1,3,5,7
/proc/28112/task/28118/stat : 28118 (java) R 28109 28112 25105 0 -1 4202560 12896 0 0 0 1671 118 0 0 20 0 17 0 38790872 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958076234712 139958466107771 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28119] ppid=28109 vsize=10927392 memory=140213192986545 CPUtime=5.98 cores=1,3,5,7
/proc/28112/task/28119/stat : 28119 (java) S 28109 28112 25105 0 -1 1077944384 17187 0 0 0 594 4 0 0 20 0 17 0 38790874 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958032815008 139958473021141 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28120] ppid=28109 vsize=10927392 memory=7595714746098543465 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28120/stat : 28120 (java) S 28109 28112 25105 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 38790874 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958031762528 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28121] ppid=28109 vsize=10927392 memory=5452992 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28121/stat : 28121 (java) S 28109 28112 25105 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 38790874 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958030709632 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28122] ppid=28109 vsize=10927392 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28122/stat : 28122 (java) S 28109 28112 25105 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 17 0 38790877 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958029657936 139958473029531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28123] ppid=28109 vsize=10927392 memory=13940 CPUtime=1.12 cores=1,3,5,7
/proc/28112/task/28123/stat : 28123 (java) S 28109 28112 25105 0 -1 1077944384 4180 0 0 0 111 1 0 0 20 0 17 0 38790877 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958028606320 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28124] ppid=28109 vsize=10927392 memory=5453004 CPUtime=1.92 cores=1,3,5,7
/proc/28112/task/28124/stat : 28124 (java) S 28109 28112 25105 0 -1 1077944384 10659 0 0 0 190 2 0 0 20 0 17 0 38790877 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958027553520 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28125] ppid=28109 vsize=10927392 memory=5453004 CPUtime=0.41 cores=1,3,5,7
/proc/28112/task/28125/stat : 28125 (java) S 28109 28112 25105 0 -1 1077944384 3700 0 0 0 40 1 0 0 20 0 17 0 38790877 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958026500720 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28126] ppid=28109 vsize=10927392 memory=636 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28126/stat : 28126 (java) S 28109 28112 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38790877 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958025448160 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28127] ppid=28109 vsize=10927392 memory=960 CPUtime=1.38 cores=1,3,5,7
/proc/28112/task/28127/stat : 28127 (java) S 28109 28112 25105 0 -1 1077944384 2108 0 0 0 61 77 0 0 20 0 17 0 38790877 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958024395440 139958473022082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28310] ppid=28109 vsize=10927392 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28310/stat : 28310 (java) S 28109 28112 25105 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 17 0 39025142 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139958020190320 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
[pid=28112/tid=28311] ppid=28109 vsize=10927392 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28112/task/28311/stat : 28311 (java) S 28109 28112 25105 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 39025142 11189649408 1425288 33554432000 4194304 4196468 140727426455808 139957951783520 139958473021141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140727426462833 140727426462985 140727426462985 140727426465743 0
Current children cumulated CPU time: 2401.22 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5701152 KiB
[startup+2343.11 s]*
/proc/loadavg: 2.01 2.02 2.05 3/201 28312
/proc/meminfo: memFree=18034592/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2343.12
CPU time (s): 2401.44
CPU user time (s): 2395.42
CPU system time (s): 6.01804
CPU usage (%): 102.489
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 5701152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.42
system time used= 6.01804
maximum resident set size= 5756532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53932
involuntary context switches= 2232
# summary of solver processes directly reported to runsolver:
# pid: 28112
# total CPU time (s): 2401.44
# total CPU user time (s): 2395.42
# total CPU system time (s): 6.01804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9553 second user time and 23.5361 second system time
The end