runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689682-1337884245/watcher-3689682-1337884245 -o /tmp/evaluation-result-3689682-1337884245/solver-3689682-1337884245 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689682-1337884245.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.11 3.98 3.85 4/198 26479
/proc/meminfo: memFree=26034756/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (java) D 26477 26479 21497 0 -1 4202496 239 0 0 0 0 0 0 0 20 0 1 0 254550521 9515008 175 33554432000 1073741824 1073778376 140736225310944 140736225293672 266435642256 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26479/statm: 2323 175 133 9 0 71 0
[startup+0.027978 s]
/proc/loadavg: 4.11 3.98 3.85 4/198 26479
/proc/meminfo: memFree=26034756/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 2760 0 1 0 0 1 0 0 20 0 10 0 254550521 9233014784 3461 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2254154 3461 1536 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616
[startup+0.100194 s]
/proc/loadavg: 4.11 3.98 3.85 4/198 26479
/proc/meminfo: memFree=26034756/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 4309 0 1 0 8 1 0 0 20 0 18 0 254550521 9787813888 5508 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2389603 5508 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300175 s]
/proc/loadavg: 4.11 3.98 3.85 4/198 26479
/proc/meminfo: memFree=26034756/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9558412 CPUtime=0.57 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 7456 0 1 0 55 2 0 0 20 0 18 0 254550521 9787813888 12271 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2389603 12271 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558412
[startup+0.700185 s]
/proc/loadavg: 4.11 3.98 3.85 4/198 26479
/proc/meminfo: memFree=26034756/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9558412 CPUtime=1.51 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 14806 0 1 0 145 6 0 0 20 0 18 0 254550521 9787813888 46396 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2389603 46396 2256 9 0 2380296 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9558412
[startup+1.50073 s]
/proc/loadavg: 4.11 3.98 3.85 7/220 26501
/proc/meminfo: memFree=25851480/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9824668 CPUtime=4.32 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 18394 0 1 0 425 7 0 0 20 0 22 0 254550521 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2456167 48413 2272 9 0 2446860 0
[pid=26479/tid=26481] ppid=26477 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/26479/task/26481/stat : 26481 (java) S 26477 26479 21497 0 -1 4202560 2515 0 1 0 62 3 0 0 20 0 22 0 254550522 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438831244280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26482] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26482/stat : 26482 (java) S 26477 26479 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438792734888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26483] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26483/stat : 26483 (java) S 26477 26479 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438791682344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26484] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26484/stat : 26484 (java) S 26477 26479 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438790629800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26485] ppid=26477 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26479/task/26485/stat : 26485 (java) S 26477 26479 21497 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438789577256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26486] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26486/stat : 26486 (java) S 26477 26479 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438788524712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26487] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26487/stat : 26487 (java) S 26477 26479 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438669355816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26488] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26488/stat : 26488 (java) S 26477 26479 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438668303272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26489/stat : 26489 (java) S 26477 26479 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254550524 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438667250728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26490] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26490/stat : 26490 (java) S 26477 26479 21497 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438655051880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26491] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26491/stat : 26491 (java) S 26477 26479 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438653998200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26492/stat : 26492 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438048597128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26493] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26493/stat : 26493 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438047545872 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26494] ppid=26477 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/26479/task/26494/stat : 26494 (java) S 26477 26479 21497 0 -1 4202560 6155 0 0 0 101 0 0 0 20 0 22 0 254550527 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438046493240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/26479/task/26495/stat : 26495 (java) S 26477 26479 21497 0 -1 4202560 8313 0 0 0 96 2 0 0 20 0 22 0 254550527 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438045440696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26496] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26496/stat : 26496 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438044388344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26497] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26497/stat : 26497 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438043336008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26498] ppid=26477 vsize=9824668 CPUtime=0.75 cores=1,3,5,7
/proc/26479/task/26498/stat : 26498 (java) R 26477 26479 21497 0 -1 4202560 27 0 0 0 75 0 0 0 20 0 22 0 254550593 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438042280312 140438670003211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26499] ppid=26477 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/26479/task/26499/stat : 26499 (java) R 26477 26479 21497 0 -1 4202560 70 0 0 0 76 0 0 0 20 0 22 0 254550593 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438041227448 140438669473842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26500] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26500/stat : 26500 (java) S 26477 26479 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438040175656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26501] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26501/stat : 26501 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 48413 33554432000 1073741824 1073778376 140735288684608 140438039123112 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9824668
[startup+3.10074 s]
/proc/loadavg: 4.11 3.98 3.85 5/220 26501
/proc/meminfo: memFree=25801500/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9824668 CPUtime=7.93 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 18821 0 1 0 774 19 0 0 20 0 22 0 254550521 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2456167 95235 2273 9 0 2446860 0
[pid=26479/tid=26481] ppid=26477 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/26479/task/26481/stat : 26481 (java) S 26477 26479 21497 0 -1 4202560 2515 0 1 0 62 3 0 0 20 0 22 0 254550522 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438831244280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26482] ppid=26477 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/26479/task/26482/stat : 26482 (java) R 26477 26479 21497 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438792735064 140438833714889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26483] ppid=26477 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26479/task/26483/stat : 26483 (java) R 26477 26479 21497 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438791682344 140438839288992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26484] ppid=26477 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/26479/task/26484/stat : 26484 (java) R 26477 26479 21497 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438790629976 140438838139184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26485] ppid=26477 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/26479/task/26485/stat : 26485 (java) R 26477 26479 21497 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438789577256 266435595399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26486] ppid=26477 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26479/task/26486/stat : 26486 (java) R 26477 26479 21497 0 -1 4202560 47 0 0 0 3 2 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438788524712 266435595399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26487] ppid=26477 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26479/task/26487/stat : 26487 (java) R 26477 26479 21497 0 -1 4202560 50 0 0 0 4 1 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438669355992 140438835000473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26488] ppid=26477 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/26479/task/26488/stat : 26488 (java) R 26477 26479 21497 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438668303400 140438839288992 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/26479/task/26489/stat : 26489 (java) R 26477 26479 21497 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 22 0 254550524 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438667250904 140438833714873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26490] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26490/stat : 26490 (java) S 26477 26479 21497 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438655050760 266439013436 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26491] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26491/stat : 26491 (java) S 26477 26479 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438653998200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26492/stat : 26492 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438048597128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26493] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26493/stat : 26493 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438047545872 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26494] ppid=26477 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/26479/task/26494/stat : 26494 (java) S 26477 26479 21497 0 -1 4202560 6156 0 0 0 115 0 0 0 20 0 22 0 254550527 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438046493240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/26479/task/26495/stat : 26495 (java) S 26477 26479 21497 0 -1 4202560 8327 0 0 0 107 2 0 0 20 0 22 0 254550527 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438045440696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26496] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26496/stat : 26496 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438044388344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26497] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26497/stat : 26497 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438043336008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26498] ppid=26477 vsize=9824668 CPUtime=2.25 cores=1,3,5,7
/proc/26479/task/26498/stat : 26498 (java) S 26477 26479 21497 0 -1 4202560 27 0 0 0 225 0 0 0 20 0 22 0 254550593 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438042278376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26499] ppid=26477 vsize=9824668 CPUtime=2.26 cores=1,3,5,7
/proc/26479/task/26499/stat : 26499 (java) S 26477 26479 21497 0 -1 4202560 129 0 0 0 224 2 0 0 20 0 22 0 254550593 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438041226200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26500] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26500/stat : 26500 (java) S 26477 26479 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438040175656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26501] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26501/stat : 26501 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 95235 33554432000 1073741824 1073778376 140735288684608 140438039123112 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 9824668
[startup+6.30081 s]
/proc/loadavg: 4.10 3.98 3.85 5/220 26501
/proc/meminfo: memFree=25469632/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9824668 CPUtime=14.34 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 19017 0 1 0 1411 23 0 0 20 0 22 0 254550521 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2456167 148601 2285 9 0 2446860 0
[pid=26479/tid=26481] ppid=26477 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/26479/task/26481/stat : 26481 (java) S 26477 26479 21497 0 -1 4202560 2515 0 1 0 62 3 0 0 20 0 22 0 254550522 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438831244280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26482] ppid=26477 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/26479/task/26482/stat : 26482 (java) S 26477 26479 21497 0 -1 4202560 62 0 0 0 8 3 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438792734888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26483] ppid=26477 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/26479/task/26483/stat : 26483 (java) S 26477 26479 21497 0 -1 4202560 48 0 0 0 5 2 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438791682344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26484] ppid=26477 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26479/task/26484/stat : 26484 (java) S 26477 26479 21497 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438790629800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26485] ppid=26477 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/26479/task/26485/stat : 26485 (java) S 26477 26479 21497 0 -1 4202560 29 0 0 0 7 0 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438789577256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26486] ppid=26477 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/26479/task/26486/stat : 26486 (java) S 26477 26479 21497 0 -1 4202560 57 0 0 0 7 2 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438788524712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26487] ppid=26477 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/26479/task/26487/stat : 26487 (java) S 26477 26479 21497 0 -1 4202560 74 0 0 0 6 2 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438669355816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26488] ppid=26477 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26479/task/26488/stat : 26488 (java) S 26477 26479 21497 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438668303272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/26479/task/26489/stat : 26489 (java) S 26477 26479 21497 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 22 0 254550524 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438667250728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26490] ppid=26477 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/26479/task/26490/stat : 26490 (java) S 26477 26479 21497 0 -1 4202560 234 0 0 0 18 0 0 0 20 0 22 0 254550525 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438655051880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26491] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26491/stat : 26491 (java) S 26477 26479 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438653998200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26492/stat : 26492 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438048597128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26493] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26493/stat : 26493 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438047545872 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26494] ppid=26477 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/26479/task/26494/stat : 26494 (java) S 26477 26479 21497 0 -1 4202560 6159 0 0 0 118 0 0 0 20 0 22 0 254550527 10060460032 148601 33554432000 1073741824 1073778376 140735288684608 140438046493240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=26479/tid=26499] ppid=26477 vsize=9824668 CPUtime=769.3 cores=1,3,5,7
/proc/26479/task/26499/stat : 26499 (java) R 26477 26479 21497 0 -1 4202560 1708 0 0 0 76882 48 0 0 20 0 22 0 254550593 10060460032 893007 33554432000 1073741824 1073778376 140735288684608 140438041225712 140438670104115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26500] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26500/stat : 26500 (java) S 26477 26479 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 893007 33554432000 1073741824 1073778376 140735288684608 140438040175656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26501] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26501/stat : 26501 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 893007 33554432000 1073741824 1073778376 140735288684608 140438039123112 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1607.35
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.84 3.88 3.88 5/219 26578
/proc/meminfo: memFree=24841148/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9824668 CPUtime=1726.46 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 28978 0 1 0 172489 157 0 0 20 0 22 0 254550521 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2456167 902117 2286 9 0 2446860 0
[pid=26479/tid=26481] ppid=26477 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/26479/task/26481/stat : 26481 (java) S 26477 26479 21497 0 -1 4202560 2542 0 1 0 63 6 0 0 20 0 22 0 254550522 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438831244280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26482] ppid=26477 vsize=9824668 CPUtime=2.13 cores=1,3,5,7
/proc/26479/task/26482/stat : 26482 (java) S 26477 26479 21497 0 -1 4202560 404 0 0 0 204 9 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438792734888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26483] ppid=26477 vsize=9824668 CPUtime=2.05 cores=1,3,5,7
/proc/26479/task/26483/stat : 26483 (java) S 26477 26479 21497 0 -1 4202560 654 0 0 0 195 10 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438791682344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26484] ppid=26477 vsize=9824668 CPUtime=2.44 cores=1,3,5,7
/proc/26479/task/26484/stat : 26484 (java) S 26477 26479 21497 0 -1 4202560 361 0 0 0 235 9 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438790629800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26485] ppid=26477 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/26479/task/26485/stat : 26485 (java) S 26477 26479 21497 0 -1 4202560 628 0 0 0 241 11 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438789577256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26486] ppid=26477 vsize=9824668 CPUtime=2.53 cores=1,3,5,7
/proc/26479/task/26486/stat : 26486 (java) S 26477 26479 21497 0 -1 4202560 362 0 0 0 243 10 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438788524712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26487] ppid=26477 vsize=9824668 CPUtime=2.49 cores=1,3,5,7
/proc/26479/task/26487/stat : 26487 (java) S 26477 26479 21497 0 -1 4202560 332 0 0 0 240 9 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438669355816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26488] ppid=26477 vsize=9824668 CPUtime=2.35 cores=1,3,5,7
/proc/26479/task/26488/stat : 26488 (java) S 26477 26479 21497 0 -1 4202560 367 0 0 0 225 10 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438668303272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=9824668 CPUtime=2.06 cores=1,3,5,7
/proc/26479/task/26489/stat : 26489 (java) S 26477 26479 21497 0 -1 4202560 368 0 0 0 198 8 0 0 20 0 22 0 254550524 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438667250728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26490] ppid=26477 vsize=9824668 CPUtime=49.14 cores=1,3,5,7
/proc/26479/task/26490/stat : 26490 (java) S 26477 26479 21497 0 -1 4202560 3801 0 0 0 4898 16 0 0 20 0 22 0 254550525 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438655051880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26491] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26491/stat : 26491 (java) S 26477 26479 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438653998200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26492/stat : 26492 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438048597128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26493] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26493/stat : 26493 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438047545872 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26494] ppid=26477 vsize=9824668 CPUtime=1.77 cores=1,3,5,7
/proc/26479/task/26494/stat : 26494 (java) S 26477 26479 21497 0 -1 4202560 7782 0 0 0 177 0 0 0 20 0 22 0 254550527 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438046493240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/26479/task/26495/stat : 26495 (java) S 26477 26479 21497 0 -1 4202560 8331 0 0 0 130 2 0 0 20 0 22 0 254550527 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438045440696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26496] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26496/stat : 26496 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438044388344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26497] ppid=26477 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/26479/task/26497/stat : 26497 (java) S 26477 26479 21497 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 254550527 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438043336008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26498] ppid=26477 vsize=9824668 CPUtime=827.41 cores=1,3,5,7
/proc/26479/task/26498/stat : 26498 (java) R 26477 26479 21497 0 -1 4202560 98 0 0 0 82727 14 0 0 20 0 22 0 254550593 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438042278256 140438670232667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26499] ppid=26477 vsize=9824668 CPUtime=827.35 cores=1,3,5,7
/proc/26479/task/26499/stat : 26499 (java) R 26477 26479 21497 0 -1 4202560 1711 0 0 0 82686 49 0 0 20 0 22 0 254550593 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438041226608 140438670117344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26500] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26500/stat : 26500 (java) S 26477 26479 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438040175656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26501] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26501/stat : 26501 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 902117 33554432000 1073741824 1073778376 140735288684608 140438039123112 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.46
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+920.901 s]
/proc/loadavg: 3.79 3.86 3.87 5/219 26578
/proc/meminfo: memFree=24785236/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9824668 CPUtime=1800.17 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 29091 0 1 0 179857 160 0 0 20 0 22 0 254550521 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2456167 908349 2286 9 0 2446860 0
[pid=26479/tid=26481] ppid=26477 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/26479/task/26481/stat : 26481 (java) S 26477 26479 21497 0 -1 4202560 2543 0 1 0 63 6 0 0 20 0 22 0 254550522 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438831244280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26482] ppid=26477 vsize=9824668 CPUtime=2.34 cores=1,3,5,7
/proc/26479/task/26482/stat : 26482 (java) S 26477 26479 21497 0 -1 4202560 410 0 0 0 225 9 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438792734888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26483] ppid=26477 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/26479/task/26483/stat : 26483 (java) S 26477 26479 21497 0 -1 4202560 654 0 0 0 210 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438791682344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26484] ppid=26477 vsize=9824668 CPUtime=2.61 cores=1,3,5,7
/proc/26479/task/26484/stat : 26484 (java) S 26477 26479 21497 0 -1 4202560 361 0 0 0 251 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438790629800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26485] ppid=26477 vsize=9824668 CPUtime=2.65 cores=1,3,5,7
/proc/26479/task/26485/stat : 26485 (java) S 26477 26479 21497 0 -1 4202560 628 0 0 0 254 11 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438789577256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26486] ppid=26477 vsize=9824668 CPUtime=2.72 cores=1,3,5,7
/proc/26479/task/26486/stat : 26486 (java) S 26477 26479 21497 0 -1 4202560 368 0 0 0 262 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438788524712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26487] ppid=26477 vsize=9824668 CPUtime=2.71 cores=1,3,5,7
/proc/26479/task/26487/stat : 26487 (java) S 26477 26479 21497 0 -1 4202560 340 0 0 0 262 9 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438669355816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26488] ppid=26477 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/26479/task/26488/stat : 26488 (java) S 26477 26479 21497 0 -1 4202560 371 0 0 0 242 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438668303272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=9824668 CPUtime=2.15 cores=1,3,5,7
/proc/26479/task/26489/stat : 26489 (java) S 26477 26479 21497 0 -1 4202560 433 0 0 0 207 8 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438667250728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26490] ppid=26477 vsize=9824668 CPUtime=53.29 cores=1,3,5,7
/proc/26479/task/26490/stat : 26490 (java) S 26477 26479 21497 0 -1 4202560 3817 0 0 0 5312 17 0 0 20 0 22 0 254550525 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438655051880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26491] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26491/stat : 26491 (java) S 26477 26479 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438653998200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26492/stat : 26492 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438048597128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26493] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26493/stat : 26493 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438047545872 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26494] ppid=26477 vsize=9824668 CPUtime=1.77 cores=1,3,5,7
/proc/26479/task/26494/stat : 26494 (java) S 26477 26479 21497 0 -1 4202560 7782 0 0 0 177 0 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438046493240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/26479/task/26495/stat : 26495 (java) S 26477 26479 21497 0 -1 4202560 8331 0 0 0 130 2 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438045440696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26496] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26496/stat : 26496 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438044388344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26497] ppid=26477 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/26479/task/26497/stat : 26497 (java) S 26477 26479 21497 0 -1 4202560 53 0 0 0 12 21 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438043336008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26498] ppid=26477 vsize=9824668 CPUtime=861.52 cores=1,3,5,7
/proc/26479/task/26498/stat : 26498 (java) R 26477 26479 21497 0 -1 4202560 102 0 0 0 86137 15 0 0 20 0 22 0 254550593 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438042280032 140438670252129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26499] ppid=26477 vsize=9824668 CPUtime=861.46 cores=1,3,5,7
/proc/26479/task/26499/stat : 26499 (java) R 26477 26479 21497 0 -1 4202560 1712 0 0 0 86096 50 0 0 20 0 22 0 254550593 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438041225488 140438670318041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26500] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26500/stat : 26500 (java) S 26477 26479 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438040175656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26501] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26501/stat : 26501 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438039123112 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+920.901 s]
/proc/loadavg: 3.79 3.86 3.87 5/219 26578
/proc/meminfo: memFree=24785236/32873648 swapFree=6852/6852
[pid=26479] ppid=26477 vsize=9824668 CPUtime=1800.17 cores=1,3,5,7
/proc/26479/stat : 26479 (java) S 26477 26479 21497 0 -1 4202496 29091 0 1 0 179857 160 0 0 20 0 22 0 254550521 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140735288675744 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2456167 908349 2286 9 0 2446860 0
[pid=26479/tid=26481] ppid=26477 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/26479/task/26481/stat : 26481 (java) S 26477 26479 21497 0 -1 4202560 2543 0 1 0 63 6 0 0 20 0 22 0 254550522 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438831244280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26482] ppid=26477 vsize=9824668 CPUtime=2.34 cores=1,3,5,7
/proc/26479/task/26482/stat : 26482 (java) S 26477 26479 21497 0 -1 4202560 410 0 0 0 225 9 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438792734888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26483] ppid=26477 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/26479/task/26483/stat : 26483 (java) S 26477 26479 21497 0 -1 4202560 654 0 0 0 210 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438791682344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26484] ppid=26477 vsize=9824668 CPUtime=2.61 cores=1,3,5,7
/proc/26479/task/26484/stat : 26484 (java) S 26477 26479 21497 0 -1 4202560 361 0 0 0 251 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438790629800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26485] ppid=26477 vsize=9824668 CPUtime=2.65 cores=1,3,5,7
/proc/26479/task/26485/stat : 26485 (java) S 26477 26479 21497 0 -1 4202560 628 0 0 0 254 11 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438789577256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26486] ppid=26477 vsize=9824668 CPUtime=2.72 cores=1,3,5,7
/proc/26479/task/26486/stat : 26486 (java) S 26477 26479 21497 0 -1 4202560 368 0 0 0 262 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438788524712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26487] ppid=26477 vsize=9824668 CPUtime=2.71 cores=1,3,5,7
/proc/26479/task/26487/stat : 26487 (java) S 26477 26479 21497 0 -1 4202560 340 0 0 0 262 9 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438669355816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26488] ppid=26477 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/26479/task/26488/stat : 26488 (java) S 26477 26479 21497 0 -1 4202560 371 0 0 0 242 10 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438668303272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=9824668 CPUtime=2.15 cores=1,3,5,7
/proc/26479/task/26489/stat : 26489 (java) S 26477 26479 21497 0 -1 4202560 433 0 0 0 207 8 0 0 20 0 22 0 254550524 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438667250728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26490] ppid=26477 vsize=9824668 CPUtime=53.29 cores=1,3,5,7
/proc/26479/task/26490/stat : 26490 (java) S 26477 26479 21497 0 -1 4202560 3817 0 0 0 5312 17 0 0 20 0 22 0 254550525 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438655051880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26491] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26491/stat : 26491 (java) S 26477 26479 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438653998200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26492/stat : 26492 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550525 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438048597128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26493] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26493/stat : 26493 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438047545872 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26494] ppid=26477 vsize=9824668 CPUtime=1.77 cores=1,3,5,7
/proc/26479/task/26494/stat : 26494 (java) S 26477 26479 21497 0 -1 4202560 7782 0 0 0 177 0 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438046493240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/26479/task/26495/stat : 26495 (java) S 26477 26479 21497 0 -1 4202560 8331 0 0 0 130 2 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438045440696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26496] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26496/stat : 26496 (java) S 26477 26479 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438044388344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26497] ppid=26477 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/26479/task/26497/stat : 26497 (java) S 26477 26479 21497 0 -1 4202560 53 0 0 0 12 21 0 0 20 0 22 0 254550527 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438043336008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26498] ppid=26477 vsize=9824668 CPUtime=861.52 cores=1,3,5,7
/proc/26479/task/26498/stat : 26498 (java) R 26477 26479 21497 0 -1 4202560 102 0 0 0 86137 15 0 0 20 0 22 0 254550593 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438042280032 140438670252129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26479/tid=26499] ppid=26477 vsize=9824668 CPUtime=861.46 cores=1,3,5,7
/proc/26479/task/26499/stat : 26499 (java) R 26477 26479 21497 0 -1 4202560 1712 0 0 0 86096 50 0 0 20 0 22 0 254550593 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438041225488 140438670318041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26479/tid=26500] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26500/stat : 26500 (java) S 26477 26479 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438040175656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26479/tid=26501] ppid=26477 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26479/task/26501/stat : 26501 (java) S 26477 26479 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254550596 10060460032 908349 33554432000 1073741824 1073778376 140735288684608 140438039123112 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 920.962
CPU time (s): 1800.72
CPU user time (s): 1798.67
CPU system time (s): 2.05269
CPU usage (%): 195.526
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 2.05269
maximum resident set size= 3633516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29123
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25122
involuntary context switches= 38991
runsolver used 3.20951 second user time and 8.66568 second system time
The end