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-3312307-1304185697/watcher-3312307-1304185697 -o /tmp/evaluation-result-3312307-1304185697/solver-3312307-1304185697 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312307-1304185697.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: 3.56 4.99 6.54 2/194 20224
/proc/meminfo: memFree=29183308/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=26140 CPUtime=0 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 1398 0 0 0 0 0 0 0 21 0 2 0 510985388 26767360 877 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 6522 876 670 9 0 381 0
[pid=20224/tid=20225] ppid=20222 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 55 0 0 0 0 0 0 0 24 0 2 0 510985389 26714112 884 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254261198704 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.092817 s]
/proc/loadavg: 3.56 4.99 6.54 2/194 20224
/proc/meminfo: memFree=29183308/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15676848 CPUtime=0.1 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 5477 0 1 0 9 1 0 0 21 0 18 0 510985388 16053092352 4917 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3919212 4918 2116 9 0 3909931 0
[pid=20224/tid=20225] ppid=20222 vsize=15676848 CPUtime=0.07 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 3375 0 1 0 7 0 0 0 18 0 18 0 510985389 16053092352 4918 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 47289421353731 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676848
[startup+0.100813 s]
/proc/loadavg: 3.56 4.99 6.54 2/194 20224
/proc/meminfo: memFree=29183308/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15676848 CPUtime=0.11 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 5592 0 1 0 10 1 0 0 21 0 18 0 510985388 16053092352 5032 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3919212 5032 2118 9 0 3909931 0
[pid=20224/tid=20225] ppid=20222 vsize=15676848 CPUtime=0.08 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 3490 0 1 0 8 0 0 0 18 0 18 0 510985389 16053092352 5033 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 47289424414202 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676848
[startup+0.300781 s]
/proc/loadavg: 3.56 4.99 6.54 2/194 20224
/proc/meminfo: memFree=29183308/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15683124 CPUtime=0.52 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 16131 0 1 0 49 3 0 0 21 0 18 0 510985388 16059518976 14393 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3920781 14400 2207 9 0 3911500 0
[pid=20224/tid=20225] ppid=20222 vsize=15683124 CPUtime=0.29 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 11079 0 1 0 27 2 0 0 18 0 18 0 510985389 16059518976 14403 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912505639136 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15683124
[startup+0.700722 s]
/proc/loadavg: 3.56 4.99 6.54 2/194 20224
/proc/meminfo: memFree=29183308/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15683124 CPUtime=0.91 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 41749 0 1 0 85 6 0 0 21 0 18 0 510985388 16059518976 40008 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3920781 40008 2223 9 0 3911500 0
[pid=20224/tid=20225] ppid=20222 vsize=15683124 CPUtime=0.67 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 35542 0 1 0 62 5 0 0 18 0 18 0 510985389 16059518976 40008 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912505521161 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15683124
[startup+1.50157 s]
/proc/loadavg: 3.56 4.99 6.54 3/212 20242
/proc/meminfo: memFree=28935604/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15683124 CPUtime=1.75 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 78354 0 1 0 163 12 0 0 21 0 18 0 510985388 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3920781 76609 2223 9 0 3911500 0
[pid=20224/tid=20225] ppid=20222 vsize=15683124 CPUtime=1.47 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 66271 0 1 0 137 10 0 0 19 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912505641840 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20224 18835 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20224 18835 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20229] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20224 18835 0 -1 4202560 727 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20230] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20224 18835 0 -1 4202560 1324 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20231] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20224 18835 0 -1 4202560 1315 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20232] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20224 18835 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20233] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20224 18835 0 -1 4202560 361 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20234] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20224 18835 0 -1 4202560 2930 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20235] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20224 18835 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 18 0 510985390 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 0 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20236] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20224 18835 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 510985391 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20237] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20224 18835 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 510985391 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20238] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 510985393 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273440177 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20239] ppid=20222 vsize=15683124 CPUtime=0.1 cores=1,3,5,7
/proc/20224/task/20239/stat : 20239 (java) S 20222 20224 18835 0 -1 4202560 2087 0 0 0 10 0 0 0 16 0 18 0 510985393 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20240] ppid=20222 vsize=15683124 CPUtime=0.12 cores=1,3,5,7
/proc/20224/task/20240/stat : 20240 (java) S 20222 20224 18835 0 -1 4202560 1583 0 0 0 12 0 0 0 17 0 18 0 510985393 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20241] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20241/stat : 20241 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 510985393 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20242] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20242/stat : 20242 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 510985393 16059518976 76609 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15683124
[startup+3.10128 s]
/proc/loadavg: 3.56 4.99 6.54 4/212 20243
/proc/meminfo: memFree=28313992/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15683124 CPUtime=3.43 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 145526 0 1 0 323 20 0 0 21 0 18 0 510985388 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3920781 143679 2241 9 0 3911500 0
[pid=20224/tid=20225] ppid=20222 vsize=15683124 CPUtime=3.06 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 127817 0 1 0 288 18 0 0 23 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912505639303 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20224 18835 0 -1 4202560 113 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20224 18835 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20229] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20224 18835 0 -1 4202560 740 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20230] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20224 18835 0 -1 4202560 1324 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20231] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20224 18835 0 -1 4202560 1345 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20232] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20224 18835 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20233] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20224 18835 0 -1 4202560 5482 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20234] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20224 18835 0 -1 4202560 2942 0 0 0 0 0 0 0 16 0 18 0 510985389 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20235] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20224 18835 0 -1 4202560 434 0 0 0 0 0 0 0 15 0 18 0 510985390 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 0 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20236] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20224 18835 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 510985391 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20237] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20224 18835 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 510985391 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20238] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 510985393 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273440177 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20239] ppid=20222 vsize=15683124 CPUtime=0.12 cores=1,3,5,7
/proc/20224/task/20239/stat : 20239 (java) S 20222 20224 18835 0 -1 4202560 2121 0 0 0 12 0 0 0 15 0 18 0 510985393 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20240] ppid=20222 vsize=15683124 CPUtime=0.14 cores=1,3,5,7
/proc/20224/task/20240/stat : 20240 (java) S 20222 20224 18835 0 -1 4202560 1718 0 0 0 14 0 0 0 15 0 18 0 510985393 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20241] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20241/stat : 20241 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 510985393 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20242] ppid=20222 vsize=15683124 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20242/stat : 20242 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 510985393 16059518976 143679 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 15683124
[startup+6.30071 s]
/proc/loadavg: 3.68 4.99 6.54 3/212 20243
/proc/meminfo: memFree=27539660/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15679916 CPUtime=6.68 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 284581 0 1 0 629 39 0 0 21 0 18 0 510985388 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3919979 282084 2241 9 0 3910698 0
[pid=20224/tid=20225] ppid=20222 vsize=15679916 CPUtime=6.23 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) R 20222 20224 18835 0 -1 4202560 256360 0 1 0 588 35 0 0 25 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273443275 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=15679916 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20224 18835 0 -1 4202560 114 0 0 0 1 0 0 0 16 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=15679916 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20224 18835 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20229] ppid=20222 vsize=15679916 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20224 18835 0 -1 4202560 740 0 0 0 1 0 0 0 15 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20230] ppid=20222 vsize=15679916 CPUtime=0.02 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20224 18835 0 -1 4202560 11564 0 0 0 1 1 0 0 16 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20231] ppid=20222 vsize=15679916 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20224 18835 0 -1 4202560 1346 0 0 0 1 0 0 0 16 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20232] ppid=20222 vsize=15679916 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20224 18835 0 -1 4202560 103 0 0 0 1 0 0 0 16 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20233] ppid=20222 vsize=15679916 CPUtime=0.01 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20224 18835 0 -1 4202560 5483 0 0 0 1 0 0 0 15 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20234] ppid=20222 vsize=15679916 CPUtime=0.02 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20224 18835 0 -1 4202560 2942 0 0 0 2 0 0 0 15 0 18 0 510985389 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20235] ppid=20222 vsize=15679916 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20224 18835 0 -1 4202560 703 0 0 0 0 0 0 0 15 0 18 0 510985390 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 0 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20236] ppid=20222 vsize=15679916 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20224 18835 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 510985391 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20237] ppid=20222 vsize=15679916 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20224 18835 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 510985391 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20238] ppid=20222 vsize=15679916 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 510985393 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273440177 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20239] ppid=20222 vsize=15679916 CPUtime=0.12 cores=1,3,5,7
/proc/20224/task/20239/stat : 20239 (java) S 20222 20224 18835 0 -1 4202560 2121 0 0 0 12 0 0 0 15 0 18 0 510985393 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20240] ppid=20222 vsize=15679916 CPUtime=0.14 cores=1,3,5,7
/proc/20224/task/20240/stat : 20240 (java) S 20222 20224 18835 0 -1 4202560 1718 0 0 0 14 0 0 0 15 0 18 0 510985393 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20241] ppid=20222 vsize=15679916 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20241/stat : 20241 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 510985393 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20242] ppid=20222 vsize=15679916 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20242/stat : 20242 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 510985393 16056233984 282084 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=18133216/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15688996 CPUtime=3323.17 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 1584554 0 1 0 332048 269 0 0 21 0 22 0 510985388 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3922249 1247120 2297 9 0 3912968 0
[pid=20224/tid=20225] ppid=20222 vsize=15688996 CPUtime=290.65 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) S 20222 20224 18835 0 -1 4202560 332061 0 1 0 29016 49 0 0 25 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=15688996 CPUtime=1.12 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20224 18835 0 -1 4202560 105838 0 0 0 92 20 0 0 16 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=15688996 CPUtime=1.36 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20224 18835 0 -1 4202560 150461 0 0 0 110 26 0 0 16 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20229] ppid=20222 vsize=15688996 CPUtime=0.91 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20224 18835 0 -1 4202560 83795 0 0 0 77 14 0 0 15 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20230] ppid=20222 vsize=15688996 CPUtime=0.98 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20224 18835 0 -1 4202560 127049 0 0 0 77 21 0 0 15 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20231] ppid=20222 vsize=15688996 CPUtime=1.29 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20224 18835 0 -1 4202560 159143 0 0 0 102 27 0 0 16 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20232] ppid=20222 vsize=15688996 CPUtime=1.65 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20224 18835 0 -1 4202560 211129 0 0 0 129 36 0 0 16 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20233] ppid=20222 vsize=15688996 CPUtime=1.5 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20224 18835 0 -1 4202560 211944 0 0 0 116 34 0 0 16 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20234] ppid=20222 vsize=15688996 CPUtime=1.59 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20224 18835 0 -1 4202560 132634 0 0 0 135 24 0 0 15 0 22 0 510985389 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20235] ppid=20222 vsize=15688996 CPUtime=2.36 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20224 18835 0 -1 4202560 4829 0 0 0 231 5 0 0 15 0 22 0 510985390 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 0 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20236] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20224 18835 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510985391 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20237] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20224 18835 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510985391 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20238] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510985393 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273440177 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20239] ppid=20222 vsize=15688996 CPUtime=1.34 cores=1,3,5,7
/proc/20224/task/20239/stat : 20239 (java) S 20222 20224 18835 0 -1 4202560 10832 0 0 0 133 1 0 0 16 0 22 0 510985393 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20240] ppid=20222 vsize=15688996 CPUtime=1.28 cores=1,3,5,7
/proc/20224/task/20240/stat : 20240 (java) S 20222 20224 18835 0 -1 4202560 8308 0 0 0 127 1 0 0 15 0 22 0 510985393 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20241] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20241/stat : 20241 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510985393 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20242] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20242/stat : 20242 (java) S 20222 20224 18835 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 510985393 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20248] ppid=20222 vsize=15688996 CPUtime=825.25 cores=1,3,5,7
/proc/20224/task/20248/stat : 20248 (java) R 20222 20224 18835 0 -1 4202560 33840 0 0 0 82522 3 0 0 25 0 22 0 510987346 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506151300 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20224/tid=20249] ppid=20222 vsize=15688996 CPUtime=640.39 cores=1,3,5,7
/proc/20224/task/20249/stat : 20249 (java) R 20222 20224 18835 0 -1 4202560 5015 0 0 0 64039 0 0 0 25 0 22 0 510987346 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506313144 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20224/tid=20250] ppid=20222 vsize=15688996 CPUtime=870.57 cores=1,3,5,7
/proc/20224/task/20250/stat : 20250 (java) R 20222 20224 18835 0 -1 4202560 6112 0 0 0 87057 0 0 0 25 0 22 0 510987346 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506313075 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20224/tid=20251] ppid=20222 vsize=15688996 CPUtime=680.77 cores=1,3,5,7
/proc/20224/task/20251/stat : 20251 (java) R 20222 20224 18835 0 -1 4202560 113 0 0 0 68077 0 0 0 25 0 22 0 510987346 16065531904 1247120 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506313098 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3323.17
Current children cumulated vsize (KiB) 15688996
[startup+1242.3 s]
/proc/loadavg: 8.23 7.77 6.83 9/220 20293
/proc/meminfo: memFree=18431492/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15688996 CPUtime=3562.19 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 1601590 0 1 0 355946 273 0 0 21 0 22 0 510985388 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3922249 1172518 2297 9 0 3912968 0
[pid=20224/tid=20225] ppid=20222 vsize=15688996 CPUtime=290.65 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) S 20222 20224 18835 0 -1 4202560 332061 0 1 0 29016 49 0 0 25 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=15688996 CPUtime=1.34 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20224 18835 0 -1 4202560 108253 0 0 0 114 20 0 0 16 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=15688996 CPUtime=1.61 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20224 18835 0 -1 4202560 152728 0 0 0 134 27 0 0 16 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20229] ppid=20222 vsize=15688996 CPUtime=1.06 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20224 18835 0 -1 4202560 83795 0 0 0 92 14 0 0 16 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20230] ppid=20222 vsize=15688996 CPUtime=1.1 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20224 18835 0 -1 4202560 127050 0 0 0 89 21 0 0 16 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20231] ppid=20222 vsize=15688996 CPUtime=1.46 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20224 18835 0 -1 4202560 161596 0 0 0 119 27 0 0 16 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20232] ppid=20222 vsize=15688996 CPUtime=1.73 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20224 18835 0 -1 4202560 211129 0 0 0 137 36 0 0 16 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20233] ppid=20222 vsize=15688996 CPUtime=1.6 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20224 18835 0 -1 4202560 211944 0 0 0 126 34 0 0 15 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20234] ppid=20222 vsize=15688996 CPUtime=1.72 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20224 18835 0 -1 4202560 142522 0 0 0 146 26 0 0 16 0 22 0 510985389 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20235] ppid=20222 vsize=15688996 CPUtime=2.56 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20224 18835 0 -1 4202560 4833 0 0 0 250 6 0 0 15 0 22 0 510985390 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 0 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20236] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20224 18835 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510985391 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20237] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20224 18835 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510985391 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20238] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510985393 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273440177 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20239] ppid=20222 vsize=15688996 CPUtime=1.34 cores=1,3,5,7
/proc/20224/task/20239/stat : 20239 (java) S 20222 20224 18835 0 -1 4202560 10832 0 0 0 133 1 0 0 16 0 22 0 510985393 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20240] ppid=20222 vsize=15688996 CPUtime=1.28 cores=1,3,5,7
/proc/20224/task/20240/stat : 20240 (java) S 20222 20224 18835 0 -1 4202560 8308 0 0 0 127 1 0 0 15 0 22 0 510985393 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20241] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20241/stat : 20241 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510985393 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20242] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20242/stat : 20242 (java) S 20222 20224 18835 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 510985393 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20248] ppid=20222 vsize=15688996 CPUtime=884.39 cores=1,3,5,7
/proc/20224/task/20248/stat : 20248 (java) R 20222 20224 18835 0 -1 4202560 33841 0 0 0 88436 3 0 0 25 0 22 0 510987346 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506121550 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20224/tid=20249] ppid=20222 vsize=15688996 CPUtime=699.88 cores=1,3,5,7
/proc/20224/task/20249/stat : 20249 (java) R 20222 20224 18835 0 -1 4202560 5017 0 0 0 69988 0 0 0 25 0 22 0 510987346 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506313187 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20224/tid=20250] ppid=20222 vsize=15688996 CPUtime=930.05 cores=1,3,5,7
/proc/20224/task/20250/stat : 20250 (java) R 20222 20224 18835 0 -1 4202560 6113 0 0 0 93005 0 0 0 25 0 22 0 510987346 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506313166 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20224/tid=20251] ppid=20222 vsize=15688996 CPUtime=740.25 cores=1,3,5,7
/proc/20224/task/20251/stat : 20251 (java) R 20222 20224 18835 0 -1 4202560 113 0 0 0 74025 0 0 0 25 0 22 0 510987346 16065531904 1172518 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506313144 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3562.19
Current children cumulated vsize (KiB) 15688996
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 8.25 7.85 6.92 5/197 20297
/proc/meminfo: memFree=24874912/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=15688996 CPUtime=3791.52 cores=1,3,5,7
/proc/20224/stat : 20224 (java) S 20222 20224 18835 0 -1 4202496 1607725 0 1 0 378876 276 0 0 21 0 22 0 510985388 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 3922249 1096063 2297 9 0 3912968 0
[pid=20224/tid=20225] ppid=20222 vsize=15688996 CPUtime=290.65 cores=1,3,5,7
/proc/20224/task/20225/stat : 20225 (java) S 20222 20224 18835 0 -1 4202560 332061 0 1 0 29016 49 0 0 25 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=15688996 CPUtime=1.55 cores=1,3,5,7
/proc/20224/task/20227/stat : 20227 (java) S 20222 20224 18835 0 -1 4202560 109197 0 0 0 134 21 0 0 16 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=15688996 CPUtime=1.61 cores=1,3,5,7
/proc/20224/task/20228/stat : 20228 (java) S 20222 20224 18835 0 -1 4202560 152728 0 0 0 134 27 0 0 15 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20229] ppid=20222 vsize=15688996 CPUtime=1.12 cores=1,3,5,7
/proc/20224/task/20229/stat : 20229 (java) S 20222 20224 18835 0 -1 4202560 83795 0 0 0 98 14 0 0 16 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20230] ppid=20222 vsize=15688996 CPUtime=1.32 cores=1,3,5,7
/proc/20224/task/20230/stat : 20230 (java) S 20222 20224 18835 0 -1 4202560 127545 0 0 0 111 21 0 0 16 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20231] ppid=20222 vsize=15688996 CPUtime=1.64 cores=1,3,5,7
/proc/20224/task/20231/stat : 20231 (java) S 20222 20224 18835 0 -1 4202560 161596 0 0 0 137 27 0 0 16 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20232] ppid=20222 vsize=15688996 CPUtime=1.91 cores=1,3,5,7
/proc/20224/task/20232/stat : 20232 (java) S 20222 20224 18835 0 -1 4202560 213445 0 0 0 154 37 0 0 15 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20233] ppid=20222 vsize=15688996 CPUtime=1.84 cores=1,3,5,7
/proc/20224/task/20233/stat : 20233 (java) S 20222 20224 18835 0 -1 4202560 214312 0 0 0 149 35 0 0 16 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20234] ppid=20222 vsize=15688996 CPUtime=1.78 cores=1,3,5,7
/proc/20224/task/20234/stat : 20234 (java) S 20222 20224 18835 0 -1 4202560 142522 0 0 0 152 26 0 0 15 0 22 0 510985389 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 1 0 0 0
[pid=20224/tid=20235] ppid=20222 vsize=15688996 CPUtime=2.95 cores=1,3,5,7
/proc/20224/task/20235/stat : 20235 (java) S 20222 20224 18835 0 -1 4202560 4837 0 0 0 288 7 0 0 15 0 22 0 510985390 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 0 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20236] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20236/stat : 20236 (java) S 20222 20224 18835 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510985391 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20237] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20237/stat : 20237 (java) S 20222 20224 18835 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510985391 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20238] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20238/stat : 20238 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510985393 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273440177 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20239] ppid=20222 vsize=15688996 CPUtime=1.34 cores=1,3,5,7
/proc/20224/task/20239/stat : 20239 (java) S 20222 20224 18835 0 -1 4202560 10832 0 0 0 133 1 0 0 16 0 22 0 510985393 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 7 0 0 0
[pid=20224/tid=20240] ppid=20222 vsize=15688996 CPUtime=1.28 cores=1,3,5,7
/proc/20224/task/20240/stat : 20240 (java) S 20222 20224 18835 0 -1 4202560 8308 0 0 0 127 1 0 0 15 0 22 0 510985393 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20241] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20241/stat : 20241 (java) S 20222 20224 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510985393 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273432473 0 4 0 16800975 18446604460290382656 0 0 -1 5 0 0 0
[pid=20224/tid=20242] ppid=20222 vsize=15688996 CPUtime=0 cores=1,3,5,7
/proc/20224/task/20242/stat : 20242 (java) S 20222 20224 18835 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 510985393 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 254273433088 0 4 0 16800975 18446604460290382656 0 0 -1 3 0 0 0
[pid=20224/tid=20248] ppid=20222 vsize=15688996 CPUtime=941.11 cores=1,3,5,7
/proc/20224/task/20248/stat : 20248 (java) R 20222 20224 18835 0 -1 4202560 33841 0 0 0 94108 3 0 0 25 0 22 0 510987346 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506478899 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20224/tid=20249] ppid=20222 vsize=15688996 CPUtime=756.91 cores=1,3,5,7
/proc/20224/task/20249/stat : 20249 (java) R 20222 20224 18835 0 -1 4202560 5018 0 0 0 75691 0 0 0 25 0 22 0 510987346 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912505755390 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20224/tid=20250] ppid=20222 vsize=15688996 CPUtime=987.09 cores=1,3,5,7
/proc/20224/task/20250/stat : 20250 (java) R 20222 20224 18835 0 -1 4202560 6115 0 0 0 98709 0 0 0 25 0 22 0 510987346 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506479221 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20224/tid=20251] ppid=20222 vsize=15688996 CPUtime=797.29 cores=1,3,5,7
/proc/20224/task/20251/stat : 20251 (java) R 20222 20224 18835 0 -1 4202560 114 0 0 0 79729 0 0 0 25 0 22 0 510987346 16065531904 1096063 33554432000 1073741824 1073778376 140735397498784 18446744073709551615 46912506313116 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3791.52
Current children cumulated vsize (KiB) 15688996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 8.25 7.85 6.92 5/197 20297
/proc/meminfo: memFree=24874912/32951124 swapFree=67111348/67111528
[pid=20224] ppid=20222 vsize=0 CPUtime=3791.64 cores=1,3,5,7
/proc/20224/stat : 20224 (java) Z 20222 20224 18835 0 -1 4203548 1607752 0 1 0 378878 286 0 0 17 0 2 0 510985388 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20224/statm: 0 0 0 0 0 0 0
[pid=20224/tid=20251] ppid=20222 vsize=0 CPUtime=797.39 cores=1,3,5,7
/proc/20224/task/20251/stat : 20251 (java) R 20222 20224 18835 0 -1 4203588 114 0 0 0 79730 9 0 0 25 0 2 0 510987346 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3791.64
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1300.18
CPU time (s): 3791.72
CPU user time (s): 3788.79
CPU system time (s): 2.93255
CPU usage (%): 291.629
Max. virtual memory (cumulated for all children) (KiB): 15707656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3788.79
system time used= 2.93255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1607752
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= 60926
involuntary context switches= 54116
runsolver used 2.22466 second user time and 4.88426 second system time
The end