runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459287-1307135873/watcher-3459287-1307135873 -o /tmp/evaluation-result-3459287-1307135873/solver-3459287-1307135873 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459287-1307135873.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.14 2.10 2.17 3/590 28015
/proc/meminfo: memFree=31815836/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 7689 0 1 0 0 0 0 0 25 0 2 0 825186159 13850947584 7391 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3381579 7404 917 9 0 3372735 0
[pid=28015/tid=28016] ppid=28013 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 6927 0 1 0 0 0 0 0 25 0 2 0 825186160 13850947584 7743 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.107854 s]
/proc/loadavg: 2.14 2.10 2.17 3/590 28015
/proc/meminfo: memFree=31815836/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13621712 CPUtime=0.11 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 15583 0 1 0 9 2 0 0 25 0 18 0 825186159 13948633088 15268 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3405428 15268 2093 9 0 3396162 0
[pid=28015/tid=28016] ppid=28013 vsize=13621712 CPUtime=0.08 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 13660 0 1 0 7 1 0 0 18 0 18 0 825186160 13948633088 15269 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 47439268372485 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621712
[startup+0.20089 s]
/proc/loadavg: 2.14 2.10 2.17 3/590 28015
/proc/meminfo: memFree=31815836/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13622408 CPUtime=0.25 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 18234 0 1 0 23 2 0 0 25 0 18 0 825186159 13949345792 17919 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3405602 17919 2170 9 0 3396336 0
[pid=28015/tid=28016] ppid=28013 vsize=13622408 CPUtime=0.18 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 16057 0 1 0 16 2 0 0 18 0 18 0 825186160 13949345792 17919 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13622408
[startup+0.319975 s]
/proc/loadavg: 2.14 2.10 2.17 3/590 28015
/proc/meminfo: memFree=31815836/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13624372 CPUtime=0.56 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 21372 0 1 0 53 3 0 0 25 0 18 0 825186159 13951356928 20574 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3406093 20576 2202 9 0 3396827 0
[pid=28015/tid=28016] ppid=28013 vsize=13624372 CPUtime=0.3 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 18163 0 1 0 28 2 0 0 18 0 18 0 825186160 13951356928 20577 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505610570 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13624372
[startup+0.7007 s]
/proc/loadavg: 2.14 2.10 2.17 3/590 28015
/proc/meminfo: memFree=31815836/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13627004 CPUtime=1.17 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 59662 0 1 0 108 9 0 0 25 0 18 0 825186159 13954052096 57996 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3406751 58000 2214 9 0 3397485 0
[pid=28015/tid=28016] ppid=28013 vsize=13627004 CPUtime=0.68 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 54202 0 1 0 61 7 0 0 18 0 18 0 825186160 13954052096 58002 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505541194 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13627004
[startup+1.5006 s]
/proc/loadavg: 2.13 2.09 2.17 3/608 28033
/proc/meminfo: memFree=31408924/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13628152 CPUtime=2.22 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 123097 0 1 0 206 16 0 0 25 0 19 0 825186159 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3407038 120697 2236 9 0 3397772 0
[pid=28015/tid=28016] ppid=28013 vsize=13628152 CPUtime=1.48 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 116801 0 1 0 133 15 0 0 20 0 19 0 825186160 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505392544 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28018/stat : 28018 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28019/stat : 28019 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28020/stat : 28020 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28021/stat : 28021 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28022/stat : 28022 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28023/stat : 28023 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28024/stat : 28024 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28025/stat : 28025 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186162 13955227648 120697 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28026/stat : 28026 (java) S 28013 28015 24211 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825186163 13955227648 120698 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28027/stat : 28027 (java) S 28013 28015 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825186164 13955227648 120698 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28028/stat : 28028 (java) S 28013 28015 24211 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 825186164 13955227648 120698 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28029/stat : 28029 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13955227648 120699 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=13628152 CPUtime=0.37 cores=0,2,4,6
/proc/28015/task/28030/stat : 28030 (java) S 28013 28015 24211 0 -1 4202560 2277 0 0 0 37 0 0 0 15 0 19 0 825186166 13955227648 120699 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28031] ppid=28013 vsize=13628152 CPUtime=0.35 cores=0,2,4,6
/proc/28015/task/28031/stat : 28031 (java) S 28013 28015 24211 0 -1 4202560 2858 0 0 0 35 0 0 0 17 0 19 0 825186166 13955227648 120699 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28032/stat : 28032 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13955227648 120699 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28033] ppid=28013 vsize=13628152 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28033/stat : 28033 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825186166 13955227648 120699 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 13628152
[startup+3.10139 s]
/proc/loadavg: 2.13 2.09 2.17 3/609 28034
/proc/meminfo: memFree=31335508/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13627832 CPUtime=3.97 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 130218 0 1 0 380 17 0 0 25 0 19 0 825186159 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3406958 127496 2264 9 0 3397692 0
[pid=28015/tid=28016] ppid=28013 vsize=13627832 CPUtime=3 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 117463 0 1 0 285 15 0 0 17 0 19 0 825186160 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505889984 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28018/stat : 28018 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28019/stat : 28019 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28020/stat : 28020 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28021/stat : 28021 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28022/stat : 28022 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=13627832 CPUtime=0.01 cores=0,2,4,6
/proc/28015/task/28023/stat : 28023 (java) S 28013 28015 24211 0 -1 4202560 929 0 0 0 1 0 0 0 18 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=13627832 CPUtime=0.01 cores=0,2,4,6
/proc/28015/task/28024/stat : 28024 (java) S 28013 28015 24211 0 -1 4202560 985 0 0 0 1 0 0 0 18 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=13627832 CPUtime=0.01 cores=0,2,4,6
/proc/28015/task/28025/stat : 28025 (java) S 28013 28015 24211 0 -1 4202560 1198 0 0 0 1 0 0 0 18 0 19 0 825186162 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=13627832 CPUtime=0.05 cores=0,2,4,6
/proc/28015/task/28026/stat : 28026 (java) S 28013 28015 24211 0 -1 4202560 3100 0 0 0 5 0 0 0 15 0 19 0 825186163 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28027/stat : 28027 (java) S 28013 28015 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28028/stat : 28028 (java) S 28013 28015 24211 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28029/stat : 28029 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=13627832 CPUtime=0.46 cores=0,2,4,6
/proc/28015/task/28030/stat : 28030 (java) S 28013 28015 24211 0 -1 4202560 2521 0 0 0 46 0 0 0 15 0 19 0 825186166 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28031] ppid=28013 vsize=13627832 CPUtime=0.37 cores=0,2,4,6
/proc/28015/task/28031/stat : 28031 (java) S 28013 28015 24211 0 -1 4202560 2865 0 0 0 37 0 0 0 15 0 19 0 825186166 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28032/stat : 28032 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28033] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28033/stat : 28033 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825186166 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28034] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28034/stat : 28034 (java) S 28013 28015 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 825186285 13954899968 127496 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 13627832
[startup+6.30082 s]
/proc/loadavg: 2.13 2.09 2.17 3/609 28034
/proc/meminfo: memFree=31306540/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13627832 CPUtime=7.2 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 131297 0 1 0 703 17 0 0 25 0 19 0 825186159 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3406958 128433 2264 9 0 3397692 0
[pid=28015/tid=28016] ppid=28013 vsize=13627832 CPUtime=6.11 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 117466 0 1 0 596 15 0 0 20 0 19 0 825186160 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505762653 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28018/stat : 28018 (java) S 28013 28015 24211 0 -1 4202560 418 0 0 0 0 0 0 0 15 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28019/stat : 28019 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28020/stat : 28020 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28021/stat : 28021 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28022/stat : 28022 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=13627832 CPUtime=0.01 cores=0,2,4,6
/proc/28015/task/28023/stat : 28023 (java) S 28013 28015 24211 0 -1 4202560 929 0 0 0 1 0 0 0 18 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=13627832 CPUtime=0.02 cores=0,2,4,6
/proc/28015/task/28024/stat : 28024 (java) S 28013 28015 24211 0 -1 4202560 1194 0 0 0 2 0 0 0 18 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=13627832 CPUtime=0.01 cores=0,2,4,6
/proc/28015/task/28025/stat : 28025 (java) S 28013 28015 24211 0 -1 4202560 1201 0 0 0 1 0 0 0 15 0 19 0 825186162 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=13627832 CPUtime=0.14 cores=0,2,4,6
/proc/28015/task/28026/stat : 28026 (java) S 28013 28015 24211 0 -1 4202560 3542 0 0 0 14 0 0 0 15 0 19 0 825186163 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28027/stat : 28027 (java) S 28013 28015 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28028/stat : 28028 (java) S 28013 28015 24211 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28029/stat : 28029 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=13627832 CPUtime=0.48 cores=0,2,4,6
/proc/28015/task/28030/stat : 28030 (java) S 28013 28015 24211 0 -1 4202560 2525 0 0 0 48 0 0 0 15 0 19 0 825186166 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28031] ppid=28013 vsize=13627832 CPUtime=0.38 cores=0,2,4,6
/proc/28015/task/28031/stat : 28031 (java) S 28013 28015 24211 0 -1 4202560 2866 0 0 0 38 0 0 0 15 0 19 0 825186166 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28032/stat : 28032 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 128433 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=28015/tid=28023] ppid=28013 vsize=13627832 CPUtime=0.23 cores=0,2,4,6
/proc/28015/task/28023/stat : 28023 (java) S 28013 28015 24211 0 -1 4202560 1824 0 0 0 23 0 0 0 15 0 19 0 825186162 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=13627832 CPUtime=0.3 cores=0,2,4,6
/proc/28015/task/28024/stat : 28024 (java) S 28013 28015 24211 0 -1 4202560 2465 0 0 0 30 0 0 0 16 0 19 0 825186162 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=13627832 CPUtime=0.28 cores=0,2,4,6
/proc/28015/task/28025/stat : 28025 (java) S 28013 28015 24211 0 -1 4202560 1847 0 0 0 28 0 0 0 15 0 19 0 825186162 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=13627832 CPUtime=6.73 cores=0,2,4,6
/proc/28015/task/28026/stat : 28026 (java) S 28013 28015 24211 0 -1 4202560 11162 0 0 0 672 1 0 0 15 0 19 0 825186163 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28027/stat : 28027 (java) S 28013 28015 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28028/stat : 28028 (java) S 28013 28015 24211 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28029/stat : 28029 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=13627832 CPUtime=0.56 cores=0,2,4,6
/proc/28015/task/28030/stat : 28030 (java) S 28013 28015 24211 0 -1 4202560 2550 0 0 0 56 0 0 0 15 0 19 0 825186166 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28031] ppid=28013 vsize=13627832 CPUtime=0.38 cores=0,2,4,6
/proc/28015/task/28031/stat : 28031 (java) S 28013 28015 24211 0 -1 4202560 2866 0 0 0 38 0 0 0 15 0 19 0 825186166 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28032/stat : 28032 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28033] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28033/stat : 28033 (java) S 28013 28015 24211 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825186166 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28034] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28034/stat : 28034 (java) S 28013 28015 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 825186285 13954899968 148462 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1664.46
Current children cumulated vsize (KiB) 13627832
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/609 28126
/proc/meminfo: memFree=31176852/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13627832 CPUtime=1724.51 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 153455 0 1 0 172427 24 0 0 25 0 19 0 825186159 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3406958 150295 2265 9 0 3397692 0
[pid=28015/tid=28016] ppid=28013 vsize=13627832 CPUtime=1714.72 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 117556 0 1 0 171454 18 0 0 25 0 19 0 825186160 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505762164 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=13627832 CPUtime=0.23 cores=0,2,4,6
/proc/28015/task/28018/stat : 28018 (java) S 28013 28015 24211 0 -1 4202560 2061 0 0 0 23 0 0 0 15 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 4 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=13627832 CPUtime=0.19 cores=0,2,4,6
/proc/28015/task/28019/stat : 28019 (java) S 28013 28015 24211 0 -1 4202560 1175 0 0 0 19 0 0 0 15 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=13627832 CPUtime=0.27 cores=0,2,4,6
/proc/28015/task/28020/stat : 28020 (java) S 28013 28015 24211 0 -1 4202560 4884 0 0 0 27 0 0 0 15 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=13627832 CPUtime=0.2 cores=0,2,4,6
/proc/28015/task/28021/stat : 28021 (java) S 28013 28015 24211 0 -1 4202560 1336 0 0 0 20 0 0 0 15 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=13627832 CPUtime=0.19 cores=0,2,4,6
/proc/28015/task/28022/stat : 28022 (java) S 28013 28015 24211 0 -1 4202560 1859 0 0 0 19 0 0 0 16 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 4 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=13627832 CPUtime=0.23 cores=0,2,4,6
/proc/28015/task/28023/stat : 28023 (java) S 28013 28015 24211 0 -1 4202560 1824 0 0 0 23 0 0 0 15 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=13627832 CPUtime=0.31 cores=0,2,4,6
/proc/28015/task/28024/stat : 28024 (java) S 28013 28015 24211 0 -1 4202560 2751 0 0 0 31 0 0 0 16 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=13627832 CPUtime=0.28 cores=0,2,4,6
/proc/28015/task/28025/stat : 28025 (java) S 28013 28015 24211 0 -1 4202560 1847 0 0 0 28 0 0 0 15 0 19 0 825186162 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=13627832 CPUtime=6.82 cores=0,2,4,6
/proc/28015/task/28026/stat : 28026 (java) S 28013 28015 24211 0 -1 4202560 11496 0 0 0 681 1 0 0 15 0 19 0 825186163 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28027/stat : 28027 (java) S 28013 28015 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28028/stat : 28028 (java) S 28013 28015 24211 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28029/stat : 28029 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=13627832 CPUtime=0.56 cores=0,2,4,6
/proc/28015/task/28030/stat : 28030 (java) S 28013 28015 24211 0 -1 4202560 2550 0 0 0 56 0 0 0 15 0 19 0 825186166 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28031] ppid=28013 vsize=13627832 CPUtime=0.38 cores=0,2,4,6
/proc/28015/task/28031/stat : 28031 (java) S 28013 28015 24211 0 -1 4202560 2866 0 0 0 38 0 0 0 15 0 19 0 825186166 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28032/stat : 28032 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28033] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28033/stat : 28033 (java) S 28013 28015 24211 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825186166 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28034] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28034/stat : 28034 (java) S 28013 28015 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 825186285 13954899968 150295 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.51
Current children cumulated vsize (KiB) 13627832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/609 28128
/proc/meminfo: memFree=31127328/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13627832 CPUtime=1784.59 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 165602 0 1 0 178434 25 0 0 25 0 19 0 825186159 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3406958 162415 2265 9 0 3397692 0
[pid=28015/tid=28016] ppid=28013 vsize=13627832 CPUtime=1774.56 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 117557 0 1 0 177438 18 0 0 25 0 19 0 825186160 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505957017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=13627832 CPUtime=0.26 cores=0,2,4,6
/proc/28015/task/28018/stat : 28018 (java) S 28013 28015 24211 0 -1 4202560 6318 0 0 0 25 1 0 0 16 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=13627832 CPUtime=0.22 cores=0,2,4,6
/proc/28015/task/28019/stat : 28019 (java) S 28013 28015 24211 0 -1 4202560 3679 0 0 0 22 0 0 0 16 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=13627832 CPUtime=0.27 cores=0,2,4,6
/proc/28015/task/28020/stat : 28020 (java) S 28013 28015 24211 0 -1 4202560 5021 0 0 0 27 0 0 0 15 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=13627832 CPUtime=0.2 cores=0,2,4,6
/proc/28015/task/28021/stat : 28021 (java) S 28013 28015 24211 0 -1 4202560 1336 0 0 0 20 0 0 0 15 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=13627832 CPUtime=0.22 cores=0,2,4,6
/proc/28015/task/28022/stat : 28022 (java) S 28013 28015 24211 0 -1 4202560 4129 0 0 0 22 0 0 0 16 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 4 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=13627832 CPUtime=0.24 cores=0,2,4,6
/proc/28015/task/28023/stat : 28023 (java) S 28013 28015 24211 0 -1 4202560 1824 0 0 0 24 0 0 0 15 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=13627832 CPUtime=0.34 cores=0,2,4,6
/proc/28015/task/28024/stat : 28024 (java) S 28013 28015 24211 0 -1 4202560 5491 0 0 0 34 0 0 0 16 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=13627832 CPUtime=0.28 cores=0,2,4,6
/proc/28015/task/28025/stat : 28025 (java) S 28013 28015 24211 0 -1 4202560 1847 0 0 0 28 0 0 0 15 0 19 0 825186162 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=13627832 CPUtime=6.95 cores=0,2,4,6
/proc/28015/task/28026/stat : 28026 (java) S 28013 28015 24211 0 -1 4202560 11730 0 0 0 694 1 0 0 15 0 19 0 825186163 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28027/stat : 28027 (java) S 28013 28015 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28028/stat : 28028 (java) S 28013 28015 24211 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28029/stat : 28029 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=13627832 CPUtime=0.56 cores=0,2,4,6
/proc/28015/task/28030/stat : 28030 (java) S 28013 28015 24211 0 -1 4202560 2550 0 0 0 56 0 0 0 15 0 19 0 825186166 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28031] ppid=28013 vsize=13627832 CPUtime=0.38 cores=0,2,4,6
/proc/28015/task/28031/stat : 28031 (java) S 28013 28015 24211 0 -1 4202560 2866 0 0 0 38 0 0 0 15 0 19 0 825186166 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28032/stat : 28032 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28033] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28033/stat : 28033 (java) S 28013 28015 24211 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825186166 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28034] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28034/stat : 28034 (java) S 28013 28015 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 825186285 13954899968 162415 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (KiB) 13627832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.7 s]
/proc/loadavg: 2.00 2.02 2.04 3/609 28128
/proc/meminfo: memFree=31127072/32950928 swapFree=43925852/67111528
[pid=28015] ppid=28013 vsize=13627832 CPUtime=1800.05 cores=0,2,4,6
/proc/28015/stat : 28015 (java) S 28013 28015 24211 0 -1 4202496 165777 0 1 0 179979 26 0 0 25 0 19 0 825186159 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28015/statm: 3406958 162587 2265 9 0 3397692 0
[pid=28015/tid=28016] ppid=28013 vsize=13627832 CPUtime=1789.88 cores=0,2,4,6
/proc/28015/task/28016/stat : 28016 (java) R 28013 28015 24211 0 -1 4202560 117558 0 1 0 178970 18 0 0 25 0 19 0 825186160 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 46912505803452 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=13627832 CPUtime=0.27 cores=0,2,4,6
/proc/28015/task/28018/stat : 28018 (java) S 28013 28015 24211 0 -1 4202560 6318 0 0 0 26 1 0 0 16 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=13627832 CPUtime=0.22 cores=0,2,4,6
/proc/28015/task/28019/stat : 28019 (java) S 28013 28015 24211 0 -1 4202560 3679 0 0 0 22 0 0 0 15 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=13627832 CPUtime=0.27 cores=0,2,4,6
/proc/28015/task/28020/stat : 28020 (java) S 28013 28015 24211 0 -1 4202560 5021 0 0 0 27 0 0 0 15 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=13627832 CPUtime=0.21 cores=0,2,4,6
/proc/28015/task/28021/stat : 28021 (java) S 28013 28015 24211 0 -1 4202560 1336 0 0 0 21 0 0 0 16 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=13627832 CPUtime=0.23 cores=0,2,4,6
/proc/28015/task/28022/stat : 28022 (java) S 28013 28015 24211 0 -1 4202560 4129 0 0 0 23 0 0 0 16 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 4 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=13627832 CPUtime=0.24 cores=0,2,4,6
/proc/28015/task/28023/stat : 28023 (java) S 28013 28015 24211 0 -1 4202560 1824 0 0 0 24 0 0 0 15 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=13627832 CPUtime=0.34 cores=0,2,4,6
/proc/28015/task/28024/stat : 28024 (java) S 28013 28015 24211 0 -1 4202560 5491 0 0 0 34 0 0 0 15 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=13627832 CPUtime=0.29 cores=0,2,4,6
/proc/28015/task/28025/stat : 28025 (java) S 28013 28015 24211 0 -1 4202560 1847 0 0 0 29 0 0 0 16 0 19 0 825186162 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=13627832 CPUtime=7.04 cores=0,2,4,6
/proc/28015/task/28026/stat : 28026 (java) S 28013 28015 24211 0 -1 4202560 11904 0 0 0 703 1 0 0 15 0 19 0 825186163 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28027/stat : 28027 (java) S 28013 28015 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28028/stat : 28028 (java) S 28013 28015 24211 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825186164 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28029/stat : 28029 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=13627832 CPUtime=0.56 cores=0,2,4,6
/proc/28015/task/28030/stat : 28030 (java) S 28013 28015 24211 0 -1 4202560 2550 0 0 0 56 0 0 0 15 0 19 0 825186166 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=28015/tid=28031] ppid=28013 vsize=13627832 CPUtime=0.38 cores=0,2,4,6
/proc/28015/task/28031/stat : 28031 (java) S 28013 28015 24211 0 -1 4202560 2866 0 0 0 38 0 0 0 15 0 19 0 825186166 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28032/stat : 28032 (java) S 28013 28015 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825186166 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28033] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28033/stat : 28033 (java) S 28013 28015 24211 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825186166 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=28015/tid=28034] ppid=28013 vsize=13627832 CPUtime=0 cores=0,2,4,6
/proc/28015/task/28034/stat : 28034 (java) S 28013 28015 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 825186285 13954899968 162587 33554432000 1073741824 1073778376 140736155896880 18446744073709551615 268284505600 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13627832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.79
CPU time (s): 1800.15
CPU user time (s): 1799.86
CPU system time (s): 0.286956
CPU usage (%): 100.131
Max. virtual memory (cumulated for all children) (KiB): 13628840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165805
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39620
involuntary context switches= 7746
runsolver used 10.9113 second user time and 23.4534 second system time
The end