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-3456798-1307659310/watcher-3456798-1307659310 -o /tmp/evaluation-result-3456798-1307659310/solver-3456798-1307659310 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456798-1307659310.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.88 4.07 4.95 2/174 13709
/proc/meminfo: memFree=31847904/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13709/stat : 13709 (java) R 13707 13709 13044 0 -1 4202496 910 0 0 0 0 0 0 0 23 0 1 0 877528801 23580672 655 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212682712853 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13709/statm: 5757 667 489 9 0 124 0
[startup+0.103633 s]
/proc/loadavg: 3.88 4.07 4.95 2/174 13709
/proc/meminfo: memFree=31847904/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10540344 CPUtime=0.1 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 13106 0 1 0 9 1 0 0 23 0 18 0 877528801 10793312256 12781 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2635086 12783 2092 9 0 2625820 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540344
[startup+0.206652 s]
/proc/loadavg: 3.88 4.07 4.95 2/174 13709
/proc/meminfo: memFree=31847904/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10542612 CPUtime=0.33 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 15201 0 1 0 31 2 0 0 23 0 18 0 877528801 10795634688 14647 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2635653 14673 2187 9 0 2626387 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10542612
[startup+0.300626 s]
/proc/loadavg: 3.88 4.07 4.95 2/174 13709
/proc/meminfo: memFree=31847904/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10557136 CPUtime=0.61 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 23570 0 1 0 58 3 0 0 23 0 19 0 877528801 10810507264 20412 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2639284 20412 2208 9 0 2630018 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10557136
[startup+0.700518 s]
/proc/loadavg: 3.88 4.07 4.95 2/174 13709
/proc/meminfo: memFree=31847904/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10552544 CPUtime=0.89 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 27929 0 1 0 86 3 0 0 23 0 19 0 877528801 10805805056 23093 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2638136 23093 2213 9 0 2628870 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10552544
[startup+1.50138 s]
/proc/loadavg: 3.88 4.07 4.95 5/214 13756
/proc/meminfo: memFree=31454596/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10552544 CPUtime=2.36 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 99413 0 1 0 226 10 0 0 23 0 19 0 877528801 10805805056 94576 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2638136 94583 2228 9 0 2628870 0
[pid=13709/tid=13711] ppid=13707 vsize=10552544 CPUtime=1.14 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4202560 85878 0 1 0 106 8 0 0 18 0 19 0 877528802 10805805056 94583 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 46912505553649 0 4 0 16800975 0 0 0 -1 1 0 0 33
[pid=13709/tid=13712] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13712/stat : 13712 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94585 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13713] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13713/stat : 13713 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94591 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13714] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13714/stat : 13714 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94596 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13715] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13715/stat : 13715 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94600 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13716] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13716/stat : 13716 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94600 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13717] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13717/stat : 13717 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94604 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13718] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13718/stat : 13718 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94610 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13719] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13719/stat : 13719 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 94615 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13720] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13720/stat : 13720 (java) S 13707 13709 13044 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877528804 10805805056 94617 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 0 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13721] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13721/stat : 13721 (java) S 13707 13709 13044 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877528805 10805805056 94617 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13722] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13722/stat : 13722 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877528805 10805805056 94622 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13724] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13724/stat : 13724 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877528807 10805805056 94627 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699498929 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13725] ppid=13707 vsize=10552544 CPUtime=0.53 cores=1,3,5,7
/proc/13709/task/13725/stat : 13725 (java) R 13707 13709 13044 0 -1 4202560 4383 0 0 0 53 0 0 0 15 0 19 0 877528807 10805805056 94633 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 47428457023317 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13709/tid=13726] ppid=13707 vsize=10552544 CPUtime=0.66 cores=1,3,5,7
/proc/13709/task/13726/stat : 13726 (java) S 13707 13709 13044 0 -1 4202560 7999 0 0 0 66 0 0 0 15 0 19 0 877528807 10805805056 94634 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13727] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13727/stat : 13727 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877528807 10805805056 94635 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13728] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13728/stat : 13728 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877528807 10805805056 94641 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13755] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13755/stat : 13755 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877528829 10805805056 94646 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 10552544
[startup+3.1011 s]
/proc/loadavg: 3.88 4.07 4.95 3/214 13756
/proc/meminfo: memFree=30954876/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10552544 CPUtime=4.01 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 294188 0 1 0 371 30 0 0 23 0 19 0 877528801 10805805056 289350 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2638136 289357 2228 9 0 2628870 0
[pid=13709/tid=13711] ppid=13707 vsize=10552544 CPUtime=2.75 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4202560 280645 0 1 0 246 29 0 0 19 0 19 0 877528802 10805805056 289357 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 46912505553706 0 4 0 16800975 0 0 0 -1 1 0 0 33
[pid=13709/tid=13712] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13712/stat : 13712 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289357 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13713] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13713/stat : 13713 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289363 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13714] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13714/stat : 13714 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289368 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13715] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13715/stat : 13715 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289373 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13716] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13716/stat : 13716 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289378 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13717] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13717/stat : 13717 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289379 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13718] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13718/stat : 13718 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289379 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13719] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13719/stat : 13719 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877528803 10805805056 289383 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13720] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13720/stat : 13720 (java) S 13707 13709 13044 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877528804 10805805056 289388 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 0 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13721] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13721/stat : 13721 (java) S 13707 13709 13044 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877528805 10805805056 289393 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13722] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13722/stat : 13722 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877528805 10805805056 289398 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13724] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13724/stat : 13724 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877528807 10805805056 289401 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699498929 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13725] ppid=13707 vsize=10552544 CPUtime=0.57 cores=1,3,5,7
/proc/13709/task/13725/stat : 13725 (java) S 13707 13709 13044 0 -1 4202560 4391 0 0 0 57 0 0 0 15 0 19 0 877528807 10805805056 289401 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13726] ppid=13707 vsize=10552544 CPUtime=0.66 cores=1,3,5,7
/proc/13709/task/13726/stat : 13726 (java) S 13707 13709 13044 0 -1 4202560 7999 0 0 0 66 0 0 0 15 0 19 0 877528807 10805805056 289403 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13727] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13727/stat : 13727 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877528807 10805805056 289408 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13728] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13728/stat : 13728 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877528807 10805805056 289414 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13755] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13755/stat : 13755 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877528829 10805805056 289419 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 10552544
[startup+6.30151 s]
/proc/loadavg: 3.73 4.04 4.93 3/214 13756
/proc/meminfo: memFree=28618148/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10552544 CPUtime=7.27 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 665777 0 1 0 657 70 0 0 23 0 19 0 877528801 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2638136 660382 2242 9 0 2628870 0
[pid=13709/tid=13711] ppid=13707 vsize=10552544 CPUtime=5.94 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4202560 651060 0 1 0 526 68 0 0 25 0 19 0 877528802 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 46912505646187 0 4 0 16800975 0 0 0 -1 1 0 0 33
[pid=13709/tid=13712] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13712/stat : 13712 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13713] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13713/stat : 13713 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13714] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13714/stat : 13714 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13715] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13715/stat : 13715 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13716] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13716/stat : 13716 (java) S 13707 13709 13044 0 -1 4202560 205 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13717] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13717/stat : 13717 (java) S 13707 13709 13044 0 -1 4202560 300 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13718] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13718/stat : 13718 (java) S 13707 13709 13044 0 -1 4202560 313 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13719] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13719/stat : 13719 (java) S 13707 13709 13044 0 -1 4202560 328 0 0 0 0 0 0 0 18 0 19 0 877528803 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13720] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13720/stat : 13720 (java) S 13707 13709 13044 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 877528804 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 0 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13721] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13721/stat : 13721 (java) S 13707 13709 13044 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877528805 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13722] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13722/stat : 13722 (java) S 13707 13709 13044 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877528805 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13724] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13724/stat : 13724 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877528807 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699498929 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13725] ppid=13707 vsize=10552544 CPUtime=0.59 cores=1,3,5,7
/proc/13709/task/13725/stat : 13725 (java) S 13707 13709 13044 0 -1 4202560 4391 0 0 0 59 0 0 0 16 0 19 0 877528807 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13726] ppid=13707 vsize=10552544 CPUtime=0.7 cores=1,3,5,7
/proc/13709/task/13726/stat : 13726 (java) S 13707 13709 13044 0 -1 4202560 8014 0 0 0 70 0 0 0 15 0 19 0 877528807 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13727] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13727/stat : 13727 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877528807 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13728] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13728/stat : 13728 (java) S 13707 13709 13044 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877528807 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13755] ppid=13707 vsize=10552544 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13755/stat : 13755 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877528829 10805805056 660382 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 10552544
[startup+12.7013 s]
################
# More data... #
################
[pid=13709/tid=13755] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13755/stat : 13755 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877528829 10805772288 968516 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.56
Current children cumulated vsize (KiB) 10552512
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.44 3/214 13814
/proc/meminfo: memFree=24186248/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10552512 CPUtime=1727.65 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 988277 0 1 0 172658 107 0 0 23 0 19 0 877528801 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2638128 969590 2257 9 0 2628862 0
[pid=13709/tid=13711] ppid=13707 vsize=10552512 CPUtime=1718.87 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4202560 849654 0 1 0 171797 90 0 0 25 0 19 0 877528802 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 46912505620532 0 4 0 16800975 0 0 0 -1 3 0 0 33
[pid=13709/tid=13712] ppid=13707 vsize=10552512 CPUtime=0.43 cores=1,3,5,7
/proc/13709/task/13712/stat : 13712 (java) S 13707 13709 13044 0 -1 4202560 11586 0 0 0 43 0 0 0 16 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13713] ppid=13707 vsize=10552512 CPUtime=0.4 cores=1,3,5,7
/proc/13709/task/13713/stat : 13713 (java) S 13707 13709 13044 0 -1 4202560 11929 0 0 0 39 1 0 0 16 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
[pid=13709/tid=13714] ppid=13707 vsize=10552512 CPUtime=0.61 cores=1,3,5,7
/proc/13709/task/13714/stat : 13714 (java) S 13707 13709 13044 0 -1 4202560 17949 0 0 0 59 2 0 0 16 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13715] ppid=13707 vsize=10552512 CPUtime=0.41 cores=1,3,5,7
/proc/13709/task/13715/stat : 13715 (java) S 13707 13709 13044 0 -1 4202560 10910 0 0 0 40 1 0 0 15 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13716] ppid=13707 vsize=10552512 CPUtime=0.61 cores=1,3,5,7
/proc/13709/task/13716/stat : 13716 (java) S 13707 13709 13044 0 -1 4202560 18459 0 0 0 59 2 0 0 16 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13717] ppid=13707 vsize=10552512 CPUtime=0.43 cores=1,3,5,7
/proc/13709/task/13717/stat : 13717 (java) S 13707 13709 13044 0 -1 4202560 10964 0 0 0 42 1 0 0 15 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13718] ppid=13707 vsize=10552512 CPUtime=0.52 cores=1,3,5,7
/proc/13709/task/13718/stat : 13718 (java) S 13707 13709 13044 0 -1 4202560 14663 0 0 0 51 1 0 0 15 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13719] ppid=13707 vsize=10552512 CPUtime=0.49 cores=1,3,5,7
/proc/13709/task/13719/stat : 13719 (java) S 13707 13709 13044 0 -1 4202560 11599 0 0 0 49 0 0 0 16 0 19 0 877528803 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13720] ppid=13707 vsize=10552512 CPUtime=2.05 cores=1,3,5,7
/proc/13709/task/13720/stat : 13720 (java) S 13707 13709 13044 0 -1 4202560 6393 0 0 0 204 1 0 0 15 0 19 0 877528804 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 0 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13721] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13721/stat : 13721 (java) S 13707 13709 13044 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877528805 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13722] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13722/stat : 13722 (java) S 13707 13709 13044 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877528805 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13724] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13724/stat : 13724 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877528807 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699498929 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13725] ppid=13707 vsize=10552512 CPUtime=1.07 cores=1,3,5,7
/proc/13709/task/13725/stat : 13725 (java) S 13707 13709 13044 0 -1 4202560 8539 0 0 0 106 1 0 0 15 0 19 0 877528807 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13726] ppid=13707 vsize=10552512 CPUtime=1.66 cores=1,3,5,7
/proc/13709/task/13726/stat : 13726 (java) S 13707 13709 13044 0 -1 4202560 14378 0 0 0 165 1 0 0 15 0 19 0 877528807 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13727] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13727/stat : 13727 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877528807 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13728] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13728/stat : 13728 (java) S 13707 13709 13044 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877528807 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13755] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13755/stat : 13755 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877528829 10805772288 969590 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.65
Current children cumulated vsize (KiB) 10552512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.41 3/214 13815
/proc/meminfo: memFree=24177040/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10552512 CPUtime=1787.73 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 989511 0 1 0 178666 107 0 0 23 0 19 0 877528801 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2638128 970798 2257 9 0 2628862 0
[pid=13709/tid=13711] ppid=13707 vsize=10552512 CPUtime=1778.84 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4202560 849656 0 1 0 177794 90 0 0 25 0 19 0 877528802 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 46912505846035 0 4 0 16800975 0 0 0 -1 3 0 0 33
[pid=13709/tid=13712] ppid=13707 vsize=10552512 CPUtime=0.46 cores=1,3,5,7
/proc/13709/task/13712/stat : 13712 (java) S 13707 13709 13044 0 -1 4202560 11938 0 0 0 46 0 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13713] ppid=13707 vsize=10552512 CPUtime=0.43 cores=1,3,5,7
/proc/13709/task/13713/stat : 13713 (java) S 13707 13709 13044 0 -1 4202560 12099 0 0 0 42 1 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13714] ppid=13707 vsize=10552512 CPUtime=0.62 cores=1,3,5,7
/proc/13709/task/13714/stat : 13714 (java) S 13707 13709 13044 0 -1 4202560 18235 0 0 0 60 2 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13715] ppid=13707 vsize=10552512 CPUtime=0.41 cores=1,3,5,7
/proc/13709/task/13715/stat : 13715 (java) S 13707 13709 13044 0 -1 4202560 10910 0 0 0 40 1 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13716] ppid=13707 vsize=10552512 CPUtime=0.62 cores=1,3,5,7
/proc/13709/task/13716/stat : 13716 (java) S 13707 13709 13044 0 -1 4202560 18547 0 0 0 60 2 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13717] ppid=13707 vsize=10552512 CPUtime=0.44 cores=1,3,5,7
/proc/13709/task/13717/stat : 13717 (java) S 13707 13709 13044 0 -1 4202560 11171 0 0 0 43 1 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13718] ppid=13707 vsize=10552512 CPUtime=0.54 cores=1,3,5,7
/proc/13709/task/13718/stat : 13718 (java) S 13707 13709 13044 0 -1 4202560 14786 0 0 0 53 1 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13719] ppid=13707 vsize=10552512 CPUtime=0.49 cores=1,3,5,7
/proc/13709/task/13719/stat : 13719 (java) S 13707 13709 13044 0 -1 4202560 11599 0 0 0 49 0 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13720] ppid=13707 vsize=10552512 CPUtime=2.05 cores=1,3,5,7
/proc/13709/task/13720/stat : 13720 (java) S 13707 13709 13044 0 -1 4202560 6397 0 0 0 204 1 0 0 15 0 19 0 877528804 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 0 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13721] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13721/stat : 13721 (java) S 13707 13709 13044 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877528805 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13722] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13722/stat : 13722 (java) S 13707 13709 13044 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877528805 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13724] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13724/stat : 13724 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699498929 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13725] ppid=13707 vsize=10552512 CPUtime=1.07 cores=1,3,5,7
/proc/13709/task/13725/stat : 13725 (java) S 13707 13709 13044 0 -1 4202560 8539 0 0 0 106 1 0 0 15 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13726] ppid=13707 vsize=10552512 CPUtime=1.66 cores=1,3,5,7
/proc/13709/task/13726/stat : 13726 (java) S 13707 13709 13044 0 -1 4202560 14378 0 0 0 165 1 0 0 15 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13727] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13727/stat : 13727 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13728] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13728/stat : 13728 (java) S 13707 13709 13044 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13755] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13755/stat : 13755 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877528829 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.73
Current children cumulated vsize (KiB) 10552512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.6 s]
/proc/loadavg: 2.00 2.01 2.41 3/214 13815
/proc/meminfo: memFree=24177012/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=10552512 CPUtime=1800.04 cores=1,3,5,7
/proc/13709/stat : 13709 (java) S 13707 13709 13044 0 -1 4202496 989513 0 1 0 179897 107 0 0 23 0 19 0 877528801 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 2638128 970798 2257 9 0 2628862 0
[pid=13709/tid=13711] ppid=13707 vsize=10552512 CPUtime=1791.14 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4202560 849656 0 1 0 179024 90 0 0 25 0 19 0 877528802 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 46912505619437 0 4 0 16800975 0 0 0 -1 3 0 0 33
[pid=13709/tid=13712] ppid=13707 vsize=10552512 CPUtime=0.46 cores=1,3,5,7
/proc/13709/task/13712/stat : 13712 (java) S 13707 13709 13044 0 -1 4202560 11938 0 0 0 46 0 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13713] ppid=13707 vsize=10552512 CPUtime=0.43 cores=1,3,5,7
/proc/13709/task/13713/stat : 13713 (java) S 13707 13709 13044 0 -1 4202560 12099 0 0 0 42 1 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13714] ppid=13707 vsize=10552512 CPUtime=0.62 cores=1,3,5,7
/proc/13709/task/13714/stat : 13714 (java) S 13707 13709 13044 0 -1 4202560 18235 0 0 0 60 2 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13715] ppid=13707 vsize=10552512 CPUtime=0.41 cores=1,3,5,7
/proc/13709/task/13715/stat : 13715 (java) S 13707 13709 13044 0 -1 4202560 10910 0 0 0 40 1 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13716] ppid=13707 vsize=10552512 CPUtime=0.62 cores=1,3,5,7
/proc/13709/task/13716/stat : 13716 (java) S 13707 13709 13044 0 -1 4202560 18547 0 0 0 60 2 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13717] ppid=13707 vsize=10552512 CPUtime=0.44 cores=1,3,5,7
/proc/13709/task/13717/stat : 13717 (java) S 13707 13709 13044 0 -1 4202560 11171 0 0 0 43 1 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13718] ppid=13707 vsize=10552512 CPUtime=0.54 cores=1,3,5,7
/proc/13709/task/13718/stat : 13718 (java) S 13707 13709 13044 0 -1 4202560 14786 0 0 0 53 1 0 0 16 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13719] ppid=13707 vsize=10552512 CPUtime=0.49 cores=1,3,5,7
/proc/13709/task/13719/stat : 13719 (java) S 13707 13709 13044 0 -1 4202560 11599 0 0 0 49 0 0 0 15 0 19 0 877528803 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13720] ppid=13707 vsize=10552512 CPUtime=2.05 cores=1,3,5,7
/proc/13709/task/13720/stat : 13720 (java) S 13707 13709 13044 0 -1 4202560 6397 0 0 0 204 1 0 0 15 0 19 0 877528804 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 0 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13721] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13721/stat : 13721 (java) S 13707 13709 13044 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877528805 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13722] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13722/stat : 13722 (java) S 13707 13709 13044 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877528805 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13724] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13724/stat : 13724 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699498929 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13725] ppid=13707 vsize=10552512 CPUtime=1.07 cores=1,3,5,7
/proc/13709/task/13725/stat : 13725 (java) S 13707 13709 13044 0 -1 4202560 8539 0 0 0 106 1 0 0 15 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13726] ppid=13707 vsize=10552512 CPUtime=1.66 cores=1,3,5,7
/proc/13709/task/13726/stat : 13726 (java) S 13707 13709 13044 0 -1 4202560 14378 0 0 0 165 1 0 0 15 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 5 0 0 0
[pid=13709/tid=13727] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13727/stat : 13727 (java) S 13707 13709 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491225 0 4 0 16800975 18446604456109636352 0 0 -1 1 0 0 0
[pid=13709/tid=13728] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13728/stat : 13728 (java) S 13707 13709 13044 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 877528807 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 3 0 0 0
[pid=13709/tid=13755] ppid=13707 vsize=10552512 CPUtime=0 cores=1,3,5,7
/proc/13709/task/13755/stat : 13755 (java) S 13707 13709 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877528829 10805772288 970798 33554432000 1073741824 1073778376 140734877752208 18446744073709551615 212699491840 0 4 0 16800975 18446604456109636352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10552512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.71 s]
/proc/loadavg: 2.00 2.01 2.41 3/214 13815
/proc/meminfo: memFree=24177012/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/13709/stat : 13709 (java) Z 13707 13709 13044 0 -1 4203548 990160 0 1 0 179912 111 0 0 17 0 2 0 877528801 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 0 0 0 0 0 0 0
[pid=13709/tid=13711] ppid=13707 vsize=0 CPUtime=1791.22 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4203588 849656 0 1 0 179028 94 0 0 25 0 2 0 877528802 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 33
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
[startup+1794.8 s]
/proc/loadavg: 2.00 2.01 2.41 3/214 13815
/proc/meminfo: memFree=24177012/32951124 swapFree=67076880/67111528
[pid=13709] ppid=13707 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/13709/stat : 13709 (java) Z 13707 13709 13044 0 -1 4203548 990160 0 1 0 179912 120 0 0 17 0 2 0 877528801 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13709/statm: 0 0 0 0 0 0 0
[pid=13709/tid=13711] ppid=13707 vsize=0 CPUtime=1791.3 cores=1,3,5,7
/proc/13709/task/13711/stat : 13711 (java) R 13707 13709 13044 0 -1 4203588 849656 0 1 0 179028 102 0 0 25 0 2 0 877528802 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 33
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.82
CPU time (s): 1800.35
CPU user time (s): 1799.13
CPU system time (s): 1.22081
CPU usage (%): 100.308
Max. virtual memory (cumulated for all children) (KiB): 10565656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.22081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 990160
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= 38911
involuntary context switches= 11532
runsolver used 2.92855 second user time and 6.87595 second system time
The end