runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3312226-1304185619/watcher-3312226-1304185619 -o /tmp/evaluation-result-3312226-1304185619/solver-3312226-1304185619 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312226-1304185619.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.52 8.03 7.87 2/172 17791
/proc/meminfo: memFree=30823672/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/17791/stat : 17791 (java) R 17789 17791 16794 0 -1 4202496 753 0 0 0 0 0 0 0 22 0 1 0 530161492 23580672 238 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210642183957 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17791/statm: 5757 249 200 9 0 124 0
[startup+0.029678 s]
/proc/loadavg: 7.52 8.03 7.87 2/172 17791
/proc/meminfo: memFree=30823672/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15667596 CPUtime=0.01 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 3332 0 1 0 1 0 0 0 22 0 11 0 530161492 16043618304 2772 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3916899 2775 1606 9 0 3907647 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15667596
[startup+0.105695 s]
/proc/loadavg: 7.52 8.03 7.87 2/172 17791
/proc/meminfo: memFree=30823672/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15676564 CPUtime=0.11 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 5550 0 1 0 9 2 0 0 22 0 18 0 530161492 16052801536 4959 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3919141 4959 2116 9 0 3909860 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676564
[startup+0.302362 s]
/proc/loadavg: 7.52 8.03 7.87 2/172 17791
/proc/meminfo: memFree=30823672/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15680348 CPUtime=0.5 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 14246 0 1 0 47 3 0 0 22 0 18 0 530161492 16056676352 12686 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3920087 12692 2206 9 0 3910806 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15680348
[startup+0.706615 s]
/proc/loadavg: 7.52 8.03 7.87 2/172 17791
/proc/meminfo: memFree=30823672/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15684592 CPUtime=1.13 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 45446 0 1 0 107 6 0 0 22 0 22 0 530161492 16061022208 41976 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3921148 41976 2254 9 0 3911867 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 15684592
[startup+1.50144 s]
/proc/loadavg: 7.16 7.95 7.85 4/218 17840
/proc/meminfo: memFree=30483788/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15690352 CPUtime=2.86 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 50919 0 1 0 279 7 0 0 22 0 22 0 530161492 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3922588 45452 2273 9 0 3913307 0
[pid=17791/tid=17793] ppid=17789 vsize=15690352 CPUtime=1.34 cores=1,3,5,7
/proc/17791/task/17793/stat : 17793 (java) S 17789 17791 16794 0 -1 4202560 35681 0 1 0 129 5 0 0 21 0 22 0 530161493 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 16794 0 -1 4202560 33 0 0 0 0 0 0 0 18 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 16794 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 16794 0 -1 4202560 364 0 0 0 0 0 0 0 21 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 16794 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 16794 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 530161494 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 16794 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 530161495 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 0 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 16794 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 530161495 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 16794 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 530161495 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17820] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17820/stat : 17820 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530161498 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658970033 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17821] ppid=17789 vsize=15690352 CPUtime=0.56 cores=1,3,5,7
/proc/17791/task/17821/stat : 17821 (java) S 17789 17791 16794 0 -1 4202560 2623 0 0 0 56 0 0 0 15 0 22 0 530161498 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17822] ppid=17789 vsize=15690352 CPUtime=0.82 cores=1,3,5,7
/proc/17791/task/17822/stat : 17822 (java) S 17789 17791 16794 0 -1 4202560 10752 0 0 0 81 1 0 0 16 0 22 0 530161498 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17823] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17823/stat : 17823 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530161498 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17824] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17824/stat : 17824 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530161498 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17833] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17833/stat : 17833 (java) S 17789 17791 16794 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 530161543 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17834] ppid=17789 vsize=15690352 CPUtime=0.1 cores=1,3,5,7
/proc/17791/task/17834/stat : 17834 (java) R 17789 17791 16794 0 -1 4202560 23 0 0 0 10 0 0 0 15 0 22 0 530161543 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505985305 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17835] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17835/stat : 17835 (java) S 17789 17791 16794 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 530161543 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17836] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17836/stat : 17836 (java) S 17789 17791 16794 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530161543 16066920448 45452 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 15690352
[startup+3.10112 s]
/proc/loadavg: 7.16 7.95 7.85 4/218 17840
/proc/meminfo: memFree=30436256/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15690352 CPUtime=7.91 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 66522 0 1 0 782 9 0 0 22 0 22 0 530161492 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3922588 60900 2275 9 0 3913307 0
[pid=17791/tid=17793] ppid=17789 vsize=15690352 CPUtime=1.34 cores=1,3,5,7
/proc/17791/task/17793/stat : 17793 (java) S 17789 17791 16794 0 -1 4202560 35681 0 1 0 129 5 0 0 21 0 22 0 530161493 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=15690352 CPUtime=0.01 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 16794 0 -1 4202560 2055 0 0 0 1 0 0 0 15 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=15690352 CPUtime=0.01 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 16794 0 -1 4202560 4082 0 0 0 1 0 0 0 15 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=15690352 CPUtime=0.01 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 16794 0 -1 4202560 2165 0 0 0 1 0 0 0 16 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 16794 0 -1 4202560 3688 0 0 0 0 0 0 0 15 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 16794 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=15690352 CPUtime=0.01 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 16794 0 -1 4202560 3179 0 0 0 1 0 0 0 16 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 16794 0 -1 4202560 651 0 0 0 0 0 0 0 16 0 22 0 530161494 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 16794 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 530161495 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 0 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 16794 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530161495 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 16794 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530161495 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17820] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17820/stat : 17820 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530161498 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658970033 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17821] ppid=17789 vsize=15690352 CPUtime=0.69 cores=1,3,5,7
/proc/17791/task/17821/stat : 17821 (java) S 17789 17791 16794 0 -1 4202560 2692 0 0 0 69 0 0 0 15 0 22 0 530161498 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17822] ppid=17789 vsize=15690352 CPUtime=1 cores=1,3,5,7
/proc/17791/task/17822/stat : 17822 (java) S 17789 17791 16794 0 -1 4202560 10801 0 0 0 99 1 0 0 15 0 22 0 530161498 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17823] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17823/stat : 17823 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530161498 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17824] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17824/stat : 17824 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530161498 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17833] ppid=17789 vsize=15690352 CPUtime=1.06 cores=1,3,5,7
/proc/17791/task/17833/stat : 17833 (java) R 17789 17791 16794 0 -1 4202560 15 0 0 0 106 0 0 0 16 0 22 0 530161543 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505782826 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17834] ppid=17789 vsize=15690352 CPUtime=1.51 cores=1,3,5,7
/proc/17791/task/17834/stat : 17834 (java) R 17789 17791 16794 0 -1 4202560 25 0 0 0 151 0 0 0 17 0 22 0 530161543 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505985642 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17791/tid=17835] ppid=17789 vsize=15690352 CPUtime=1.2 cores=1,3,5,7
/proc/17791/task/17835/stat : 17835 (java) R 17789 17791 16794 0 -1 4202560 12 0 0 0 120 0 0 0 16 0 22 0 530161543 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505811116 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17836] ppid=17789 vsize=15690352 CPUtime=0.97 cores=1,3,5,7
/proc/17791/task/17836/stat : 17836 (java) R 17789 17791 16794 0 -1 4202560 8 0 0 0 97 0 0 0 16 0 22 0 530161543 16066920448 60900 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505811496 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 15690352
[startup+6.30158 s]
/proc/loadavg: 7.55 8.01 7.87 12/218 17840
/proc/meminfo: memFree=29939792/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15690352 CPUtime=20.68 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 183022 0 1 0 2042 26 0 0 22 0 22 0 530161492 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3922588 176386 2275 9 0 3913307 0
[pid=17791/tid=17793] ppid=17789 vsize=15690352 CPUtime=1.34 cores=1,3,5,7
/proc/17791/task/17793/stat : 17793 (java) S 17789 17791 16794 0 -1 4202560 35681 0 1 0 129 5 0 0 21 0 22 0 530161493 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=15690352 CPUtime=0.03 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 16794 0 -1 4202560 9733 0 0 0 3 0 0 0 16 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=15690352 CPUtime=0.02 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 16794 0 -1 4202560 6238 0 0 0 2 0 0 0 15 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=15690352 CPUtime=0.03 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 16794 0 -1 4202560 8088 0 0 0 2 1 0 0 15 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=15690352 CPUtime=0.04 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 16794 0 -1 4202560 9412 0 0 0 3 1 0 0 15 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=15690352 CPUtime=0.04 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 16794 0 -1 4202560 11158 0 0 0 2 2 0 0 16 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 16794 0 -1 4202560 3409 0 0 0 0 0 0 0 15 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=15690352 CPUtime=0.06 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 16794 0 -1 4202560 12774 0 0 0 4 2 0 0 16 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=15690352 CPUtime=0.05 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 16794 0 -1 4202560 12566 0 0 0 3 2 0 0 16 0 22 0 530161494 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 16794 0 -1 4202560 387 0 0 0 0 0 0 0 15 0 22 0 530161495 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 0 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 16794 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530161495 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 16794 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530161495 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17820] ppid=17789 vsize=15690352 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17820/stat : 17820 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530161498 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658970033 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17821] ppid=17789 vsize=15690352 CPUtime=0.79 cores=1,3,5,7
/proc/17791/task/17821/stat : 17821 (java) S 17789 17791 16794 0 -1 4202560 2718 0 0 0 79 0 0 0 15 0 22 0 530161498 16066920448 176386 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=17791/tid=17834] ppid=17789 vsize=15755888 CPUtime=1107.42 cores=1,3,5,7
/proc/17791/task/17834/stat : 17834 (java) R 17789 17791 16794 0 -1 4202560 214382 0 0 0 110712 30 0 0 25 0 22 0 530161543 16134029312 178534 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505820922 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17791/tid=17835] ppid=17789 vsize=15755888 CPUtime=1107.89 cores=1,3,5,7
/proc/17791/task/17835/stat : 17835 (java) R 17789 17791 16794 0 -1 4202560 200801 0 0 0 110761 28 0 0 25 0 22 0 530161543 16134029312 178534 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505597705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17836] ppid=17789 vsize=15755888 CPUtime=1107.47 cores=1,3,5,7
/proc/17791/task/17836/stat : 17836 (java) R 17789 17791 16794 0 -1 4202560 208584 0 0 0 110716 31 0 0 25 0 22 0 530161543 16134029312 178534 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505985570 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4468.2
Current children cumulated vsize (KiB) 15755888
[startup+1182.3 s]
/proc/loadavg: 8.27 8.12 8.02 9/218 17883
/proc/meminfo: memFree=29302628/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15755888 CPUtime=4707.14 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 2754355 0 1 0 470246 468 0 0 22 0 22 0 530161492 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3938972 185536 2293 9 0 3929691 0
[pid=17791/tid=17793] ppid=17789 vsize=15755888 CPUtime=1.34 cores=1,3,5,7
/proc/17791/task/17793/stat : 17793 (java) S 17789 17791 16794 0 -1 4202560 35681 0 1 0 129 5 0 0 21 0 22 0 530161493 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=15755888 CPUtime=4.33 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 16794 0 -1 4202560 224615 0 0 0 397 36 0 0 15 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=15755888 CPUtime=4.32 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 16794 0 -1 4202560 219360 0 0 0 398 34 0 0 15 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=15755888 CPUtime=4.33 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 16794 0 -1 4202560 232134 0 0 0 394 39 0 0 16 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=15755888 CPUtime=4.32 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 16794 0 -1 4202560 225160 0 0 0 398 34 0 0 16 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=15755888 CPUtime=4.22 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 16794 0 -1 4202560 208344 0 0 0 392 30 0 0 16 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=15755888 CPUtime=4.25 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 16794 0 -1 4202560 220783 0 0 0 388 37 0 0 16 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=15755888 CPUtime=4.44 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 16794 0 -1 4202560 236802 0 0 0 407 37 0 0 15 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=15755888 CPUtime=4.31 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 16794 0 -1 4202560 235504 0 0 0 394 37 0 0 15 0 22 0 530161494 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=15755888 CPUtime=2.03 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 16794 0 -1 4202560 6805 0 0 0 156 47 0 0 15 0 22 0 530161495 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 0 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 16794 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530161495 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 16794 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530161495 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17820] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17820/stat : 17820 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530161498 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658970033 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17821] ppid=17789 vsize=15755888 CPUtime=0.93 cores=1,3,5,7
/proc/17791/task/17821/stat : 17821 (java) S 17789 17791 16794 0 -1 4202560 2728 0 0 0 93 0 0 0 15 0 22 0 530161498 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17822] ppid=17789 vsize=15755888 CPUtime=1.11 cores=1,3,5,7
/proc/17791/task/17822/stat : 17822 (java) S 17789 17791 16794 0 -1 4202560 10829 0 0 0 110 1 0 0 15 0 22 0 530161498 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17823] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17823/stat : 17823 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530161498 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17824] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17824/stat : 17824 (java) S 17789 17791 16794 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 530161498 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17833] ppid=17789 vsize=15755888 CPUtime=1166.42 cores=1,3,5,7
/proc/17791/task/17833/stat : 17833 (java) R 17789 17791 16794 0 -1 4202560 224638 0 0 0 116612 30 0 0 25 0 22 0 530161543 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505910389 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17834] ppid=17789 vsize=15755888 CPUtime=1166.71 cores=1,3,5,7
/proc/17791/task/17834/stat : 17834 (java) R 17789 17791 16794 0 -1 4202560 234178 0 0 0 116639 32 0 0 25 0 22 0 530161543 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505597770 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17791/tid=17835] ppid=17789 vsize=15755888 CPUtime=1167.26 cores=1,3,5,7
/proc/17791/task/17835/stat : 17835 (java) R 17789 17791 16794 0 -1 4202560 214595 0 0 0 116696 30 0 0 25 0 22 0 530161543 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912506049429 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17836] ppid=17789 vsize=15755888 CPUtime=1166.68 cores=1,3,5,7
/proc/17791/task/17836/stat : 17836 (java) R 17789 17791 16794 0 -1 4202560 220742 0 0 0 116636 32 0 0 25 0 22 0 530161543 16134029312 185536 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912506108752 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4707.14
Current children cumulated vsize (KiB) 15755888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1205.7 s]
/proc/loadavg: 8.24 8.12 8.03 9/218 17884
/proc/meminfo: memFree=29295184/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15755888 CPUtime=4800.36 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 2789785 0 1 0 479560 476 0 0 22 0 22 0 530161492 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3938972 165596 2293 9 0 3929691 0
[pid=17791/tid=17793] ppid=17789 vsize=15755888 CPUtime=1.34 cores=1,3,5,7
/proc/17791/task/17793/stat : 17793 (java) S 17789 17791 16794 0 -1 4202560 35681 0 1 0 129 5 0 0 21 0 22 0 530161493 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=15755888 CPUtime=4.42 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 16794 0 -1 4202560 227637 0 0 0 406 36 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=15755888 CPUtime=4.41 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 16794 0 -1 4202560 223436 0 0 0 407 34 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=15755888 CPUtime=4.41 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 16794 0 -1 4202560 234539 0 0 0 402 39 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=15755888 CPUtime=4.37 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 16794 0 -1 4202560 226179 0 0 0 403 34 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=15755888 CPUtime=4.34 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 16794 0 -1 4202560 212167 0 0 0 403 31 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=15755888 CPUtime=4.31 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 16794 0 -1 4202560 222511 0 0 0 394 37 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=15755888 CPUtime=4.55 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 16794 0 -1 4202560 239139 0 0 0 417 38 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=15755888 CPUtime=4.39 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 16794 0 -1 4202560 237871 0 0 0 402 37 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=15755888 CPUtime=2.08 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 16794 0 -1 4202560 6899 0 0 0 160 48 0 0 15 0 22 0 530161495 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 0 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 16794 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530161495 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 16794 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530161495 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17820] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17820/stat : 17820 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658970033 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17821] ppid=17789 vsize=15755888 CPUtime=0.93 cores=1,3,5,7
/proc/17791/task/17821/stat : 17821 (java) S 17789 17791 16794 0 -1 4202560 2728 0 0 0 93 0 0 0 15 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17822] ppid=17789 vsize=15755888 CPUtime=1.11 cores=1,3,5,7
/proc/17791/task/17822/stat : 17822 (java) S 17789 17791 16794 0 -1 4202560 10829 0 0 0 110 1 0 0 15 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17823] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17823/stat : 17823 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17824] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17824/stat : 17824 (java) S 17789 17791 16794 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17833] ppid=17789 vsize=15755888 CPUtime=1189.56 cores=1,3,5,7
/proc/17791/task/17833/stat : 17833 (java) R 17789 17791 16794 0 -1 4202560 227631 0 0 0 118926 30 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505811605 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17791/tid=17834] ppid=17789 vsize=15755888 CPUtime=1189.86 cores=1,3,5,7
/proc/17791/task/17834/stat : 17834 (java) R 17789 17791 16794 0 -1 4202560 237774 0 0 0 118953 33 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505811496 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17835] ppid=17789 vsize=15755888 CPUtime=1190.41 cores=1,3,5,7
/proc/17791/task/17835/stat : 17835 (java) R 17789 17791 16794 0 -1 4202560 218597 0 0 0 119011 30 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46945072454751 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17836] ppid=17789 vsize=15755888 CPUtime=1189.7 cores=1,3,5,7
/proc/17791/task/17836/stat : 17836 (java) R 17789 17791 16794 0 -1 4202560 224708 0 0 0 118937 33 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912506015193 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 15755888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1205.7 s]
/proc/loadavg: 8.24 8.12 8.03 9/218 17884
/proc/meminfo: memFree=29295184/32951132 swapFree=67080200/67111528
[pid=17791] ppid=17789 vsize=15755888 CPUtime=4800.36 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 16794 0 -1 4202496 2789785 0 1 0 479560 476 0 0 22 0 22 0 530161492 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 3938972 165596 2293 9 0 3929691 0
[pid=17791/tid=17793] ppid=17789 vsize=15755888 CPUtime=1.34 cores=1,3,5,7
/proc/17791/task/17793/stat : 17793 (java) S 17789 17791 16794 0 -1 4202560 35681 0 1 0 129 5 0 0 21 0 22 0 530161493 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=15755888 CPUtime=4.42 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 16794 0 -1 4202560 227637 0 0 0 406 36 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=15755888 CPUtime=4.41 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 16794 0 -1 4202560 223436 0 0 0 407 34 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=15755888 CPUtime=4.41 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 16794 0 -1 4202560 234539 0 0 0 402 39 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=15755888 CPUtime=4.37 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 16794 0 -1 4202560 226179 0 0 0 403 34 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=15755888 CPUtime=4.34 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 16794 0 -1 4202560 212167 0 0 0 403 31 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 3 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=15755888 CPUtime=4.31 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 16794 0 -1 4202560 222511 0 0 0 394 37 0 0 15 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=15755888 CPUtime=4.55 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 16794 0 -1 4202560 239139 0 0 0 417 38 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=15755888 CPUtime=4.39 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 16794 0 -1 4202560 237871 0 0 0 402 37 0 0 16 0 22 0 530161494 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=15755888 CPUtime=2.08 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 16794 0 -1 4202560 6899 0 0 0 160 48 0 0 15 0 22 0 530161495 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 0 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 16794 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530161495 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 16794 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530161495 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 1 0 0 0
[pid=17791/tid=17820] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17820/stat : 17820 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658970033 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17821] ppid=17789 vsize=15755888 CPUtime=0.93 cores=1,3,5,7
/proc/17791/task/17821/stat : 17821 (java) S 17789 17791 16794 0 -1 4202560 2728 0 0 0 93 0 0 0 15 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 5 0 0 0
[pid=17791/tid=17822] ppid=17789 vsize=15755888 CPUtime=1.11 cores=1,3,5,7
/proc/17791/task/17822/stat : 17822 (java) S 17789 17791 16794 0 -1 4202560 10829 0 0 0 110 1 0 0 15 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17823] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17823/stat : 17823 (java) S 17789 17791 16794 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962329 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17824] ppid=17789 vsize=15755888 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17824/stat : 17824 (java) S 17789 17791 16794 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 530161498 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 210658962944 0 4 0 16800975 18446604471001496640 0 0 -1 7 0 0 0
[pid=17791/tid=17833] ppid=17789 vsize=15755888 CPUtime=1189.56 cores=1,3,5,7
/proc/17791/task/17833/stat : 17833 (java) R 17789 17791 16794 0 -1 4202560 227631 0 0 0 118926 30 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505811605 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17791/tid=17834] ppid=17789 vsize=15755888 CPUtime=1189.86 cores=1,3,5,7
/proc/17791/task/17834/stat : 17834 (java) R 17789 17791 16794 0 -1 4202560 237774 0 0 0 118953 33 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912505811496 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17835] ppid=17789 vsize=15755888 CPUtime=1190.41 cores=1,3,5,7
/proc/17791/task/17835/stat : 17835 (java) R 17789 17791 16794 0 -1 4202560 218597 0 0 0 119011 30 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46945072454751 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17836] ppid=17789 vsize=15755888 CPUtime=1189.7 cores=1,3,5,7
/proc/17791/task/17836/stat : 17836 (java) R 17789 17791 16794 0 -1 4202560 224708 0 0 0 118937 33 0 0 25 0 22 0 530161543 16134029312 165596 33554432000 1073741824 1073778376 140734547187824 18446744073709551615 46912506015193 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 15755888
Child status: 143
Real time (s): 1205.74
CPU time (s): 4800.41
CPU user time (s): 4795.63
CPU system time (s): 4.78527
CPU usage (%): 398.13
Max. virtual memory (cumulated for all children) (KiB): 15755888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.63
system time used= 4.78527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2789811
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= 83964
involuntary context switches= 78791
runsolver used 2.00769 second user time and 4.63929 second system time
The end