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-3455739-1307228437/watcher-3455739-1307228437 -o /tmp/evaluation-result-3455739-1307228437/solver-3455739-1307228437 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455739-1307228437.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.08 2.03 2.01 2/447 8025
/proc/meminfo: memFree=25059252/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 2678 0 1 0 0 0 0 0 25 0 2 0 834444113 10681323520 2380 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2607745 2393 906 9 0 2598901 0
[pid=8025/tid=8026] ppid=8023 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 3459 0 1 0 0 0 0 0 25 0 2 0 834444114 10694979584 4276 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.068613 s]
/proc/loadavg: 2.08 2.03 2.01 2/447 8025
/proc/meminfo: memFree=25059252/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10538212 CPUtime=0.05 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 11746 0 1 0 4 1 0 0 25 0 18 0 834444113 10791129088 11443 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2634553 11444 1742 9 0 2625287 0
[pid=8025/tid=8026] ppid=8023 vsize=10538212 CPUtime=0.05 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 10572 0 1 0 4 1 0 0 22 0 18 0 834444114 10791129088 11444 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46937768914424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538212
[startup+0.10665 s]
/proc/loadavg: 2.08 2.03 2.01 2/447 8025
/proc/meminfo: memFree=25059252/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10539708 CPUtime=0.1 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 13058 0 1 0 9 1 0 0 25 0 18 0 834444113 10792660992 12755 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2634927 12756 2092 9 0 2625661 0
[pid=8025/tid=8026] ppid=8023 vsize=10539708 CPUtime=0.08 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 11164 0 1 0 7 1 0 0 22 0 18 0 834444114 10792660992 12756 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46937768913747 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539708
[startup+0.30059 s]
/proc/loadavg: 2.08 2.03 2.01 2/447 8025
/proc/meminfo: memFree=25059252/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10542148 CPUtime=0.46 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 16000 0 1 0 44 2 0 0 25 0 18 0 834444113 10795159552 15416 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2635537 15417 2200 9 0 2626271 0
[pid=8025/tid=8026] ppid=8023 vsize=10542148 CPUtime=0.28 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 12946 0 1 0 26 2 0 0 18 0 18 0 834444114 10795159552 15417 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46912505543853 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542148
[startup+0.700536 s]
/proc/loadavg: 2.08 2.03 2.01 2/447 8025
/proc/meminfo: memFree=25059252/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10546084 CPUtime=1.2 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 51740 0 1 0 113 7 0 0 25 0 19 0 834444113 10799190016 49156 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2636521 49157 2221 9 0 2627255 0
[pid=8025/tid=8026] ppid=8023 vsize=10546084 CPUtime=0.68 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 45262 0 1 0 62 6 0 0 19 0 19 0 834444114 10799190016 49157 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46937765276196 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10546084
[startup+1.50138 s]
/proc/loadavg: 2.08 2.03 2.01 5/466 8044
/proc/meminfo: memFree=24857312/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10559268 CPUtime=3.11 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 88937 0 1 0 300 11 0 0 25 0 19 0 834444113 10812690432 83159 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2639817 83164 2239 9 0 2630551 0
[pid=8025/tid=8026] ppid=8023 vsize=10559268 CPUtime=1.47 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 74037 0 1 0 139 8 0 0 18 0 19 0 834444114 10812690432 83166 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46912505931141 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8025/tid=8028] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8028/stat : 8028 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83169 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8029] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8029/stat : 8029 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83172 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8030] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8030/stat : 8030 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83174 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8031] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8031/stat : 8031 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83176 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8032] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8032/stat : 8032 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83178 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8033] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8033/stat : 8033 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83180 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8034] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8034/stat : 8034 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83181 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8035] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8035/stat : 8035 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 83182 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8036] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8036/stat : 8036 (java) S 8023 8025 6563 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 834444117 10812690432 83182 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 0 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8037] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8037/stat : 8037 (java) S 8023 8025 6563 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834444117 10812690432 83184 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8038] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8038/stat : 8038 (java) S 8023 8025 6563 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834444117 10812690432 83185 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8039] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8039/stat : 8039 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834444119 10812690432 83187 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458768817 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8040] ppid=8023 vsize=10559268 CPUtime=0.78 cores=0,2,4,6
/proc/8025/task/8040/stat : 8040 (java) S 8023 8025 6563 0 -1 4202560 6549 0 0 0 77 1 0 0 16 0 19 0 834444119 10812690432 83189 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8041] ppid=8023 vsize=10559268 CPUtime=0.83 cores=0,2,4,6
/proc/8025/task/8041/stat : 8041 (java) S 8023 8025 6563 0 -1 4202560 7196 0 0 0 83 0 0 0 16 0 19 0 834444119 10812690432 83191 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8042] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8042/stat : 8042 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834444119 10812690432 83193 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8043] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8043/stat : 8043 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834444119 10812690432 83195 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8044] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8044/stat : 8044 (java) S 8023 8025 6563 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834444183 10812690432 83198 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 10559268
[startup+3.10108 s]
/proc/loadavg: 2.07 2.03 2.01 3/466 8044
/proc/meminfo: memFree=24551404/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10559268 CPUtime=4.81 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 214391 0 1 0 456 25 0 0 25 0 19 0 834444113 10812690432 208613 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2639817 208616 2239 9 0 2630551 0
[pid=8025/tid=8026] ppid=8023 vsize=10559268 CPUtime=3.07 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 199480 0 1 0 285 22 0 0 19 0 19 0 834444114 10812690432 208617 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46912505848669 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8025/tid=8028] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8028/stat : 8028 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208619 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8029] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8029/stat : 8029 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208620 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8030] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8030/stat : 8030 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208622 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8031] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8031/stat : 8031 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208623 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8032] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8032/stat : 8032 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208625 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8033] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8033/stat : 8033 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208627 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8034] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8034/stat : 8034 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208629 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8035] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8035/stat : 8035 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10812690432 208630 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8036] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8036/stat : 8036 (java) S 8023 8025 6563 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 834444117 10812690432 208632 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 0 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8037] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8037/stat : 8037 (java) S 8023 8025 6563 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834444117 10812690432 208633 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8038] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8038/stat : 8038 (java) S 8023 8025 6563 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834444117 10812690432 208635 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8039] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8039/stat : 8039 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834444119 10812690432 208637 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458768817 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8040] ppid=8023 vsize=10559268 CPUtime=0.79 cores=0,2,4,6
/proc/8025/task/8040/stat : 8040 (java) S 8023 8025 6563 0 -1 4202560 6549 0 0 0 78 1 0 0 15 0 19 0 834444119 10812690432 208639 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8041] ppid=8023 vsize=10559268 CPUtime=0.92 cores=0,2,4,6
/proc/8025/task/8041/stat : 8041 (java) S 8023 8025 6563 0 -1 4202560 7204 0 0 0 92 0 0 0 15 0 19 0 834444119 10812690432 208641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8042] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8042/stat : 8042 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834444119 10812690432 208643 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8043] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8043/stat : 8043 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834444119 10812690432 208644 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8044] ppid=8023 vsize=10559268 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8044/stat : 8044 (java) S 8023 8025 6563 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834444183 10812690432 208645 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 10559268
[startup+6.30148 s]
/proc/loadavg: 2.07 2.03 2.01 3/466 8044
/proc/meminfo: memFree=23506952/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10556308 CPUtime=8.05 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 466486 0 1 0 752 53 0 0 25 0 19 0 834444113 10809659392 460164 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2639077 460168 2242 9 0 2629811 0
[pid=8025/tid=8026] ppid=8023 vsize=10556308 CPUtime=6.27 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 451567 0 1 0 577 50 0 0 18 0 19 0 834444114 10809659392 460170 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46912505862470 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8025/tid=8028] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8028/stat : 8028 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460172 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8029] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8029/stat : 8029 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460175 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8030] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8030/stat : 8030 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460177 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8031] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8031/stat : 8031 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460179 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8032] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8032/stat : 8032 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460181 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8033] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8033/stat : 8033 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460183 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8034] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8034/stat : 8034 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460186 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8035] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8035/stat : 8035 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834444116 10809659392 460188 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8036] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8036/stat : 8036 (java) S 8023 8025 6563 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 834444117 10809659392 460190 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 0 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8037] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8037/stat : 8037 (java) S 8023 8025 6563 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834444117 10809659392 460193 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8038] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8038/stat : 8038 (java) S 8023 8025 6563 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834444117 10809659392 460195 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8039] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8039/stat : 8039 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834444119 10809659392 460197 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458768817 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8040] ppid=8023 vsize=10556308 CPUtime=0.83 cores=0,2,4,6
/proc/8025/task/8040/stat : 8040 (java) S 8023 8025 6563 0 -1 4202560 6559 0 0 0 82 1 0 0 15 0 19 0 834444119 10809659392 460199 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8041] ppid=8023 vsize=10556308 CPUtime=0.92 cores=0,2,4,6
/proc/8025/task/8041/stat : 8041 (java) S 8023 8025 6563 0 -1 4202560 7204 0 0 0 92 0 0 0 15 0 19 0 834444119 10809659392 460202 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/8025/task/8037/stat : 8037 (java) S 8023 8025 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8038] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8038/stat : 8038 (java) S 8023 8025 6563 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8039] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8039/stat : 8039 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834444119 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458768817 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8040] ppid=8023 vsize=10556308 CPUtime=0.9 cores=0,2,4,6
/proc/8025/task/8040/stat : 8040 (java) S 8023 8025 6563 0 -1 4202560 6569 0 0 0 89 1 0 0 15 0 19 0 834444119 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8041] ppid=8023 vsize=10556308 CPUtime=0.99 cores=0,2,4,6
/proc/8025/task/8041/stat : 8041 (java) S 8023 8025 6563 0 -1 4202560 7213 0 0 0 99 0 0 0 15 0 19 0 834444119 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8042] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8042/stat : 8042 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834444119 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8043] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8043/stat : 8043 (java) S 8023 8025 6563 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 834444119 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8044] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8044/stat : 8044 (java) S 8023 8025 6563 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834444183 10809659392 950641 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1666.89
Current children cumulated vsize (KiB) 10556308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/466 8150
/proc/meminfo: memFree=21321112/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10556308 CPUtime=1726.93 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 964448 0 1 0 172583 110 0 0 25 0 19 0 834444113 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2639077 954785 2268 9 0 2629811 0
[pid=8025/tid=8026] ppid=8023 vsize=10556308 CPUtime=1720.46 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 816123 0 1 0 171959 87 0 0 25 0 19 0 834444114 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46912506001616 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8025/tid=8028] ppid=8023 vsize=10556308 CPUtime=0.47 cores=0,2,4,6
/proc/8025/task/8028/stat : 8028 (java) S 8023 8025 6563 0 -1 4202560 16156 0 0 0 45 2 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8029] ppid=8023 vsize=10556308 CPUtime=0.52 cores=0,2,4,6
/proc/8025/task/8029/stat : 8029 (java) S 8023 8025 6563 0 -1 4202560 15483 0 0 0 50 2 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8030] ppid=8023 vsize=10556308 CPUtime=0.5 cores=0,2,4,6
/proc/8025/task/8030/stat : 8030 (java) S 8023 8025 6563 0 -1 4202560 15666 0 0 0 48 2 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8031] ppid=8023 vsize=10556308 CPUtime=0.63 cores=0,2,4,6
/proc/8025/task/8031/stat : 8031 (java) S 8023 8025 6563 0 -1 4202560 20491 0 0 0 60 3 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8032] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8032/stat : 8032 (java) S 8023 8025 6563 0 -1 4202560 14376 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8033] ppid=8023 vsize=10556308 CPUtime=0.54 cores=0,2,4,6
/proc/8025/task/8033/stat : 8033 (java) S 8023 8025 6563 0 -1 4202560 20730 0 0 0 51 3 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8034] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8034/stat : 8034 (java) S 8023 8025 6563 0 -1 4202560 10439 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8035] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8035/stat : 8035 (java) S 8023 8025 6563 0 -1 4202560 14841 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8036] ppid=8023 vsize=10556308 CPUtime=0.46 cores=0,2,4,6
/proc/8025/task/8036/stat : 8036 (java) S 8023 8025 6563 0 -1 4202560 5110 0 0 0 45 1 0 0 15 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 0 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8037] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8037/stat : 8037 (java) S 8023 8025 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8038] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8038/stat : 8038 (java) S 8023 8025 6563 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8039] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8039/stat : 8039 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458768817 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8040] ppid=8023 vsize=10556308 CPUtime=0.9 cores=0,2,4,6
/proc/8025/task/8040/stat : 8040 (java) S 8023 8025 6563 0 -1 4202560 6569 0 0 0 89 1 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8041] ppid=8023 vsize=10556308 CPUtime=0.99 cores=0,2,4,6
/proc/8025/task/8041/stat : 8041 (java) S 8023 8025 6563 0 -1 4202560 7213 0 0 0 99 0 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8042] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8042/stat : 8042 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8043] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8043/stat : 8043 (java) S 8023 8025 6563 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8044] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8044/stat : 8044 (java) S 8023 8025 6563 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834444183 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.93
Current children cumulated vsize (KiB) 10556308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/466 8152
/proc/meminfo: memFree=21317388/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10556308 CPUtime=1786.93 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 964452 0 1 0 178583 110 0 0 25 0 19 0 834444113 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2639077 954785 2268 9 0 2629811 0
[pid=8025/tid=8026] ppid=8023 vsize=10556308 CPUtime=1780.47 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 816123 0 1 0 177960 87 0 0 25 0 19 0 834444114 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46912506001709 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8025/tid=8028] ppid=8023 vsize=10556308 CPUtime=0.47 cores=0,2,4,6
/proc/8025/task/8028/stat : 8028 (java) S 8023 8025 6563 0 -1 4202560 16156 0 0 0 45 2 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8029] ppid=8023 vsize=10556308 CPUtime=0.52 cores=0,2,4,6
/proc/8025/task/8029/stat : 8029 (java) S 8023 8025 6563 0 -1 4202560 15483 0 0 0 50 2 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8030] ppid=8023 vsize=10556308 CPUtime=0.5 cores=0,2,4,6
/proc/8025/task/8030/stat : 8030 (java) S 8023 8025 6563 0 -1 4202560 15666 0 0 0 48 2 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8031] ppid=8023 vsize=10556308 CPUtime=0.63 cores=0,2,4,6
/proc/8025/task/8031/stat : 8031 (java) S 8023 8025 6563 0 -1 4202560 20491 0 0 0 60 3 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8032] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8032/stat : 8032 (java) S 8023 8025 6563 0 -1 4202560 14376 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8033] ppid=8023 vsize=10556308 CPUtime=0.54 cores=0,2,4,6
/proc/8025/task/8033/stat : 8033 (java) S 8023 8025 6563 0 -1 4202560 20730 0 0 0 51 3 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8034] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8034/stat : 8034 (java) S 8023 8025 6563 0 -1 4202560 10439 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8035] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8035/stat : 8035 (java) S 8023 8025 6563 0 -1 4202560 14841 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8036] ppid=8023 vsize=10556308 CPUtime=0.46 cores=0,2,4,6
/proc/8025/task/8036/stat : 8036 (java) S 8023 8025 6563 0 -1 4202560 5110 0 0 0 45 1 0 0 15 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 0 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8037] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8037/stat : 8037 (java) S 8023 8025 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8038] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8038/stat : 8038 (java) S 8023 8025 6563 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8039] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8039/stat : 8039 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458768817 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8040] ppid=8023 vsize=10556308 CPUtime=0.9 cores=0,2,4,6
/proc/8025/task/8040/stat : 8040 (java) S 8023 8025 6563 0 -1 4202560 6569 0 0 0 89 1 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8041] ppid=8023 vsize=10556308 CPUtime=0.99 cores=0,2,4,6
/proc/8025/task/8041/stat : 8041 (java) S 8023 8025 6563 0 -1 4202560 7213 0 0 0 99 0 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8042] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8042/stat : 8042 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8043] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8043/stat : 8043 (java) S 8023 8025 6563 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8044] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8044/stat : 8044 (java) S 8023 8025 6563 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834444183 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1786.93
Current children cumulated vsize (KiB) 10556308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/466 8152
/proc/meminfo: memFree=21311932/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=10556308 CPUtime=1800.04 cores=0,2,4,6
/proc/8025/stat : 8025 (java) S 8023 8025 6563 0 -1 4202496 964452 0 1 0 179894 110 0 0 25 0 19 0 834444113 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 2639077 954785 2268 9 0 2629811 0
[pid=8025/tid=8026] ppid=8023 vsize=10556308 CPUtime=1793.58 cores=0,2,4,6
/proc/8025/task/8026/stat : 8026 (java) R 8023 8025 6563 0 -1 4202560 816123 0 1 0 179271 87 0 0 25 0 19 0 834444114 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 46912506346504 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8025/tid=8028] ppid=8023 vsize=10556308 CPUtime=0.47 cores=0,2,4,6
/proc/8025/task/8028/stat : 8028 (java) S 8023 8025 6563 0 -1 4202560 16156 0 0 0 45 2 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8029] ppid=8023 vsize=10556308 CPUtime=0.52 cores=0,2,4,6
/proc/8025/task/8029/stat : 8029 (java) S 8023 8025 6563 0 -1 4202560 15483 0 0 0 50 2 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8030] ppid=8023 vsize=10556308 CPUtime=0.5 cores=0,2,4,6
/proc/8025/task/8030/stat : 8030 (java) S 8023 8025 6563 0 -1 4202560 15666 0 0 0 48 2 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8031] ppid=8023 vsize=10556308 CPUtime=0.63 cores=0,2,4,6
/proc/8025/task/8031/stat : 8031 (java) S 8023 8025 6563 0 -1 4202560 20491 0 0 0 60 3 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8032] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8032/stat : 8032 (java) S 8023 8025 6563 0 -1 4202560 14376 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8033] ppid=8023 vsize=10556308 CPUtime=0.54 cores=0,2,4,6
/proc/8025/task/8033/stat : 8033 (java) S 8023 8025 6563 0 -1 4202560 20730 0 0 0 51 3 0 0 16 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8034] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8034/stat : 8034 (java) S 8023 8025 6563 0 -1 4202560 10439 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8035] ppid=8023 vsize=10556308 CPUtime=0.44 cores=0,2,4,6
/proc/8025/task/8035/stat : 8035 (java) S 8023 8025 6563 0 -1 4202560 14841 0 0 0 43 1 0 0 15 0 19 0 834444116 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8036] ppid=8023 vsize=10556308 CPUtime=0.46 cores=0,2,4,6
/proc/8025/task/8036/stat : 8036 (java) S 8023 8025 6563 0 -1 4202560 5110 0 0 0 45 1 0 0 15 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 0 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8037] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8037/stat : 8037 (java) S 8023 8025 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8038] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8038/stat : 8038 (java) S 8023 8025 6563 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834444117 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8039] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8039/stat : 8039 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458768817 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8040] ppid=8023 vsize=10556308 CPUtime=0.9 cores=0,2,4,6
/proc/8025/task/8040/stat : 8040 (java) S 8023 8025 6563 0 -1 4202560 6569 0 0 0 89 1 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 6 0 0 0
[pid=8025/tid=8041] ppid=8023 vsize=10556308 CPUtime=0.99 cores=0,2,4,6
/proc/8025/task/8041/stat : 8041 (java) S 8023 8025 6563 0 -1 4202560 7213 0 0 0 99 0 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
[pid=8025/tid=8042] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8042/stat : 8042 (java) S 8023 8025 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761113 0 4 0 16800975 18446604442009866432 0 0 -1 4 0 0 0
[pid=8025/tid=8043] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8043/stat : 8043 (java) S 8023 8025 6563 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834444119 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 2 0 0 0
[pid=8025/tid=8044] ppid=8023 vsize=10556308 CPUtime=0 cores=0,2,4,6
/proc/8025/task/8044/stat : 8044 (java) S 8023 8025 6563 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834444183 10809659392 954785 33554432000 1073741824 1073778376 140734048169216 18446744073709551615 244458761728 0 4 0 16800975 18446604442009866432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10556308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/466 8152
/proc/meminfo: memFree=21311932/32951124 swapFree=43324008/67111528
[pid=8025] ppid=8023 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/8025/stat : 8025 (java) Z 8023 8025 6563 0 -1 4203548 964485 0 1 0 179906 125 0 0 17 0 2 0 834444113 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8025/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.61
CPU time (s): 1800.33
CPU user time (s): 1799.07
CPU system time (s): 1.26181
CPU usage (%): 100.263
Max. virtual memory (cumulated for all children) (KiB): 10559268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.26181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 964485
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= 39092
involuntary context switches= 24072
runsolver used 8.50171 second user time and 17.1094 second system time
The end