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-3456128-1307663462/watcher-3456128-1307663462 -o /tmp/evaluation-result-3456128-1307663462/solver-3456128-1307663462 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456128-1307663462.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.97 2.04 2.01 3/195 13541
/proc/meminfo: memFree=28163356/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 1194 0 0 0 0 0 0 0 25 0 2 0 858761514 31313920 920 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 7645 927 704 9 0 383 0
[pid=13541/tid=13542] ppid=13539 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 117 0 0 0 0 0 0 0 25 0 2 0 858761515 31260672 951 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254261614592 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0533579 s]
/proc/loadavg: 1.97 2.04 2.01 3/195 13541
/proc/meminfo: memFree=28163356/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10532740 CPUtime=0.04 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 11485 0 1 0 3 1 0 0 25 0 13 0 858761514 10785525760 11182 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2633185 11183 1685 9 0 2623933 0
[pid=13541/tid=13542] ppid=13539 vsize=10532740 CPUtime=0.04 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 10338 0 1 0 3 1 0 0 18 0 13 0 858761515 10785525760 11183 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46918903537571 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10532740
[startup+0.104389 s]
/proc/loadavg: 1.97 2.04 2.01 3/195 13541
/proc/meminfo: memFree=28163356/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10539504 CPUtime=0.1 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 13099 0 1 0 9 1 0 0 25 0 18 0 858761514 10792452096 12768 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2634876 12769 2092 9 0 2625610 0
[pid=13541/tid=13542] ppid=13539 vsize=10539504 CPUtime=0.09 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 11189 0 1 0 8 1 0 0 22 0 18 0 858761515 10792452096 12769 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273443275 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539504
[startup+0.300313 s]
/proc/loadavg: 1.97 2.04 2.01 3/195 13541
/proc/meminfo: memFree=28163356/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10541180 CPUtime=0.48 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 15692 0 1 0 46 2 0 0 25 0 18 0 858761514 10794168320 14987 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2635295 14988 2218 9 0 2626029 0
[pid=13541/tid=13542] ppid=13539 vsize=10541180 CPUtime=0.28 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 12791 0 1 0 27 1 0 0 22 0 18 0 858761515 10794168320 14988 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912505550985 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541180
[startup+0.700242 s]
/proc/loadavg: 1.97 2.04 2.01 3/195 13541
/proc/meminfo: memFree=28163356/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10551592 CPUtime=1.66 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 31278 0 1 0 162 4 0 0 25 0 19 0 858761514 10804830208 28519 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2637898 28520 2240 9 0 2628632 0
[pid=13541/tid=13542] ppid=13539 vsize=10551592 CPUtime=0.68 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 21030 0 1 0 66 2 0 0 18 0 19 0 858761515 10804830208 28520 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912505829059 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10551592
[startup+1.50111 s]
/proc/loadavg: 1.97 2.04 2.01 5/214 13560
/proc/meminfo: memFree=28026452/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10551592 CPUtime=3.02 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 81235 0 1 0 292 10 0 0 25 0 19 0 858761514 10804830208 78476 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2637898 78483 2243 9 0 2628632 0
[pid=13541/tid=13542] ppid=13539 vsize=10551592 CPUtime=1.48 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 70819 0 1 0 140 8 0 0 18 0 19 0 858761515 10804830208 78484 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912505614463 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13541/tid=13544] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13544/stat : 13544 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78488 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13545] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13545/stat : 13545 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78492 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13546] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13546/stat : 13546 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78494 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13547] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13547/stat : 13547 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78496 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13548] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13548/stat : 13548 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78501 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13549] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13549/stat : 13549 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78505 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13550] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13550/stat : 13550 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78507 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13551] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13551/stat : 13551 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 78510 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13552] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13552/stat : 13552 (java) S 13539 13541 11688 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 78514 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 0 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13553] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13553/stat : 13553 (java) S 13539 13541 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 858761518 10804830208 78518 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13554] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13554/stat : 13554 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858761518 10804830208 78520 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13555] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13555/stat : 13555 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858761520 10804830208 78522 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273440177 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13556] ppid=13539 vsize=10551592 CPUtime=0.72 cores=1,3,5,7
/proc/13541/task/13556/stat : 13556 (java) S 13539 13541 11688 0 -1 4202560 3868 0 0 0 72 0 0 0 16 0 19 0 858761520 10804830208 78526 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13557] ppid=13539 vsize=10551592 CPUtime=0.79 cores=1,3,5,7
/proc/13541/task/13557/stat : 13557 (java) S 13539 13541 11688 0 -1 4202560 5397 0 0 0 79 0 0 0 15 0 19 0 858761520 10804830208 78531 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13558] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13558/stat : 13558 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858761520 10804830208 78533 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13559] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13559/stat : 13559 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858761520 10804830208 78536 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13560] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13560/stat : 13560 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858761578 10804830208 78539 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 10551592
[startup+3.10083 s]
/proc/loadavg: 1.97 2.04 2.01 3/214 13560
/proc/meminfo: memFree=27639572/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10551592 CPUtime=4.71 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 225247 0 1 0 445 26 0 0 25 0 19 0 858761514 10804830208 222485 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2637898 222487 2243 9 0 2628632 0
[pid=13541/tid=13542] ppid=13539 vsize=10551592 CPUtime=3.08 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 214813 0 1 0 284 24 0 0 19 0 19 0 858761515 10804830208 222487 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912506090362 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13541/tid=13544] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13544/stat : 13544 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222488 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13545] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13545/stat : 13545 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222489 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13546] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13546/stat : 13546 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222490 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13547] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13547/stat : 13547 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222490 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13548] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13548/stat : 13548 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222491 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13549] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13549/stat : 13549 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222492 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13550] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13550/stat : 13550 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222492 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13551] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13551/stat : 13551 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 222493 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13552] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13552/stat : 13552 (java) S 13539 13541 11688 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 858761518 10804830208 222493 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 0 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13553] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13553/stat : 13553 (java) S 13539 13541 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 858761518 10804830208 222494 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13554] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13554/stat : 13554 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858761518 10804830208 222495 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13555] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13555/stat : 13555 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858761520 10804830208 222495 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273440177 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13556] ppid=13539 vsize=10551592 CPUtime=0.76 cores=1,3,5,7
/proc/13541/task/13556/stat : 13556 (java) S 13539 13541 11688 0 -1 4202560 3873 0 0 0 76 0 0 0 15 0 19 0 858761520 10804830208 222496 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13557] ppid=13539 vsize=10551592 CPUtime=0.84 cores=1,3,5,7
/proc/13541/task/13557/stat : 13557 (java) S 13539 13541 11688 0 -1 4202560 5403 0 0 0 84 0 0 0 15 0 19 0 858761520 10804830208 222496 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13558] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13558/stat : 13558 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858761520 10804830208 222497 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13559] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13559/stat : 13559 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858761520 10804830208 222497 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13560] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13560/stat : 13560 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858761578 10804830208 222498 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 10551592
[startup+6.30125 s]
/proc/loadavg: 1.97 2.04 2.01 3/193 13580
/proc/meminfo: memFree=30378084/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10551592 CPUtime=7.97 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 497117 0 1 0 743 54 0 0 25 0 19 0 858761514 10804830208 494352 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2637898 494353 2245 9 0 2628632 0
[pid=13541/tid=13542] ppid=13539 vsize=10551592 CPUtime=6.28 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 486674 0 1 0 575 53 0 0 21 0 19 0 858761515 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912505828790 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13541/tid=13544] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13544/stat : 13544 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13545] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13545/stat : 13545 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13546] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13546/stat : 13546 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13547] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13547/stat : 13547 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13548] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13548/stat : 13548 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13549] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13549/stat : 13549 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13550] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13550/stat : 13550 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13551] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13551/stat : 13551 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858761517 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13552] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13552/stat : 13552 (java) S 13539 13541 11688 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 858761518 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 0 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13553] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13553/stat : 13553 (java) S 13539 13541 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 858761518 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13554] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13554/stat : 13554 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858761518 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13555] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13555/stat : 13555 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858761520 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273440177 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13556] ppid=13539 vsize=10551592 CPUtime=0.81 cores=1,3,5,7
/proc/13541/task/13556/stat : 13556 (java) S 13539 13541 11688 0 -1 4202560 3880 0 0 0 81 0 0 0 15 0 19 0 858761520 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13557] ppid=13539 vsize=10551592 CPUtime=0.85 cores=1,3,5,7
/proc/13541/task/13557/stat : 13557 (java) S 13539 13541 11688 0 -1 4202560 5403 0 0 0 85 0 0 0 15 0 19 0 858761520 10804830208 494353 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/13541/task/13554/stat : 13554 (java) S 13539 13541 11688 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 978232 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13555] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13555/stat : 13555 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858761520 10804830208 978232 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273440177 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13556] ppid=13539 vsize=10551592 CPUtime=0.96 cores=1,3,5,7
/proc/13541/task/13556/stat : 13556 (java) S 13539 13541 11688 0 -1 4202560 3950 0 0 0 96 0 0 0 15 0 19 0 858761520 10804830208 978232 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13557] ppid=13539 vsize=10551592 CPUtime=1 cores=1,3,5,7
/proc/13541/task/13557/stat : 13557 (java) S 13539 13541 11688 0 -1 4202560 5429 0 0 0 100 0 0 0 15 0 19 0 858761520 10804830208 978232 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13558] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13558/stat : 13558 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858761520 10804830208 978232 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13559] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13559/stat : 13559 (java) S 13539 13541 11688 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858761520 10804830208 978232 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13560] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13560/stat : 13560 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858761578 10804830208 978232 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.61
Current children cumulated vsize (KiB) 10551592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13788
/proc/meminfo: memFree=24238488/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10551592 CPUtime=1728.7 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 984543 0 1 0 172763 107 0 0 25 0 19 0 858761514 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2637898 979121 2259 9 0 2628632 0
[pid=13541/tid=13542] ppid=13539 vsize=10551592 CPUtime=1720.74 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 792557 0 1 0 171992 82 0 0 25 0 19 0 858761515 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912506175238 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13541/tid=13544] ppid=13539 vsize=10551592 CPUtime=0.67 cores=1,3,5,7
/proc/13541/task/13544/stat : 13544 (java) S 13539 13541 11688 0 -1 4202560 25347 0 0 0 64 3 0 0 16 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13545] ppid=13539 vsize=10551592 CPUtime=0.69 cores=1,3,5,7
/proc/13541/task/13545/stat : 13545 (java) S 13539 13541 11688 0 -1 4202560 19682 0 0 0 68 1 0 0 15 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13546] ppid=13539 vsize=10551592 CPUtime=0.78 cores=1,3,5,7
/proc/13541/task/13546/stat : 13546 (java) S 13539 13541 11688 0 -1 4202560 21986 0 0 0 76 2 0 0 16 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13547] ppid=13539 vsize=10551592 CPUtime=0.76 cores=1,3,5,7
/proc/13541/task/13547/stat : 13547 (java) S 13539 13541 11688 0 -1 4202560 24810 0 0 0 73 3 0 0 16 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13548] ppid=13539 vsize=10551592 CPUtime=0.67 cores=1,3,5,7
/proc/13541/task/13548/stat : 13548 (java) S 13539 13541 11688 0 -1 4202560 20008 0 0 0 65 2 0 0 15 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13549] ppid=13539 vsize=10551592 CPUtime=0.62 cores=1,3,5,7
/proc/13541/task/13549/stat : 13549 (java) S 13539 13541 11688 0 -1 4202560 16626 0 0 0 60 2 0 0 16 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13550] ppid=13539 vsize=10551592 CPUtime=0.88 cores=1,3,5,7
/proc/13541/task/13550/stat : 13550 (java) S 13539 13541 11688 0 -1 4202560 28413 0 0 0 84 4 0 0 16 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13551] ppid=13539 vsize=10551592 CPUtime=0.8 cores=1,3,5,7
/proc/13541/task/13551/stat : 13551 (java) S 13539 13541 11688 0 -1 4202560 24378 0 0 0 78 2 0 0 15 0 19 0 858761517 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13552] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13552/stat : 13552 (java) S 13539 13541 11688 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 858761518 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 0 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13553] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13553/stat : 13553 (java) S 13539 13541 11688 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13554] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13554/stat : 13554 (java) S 13539 13541 11688 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13555] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13555/stat : 13555 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858761520 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273440177 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13556] ppid=13539 vsize=10551592 CPUtime=0.96 cores=1,3,5,7
/proc/13541/task/13556/stat : 13556 (java) S 13539 13541 11688 0 -1 4202560 3950 0 0 0 96 0 0 0 15 0 19 0 858761520 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13557] ppid=13539 vsize=10551592 CPUtime=1 cores=1,3,5,7
/proc/13541/task/13557/stat : 13557 (java) S 13539 13541 11688 0 -1 4202560 5429 0 0 0 100 0 0 0 15 0 19 0 858761520 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13558] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13558/stat : 13558 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858761520 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13559] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13559/stat : 13559 (java) S 13539 13541 11688 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 858761520 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13560] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13560/stat : 13560 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858761578 10804830208 979121 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.7
Current children cumulated vsize (KiB) 10551592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13790
/proc/meminfo: memFree=24235336/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10551592 CPUtime=1788.8 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 985091 0 1 0 178773 107 0 0 25 0 19 0 858761514 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2637898 979655 2259 9 0 2628632 0
[pid=13541/tid=13542] ppid=13539 vsize=10551592 CPUtime=1780.71 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 792559 0 1 0 177989 82 0 0 25 0 19 0 858761515 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912506175238 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13541/tid=13544] ppid=13539 vsize=10551592 CPUtime=0.69 cores=1,3,5,7
/proc/13541/task/13544/stat : 13544 (java) S 13539 13541 11688 0 -1 4202560 25481 0 0 0 66 3 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13545] ppid=13539 vsize=10551592 CPUtime=0.69 cores=1,3,5,7
/proc/13541/task/13545/stat : 13545 (java) S 13539 13541 11688 0 -1 4202560 19682 0 0 0 68 1 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13546] ppid=13539 vsize=10551592 CPUtime=0.78 cores=1,3,5,7
/proc/13541/task/13546/stat : 13546 (java) S 13539 13541 11688 0 -1 4202560 21986 0 0 0 76 2 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13547] ppid=13539 vsize=10551592 CPUtime=0.79 cores=1,3,5,7
/proc/13541/task/13547/stat : 13547 (java) S 13539 13541 11688 0 -1 4202560 24942 0 0 0 76 3 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13548] ppid=13539 vsize=10551592 CPUtime=0.69 cores=1,3,5,7
/proc/13541/task/13548/stat : 13548 (java) S 13539 13541 11688 0 -1 4202560 20050 0 0 0 67 2 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13549] ppid=13539 vsize=10551592 CPUtime=0.64 cores=1,3,5,7
/proc/13541/task/13549/stat : 13549 (java) S 13539 13541 11688 0 -1 4202560 16626 0 0 0 62 2 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13550] ppid=13539 vsize=10551592 CPUtime=0.9 cores=1,3,5,7
/proc/13541/task/13550/stat : 13550 (java) S 13539 13541 11688 0 -1 4202560 28491 0 0 0 86 4 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13551] ppid=13539 vsize=10551592 CPUtime=0.84 cores=1,3,5,7
/proc/13541/task/13551/stat : 13551 (java) S 13539 13541 11688 0 -1 4202560 24530 0 0 0 82 2 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13552] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13552/stat : 13552 (java) S 13539 13541 11688 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 858761518 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 0 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13553] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13553/stat : 13553 (java) S 13539 13541 11688 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13554] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13554/stat : 13554 (java) S 13539 13541 11688 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13555] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13555/stat : 13555 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273440177 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13556] ppid=13539 vsize=10551592 CPUtime=0.96 cores=1,3,5,7
/proc/13541/task/13556/stat : 13556 (java) S 13539 13541 11688 0 -1 4202560 3950 0 0 0 96 0 0 0 15 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13557] ppid=13539 vsize=10551592 CPUtime=1 cores=1,3,5,7
/proc/13541/task/13557/stat : 13557 (java) S 13539 13541 11688 0 -1 4202560 5429 0 0 0 100 0 0 0 15 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13558] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13558/stat : 13558 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13559] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13559/stat : 13559 (java) S 13539 13541 11688 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13560] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13560/stat : 13560 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858761578 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.8
Current children cumulated vsize (KiB) 10551592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13790
/proc/meminfo: memFree=24234832/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=10551592 CPUtime=1800.01 cores=1,3,5,7
/proc/13541/stat : 13541 (java) S 13539 13541 11688 0 -1 4202496 985091 0 1 0 179894 107 0 0 25 0 19 0 858761514 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 2637898 979655 2259 9 0 2628632 0
[pid=13541/tid=13542] ppid=13539 vsize=10551592 CPUtime=1791.91 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4202560 792559 0 1 0 179109 82 0 0 25 0 19 0 858761515 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 46912506175238 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13541/tid=13544] ppid=13539 vsize=10551592 CPUtime=0.69 cores=1,3,5,7
/proc/13541/task/13544/stat : 13544 (java) S 13539 13541 11688 0 -1 4202560 25481 0 0 0 66 3 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13545] ppid=13539 vsize=10551592 CPUtime=0.69 cores=1,3,5,7
/proc/13541/task/13545/stat : 13545 (java) S 13539 13541 11688 0 -1 4202560 19682 0 0 0 68 1 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13546] ppid=13539 vsize=10551592 CPUtime=0.78 cores=1,3,5,7
/proc/13541/task/13546/stat : 13546 (java) S 13539 13541 11688 0 -1 4202560 21986 0 0 0 76 2 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13547] ppid=13539 vsize=10551592 CPUtime=0.79 cores=1,3,5,7
/proc/13541/task/13547/stat : 13547 (java) S 13539 13541 11688 0 -1 4202560 24942 0 0 0 76 3 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13548] ppid=13539 vsize=10551592 CPUtime=0.69 cores=1,3,5,7
/proc/13541/task/13548/stat : 13548 (java) S 13539 13541 11688 0 -1 4202560 20050 0 0 0 67 2 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 5 0 0 0
[pid=13541/tid=13549] ppid=13539 vsize=10551592 CPUtime=0.64 cores=1,3,5,7
/proc/13541/task/13549/stat : 13549 (java) S 13539 13541 11688 0 -1 4202560 16626 0 0 0 62 2 0 0 15 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13550] ppid=13539 vsize=10551592 CPUtime=0.9 cores=1,3,5,7
/proc/13541/task/13550/stat : 13550 (java) S 13539 13541 11688 0 -1 4202560 28491 0 0 0 86 4 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13551] ppid=13539 vsize=10551592 CPUtime=0.84 cores=1,3,5,7
/proc/13541/task/13551/stat : 13551 (java) S 13539 13541 11688 0 -1 4202560 24530 0 0 0 82 2 0 0 16 0 19 0 858761517 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13552] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13552/stat : 13552 (java) S 13539 13541 11688 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 858761518 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 0 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13553] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13553/stat : 13553 (java) S 13539 13541 11688 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13554] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13554/stat : 13554 (java) S 13539 13541 11688 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858761518 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
[pid=13541/tid=13555] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13555/stat : 13555 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273440177 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13556] ppid=13539 vsize=10551592 CPUtime=0.96 cores=1,3,5,7
/proc/13541/task/13556/stat : 13556 (java) S 13539 13541 11688 0 -1 4202560 3950 0 0 0 96 0 0 0 15 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13557] ppid=13539 vsize=10551592 CPUtime=1 cores=1,3,5,7
/proc/13541/task/13557/stat : 13557 (java) S 13539 13541 11688 0 -1 4202560 5429 0 0 0 100 0 0 0 15 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13558] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13558/stat : 13558 (java) S 13539 13541 11688 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273432473 0 4 0 16800975 18446604462180916160 0 0 -1 1 0 0 0
[pid=13541/tid=13559] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13559/stat : 13559 (java) S 13539 13541 11688 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858761520 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 3 0 0 0
[pid=13541/tid=13560] ppid=13539 vsize=10551592 CPUtime=0 cores=1,3,5,7
/proc/13541/task/13560/stat : 13560 (java) S 13539 13541 11688 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 858761578 10804830208 979655 33554432000 1073741824 1073778376 140736828471072 18446744073709551615 254273433088 0 4 0 16800975 18446604462180916160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10551592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13790
/proc/meminfo: memFree=24234832/32951124 swapFree=67057920/67111528
[pid=13541] ppid=13539 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/13541/stat : 13541 (java) Z 13539 13541 11688 0 -1 4203548 985122 0 1 0 179896 115 0 0 17 0 2 0 858761514 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13541/statm: 0 0 0 0 0 0 0
[pid=13541/tid=13542] ppid=13539 vsize=0 CPUtime=1792.01 cores=1,3,5,7
/proc/13541/task/13542/stat : 13542 (java) R 13539 13541 11688 0 -1 4203588 792559 0 1 0 179111 90 0 0 25 0 2 0 858761515 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.68
CPU time (s): 1800.19
CPU user time (s): 1798.97
CPU system time (s): 1.22181
CPU usage (%): 100.363
Max. virtual memory (cumulated for all children) (KiB): 10551592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.22181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985122
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= 38867
involuntary context switches= 5349
runsolver used 2.96555 second user time and 6.83496 second system time
The end