runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458640-1307152389/watcher-3458640-1307152389 -o /tmp/evaluation-result-3458640-1307152389/solver-3458640-1307152389 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458640-1307152389.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 12262
/proc/meminfo: memFree=26850832/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 2181 0 1 0 0 0 0 0 23 0 2 0 826841342 13833195520 1883 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3377245 1894 906 9 0 3368401 0
[pid=12262/tid=12263] ppid=12260 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 6489 0 1 0 0 0 0 0 24 0 2 0 826841342 13850947584 7306 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0387699 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 12262
/proc/meminfo: memFree=26850832/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13547424 CPUtime=0.03 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 13537 0 1 0 2 1 0 0 23 0 11 0 826841342 13872562176 13236 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3386856 13237 1621 9 0 3377604 0
[pid=12262/tid=12263] ppid=12260 vsize=13547424 CPUtime=0.03 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 12414 0 1 0 2 1 0 0 25 0 11 0 826841342 13872562176 13237 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447843787 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13547424
[startup+0.100703 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 12262
/proc/meminfo: memFree=26850832/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13621924 CPUtime=0.1 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 15554 0 1 0 9 1 0 0 23 0 18 0 826841342 13948850176 15217 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3405481 15217 2092 9 0 3396215 0
[pid=12262/tid=12263] ppid=12260 vsize=13621924 CPUtime=0.08 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 13612 0 1 0 7 1 0 0 25 0 18 0 826841342 13948850176 15217 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505228835 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621924
[startup+0.300667 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 12262
/proc/meminfo: memFree=26850832/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13625660 CPUtime=0.6 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 27963 0 1 0 57 3 0 0 23 0 18 0 826841342 13952675840 26173 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406415 26173 2200 9 0 3397149 0
[pid=12262/tid=12263] ppid=12260 vsize=13625660 CPUtime=0.28 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 21758 0 1 0 26 2 0 0 25 0 18 0 826841342 13952675840 26173 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505509145 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13625660
[startup+0.700592 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 12262
/proc/meminfo: memFree=26850832/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13625660 CPUtime=1.09 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 65858 0 1 0 102 7 0 0 23 0 18 0 826841342 13952675840 64068 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406415 64068 2204 9 0 3397149 0
[pid=12262/tid=12263] ppid=12260 vsize=13625660 CPUtime=0.69 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 59612 0 1 0 62 7 0 0 25 0 18 0 826841342 13952675840 64068 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505509225 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13625660
[startup+1.50148 s]
/proc/loadavg: 1.93 1.99 1.99 3/517 12280
/proc/meminfo: memFree=26479256/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13625660 CPUtime=1.9 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 147042 0 1 0 173 17 0 0 23 0 18 0 826841342 13952675840 145252 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406415 145256 2204 9 0 3397149 0
[pid=12262/tid=12263] ppid=12260 vsize=13625660 CPUtime=1.48 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 140801 0 1 0 132 16 0 0 25 0 18 0 826841342 13952675840 145257 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505684385 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12262/tid=12265] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12265/stat : 12265 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145259 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12266] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12266/stat : 12266 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145260 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12267] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12267/stat : 12267 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145261 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12268] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12268/stat : 12268 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145263 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12269] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12269/stat : 12269 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145265 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12270] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12270/stat : 12270 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145267 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12271] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12271/stat : 12271 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145269 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12272] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12272/stat : 12272 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 145271 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12273] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12273/stat : 12273 (java) S 12260 12262 10080 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826841345 13952675840 145273 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 0 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12274] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12274/stat : 12274 (java) S 12260 12262 10080 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826841346 13952675840 145275 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12275] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12275/stat : 12275 (java) S 12260 12262 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826841346 13952675840 145276 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12276] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12276/stat : 12276 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841348 13952675840 145278 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447840689 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12277] ppid=12260 vsize=13625660 CPUtime=0.21 cores=1,3,5,7
/proc/12262/task/12277/stat : 12277 (java) S 12260 12262 10080 0 -1 4202560 3608 0 0 0 21 0 0 0 15 0 18 0 826841348 13952675840 145280 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12278] ppid=12260 vsize=13625660 CPUtime=0.18 cores=1,3,5,7
/proc/12262/task/12278/stat : 12278 (java) S 12260 12262 10080 0 -1 4202560 1488 0 0 0 18 0 0 0 17 0 18 0 826841348 13952675840 145282 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12279] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12279/stat : 12279 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841348 13952675840 145284 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12280] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12280/stat : 12280 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826841348 13952675840 145286 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13625660
[startup+3.10114 s]
/proc/loadavg: 1.93 1.99 1.99 3/517 12280
/proc/meminfo: memFree=26042908/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13625660 CPUtime=3.52 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 310062 0 1 0 317 35 0 0 23 0 18 0 826841342 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406415 308272 2204 9 0 3397149 0
[pid=12262/tid=12263] ppid=12260 vsize=13625660 CPUtime=3.08 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 303814 0 1 0 274 34 0 0 25 0 18 0 826841342 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505617283 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12262/tid=12265] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12265/stat : 12265 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12266] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12266/stat : 12266 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12267] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12267/stat : 12267 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12268] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12268/stat : 12268 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12269] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12269/stat : 12269 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12270] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12270/stat : 12270 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12271] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12271/stat : 12271 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12272] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12272/stat : 12272 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841344 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12273] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12273/stat : 12273 (java) S 12260 12262 10080 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826841345 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 0 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12274] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12274/stat : 12274 (java) S 12260 12262 10080 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826841346 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12275] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12275/stat : 12275 (java) S 12260 12262 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826841346 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12276] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12276/stat : 12276 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841348 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447840689 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12277] ppid=12260 vsize=13625660 CPUtime=0.22 cores=1,3,5,7
/proc/12262/task/12277/stat : 12277 (java) S 12260 12262 10080 0 -1 4202560 3608 0 0 0 22 0 0 0 15 0 18 0 826841348 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12278] ppid=12260 vsize=13625660 CPUtime=0.19 cores=1,3,5,7
/proc/12262/task/12278/stat : 12278 (java) S 12260 12262 10080 0 -1 4202560 1490 0 0 0 19 0 0 0 15 0 18 0 826841348 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12279] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12279/stat : 12279 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826841348 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12280] ppid=12260 vsize=13625660 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12280/stat : 12280 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826841348 13952675840 308272 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 13625660
[startup+6.30153 s]
/proc/loadavg: 1.94 1.99 1.99 4/517 12280
/proc/meminfo: memFree=24675736/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13626688 CPUtime=6.97 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 548299 0 1 0 635 62 0 0 23 0 19 0 826841342 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406672 546455 2222 9 0 3397406 0
[pid=12262/tid=12263] ppid=12260 vsize=13626688 CPUtime=6.27 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 541999 0 1 0 566 61 0 0 18 0 19 0 826841342 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505748190 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12262/tid=12265] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12265/stat : 12265 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12266] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12266/stat : 12266 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12267] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12267/stat : 12267 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12268] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12268/stat : 12268 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12269] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12269/stat : 12269 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12270] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12270/stat : 12270 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12271] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12271/stat : 12271 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12272] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12272/stat : 12272 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841344 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12273] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12273/stat : 12273 (java) S 12260 12262 10080 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 826841345 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 0 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12274] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12274/stat : 12274 (java) S 12260 12262 10080 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826841346 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12275] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12275/stat : 12275 (java) S 12260 12262 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826841346 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12276] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12276/stat : 12276 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447840689 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12277] ppid=12260 vsize=13626688 CPUtime=0.32 cores=1,3,5,7
/proc/12262/task/12277/stat : 12277 (java) S 12260 12262 10080 0 -1 4202560 3625 0 0 0 32 0 0 0 16 0 19 0 826841348 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12278] ppid=12260 vsize=13626688 CPUtime=0.36 cores=1,3,5,7
/proc/12262/task/12278/stat : 12278 (java) S 12260 12262 10080 0 -1 4202560 1515 0 0 0 36 0 0 0 15 0 19 0 826841348 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12279] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12279/stat : 12279 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12280] ppid=12260 vsize=13626688 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12280/stat : 12280 (java) S 12260 12262 10080 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826841348 13953728512 546455 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/12262/task/12274/stat : 12274 (java) S 12260 12262 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12275] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12275/stat : 12275 (java) S 12260 12262 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12276] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12276/stat : 12276 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447840689 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12277] ppid=12260 vsize=13625256 CPUtime=0.9 cores=1,3,5,7
/proc/12262/task/12277/stat : 12277 (java) S 12260 12262 10080 0 -1 4202560 9821 0 0 0 89 1 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12278] ppid=12260 vsize=13625256 CPUtime=1.04 cores=1,3,5,7
/proc/12262/task/12278/stat : 12278 (java) S 12260 12262 10080 0 -1 4202560 6996 0 0 0 104 0 0 0 16 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12279] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12279/stat : 12279 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12280] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12280/stat : 12280 (java) S 12260 12262 10080 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12281] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12281/stat : 12281 (java) S 12260 12262 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826841910 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1664.59
Current children cumulated vsize (KiB) 13625256
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 12805
/proc/meminfo: memFree=24281136/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13625256 CPUtime=1724.58 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 665395 0 1 0 172384 74 0 0 23 0 19 0 826841342 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406314 652238 2251 9 0 3397048 0
[pid=12262/tid=12263] ppid=12260 vsize=13625256 CPUtime=1719.56 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 548892 0 1 0 171894 62 0 0 25 0 19 0 826841342 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505748574 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12262/tid=12265] ppid=12260 vsize=13625256 CPUtime=0.02 cores=1,3,5,7
/proc/12262/task/12265/stat : 12265 (java) S 12260 12262 10080 0 -1 4202560 1001 0 0 0 2 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12266] ppid=12260 vsize=13625256 CPUtime=0.02 cores=1,3,5,7
/proc/12262/task/12266/stat : 12266 (java) S 12260 12262 10080 0 -1 4202560 17 0 0 0 2 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12267] ppid=12260 vsize=13625256 CPUtime=0.05 cores=1,3,5,7
/proc/12262/task/12267/stat : 12267 (java) S 12260 12262 10080 0 -1 4202560 1182 0 0 0 5 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12268] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12268/stat : 12268 (java) S 12260 12262 10080 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12269] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12269/stat : 12269 (java) S 12260 12262 10080 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12270] ppid=12260 vsize=13625256 CPUtime=0.06 cores=1,3,5,7
/proc/12262/task/12270/stat : 12270 (java) S 12260 12262 10080 0 -1 4202560 2384 0 0 0 6 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12271] ppid=12260 vsize=13625256 CPUtime=0.22 cores=1,3,5,7
/proc/12262/task/12271/stat : 12271 (java) S 12260 12262 10080 0 -1 4202560 22671 0 0 0 20 2 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12272] ppid=12260 vsize=13625256 CPUtime=0.15 cores=1,3,5,7
/proc/12262/task/12272/stat : 12272 (java) S 12260 12262 10080 0 -1 4202560 15182 0 0 0 14 1 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12273] ppid=12260 vsize=13625256 CPUtime=2.46 cores=1,3,5,7
/proc/12262/task/12273/stat : 12273 (java) S 12260 12262 10080 0 -1 4202560 55819 0 0 0 241 5 0 0 15 0 19 0 826841345 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 0 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12274] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12274/stat : 12274 (java) S 12260 12262 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12275] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12275/stat : 12275 (java) S 12260 12262 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12276] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12276/stat : 12276 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447840689 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12277] ppid=12260 vsize=13625256 CPUtime=0.9 cores=1,3,5,7
/proc/12262/task/12277/stat : 12277 (java) S 12260 12262 10080 0 -1 4202560 9821 0 0 0 89 1 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12278] ppid=12260 vsize=13625256 CPUtime=1.04 cores=1,3,5,7
/proc/12262/task/12278/stat : 12278 (java) S 12260 12262 10080 0 -1 4202560 6996 0 0 0 104 0 0 0 16 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12279] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12279/stat : 12279 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12280] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12280/stat : 12280 (java) S 12260 12262 10080 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12281] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12281/stat : 12281 (java) S 12260 12262 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826841910 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.58
Current children cumulated vsize (KiB) 13625256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 12807
/proc/meminfo: memFree=24280820/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13625256 CPUtime=1784.58 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 665400 0 1 0 178384 74 0 0 23 0 19 0 826841342 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406314 652238 2251 9 0 3397048 0
[pid=12262/tid=12263] ppid=12260 vsize=13625256 CPUtime=1779.56 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 548892 0 1 0 177894 62 0 0 25 0 19 0 826841342 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505989607 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12262/tid=12265] ppid=12260 vsize=13625256 CPUtime=0.02 cores=1,3,5,7
/proc/12262/task/12265/stat : 12265 (java) S 12260 12262 10080 0 -1 4202560 1001 0 0 0 2 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12266] ppid=12260 vsize=13625256 CPUtime=0.02 cores=1,3,5,7
/proc/12262/task/12266/stat : 12266 (java) S 12260 12262 10080 0 -1 4202560 17 0 0 0 2 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12267] ppid=12260 vsize=13625256 CPUtime=0.05 cores=1,3,5,7
/proc/12262/task/12267/stat : 12267 (java) S 12260 12262 10080 0 -1 4202560 1182 0 0 0 5 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12268] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12268/stat : 12268 (java) S 12260 12262 10080 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12269] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12269/stat : 12269 (java) S 12260 12262 10080 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12270] ppid=12260 vsize=13625256 CPUtime=0.06 cores=1,3,5,7
/proc/12262/task/12270/stat : 12270 (java) S 12260 12262 10080 0 -1 4202560 2384 0 0 0 6 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12271] ppid=12260 vsize=13625256 CPUtime=0.22 cores=1,3,5,7
/proc/12262/task/12271/stat : 12271 (java) S 12260 12262 10080 0 -1 4202560 22671 0 0 0 20 2 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12272] ppid=12260 vsize=13625256 CPUtime=0.15 cores=1,3,5,7
/proc/12262/task/12272/stat : 12272 (java) S 12260 12262 10080 0 -1 4202560 15182 0 0 0 14 1 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12273] ppid=12260 vsize=13625256 CPUtime=2.46 cores=1,3,5,7
/proc/12262/task/12273/stat : 12273 (java) S 12260 12262 10080 0 -1 4202560 55819 0 0 0 241 5 0 0 15 0 19 0 826841345 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 0 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12274] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12274/stat : 12274 (java) S 12260 12262 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12275] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12275/stat : 12275 (java) S 12260 12262 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12276] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12276/stat : 12276 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447840689 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12277] ppid=12260 vsize=13625256 CPUtime=0.9 cores=1,3,5,7
/proc/12262/task/12277/stat : 12277 (java) S 12260 12262 10080 0 -1 4202560 9821 0 0 0 89 1 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12278] ppid=12260 vsize=13625256 CPUtime=1.04 cores=1,3,5,7
/proc/12262/task/12278/stat : 12278 (java) S 12260 12262 10080 0 -1 4202560 6996 0 0 0 104 0 0 0 16 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12279] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12279/stat : 12279 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12280] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12280/stat : 12280 (java) S 12260 12262 10080 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12281] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12281/stat : 12281 (java) S 12260 12262 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826841910 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (KiB) 13625256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.8 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 12862
/proc/meminfo: memFree=24327372/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=13625256 CPUtime=1800.09 cores=1,3,5,7
/proc/12262/stat : 12262 (java) S 12260 12262 10080 0 -1 4202496 665400 0 1 0 179935 74 0 0 23 0 19 0 826841342 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 3406314 652238 2251 9 0 3397048 0
[pid=12262/tid=12263] ppid=12260 vsize=13625256 CPUtime=1795.08 cores=1,3,5,7
/proc/12262/task/12263/stat : 12263 (java) R 12260 12262 10080 0 -1 4202560 548892 0 1 0 179446 62 0 0 25 0 19 0 826841342 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 46912505885598 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12262/tid=12265] ppid=12260 vsize=13625256 CPUtime=0.02 cores=1,3,5,7
/proc/12262/task/12265/stat : 12265 (java) S 12260 12262 10080 0 -1 4202560 1001 0 0 0 2 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12266] ppid=12260 vsize=13625256 CPUtime=0.02 cores=1,3,5,7
/proc/12262/task/12266/stat : 12266 (java) S 12260 12262 10080 0 -1 4202560 17 0 0 0 2 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12267] ppid=12260 vsize=13625256 CPUtime=0.05 cores=1,3,5,7
/proc/12262/task/12267/stat : 12267 (java) S 12260 12262 10080 0 -1 4202560 1182 0 0 0 5 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12268] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12268/stat : 12268 (java) S 12260 12262 10080 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12269] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12269/stat : 12269 (java) S 12260 12262 10080 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12270] ppid=12260 vsize=13625256 CPUtime=0.06 cores=1,3,5,7
/proc/12262/task/12270/stat : 12270 (java) S 12260 12262 10080 0 -1 4202560 2384 0 0 0 6 0 0 0 16 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 5 0 0 0
[pid=12262/tid=12271] ppid=12260 vsize=13625256 CPUtime=0.22 cores=1,3,5,7
/proc/12262/task/12271/stat : 12271 (java) S 12260 12262 10080 0 -1 4202560 22671 0 0 0 20 2 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12272] ppid=12260 vsize=13625256 CPUtime=0.15 cores=1,3,5,7
/proc/12262/task/12272/stat : 12272 (java) S 12260 12262 10080 0 -1 4202560 15182 0 0 0 14 1 0 0 15 0 19 0 826841344 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12273] ppid=12260 vsize=13625256 CPUtime=2.46 cores=1,3,5,7
/proc/12262/task/12273/stat : 12273 (java) S 12260 12262 10080 0 -1 4202560 55819 0 0 0 241 5 0 0 15 0 19 0 826841345 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 0 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12274] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12274/stat : 12274 (java) S 12260 12262 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12275] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12275/stat : 12275 (java) S 12260 12262 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826841346 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12276] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12276/stat : 12276 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447840689 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12277] ppid=12260 vsize=13625256 CPUtime=0.9 cores=1,3,5,7
/proc/12262/task/12277/stat : 12277 (java) S 12260 12262 10080 0 -1 4202560 9821 0 0 0 89 1 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 1 0 0 0
[pid=12262/tid=12278] ppid=12260 vsize=13625256 CPUtime=1.04 cores=1,3,5,7
/proc/12262/task/12278/stat : 12278 (java) S 12260 12262 10080 0 -1 4202560 6996 0 0 0 104 0 0 0 16 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12279] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12279/stat : 12279 (java) S 12260 12262 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447832985 0 4 0 16800975 18446604470561288512 0 0 -1 7 0 0 0
[pid=12262/tid=12280] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12280/stat : 12280 (java) S 12260 12262 10080 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 826841348 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
[pid=12262/tid=12281] ppid=12260 vsize=13625256 CPUtime=0 cores=1,3,5,7
/proc/12262/task/12281/stat : 12281 (java) S 12260 12262 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826841910 13952262144 652238 33554432000 1073741824 1073778376 140733621203888 18446744073709551615 212447833600 0 4 0 16800975 18446604470561288512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13625256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.92 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 12862
/proc/meminfo: memFree=24327372/32951124 swapFree=38422276/67111528
[pid=12262] ppid=12260 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/12262/stat : 12262 (java) Z 12260 12262 10080 0 -1 4203548 665442 0 1 0 179940 83 0 0 17 0 2 0 826841342 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12262/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.94
CPU time (s): 1800.25
CPU user time (s): 1799.4
CPU system time (s): 0.844871
CPU usage (%): 100.129
Max. virtual memory (cumulated for all children) (KiB): 13646552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.844871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665442
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= 36901
involuntary context switches= 7284
runsolver used 8.44272 second user time and 20.4239 second system time
The end