runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313372-1304104000/watcher-3313372-1304104000 -o /tmp/evaluation-result-3313372-1304104000/solver-3313372-1304104000 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313372-1304104000.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 4.55 5.06 4.83 2/194 6216
/proc/meminfo: memFree=30378532/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 1413 0 0 0 0 0 0 0 23 0 2 0 521999174 26714112 885 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 6793 888 679 9 0 381 0
[pid=6216/tid=6217] ppid=6214 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 2 0 521999174 29065216 898 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210199723655 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.0608719 s]
/proc/loadavg: 4.55 5.06 4.83 2/194 6216
/proc/meminfo: memFree=30378532/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 4292 0 1 0 4 1 0 0 23 0 18 0 521999174 15984414720 3732 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3902445 3732 1778 9 0 3893164 0
[pid=6216/tid=6217] ppid=6214 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 2875 0 1 0 4 0 0 0 25 0 18 0 521999174 15984414720 3732 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 46912505182412 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780
[startup+0.105919 s]
/proc/loadavg: 4.55 5.06 4.83 2/194 6216
/proc/meminfo: memFree=30378532/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=15676728 CPUtime=0.11 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 5684 0 1 0 10 1 0 0 23 0 18 0 521999174 16052969472 5124 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3919182 5124 2120 9 0 3909901 0
[pid=6216/tid=6217] ppid=6214 vsize=15676728 CPUtime=0.09 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 3573 0 1 0 8 1 0 0 18 0 18 0 521999174 16052969472 5125 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 47491180990371 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676728
[startup+0.300869 s]
/proc/loadavg: 4.55 5.06 4.83 2/194 6216
/proc/meminfo: memFree=30378532/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=15684608 CPUtime=0.51 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 16191 0 1 0 49 2 0 0 23 0 18 0 521999174 16061038592 14591 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3921152 14598 2207 9 0 3911871 0
[pid=6216/tid=6217] ppid=6214 vsize=15684608 CPUtime=0.29 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 11168 0 1 0 27 2 0 0 18 0 18 0 521999174 16061038592 14602 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 46912505637472 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15684608
[startup+0.700816 s]
/proc/loadavg: 4.55 5.06 4.83 2/194 6216
/proc/meminfo: memFree=30378532/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=15684608 CPUtime=0.92 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 42948 0 1 0 86 6 0 0 23 0 18 0 521999174 16061038592 41345 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3921152 41345 2223 9 0 3911871 0
[pid=6216/tid=6217] ppid=6214 vsize=15684608 CPUtime=0.68 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 35536 0 1 0 63 5 0 0 18 0 18 0 521999174 16061038592 41345 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 46912505550020 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15684608
[startup+1.50068 s]
/proc/loadavg: 4.55 5.06 4.83 3/212 6234
/proc/meminfo: memFree=29969212/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=15684608 CPUtime=1.75 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 76904 0 1 0 164 11 0 0 23 0 18 0 521999174 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3921152 75298 2223 9 0 3911871 0
[pid=6216/tid=6217] ppid=6214 vsize=15684608 CPUtime=1.47 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 65024 0 1 0 138 9 0 0 19 0 18 0 521999174 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 47491185739391 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6216/tid=6219] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6219/stat : 6219 (java) S 6214 6216 5740 0 -1 4202560 1339 0 0 0 0 0 0 0 15 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6220] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6220/stat : 6220 (java) S 6214 6216 5740 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6221] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6221/stat : 6221 (java) S 6214 6216 5740 0 -1 4202560 646 0 0 0 0 0 0 0 15 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6222] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6222/stat : 6222 (java) S 6214 6216 5740 0 -1 4202560 679 0 0 0 0 0 0 0 15 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6223] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6223/stat : 6223 (java) S 6214 6216 5740 0 -1 4202560 378 0 0 0 0 0 0 0 15 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6224] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6224/stat : 6224 (java) S 6214 6216 5740 0 -1 4202560 676 0 0 0 0 0 0 0 16 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6225] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6225/stat : 6225 (java) S 6214 6216 5740 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6226] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6226/stat : 6226 (java) S 6214 6216 5740 0 -1 4202560 1672 0 0 0 0 0 0 0 15 0 18 0 521999175 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6227] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6227/stat : 6227 (java) S 6214 6216 5740 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 18 0 521999176 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 0 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6228] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6228/stat : 6228 (java) S 6214 6216 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521999176 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6229] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6229/stat : 6229 (java) S 6214 6216 5740 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 521999176 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6230] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6230/stat : 6230 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521999179 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216470961 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6231] ppid=6214 vsize=15684608 CPUtime=0.1 cores=1,3,5,7
/proc/6216/task/6231/stat : 6231 (java) S 6214 6216 5740 0 -1 4202560 2275 0 0 0 10 0 0 0 17 0 18 0 521999179 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6232] ppid=6214 vsize=15684608 CPUtime=0.12 cores=1,3,5,7
/proc/6216/task/6232/stat : 6232 (java) S 6214 6216 5740 0 -1 4202560 1367 0 0 0 12 0 0 0 25 0 18 0 521999179 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521999179 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6234] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6234/stat : 6234 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521999179 16061038592 75298 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15684608
[startup+3.10141 s]
/proc/loadavg: 4.55 5.06 4.83 3/212 6234
/proc/meminfo: memFree=29402468/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=15684608 CPUtime=3.44 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 146642 0 1 0 324 20 0 0 23 0 18 0 521999174 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3921152 145029 2241 9 0 3911871 0
[pid=6216/tid=6217] ppid=6214 vsize=15684608 CPUtime=3.05 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 125342 0 1 0 288 17 0 0 23 0 18 0 521999174 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6216/tid=6219] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6219/stat : 6219 (java) S 6214 6216 5740 0 -1 4202560 1339 0 0 0 0 0 0 0 16 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6220] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6220/stat : 6220 (java) S 6214 6216 5740 0 -1 4202560 1902 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6221] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6221/stat : 6221 (java) S 6214 6216 5740 0 -1 4202560 671 0 0 0 0 0 0 0 16 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6222] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6222/stat : 6222 (java) S 6214 6216 5740 0 -1 4202560 746 0 0 0 1 0 0 0 16 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6223] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6223/stat : 6223 (java) S 6214 6216 5740 0 -1 4202560 378 0 0 0 0 0 0 0 16 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6224] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6224/stat : 6224 (java) S 6214 6216 5740 0 -1 4202560 9010 0 0 0 1 0 0 0 16 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6225] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6225/stat : 6225 (java) S 6214 6216 5740 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6226] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6226/stat : 6226 (java) S 6214 6216 5740 0 -1 4202560 1701 0 0 0 0 0 0 0 16 0 18 0 521999175 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6227] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6227/stat : 6227 (java) S 6214 6216 5740 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 18 0 521999176 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 0 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6228] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6228/stat : 6228 (java) S 6214 6216 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521999176 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6229] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6229/stat : 6229 (java) S 6214 6216 5740 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 521999176 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6230] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6230/stat : 6230 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521999179 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216470961 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6231] ppid=6214 vsize=15684608 CPUtime=0.12 cores=1,3,5,7
/proc/6216/task/6231/stat : 6231 (java) S 6214 6216 5740 0 -1 4202560 2319 0 0 0 12 0 0 0 15 0 18 0 521999179 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6232] ppid=6214 vsize=15684608 CPUtime=0.14 cores=1,3,5,7
/proc/6216/task/6232/stat : 6232 (java) S 6214 6216 5740 0 -1 4202560 1405 0 0 0 14 0 0 0 15 0 18 0 521999179 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521999179 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6234] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6234/stat : 6234 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521999179 16061038592 145029 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 15684608
[startup+6.30088 s]
/proc/loadavg: 4.35 5.01 4.82 3/212 6234
/proc/meminfo: memFree=28225028/32951124 swapFree=67107380/67111528
[pid=6216] ppid=6214 vsize=15684608 CPUtime=6.68 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 285002 0 1 0 630 38 0 0 23 0 18 0 521999174 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3921152 283381 2241 9 0 3911871 0
[pid=6216/tid=6217] ppid=6214 vsize=15684608 CPUtime=6.23 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) R 6214 6216 5740 0 -1 4202560 253187 0 1 0 589 34 0 0 25 0 18 0 521999174 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 46912505561216 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6216/tid=6219] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6219/stat : 6219 (java) S 6214 6216 5740 0 -1 4202560 1339 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6220] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6220/stat : 6220 (java) S 6214 6216 5740 0 -1 4202560 1903 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6221] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6221/stat : 6221 (java) S 6214 6216 5740 0 -1 4202560 672 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6222] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6222/stat : 6222 (java) S 6214 6216 5740 0 -1 4202560 746 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6223] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6223/stat : 6223 (java) S 6214 6216 5740 0 -1 4202560 378 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6224] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6224/stat : 6224 (java) S 6214 6216 5740 0 -1 4202560 9010 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6225] ppid=6214 vsize=15684608 CPUtime=0.01 cores=1,3,5,7
/proc/6216/task/6225/stat : 6225 (java) S 6214 6216 5740 0 -1 4202560 7 0 0 0 1 0 0 0 15 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6226] ppid=6214 vsize=15684608 CPUtime=0.02 cores=1,3,5,7
/proc/6216/task/6226/stat : 6226 (java) S 6214 6216 5740 0 -1 4202560 11943 0 0 0 1 1 0 0 16 0 18 0 521999175 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6227] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6227/stat : 6227 (java) S 6214 6216 5740 0 -1 4202560 708 0 0 0 0 0 0 0 15 0 18 0 521999176 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 0 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6228] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6228/stat : 6228 (java) S 6214 6216 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521999176 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6229] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6229/stat : 6229 (java) S 6214 6216 5740 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 521999176 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6230] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6230/stat : 6230 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521999179 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216470961 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6231] ppid=6214 vsize=15684608 CPUtime=0.12 cores=1,3,5,7
/proc/6216/task/6231/stat : 6231 (java) S 6214 6216 5740 0 -1 4202560 2319 0 0 0 12 0 0 0 15 0 18 0 521999179 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6232] ppid=6214 vsize=15684608 CPUtime=0.14 cores=1,3,5,7
/proc/6216/task/6232/stat : 6232 (java) S 6214 6216 5740 0 -1 4202560 1405 0 0 0 14 0 0 0 15 0 18 0 521999179 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521999179 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6234] ppid=6214 vsize=15684608 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6234/stat : 6234 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521999179 16061038592 283381 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=6216/tid=6226] ppid=6214 vsize=15770140 CPUtime=8.44 cores=1,3,5,7
/proc/6216/task/6226/stat : 6226 (java) S 6214 6216 5740 0 -1 4202560 390720 0 0 0 787 57 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6227] ppid=6214 vsize=15770140 CPUtime=716.75 cores=1,3,5,7
/proc/6216/task/6227/stat : 6227 (java) R 6214 6216 5740 0 -1 4202560 337700 0 0 0 71620 55 0 0 19 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 47491183819919 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=6216/tid=6228] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6228/stat : 6228 (java) S 6214 6216 5740 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6229] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6229/stat : 6229 (java) S 6214 6216 5740 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6230] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6230/stat : 6230 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216470961 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6231] ppid=6214 vsize=15770140 CPUtime=1.72 cores=1,3,5,7
/proc/6216/task/6231/stat : 6231 (java) S 6214 6216 5740 0 -1 4202560 13736 0 0 0 172 0 0 0 15 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6232] ppid=6214 vsize=15770140 CPUtime=1.02 cores=1,3,5,7
/proc/6216/task/6232/stat : 6232 (java) S 6214 6216 5740 0 -1 4202560 6268 0 0 0 102 0 0 0 16 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6234] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6234/stat : 6234 (java) S 6214 6216 5740 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6240] ppid=6214 vsize=15770140 CPUtime=337.18 cores=1,3,5,7
/proc/6216/task/6240/stat : 6240 (java) S 6214 6216 5740 0 -1 4202560 178 0 0 0 33718 0 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6242] ppid=6214 vsize=15770140 CPUtime=337.17 cores=1,3,5,7
/proc/6216/task/6242/stat : 6242 (java) S 6214 6216 5740 0 -1 4202560 611 0 0 0 33716 1 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6243] ppid=6214 vsize=15770140 CPUtime=294.96 cores=1,3,5,7
/proc/6216/task/6243/stat : 6243 (java) S 6214 6216 5740 0 -1 4202560 138 0 0 0 29496 0 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2104.58
Current children cumulated vsize (KiB) 15770140
[startup+1242.3 s]
/proc/loadavg: 2.04 2.52 3.55 3/217 6275
/proc/meminfo: memFree=99956/32951124 swapFree=67106928/67111528
[pid=6216] ppid=6214 vsize=15770140 CPUtime=2164.58 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 4113912 0 1 0 215818 640 0 0 23 0 21 0 521999174 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3942535 3858727 2296 9 0 3933254 0
[pid=6216/tid=6217] ppid=6214 vsize=15770140 CPUtime=103.2 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) S 6214 6216 5740 0 -1 4202560 434614 0 1 0 10250 70 0 0 25 0 21 0 521999174 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6219] ppid=6214 vsize=15770140 CPUtime=9.14 cores=1,3,5,7
/proc/6216/task/6219/stat : 6219 (java) S 6214 6216 5740 0 -1 4202560 424231 0 0 0 846 68 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6220] ppid=6214 vsize=15770140 CPUtime=7.97 cores=1,3,5,7
/proc/6216/task/6220/stat : 6220 (java) S 6214 6216 5740 0 -1 4202560 492385 0 0 0 723 74 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6221] ppid=6214 vsize=15770140 CPUtime=8.79 cores=1,3,5,7
/proc/6216/task/6221/stat : 6221 (java) S 6214 6216 5740 0 -1 4202560 312237 0 0 0 831 48 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6222] ppid=6214 vsize=15770140 CPUtime=8.71 cores=1,3,5,7
/proc/6216/task/6222/stat : 6222 (java) S 6214 6216 5740 0 -1 4202560 548877 0 0 0 786 85 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6223] ppid=6214 vsize=15770140 CPUtime=8.87 cores=1,3,5,7
/proc/6216/task/6223/stat : 6223 (java) S 6214 6216 5740 0 -1 4202560 321503 0 0 0 840 47 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6224] ppid=6214 vsize=15770140 CPUtime=8.82 cores=1,3,5,7
/proc/6216/task/6224/stat : 6224 (java) S 6214 6216 5740 0 -1 4202560 356745 0 0 0 827 55 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6225] ppid=6214 vsize=15770140 CPUtime=8.58 cores=1,3,5,7
/proc/6216/task/6225/stat : 6225 (java) S 6214 6216 5740 0 -1 4202560 472389 0 0 0 785 73 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6226] ppid=6214 vsize=15770140 CPUtime=8.44 cores=1,3,5,7
/proc/6216/task/6226/stat : 6226 (java) S 6214 6216 5740 0 -1 4202560 390720 0 0 0 787 57 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6227] ppid=6214 vsize=15770140 CPUtime=776.75 cores=1,3,5,7
/proc/6216/task/6227/stat : 6227 (java) R 6214 6216 5740 0 -1 4202560 337702 0 0 0 77620 55 0 0 19 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 47491184549140 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=6216/tid=6228] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6228/stat : 6228 (java) S 6214 6216 5740 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6229] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6229/stat : 6229 (java) S 6214 6216 5740 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6230] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6230/stat : 6230 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216470961 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6231] ppid=6214 vsize=15770140 CPUtime=1.72 cores=1,3,5,7
/proc/6216/task/6231/stat : 6231 (java) S 6214 6216 5740 0 -1 4202560 13736 0 0 0 172 0 0 0 15 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6232] ppid=6214 vsize=15770140 CPUtime=1.02 cores=1,3,5,7
/proc/6216/task/6232/stat : 6232 (java) S 6214 6216 5740 0 -1 4202560 6268 0 0 0 102 0 0 0 16 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6234] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6234/stat : 6234 (java) S 6214 6216 5740 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6240] ppid=6214 vsize=15770140 CPUtime=337.18 cores=1,3,5,7
/proc/6216/task/6240/stat : 6240 (java) S 6214 6216 5740 0 -1 4202560 178 0 0 0 33718 0 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6242] ppid=6214 vsize=15770140 CPUtime=337.17 cores=1,3,5,7
/proc/6216/task/6242/stat : 6242 (java) S 6214 6216 5740 0 -1 4202560 689 0 0 0 33716 1 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6243] ppid=6214 vsize=15770140 CPUtime=294.96 cores=1,3,5,7
/proc/6216/task/6243/stat : 6243 (java) S 6214 6216 5740 0 -1 4202560 140 0 0 0 29496 0 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2164.58
Current children cumulated vsize (KiB) 15770140
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.09 2.44 3.46 3/218 6277
/proc/meminfo: memFree=99908/32951124 swapFree=67106928/67111528
[pid=6216] ppid=6214 vsize=15770140 CPUtime=2222.3 cores=1,3,5,7
/proc/6216/stat : 6216 (java) S 6214 6216 5740 0 -1 4202496 4113998 0 1 0 221589 641 0 0 23 0 21 0 521999174 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6216/statm: 3942535 3858727 2296 9 0 3933254 0
[pid=6216/tid=6217] ppid=6214 vsize=15770140 CPUtime=103.2 cores=1,3,5,7
/proc/6216/task/6217/stat : 6217 (java) S 6214 6216 5740 0 -1 4202560 434614 0 1 0 10250 70 0 0 25 0 21 0 521999174 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6219] ppid=6214 vsize=15770140 CPUtime=9.14 cores=1,3,5,7
/proc/6216/task/6219/stat : 6219 (java) S 6214 6216 5740 0 -1 4202560 424231 0 0 0 846 68 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6220] ppid=6214 vsize=15770140 CPUtime=7.97 cores=1,3,5,7
/proc/6216/task/6220/stat : 6220 (java) S 6214 6216 5740 0 -1 4202560 492385 0 0 0 723 74 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6221] ppid=6214 vsize=15770140 CPUtime=8.79 cores=1,3,5,7
/proc/6216/task/6221/stat : 6221 (java) S 6214 6216 5740 0 -1 4202560 312237 0 0 0 831 48 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6222] ppid=6214 vsize=15770140 CPUtime=8.71 cores=1,3,5,7
/proc/6216/task/6222/stat : 6222 (java) S 6214 6216 5740 0 -1 4202560 548877 0 0 0 786 85 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6223] ppid=6214 vsize=15770140 CPUtime=8.87 cores=1,3,5,7
/proc/6216/task/6223/stat : 6223 (java) S 6214 6216 5740 0 -1 4202560 321503 0 0 0 840 47 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6224] ppid=6214 vsize=15770140 CPUtime=8.82 cores=1,3,5,7
/proc/6216/task/6224/stat : 6224 (java) S 6214 6216 5740 0 -1 4202560 356745 0 0 0 827 55 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6225] ppid=6214 vsize=15770140 CPUtime=8.58 cores=1,3,5,7
/proc/6216/task/6225/stat : 6225 (java) S 6214 6216 5740 0 -1 4202560 472389 0 0 0 785 73 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6226] ppid=6214 vsize=15770140 CPUtime=8.44 cores=1,3,5,7
/proc/6216/task/6226/stat : 6226 (java) S 6214 6216 5740 0 -1 4202560 390720 0 0 0 787 57 0 0 16 0 21 0 521999175 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6227] ppid=6214 vsize=15770140 CPUtime=834.46 cores=1,3,5,7
/proc/6216/task/6227/stat : 6227 (java) R 6214 6216 5740 0 -1 4202560 337706 0 0 0 83390 56 0 0 18 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 47491181855010 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=6216/tid=6228] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6228/stat : 6228 (java) S 6214 6216 5740 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6229] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6229/stat : 6229 (java) S 6214 6216 5740 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 521999176 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6230] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6230/stat : 6230 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216470961 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6231] ppid=6214 vsize=15770140 CPUtime=1.72 cores=1,3,5,7
/proc/6216/task/6231/stat : 6231 (java) S 6214 6216 5740 0 -1 4202560 13736 0 0 0 172 0 0 0 15 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6232] ppid=6214 vsize=15770140 CPUtime=1.02 cores=1,3,5,7
/proc/6216/task/6232/stat : 6232 (java) S 6214 6216 5740 0 -1 4202560 6268 0 0 0 102 0 0 0 16 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) S 6214 6216 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 7 0 0 0
[pid=6216/tid=6234] ppid=6214 vsize=15770140 CPUtime=0 cores=1,3,5,7
/proc/6216/task/6234/stat : 6234 (java) S 6214 6216 5740 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 21 0 521999179 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463872 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
[pid=6216/tid=6240] ppid=6214 vsize=15770140 CPUtime=337.18 cores=1,3,5,7
/proc/6216/task/6240/stat : 6240 (java) S 6214 6216 5740 0 -1 4202560 178 0 0 0 33718 0 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 5 0 0 0
[pid=6216/tid=6242] ppid=6214 vsize=15770140 CPUtime=337.17 cores=1,3,5,7
/proc/6216/task/6242/stat : 6242 (java) S 6214 6216 5740 0 -1 4202560 765 0 0 0 33716 1 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 1 0 0 0
[pid=6216/tid=6243] ppid=6214 vsize=15770140 CPUtime=294.96 cores=1,3,5,7
/proc/6216/task/6243/stat : 6243 (java) S 6214 6216 5740 0 -1 4202560 142 0 0 0 29496 0 0 0 15 0 21 0 522002393 16148623360 3858727 33554432000 1073741824 1073778376 140733718407168 18446744073709551615 210216463257 0 4 0 16800975 18446604469694867392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2222.3
Current children cumulated vsize (KiB) 15770140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6216
[startup+1302.3 s]
/proc/loadavg: 2.09 2.44 3.46 3/216 6322
/proc/meminfo: memFree=15599488/32951124 swapFree=67106928/67111528
[pid=6216] ppid=6214 vsize=0 CPUtime=2224.59 cores=1,3,5,7
/proc/6216/stat : 6216 (java) Z 6214 6216 5740 0 -1 4203548 4114006 0 1 0 221790 669 0 0 18 0 2 0 521999174 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/6216/statm: 0 0 0 0 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) R 6214 6216 5740 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 521999179 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2224.59
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 2.09 2.44 3.46 3/216 6322
/proc/meminfo: memFree=15599488/32951124 swapFree=67106928/67111528
[pid=6216] ppid=6214 vsize=0 CPUtime=2224.69 cores=1,3,5,7
/proc/6216/stat : 6216 (java) Z 6214 6216 5740 0 -1 4203548 4114006 0 1 0 221790 679 0 0 18 0 2 0 521999174 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/6216/statm: 0 0 0 0 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) R 6214 6216 5740 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 521999179 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2224.69
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 2.09 2.44 3.46 3/216 6322
/proc/meminfo: memFree=15599488/32951124 swapFree=67106928/67111528
[pid=6216] ppid=6214 vsize=0 CPUtime=2224.79 cores=1,3,5,7
/proc/6216/stat : 6216 (java) Z 6214 6216 5740 0 -1 4203548 4114006 0 1 0 221790 689 0 0 18 0 2 0 521999174 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/6216/statm: 0 0 0 0 0 0 0
[pid=6216/tid=6233] ppid=6214 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/6216/task/6233/stat : 6233 (java) R 6214 6216 5740 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 521999179 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2224.79
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 2224.81
CPU user time (s): 2217.9
CPU system time (s): 6.91095
CPU usage (%): 170.809
Max. virtual memory (cumulated for all children) (KiB): 15770140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2217.9
system time used= 6.91095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4114006
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= 51118
involuntary context switches= 69680
runsolver used 2.13167 second user time and 5.00324 second system time
The end