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-3456136-1307663562/watcher-3456136-1307663562 -o /tmp/evaluation-result-3456136-1307663562/solver-3456136-1307663562 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456136-1307663562.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.98 2.00 2.00 2/196 24494
/proc/meminfo: memFree=28314492/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/24494/stat : 24494 (java) R 24492 24494 22550 0 -1 4202496 1106 0 0 0 0 0 0 0 17 0 1 0 877954389 23580672 849 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 47965878404826 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24494/statm: 5744 845 636 9 0 124 0
[pid=24494/tid=24495] ppid=24492 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 2 0 877954390 24580096 860 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232335296078 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.0103691 s]
/proc/loadavg: 1.98 2.00 2.00 2/196 24494
/proc/meminfo: memFree=28314492/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 1371 0 1 0 0 0 0 0 17 0 2 0 877954389 37810176 1073 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 9231 1073 833 9 0 387 0
[pid=24494/tid=24495] ppid=24492 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) S 24492 24494 22550 0 -1 4202560 256 0 1 0 0 0 0 0 18 0 2 0 877954390 37810176 1073 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232335890491 0 2147483391 0 16784584 18446744071699453118 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36924
[startup+0.106316 s]
/proc/loadavg: 1.98 2.00 2.00 2/196 24494
/proc/meminfo: memFree=28314492/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10540256 CPUtime=0.11 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 13169 0 1 0 10 1 0 0 17 0 18 0 877954389 10793222144 12804 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2635064 12804 2092 9 0 2625798 0
[pid=24494/tid=24495] ppid=24492 vsize=10540256 CPUtime=0.09 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 11220 0 1 0 8 1 0 0 18 0 18 0 877954390 10793222144 12804 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540256
[startup+0.300279 s]
/proc/loadavg: 1.98 2.00 2.00 2/196 24494
/proc/meminfo: memFree=28314492/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10541376 CPUtime=0.45 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 15400 0 1 0 43 2 0 0 17 0 18 0 877954389 10794369024 14762 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2635344 14763 2206 9 0 2626078 0
[pid=24494/tid=24495] ppid=24492 vsize=10541376 CPUtime=0.28 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 12576 0 1 0 27 1 0 0 18 0 18 0 877954390 10794369024 14763 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505596214 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541376
[startup+0.701152 s]
/proc/loadavg: 1.98 2.00 2.00 2/196 24494
/proc/meminfo: memFree=28314492/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10553580 CPUtime=1.55 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 26502 0 1 0 152 3 0 0 17 0 19 0 877954389 10806865920 23390 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2638395 23391 2237 9 0 2629129 0
[pid=24494/tid=24495] ppid=24492 vsize=10553580 CPUtime=0.68 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 16783 0 1 0 66 2 0 0 19 0 19 0 877954390 10806865920 23391 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505616802 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10553580
[startup+1.50106 s]
/proc/loadavg: 1.98 2.00 2.00 3/215 24513
/proc/meminfo: memFree=28169960/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10553580 CPUtime=2.68 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 71013 0 1 0 258 10 0 0 17 0 19 0 877954389 10806865920 67900 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2638395 67904 2241 9 0 2629129 0
[pid=24494/tid=24495] ppid=24492 vsize=10553580 CPUtime=1.48 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 61223 0 1 0 140 8 0 0 18 0 19 0 877954390 10806865920 67904 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505612721 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24497/stat : 24497 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877954392 10806865920 67905 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24498/stat : 24498 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 67908 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24499/stat : 24499 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 67911 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24500/stat : 24500 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 67913 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24501/stat : 24501 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 67915 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24502/stat : 24502 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 67918 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24503/stat : 24503 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877954392 10806865920 67921 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24504/stat : 24504 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877954392 10806865920 67923 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24505/stat : 24505 (java) S 24492 24494 22550 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 67926 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 0 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24506/stat : 24506 (java) S 24492 24494 22550 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 877954393 10806865920 67928 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24507/stat : 24507 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 877954393 10806865920 67931 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24508/stat : 24508 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 67934 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347716017 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=10553580 CPUtime=0.57 cores=0,2,4,6
/proc/24494/task/24509/stat : 24509 (java) S 24492 24494 22550 0 -1 4202560 4683 0 0 0 57 0 0 0 15 0 19 0 877954395 10806865920 67937 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=10553580 CPUtime=0.6 cores=0,2,4,6
/proc/24494/task/24510/stat : 24510 (java) S 24492 24494 22550 0 -1 4202560 3950 0 0 0 60 0 0 0 15 0 19 0 877954395 10806865920 67940 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24511/stat : 24511 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 67942 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24512] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24512/stat : 24512 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877954395 10806865920 67945 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24513] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24513/stat : 24513 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877954440 10806865920 67948 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10553580
[startup+3.10081 s]
/proc/loadavg: 1.98 2.00 2.00 3/215 24513
/proc/meminfo: memFree=27930516/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10553580 CPUtime=4.37 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 154190 0 1 0 418 19 0 0 17 0 19 0 877954389 10806865920 151075 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2638395 151076 2242 9 0 2629129 0
[pid=24494/tid=24495] ppid=24492 vsize=10553580 CPUtime=3.08 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 144386 0 1 0 290 18 0 0 19 0 19 0 877954390 10806865920 151077 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505801767 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24497/stat : 24497 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877954392 10806865920 151078 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24498/stat : 24498 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 151079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24499/stat : 24499 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 151080 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24500/stat : 24500 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 151081 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24501/stat : 24501 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 151082 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24502/stat : 24502 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 151082 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24503/stat : 24503 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877954392 10806865920 151083 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24504/stat : 24504 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877954392 10806865920 151084 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24505/stat : 24505 (java) S 24492 24494 22550 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 151085 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 0 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24506/stat : 24506 (java) S 24492 24494 22550 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 877954393 10806865920 151086 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24507/stat : 24507 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 877954393 10806865920 151087 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24508/stat : 24508 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 151088 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347716017 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=10553580 CPUtime=0.58 cores=0,2,4,6
/proc/24494/task/24509/stat : 24509 (java) S 24492 24494 22550 0 -1 4202560 4683 0 0 0 58 0 0 0 15 0 19 0 877954395 10806865920 151089 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=10553580 CPUtime=0.69 cores=0,2,4,6
/proc/24494/task/24510/stat : 24510 (java) S 24492 24494 22550 0 -1 4202560 3962 0 0 0 69 0 0 0 15 0 19 0 877954395 10806865920 151090 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24511/stat : 24511 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 151091 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24512] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24512/stat : 24512 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877954395 10806865920 151091 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24513] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24513/stat : 24513 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877954440 10806865920 151092 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10553580
[startup+6.30123 s]
/proc/loadavg: 1.98 2.00 2.00 3/215 24513
/proc/meminfo: memFree=27154492/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10553580 CPUtime=7.68 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 345490 0 1 0 726 42 0 0 17 0 19 0 877954389 10806865920 342077 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2638395 342079 2243 9 0 2629129 0
[pid=24494/tid=24495] ppid=24492 vsize=10553580 CPUtime=6.28 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 335559 0 1 0 588 40 0 0 25 0 19 0 877954390 10806865920 342080 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505612778 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24497/stat : 24497 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877954392 10806865920 342082 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24498/stat : 24498 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 342083 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24499/stat : 24499 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 342084 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24500/stat : 24500 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 342085 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24501/stat : 24501 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 342086 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24502/stat : 24502 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877954392 10806865920 342087 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24503/stat : 24503 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877954392 10806865920 342088 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24504/stat : 24504 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877954392 10806865920 342088 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24505/stat : 24505 (java) S 24492 24494 22550 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877954393 10806865920 342089 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 0 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24506/stat : 24506 (java) S 24492 24494 22550 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 877954393 10806865920 342090 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24507/stat : 24507 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 877954393 10806865920 342091 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24508/stat : 24508 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 342091 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347716017 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=10553580 CPUtime=0.65 cores=0,2,4,6
/proc/24494/task/24509/stat : 24509 (java) S 24492 24494 22550 0 -1 4202560 4698 0 0 0 65 0 0 0 15 0 19 0 877954395 10806865920 342092 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=10553580 CPUtime=0.72 cores=0,2,4,6
/proc/24494/task/24510/stat : 24510 (java) S 24492 24494 22550 0 -1 4202560 4074 0 0 0 72 0 0 0 15 0 19 0 877954395 10806865920 342092 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/24494/task/24507/stat : 24507 (java) S 24492 24494 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 994079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24508/stat : 24508 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 994079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347716017 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=10553580 CPUtime=0.83 cores=0,2,4,6
/proc/24494/task/24509/stat : 24509 (java) S 24492 24494 22550 0 -1 4202560 4735 0 0 0 83 0 0 0 16 0 19 0 877954395 10806865920 994079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=10553580 CPUtime=1.03 cores=0,2,4,6
/proc/24494/task/24510/stat : 24510 (java) S 24492 24494 22550 0 -1 4202560 9417 0 0 0 102 1 0 0 15 0 19 0 877954395 10806865920 994079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24511/stat : 24511 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 994079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24512] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24512/stat : 24512 (java) S 24492 24494 22550 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 877954395 10806865920 994079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24513] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24513/stat : 24513 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877954440 10806865920 994079 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.26
Current children cumulated vsize (KiB) 10553580
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/215 24630
/proc/meminfo: memFree=24047512/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10553580 CPUtime=1728.36 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 1007969 0 1 0 172705 131 0 0 17 0 19 0 877954389 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2638395 996807 2270 9 0 2629129 0
[pid=24494/tid=24495] ppid=24492 vsize=10553580 CPUtime=1719.5 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 769892 0 1 0 171857 93 0 0 25 0 19 0 877954390 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505919706 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=10553580 CPUtime=0.73 cores=0,2,4,6
/proc/24494/task/24497/stat : 24497 (java) S 24492 24494 22550 0 -1 4202560 29229 0 0 0 69 4 0 0 15 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=10553580 CPUtime=0.65 cores=0,2,4,6
/proc/24494/task/24498/stat : 24498 (java) S 24492 24494 22550 0 -1 4202560 23910 0 0 0 62 3 0 0 16 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=10553580 CPUtime=0.95 cores=0,2,4,6
/proc/24494/task/24499/stat : 24499 (java) S 24492 24494 22550 0 -1 4202560 35274 0 0 0 90 5 0 0 16 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=10553580 CPUtime=0.63 cores=0,2,4,6
/proc/24494/task/24500/stat : 24500 (java) S 24492 24494 22550 0 -1 4202560 24417 0 0 0 58 5 0 0 15 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=10553580 CPUtime=0.69 cores=0,2,4,6
/proc/24494/task/24501/stat : 24501 (java) S 24492 24494 22550 0 -1 4202560 27828 0 0 0 65 4 0 0 16 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=10553580 CPUtime=0.9 cores=0,2,4,6
/proc/24494/task/24502/stat : 24502 (java) S 24492 24494 22550 0 -1 4202560 34720 0 0 0 86 4 0 0 15 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=10553580 CPUtime=0.68 cores=0,2,4,6
/proc/24494/task/24503/stat : 24503 (java) S 24492 24494 22550 0 -1 4202560 33643 0 0 0 63 5 0 0 15 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=10553580 CPUtime=0.44 cores=0,2,4,6
/proc/24494/task/24504/stat : 24504 (java) S 24492 24494 22550 0 -1 4202560 10594 0 0 0 43 1 0 0 16 0 19 0 877954392 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=10553580 CPUtime=1.21 cores=0,2,4,6
/proc/24494/task/24505/stat : 24505 (java) S 24492 24494 22550 0 -1 4202560 3059 0 0 0 121 0 0 0 15 0 19 0 877954393 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 0 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24506/stat : 24506 (java) S 24492 24494 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24507/stat : 24507 (java) S 24492 24494 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24508/stat : 24508 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347716017 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=10553580 CPUtime=0.83 cores=0,2,4,6
/proc/24494/task/24509/stat : 24509 (java) S 24492 24494 22550 0 -1 4202560 4735 0 0 0 83 0 0 0 15 0 19 0 877954395 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=10553580 CPUtime=1.04 cores=0,2,4,6
/proc/24494/task/24510/stat : 24510 (java) S 24492 24494 22550 0 -1 4202560 9418 0 0 0 103 1 0 0 16 0 19 0 877954395 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24511/stat : 24511 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24512] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24512/stat : 24512 (java) S 24492 24494 22550 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877954395 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24513] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24513/stat : 24513 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877954440 10806865920 996807 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.36
Current children cumulated vsize (KiB) 10553580
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/215 24632
/proc/meminfo: memFree=24023408/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10553580 CPUtime=1788.43 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 1009739 0 1 0 178712 131 0 0 17 0 19 0 877954389 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2638395 998545 2270 9 0 2629129 0
[pid=24494/tid=24495] ppid=24492 vsize=10553580 CPUtime=1779.48 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 769894 0 1 0 177855 93 0 0 25 0 19 0 877954390 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505813216 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=10553580 CPUtime=0.73 cores=0,2,4,6
/proc/24494/task/24497/stat : 24497 (java) S 24492 24494 22550 0 -1 4202560 29229 0 0 0 69 4 0 0 15 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=10553580 CPUtime=0.65 cores=0,2,4,6
/proc/24494/task/24498/stat : 24498 (java) S 24492 24494 22550 0 -1 4202560 23910 0 0 0 62 3 0 0 16 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=10553580 CPUtime=0.97 cores=0,2,4,6
/proc/24494/task/24499/stat : 24499 (java) S 24492 24494 22550 0 -1 4202560 35771 0 0 0 92 5 0 0 16 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=10553580 CPUtime=0.66 cores=0,2,4,6
/proc/24494/task/24500/stat : 24500 (java) S 24492 24494 22550 0 -1 4202560 24794 0 0 0 61 5 0 0 16 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=10553580 CPUtime=0.71 cores=0,2,4,6
/proc/24494/task/24501/stat : 24501 (java) S 24492 24494 22550 0 -1 4202560 28237 0 0 0 67 4 0 0 16 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=10553580 CPUtime=0.9 cores=0,2,4,6
/proc/24494/task/24502/stat : 24502 (java) S 24492 24494 22550 0 -1 4202560 34720 0 0 0 86 4 0 0 15 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=10553580 CPUtime=0.68 cores=0,2,4,6
/proc/24494/task/24503/stat : 24503 (java) S 24492 24494 22550 0 -1 4202560 33643 0 0 0 63 5 0 0 15 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=10553580 CPUtime=0.46 cores=0,2,4,6
/proc/24494/task/24504/stat : 24504 (java) S 24492 24494 22550 0 -1 4202560 11073 0 0 0 45 1 0 0 16 0 19 0 877954392 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=10553580 CPUtime=1.21 cores=0,2,4,6
/proc/24494/task/24505/stat : 24505 (java) S 24492 24494 22550 0 -1 4202560 3061 0 0 0 121 0 0 0 15 0 19 0 877954393 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 0 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24506/stat : 24506 (java) S 24492 24494 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24507/stat : 24507 (java) S 24492 24494 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24508/stat : 24508 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347716017 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=10553580 CPUtime=0.83 cores=0,2,4,6
/proc/24494/task/24509/stat : 24509 (java) S 24492 24494 22550 0 -1 4202560 4735 0 0 0 83 0 0 0 15 0 19 0 877954395 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=10553580 CPUtime=1.04 cores=0,2,4,6
/proc/24494/task/24510/stat : 24510 (java) S 24492 24494 22550 0 -1 4202560 9418 0 0 0 103 1 0 0 16 0 19 0 877954395 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24511/stat : 24511 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24512] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24512/stat : 24512 (java) S 24492 24494 22550 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877954395 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24513] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24513/stat : 24513 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877954440 10806865920 998545 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.43
Current children cumulated vsize (KiB) 10553580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.01 2.04 2.00 3/215 24632
/proc/meminfo: memFree=24012608/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=10553580 CPUtime=1800.01 cores=0,2,4,6
/proc/24494/stat : 24494 (java) S 24492 24494 22550 0 -1 4202496 1012063 0 1 0 179869 132 0 0 17 0 19 0 877954389 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 2638395 1000823 2270 9 0 2629129 0
[pid=24494/tid=24495] ppid=24492 vsize=10553580 CPUtime=1790.96 cores=0,2,4,6
/proc/24494/task/24495/stat : 24495 (java) R 24492 24494 22550 0 -1 4202560 769895 0 1 0 179003 93 0 0 25 0 19 0 877954390 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 46912505831771 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=10553580 CPUtime=0.73 cores=0,2,4,6
/proc/24494/task/24497/stat : 24497 (java) S 24492 24494 22550 0 -1 4202560 29229 0 0 0 69 4 0 0 15 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=10553580 CPUtime=0.68 cores=0,2,4,6
/proc/24494/task/24498/stat : 24498 (java) S 24492 24494 22550 0 -1 4202560 24573 0 0 0 65 3 0 0 16 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=10553580 CPUtime=0.98 cores=0,2,4,6
/proc/24494/task/24499/stat : 24499 (java) S 24492 24494 22550 0 -1 4202560 36115 0 0 0 93 5 0 0 16 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=10553580 CPUtime=0.66 cores=0,2,4,6
/proc/24494/task/24500/stat : 24500 (java) S 24492 24494 22550 0 -1 4202560 24794 0 0 0 61 5 0 0 15 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=10553580 CPUtime=0.71 cores=0,2,4,6
/proc/24494/task/24501/stat : 24501 (java) S 24492 24494 22550 0 -1 4202560 28237 0 0 0 67 4 0 0 15 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=10553580 CPUtime=0.93 cores=0,2,4,6
/proc/24494/task/24502/stat : 24502 (java) S 24492 24494 22550 0 -1 4202560 35494 0 0 0 89 4 0 0 16 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=10553580 CPUtime=0.7 cores=0,2,4,6
/proc/24494/task/24503/stat : 24503 (java) S 24492 24494 22550 0 -1 4202560 34183 0 0 0 65 5 0 0 16 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=10553580 CPUtime=0.46 cores=0,2,4,6
/proc/24494/task/24504/stat : 24504 (java) S 24492 24494 22550 0 -1 4202560 11073 0 0 0 45 1 0 0 15 0 19 0 877954392 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=10553580 CPUtime=1.21 cores=0,2,4,6
/proc/24494/task/24505/stat : 24505 (java) S 24492 24494 22550 0 -1 4202560 3063 0 0 0 121 0 0 0 15 0 19 0 877954393 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 0 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24506/stat : 24506 (java) S 24492 24494 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24507/stat : 24507 (java) S 24492 24494 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877954393 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24508/stat : 24508 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347716017 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=10553580 CPUtime=0.83 cores=0,2,4,6
/proc/24494/task/24509/stat : 24509 (java) S 24492 24494 22550 0 -1 4202560 4735 0 0 0 83 0 0 0 15 0 19 0 877954395 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 2 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=10553580 CPUtime=1.04 cores=0,2,4,6
/proc/24494/task/24510/stat : 24510 (java) S 24492 24494 22550 0 -1 4202560 9418 0 0 0 103 1 0 0 16 0 19 0 877954395 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24511/stat : 24511 (java) S 24492 24494 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877954395 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708313 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
[pid=24494/tid=24512] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24512/stat : 24512 (java) S 24492 24494 22550 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877954395 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 4 0 0 0
[pid=24494/tid=24513] ppid=24492 vsize=10553580 CPUtime=0 cores=0,2,4,6
/proc/24494/task/24513/stat : 24513 (java) S 24492 24494 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877954440 10806865920 1000823 33554432000 1073741824 1073778376 140735174898896 18446744073709551615 232347708928 0 4 0 16800975 18446604453858324736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10553580
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.91 s]
/proc/loadavg: 2.01 2.04 2.00 3/215 24632
/proc/meminfo: memFree=24012608/32951124 swapFree=67063272/67111528
[pid=24494] ppid=24492 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/24494/stat : 24494 (java) Z 24492 24494 22550 0 -1 4203548 1012092 0 1 0 179872 140 0 0 15 0 2 0 877954389 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24494/statm: 0 0 0 0 0 0 0
[pid=24494/tid=24513] ppid=24492 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/24494/task/24513/stat : 24513 (java) R 24492 24494 22550 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 877954440 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.97
CPU time (s): 1800.2
CPU user time (s): 1798.73
CPU system time (s): 1.46878
CPU usage (%): 100.347
Max. virtual memory (cumulated for all children) (KiB): 10553580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.46878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1012092
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= 37979
involuntary context switches= 4719
runsolver used 3.19451 second user time and 6.60999 second system time
The end