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-3459633-1307152777/watcher-3459633-1307152777 -o /tmp/evaluation-result-3459633-1307152777/solver-3459633-1307152777 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459633-1307152777.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 2/532 11635
/proc/meminfo: memFree=19063244/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 1179 0 0 0 0 0 0 0 25 0 2 0 905508521 27824128 906 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 6793 906 688 9 0 381 0
[pid=11635/tid=11636] ppid=11633 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 5784 0 1 0 0 0 0 0 25 0 2 0 905508522 13850947584 6600 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0233849 s]
/proc/loadavg: 1.92 2.01 1.99 2/532 11635
/proc/meminfo: memFree=19063244/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 9668 0 1 0 0 1 0 0 25 0 2 0 905508521 13850947584 9370 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3381579 9384 917 9 0 3372735 0
[pid=11635/tid=11636] ppid=11633 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 8580 0 1 0 0 0 0 0 25 0 2 0 905508522 13850947584 9396 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100375 s]
/proc/loadavg: 1.92 2.01 1.99 2/532 11635
/proc/meminfo: memFree=19063244/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13622128 CPUtime=0.1 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 15494 0 1 0 9 1 0 0 25 0 18 0 905508521 13949059072 15186 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3405532 15186 2092 9 0 3396266 0
[pid=11635/tid=11636] ppid=11633 vsize=13622128 CPUtime=0.08 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 13578 0 1 0 7 1 0 0 25 0 18 0 905508522 13949059072 15186 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622128
[startup+0.300344 s]
/proc/loadavg: 1.92 2.01 1.99 2/532 11635
/proc/meminfo: memFree=19063244/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13629296 CPUtime=0.56 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 22247 0 1 0 54 2 0 0 25 0 18 0 905508521 13956399104 21491 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3407324 21491 2201 9 0 3398058 0
[pid=11635/tid=11636] ppid=11633 vsize=13629296 CPUtime=0.28 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 17863 0 1 0 27 1 0 0 25 0 18 0 905508522 13956399104 21491 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13629296
[startup+0.700269 s]
/proc/loadavg: 1.92 2.01 1.99 2/532 11635
/proc/meminfo: memFree=19063244/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13630324 CPUtime=1.32 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 25345 0 1 0 129 3 0 0 25 0 19 0 905508521 13957451776 24336 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3407581 24336 2227 9 0 3398315 0
[pid=11635/tid=11636] ppid=11633 vsize=13630324 CPUtime=0.68 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 20376 0 1 0 66 2 0 0 25 0 19 0 905508522 13957451776 24336 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505732047 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 13630324
[startup+1.50121 s]
/proc/loadavg: 1.92 2.01 1.99 3/551 11654
/proc/meminfo: memFree=18971704/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13630324 CPUtime=2.13 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 26395 0 1 0 210 3 0 0 25 0 19 0 905508521 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3407581 25385 2227 9 0 3398315 0
[pid=11635/tid=11636] ppid=11633 vsize=13630324 CPUtime=1.48 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 21425 0 1 0 146 2 0 0 25 0 19 0 905508522 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505787499 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11635/tid=11638] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11639] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11640] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11641] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11642] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11643] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11644] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11645] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11646] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11633 11635 8697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 905508525 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 0 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11647] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11633 11635 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905508525 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11648] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508525 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11649] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000416177 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11650] ppid=11633 vsize=13630324 CPUtime=0.3 cores=1,3,5,7
/proc/11635/task/11650/stat : 11650 (java) S 11633 11635 8697 0 -1 4202560 1616 0 0 0 30 0 0 0 16 0 19 0 905508528 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11651] ppid=11633 vsize=13630324 CPUtime=0.33 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11633 11635 8697 0 -1 4202560 2192 0 0 0 33 0 0 0 21 0 19 0 905508528 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11652] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11652/stat : 11652 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11653] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905508528 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11654] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508555 13957451776 25385 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 13630324
[startup+3.1009 s]
/proc/loadavg: 1.92 2.01 1.99 3/551 11654
/proc/meminfo: memFree=18965384/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13630324 CPUtime=3.73 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 28409 0 1 0 370 3 0 0 25 0 19 0 905508521 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3407581 27399 2227 9 0 3398315 0
[pid=11635/tid=11636] ppid=11633 vsize=13630324 CPUtime=3.08 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 23439 0 1 0 306 2 0 0 25 0 19 0 905508522 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 47281611307859 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11635/tid=11638] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11639] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11640] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11641] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11642] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11643] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11644] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11645] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508524 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11646] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11633 11635 8697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 905508525 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 0 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11647] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11633 11635 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905508525 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11648] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508525 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11649] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000416177 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11650] ppid=11633 vsize=13630324 CPUtime=0.3 cores=1,3,5,7
/proc/11635/task/11650/stat : 11650 (java) S 11633 11635 8697 0 -1 4202560 1616 0 0 0 30 0 0 0 16 0 19 0 905508528 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11651] ppid=11633 vsize=13630324 CPUtime=0.33 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11633 11635 8697 0 -1 4202560 2192 0 0 0 33 0 0 0 21 0 19 0 905508528 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11652] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11652/stat : 11652 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11653] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905508528 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11654] ppid=11633 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508555 13957451776 27399 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13630324
[startup+6.30133 s]
/proc/loadavg: 1.93 2.01 1.99 3/551 11654
/proc/meminfo: memFree=18929528/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13639736 CPUtime=7.07 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 37630 0 1 0 703 4 0 0 25 0 19 0 905508521 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3409934 35050 2252 9 0 3400668 0
[pid=11635/tid=11636] ppid=11633 vsize=13639736 CPUtime=6.25 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 23750 0 1 0 623 2 0 0 25 0 19 0 905508522 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505787551 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11635/tid=11638] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11639] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11640] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11641] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11642] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11633 11635 8697 0 -1 4202560 56 0 0 0 0 0 0 0 18 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11643] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11633 11635 8697 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11644] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11633 11635 8697 0 -1 4202560 971 0 0 0 0 0 0 0 18 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11645] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11633 11635 8697 0 -1 4202560 1555 0 0 0 0 0 0 0 18 0 19 0 905508524 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11646] ppid=11633 vsize=13639736 CPUtime=0.01 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11633 11635 8697 0 -1 4202560 2634 0 0 0 1 0 0 0 15 0 19 0 905508525 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 0 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11647] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11633 11635 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11648] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11633 11635 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11649] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000416177 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11650] ppid=11633 vsize=13639736 CPUtime=0.31 cores=1,3,5,7
/proc/11635/task/11650/stat : 11650 (java) S 11633 11635 8697 0 -1 4202560 1622 0 0 0 31 0 0 0 15 0 19 0 905508528 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11651] ppid=11633 vsize=13639736 CPUtime=0.45 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11633 11635 8697 0 -1 4202560 5754 0 0 0 45 0 0 0 15 0 19 0 905508528 13967089664 35050 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=11635/tid=11643] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11633 11635 8697 0 -1 4202560 7510 0 0 0 52 1 0 0 16 0 19 0 905508524 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11644] ppid=11633 vsize=13639736 CPUtime=0.62 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11633 11635 8697 0 -1 4202560 4304 0 0 0 62 0 0 0 16 0 19 0 905508524 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11645] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11633 11635 8697 0 -1 4202560 5890 0 0 0 52 1 0 0 16 0 19 0 905508524 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11646] ppid=11633 vsize=13639736 CPUtime=5.65 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11633 11635 8697 0 -1 4202560 21533 0 0 0 561 4 0 0 15 0 19 0 905508525 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 0 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11647] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11633 11635 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11648] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11633 11635 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11649] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000416177 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11650] ppid=11633 vsize=13639736 CPUtime=0.33 cores=1,3,5,7
/proc/11635/task/11650/stat : 11650 (java) S 11633 11635 8697 0 -1 4202560 1622 0 0 0 33 0 0 0 15 0 19 0 905508528 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11651] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11633 11635 8697 0 -1 4202560 5770 0 0 0 53 0 0 0 15 0 19 0 905508528 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11652] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11652/stat : 11652 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11653] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11633 11635 8697 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 905508528 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11654] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508555 13967089664 128525 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.48
Current children cumulated vsize (KiB) 13639736
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/551 12225
/proc/meminfo: memFree=18635644/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13639736 CPUtime=1786.59 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 131464 0 1 0 178636 23 0 0 25 0 19 0 905508521 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3409934 128538 2253 9 0 3400668 0
[pid=11635/tid=11636] ppid=11633 vsize=13639736 CPUtime=1774.96 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 42762 0 1 0 177490 6 0 0 25 0 19 0 905508522 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505787627 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11635/tid=11638] ppid=11633 vsize=13639736 CPUtime=0.68 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11633 11635 8697 0 -1 4202560 11322 0 0 0 66 2 0 0 16 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11639] ppid=11633 vsize=13639736 CPUtime=0.71 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11633 11635 8697 0 -1 4202560 12134 0 0 0 69 2 0 0 16 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11640] ppid=11633 vsize=13639736 CPUtime=0.57 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11633 11635 8697 0 -1 4202560 5535 0 0 0 57 0 0 0 15 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11641] ppid=11633 vsize=13639736 CPUtime=0.52 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11633 11635 8697 0 -1 4202560 6175 0 0 0 51 1 0 0 15 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11642] ppid=11633 vsize=13639736 CPUtime=0.6 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11633 11635 8697 0 -1 4202560 5645 0 0 0 60 0 0 0 15 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11643] ppid=11633 vsize=13639736 CPUtime=0.54 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11633 11635 8697 0 -1 4202560 7514 0 0 0 53 1 0 0 15 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11644] ppid=11633 vsize=13639736 CPUtime=0.64 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11633 11635 8697 0 -1 4202560 4304 0 0 0 64 0 0 0 16 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11645] ppid=11633 vsize=13639736 CPUtime=0.54 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11633 11635 8697 0 -1 4202560 5890 0 0 0 53 1 0 0 15 0 19 0 905508524 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11646] ppid=11633 vsize=13639736 CPUtime=5.86 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11633 11635 8697 0 -1 4202560 21537 0 0 0 582 4 0 0 15 0 19 0 905508525 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 0 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11647] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11633 11635 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11648] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11633 11635 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11649] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000416177 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11650] ppid=11633 vsize=13639736 CPUtime=0.33 cores=1,3,5,7
/proc/11635/task/11650/stat : 11650 (java) S 11633 11635 8697 0 -1 4202560 1622 0 0 0 33 0 0 0 15 0 19 0 905508528 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11651] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11633 11635 8697 0 -1 4202560 5770 0 0 0 53 0 0 0 15 0 19 0 905508528 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11652] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11652/stat : 11652 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11653] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11633 11635 8697 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905508528 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11654] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508555 13967089664 128538 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (KiB) 13639736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.7 s]
/proc/loadavg: 2.27 2.08 2.02 4/551 12225
/proc/meminfo: memFree=18635752/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13639736 CPUtime=1800.02 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 131469 0 1 0 179979 23 0 0 25 0 19 0 905508521 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3409934 128540 2253 9 0 3400668 0
[pid=11635/tid=11636] ppid=11633 vsize=13639736 CPUtime=1788.3 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 42763 0 1 0 178824 6 0 0 25 0 19 0 905508522 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505787551 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11635/tid=11638] ppid=11633 vsize=13639736 CPUtime=0.68 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11633 11635 8697 0 -1 4202560 11322 0 0 0 66 2 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11639] ppid=11633 vsize=13639736 CPUtime=0.71 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11633 11635 8697 0 -1 4202560 12134 0 0 0 69 2 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11640] ppid=11633 vsize=13639736 CPUtime=0.57 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11633 11635 8697 0 -1 4202560 5535 0 0 0 57 0 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11641] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11633 11635 8697 0 -1 4202560 6175 0 0 0 52 1 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11642] ppid=11633 vsize=13639736 CPUtime=0.6 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11633 11635 8697 0 -1 4202560 5645 0 0 0 60 0 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11643] ppid=11633 vsize=13639736 CPUtime=0.55 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11633 11635 8697 0 -1 4202560 7516 0 0 0 54 1 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11644] ppid=11633 vsize=13639736 CPUtime=0.64 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11633 11635 8697 0 -1 4202560 4304 0 0 0 64 0 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11645] ppid=11633 vsize=13639736 CPUtime=0.55 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11633 11635 8697 0 -1 4202560 5890 0 0 0 54 1 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11646] ppid=11633 vsize=13639736 CPUtime=5.92 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11633 11635 8697 0 -1 4202560 21537 0 0 0 588 4 0 0 15 0 19 0 905508525 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 0 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11647] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11633 11635 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11648] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11633 11635 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11649] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000416177 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11650] ppid=11633 vsize=13639736 CPUtime=0.33 cores=1,3,5,7
/proc/11635/task/11650/stat : 11650 (java) S 11633 11635 8697 0 -1 4202560 1622 0 0 0 33 0 0 0 15 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11651] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11633 11635 8697 0 -1 4202560 5770 0 0 0 53 0 0 0 15 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11652] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11652/stat : 11652 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11653] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11633 11635 8697 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11654] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508555 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13639736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.7 s]
/proc/loadavg: 2.27 2.08 2.02 4/551 12225
/proc/meminfo: memFree=18635752/32950940 swapFree=67111364/67111528
[pid=11635] ppid=11633 vsize=13639736 CPUtime=1800.02 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11633 11635 8697 0 -1 4202496 131469 0 1 0 179979 23 0 0 25 0 19 0 905508521 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11635/statm: 3409934 128540 2253 9 0 3400668 0
[pid=11635/tid=11636] ppid=11633 vsize=13639736 CPUtime=1788.3 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11633 11635 8697 0 -1 4202560 42763 0 1 0 178824 6 0 0 25 0 19 0 905508522 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 46912505787551 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11635/tid=11638] ppid=11633 vsize=13639736 CPUtime=0.68 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11633 11635 8697 0 -1 4202560 11322 0 0 0 66 2 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11639] ppid=11633 vsize=13639736 CPUtime=0.71 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11633 11635 8697 0 -1 4202560 12134 0 0 0 69 2 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11640] ppid=11633 vsize=13639736 CPUtime=0.57 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11633 11635 8697 0 -1 4202560 5535 0 0 0 57 0 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11641] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11633 11635 8697 0 -1 4202560 6175 0 0 0 52 1 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11642] ppid=11633 vsize=13639736 CPUtime=0.6 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11633 11635 8697 0 -1 4202560 5645 0 0 0 60 0 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11643] ppid=11633 vsize=13639736 CPUtime=0.55 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11633 11635 8697 0 -1 4202560 7516 0 0 0 54 1 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11644] ppid=11633 vsize=13639736 CPUtime=0.64 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11633 11635 8697 0 -1 4202560 4304 0 0 0 64 0 0 0 15 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11645] ppid=11633 vsize=13639736 CPUtime=0.55 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11633 11635 8697 0 -1 4202560 5890 0 0 0 54 1 0 0 16 0 19 0 905508524 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11646] ppid=11633 vsize=13639736 CPUtime=5.92 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11633 11635 8697 0 -1 4202560 21537 0 0 0 588 4 0 0 15 0 19 0 905508525 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 0 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11647] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11633 11635 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11648] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11633 11635 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905508525 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11649] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000416177 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11650] ppid=11633 vsize=13639736 CPUtime=0.33 cores=1,3,5,7
/proc/11635/task/11650/stat : 11650 (java) S 11633 11635 8697 0 -1 4202560 1622 0 0 0 33 0 0 0 15 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 5 0 0 0
[pid=11635/tid=11651] ppid=11633 vsize=13639736 CPUtime=0.53 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11633 11635 8697 0 -1 4202560 5770 0 0 0 53 0 0 0 15 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 7 0 0 0
[pid=11635/tid=11652] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11652/stat : 11652 (java) S 11633 11635 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000408473 0 4 0 16800975 18446604461830240320 0 0 -1 3 0 0 0
[pid=11635/tid=11653] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11633 11635 8697 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905508528 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
[pid=11635/tid=11654] ppid=11633 vsize=13639736 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11633 11635 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905508555 13967089664 128540 33554432000 1073741824 1073778376 140737252857024 18446744073709551615 216000409088 0 4 0 16800975 18446604461830240320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13639736
Child status: 143
Real time (s): 1795.76
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.254961
CPU usage (%): 100.241
Max. virtual memory (cumulated for all children) (KiB): 13639736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131512
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= 40595
involuntary context switches= 7570
runsolver used 9.16161 second user time and 21.8947 second system time
The end