runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454242-1307191267/watcher-3454242-1307191267 -o /tmp/evaluation-result-3454242-1307191267/solver-3454242-1307191267 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454242-1307191267.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.52 3.66 3.60 3/455 9827
/proc/meminfo: memFree=10943140/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9827/stat : 9827 (java) R 9825 9827 6192 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 830726394 23580672 696 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274659846033 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9827/statm: 5757 697 514 9 0 124 0
[pid=9827/tid=9828] ppid=9825 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) R 9825 9827 6192 0 -1 4202560 3356 0 1 0 0 0 0 0 25 0 2 0 830726395 10694979584 4172 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.103512 s]
/proc/loadavg: 3.52 3.66 3.60 3/455 9827
/proc/meminfo: memFree=10943140/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10540028 CPUtime=0.11 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 13015 0 1 0 9 2 0 0 25 0 18 0 830726394 10792988672 12712 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2635007 12715 2092 9 0 2625741 0
[pid=9827/tid=9828] ppid=9825 vsize=10540028 CPUtime=0.08 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) R 9825 9827 6192 0 -1 4202560 11103 0 1 0 7 1 0 0 22 0 18 0 830726395 10792988672 12715 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540028
[startup+0.200494 s]
/proc/loadavg: 3.52 3.66 3.60 3/455 9827
/proc/meminfo: memFree=10943140/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10540712 CPUtime=0.29 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 14819 0 1 0 27 2 0 0 25 0 18 0 830726394 10793689088 14244 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2635178 14244 2189 9 0 2625912 0
[pid=9827/tid=9828] ppid=9825 vsize=10540712 CPUtime=0.17 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) R 9825 9827 6192 0 -1 4202560 12329 0 1 0 16 1 0 0 22 0 18 0 830726395 10793689088 14245 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505561837 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540712
[startup+0.300474 s]
/proc/loadavg: 3.52 3.66 3.60 3/455 9827
/proc/meminfo: memFree=10943140/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10541916 CPUtime=0.46 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 19885 0 1 0 44 2 0 0 25 0 18 0 830726394 10794921984 19098 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2635479 19102 2199 9 0 2626213 0
[pid=9827/tid=9828] ppid=9825 vsize=10541916 CPUtime=0.28 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) R 9825 9827 6192 0 -1 4202560 16577 0 1 0 26 2 0 0 22 0 18 0 830726395 10794921984 19103 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505583152 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541916
[startup+0.700417 s]
/proc/loadavg: 3.52 3.66 3.60 3/455 9827
/proc/meminfo: memFree=10943140/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10559088 CPUtime=1.33 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 48436 0 1 0 127 6 0 0 25 0 18 0 830726394 10812506112 45192 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2639772 45192 2204 9 0 2630506 0
[pid=9827/tid=9828] ppid=9825 vsize=10559088 CPUtime=0.68 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) R 9825 9827 6192 0 -1 4202560 37305 0 1 0 63 5 0 0 23 0 18 0 830726395 10812506112 45192 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505746347 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 10559088
[startup+1.50126 s]
/proc/loadavg: 3.52 3.66 3.60 7/477 9849
/proc/meminfo: memFree=10671660/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10563200 CPUtime=2.85 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 75473 0 1 0 275 10 0 0 25 0 22 0 830726394 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2640800 71460 2220 9 0 2631534 0
[pid=9827/tid=9828] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) S 9825 9827 6192 0 -1 4202560 60337 0 1 0 90 8 0 0 20 0 22 0 830726395 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9830] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9830/stat : 9830 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9831] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9831/stat : 9831 (java) S 9825 9827 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9832] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9832/stat : 9832 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9833] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9833/stat : 9833 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9834] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9834/stat : 9834 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9835] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9835/stat : 9835 (java) S 9825 9827 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71460 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9836] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9836/stat : 9836 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9837] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9837/stat : 9837 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9838] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9838/stat : 9838 (java) S 9825 9827 6192 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 0 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9839] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9839/stat : 9839 (java) S 9825 9827 6192 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830726398 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9840] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9840/stat : 9840 (java) S 9825 9827 6192 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 830726398 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9841] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9841/stat : 9841 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830726400 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676631985 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9842] ppid=9825 vsize=10563200 CPUtime=0.36 cores=1,3,5,7
/proc/9827/task/9842/stat : 9842 (java) S 9825 9827 6192 0 -1 4202560 3125 0 0 0 36 0 0 0 16 0 22 0 830726400 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9843] ppid=9825 vsize=10563200 CPUtime=0.49 cores=1,3,5,7
/proc/9827/task/9843/stat : 9843 (java) S 9825 9827 6192 0 -1 4202560 7698 0 0 0 49 0 0 0 15 0 22 0 830726400 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9844] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9844/stat : 9844 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830726400 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9845] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9845/stat : 9845 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830726400 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9846] ppid=9825 vsize=10563200 CPUtime=0.5 cores=1,3,5,7
/proc/9827/task/9846/stat : 9846 (java) R 9825 9827 6192 0 -1 4202560 586 0 0 0 50 0 0 0 19 0 22 0 830726494 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505857256 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9827/tid=9847] ppid=9825 vsize=10563200 CPUtime=0.48 cores=1,3,5,7
/proc/9827/task/9847/stat : 9847 (java) R 9825 9827 6192 0 -1 4202560 2561 0 0 0 48 0 0 0 25 0 22 0 830726494 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505877620 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9827/tid=9848] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9848/stat : 9848 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830726501 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9849] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9849/stat : 9849 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830726501 10816716800 71461 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 10563200
[startup+3.10096 s]
/proc/loadavg: 3.52 3.66 3.60 4/477 9849
/proc/meminfo: memFree=10659372/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10563200 CPUtime=6.28 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 77727 0 1 0 614 14 0 0 25 0 22 0 830726394 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2640800 73531 2228 9 0 2631534 0
[pid=9827/tid=9828] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) S 9825 9827 6192 0 -1 4202560 60337 0 1 0 90 8 0 0 15 0 22 0 830726395 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9830] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9830/stat : 9830 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9831] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9831/stat : 9831 (java) S 9825 9827 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9832] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9832/stat : 9832 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9833] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9833/stat : 9833 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9834] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9834/stat : 9834 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9835] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9835/stat : 9835 (java) S 9825 9827 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9836] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9836/stat : 9836 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9837] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9837/stat : 9837 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9838] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9838/stat : 9838 (java) S 9825 9827 6192 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 0 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9839] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9839/stat : 9839 (java) S 9825 9827 6192 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830726398 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9840] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9840/stat : 9840 (java) S 9825 9827 6192 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 830726398 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9841] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9841/stat : 9841 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830726400 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676631985 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9842] ppid=9825 vsize=10563200 CPUtime=0.45 cores=1,3,5,7
/proc/9827/task/9842/stat : 9842 (java) S 9825 9827 6192 0 -1 4202560 3316 0 0 0 45 0 0 0 15 0 22 0 830726400 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9843] ppid=9825 vsize=10563200 CPUtime=0.71 cores=1,3,5,7
/proc/9827/task/9843/stat : 9843 (java) S 9825 9827 6192 0 -1 4202560 7735 0 0 0 70 1 0 0 15 0 22 0 830726400 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9844] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9844/stat : 9844 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830726400 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9845] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9845/stat : 9845 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830726400 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9846] ppid=9825 vsize=10563200 CPUtime=2.03 cores=1,3,5,7
/proc/9827/task/9846/stat : 9846 (java) R 9825 9827 6192 0 -1 4202560 727 0 0 0 200 3 0 0 23 0 22 0 830726494 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505857248 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9827/tid=9847] ppid=9825 vsize=10563200 CPUtime=2.07 cores=1,3,5,7
/proc/9827/task/9847/stat : 9847 (java) R 9825 9827 6192 0 -1 4202560 4443 0 0 0 207 0 0 0 25 0 22 0 830726494 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505857313 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9827/tid=9848] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9848/stat : 9848 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830726501 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9849] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9849/stat : 9849 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830726501 10816716800 73531 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10563200
[startup+6.30143 s]
/proc/loadavg: 3.47 3.65 3.59 4/477 9849
/proc/meminfo: memFree=10335872/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10563200 CPUtime=12.99 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 228142 0 1 0 1268 31 0 0 25 0 22 0 830726394 10816716800 223051 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2640800 223051 2229 9 0 2631534 0
[pid=9827/tid=9828] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) S 9825 9827 6192 0 -1 4202560 60337 0 1 0 90 8 0 0 15 0 22 0 830726395 10816716800 223052 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9830] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9830/stat : 9830 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9831] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9831/stat : 9831 (java) S 9825 9827 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9832] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9832/stat : 9832 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9833] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9833/stat : 9833 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9834] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9834/stat : 9834 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9835] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9835/stat : 9835 (java) S 9825 9827 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9836] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9836/stat : 9836 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9837] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9837/stat : 9837 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726397 10816716800 223056 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=5818452/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10563200 CPUtime=1620.19 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 983080 0 1 0 161901 118 0 0 25 0 22 0 830726394 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2640800 957654 2256 9 0 2631534 0
[pid=9827/tid=9828] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) S 9825 9827 6192 0 -1 4202560 60373 0 1 0 90 8 0 0 15 0 22 0 830726395 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9830] ppid=9825 vsize=10563200 CPUtime=0.85 cores=1,3,5,7
/proc/9827/task/9830/stat : 9830 (java) S 9825 9827 6192 0 -1 4202560 19415 0 0 0 83 2 0 0 16 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9831] ppid=9825 vsize=10563200 CPUtime=0.87 cores=1,3,5,7
/proc/9827/task/9831/stat : 9831 (java) S 9825 9827 6192 0 -1 4202560 20330 0 0 0 85 2 0 0 15 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9832] ppid=9825 vsize=10563200 CPUtime=0.84 cores=1,3,5,7
/proc/9827/task/9832/stat : 9832 (java) S 9825 9827 6192 0 -1 4202560 16276 0 0 0 82 2 0 0 15 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9833] ppid=9825 vsize=10563200 CPUtime=0.92 cores=1,3,5,7
/proc/9827/task/9833/stat : 9833 (java) S 9825 9827 6192 0 -1 4202560 14555 0 0 0 90 2 0 0 16 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9834] ppid=9825 vsize=10563200 CPUtime=0.9 cores=1,3,5,7
/proc/9827/task/9834/stat : 9834 (java) S 9825 9827 6192 0 -1 4202560 17566 0 0 0 88 2 0 0 15 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9835] ppid=9825 vsize=10563200 CPUtime=0.75 cores=1,3,5,7
/proc/9827/task/9835/stat : 9835 (java) S 9825 9827 6192 0 -1 4202560 11744 0 0 0 74 1 0 0 15 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9836] ppid=9825 vsize=10563200 CPUtime=0.83 cores=1,3,5,7
/proc/9827/task/9836/stat : 9836 (java) S 9825 9827 6192 0 -1 4202560 17946 0 0 0 81 2 0 0 15 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9837] ppid=9825 vsize=10563200 CPUtime=0.79 cores=1,3,5,7
/proc/9827/task/9837/stat : 9837 (java) S 9825 9827 6192 0 -1 4202560 19701 0 0 0 77 2 0 0 16 0 22 0 830726397 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9838] ppid=9825 vsize=10563200 CPUtime=27.84 cores=1,3,5,7
/proc/9827/task/9838/stat : 9838 (java) S 9825 9827 6192 0 -1 4202560 36046 0 0 0 2780 4 0 0 16 0 22 0 830726398 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 0 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9839] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9839/stat : 9839 (java) S 9825 9827 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9840] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9840/stat : 9840 (java) S 9825 9827 6192 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9841] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9841/stat : 9841 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830726400 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676631985 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9842] ppid=9825 vsize=10563200 CPUtime=0.96 cores=1,3,5,7
/proc/9827/task/9842/stat : 9842 (java) S 9825 9827 6192 0 -1 4202560 5515 0 0 0 96 0 0 0 15 0 22 0 830726400 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9843] ppid=9825 vsize=10563200 CPUtime=1.02 cores=1,3,5,7
/proc/9827/task/9843/stat : 9843 (java) S 9825 9827 6192 0 -1 4202560 7789 0 0 0 101 1 0 0 16 0 22 0 830726400 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9844] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9844/stat : 9844 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830726400 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9845] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9845/stat : 9845 (java) S 9825 9827 6192 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830726400 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9846] ppid=9825 vsize=10563200 CPUtime=791.19 cores=1,3,5,7
/proc/9827/task/9846/stat : 9846 (java) R 9825 9827 6192 0 -1 4202560 1891 0 0 0 79113 6 0 0 22 0 22 0 830726494 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505998604 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9827/tid=9847] ppid=9825 vsize=10563200 CPUtime=791.32 cores=1,3,5,7
/proc/9827/task/9847/stat : 9847 (java) R 9825 9827 6192 0 -1 4202560 732726 0 0 0 79054 78 0 0 22 0 22 0 830726494 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505857362 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9827/tid=9848] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9848/stat : 9848 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830726501 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9849] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9849/stat : 9849 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830726501 10816716800 957654 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1620.19
Current children cumulated vsize (KiB) 10563200
[startup+882.317 s]
/proc/loadavg: 3.98 3.91 3.77 5/477 9938
/proc/meminfo: memFree=5785960/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10563200 CPUtime=1737.56 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 990657 0 1 0 173636 120 0 0 25 0 22 0 830726394 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2640800 963506 2256 9 0 2631534 0
[pid=9827/tid=9828] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) S 9825 9827 6192 0 -1 4202560 60379 0 1 0 90 8 0 0 15 0 22 0 830726395 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9830] ppid=9825 vsize=10563200 CPUtime=0.91 cores=1,3,5,7
/proc/9827/task/9830/stat : 9830 (java) S 9825 9827 6192 0 -1 4202560 19529 0 0 0 89 2 0 0 15 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9831] ppid=9825 vsize=10563200 CPUtime=0.94 cores=1,3,5,7
/proc/9827/task/9831/stat : 9831 (java) S 9825 9827 6192 0 -1 4202560 21663 0 0 0 92 2 0 0 15 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9832] ppid=9825 vsize=10563200 CPUtime=0.91 cores=1,3,5,7
/proc/9827/task/9832/stat : 9832 (java) S 9825 9827 6192 0 -1 4202560 16276 0 0 0 89 2 0 0 16 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9833] ppid=9825 vsize=10563200 CPUtime=0.96 cores=1,3,5,7
/proc/9827/task/9833/stat : 9833 (java) S 9825 9827 6192 0 -1 4202560 16188 0 0 0 94 2 0 0 16 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9834] ppid=9825 vsize=10563200 CPUtime=0.94 cores=1,3,5,7
/proc/9827/task/9834/stat : 9834 (java) S 9825 9827 6192 0 -1 4202560 18120 0 0 0 92 2 0 0 16 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9835] ppid=9825 vsize=10563200 CPUtime=0.82 cores=1,3,5,7
/proc/9827/task/9835/stat : 9835 (java) S 9825 9827 6192 0 -1 4202560 11960 0 0 0 81 1 0 0 15 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9836] ppid=9825 vsize=10563200 CPUtime=0.85 cores=1,3,5,7
/proc/9827/task/9836/stat : 9836 (java) S 9825 9827 6192 0 -1 4202560 20258 0 0 0 83 2 0 0 15 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9837] ppid=9825 vsize=10563200 CPUtime=0.85 cores=1,3,5,7
/proc/9827/task/9837/stat : 9837 (java) S 9825 9827 6192 0 -1 4202560 21064 0 0 0 83 2 0 0 16 0 22 0 830726397 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9838] ppid=9825 vsize=10563200 CPUtime=30.84 cores=1,3,5,7
/proc/9827/task/9838/stat : 9838 (java) S 9825 9827 6192 0 -1 4202560 36048 0 0 0 3080 4 0 0 15 0 22 0 830726398 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 0 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9839] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9839/stat : 9839 (java) S 9825 9827 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9840] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9840/stat : 9840 (java) S 9825 9827 6192 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9841] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9841/stat : 9841 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830726400 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676631985 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9842] ppid=9825 vsize=10563200 CPUtime=1.02 cores=1,3,5,7
/proc/9827/task/9842/stat : 9842 (java) S 9825 9827 6192 0 -1 4202560 5525 0 0 0 102 0 0 0 16 0 22 0 830726400 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9843] ppid=9825 vsize=10563200 CPUtime=1.12 cores=1,3,5,7
/proc/9827/task/9843/stat : 9843 (java) S 9825 9827 6192 0 -1 4202560 7802 0 0 0 111 1 0 0 15 0 22 0 830726400 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9844] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9844/stat : 9844 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830726400 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9845] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9845/stat : 9845 (java) S 9825 9827 6192 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830726400 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9846] ppid=9825 vsize=10563200 CPUtime=848.07 cores=1,3,5,7
/proc/9827/task/9846/stat : 9846 (java) R 9825 9827 6192 0 -1 4202560 1896 0 0 0 84801 6 0 0 25 0 22 0 830726494 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505998578 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9827/tid=9847] ppid=9825 vsize=10563200 CPUtime=848.2 cores=1,3,5,7
/proc/9827/task/9847/stat : 9847 (java) R 9825 9827 6192 0 -1 4202560 732740 0 0 0 84742 78 0 0 25 0 22 0 830726494 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912506096681 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9827/tid=9848] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9848/stat : 9848 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830726501 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9849] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9849/stat : 9849 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830726501 10816716800 963506 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1737.56
Current children cumulated vsize (KiB) 10563200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+914.601 s]
/proc/loadavg: 4.12 3.95 3.78 5/477 9939
/proc/meminfo: memFree=5777028/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=10563200 CPUtime=1800.2 cores=1,3,5,7
/proc/9827/stat : 9827 (java) S 9825 9827 6192 0 -1 4202496 990682 0 1 0 179900 120 0 0 25 0 22 0 830726394 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 2640800 963521 2256 9 0 2631534 0
[pid=9827/tid=9828] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9828/stat : 9828 (java) S 9825 9827 6192 0 -1 4202560 60380 0 1 0 90 8 0 0 15 0 22 0 830726395 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9830] ppid=9825 vsize=10563200 CPUtime=0.94 cores=1,3,5,7
/proc/9827/task/9830/stat : 9830 (java) S 9825 9827 6192 0 -1 4202560 19533 0 0 0 92 2 0 0 15 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9831] ppid=9825 vsize=10563200 CPUtime=0.95 cores=1,3,5,7
/proc/9827/task/9831/stat : 9831 (java) S 9825 9827 6192 0 -1 4202560 21663 0 0 0 93 2 0 0 15 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9832] ppid=9825 vsize=10563200 CPUtime=0.93 cores=1,3,5,7
/proc/9827/task/9832/stat : 9832 (java) S 9825 9827 6192 0 -1 4202560 16282 0 0 0 91 2 0 0 15 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9833] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9833/stat : 9833 (java) S 9825 9827 6192 0 -1 4202560 16188 0 0 0 96 2 0 0 15 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9834] ppid=9825 vsize=10563200 CPUtime=0.98 cores=1,3,5,7
/proc/9827/task/9834/stat : 9834 (java) S 9825 9827 6192 0 -1 4202560 18120 0 0 0 96 2 0 0 16 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9835] ppid=9825 vsize=10563200 CPUtime=0.84 cores=1,3,5,7
/proc/9827/task/9835/stat : 9835 (java) S 9825 9827 6192 0 -1 4202560 11960 0 0 0 83 1 0 0 16 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9836] ppid=9825 vsize=10563200 CPUtime=0.87 cores=1,3,5,7
/proc/9827/task/9836/stat : 9836 (java) S 9825 9827 6192 0 -1 4202560 20258 0 0 0 85 2 0 0 16 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9837] ppid=9825 vsize=10563200 CPUtime=0.88 cores=1,3,5,7
/proc/9827/task/9837/stat : 9837 (java) S 9825 9827 6192 0 -1 4202560 21069 0 0 0 86 2 0 0 15 0 22 0 830726397 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9838] ppid=9825 vsize=10563200 CPUtime=32.85 cores=1,3,5,7
/proc/9827/task/9838/stat : 9838 (java) S 9825 9827 6192 0 -1 4202560 36050 0 0 0 3281 4 0 0 16 0 22 0 830726398 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 0 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9839] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9839/stat : 9839 (java) S 9825 9827 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9840] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9840/stat : 9840 (java) S 9825 9827 6192 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830726398 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9841] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9841/stat : 9841 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830726400 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676631985 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9842] ppid=9825 vsize=10563200 CPUtime=1.02 cores=1,3,5,7
/proc/9827/task/9842/stat : 9842 (java) S 9825 9827 6192 0 -1 4202560 5525 0 0 0 102 0 0 0 16 0 22 0 830726400 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 3 0 0 0
[pid=9827/tid=9843] ppid=9825 vsize=10563200 CPUtime=1.12 cores=1,3,5,7
/proc/9827/task/9843/stat : 9843 (java) S 9825 9827 6192 0 -1 4202560 7802 0 0 0 111 1 0 0 15 0 22 0 830726400 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 5 0 0 0
[pid=9827/tid=9844] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9844/stat : 9844 (java) S 9825 9827 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830726400 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624281 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
[pid=9827/tid=9845] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9845/stat : 9845 (java) S 9825 9827 6192 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830726400 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9846] ppid=9825 vsize=10563200 CPUtime=878.3 cores=1,3,5,7
/proc/9827/task/9846/stat : 9846 (java) R 9825 9827 6192 0 -1 4202560 1901 0 0 0 87824 6 0 0 25 0 22 0 830726494 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912505860349 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9827/tid=9847] ppid=9825 vsize=10563200 CPUtime=878.42 cores=1,3,5,7
/proc/9827/task/9847/stat : 9847 (java) R 9825 9827 6192 0 -1 4202560 732740 0 0 0 87764 78 0 0 24 0 22 0 830726494 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 46912506131802 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9827/tid=9848] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9848/stat : 9848 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830726501 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 1 0 0 0
[pid=9827/tid=9849] ppid=9825 vsize=10563200 CPUtime=0 cores=1,3,5,7
/proc/9827/task/9849/stat : 9849 (java) S 9825 9827 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830726501 10816716800 963521 33554432000 1073741824 1073778376 140735531207136 18446744073709551615 274676624896 0 4 0 16800975 18446604461841786816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10563200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+914.722 s]
/proc/loadavg: 4.12 3.95 3.78 5/477 9939
/proc/meminfo: memFree=5777028/32951132 swapFree=67093840/67111528
[pid=9827] ppid=9825 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/9827/stat : 9827 (java) Z 9825 9827 6192 0 -1 4203548 990716 0 1 0 179906 127 0 0 17 0 2 0 830726394 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9827/statm: 0 0 0 0 0 0 0
[pid=9827/tid=9846] ppid=9825 vsize=0 CPUtime=878.39 cores=1,3,5,7
/proc/9827/task/9846/stat : 9846 (java) R 9825 9827 6192 0 -1 4203588 1901 0 0 0 87826 13 0 0 25 0 2 0 830726494 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 914.788
CPU time (s): 1800.41
CPU user time (s): 1799.07
CPU system time (s): 1.3428
CPU usage (%): 196.811
Max. virtual memory (cumulated for all children) (KiB): 10563200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.34279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 990716
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= 28338
involuntary context switches= 24987
runsolver used 3.90141 second user time and 9.48056 second system time
The end