runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311876-1304079436/watcher-3311876-1304079436 -o /tmp/evaluation-result-3311876-1304079436/solver-3311876-1304079436 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311876-1304079436.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.82 8.16 7.96 5/202 5071
/proc/meminfo: memFree=14616316/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=256 CPUtime=0 cores=1,3,5,7
/proc/5071/stat : 5071 (java) R 5069 5071 4914 0 -1 4194304 526 0 0 0 0 0 0 0 25 0 1 0 519541519 262144 32 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255372377735 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5071/statm: 64 32 24 9 0 23 0
[startup+0.0631199 s]
/proc/loadavg: 7.82 8.16 7.96 5/202 5071
/proc/meminfo: memFree=14616316/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15609648 CPUtime=0.04 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 4149 0 1 0 4 0 0 0 25 0 18 0 519541519 15984279552 3589 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3902412 3589 1755 9 0 3893131 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609648
[startup+0.101117 s]
/proc/loadavg: 7.82 8.16 7.96 5/202 5071
/proc/meminfo: memFree=14616316/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15676292 CPUtime=0.1 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 5485 0 1 0 9 1 0 0 25 0 18 0 519541519 16052523008 4910 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3919073 4911 2116 9 0 3909792 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676292
[startup+0.301906 s]
/proc/loadavg: 7.82 8.16 7.96 5/202 5071
/proc/meminfo: memFree=14616316/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15681188 CPUtime=0.5 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 13889 0 1 0 48 2 0 0 25 0 18 0 519541519 16057536512 12154 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3920297 12158 2207 9 0 3911016 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15681188
[startup+0.702664 s]
/proc/loadavg: 7.82 8.16 7.96 5/202 5071
/proc/meminfo: memFree=14616316/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15685152 CPUtime=0.94 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 41980 0 1 0 89 5 0 0 25 0 22 0 519541519 16061595648 40205 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3921288 40205 2234 9 0 3912007 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15685152
[startup+1.50084 s]
/proc/loadavg: 7.82 8.16 7.96 6/205 5096
/proc/meminfo: memFree=18934284/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15691960 CPUtime=2.82 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 58459 0 1 0 274 8 0 0 25 0 22 0 519541519 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3922990 48714 2261 9 0 3913709 0
[pid=5071/tid=5073] ppid=5069 vsize=15691960 CPUtime=1.47 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (java) R 5069 5071 4914 0 -1 4202560 35638 0 1 0 142 5 0 0 18 0 22 0 519541520 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5071/tid=5074] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (java) S 5069 5071 4914 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5075] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5075/stat : 5075 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5076] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5076/stat : 5076 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5077] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5077/stat : 5077 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5078] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5078/stat : 5078 (java) S 5069 5071 4914 0 -1 4202560 644 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5079] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5079/stat : 5079 (java) S 5069 5071 4914 0 -1 4202560 350 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5080] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5080/stat : 5080 (java) S 5069 5071 4914 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5081] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5081/stat : 5081 (java) S 5069 5071 4914 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 22 0 519541521 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5082] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5082/stat : 5082 (java) S 5069 5071 4914 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519541522 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 0 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5083] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5083/stat : 5083 (java) S 5069 5071 4914 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519541523 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5084] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5084/stat : 5084 (java) S 5069 5071 4914 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519541523 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5085] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5085/stat : 5085 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389125041 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5086] ppid=5069 vsize=15691960 CPUtime=0.48 cores=1,3,5,7
/proc/5071/task/5086/stat : 5086 (java) R 5069 5071 4914 0 -1 4202560 3812 0 0 0 48 0 0 0 18 0 22 0 519541525 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 47596260177434 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5071/tid=5087] ppid=5069 vsize=15691960 CPUtime=0.84 cores=1,3,5,7
/proc/5071/task/5087/stat : 5087 (java) R 5069 5071 4914 0 -1 4202560 16457 0 0 0 83 1 0 0 16 0 22 0 519541525 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 47596257481783 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5071/tid=5088] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5088/stat : 5088 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5089] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5089/stat : 5089 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519541525 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5090] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5090/stat : 5090 (java) S 5069 5071 4914 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 519541587 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5091] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5091/stat : 5091 (java) S 5069 5071 4914 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 519541587 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5092] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5092/stat : 5092 (java) S 5069 5071 4914 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 519541587 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5093] ppid=5069 vsize=15691960 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5093/stat : 5093 (java) S 5069 5071 4914 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519541587 16068567040 48714 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 15691960
[startup+3.10152 s]
/proc/loadavg: 7.82 8.16 7.96 6/201 5096
/proc/meminfo: memFree=29513076/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15690716 CPUtime=8.61 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 99646 0 1 0 848 13 0 0 25 0 22 0 519541519 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3922679 86738 2286 9 0 3913398 0
[pid=5071/tid=5073] ppid=5069 vsize=15690716 CPUtime=1.64 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (java) S 5069 5071 4914 0 -1 4202560 35666 0 1 0 159 5 0 0 18 0 22 0 519541520 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5074] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (java) S 5069 5071 4914 0 -1 4202560 1531 0 0 0 0 0 0 0 15 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5075] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5075/stat : 5075 (java) S 5069 5071 4914 0 -1 4202560 3809 0 0 0 0 0 0 0 16 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5076] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5076/stat : 5076 (java) S 5069 5071 4914 0 -1 4202560 1486 0 0 0 0 0 0 0 16 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5077] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5077/stat : 5077 (java) S 5069 5071 4914 0 -1 4202560 880 0 0 0 0 0 0 0 16 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5078] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5078/stat : 5078 (java) S 5069 5071 4914 0 -1 4202560 3444 0 0 0 0 0 0 0 15 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5079] ppid=5069 vsize=15690716 CPUtime=0.01 cores=1,3,5,7
/proc/5071/task/5079/stat : 5079 (java) S 5069 5071 4914 0 -1 4202560 1998 0 0 0 1 0 0 0 15 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5080] ppid=5069 vsize=15690716 CPUtime=0.01 cores=1,3,5,7
/proc/5071/task/5080/stat : 5080 (java) S 5069 5071 4914 0 -1 4202560 1558 0 0 0 1 0 0 0 15 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5081] ppid=5069 vsize=15690716 CPUtime=0.01 cores=1,3,5,7
/proc/5071/task/5081/stat : 5081 (java) S 5069 5071 4914 0 -1 4202560 1498 0 0 0 1 0 0 0 16 0 22 0 519541521 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5082] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5082/stat : 5082 (java) S 5069 5071 4914 0 -1 4202560 202 0 0 0 0 0 0 0 16 0 22 0 519541522 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 0 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5083] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5083/stat : 5083 (java) S 5069 5071 4914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519541523 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5084] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5084/stat : 5084 (java) S 5069 5071 4914 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519541523 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5085] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5085/stat : 5085 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389125041 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5086] ppid=5069 vsize=15690716 CPUtime=1.14 cores=1,3,5,7
/proc/5071/task/5086/stat : 5086 (java) S 5069 5071 4914 0 -1 4202560 4269 0 0 0 114 0 0 0 15 0 22 0 519541525 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5087] ppid=5069 vsize=15690716 CPUtime=1.7 cores=1,3,5,7
/proc/5071/task/5087/stat : 5087 (java) S 5069 5071 4914 0 -1 4202560 18602 0 0 0 168 2 0 0 15 0 22 0 519541525 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5088] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5088/stat : 5088 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5089] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5089/stat : 5089 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519541525 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5090] ppid=5069 vsize=15690716 CPUtime=1 cores=1,3,5,7
/proc/5071/task/5090/stat : 5090 (java) R 5069 5071 4914 0 -1 4202560 6169 0 0 0 100 0 0 0 16 0 22 0 519541587 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5071/tid=5091] ppid=5069 vsize=15690716 CPUtime=1.13 cores=1,3,5,7
/proc/5071/task/5091/stat : 5091 (java) R 5069 5071 4914 0 -1 4202560 5830 0 0 0 113 0 0 0 16 0 22 0 519541587 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912506458219 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5071/tid=5092] ppid=5069 vsize=15690716 CPUtime=0.97 cores=1,3,5,7
/proc/5071/task/5092/stat : 5092 (java) R 5069 5071 4914 0 -1 4202560 5105 0 0 0 97 0 0 0 16 0 22 0 519541587 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 47596260450763 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5071/tid=5093] ppid=5069 vsize=15690716 CPUtime=0.85 cores=1,3,5,7
/proc/5071/task/5093/stat : 5093 (java) R 5069 5071 4914 0 -1 4202560 6214 0 0 0 85 0 0 0 16 0 22 0 519541587 16067293184 86738 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505942624 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 15690716
[startup+6.30092 s]
/proc/loadavg: 7.67 8.12 7.95 6/224 5144
/proc/meminfo: memFree=28656672/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15690716 CPUtime=21.37 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 236602 0 1 0 2106 31 0 0 25 0 22 0 519541519 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3922679 223019 2289 9 0 3913398 0
[pid=5071/tid=5073] ppid=5069 vsize=15690716 CPUtime=1.64 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (java) S 5069 5071 4914 0 -1 4202560 35666 0 1 0 159 5 0 0 18 0 22 0 519541520 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5074] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (java) S 5069 5071 4914 0 -1 4202560 1887 0 0 0 0 0 0 0 15 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5075] ppid=5069 vsize=15690716 CPUtime=0.01 cores=1,3,5,7
/proc/5071/task/5075/stat : 5075 (java) S 5069 5071 4914 0 -1 4202560 4963 0 0 0 1 0 0 0 15 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5076] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5076/stat : 5076 (java) S 5069 5071 4914 0 -1 4202560 2601 0 0 0 0 0 0 0 15 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5077] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5077/stat : 5077 (java) S 5069 5071 4914 0 -1 4202560 2128 0 0 0 0 0 0 0 16 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5078] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5078/stat : 5078 (java) S 5069 5071 4914 0 -1 4202560 4344 0 0 0 0 0 0 0 15 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5079] ppid=5069 vsize=15690716 CPUtime=0.01 cores=1,3,5,7
/proc/5071/task/5079/stat : 5079 (java) S 5069 5071 4914 0 -1 4202560 2273 0 0 0 1 0 0 0 15 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5080] ppid=5069 vsize=15690716 CPUtime=0.01 cores=1,3,5,7
/proc/5071/task/5080/stat : 5080 (java) S 5069 5071 4914 0 -1 4202560 1807 0 0 0 1 0 0 0 15 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5081] ppid=5069 vsize=15690716 CPUtime=0.01 cores=1,3,5,7
/proc/5071/task/5081/stat : 5081 (java) S 5069 5071 4914 0 -1 4202560 1642 0 0 0 1 0 0 0 15 0 22 0 519541521 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5082] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5082/stat : 5082 (java) S 5069 5071 4914 0 -1 4202560 352 0 0 0 0 0 0 0 15 0 22 0 519541522 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 0 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5083] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5083/stat : 5083 (java) S 5069 5071 4914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519541523 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5084] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5084/stat : 5084 (java) S 5069 5071 4914 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519541523 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5085] ppid=5069 vsize=15690716 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5085/stat : 5085 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389125041 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5086] ppid=5069 vsize=15690716 CPUtime=1.25 cores=1,3,5,7
/proc/5071/task/5086/stat : 5086 (java) S 5069 5071 4914 0 -1 4202560 4272 0 0 0 125 0 0 0 15 0 22 0 519541525 16067293184 223019 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=5071/tid=5091] ppid=5069 vsize=15756252 CPUtime=1107.28 cores=1,3,5,7
/proc/5071/task/5091/stat : 5091 (java) R 5069 5071 4914 0 -1 4202560 199730 0 0 0 110693 35 0 0 25 0 22 0 519541587 16134402048 92045 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5071/tid=5092] ppid=5069 vsize=15756252 CPUtime=1107.07 cores=1,3,5,7
/proc/5071/task/5092/stat : 5092 (java) R 5069 5071 4914 0 -1 4202560 196849 0 0 0 110669 38 0 0 25 0 22 0 519541587 16134402048 92045 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912506106561 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5071/tid=5093] ppid=5069 vsize=15756252 CPUtime=1106.9 cores=1,3,5,7
/proc/5071/task/5093/stat : 5093 (java) R 5069 5071 4914 0 -1 4202560 200845 0 0 0 110650 40 0 0 25 0 22 0 519541587 16134402048 92045 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912506530446 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4459.74
Current children cumulated vsize (KiB) 15756252
[startup+1182.3 s]
/proc/loadavg: 8.10 8.12 8.07 9/224 5176
/proc/meminfo: memFree=28711084/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15756252 CPUtime=4698.29 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 1458874 0 1 0 469444 385 0 0 25 0 22 0 519541519 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3939063 85551 2300 9 0 3929782 0
[pid=5071/tid=5073] ppid=5069 vsize=15756252 CPUtime=1.64 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (java) S 5069 5071 4914 0 -1 4202560 35666 0 1 0 159 5 0 0 18 0 22 0 519541520 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5074] ppid=5069 vsize=15756252 CPUtime=3.32 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (java) S 5069 5071 4914 0 -1 4202560 70571 0 0 0 313 19 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5075] ppid=5069 vsize=15756252 CPUtime=3.33 cores=1,3,5,7
/proc/5071/task/5075/stat : 5075 (java) S 5069 5071 4914 0 -1 4202560 70976 0 0 0 315 18 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5076] ppid=5069 vsize=15756252 CPUtime=3.23 cores=1,3,5,7
/proc/5071/task/5076/stat : 5076 (java) S 5069 5071 4914 0 -1 4202560 71523 0 0 0 305 18 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5077] ppid=5069 vsize=15756252 CPUtime=3.19 cores=1,3,5,7
/proc/5071/task/5077/stat : 5077 (java) S 5069 5071 4914 0 -1 4202560 69249 0 0 0 302 17 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5078] ppid=5069 vsize=15756252 CPUtime=3.27 cores=1,3,5,7
/proc/5071/task/5078/stat : 5078 (java) S 5069 5071 4914 0 -1 4202560 70439 0 0 0 310 17 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5079] ppid=5069 vsize=15756252 CPUtime=3.31 cores=1,3,5,7
/proc/5071/task/5079/stat : 5079 (java) S 5069 5071 4914 0 -1 4202560 71148 0 0 0 314 17 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5080] ppid=5069 vsize=15756252 CPUtime=3.33 cores=1,3,5,7
/proc/5071/task/5080/stat : 5080 (java) S 5069 5071 4914 0 -1 4202560 70897 0 0 0 316 17 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5081] ppid=5069 vsize=15756252 CPUtime=3.24 cores=1,3,5,7
/proc/5071/task/5081/stat : 5081 (java) S 5069 5071 4914 0 -1 4202560 68397 0 0 0 302 22 0 0 15 0 22 0 519541521 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5082] ppid=5069 vsize=15756252 CPUtime=2.16 cores=1,3,5,7
/proc/5071/task/5082/stat : 5082 (java) S 5069 5071 4914 0 -1 4202560 3865 0 0 0 149 67 0 0 15 0 22 0 519541522 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 0 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5083] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5083/stat : 5083 (java) S 5069 5071 4914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519541523 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5084] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5084/stat : 5084 (java) S 5069 5071 4914 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519541523 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5085] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5085/stat : 5085 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389125041 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5086] ppid=5069 vsize=15756252 CPUtime=1.36 cores=1,3,5,7
/proc/5071/task/5086/stat : 5086 (java) S 5069 5071 4914 0 -1 4202560 4276 0 0 0 136 0 0 0 15 0 22 0 519541525 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5087] ppid=5069 vsize=15756252 CPUtime=1.85 cores=1,3,5,7
/proc/5071/task/5087/stat : 5087 (java) S 5069 5071 4914 0 -1 4202560 18605 0 0 0 183 2 0 0 16 0 22 0 519541525 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5088] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5088/stat : 5088 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5089] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5089/stat : 5089 (java) S 5069 5071 4914 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 519541525 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5090] ppid=5069 vsize=15756252 CPUtime=1165.74 cores=1,3,5,7
/proc/5071/task/5090/stat : 5090 (java) R 5069 5071 4914 0 -1 4202560 205945 0 0 0 116536 38 0 0 25 0 22 0 519541587 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912506459230 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5071/tid=5091] ppid=5069 vsize=15756252 CPUtime=1166.61 cores=1,3,5,7
/proc/5071/task/5091/stat : 5091 (java) R 5069 5071 4914 0 -1 4202560 208721 0 0 0 116624 37 0 0 25 0 22 0 519541587 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912506413380 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5071/tid=5092] ppid=5069 vsize=15756252 CPUtime=1166.31 cores=1,3,5,7
/proc/5071/task/5092/stat : 5092 (java) R 5069 5071 4914 0 -1 4202560 206564 0 0 0 116592 39 0 0 25 0 22 0 519541587 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505847848 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5071/tid=5093] ppid=5069 vsize=15756252 CPUtime=1166.22 cores=1,3,5,7
/proc/5071/task/5093/stat : 5093 (java) R 5069 5071 4914 0 -1 4202560 210582 0 0 0 116580 42 0 0 25 0 22 0 519541587 16134402048 85551 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505942755 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4698.29
Current children cumulated vsize (KiB) 15756252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.9 s]
/proc/loadavg: 8.19 8.14 8.08 9/224 5176
/proc/meminfo: memFree=28741196/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15756252 CPUtime=4800.12 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 1497659 0 1 0 479619 393 0 0 25 0 22 0 519541519 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3939063 99169 2300 9 0 3929782 0
[pid=5071/tid=5073] ppid=5069 vsize=15756252 CPUtime=1.64 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (java) S 5069 5071 4914 0 -1 4202560 35666 0 1 0 159 5 0 0 18 0 22 0 519541520 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5074] ppid=5069 vsize=15756252 CPUtime=3.39 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (java) S 5069 5071 4914 0 -1 4202560 71880 0 0 0 319 20 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5075] ppid=5069 vsize=15756252 CPUtime=3.4 cores=1,3,5,7
/proc/5071/task/5075/stat : 5075 (java) S 5069 5071 4914 0 -1 4202560 72195 0 0 0 322 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5076] ppid=5069 vsize=15756252 CPUtime=3.3 cores=1,3,5,7
/proc/5071/task/5076/stat : 5076 (java) S 5069 5071 4914 0 -1 4202560 73167 0 0 0 312 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5077] ppid=5069 vsize=15756252 CPUtime=3.25 cores=1,3,5,7
/proc/5071/task/5077/stat : 5077 (java) S 5069 5071 4914 0 -1 4202560 70821 0 0 0 308 17 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5078] ppid=5069 vsize=15756252 CPUtime=3.35 cores=1,3,5,7
/proc/5071/task/5078/stat : 5078 (java) S 5069 5071 4914 0 -1 4202560 71607 0 0 0 317 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5079] ppid=5069 vsize=15756252 CPUtime=3.38 cores=1,3,5,7
/proc/5071/task/5079/stat : 5079 (java) S 5069 5071 4914 0 -1 4202560 72284 0 0 0 320 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5080] ppid=5069 vsize=15756252 CPUtime=3.42 cores=1,3,5,7
/proc/5071/task/5080/stat : 5080 (java) S 5069 5071 4914 0 -1 4202560 72312 0 0 0 324 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5081] ppid=5069 vsize=15756252 CPUtime=3.32 cores=1,3,5,7
/proc/5071/task/5081/stat : 5081 (java) S 5069 5071 4914 0 -1 4202560 69911 0 0 0 309 23 0 0 16 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5082] ppid=5069 vsize=15756252 CPUtime=2.2 cores=1,3,5,7
/proc/5071/task/5082/stat : 5082 (java) S 5069 5071 4914 0 -1 4202560 3974 0 0 0 152 68 0 0 15 0 22 0 519541522 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 0 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5083] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5083/stat : 5083 (java) S 5069 5071 4914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519541523 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5084] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5084/stat : 5084 (java) S 5069 5071 4914 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519541523 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5085] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5085/stat : 5085 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389125041 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5086] ppid=5069 vsize=15756252 CPUtime=1.36 cores=1,3,5,7
/proc/5071/task/5086/stat : 5086 (java) S 5069 5071 4914 0 -1 4202560 4276 0 0 0 136 0 0 0 15 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5087] ppid=5069 vsize=15756252 CPUtime=1.85 cores=1,3,5,7
/proc/5071/task/5087/stat : 5087 (java) S 5069 5071 4914 0 -1 4202560 18605 0 0 0 183 2 0 0 16 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5088] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5088/stat : 5088 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5089] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5089/stat : 5089 (java) S 5069 5071 4914 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5090] ppid=5069 vsize=15756252 CPUtime=1191.04 cores=1,3,5,7
/proc/5071/task/5090/stat : 5090 (java) R 5069 5071 4914 0 -1 4202560 212873 0 0 0 119065 39 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505814312 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5071/tid=5091] ppid=5069 vsize=15756252 CPUtime=1191.96 cores=1,3,5,7
/proc/5071/task/5091/stat : 5091 (java) R 5069 5071 4914 0 -1 4202560 215546 0 0 0 119158 38 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505875108 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5071/tid=5092] ppid=5069 vsize=15756252 CPUtime=1191.54 cores=1,3,5,7
/proc/5071/task/5092/stat : 5092 (java) R 5069 5071 4914 0 -1 4202560 213748 0 0 0 119114 40 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912506531050 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5071/tid=5093] ppid=5069 vsize=15756252 CPUtime=1191.56 cores=1,3,5,7
/proc/5071/task/5093/stat : 5093 (java) R 5069 5071 4914 0 -1 4202560 217342 0 0 0 119113 43 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505806979 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 15756252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.9 s]
/proc/loadavg: 8.19 8.14 8.08 9/224 5176
/proc/meminfo: memFree=28741196/32951124 swapFree=67111352/67111528
[pid=5071] ppid=5069 vsize=15756252 CPUtime=4800.12 cores=1,3,5,7
/proc/5071/stat : 5071 (java) S 5069 5071 4914 0 -1 4202496 1497659 0 1 0 479619 393 0 0 25 0 22 0 519541519 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5071/statm: 3939063 99169 2300 9 0 3929782 0
[pid=5071/tid=5073] ppid=5069 vsize=15756252 CPUtime=1.64 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (java) S 5069 5071 4914 0 -1 4202560 35666 0 1 0 159 5 0 0 18 0 22 0 519541520 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5074] ppid=5069 vsize=15756252 CPUtime=3.39 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (java) S 5069 5071 4914 0 -1 4202560 71880 0 0 0 319 20 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5075] ppid=5069 vsize=15756252 CPUtime=3.4 cores=1,3,5,7
/proc/5071/task/5075/stat : 5075 (java) S 5069 5071 4914 0 -1 4202560 72195 0 0 0 322 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5076] ppid=5069 vsize=15756252 CPUtime=3.3 cores=1,3,5,7
/proc/5071/task/5076/stat : 5076 (java) S 5069 5071 4914 0 -1 4202560 73167 0 0 0 312 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5077] ppid=5069 vsize=15756252 CPUtime=3.25 cores=1,3,5,7
/proc/5071/task/5077/stat : 5077 (java) S 5069 5071 4914 0 -1 4202560 70821 0 0 0 308 17 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5078] ppid=5069 vsize=15756252 CPUtime=3.35 cores=1,3,5,7
/proc/5071/task/5078/stat : 5078 (java) S 5069 5071 4914 0 -1 4202560 71607 0 0 0 317 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5079] ppid=5069 vsize=15756252 CPUtime=3.38 cores=1,3,5,7
/proc/5071/task/5079/stat : 5079 (java) S 5069 5071 4914 0 -1 4202560 72284 0 0 0 320 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5080] ppid=5069 vsize=15756252 CPUtime=3.42 cores=1,3,5,7
/proc/5071/task/5080/stat : 5080 (java) S 5069 5071 4914 0 -1 4202560 72312 0 0 0 324 18 0 0 15 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5081] ppid=5069 vsize=15756252 CPUtime=3.32 cores=1,3,5,7
/proc/5071/task/5081/stat : 5081 (java) S 5069 5071 4914 0 -1 4202560 69911 0 0 0 309 23 0 0 16 0 22 0 519541521 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5082] ppid=5069 vsize=15756252 CPUtime=2.2 cores=1,3,5,7
/proc/5071/task/5082/stat : 5082 (java) S 5069 5071 4914 0 -1 4202560 3974 0 0 0 152 68 0 0 15 0 22 0 519541522 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 0 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5083] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5083/stat : 5083 (java) S 5069 5071 4914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519541523 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5084] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5084/stat : 5084 (java) S 5069 5071 4914 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519541523 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5085] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5085/stat : 5085 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389125041 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5086] ppid=5069 vsize=15756252 CPUtime=1.36 cores=1,3,5,7
/proc/5071/task/5086/stat : 5086 (java) S 5069 5071 4914 0 -1 4202560 4276 0 0 0 136 0 0 0 15 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 3 0 0 0
[pid=5071/tid=5087] ppid=5069 vsize=15756252 CPUtime=1.85 cores=1,3,5,7
/proc/5071/task/5087/stat : 5087 (java) S 5069 5071 4914 0 -1 4202560 18605 0 0 0 183 2 0 0 16 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 1 0 0 0
[pid=5071/tid=5088] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5088/stat : 5088 (java) S 5069 5071 4914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117337 0 4 0 16800975 18446604456529252416 0 0 -1 5 0 0 0
[pid=5071/tid=5089] ppid=5069 vsize=15756252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5089/stat : 5089 (java) S 5069 5071 4914 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 519541525 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 255389117952 0 4 0 16800975 18446604456529252416 0 0 -1 7 0 0 0
[pid=5071/tid=5090] ppid=5069 vsize=15756252 CPUtime=1191.04 cores=1,3,5,7
/proc/5071/task/5090/stat : 5090 (java) R 5069 5071 4914 0 -1 4202560 212873 0 0 0 119065 39 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505814312 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5071/tid=5091] ppid=5069 vsize=15756252 CPUtime=1191.96 cores=1,3,5,7
/proc/5071/task/5091/stat : 5091 (java) R 5069 5071 4914 0 -1 4202560 215546 0 0 0 119158 38 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505875108 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5071/tid=5092] ppid=5069 vsize=15756252 CPUtime=1191.54 cores=1,3,5,7
/proc/5071/task/5092/stat : 5092 (java) R 5069 5071 4914 0 -1 4202560 213748 0 0 0 119114 40 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912506531050 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5071/tid=5093] ppid=5069 vsize=15756252 CPUtime=1191.56 cores=1,3,5,7
/proc/5071/task/5093/stat : 5093 (java) R 5069 5071 4914 0 -1 4202560 217342 0 0 0 119113 43 0 0 25 0 22 0 519541587 16134402048 99169 33554432000 1073741824 1073778376 140733862177552 18446744073709551615 46912505806979 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 15756252
Child status: 143
Real time (s): 1207.94
CPU time (s): 4800.19
CPU user time (s): 4796.23
CPU system time (s): 3.9634
CPU usage (%): 397.386
Max. virtual memory (cumulated for all children) (KiB): 15756252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.22
system time used= 3.9634
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1497684
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= 296193
involuntary context switches= 153978
runsolver used 1.82472 second user time and 4.81927 second system time
The end