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-3311552-1304134089/watcher-3311552-1304134089 -o /tmp/evaluation-result-3311552-1304134089/solver-3311552-1304134089 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311552-1304134089.cnf -hbr 2
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: 8.11 7.85 6.95 5/198 10272
/proc/meminfo: memFree=30911864/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10272/stat : 10272 (java) R 10270 10272 8981 0 -1 4202496 899 0 0 0 0 0 0 0 25 0 1 0 525007377 23580672 385 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210199684885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10272/statm: 5757 395 307 9 0 124 0
[startup+0.0901951 s]
/proc/loadavg: 8.11 7.85 6.95 5/198 10272
/proc/meminfo: memFree=30911864/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15676368 CPUtime=0.09 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 5367 0 1 0 9 0 0 0 25 0 18 0 525007377 16052600832 4806 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3919092 4806 2116 9 0 3909811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676368
[startup+0.100187 s]
/proc/loadavg: 8.11 7.85 6.95 5/198 10272
/proc/meminfo: memFree=30911864/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15676368 CPUtime=0.1 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 5511 0 1 0 9 1 0 0 25 0 18 0 525007377 16052600832 4950 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3919092 4950 2117 9 0 3909811 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676368
[startup+0.300121 s]
/proc/loadavg: 8.11 7.85 6.95 5/198 10272
/proc/meminfo: memFree=30911864/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15681768 CPUtime=0.45 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 8826 0 1 0 44 1 0 0 25 0 22 0 525007377 16058130432 8127 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3920442 8127 2208 9 0 3911161 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 15681768
[startup+0.701059 s]
/proc/loadavg: 8.11 7.85 6.95 5/198 10272
/proc/meminfo: memFree=30911864/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15688276 CPUtime=1.81 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 27468 0 1 0 178 3 0 0 25 0 22 0 525007377 16064794624 24699 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3922069 24699 2260 9 0 3912788 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 15688276
[startup+1.50092 s]
/proc/loadavg: 8.11 7.85 6.95 10/220 10294
/proc/meminfo: memFree=30753156/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15688276 CPUtime=4.98 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 56718 0 1 0 491 7 0 0 25 0 22 0 525007377 16064794624 53935 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3922069 53941 2284 9 0 3912788 0
[pid=10272/tid=10274] ppid=10270 vsize=15688276 CPUtime=0.34 cores=1,3,5,7
/proc/10272/task/10274/stat : 10274 (java) S 10270 10272 8981 0 -1 4202560 6376 0 1 0 34 0 0 0 25 0 22 0 525007378 16064794624 53942 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10275] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10275/stat : 10275 (java) S 10270 10272 8981 0 -1 4202560 622 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 53944 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10276] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10276/stat : 10276 (java) S 10270 10272 8981 0 -1 4202560 555 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 53945 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10277] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10277/stat : 10277 (java) S 10270 10272 8981 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 53946 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10278] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10278/stat : 10278 (java) S 10270 10272 8981 0 -1 4202560 1069 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 53946 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10279] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10279/stat : 10279 (java) S 10270 10272 8981 0 -1 4202560 865 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 53948 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10280] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10280/stat : 10280 (java) S 10270 10272 8981 0 -1 4202560 1492 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 53949 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10281] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10281/stat : 10281 (java) S 10270 10272 8981 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 53950 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10282] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10282/stat : 10282 (java) S 10270 10272 8981 0 -1 4202560 2028 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 53951 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10283] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10283/stat : 10283 (java) S 10270 10272 8981 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 525007379 16064794624 53952 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 0 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10284] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10284/stat : 10284 (java) S 10270 10272 8981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 53952 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10285] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10285/stat : 10285 (java) S 10270 10272 8981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 53953 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10286] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10286/stat : 10286 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 53954 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216470961 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10287] ppid=10270 vsize=15688276 CPUtime=0.7 cores=1,3,5,7
/proc/10272/task/10287/stat : 10287 (java) R 10270 10272 8981 0 -1 4202560 4532 0 0 0 70 0 0 0 21 0 22 0 525007382 16064794624 53955 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 47942810421697 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10272/tid=10288] ppid=10270 vsize=15688276 CPUtime=0.45 cores=1,3,5,7
/proc/10272/task/10288/stat : 10288 (java) S 10270 10272 8981 0 -1 4202560 2401 0 0 0 45 0 0 0 24 0 22 0 525007382 16064794624 53955 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10289] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10289/stat : 10289 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 53956 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10290] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10290/stat : 10290 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 525007382 16064794624 53956 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10291] ppid=10270 vsize=15688276 CPUtime=0.99 cores=1,3,5,7
/proc/10272/task/10291/stat : 10291 (java) R 10270 10272 8981 0 -1 4202560 11309 0 0 0 98 1 0 0 25 0 22 0 525007402 16064794624 53956 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10272/tid=10292] ppid=10270 vsize=15688276 CPUtime=0.76 cores=1,3,5,7
/proc/10272/task/10292/stat : 10292 (java) R 10270 10272 8981 0 -1 4202560 7952 0 0 0 76 0 0 0 25 0 22 0 525007402 16064794624 53958 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 47942816099155 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10272/tid=10293] ppid=10270 vsize=15688276 CPUtime=0.84 cores=1,3,5,7
/proc/10272/task/10293/stat : 10293 (java) R 10270 10272 8981 0 -1 4202560 8379 0 0 0 83 1 0 0 25 0 22 0 525007402 16064794624 53958 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505592744 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10272/tid=10294] ppid=10270 vsize=15688276 CPUtime=0.79 cores=1,3,5,7
/proc/10272/task/10294/stat : 10294 (java) R 10270 10272 8981 0 -1 4202560 7585 0 0 0 79 0 0 0 25 0 22 0 525007402 16064794624 53959 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505854979 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 15688276
[startup+3.10166 s]
/proc/loadavg: 8.11 7.85 6.95 9/220 10294
/proc/meminfo: memFree=30612604/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15688276 CPUtime=11.37 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 146265 0 1 0 1119 18 0 0 25 0 22 0 525007377 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3922069 143339 2285 9 0 3912788 0
[pid=10272/tid=10274] ppid=10270 vsize=15688276 CPUtime=0.34 cores=1,3,5,7
/proc/10272/task/10274/stat : 10274 (java) S 10270 10272 8981 0 -1 4202560 6376 0 1 0 34 0 0 0 25 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10275] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10275/stat : 10275 (java) S 10270 10272 8981 0 -1 4202560 1225 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10276] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10276/stat : 10276 (java) S 10270 10272 8981 0 -1 4202560 822 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10277] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10277/stat : 10277 (java) S 10270 10272 8981 0 -1 4202560 1468 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10278] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10278/stat : 10278 (java) S 10270 10272 8981 0 -1 4202560 1631 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10279] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10279/stat : 10279 (java) S 10270 10272 8981 0 -1 4202560 2051 0 0 0 0 0 0 0 16 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10280] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10280/stat : 10280 (java) S 10270 10272 8981 0 -1 4202560 2543 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10281] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10281/stat : 10281 (java) S 10270 10272 8981 0 -1 4202560 741 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10282] ppid=10270 vsize=15688276 CPUtime=0.01 cores=1,3,5,7
/proc/10272/task/10282/stat : 10282 (java) S 10270 10272 8981 0 -1 4202560 3431 0 0 0 1 0 0 0 16 0 22 0 525007378 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10283] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10283/stat : 10283 (java) S 10270 10272 8981 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 525007379 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 0 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10284] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10284/stat : 10284 (java) S 10270 10272 8981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10285] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10285/stat : 10285 (java) S 10270 10272 8981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10286] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10286/stat : 10286 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216470961 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10287] ppid=10270 vsize=15688276 CPUtime=0.76 cores=1,3,5,7
/proc/10272/task/10287/stat : 10287 (java) S 10270 10272 8981 0 -1 4202560 4656 0 0 0 76 0 0 0 18 0 22 0 525007382 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10288] ppid=10270 vsize=15688276 CPUtime=0.54 cores=1,3,5,7
/proc/10272/task/10288/stat : 10288 (java) S 10270 10272 8981 0 -1 4202560 2412 0 0 0 54 0 0 0 15 0 22 0 525007382 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10289] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10289/stat : 10289 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10290] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10290/stat : 10290 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 525007382 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10291] ppid=10270 vsize=15688276 CPUtime=2.51 cores=1,3,5,7
/proc/10272/task/10291/stat : 10291 (java) R 10270 10272 8981 0 -1 4202560 31245 0 0 0 247 4 0 0 25 0 22 0 525007402 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10272/tid=10292] ppid=10270 vsize=15688276 CPUtime=2.27 cores=1,3,5,7
/proc/10272/task/10292/stat : 10292 (java) R 10270 10272 8981 0 -1 4202560 28133 0 0 0 224 3 0 0 25 0 22 0 525007402 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505881051 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10272/tid=10293] ppid=10270 vsize=15688276 CPUtime=2.43 cores=1,3,5,7
/proc/10272/task/10293/stat : 10293 (java) R 10270 10272 8981 0 -1 4202560 29292 0 0 0 240 3 0 0 25 0 22 0 525007402 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505657644 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10272/tid=10294] ppid=10270 vsize=15688276 CPUtime=2.39 cores=1,3,5,7
/proc/10272/task/10294/stat : 10294 (java) R 10270 10272 8981 0 -1 4202560 28412 0 0 0 236 3 0 0 25 0 22 0 525007402 16064794624 143339 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505954823 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 15688276
[startup+6.30112 s]
/proc/loadavg: 8.10 7.85 6.96 9/220 10294
/proc/meminfo: memFree=30368324/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15688276 CPUtime=24.14 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 151722 0 1 0 2395 19 0 0 25 0 22 0 525007377 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3922069 143729 2285 9 0 3912788 0
[pid=10272/tid=10274] ppid=10270 vsize=15688276 CPUtime=0.34 cores=1,3,5,7
/proc/10272/task/10274/stat : 10274 (java) S 10270 10272 8981 0 -1 4202560 6376 0 1 0 34 0 0 0 25 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10275] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10275/stat : 10275 (java) S 10270 10272 8981 0 -1 4202560 2159 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10276] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10276/stat : 10276 (java) S 10270 10272 8981 0 -1 4202560 1130 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10277] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10277/stat : 10277 (java) S 10270 10272 8981 0 -1 4202560 2129 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10278] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10278/stat : 10278 (java) S 10270 10272 8981 0 -1 4202560 1758 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10279] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10279/stat : 10279 (java) S 10270 10272 8981 0 -1 4202560 2853 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10280] ppid=10270 vsize=15688276 CPUtime=0.01 cores=1,3,5,7
/proc/10272/task/10280/stat : 10280 (java) S 10270 10272 8981 0 -1 4202560 3297 0 0 0 1 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10281] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10281/stat : 10281 (java) S 10270 10272 8981 0 -1 4202560 1383 0 0 0 0 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10282] ppid=10270 vsize=15688276 CPUtime=0.01 cores=1,3,5,7
/proc/10272/task/10282/stat : 10282 (java) S 10270 10272 8981 0 -1 4202560 4644 0 0 0 1 0 0 0 15 0 22 0 525007378 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10283] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10283/stat : 10283 (java) S 10270 10272 8981 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 525007379 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 0 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10284] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10284/stat : 10284 (java) S 10270 10272 8981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10285] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10285/stat : 10285 (java) S 10270 10272 8981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10286] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10286/stat : 10286 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216470961 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10287] ppid=10270 vsize=15688276 CPUtime=0.81 cores=1,3,5,7
/proc/10272/task/10287/stat : 10287 (java) S 10270 10272 8981 0 -1 4202560 4659 0 0 0 81 0 0 0 16 0 22 0 525007382 16064794624 143729 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=10272/tid=10292] ppid=10270 vsize=15688276 CPUtime=1107.49 cores=1,3,5,7
/proc/10272/task/10292/stat : 10292 (java) R 10270 10272 8981 0 -1 4202560 355627 0 0 0 110698 51 0 0 25 0 22 0 525007402 16064794624 92643 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505603296 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10272/tid=10293] ppid=10270 vsize=15688276 CPUtime=1108.53 cores=1,3,5,7
/proc/10272/task/10293/stat : 10293 (java) R 10270 10272 8981 0 -1 4202560 353922 0 0 0 110802 51 0 0 25 0 22 0 525007402 16064794624 92643 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10272/tid=10294] ppid=10270 vsize=15688276 CPUtime=1108.21 cores=1,3,5,7
/proc/10272/task/10294/stat : 10294 (java) R 10270 10272 8981 0 -1 4202560 349908 0 0 0 110768 53 0 0 25 0 22 0 525007402 16064794624 92643 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505853429 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4462.93
Current children cumulated vsize (KiB) 15688276
[startup+1182.3 s]
/proc/loadavg: 8.10 8.06 7.72 9/220 10377
/proc/meminfo: memFree=30430472/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15688276 CPUtime=4701.53 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 2695804 0 1 0 469634 519 0 0 25 0 22 0 525007377 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3922069 96232 2299 9 0 3912788 0
[pid=10272/tid=10274] ppid=10270 vsize=15688276 CPUtime=0.34 cores=1,3,5,7
/proc/10272/task/10274/stat : 10274 (java) S 10270 10272 8981 0 -1 4202560 6376 0 1 0 34 0 0 0 25 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10275] ppid=10270 vsize=15688276 CPUtime=3.49 cores=1,3,5,7
/proc/10272/task/10275/stat : 10275 (java) S 10270 10272 8981 0 -1 4202560 147730 0 0 0 323 26 0 0 15 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10276] ppid=10270 vsize=15688276 CPUtime=3.54 cores=1,3,5,7
/proc/10272/task/10276/stat : 10276 (java) S 10270 10272 8981 0 -1 4202560 146601 0 0 0 329 25 0 0 16 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10277] ppid=10270 vsize=15688276 CPUtime=3.5 cores=1,3,5,7
/proc/10272/task/10277/stat : 10277 (java) S 10270 10272 8981 0 -1 4202560 150349 0 0 0 321 29 0 0 16 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10278] ppid=10270 vsize=15688276 CPUtime=3.56 cores=1,3,5,7
/proc/10272/task/10278/stat : 10278 (java) S 10270 10272 8981 0 -1 4202560 153682 0 0 0 327 29 0 0 15 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10279] ppid=10270 vsize=15688276 CPUtime=3.61 cores=1,3,5,7
/proc/10272/task/10279/stat : 10279 (java) S 10270 10272 8981 0 -1 4202560 149640 0 0 0 332 29 0 0 15 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10280] ppid=10270 vsize=15688276 CPUtime=3.58 cores=1,3,5,7
/proc/10272/task/10280/stat : 10280 (java) S 10270 10272 8981 0 -1 4202560 152128 0 0 0 333 25 0 0 15 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10281] ppid=10270 vsize=15688276 CPUtime=3.47 cores=1,3,5,7
/proc/10272/task/10281/stat : 10281 (java) S 10270 10272 8981 0 -1 4202560 135175 0 0 0 322 25 0 0 15 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10282] ppid=10270 vsize=15688276 CPUtime=3.54 cores=1,3,5,7
/proc/10272/task/10282/stat : 10282 (java) S 10270 10272 8981 0 -1 4202560 145789 0 0 0 327 27 0 0 15 0 22 0 525007378 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10283] ppid=10270 vsize=15688276 CPUtime=2.38 cores=1,3,5,7
/proc/10272/task/10283/stat : 10283 (java) S 10270 10272 8981 0 -1 4202560 6800 0 0 0 162 76 0 0 15 0 22 0 525007379 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 0 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10284] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10284/stat : 10284 (java) S 10270 10272 8981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10285] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10285/stat : 10285 (java) S 10270 10272 8981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10286] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10286/stat : 10286 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216470961 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10287] ppid=10270 vsize=15688276 CPUtime=0.86 cores=1,3,5,7
/proc/10272/task/10287/stat : 10287 (java) S 10270 10272 8981 0 -1 4202560 4668 0 0 0 86 0 0 0 15 0 22 0 525007382 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10288] ppid=10270 vsize=15688276 CPUtime=0.65 cores=1,3,5,7
/proc/10272/task/10288/stat : 10288 (java) S 10270 10272 8981 0 -1 4202560 2428 0 0 0 65 0 0 0 15 0 22 0 525007382 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10289] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10289/stat : 10289 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10290] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10290/stat : 10290 (java) S 10270 10272 8981 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 525007382 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10291] ppid=10270 vsize=15688276 CPUtime=1166.83 cores=1,3,5,7
/proc/10272/task/10291/stat : 10291 (java) R 10270 10272 8981 0 -1 4202560 374646 0 0 0 116626 57 0 0 25 0 22 0 525007402 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505661130 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10272/tid=10292] ppid=10270 vsize=15688276 CPUtime=1166.83 cores=1,3,5,7
/proc/10272/task/10292/stat : 10292 (java) R 10270 10272 8981 0 -1 4202560 375577 0 0 0 116629 54 0 0 25 0 22 0 525007402 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505657873 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10272/tid=10293] ppid=10270 vsize=15688276 CPUtime=1167.89 cores=1,3,5,7
/proc/10272/task/10293/stat : 10293 (java) R 10270 10272 8981 0 -1 4202560 373386 0 0 0 116735 54 0 0 25 0 22 0 525007402 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505703961 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10272/tid=10294] ppid=10270 vsize=15688276 CPUtime=1167.34 cores=1,3,5,7
/proc/10272/task/10294/stat : 10294 (java) R 10270 10272 8981 0 -1 4202560 369381 0 0 0 116678 56 0 0 25 0 22 0 525007402 16064794624 96232 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912506062754 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4701.53
Current children cumulated vsize (KiB) 15688276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.1 s]
/proc/loadavg: 8.13 8.07 7.73 9/220 10377
/proc/meminfo: memFree=30484768/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15688276 CPUtime=4800.18 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 2750598 0 1 0 479490 528 0 0 25 0 22 0 525007377 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3922069 90207 2299 9 0 3912788 0
[pid=10272/tid=10274] ppid=10270 vsize=15688276 CPUtime=0.34 cores=1,3,5,7
/proc/10272/task/10274/stat : 10274 (java) S 10270 10272 8981 0 -1 4202560 6376 0 1 0 34 0 0 0 25 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10275] ppid=10270 vsize=15688276 CPUtime=3.56 cores=1,3,5,7
/proc/10272/task/10275/stat : 10275 (java) S 10270 10272 8981 0 -1 4202560 149606 0 0 0 329 27 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10276] ppid=10270 vsize=15688276 CPUtime=3.6 cores=1,3,5,7
/proc/10272/task/10276/stat : 10276 (java) S 10270 10272 8981 0 -1 4202560 148159 0 0 0 335 25 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10277] ppid=10270 vsize=15688276 CPUtime=3.57 cores=1,3,5,7
/proc/10272/task/10277/stat : 10277 (java) S 10270 10272 8981 0 -1 4202560 153035 0 0 0 328 29 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10278] ppid=10270 vsize=15688276 CPUtime=3.62 cores=1,3,5,7
/proc/10272/task/10278/stat : 10278 (java) S 10270 10272 8981 0 -1 4202560 155360 0 0 0 333 29 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10279] ppid=10270 vsize=15688276 CPUtime=3.67 cores=1,3,5,7
/proc/10272/task/10279/stat : 10279 (java) S 10270 10272 8981 0 -1 4202560 152056 0 0 0 338 29 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10280] ppid=10270 vsize=15688276 CPUtime=3.66 cores=1,3,5,7
/proc/10272/task/10280/stat : 10280 (java) S 10270 10272 8981 0 -1 4202560 154523 0 0 0 340 26 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10281] ppid=10270 vsize=15688276 CPUtime=3.53 cores=1,3,5,7
/proc/10272/task/10281/stat : 10281 (java) S 10270 10272 8981 0 -1 4202560 137712 0 0 0 328 25 0 0 16 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10282] ppid=10270 vsize=15688276 CPUtime=3.61 cores=1,3,5,7
/proc/10272/task/10282/stat : 10282 (java) S 10270 10272 8981 0 -1 4202560 148805 0 0 0 334 27 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10283] ppid=10270 vsize=15688276 CPUtime=2.42 cores=1,3,5,7
/proc/10272/task/10283/stat : 10283 (java) S 10270 10272 8981 0 -1 4202560 6941 0 0 0 164 78 0 0 15 0 22 0 525007379 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 0 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10284] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10284/stat : 10284 (java) S 10270 10272 8981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10285] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10285/stat : 10285 (java) S 10270 10272 8981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10286] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10286/stat : 10286 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216470961 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10287] ppid=10270 vsize=15688276 CPUtime=0.86 cores=1,3,5,7
/proc/10272/task/10287/stat : 10287 (java) S 10270 10272 8981 0 -1 4202560 4668 0 0 0 86 0 0 0 15 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10288] ppid=10270 vsize=15688276 CPUtime=0.65 cores=1,3,5,7
/proc/10272/task/10288/stat : 10288 (java) S 10270 10272 8981 0 -1 4202560 2428 0 0 0 65 0 0 0 15 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10289] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10289/stat : 10289 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10290] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10290/stat : 10290 (java) S 10270 10272 8981 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10291] ppid=10270 vsize=15688276 CPUtime=1191.25 cores=1,3,5,7
/proc/10272/task/10291/stat : 10291 (java) R 10270 10272 8981 0 -1 4202560 383276 0 0 0 119067 58 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505934875 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10272/tid=10292] ppid=10270 vsize=15688276 CPUtime=1191.36 cores=1,3,5,7
/proc/10272/task/10292/stat : 10292 (java) R 10270 10272 8981 0 -1 4202560 384702 0 0 0 119081 55 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505703546 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10272/tid=10293] ppid=10270 vsize=15688276 CPUtime=1192.44 cores=1,3,5,7
/proc/10272/task/10293/stat : 10293 (java) R 10270 10272 8981 0 -1 4202560 383213 0 0 0 119189 55 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505661271 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10272/tid=10294] ppid=10270 vsize=15688276 CPUtime=1191.89 cores=1,3,5,7
/proc/10272/task/10294/stat : 10294 (java) R 10270 10272 8981 0 -1 4202560 378288 0 0 0 119132 57 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505785609 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 15688276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.1 s]
/proc/loadavg: 8.13 8.07 7.73 9/220 10377
/proc/meminfo: memFree=30484768/32951124 swapFree=67107188/67111528
[pid=10272] ppid=10270 vsize=15688276 CPUtime=4800.18 cores=1,3,5,7
/proc/10272/stat : 10272 (java) S 10270 10272 8981 0 -1 4202496 2750598 0 1 0 479490 528 0 0 25 0 22 0 525007377 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10272/statm: 3922069 90207 2299 9 0 3912788 0
[pid=10272/tid=10274] ppid=10270 vsize=15688276 CPUtime=0.34 cores=1,3,5,7
/proc/10272/task/10274/stat : 10274 (java) S 10270 10272 8981 0 -1 4202560 6376 0 1 0 34 0 0 0 25 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10275] ppid=10270 vsize=15688276 CPUtime=3.56 cores=1,3,5,7
/proc/10272/task/10275/stat : 10275 (java) S 10270 10272 8981 0 -1 4202560 149606 0 0 0 329 27 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10276] ppid=10270 vsize=15688276 CPUtime=3.6 cores=1,3,5,7
/proc/10272/task/10276/stat : 10276 (java) S 10270 10272 8981 0 -1 4202560 148159 0 0 0 335 25 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10277] ppid=10270 vsize=15688276 CPUtime=3.57 cores=1,3,5,7
/proc/10272/task/10277/stat : 10277 (java) S 10270 10272 8981 0 -1 4202560 153035 0 0 0 328 29 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10278] ppid=10270 vsize=15688276 CPUtime=3.62 cores=1,3,5,7
/proc/10272/task/10278/stat : 10278 (java) S 10270 10272 8981 0 -1 4202560 155360 0 0 0 333 29 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10279] ppid=10270 vsize=15688276 CPUtime=3.67 cores=1,3,5,7
/proc/10272/task/10279/stat : 10279 (java) S 10270 10272 8981 0 -1 4202560 152056 0 0 0 338 29 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10280] ppid=10270 vsize=15688276 CPUtime=3.66 cores=1,3,5,7
/proc/10272/task/10280/stat : 10280 (java) S 10270 10272 8981 0 -1 4202560 154523 0 0 0 340 26 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 3 0 0 0
[pid=10272/tid=10281] ppid=10270 vsize=15688276 CPUtime=3.53 cores=1,3,5,7
/proc/10272/task/10281/stat : 10281 (java) S 10270 10272 8981 0 -1 4202560 137712 0 0 0 328 25 0 0 16 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10282] ppid=10270 vsize=15688276 CPUtime=3.61 cores=1,3,5,7
/proc/10272/task/10282/stat : 10282 (java) S 10270 10272 8981 0 -1 4202560 148805 0 0 0 334 27 0 0 15 0 22 0 525007378 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10283] ppid=10270 vsize=15688276 CPUtime=2.42 cores=1,3,5,7
/proc/10272/task/10283/stat : 10283 (java) S 10270 10272 8981 0 -1 4202560 6941 0 0 0 164 78 0 0 15 0 22 0 525007379 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 0 0 16800975 18446604466132160896 0 0 -1 1 0 0 0
[pid=10272/tid=10284] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10284/stat : 10284 (java) S 10270 10272 8981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10285] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10285/stat : 10285 (java) S 10270 10272 8981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525007380 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10286] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10286/stat : 10286 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216470961 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10287] ppid=10270 vsize=15688276 CPUtime=0.86 cores=1,3,5,7
/proc/10272/task/10287/stat : 10287 (java) S 10270 10272 8981 0 -1 4202560 4668 0 0 0 86 0 0 0 15 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 7 0 0 0
[pid=10272/tid=10288] ppid=10270 vsize=15688276 CPUtime=0.65 cores=1,3,5,7
/proc/10272/task/10288/stat : 10288 (java) S 10270 10272 8981 0 -1 4202560 2428 0 0 0 65 0 0 0 15 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10289] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10289/stat : 10289 (java) S 10270 10272 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463257 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10290] ppid=10270 vsize=15688276 CPUtime=0 cores=1,3,5,7
/proc/10272/task/10290/stat : 10290 (java) S 10270 10272 8981 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 525007382 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 210216463872 0 4 0 16800975 18446604466132160896 0 0 -1 5 0 0 0
[pid=10272/tid=10291] ppid=10270 vsize=15688276 CPUtime=1191.25 cores=1,3,5,7
/proc/10272/task/10291/stat : 10291 (java) R 10270 10272 8981 0 -1 4202560 383276 0 0 0 119067 58 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505934875 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10272/tid=10292] ppid=10270 vsize=15688276 CPUtime=1191.36 cores=1,3,5,7
/proc/10272/task/10292/stat : 10292 (java) R 10270 10272 8981 0 -1 4202560 384702 0 0 0 119081 55 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505703546 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10272/tid=10293] ppid=10270 vsize=15688276 CPUtime=1192.44 cores=1,3,5,7
/proc/10272/task/10293/stat : 10293 (java) R 10270 10272 8981 0 -1 4202560 383213 0 0 0 119189 55 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505661271 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10272/tid=10294] ppid=10270 vsize=15688276 CPUtime=1191.89 cores=1,3,5,7
/proc/10272/task/10294/stat : 10294 (java) R 10270 10272 8981 0 -1 4202560 378288 0 0 0 119132 57 0 0 25 0 22 0 525007402 16064794624 90207 33554432000 1073741824 1073778376 140737082743280 18446744073709551615 46912505785609 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 15688276
Child status: 143
Real time (s): 1207.13
CPU time (s): 4800.24
CPU user time (s): 4794.93
CPU system time (s): 5.30419
CPU usage (%): 397.657
Max. virtual memory (cumulated for all children) (KiB): 15688276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.93
system time used= 5.30419
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2750624
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= 237547
involuntary context switches= 139592
runsolver used 2.07668 second user time and 4.55631 second system time
The end