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-3457267-1307219477/watcher-3457267-1307219477 -o /tmp/evaluation-result-3457267-1307219477/solver-3457267-1307219477 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457267-1307219477.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.95 2/545 25228
/proc/meminfo: memFree=23494428/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 7650 0 1 0 0 0 0 0 25 0 2 0 912178397 10694979584 7353 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2611079 7367 917 9 0 2602235 0
[pid=25228/tid=25229] ppid=25226 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 7571 0 1 0 0 0 0 0 25 0 2 0 912178398 10694979584 8387 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0404789 s]
/proc/loadavg: 1.92 2.00 1.95 2/545 25228
/proc/meminfo: memFree=23494428/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 11201 0 1 0 2 1 0 0 25 0 13 0 912178397 10718699520 10899 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2616870 10900 1660 9 0 2607618 0
[pid=25228/tid=25229] ppid=25226 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 10056 0 1 0 2 1 0 0 25 0 13 0 912178398 10718699520 10900 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747005387 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.10048 s]
/proc/loadavg: 1.92 2.00 1.95 2/545 25228
/proc/meminfo: memFree=23494428/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10539960 CPUtime=0.1 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 13097 0 1 0 9 1 0 0 25 0 18 0 912178397 10792919040 12761 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2634990 12762 2092 9 0 2625724 0
[pid=25228/tid=25229] ppid=25226 vsize=10539960 CPUtime=0.08 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 11162 0 1 0 7 1 0 0 18 0 18 0 912178398 10792919040 12762 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747005387 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539960
[startup+0.336305 s]
/proc/loadavg: 1.92 2.00 1.95 2/545 25228
/proc/meminfo: memFree=23494428/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10545956 CPUtime=0.69 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 19497 0 1 0 66 3 0 0 25 0 19 0 912178397 10799058944 17601 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2636489 17621 2218 9 0 2627223 0
[pid=25228/tid=25229] ppid=25226 vsize=10545956 CPUtime=0.32 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 13784 0 1 0 31 1 0 0 19 0 19 0 912178398 10799058944 17621 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912505164197 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10545956
[startup+0.786306 s]
/proc/loadavg: 1.92 2.00 1.95 2/545 25228
/proc/meminfo: memFree=23494428/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10550920 CPUtime=1.85 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 38616 0 1 0 179 6 0 0 25 0 19 0 912178397 10804142080 34440 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2637730 34448 2230 9 0 2628464 0
[pid=25228/tid=25229] ppid=25226 vsize=10550920 CPUtime=0.77 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 26029 0 1 0 74 3 0 0 18 0 19 0 912178398 10804142080 34452 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912505854782 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10550920
[startup+1.50119 s]
/proc/loadavg: 1.92 2.00 1.95 3/564 25247
/proc/meminfo: memFree=22556332/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10550920 CPUtime=2.68 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 115406 0 1 0 254 14 0 0 25 0 19 0 912178397 10804142080 111229 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2637730 111235 2235 9 0 2628464 0
[pid=25228/tid=25229] ppid=25226 vsize=10550920 CPUtime=1.48 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 102795 0 1 0 137 11 0 0 18 0 19 0 912178398 10804142080 111238 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912505854782 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25228/tid=25231] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25231/stat : 25231 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111241 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25232] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25232/stat : 25232 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111245 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25233] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25233/stat : 25233 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111249 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25234] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25234/stat : 25234 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111252 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25235] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25235/stat : 25235 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111256 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25236] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25236/stat : 25236 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111260 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25237] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25237/stat : 25237 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111263 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25238] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25238/stat : 25238 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 111267 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25239] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25239/stat : 25239 (java) S 25226 25228 24779 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 912178400 10804142080 111271 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 0 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25240] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25240/stat : 25240 (java) S 25226 25228 24779 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912178401 10804142080 111274 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25241] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25241/stat : 25241 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912178401 10804142080 111278 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25242] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25242/stat : 25242 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 111282 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747002289 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25243] ppid=25226 vsize=10550920 CPUtime=0.64 cores=0,2,4,6
/proc/25228/task/25243/stat : 25243 (java) S 25226 25228 24779 0 -1 4202560 4640 0 0 0 64 0 0 0 15 0 19 0 912178403 10804142080 111285 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25244] ppid=25226 vsize=10550920 CPUtime=0.54 cores=0,2,4,6
/proc/25228/task/25244/stat : 25244 (java) S 25226 25228 24779 0 -1 4202560 6821 0 0 0 52 2 0 0 15 0 19 0 912178403 10804142080 111288 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25245] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25245/stat : 25245 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 111292 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25246] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25246/stat : 25246 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912178403 10804142080 111295 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25247] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25247/stat : 25247 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178427 10804142080 111298 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10550920
[startup+3.10095 s]
/proc/loadavg: 2.01 2.02 1.95 3/564 25247
/proc/meminfo: memFree=21524900/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10550920 CPUtime=4.33 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 311456 0 1 0 396 37 0 0 25 0 19 0 912178397 10804142080 307278 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2637730 307284 2235 9 0 2628464 0
[pid=25228/tid=25229] ppid=25226 vsize=10550920 CPUtime=3.08 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 298841 0 1 0 274 34 0 0 18 0 19 0 912178398 10804142080 307288 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912505854794 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25228/tid=25231] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25231/stat : 25231 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307291 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25232] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25232/stat : 25232 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307295 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25233] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25233/stat : 25233 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307299 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25234] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25234/stat : 25234 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307304 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25235] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25235/stat : 25235 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307307 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25236] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25236/stat : 25236 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307311 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25237] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25237/stat : 25237 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307315 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25238] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25238/stat : 25238 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178399 10804142080 307319 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25239] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25239/stat : 25239 (java) S 25226 25228 24779 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 912178400 10804142080 307322 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 0 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25240] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25240/stat : 25240 (java) S 25226 25228 24779 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912178401 10804142080 307326 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25241] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25241/stat : 25241 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912178401 10804142080 307330 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25242] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25242/stat : 25242 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 307334 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747002289 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25243] ppid=25226 vsize=10550920 CPUtime=0.68 cores=0,2,4,6
/proc/25228/task/25243/stat : 25243 (java) S 25226 25228 24779 0 -1 4202560 4645 0 0 0 68 0 0 0 15 0 19 0 912178403 10804142080 307337 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25244] ppid=25226 vsize=10550920 CPUtime=0.54 cores=0,2,4,6
/proc/25228/task/25244/stat : 25244 (java) S 25226 25228 24779 0 -1 4202560 6821 0 0 0 52 2 0 0 16 0 19 0 912178403 10804142080 307342 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25245] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25245/stat : 25245 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 307346 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25246] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25246/stat : 25246 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912178403 10804142080 307349 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25247] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25247/stat : 25247 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178427 10804142080 307353 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10550920
[startup+6.30138 s]
/proc/loadavg: 2.01 2.02 1.95 3/564 25247
/proc/meminfo: memFree=19841020/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10550920 CPUtime=7.64 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 666912 0 1 0 690 74 0 0 25 0 19 0 912178397 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2637730 662200 2252 9 0 2628464 0
[pid=25228/tid=25229] ppid=25226 vsize=10550920 CPUtime=6.27 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 651049 0 1 0 556 71 0 0 23 0 19 0 912178398 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912506021138 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25228/tid=25231] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25231/stat : 25231 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25232] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25232/stat : 25232 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25233] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25233/stat : 25233 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25234] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25234/stat : 25234 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25235] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25235/stat : 25235 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25236] ppid=25226 vsize=10550920 CPUtime=0.01 cores=0,2,4,6
/proc/25228/task/25236/stat : 25236 (java) S 25226 25228 24779 0 -1 4202560 978 0 0 0 1 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25237] ppid=25226 vsize=10550920 CPUtime=0.01 cores=0,2,4,6
/proc/25228/task/25237/stat : 25237 (java) S 25226 25228 24779 0 -1 4202560 1125 0 0 0 1 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25238] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25238/stat : 25238 (java) S 25226 25228 24779 0 -1 4202560 1121 0 0 0 0 0 0 0 18 0 19 0 912178399 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25239] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25239/stat : 25239 (java) S 25226 25228 24779 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 912178400 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 0 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25240] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25240/stat : 25240 (java) S 25226 25228 24779 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25241] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25241/stat : 25241 (java) S 25226 25228 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25242] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25242/stat : 25242 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747002289 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25243] ppid=25226 vsize=10550920 CPUtime=0.72 cores=0,2,4,6
/proc/25228/task/25243/stat : 25243 (java) S 25226 25228 24779 0 -1 4202560 4653 0 0 0 72 0 0 0 15 0 19 0 912178403 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25244] ppid=25226 vsize=10550920 CPUtime=0.59 cores=0,2,4,6
/proc/25228/task/25244/stat : 25244 (java) S 25226 25228 24779 0 -1 4202560 6821 0 0 0 57 2 0 0 15 0 19 0 912178403 10804142080 662200 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=25228/tid=25247] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25247/stat : 25247 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178427 10804142080 1034403 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1672.37
Current children cumulated vsize (KiB) 10550920
[startup+1722.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/564 25433
/proc/meminfo: memFree=16597020/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10550920 CPUtime=1732.66 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 1048024 0 1 0 173132 134 0 0 25 0 19 0 912178397 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2637730 1038212 2265 9 0 2628464 0
[pid=25228/tid=25229] ppid=25226 vsize=10550920 CPUtime=1717.26 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 821877 0 1 0 171635 91 0 0 25 0 19 0 912178398 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912505735372 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25228/tid=25231] ppid=25226 vsize=10550920 CPUtime=1.65 cores=0,2,4,6
/proc/25228/task/25231/stat : 25231 (java) S 25226 25228 24779 0 -1 4202560 30229 0 0 0 160 5 0 0 15 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25232] ppid=25226 vsize=10550920 CPUtime=1.51 cores=0,2,4,6
/proc/25228/task/25232/stat : 25232 (java) S 25226 25228 24779 0 -1 4202560 24227 0 0 0 147 4 0 0 16 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25233] ppid=25226 vsize=10550920 CPUtime=1.58 cores=0,2,4,6
/proc/25228/task/25233/stat : 25233 (java) S 25226 25228 24779 0 -1 4202560 30192 0 0 0 153 5 0 0 15 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25234] ppid=25226 vsize=10550920 CPUtime=1.5 cores=0,2,4,6
/proc/25228/task/25234/stat : 25234 (java) S 25226 25228 24779 0 -1 4202560 27876 0 0 0 145 5 0 0 16 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25235] ppid=25226 vsize=10550920 CPUtime=1.37 cores=0,2,4,6
/proc/25228/task/25235/stat : 25235 (java) S 25226 25228 24779 0 -1 4202560 15345 0 0 0 135 2 0 0 16 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25236] ppid=25226 vsize=10550920 CPUtime=1.6 cores=0,2,4,6
/proc/25228/task/25236/stat : 25236 (java) S 25226 25228 24779 0 -1 4202560 28115 0 0 0 156 4 0 0 15 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25237] ppid=25226 vsize=10550920 CPUtime=1.78 cores=0,2,4,6
/proc/25228/task/25237/stat : 25237 (java) S 25226 25228 24779 0 -1 4202560 27215 0 0 0 174 4 0 0 15 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25238] ppid=25226 vsize=10550920 CPUtime=1.65 cores=0,2,4,6
/proc/25228/task/25238/stat : 25238 (java) S 25226 25228 24779 0 -1 4202560 28815 0 0 0 160 5 0 0 16 0 19 0 912178399 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25239] ppid=25226 vsize=10550920 CPUtime=1.08 cores=0,2,4,6
/proc/25228/task/25239/stat : 25239 (java) S 25226 25228 24779 0 -1 4202560 1356 0 0 0 106 2 0 0 15 0 19 0 912178400 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 0 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25240] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25240/stat : 25240 (java) S 25226 25228 24779 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25241] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25241/stat : 25241 (java) S 25226 25228 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25242] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25242/stat : 25242 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747002289 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25243] ppid=25226 vsize=10550920 CPUtime=0.76 cores=0,2,4,6
/proc/25228/task/25243/stat : 25243 (java) S 25226 25228 24779 0 -1 4202560 4658 0 0 0 76 0 0 0 15 0 19 0 912178403 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25244] ppid=25226 vsize=10550920 CPUtime=0.8 cores=0,2,4,6
/proc/25228/task/25244/stat : 25244 (java) S 25226 25228 24779 0 -1 4202560 6868 0 0 0 78 2 0 0 15 0 19 0 912178403 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25245] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25245/stat : 25245 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25246] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25246/stat : 25246 (java) S 25226 25228 24779 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912178403 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25247] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25247/stat : 25247 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178427 10804142080 1038212 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1732.66
Current children cumulated vsize (KiB) 10550920
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/564 25435
/proc/meminfo: memFree=16571080/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10550920 CPUtime=1793 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 1051612 0 1 0 179165 135 0 0 25 0 19 0 912178397 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2637730 1041683 2265 9 0 2628464 0
[pid=25228/tid=25229] ppid=25226 vsize=10550920 CPUtime=1777.13 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 821882 0 1 0 177622 91 0 0 25 0 19 0 912178398 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912505854858 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25228/tid=25231] ppid=25226 vsize=10550920 CPUtime=1.73 cores=0,2,4,6
/proc/25228/task/25231/stat : 25231 (java) S 25226 25228 24779 0 -1 4202560 30638 0 0 0 168 5 0 0 16 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25232] ppid=25226 vsize=10550920 CPUtime=1.55 cores=0,2,4,6
/proc/25228/task/25232/stat : 25232 (java) S 25226 25228 24779 0 -1 4202560 24456 0 0 0 151 4 0 0 16 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25233] ppid=25226 vsize=10550920 CPUtime=1.68 cores=0,2,4,6
/proc/25228/task/25233/stat : 25233 (java) S 25226 25228 24779 0 -1 4202560 30910 0 0 0 162 6 0 0 16 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25234] ppid=25226 vsize=10550920 CPUtime=1.57 cores=0,2,4,6
/proc/25228/task/25234/stat : 25234 (java) S 25226 25228 24779 0 -1 4202560 28575 0 0 0 152 5 0 0 16 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25235] ppid=25226 vsize=10550920 CPUtime=1.4 cores=0,2,4,6
/proc/25228/task/25235/stat : 25235 (java) S 25226 25228 24779 0 -1 4202560 15601 0 0 0 138 2 0 0 15 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25236] ppid=25226 vsize=10550920 CPUtime=1.65 cores=0,2,4,6
/proc/25228/task/25236/stat : 25236 (java) S 25226 25228 24779 0 -1 4202560 28380 0 0 0 161 4 0 0 16 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25237] ppid=25226 vsize=10550920 CPUtime=1.83 cores=0,2,4,6
/proc/25228/task/25237/stat : 25237 (java) S 25226 25228 24779 0 -1 4202560 27574 0 0 0 179 4 0 0 16 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25238] ppid=25226 vsize=10550920 CPUtime=1.72 cores=0,2,4,6
/proc/25228/task/25238/stat : 25238 (java) S 25226 25228 24779 0 -1 4202560 29457 0 0 0 167 5 0 0 16 0 19 0 912178399 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25239] ppid=25226 vsize=10550920 CPUtime=1.08 cores=0,2,4,6
/proc/25228/task/25239/stat : 25239 (java) S 25226 25228 24779 0 -1 4202560 1358 0 0 0 106 2 0 0 15 0 19 0 912178400 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 0 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25240] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25240/stat : 25240 (java) S 25226 25228 24779 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25241] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25241/stat : 25241 (java) S 25226 25228 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25242] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25242/stat : 25242 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747002289 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25243] ppid=25226 vsize=10550920 CPUtime=0.76 cores=0,2,4,6
/proc/25228/task/25243/stat : 25243 (java) S 25226 25228 24779 0 -1 4202560 4658 0 0 0 76 0 0 0 15 0 19 0 912178403 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25244] ppid=25226 vsize=10550920 CPUtime=0.8 cores=0,2,4,6
/proc/25228/task/25244/stat : 25244 (java) S 25226 25228 24779 0 -1 4202560 6868 0 0 0 78 2 0 0 15 0 19 0 912178403 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25245] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25245/stat : 25245 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25246] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25246/stat : 25246 (java) S 25226 25228 24779 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 912178403 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25247] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25247/stat : 25247 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178427 10804142080 1041683 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1793
Current children cumulated vsize (KiB) 10550920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/564 25444
/proc/meminfo: memFree=16563644/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=10550920 CPUtime=1800.1 cores=0,2,4,6
/proc/25228/stat : 25228 (java) S 25226 25228 24779 0 -1 4202496 1052311 0 1 0 179875 135 0 0 25 0 19 0 912178397 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 2637730 1042370 2265 9 0 2628464 0
[pid=25228/tid=25229] ppid=25226 vsize=10550920 CPUtime=1784.11 cores=0,2,4,6
/proc/25228/task/25229/stat : 25229 (java) R 25226 25228 24779 0 -1 4202560 821883 0 1 0 178320 91 0 0 25 0 19 0 912178398 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 46912506012354 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25228/tid=25231] ppid=25226 vsize=10550920 CPUtime=1.73 cores=0,2,4,6
/proc/25228/task/25231/stat : 25231 (java) S 25226 25228 24779 0 -1 4202560 30638 0 0 0 168 5 0 0 16 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25232] ppid=25226 vsize=10550920 CPUtime=1.55 cores=0,2,4,6
/proc/25228/task/25232/stat : 25232 (java) S 25226 25228 24779 0 -1 4202560 24456 0 0 0 151 4 0 0 15 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25233] ppid=25226 vsize=10550920 CPUtime=1.7 cores=0,2,4,6
/proc/25228/task/25233/stat : 25233 (java) S 25226 25228 24779 0 -1 4202560 31157 0 0 0 164 6 0 0 16 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25234] ppid=25226 vsize=10550920 CPUtime=1.59 cores=0,2,4,6
/proc/25228/task/25234/stat : 25234 (java) S 25226 25228 24779 0 -1 4202560 28577 0 0 0 154 5 0 0 16 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25235] ppid=25226 vsize=10550920 CPUtime=1.43 cores=0,2,4,6
/proc/25228/task/25235/stat : 25235 (java) S 25226 25228 24779 0 -1 4202560 15940 0 0 0 141 2 0 0 16 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25236] ppid=25226 vsize=10550920 CPUtime=1.65 cores=0,2,4,6
/proc/25228/task/25236/stat : 25236 (java) S 25226 25228 24779 0 -1 4202560 28380 0 0 0 161 4 0 0 15 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25237] ppid=25226 vsize=10550920 CPUtime=1.84 cores=0,2,4,6
/proc/25228/task/25237/stat : 25237 (java) S 25226 25228 24779 0 -1 4202560 27600 0 0 0 180 4 0 0 16 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25238] ppid=25226 vsize=10550920 CPUtime=1.75 cores=0,2,4,6
/proc/25228/task/25238/stat : 25238 (java) S 25226 25228 24779 0 -1 4202560 29539 0 0 0 170 5 0 0 16 0 19 0 912178399 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25239] ppid=25226 vsize=10550920 CPUtime=1.08 cores=0,2,4,6
/proc/25228/task/25239/stat : 25239 (java) S 25226 25228 24779 0 -1 4202560 1360 0 0 0 106 2 0 0 15 0 19 0 912178400 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 0 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25240] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25240/stat : 25240 (java) S 25226 25228 24779 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25241] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25241/stat : 25241 (java) S 25226 25228 24779 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912178401 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25242] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25242/stat : 25242 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216747002289 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25243] ppid=25226 vsize=10550920 CPUtime=0.76 cores=0,2,4,6
/proc/25228/task/25243/stat : 25243 (java) S 25226 25228 24779 0 -1 4202560 4658 0 0 0 76 0 0 0 15 0 19 0 912178403 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 2 0 0 0
[pid=25228/tid=25244] ppid=25226 vsize=10550920 CPUtime=0.8 cores=0,2,4,6
/proc/25228/task/25244/stat : 25244 (java) S 25226 25228 24779 0 -1 4202560 6868 0 0 0 78 2 0 0 15 0 19 0 912178403 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 6 0 0 0
[pid=25228/tid=25245] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25245/stat : 25245 (java) S 25226 25228 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178403 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746994585 0 4 0 16800975 18446604441767270528 0 0 -1 4 0 0 0
[pid=25228/tid=25246] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25246/stat : 25246 (java) S 25226 25228 24779 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 912178403 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
[pid=25228/tid=25247] ppid=25226 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/25228/task/25247/stat : 25247 (java) S 25226 25228 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178427 10804142080 1042370 33554432000 1073741824 1073778376 140734569598608 18446744073709551615 216746995200 0 4 0 16800975 18446604441767270528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10550920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.43 s]
/proc/loadavg: 2.04 2.06 2.01 3/564 25444
/proc/meminfo: memFree=16563644/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/25228/stat : 25228 (java) Z 25226 25228 24779 0 -1 4203548 1052345 0 1 0 179882 142 0 0 17 0 2 0 912178397 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 0 0 0 0 0 0 0
[pid=25228/tid=25245] ppid=25226 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/25228/task/25245/stat : 25245 (java) R 25226 25228 24779 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 912178403 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
[startup+1789.5 s]
/proc/loadavg: 2.04 2.06 2.01 3/564 25444
/proc/meminfo: memFree=16563644/32951124 swapFree=56241860/67111528
[pid=25228] ppid=25226 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/25228/stat : 25228 (java) Z 25226 25228 24779 0 -1 4203548 1052345 0 1 0 179882 150 0 0 17 0 2 0 912178397 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25228/statm: 0 0 0 0 0 0 0
[pid=25228/tid=25245] ppid=25226 vsize=0 CPUtime=0.14 cores=0,2,4,6
/proc/25228/task/25245/stat : 25245 (java) R 25226 25228 24779 0 -1 4203588 1 0 0 0 0 14 0 0 18 0 2 0 912178403 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.54
CPU time (s): 1800.36
CPU user time (s): 1798.83
CPU system time (s): 1.53477
CPU usage (%): 100.605
Max. virtual memory (cumulated for all children) (KiB): 10550920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.53477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1052345
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= 42215
involuntary context switches= 18900
runsolver used 10.5044 second user time and 21.2658 second system time
The end