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-3312162-1304185705/watcher-3312162-1304185705 -o /tmp/evaluation-result-3312162-1304185705/solver-3312162-1304185705 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312162-1304185705.cnf -hbr 2
running on 4 cores: 0,2,4,6
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.77 8.03 7.96 5/198 7782
/proc/meminfo: memFree=30245120/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=28436 CPUtime=0 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 1436 0 0 0 0 0 0 0 18 0 2 0 530168576 29118464 904 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 7643 906 692 9 0 381 0
[pid=7782/tid=7783] ppid=7780 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) R 7780 7782 7394 0 -1 4202560 115 0 0 0 0 0 0 0 19 0 2 0 530168577 31260672 935 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 47411778753552 0 0 4096 0 0 0 0 -1 2 0 0 0
[startup+0.0449939 s]
/proc/loadavg: 7.77 8.03 7.96 5/198 7782
/proc/meminfo: memFree=30245120/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15605276 CPUtime=0.03 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 3894 0 1 0 3 0 0 0 18 0 14 0 530168576 15979802624 3332 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3901319 3332 1689 9 0 3892067 0
[pid=7782/tid=7783] ppid=7780 vsize=15605276 CPUtime=0.03 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) S 7780 7782 7394 0 -1 4202560 2501 0 1 0 3 0 0 0 24 0 14 0 530168577 15979802624 3332 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800971 18446604446396992320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15605276
[startup+0.105366 s]
/proc/loadavg: 7.77 8.03 7.96 5/198 7782
/proc/meminfo: memFree=30245120/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15741444 CPUtime=0.11 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 5662 0 1 0 10 1 0 0 18 0 18 0 530168576 16119238656 5074 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3935361 5074 2117 9 0 3926080 0
[pid=7782/tid=7783] ppid=7780 vsize=15741444 CPUtime=0.09 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) R 7780 7782 7394 0 -1 4202560 3523 0 1 0 8 1 0 0 18 0 18 0 530168577 16119238656 5075 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 47411779855107 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15741444
[startup+0.300325 s]
/proc/loadavg: 7.77 8.03 7.96 5/198 7782
/proc/meminfo: memFree=30245120/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15746724 CPUtime=0.51 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 14881 0 1 0 48 3 0 0 18 0 18 0 530168576 16124645376 13039 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3936681 13045 2206 9 0 3927400 0
[pid=7782/tid=7783] ppid=7780 vsize=15746724 CPUtime=0.28 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) R 7780 7782 7394 0 -1 4202560 9717 0 1 0 26 2 0 0 18 0 18 0 530168577 16124645376 13049 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912505637907 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15746724
[startup+0.700254 s]
/proc/loadavg: 7.77 8.03 7.96 5/198 7782
/proc/meminfo: memFree=30245120/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15746724 CPUtime=0.91 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 41851 0 1 0 85 6 0 0 18 0 18 0 530168576 16124645376 40005 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3936681 40005 2222 9 0 3927400 0
[pid=7782/tid=7783] ppid=7780 vsize=15746724 CPUtime=0.68 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) R 7780 7782 7394 0 -1 4202560 35540 0 1 0 63 5 0 0 18 0 18 0 530168577 16124645376 40005 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912505534172 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15746724
[startup+1.50112 s]
/proc/loadavg: 7.77 8.03 7.96 6/216 7800
/proc/meminfo: memFree=30097064/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15746724 CPUtime=1.74 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 63501 0 1 0 165 9 0 0 18 0 18 0 530168576 16124645376 61637 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3936681 61644 2222 9 0 3927400 0
[pid=7782/tid=7783] ppid=7780 vsize=15746724 CPUtime=1.47 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) R 7780 7782 7394 0 -1 4202560 54168 0 1 0 139 8 0 0 19 0 18 0 530168577 16124645376 61646 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912505637907 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7782/tid=7785] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7785/stat : 7785 (java) S 7780 7782 7394 0 -1 4202560 655 0 0 0 0 0 0 0 16 0 18 0 530168577 16124645376 61650 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7786] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7786/stat : 7786 (java) S 7780 7782 7394 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 61655 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7787] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7787/stat : 7787 (java) S 7780 7782 7394 0 -1 4202560 724 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 61659 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7788] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7788/stat : 7788 (java) S 7780 7782 7394 0 -1 4202560 658 0 0 0 0 0 0 0 16 0 18 0 530168577 16124645376 61662 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7789] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7789/stat : 7789 (java) S 7780 7782 7394 0 -1 4202560 1293 0 0 0 0 0 0 0 16 0 18 0 530168577 16124645376 61666 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7790] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7790/stat : 7790 (java) S 7780 7782 7394 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 18 0 530168577 16124645376 61670 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7791] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7791/stat : 7791 (java) S 7780 7782 7394 0 -1 4202560 59 0 0 0 0 0 0 0 16 0 18 0 530168577 16124645376 61674 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7792] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7792/stat : 7792 (java) S 7780 7782 7394 0 -1 4202560 662 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 61677 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7793] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7793/stat : 7793 (java) S 7780 7782 7394 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 530168578 16124645376 61682 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 0 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7794] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7794/stat : 7794 (java) S 7780 7782 7394 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 530168579 16124645376 61686 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7795] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7795/stat : 7795 (java) S 7780 7782 7394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 530168579 16124645376 61690 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7796] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7796/stat : 7796 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530168581 16124645376 61694 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256172465 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7797] ppid=7780 vsize=15746724 CPUtime=0.12 cores=0,2,4,6
/proc/7782/task/7797/stat : 7797 (java) S 7780 7782 7394 0 -1 4202560 2423 0 0 0 12 0 0 0 15 0 18 0 530168581 16124645376 61695 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7798] ppid=7780 vsize=15746724 CPUtime=0.1 cores=0,2,4,6
/proc/7782/task/7798/stat : 7798 (java) S 7780 7782 7394 0 -1 4202560 1357 0 0 0 10 0 0 0 18 0 18 0 530168581 16124645376 61699 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7799] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7799/stat : 7799 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530168581 16124645376 61703 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7800] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7800/stat : 7800 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530168581 16124645376 61707 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15746724
[startup+3.10084 s]
/proc/loadavg: 7.54 7.98 7.94 6/216 7800
/proc/meminfo: memFree=29965864/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15746724 CPUtime=3.4 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 139961 0 1 0 322 18 0 0 18 0 18 0 530168576 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3936681 137982 2240 9 0 3927400 0
[pid=7782/tid=7783] ppid=7780 vsize=15746724 CPUtime=3.07 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) R 7780 7782 7394 0 -1 4202560 127689 0 1 0 291 16 0 0 24 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912505523120 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7782/tid=7785] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7785/stat : 7785 (java) S 7780 7782 7394 0 -1 4202560 668 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7786] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7786/stat : 7786 (java) S 7780 7782 7394 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7787] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7787/stat : 7787 (java) S 7780 7782 7394 0 -1 4202560 724 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7788] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7788/stat : 7788 (java) S 7780 7782 7394 0 -1 4202560 658 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7789] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7789/stat : 7789 (java) S 7780 7782 7394 0 -1 4202560 1294 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7790] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7790/stat : 7790 (java) S 7780 7782 7394 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7791] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7791/stat : 7791 (java) S 7780 7782 7394 0 -1 4202560 2634 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7792] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7792/stat : 7792 (java) S 7780 7782 7394 0 -1 4202560 720 0 0 0 0 0 0 0 15 0 18 0 530168577 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7793] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7793/stat : 7793 (java) S 7780 7782 7394 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 18 0 530168578 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 0 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7794] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7794/stat : 7794 (java) S 7780 7782 7394 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 530168579 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7795] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7795/stat : 7795 (java) S 7780 7782 7394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 530168579 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7796] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7796/stat : 7796 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530168581 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256172465 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7797] ppid=7780 vsize=15746724 CPUtime=0.14 cores=0,2,4,6
/proc/7782/task/7797/stat : 7797 (java) S 7780 7782 7394 0 -1 4202560 2443 0 0 0 14 0 0 0 15 0 18 0 530168581 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7798] ppid=7780 vsize=15746724 CPUtime=0.12 cores=0,2,4,6
/proc/7782/task/7798/stat : 7798 (java) S 7780 7782 7394 0 -1 4202560 1494 0 0 0 12 0 0 0 15 0 18 0 530168581 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7799] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7799/stat : 7799 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530168581 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7800] ppid=7780 vsize=15746724 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7800/stat : 7800 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530168581 16124645376 137982 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 15746724
[startup+6.30128 s]
/proc/loadavg: 7.54 7.98 7.94 7/220 7804
/proc/meminfo: memFree=29678768/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15778220 CPUtime=7.92 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 162022 0 1 0 770 22 0 0 18 0 22 0 530168576 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3944555 155585 2265 9 0 3935274 0
[pid=7782/tid=7783] ppid=7780 vsize=15778220 CPUtime=6.25 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) R 7780 7782 7394 0 -1 4202560 127828 0 1 0 609 16 0 0 18 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912505717846 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7782/tid=7785] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7785/stat : 7785 (java) S 7780 7782 7394 0 -1 4202560 668 0 0 0 0 0 0 0 16 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7786] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7786/stat : 7786 (java) S 7780 7782 7394 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7787] ppid=7780 vsize=15778220 CPUtime=0.01 cores=0,2,4,6
/proc/7782/task/7787/stat : 7787 (java) S 7780 7782 7394 0 -1 4202560 724 0 0 0 1 0 0 0 15 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7788] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7788/stat : 7788 (java) S 7780 7782 7394 0 -1 4202560 659 0 0 0 0 0 0 0 15 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7789] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7789/stat : 7789 (java) S 7780 7782 7394 0 -1 4202560 6415 0 0 0 0 0 0 0 15 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7790] ppid=7780 vsize=15778220 CPUtime=0.01 cores=0,2,4,6
/proc/7782/task/7790/stat : 7790 (java) S 7780 7782 7394 0 -1 4202560 31 0 0 0 1 0 0 0 16 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7791] ppid=7780 vsize=15778220 CPUtime=0.01 cores=0,2,4,6
/proc/7782/task/7791/stat : 7791 (java) S 7780 7782 7394 0 -1 4202560 2634 0 0 0 1 0 0 0 15 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7792] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7792/stat : 7792 (java) S 7780 7782 7394 0 -1 4202560 720 0 0 0 0 0 0 0 15 0 22 0 530168577 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7793] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7793/stat : 7793 (java) S 7780 7782 7394 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 22 0 530168578 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 0 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7794] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7794/stat : 7794 (java) S 7780 7782 7394 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 530168579 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7795] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7795/stat : 7795 (java) S 7780 7782 7394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 530168579 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7796] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7796/stat : 7796 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256172465 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7797] ppid=7780 vsize=15778220 CPUtime=0.95 cores=0,2,4,6
/proc/7782/task/7797/stat : 7797 (java) S 7780 7782 7394 0 -1 4202560 10197 0 0 0 94 1 0 0 16 0 22 0 530168581 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7798] ppid=7780 vsize=15778220 CPUtime=0.6 cores=0,2,4,6
/proc/7782/task/7798/stat : 7798 (java) S 7780 7782 7394 0 -1 4202560 10358 0 0 0 59 1 0 0 16 0 22 0 530168581 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7799] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7799/stat : 7799 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7800] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7800/stat : 7800 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530168581 16156897280 155585 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=7782/tid=7802] ppid=7780 vsize=15778220 CPUtime=1075.42 cores=0,2,4,6
/proc/7782/task/7802/stat : 7802 (java) R 7780 7782 7394 0 -1 4202560 51550 0 0 0 107534 8 0 0 25 0 22 0 530168985 16156897280 440388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506238871 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7782/tid=7803] ppid=7780 vsize=15778220 CPUtime=1086.08 cores=0,2,4,6
/proc/7782/task/7803/stat : 7803 (java) R 7780 7782 7394 0 -1 4202560 65503 0 0 0 108600 8 0 0 25 0 22 0 530168985 16156897280 440388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210994 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7782/tid=7804] ppid=7780 vsize=15778220 CPUtime=1090.53 cores=0,2,4,6
/proc/7782/task/7804/stat : 7804 (java) R 7780 7782 7394 0 -1 4202560 39016 0 0 0 109045 8 0 0 25 0 22 0 530168985 16156897280 440388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506347923 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4376.06
Current children cumulated vsize (KiB) 15778220
[startup+1182.3 s]
/proc/loadavg: 8.10 7.92 7.87 9/220 7898
/proc/meminfo: memFree=26344748/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15778220 CPUtime=4615.39 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 2269268 0 1 0 461100 439 0 0 18 0 22 0 530168576 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3944555 415388 2294 9 0 3935274 0
[pid=7782/tid=7783] ppid=7780 vsize=15778220 CPUtime=19.29 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) S 7780 7782 7394 0 -1 4202560 127876 0 1 0 1912 17 0 0 25 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7785] ppid=7780 vsize=15778220 CPUtime=4.15 cores=0,2,4,6
/proc/7782/task/7785/stat : 7785 (java) S 7780 7782 7394 0 -1 4202560 259563 0 0 0 369 46 0 0 16 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7786] ppid=7780 vsize=15778220 CPUtime=4.15 cores=0,2,4,6
/proc/7782/task/7786/stat : 7786 (java) S 7780 7782 7394 0 -1 4202560 269501 0 0 0 367 48 0 0 15 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7787] ppid=7780 vsize=15778220 CPUtime=3.94 cores=0,2,4,6
/proc/7782/task/7787/stat : 7787 (java) S 7780 7782 7394 0 -1 4202560 212144 0 0 0 355 39 0 0 15 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7788] ppid=7780 vsize=15778220 CPUtime=3.92 cores=0,2,4,6
/proc/7782/task/7788/stat : 7788 (java) S 7780 7782 7394 0 -1 4202560 224515 0 0 0 352 40 0 0 16 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7789] ppid=7780 vsize=15778220 CPUtime=4.16 cores=0,2,4,6
/proc/7782/task/7789/stat : 7789 (java) S 7780 7782 7394 0 -1 4202560 245686 0 0 0 371 45 0 0 16 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7790] ppid=7780 vsize=15778220 CPUtime=4.11 cores=0,2,4,6
/proc/7782/task/7790/stat : 7790 (java) S 7780 7782 7394 0 -1 4202560 239223 0 0 0 367 44 0 0 15 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7791] ppid=7780 vsize=15778220 CPUtime=3.99 cores=0,2,4,6
/proc/7782/task/7791/stat : 7791 (java) S 7780 7782 7394 0 -1 4202560 215384 0 0 0 359 40 0 0 15 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7792] ppid=7780 vsize=15778220 CPUtime=4.13 cores=0,2,4,6
/proc/7782/task/7792/stat : 7792 (java) S 7780 7782 7394 0 -1 4202560 245928 0 0 0 370 43 0 0 16 0 22 0 530168577 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7793] ppid=7780 vsize=15778220 CPUtime=2.35 cores=0,2,4,6
/proc/7782/task/7793/stat : 7793 (java) S 7780 7782 7394 0 -1 4202560 5871 0 0 0 198 37 0 0 15 0 22 0 530168578 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 0 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7794] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7794/stat : 7794 (java) S 7780 7782 7394 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530168579 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7795] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7795/stat : 7795 (java) S 7780 7782 7394 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530168579 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7796] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7796/stat : 7796 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256172465 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7797] ppid=7780 vsize=15778220 CPUtime=1.71 cores=0,2,4,6
/proc/7782/task/7797/stat : 7797 (java) S 7780 7782 7394 0 -1 4202560 10291 0 0 0 170 1 0 0 15 0 22 0 530168581 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7798] ppid=7780 vsize=15778220 CPUtime=1.68 cores=0,2,4,6
/proc/7782/task/7798/stat : 7798 (java) S 7780 7782 7394 0 -1 4202560 15817 0 0 0 167 1 0 0 15 0 22 0 530168581 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7799] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7799/stat : 7799 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7800] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7800/stat : 7800 (java) S 7780 7782 7394 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 530168581 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7801] ppid=7780 vsize=15778220 CPUtime=1127.44 cores=0,2,4,6
/proc/7782/task/7801/stat : 7801 (java) R 7780 7782 7394 0 -1 4202560 38898 0 0 0 112738 6 0 0 25 0 22 0 530168985 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506211061 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7782/tid=7802] ppid=7780 vsize=15778220 CPUtime=1134.8 cores=0,2,4,6
/proc/7782/task/7802/stat : 7802 (java) R 7780 7782 7394 0 -1 4202560 52199 0 0 0 113472 8 0 0 25 0 22 0 530168985 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210847 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7782/tid=7803] ppid=7780 vsize=15778220 CPUtime=1145.51 cores=0,2,4,6
/proc/7782/task/7803/stat : 7803 (java) R 7780 7782 7394 0 -1 4202560 65898 0 0 0 114543 8 0 0 25 0 22 0 530168985 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506633436 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7782/tid=7804] ppid=7780 vsize=15778220 CPUtime=1149.91 cores=0,2,4,6
/proc/7782/task/7804/stat : 7804 (java) R 7780 7782 7394 0 -1 4202560 39022 0 0 0 114983 8 0 0 25 0 22 0 530168985 16156897280 415388 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210852 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4615.39
Current children cumulated vsize (KiB) 15778220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1228.71 s]
/proc/loadavg: 8.09 7.94 7.88 9/220 7900
/proc/meminfo: memFree=26472664/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15778220 CPUtime=4800.38 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 2341363 0 1 0 479584 454 0 0 18 0 22 0 530168576 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3944555 388548 2294 9 0 3935274 0
[pid=7782/tid=7783] ppid=7780 vsize=15778220 CPUtime=19.29 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) S 7780 7782 7394 0 -1 4202560 127876 0 1 0 1912 17 0 0 25 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7785] ppid=7780 vsize=15778220 CPUtime=4.28 cores=0,2,4,6
/proc/7782/task/7785/stat : 7785 (java) S 7780 7782 7394 0 -1 4202560 272078 0 0 0 380 48 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7786] ppid=7780 vsize=15778220 CPUtime=4.34 cores=0,2,4,6
/proc/7782/task/7786/stat : 7786 (java) S 7780 7782 7394 0 -1 4202560 276775 0 0 0 384 50 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7787] ppid=7780 vsize=15778220 CPUtime=4.07 cores=0,2,4,6
/proc/7782/task/7787/stat : 7787 (java) S 7780 7782 7394 0 -1 4202560 219503 0 0 0 367 40 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7788] ppid=7780 vsize=15778220 CPUtime=4.14 cores=0,2,4,6
/proc/7782/task/7788/stat : 7788 (java) S 7780 7782 7394 0 -1 4202560 236944 0 0 0 373 41 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7789] ppid=7780 vsize=15778220 CPUtime=4.38 cores=0,2,4,6
/proc/7782/task/7789/stat : 7789 (java) S 7780 7782 7394 0 -1 4202560 256638 0 0 0 391 47 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7790] ppid=7780 vsize=15778220 CPUtime=4.26 cores=0,2,4,6
/proc/7782/task/7790/stat : 7790 (java) S 7780 7782 7394 0 -1 4202560 245620 0 0 0 381 45 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7791] ppid=7780 vsize=15778220 CPUtime=4.16 cores=0,2,4,6
/proc/7782/task/7791/stat : 7791 (java) S 7780 7782 7394 0 -1 4202560 223248 0 0 0 375 41 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7792] ppid=7780 vsize=15778220 CPUtime=4.26 cores=0,2,4,6
/proc/7782/task/7792/stat : 7792 (java) S 7780 7782 7394 0 -1 4202560 251612 0 0 0 382 44 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7793] ppid=7780 vsize=15778220 CPUtime=2.46 cores=0,2,4,6
/proc/7782/task/7793/stat : 7793 (java) S 7780 7782 7394 0 -1 4202560 5974 0 0 0 207 39 0 0 15 0 22 0 530168578 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 0 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7794] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7794/stat : 7794 (java) S 7780 7782 7394 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530168579 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7795] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7795/stat : 7795 (java) S 7780 7782 7394 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530168579 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7796] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7796/stat : 7796 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256172465 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7797] ppid=7780 vsize=15778220 CPUtime=1.71 cores=0,2,4,6
/proc/7782/task/7797/stat : 7797 (java) S 7780 7782 7394 0 -1 4202560 10291 0 0 0 170 1 0 0 15 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7798] ppid=7780 vsize=15778220 CPUtime=1.68 cores=0,2,4,6
/proc/7782/task/7798/stat : 7798 (java) S 7780 7782 7394 0 -1 4202560 15817 0 0 0 167 1 0 0 15 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7799] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7799/stat : 7799 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7800] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7800/stat : 7800 (java) S 7780 7782 7394 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7801] ppid=7780 vsize=15778220 CPUtime=1173.4 cores=0,2,4,6
/proc/7782/task/7801/stat : 7801 (java) R 7780 7782 7394 0 -1 4202560 39627 0 0 0 117333 7 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210988 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7782/tid=7802] ppid=7780 vsize=15778220 CPUtime=1180.75 cores=0,2,4,6
/proc/7782/task/7802/stat : 7802 (java) R 7780 7782 7394 0 -1 4202560 52335 0 0 0 118067 8 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912505523255 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7782/tid=7803] ppid=7780 vsize=15778220 CPUtime=1191.45 cores=0,2,4,6
/proc/7782/task/7803/stat : 7803 (java) R 7780 7782 7394 0 -1 4202560 66441 0 0 0 119137 8 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210920 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7782/tid=7804] ppid=7780 vsize=15778220 CPUtime=1195.58 cores=0,2,4,6
/proc/7782/task/7804/stat : 7804 (java) R 7780 7782 7394 0 -1 4202560 39130 0 0 0 119550 8 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210805 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 15778220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1228.71 s]
/proc/loadavg: 8.09 7.94 7.88 9/220 7900
/proc/meminfo: memFree=26472664/32951124 swapFree=67111364/67111528
[pid=7782] ppid=7780 vsize=15778220 CPUtime=4800.38 cores=0,2,4,6
/proc/7782/stat : 7782 (java) S 7780 7782 7394 0 -1 4202496 2341363 0 1 0 479584 454 0 0 18 0 22 0 530168576 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7782/statm: 3944555 388548 2294 9 0 3935274 0
[pid=7782/tid=7783] ppid=7780 vsize=15778220 CPUtime=19.29 cores=0,2,4,6
/proc/7782/task/7783/stat : 7783 (java) S 7780 7782 7394 0 -1 4202560 127876 0 1 0 1912 17 0 0 25 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7785] ppid=7780 vsize=15778220 CPUtime=4.28 cores=0,2,4,6
/proc/7782/task/7785/stat : 7785 (java) S 7780 7782 7394 0 -1 4202560 272078 0 0 0 380 48 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7786] ppid=7780 vsize=15778220 CPUtime=4.34 cores=0,2,4,6
/proc/7782/task/7786/stat : 7786 (java) S 7780 7782 7394 0 -1 4202560 276775 0 0 0 384 50 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7787] ppid=7780 vsize=15778220 CPUtime=4.07 cores=0,2,4,6
/proc/7782/task/7787/stat : 7787 (java) S 7780 7782 7394 0 -1 4202560 219503 0 0 0 367 40 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7788] ppid=7780 vsize=15778220 CPUtime=4.14 cores=0,2,4,6
/proc/7782/task/7788/stat : 7788 (java) S 7780 7782 7394 0 -1 4202560 236944 0 0 0 373 41 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7789] ppid=7780 vsize=15778220 CPUtime=4.38 cores=0,2,4,6
/proc/7782/task/7789/stat : 7789 (java) S 7780 7782 7394 0 -1 4202560 256638 0 0 0 391 47 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7790] ppid=7780 vsize=15778220 CPUtime=4.26 cores=0,2,4,6
/proc/7782/task/7790/stat : 7790 (java) S 7780 7782 7394 0 -1 4202560 245620 0 0 0 381 45 0 0 16 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 2 0 0 0
[pid=7782/tid=7791] ppid=7780 vsize=15778220 CPUtime=4.16 cores=0,2,4,6
/proc/7782/task/7791/stat : 7791 (java) S 7780 7782 7394 0 -1 4202560 223248 0 0 0 375 41 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7792] ppid=7780 vsize=15778220 CPUtime=4.26 cores=0,2,4,6
/proc/7782/task/7792/stat : 7792 (java) S 7780 7782 7394 0 -1 4202560 251612 0 0 0 382 44 0 0 15 0 22 0 530168577 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7793] ppid=7780 vsize=15778220 CPUtime=2.46 cores=0,2,4,6
/proc/7782/task/7793/stat : 7793 (java) S 7780 7782 7394 0 -1 4202560 5974 0 0 0 207 39 0 0 15 0 22 0 530168578 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 0 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7794] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7794/stat : 7794 (java) S 7780 7782 7394 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530168579 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7795] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7795/stat : 7795 (java) S 7780 7782 7394 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530168579 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7796] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7796/stat : 7796 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256172465 0 4 0 16800975 18446604446396992320 0 0 -1 6 0 0 0
[pid=7782/tid=7797] ppid=7780 vsize=15778220 CPUtime=1.71 cores=0,2,4,6
/proc/7782/task/7797/stat : 7797 (java) S 7780 7782 7394 0 -1 4202560 10291 0 0 0 170 1 0 0 15 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7798] ppid=7780 vsize=15778220 CPUtime=1.68 cores=0,2,4,6
/proc/7782/task/7798/stat : 7798 (java) S 7780 7782 7394 0 -1 4202560 15817 0 0 0 167 1 0 0 15 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7799] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7799/stat : 7799 (java) S 7780 7782 7394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256164761 0 4 0 16800975 18446604446396992320 0 0 -1 0 0 0 0
[pid=7782/tid=7800] ppid=7780 vsize=15778220 CPUtime=0 cores=0,2,4,6
/proc/7782/task/7800/stat : 7800 (java) S 7780 7782 7394 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 530168581 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 228256165376 0 4 0 16800975 18446604446396992320 0 0 -1 4 0 0 0
[pid=7782/tid=7801] ppid=7780 vsize=15778220 CPUtime=1173.4 cores=0,2,4,6
/proc/7782/task/7801/stat : 7801 (java) R 7780 7782 7394 0 -1 4202560 39627 0 0 0 117333 7 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210988 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7782/tid=7802] ppid=7780 vsize=15778220 CPUtime=1180.75 cores=0,2,4,6
/proc/7782/task/7802/stat : 7802 (java) R 7780 7782 7394 0 -1 4202560 52335 0 0 0 118067 8 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912505523255 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7782/tid=7803] ppid=7780 vsize=15778220 CPUtime=1191.45 cores=0,2,4,6
/proc/7782/task/7803/stat : 7803 (java) R 7780 7782 7394 0 -1 4202560 66441 0 0 0 119137 8 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210920 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7782/tid=7804] ppid=7780 vsize=15778220 CPUtime=1195.58 cores=0,2,4,6
/proc/7782/task/7804/stat : 7804 (java) R 7780 7782 7394 0 -1 4202560 39130 0 0 0 119550 8 0 0 25 0 22 0 530168985 16156897280 388548 33554432000 1073741824 1073778376 140736383386272 18446744073709551615 46912506210805 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 15778220
Child status: 143
Real time (s): 1228.79
CPU time (s): 4800.49
CPU user time (s): 4795.87
CPU system time (s): 4.6163
CPU usage (%): 390.667
Max. virtual memory (cumulated for all children) (KiB): 15778220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.87
system time used= 4.6163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2341390
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= 48555
involuntary context switches= 56321
runsolver used 2.04069 second user time and 4.72328 second system time
The end