runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456544-1307219465/watcher-3456544-1307219465 -o /tmp/evaluation-result-3456544-1307219465/solver-3456544-1307219465 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456544-1307219465.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: 2.03 2.04 1.96 3/590 5485
/proc/meminfo: memFree=31651372/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 3144 0 1 0 0 0 0 0 25 0 2 0 833545325 10694979584 2847 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2611079 2860 917 9 0 2602235 0
[pid=5485/tid=5486] ppid=5483 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 8828 0 1 0 0 1 0 0 25 0 10 0 833545325 10703900672 9651 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 47046320404401 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9652 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9653 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9653 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9653 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9655 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9657 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9657 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833545327 10703900672 9661 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16784584 18446604459789672576 0 0 -1 1 0 0 0
[startup+0.0633511 s]
/proc/loadavg: 2.03 2.04 1.96 3/590 5485
/proc/meminfo: memFree=31651372/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 11736 0 1 0 4 1 0 0 25 0 18 0 833545325 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2618238 11434 1740 9 0 2608972 0
[pid=5485/tid=5486] ppid=5483 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 10564 0 1 0 4 1 0 0 25 0 18 0 833545325 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 47046325959507 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11434 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11435 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10724302848 11435 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.101281 s]
/proc/loadavg: 2.03 2.04 1.96 3/590 5485
/proc/meminfo: memFree=31651372/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10540400 CPUtime=0.1 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 13104 0 1 0 9 1 0 0 25 0 18 0 833545325 10793369600 12802 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2635100 12802 2092 9 0 2625834 0
[pid=5485/tid=5486] ppid=5483 vsize=10540400 CPUtime=0.08 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 11206 0 1 0 7 1 0 0 18 0 18 0 833545325 10793369600 12802 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 47046323024929 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12802 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12802 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12803 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12803 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12804 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12804 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12804 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10540400 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10793369600 12804 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540400
[startup+0.301247 s]
/proc/loadavg: 2.03 2.04 1.96 3/590 5485
/proc/meminfo: memFree=31651372/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10541712 CPUtime=0.49 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 15854 0 1 0 47 2 0 0 25 0 18 0 833545325 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2635428 15412 2209 9 0 2626162 0
[pid=5485/tid=5486] ppid=5483 vsize=10541712 CPUtime=0.28 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 13200 0 1 0 27 1 0 0 18 0 18 0 833545325 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 47046323023441 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10541712 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833545327 10794713088 15412 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541712
[startup+0.701173 s]
/proc/loadavg: 2.03 2.04 1.96 3/590 5485
/proc/meminfo: memFree=31651372/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10543568 CPUtime=1.18 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 18895 0 1 0 116 2 0 0 25 0 19 0 833545325 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2635892 17628 2221 9 0 2626626 0
[pid=5485/tid=5486] ppid=5483 vsize=10543568 CPUtime=0.68 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 14996 0 1 0 67 1 0 0 19 0 19 0 833545325 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 46912505666935 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10543568 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796613632 17628 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10543568
[startup+1.50106 s]
/proc/loadavg: 2.03 2.04 1.96 4/609 5504
/proc/meminfo: memFree=31551780/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10543700 CPUtime=2.28 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 25973 0 1 0 225 3 0 0 25 0 19 0 833545325 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2635925 24224 2225 9 0 2626659 0
[pid=5485/tid=5486] ppid=5483 vsize=10543700 CPUtime=1.49 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 21328 0 1 0 147 2 0 0 20 0 19 0 833545325 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 46912505667346 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545327 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5496] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833545328 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 0 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5497] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5497/stat : 5497 (java) S 5483 5485 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833545328 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5498] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5498/stat : 5498 (java) S 5483 5485 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545328 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5499] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5499/stat : 5499 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284512689 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5500] ppid=5483 vsize=10543700 CPUtime=0.39 cores=1,3,5,7
/proc/5485/task/5500/stat : 5500 (java) S 5483 5485 5129 0 -1 4202560 1327 0 0 0 39 0 0 0 19 0 19 0 833545331 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 7 0 0 0
[pid=5485/tid=5501] ppid=5483 vsize=10543700 CPUtime=0.38 cores=1,3,5,7
/proc/5485/task/5501/stat : 5501 (java) S 5483 5485 5129 0 -1 4202560 2160 0 0 0 38 0 0 0 19 0 19 0 833545331 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5502] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5502/stat : 5502 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5503] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5503/stat : 5503 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833545331 10796748800 24224 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5504] ppid=5483 vsize=10543700 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5504/stat : 5504 (java) S 5483 5485 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833545357 10796748800 24225 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10543700
[startup+3.10075 s]
################
# More data... #
################
[pid=5485/tid=5502] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5502/stat : 5502 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796089344 1165138 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5503] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5503/stat : 5503 (java) S 5483 5485 5129 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833545331 10796089344 1165138 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5504] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5504/stat : 5504 (java) S 5483 5485 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833545357 10796089344 1165138 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1673.51
Current children cumulated vsize (KiB) 10543056
[startup+1722.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/609 5550
/proc/meminfo: memFree=22317756/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10543056 CPUtime=1734.14 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 1185615 0 1 0 173282 132 0 0 25 0 19 0 833545325 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2635764 1171849 2255 9 0 2626498 0
[pid=5485/tid=5486] ppid=5483 vsize=10543056 CPUtime=1716.01 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 770939 0 1 0 171522 79 0 0 25 0 19 0 833545325 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 46912505885881 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10543056 CPUtime=1.98 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 56699 0 0 0 191 7 0 0 16 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10543056 CPUtime=1.78 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 49389 0 0 0 172 6 0 0 15 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10543056 CPUtime=1.99 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 38403 0 0 0 195 4 0 0 16 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 7 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10543056 CPUtime=1.87 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 54670 0 0 0 181 6 0 0 15 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10543056 CPUtime=1.63 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 51488 0 0 0 156 7 0 0 16 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 7 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10543056 CPUtime=1.85 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 54831 0 0 0 178 7 0 0 15 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10543056 CPUtime=1.74 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 46320 0 0 0 169 5 0 0 16 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10543056 CPUtime=1.75 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 52486 0 0 0 170 5 0 0 15 0 19 0 833545327 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 7 0 0 0
[pid=5485/tid=5496] ppid=5483 vsize=10543056 CPUtime=2.1 cores=1,3,5,7
/proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5129 0 -1 4202560 988 0 0 0 210 0 0 0 18 0 19 0 833545328 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 0 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5497] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5497/stat : 5497 (java) S 5483 5485 5129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833545328 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5498] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5498/stat : 5498 (java) S 5483 5485 5129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833545328 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5499] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5499/stat : 5499 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284512689 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5500] ppid=5483 vsize=10543056 CPUtime=0.54 cores=1,3,5,7
/proc/5485/task/5500/stat : 5500 (java) S 5483 5485 5129 0 -1 4202560 2344 0 0 0 54 0 0 0 15 0 19 0 833545331 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5501] ppid=5483 vsize=10543056 CPUtime=0.8 cores=1,3,5,7
/proc/5485/task/5501/stat : 5501 (java) S 5483 5485 5129 0 -1 4202560 5808 0 0 0 80 0 0 0 15 0 19 0 833545331 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5502] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5502/stat : 5502 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5503] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5503/stat : 5503 (java) S 5483 5485 5129 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833545331 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5504] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5504/stat : 5504 (java) S 5483 5485 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833545357 10796089344 1171849 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1734.14
Current children cumulated vsize (KiB) 10543056
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/609 5552
/proc/meminfo: memFree=22268992/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10543056 CPUtime=1794.42 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 1188249 0 1 0 179309 133 0 0 25 0 19 0 833545325 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2635764 1174414 2255 9 0 2626498 0
[pid=5485/tid=5486] ppid=5483 vsize=10543056 CPUtime=1775.92 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 770942 0 1 0 177513 79 0 0 25 0 19 0 833545325 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 46912505859450 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10543056 CPUtime=2.04 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 57036 0 0 0 197 7 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10543056 CPUtime=1.84 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 50024 0 0 0 178 6 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10543056 CPUtime=2.02 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 38404 0 0 0 198 4 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10543056 CPUtime=1.93 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 55033 0 0 0 187 6 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10543056 CPUtime=1.66 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 51777 0 0 0 159 7 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10543056 CPUtime=1.88 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 55221 0 0 0 181 7 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10543056 CPUtime=1.79 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 46610 0 0 0 174 5 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10543056 CPUtime=1.78 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 52808 0 0 0 173 5 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5496] ppid=5483 vsize=10543056 CPUtime=2.1 cores=1,3,5,7
/proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5129 0 -1 4202560 990 0 0 0 210 0 0 0 15 0 19 0 833545328 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 0 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5497] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5497/stat : 5497 (java) S 5483 5485 5129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833545328 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5498] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5498/stat : 5498 (java) S 5483 5485 5129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833545328 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5499] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5499/stat : 5499 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284512689 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5500] ppid=5483 vsize=10543056 CPUtime=0.54 cores=1,3,5,7
/proc/5485/task/5500/stat : 5500 (java) S 5483 5485 5129 0 -1 4202560 2344 0 0 0 54 0 0 0 15 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5501] ppid=5483 vsize=10543056 CPUtime=0.8 cores=1,3,5,7
/proc/5485/task/5501/stat : 5501 (java) S 5483 5485 5129 0 -1 4202560 5808 0 0 0 80 0 0 0 15 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5502] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5502/stat : 5502 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5503] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5503/stat : 5503 (java) S 5483 5485 5129 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5504] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5504/stat : 5504 (java) S 5483 5485 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833545357 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 10543056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.9 s]
/proc/loadavg: 2.12 2.06 2.01 3/593 5555
/proc/meminfo: memFree=22932660/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=10543056 CPUtime=1800.03 cores=1,3,5,7
/proc/5485/stat : 5485 (java) S 5483 5485 5129 0 -1 4202496 1188251 0 1 0 179870 133 0 0 25 0 19 0 833545325 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 2635764 1174414 2255 9 0 2626498 0
[pid=5485/tid=5486] ppid=5483 vsize=10543056 CPUtime=1781.54 cores=1,3,5,7
/proc/5485/task/5486/stat : 5486 (java) R 5483 5485 5129 0 -1 4202560 770942 0 1 0 178075 79 0 0 25 0 19 0 833545325 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 46912505922708 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5485/tid=5487] ppid=5483 vsize=10543056 CPUtime=2.04 cores=1,3,5,7
/proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5129 0 -1 4202560 57036 0 0 0 197 7 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5488] ppid=5483 vsize=10543056 CPUtime=1.84 cores=1,3,5,7
/proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5129 0 -1 4202560 50024 0 0 0 178 6 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5489] ppid=5483 vsize=10543056 CPUtime=2.02 cores=1,3,5,7
/proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5129 0 -1 4202560 38404 0 0 0 198 4 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5490] ppid=5483 vsize=10543056 CPUtime=1.93 cores=1,3,5,7
/proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5129 0 -1 4202560 55033 0 0 0 187 6 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5491] ppid=5483 vsize=10543056 CPUtime=1.66 cores=1,3,5,7
/proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5129 0 -1 4202560 51777 0 0 0 159 7 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5492] ppid=5483 vsize=10543056 CPUtime=1.88 cores=1,3,5,7
/proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5129 0 -1 4202560 55221 0 0 0 181 7 0 0 15 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5493] ppid=5483 vsize=10543056 CPUtime=1.79 cores=1,3,5,7
/proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5129 0 -1 4202560 46610 0 0 0 174 5 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 3 0 0 0
[pid=5485/tid=5494] ppid=5483 vsize=10543056 CPUtime=1.78 cores=1,3,5,7
/proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5129 0 -1 4202560 52808 0 0 0 173 5 0 0 16 0 19 0 833545327 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5496] ppid=5483 vsize=10543056 CPUtime=2.1 cores=1,3,5,7
/proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5129 0 -1 4202560 990 0 0 0 210 0 0 0 15 0 19 0 833545328 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 0 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5497] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5497/stat : 5497 (java) S 5483 5485 5129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833545328 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5498] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5498/stat : 5498 (java) S 5483 5485 5129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833545328 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5499] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5499/stat : 5499 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284512689 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5500] ppid=5483 vsize=10543056 CPUtime=0.54 cores=1,3,5,7
/proc/5485/task/5500/stat : 5500 (java) S 5483 5485 5129 0 -1 4202560 2344 0 0 0 54 0 0 0 15 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5501] ppid=5483 vsize=10543056 CPUtime=0.8 cores=1,3,5,7
/proc/5485/task/5501/stat : 5501 (java) S 5483 5485 5129 0 -1 4202560 5808 0 0 0 80 0 0 0 15 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
[pid=5485/tid=5502] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5502/stat : 5502 (java) S 5483 5485 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284504985 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5503] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5503/stat : 5503 (java) S 5483 5485 5129 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833545331 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 5 0 0 0
[pid=5485/tid=5504] ppid=5483 vsize=10543056 CPUtime=0 cores=1,3,5,7
/proc/5485/task/5504/stat : 5504 (java) S 5483 5485 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833545357 10796089344 1174414 33554432000 1073741824 1073778376 140733625234000 18446744073709551615 268284505600 0 4 0 16800975 18446604459789672576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10543056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.03 s]
/proc/loadavg: 2.12 2.06 2.01 3/593 5555
/proc/meminfo: memFree=22932660/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/5485/stat : 5485 (java) Z 5483 5485 5129 0 -1 4203548 1188289 0 1 0 179877 139 0 0 17 0 2 0 833545325 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
[startup+1788.1 s]
/proc/loadavg: 2.12 2.06 2.01 3/593 5555
/proc/meminfo: memFree=22932660/32950928 swapFree=43925852/67111528
[pid=5485] ppid=5483 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/5485/stat : 5485 (java) Z 5483 5485 5129 0 -1 4203548 1188289 0 1 0 179877 147 0 0 17 0 2 0 833545325 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5485/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.13
CPU time (s): 1800.28
CPU user time (s): 1798.78
CPU system time (s): 1.50077
CPU usage (%): 100.679
Max. virtual memory (cumulated for all children) (KiB): 10544280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.50077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1188289
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= 38780
involuntary context switches= 26329
runsolver used 9.98548 second user time and 24.8112 second system time
The end