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-3456134-1307663497/watcher-3456134-1307663497 -o /tmp/evaluation-result-3456134-1307663497/solver-3456134-1307663497 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456134-1307663497.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.92 1.98 1.91 2/192 4382
/proc/meminfo: memFree=28641816/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4382/stat : 4382 (java) R 4380 4382 787 0 -1 4202496 884 0 0 0 0 0 0 0 25 0 1 0 877950106 23580672 628 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253635897109 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4382/statm: 5757 642 473 9 0 124 0
[startup+0.060948 s]
/proc/loadavg: 1.92 1.98 1.91 2/192 4382
/proc/meminfo: memFree=28641816/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10471728 CPUtime=0.04 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 11591 0 1 0 3 1 0 0 25 0 17 0 877950106 10723049472 11288 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2617932 11288 1716 9 0 2608680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10471728
[startup+0.100932 s]
/proc/loadavg: 1.92 1.98 1.91 2/192 4382
/proc/meminfo: memFree=28641816/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10540060 CPUtime=0.1 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 13057 0 1 0 8 2 0 0 25 0 18 0 877950106 10793021440 12718 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2635015 12720 2093 9 0 2625749 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540060
[startup+0.300859 s]
/proc/loadavg: 1.92 1.98 1.91 2/192 4382
/proc/meminfo: memFree=28641816/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10541552 CPUtime=0.48 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 15599 0 1 0 46 2 0 0 25 0 18 0 877950106 10794549248 15110 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2635388 15111 2216 9 0 2626122 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541552
[startup+0.70079 s]
/proc/loadavg: 1.92 1.98 1.91 2/192 4382
/proc/meminfo: memFree=28641816/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10547780 CPUtime=1.62 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 37198 0 1 0 157 5 0 0 25 0 19 0 877950106 10800926720 33416 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2636945 33416 2232 9 0 2627679 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10547780
[startup+1.50068 s]
/proc/loadavg: 1.92 1.98 1.91 3/211 4401
/proc/meminfo: memFree=28421972/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10548832 CPUtime=2.63 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 99894 0 1 0 252 11 0 0 25 0 19 0 877950106 10802003968 96111 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2637208 96116 2236 9 0 2627942 0
[pid=4382/tid=4384] ppid=4380 vsize=10548832 CPUtime=1.47 cores=1,3,5,7
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 787 0 -1 4202560 89436 0 1 0 138 9 0 0 18 0 19 0 877950107 10802003968 96120 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 46912505622378 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877950109 10802003968 96123 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 96126 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 96129 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 96132 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 96136 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 96139 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 96142 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877950109 10802003968 96145 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 787 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877950110 10802003968 96148 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 0 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 787 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 877950110 10802003968 96151 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 877950110 10802003968 96154 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10802003968 96157 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652683185 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=10548832 CPUtime=0.59 cores=1,3,5,7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 787 0 -1 4202560 6357 0 0 0 59 0 0 0 20 0 19 0 877950112 10802003968 96159 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=10548832 CPUtime=0.53 cores=1,3,5,7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 787 0 -1 4202560 2949 0 0 0 53 0 0 0 19 0 19 0 877950112 10802003968 96162 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10802003968 96165 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 787 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877950112 10802003968 96168 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877950139 10802003968 96170 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10548832
[startup+3.1014 s]
/proc/loadavg: 1.92 1.98 1.91 3/211 4401
/proc/meminfo: memFree=28065100/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10548832 CPUtime=4.26 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 230893 0 1 0 401 25 0 0 25 0 19 0 877950106 10802003968 227109 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2637208 227111 2238 9 0 2627942 0
[pid=4382/tid=4384] ppid=4380 vsize=10548832 CPUtime=3.08 cores=1,3,5,7
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 787 0 -1 4202560 220428 0 1 0 285 23 0 0 19 0 19 0 877950107 10802003968 227113 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 46912505694552 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877950109 10802003968 227114 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 227115 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 227116 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 227117 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 227118 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 227118 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10802003968 227120 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877950109 10802003968 227121 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 787 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877950110 10802003968 227126 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 0 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 787 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 877950110 10802003968 227129 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 877950110 10802003968 227133 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10802003968 227138 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652683185 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=10548832 CPUtime=0.6 cores=1,3,5,7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 787 0 -1 4202560 6357 0 0 0 60 0 0 0 15 0 19 0 877950112 10802003968 227140 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=10548832 CPUtime=0.54 cores=1,3,5,7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 787 0 -1 4202560 2951 0 0 0 54 0 0 0 15 0 19 0 877950112 10802003968 227143 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10802003968 227147 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 787 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877950112 10802003968 227151 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=10548832 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877950139 10802003968 227155 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 10548832
[startup+6.30082 s]
/proc/loadavg: 1.93 1.98 1.91 3/211 4402
/proc/meminfo: memFree=27024748/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10547336 CPUtime=7.55 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 475013 0 1 0 702 53 0 0 25 0 19 0 877950106 10800472064 470446 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2636834 470452 2239 9 0 2627568 0
[pid=4382/tid=4384] ppid=4380 vsize=10547336 CPUtime=6.28 cores=1,3,5,7
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 787 0 -1 4202560 464175 0 1 0 577 51 0 0 21 0 19 0 877950107 10800472064 470455 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 46912505738233 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877950109 10800472064 470457 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10800472064 470460 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10800472064 470464 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10800472064 470467 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10800472064 470469 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10800472064 470472 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877950109 10800472064 470475 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877950109 10800472064 470479 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 787 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877950110 10800472064 470482 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 0 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 787 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 877950110 10800472064 470484 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 877950110 10800472064 470487 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 470490 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652683185 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=10547336 CPUtime=0.65 cores=1,3,5,7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 787 0 -1 4202560 6362 0 0 0 65 0 0 0 15 0 19 0 877950112 10800472064 470492 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=10547336 CPUtime=0.59 cores=1,3,5,7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 787 0 -1 4202560 3322 0 0 0 59 0 0 0 15 0 19 0 877950112 10800472064 470495 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 470498 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 787 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 877950112 10800472064 470500 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877950139 10800472064 470503 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 10547336
[startup+12.7006 s]
################
# More data... #
################
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877950110 10800472064 994508 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 994508 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652683185 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=10547336 CPUtime=1.21 cores=1,3,5,7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 787 0 -1 4202560 9795 0 0 0 120 1 0 0 15 0 19 0 877950112 10800472064 994508 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=10547336 CPUtime=0.74 cores=1,3,5,7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 787 0 -1 4202560 3351 0 0 0 74 0 0 0 15 0 19 0 877950112 10800472064 994508 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 994508 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 787 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 877950112 10800472064 994508 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877950139 10800472064 994508 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1669.64
Current children cumulated vsize (KiB) 10547336
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/211 4518
/proc/meminfo: memFree=24715408/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10547336 CPUtime=1729.75 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 1005624 0 1 0 172861 114 0 0 25 0 19 0 877950106 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2636834 995080 2269 9 0 2627568 0
[pid=4382/tid=4384] ppid=4380 vsize=10547336 CPUtime=1718.92 cores=1,3,5,7
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 787 0 -1 4202560 783438 0 1 0 171811 81 0 0 25 0 19 0 877950107 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 46912505696256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=10547336 CPUtime=1.01 cores=1,3,5,7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 787 0 -1 4202560 35570 0 0 0 96 5 0 0 16 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=10547336 CPUtime=0.73 cores=1,3,5,7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 787 0 -1 4202560 22047 0 0 0 70 3 0 0 16 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=10547336 CPUtime=0.98 cores=1,3,5,7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 787 0 -1 4202560 23683 0 0 0 95 3 0 0 16 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=10547336 CPUtime=0.83 cores=1,3,5,7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 787 0 -1 4202560 22942 0 0 0 80 3 0 0 15 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=10547336 CPUtime=1 cores=1,3,5,7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 787 0 -1 4202560 21428 0 0 0 97 3 0 0 15 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=10547336 CPUtime=0.94 cores=1,3,5,7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 787 0 -1 4202560 26401 0 0 0 91 3 0 0 15 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=10547336 CPUtime=0.95 cores=1,3,5,7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 787 0 -1 4202560 23545 0 0 0 93 2 0 0 16 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=10547336 CPUtime=0.85 cores=1,3,5,7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 787 0 -1 4202560 21882 0 0 0 83 2 0 0 15 0 19 0 877950109 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=10547336 CPUtime=1.48 cores=1,3,5,7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 787 0 -1 4202560 10292 0 0 0 146 2 0 0 15 0 19 0 877950110 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 0 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 787 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877950110 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877950110 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652683185 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=10547336 CPUtime=1.21 cores=1,3,5,7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 787 0 -1 4202560 9795 0 0 0 120 1 0 0 15 0 19 0 877950112 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=10547336 CPUtime=0.74 cores=1,3,5,7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 787 0 -1 4202560 3351 0 0 0 74 0 0 0 15 0 19 0 877950112 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 787 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 877950112 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877950139 10800472064 995080 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1729.75
Current children cumulated vsize (KiB) 10547336
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/211 4520
/proc/meminfo: memFree=24707644/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10547336 CPUtime=1789.91 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 1006647 0 1 0 178877 114 0 0 25 0 19 0 877950106 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2636834 996074 2269 9 0 2627568 0
[pid=4382/tid=4384] ppid=4380 vsize=10547336 CPUtime=1778.86 cores=1,3,5,7
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 787 0 -1 4202560 783441 0 1 0 177805 81 0 0 25 0 19 0 877950107 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 46912505681898 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=10547336 CPUtime=1.03 cores=1,3,5,7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 787 0 -1 4202560 35672 0 0 0 98 5 0 0 16 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=10547336 CPUtime=0.74 cores=1,3,5,7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 787 0 -1 4202560 22184 0 0 0 71 3 0 0 15 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=10547336 CPUtime=1 cores=1,3,5,7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 787 0 -1 4202560 23806 0 0 0 97 3 0 0 15 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=10547336 CPUtime=0.87 cores=1,3,5,7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 787 0 -1 4202560 23073 0 0 0 84 3 0 0 16 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=10547336 CPUtime=1.03 cores=1,3,5,7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 787 0 -1 4202560 21656 0 0 0 100 3 0 0 15 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=10547336 CPUtime=0.96 cores=1,3,5,7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 787 0 -1 4202560 26489 0 0 0 93 3 0 0 16 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=10547336 CPUtime=0.99 cores=1,3,5,7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 787 0 -1 4202560 23654 0 0 0 97 2 0 0 16 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=10547336 CPUtime=0.87 cores=1,3,5,7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 787 0 -1 4202560 21976 0 0 0 85 2 0 0 16 0 19 0 877950109 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=10547336 CPUtime=1.48 cores=1,3,5,7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 787 0 -1 4202560 10296 0 0 0 146 2 0 0 15 0 19 0 877950110 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 0 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 787 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877950110 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877950110 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652683185 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=10547336 CPUtime=1.21 cores=1,3,5,7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 787 0 -1 4202560 9795 0 0 0 120 1 0 0 15 0 19 0 877950112 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=10547336 CPUtime=0.74 cores=1,3,5,7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 787 0 -1 4202560 3351 0 0 0 74 0 0 0 15 0 19 0 877950112 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 787 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 877950112 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877950139 10800472064 996074 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1789.91
Current children cumulated vsize (KiB) 10547336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.4 s]
/proc/loadavg: 2.01 2.00 1.93 3/211 4520
/proc/meminfo: memFree=24704896/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=10547336 CPUtime=1800.08 cores=1,3,5,7
/proc/4382/stat : 4382 (java) S 4380 4382 787 0 -1 4202496 1006847 0 1 0 179894 114 0 0 25 0 19 0 877950106 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 2636834 996269 2269 9 0 2627568 0
[pid=4382/tid=4384] ppid=4380 vsize=10547336 CPUtime=1788.95 cores=1,3,5,7
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 787 0 -1 4202560 783442 0 1 0 178814 81 0 0 25 0 19 0 877950107 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 46912505696269 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=10547336 CPUtime=1.04 cores=1,3,5,7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 787 0 -1 4202560 35672 0 0 0 99 5 0 0 15 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=10547336 CPUtime=0.76 cores=1,3,5,7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 787 0 -1 4202560 22270 0 0 0 73 3 0 0 16 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=10547336 CPUtime=1 cores=1,3,5,7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 787 0 -1 4202560 23806 0 0 0 97 3 0 0 15 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=10547336 CPUtime=0.88 cores=1,3,5,7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 787 0 -1 4202560 23076 0 0 0 85 3 0 0 16 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=10547336 CPUtime=1.06 cores=1,3,5,7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 787 0 -1 4202560 21716 0 0 0 103 3 0 0 16 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 7 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=10547336 CPUtime=0.96 cores=1,3,5,7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 787 0 -1 4202560 26489 0 0 0 93 3 0 0 15 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=10547336 CPUtime=1.01 cores=1,3,5,7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 787 0 -1 4202560 23704 0 0 0 99 2 0 0 16 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=10547336 CPUtime=0.87 cores=1,3,5,7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 787 0 -1 4202560 21976 0 0 0 85 2 0 0 15 0 19 0 877950109 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=10547336 CPUtime=1.48 cores=1,3,5,7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 787 0 -1 4202560 10296 0 0 0 146 2 0 0 15 0 19 0 877950110 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 0 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 787 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877950110 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877950110 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652683185 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=10547336 CPUtime=1.21 cores=1,3,5,7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 787 0 -1 4202560 9795 0 0 0 120 1 0 0 15 0 19 0 877950112 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=10547336 CPUtime=0.74 cores=1,3,5,7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 787 0 -1 4202560 3351 0 0 0 74 0 0 0 15 0 19 0 877950112 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877950112 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652675481 0 4 0 16800975 18446604459671730048 0 0 -1 3 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 787 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 877950112 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 5 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=10547336 CPUtime=0 cores=1,3,5,7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877950139 10800472064 996269 33554432000 1073741824 1073778376 140735240071456 18446744073709551615 253652676096 0 4 0 16800975 18446604459671730048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10547336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.51 s]
/proc/loadavg: 2.01 2.00 1.93 3/211 4520
/proc/meminfo: memFree=24704896/32951124 swapFree=67060628/67111528
[pid=4382] ppid=4380 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/4382/stat : 4382 (java) Z 4380 4382 787 0 -1 4203548 1006877 0 1 0 179897 121 0 0 17 0 2 0 877950106 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4382/statm: 0 0 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/4382/task/4399/stat : 4399 (java) R 4380 4382 787 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 877950112 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.57
CPU time (s): 1800.26
CPU user time (s): 1798.98
CPU system time (s): 1.27581
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 10548832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.27581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006877
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= 38943
involuntary context switches= 19768
runsolver used 2.88956 second user time and 6.90395 second system time
The end