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-3456525-1307217996/watcher-3456525-1307217996 -o /tmp/evaluation-result-3456525-1307217996/solver-3456525-1307217996 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456525-1307217996.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: 2.02 2.02 1.79 2/553 24768
/proc/meminfo: memFree=21442692/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 4102 0 1 0 0 0 0 0 23 0 2 0 814215842 10694979584 3805 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2611079 3819 917 9 0 2602235 0
[pid=24768/tid=24769] ppid=24766 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 5289 0 1 0 0 0 0 0 24 0 2 0 814215843 10694979584 6105 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0443129 s]
/proc/loadavg: 2.02 2.02 1.79 2/553 24768
/proc/meminfo: memFree=21442692/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 11204 0 1 0 2 1 0 0 23 0 13 0 814215842 10785808384 10902 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2633254 10904 1660 9 0 2624002 0
[pid=24768/tid=24769] ppid=24766 vsize=10533016 CPUtime=0.02 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 10060 0 1 0 1 1 0 0 25 0 13 0 814215843 10785808384 10905 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 47287253689956 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.100257 s]
/proc/loadavg: 2.02 2.02 1.79 2/553 24768
/proc/meminfo: memFree=21442692/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10539492 CPUtime=0.1 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 13020 0 1 0 8 2 0 0 23 0 18 0 814215842 10792439808 12705 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2634873 12705 2093 9 0 2625607 0
[pid=24768/tid=24769] ppid=24766 vsize=10539492 CPUtime=0.08 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 11098 0 1 0 6 2 0 0 25 0 18 0 814215843 10792439808 12705 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539492
[startup+0.300221 s]
/proc/loadavg: 2.02 2.02 1.79 2/553 24768
/proc/meminfo: memFree=21442692/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10542696 CPUtime=0.51 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 16462 0 1 0 48 3 0 0 23 0 19 0 814215842 10795720704 15568 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2635674 15568 2209 9 0 2626408 0
[pid=24768/tid=24769] ppid=24766 vsize=10542696 CPUtime=0.28 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 12512 0 1 0 26 2 0 0 25 0 19 0 814215843 10795720704 15568 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505619499 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542696
[startup+0.700185 s]
/proc/loadavg: 2.02 2.02 1.79 2/553 24768
/proc/meminfo: memFree=21442692/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10552140 CPUtime=1.4 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 47134 0 1 0 133 7 0 0 23 0 19 0 814215842 10805391360 44647 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2638035 44651 2220 9 0 2628769 0
[pid=24768/tid=24769] ppid=24766 vsize=10552140 CPUtime=0.67 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 37445 0 1 0 62 5 0 0 18 0 19 0 814215843 10805391360 44653 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505581546 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10552140
[startup+1.50104 s]
/proc/loadavg: 2.10 2.03 1.79 3/572 24787
/proc/meminfo: memFree=21170124/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10552140 CPUtime=2.3 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 116387 0 1 0 215 15 0 0 23 0 19 0 814215842 10805391360 113898 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2638035 113898 2223 9 0 2628769 0
[pid=24768/tid=24769] ppid=24766 vsize=10552140 CPUtime=1.48 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 106640 0 1 0 135 13 0 0 19 0 19 0 814215843 10805391360 113899 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505635632 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24768/tid=24771] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113899 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24772] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24768 24457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113899 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24773] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113900 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24774] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113900 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24775] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113904 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24776] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113904 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24777] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113905 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24778] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 113905 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24779] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24768 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814215846 10805391360 113906 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24780] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24768 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814215846 10805391360 113906 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24781] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215846 10805391360 113910 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24782] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10805391360 113915 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24783] ppid=24766 vsize=10552140 CPUtime=0.34 cores=1,3,5,7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24768 24457 0 -1 4202560 3647 0 0 0 34 0 0 0 15 0 19 0 814215849 10805391360 113919 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24784] ppid=24766 vsize=10552140 CPUtime=0.45 cores=1,3,5,7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24768 24457 0 -1 4202560 4941 0 0 0 45 0 0 0 19 0 19 0 814215849 10805391360 113920 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24785] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10805391360 113921 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24786] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814215849 10805391360 113924 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24787] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215866 10805391360 113926 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10552140
[startup+3.10075 s]
/proc/loadavg: 2.10 2.03 1.79 3/572 24787
/proc/meminfo: memFree=20804944/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10552140 CPUtime=4.03 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 240726 0 1 0 373 30 0 0 23 0 19 0 814215842 10805391360 238235 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2638035 238237 2223 9 0 2628769 0
[pid=24768/tid=24769] ppid=24766 vsize=10552140 CPUtime=3.07 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 230965 0 1 0 279 28 0 0 18 0 19 0 814215843 10805391360 238238 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505639700 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24768/tid=24771] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238240 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24772] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24768 24457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238244 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24773] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238247 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24774] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238251 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24775] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238254 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24776] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238258 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24777] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238262 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24778] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10805391360 238266 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24779] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24768 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814215846 10805391360 238269 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24780] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24768 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814215846 10805391360 238273 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24781] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215846 10805391360 238276 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24782] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10805391360 238279 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24783] ppid=24766 vsize=10552140 CPUtime=0.38 cores=1,3,5,7
/proc/24768/task/24783/stat : 24783 (java) R 24766 24768 24457 0 -1 4202560 3652 0 0 0 38 0 0 0 15 0 19 0 814215849 10805391360 238282 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 47287255863504 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24768/tid=24784] ppid=24766 vsize=10552140 CPUtime=0.54 cores=1,3,5,7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24768 24457 0 -1 4202560 4952 0 0 0 54 0 0 0 15 0 19 0 814215849 10805391360 238286 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24785] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10805391360 238289 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24786] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814215849 10805391360 238293 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24787] ppid=24766 vsize=10552140 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215866 10805391360 238297 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10552140
[startup+6.30119 s]
/proc/loadavg: 2.09 2.03 1.79 3/572 24787
/proc/meminfo: memFree=19793352/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10549616 CPUtime=7.34 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 484861 0 1 0 678 56 0 0 23 0 19 0 814215842 10802806784 481593 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2637404 481597 2228 9 0 2628138 0
[pid=24768/tid=24769] ppid=24766 vsize=10549616 CPUtime=6.28 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 475064 0 1 0 574 54 0 0 18 0 19 0 814215843 10802806784 481599 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505581489 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24768/tid=24771] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481601 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24772] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24768 24457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481602 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24773] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481604 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24774] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481606 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24775] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481608 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24776] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481610 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24777] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481611 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24778] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215845 10802806784 481613 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24779] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24768 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814215846 10802806784 481615 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24780] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24768 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814215846 10802806784 481617 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24781] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215846 10802806784 481618 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24782] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10802806784 481620 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24783] ppid=24766 vsize=10549616 CPUtime=0.45 cores=1,3,5,7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24768 24457 0 -1 4202560 3666 0 0 0 45 0 0 0 15 0 19 0 814215849 10802806784 481622 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24784] ppid=24766 vsize=10549616 CPUtime=0.58 cores=1,3,5,7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24768 24457 0 -1 4202560 4976 0 0 0 58 0 0 0 15 0 19 0 814215849 10802806784 481623 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=24768/tid=24787] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215866 10802806784 1046882 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.94
Current children cumulated vsize (KiB) 10549616
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/572 24884
/proc/meminfo: memFree=17159692/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10549616 CPUtime=1731.33 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 1058060 0 1 0 173013 120 0 0 23 0 19 0 814215842 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2637404 1050690 2257 9 0 2628138 0
[pid=24768/tid=24769] ppid=24766 vsize=10549616 CPUtime=1715.67 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 783074 0 1 0 171484 83 0 0 25 0 19 0 814215843 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505584296 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24768/tid=24771] ppid=24766 vsize=10549616 CPUtime=1.41 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24768 24457 0 -1 4202560 35041 0 0 0 137 4 0 0 15 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=24768/tid=24772] ppid=24766 vsize=10549616 CPUtime=1.38 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24768 24457 0 -1 4202560 31625 0 0 0 134 4 0 0 16 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24773] ppid=24766 vsize=10549616 CPUtime=1.12 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24768 24457 0 -1 4202560 21642 0 0 0 109 3 0 0 16 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24774] ppid=24766 vsize=10549616 CPUtime=1.49 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24768 24457 0 -1 4202560 36065 0 0 0 145 4 0 0 15 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24775] ppid=24766 vsize=10549616 CPUtime=1.5 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24768 24457 0 -1 4202560 37095 0 0 0 147 3 0 0 15 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24776] ppid=24766 vsize=10549616 CPUtime=1.27 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24768 24457 0 -1 4202560 28650 0 0 0 124 3 0 0 16 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24777] ppid=24766 vsize=10549616 CPUtime=1.24 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24768 24457 0 -1 4202560 32983 0 0 0 120 4 0 0 15 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=24768/tid=24778] ppid=24766 vsize=10549616 CPUtime=1.34 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24768 24457 0 -1 4202560 37512 0 0 0 131 3 0 0 15 0 19 0 814215845 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24779] ppid=24766 vsize=10549616 CPUtime=3.3 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24768 24457 0 -1 4202560 3831 0 0 0 329 1 0 0 15 0 19 0 814215846 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24780] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24768 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814215846 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24781] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24768 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814215846 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24782] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24783] ppid=24766 vsize=10549616 CPUtime=0.62 cores=1,3,5,7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24768 24457 0 -1 4202560 4282 0 0 0 61 1 0 0 16 0 19 0 814215849 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24784] ppid=24766 vsize=10549616 CPUtime=0.85 cores=1,3,5,7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24768 24457 0 -1 4202560 5012 0 0 0 85 0 0 0 15 0 19 0 814215849 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24785] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24786] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24768 24457 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814215849 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24787] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215866 10802806784 1050690 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1731.33
Current children cumulated vsize (KiB) 10549616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/572 24886
/proc/meminfo: memFree=17114276/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10549616 CPUtime=1791.59 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 1058095 0 1 0 179039 120 0 0 23 0 19 0 814215842 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2637404 1050713 2257 9 0 2628138 0
[pid=24768/tid=24769] ppid=24766 vsize=10549616 CPUtime=1775.57 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 783077 0 1 0 177474 83 0 0 25 0 19 0 814215843 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505830856 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24768/tid=24771] ppid=24766 vsize=10549616 CPUtime=1.47 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24768 24457 0 -1 4202560 35043 0 0 0 143 4 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=24768/tid=24772] ppid=24766 vsize=10549616 CPUtime=1.45 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24768 24457 0 -1 4202560 31625 0 0 0 141 4 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24773] ppid=24766 vsize=10549616 CPUtime=1.15 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24768 24457 0 -1 4202560 21644 0 0 0 112 3 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24774] ppid=24766 vsize=10549616 CPUtime=1.52 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24768 24457 0 -1 4202560 36066 0 0 0 148 4 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24775] ppid=24766 vsize=10549616 CPUtime=1.57 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24768 24457 0 -1 4202560 37101 0 0 0 154 3 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24776] ppid=24766 vsize=10549616 CPUtime=1.33 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24768 24457 0 -1 4202560 28655 0 0 0 130 3 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24777] ppid=24766 vsize=10549616 CPUtime=1.24 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24768 24457 0 -1 4202560 32983 0 0 0 120 4 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=24768/tid=24778] ppid=24766 vsize=10549616 CPUtime=1.39 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24768 24457 0 -1 4202560 37520 0 0 0 136 3 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24779] ppid=24766 vsize=10549616 CPUtime=3.3 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24768 24457 0 -1 4202560 3835 0 0 0 329 1 0 0 15 0 19 0 814215846 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24780] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24768 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814215846 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24781] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24768 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814215846 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24782] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24783] ppid=24766 vsize=10549616 CPUtime=0.62 cores=1,3,5,7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24768 24457 0 -1 4202560 4282 0 0 0 61 1 0 0 16 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24784] ppid=24766 vsize=10549616 CPUtime=0.85 cores=1,3,5,7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24768 24457 0 -1 4202560 5012 0 0 0 85 0 0 0 15 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24785] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24786] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24768 24457 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24787] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215866 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 10549616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.7 s]
/proc/loadavg: 2.00 2.03 1.98 4/572 24886
/proc/meminfo: memFree=17103344/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=10549616 CPUtime=1800.02 cores=1,3,5,7
/proc/24768/stat : 24768 (java) S 24766 24768 24457 0 -1 4202496 1058095 0 1 0 179882 120 0 0 23 0 19 0 814215842 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24768/statm: 2637404 1050713 2257 9 0 2628138 0
[pid=24768/tid=24769] ppid=24766 vsize=10549616 CPUtime=1784.01 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4202560 783077 0 1 0 178318 83 0 0 25 0 19 0 814215843 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 46912505635561 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24768/tid=24771] ppid=24766 vsize=10549616 CPUtime=1.47 cores=1,3,5,7
/proc/24768/task/24771/stat : 24771 (java) S 24766 24768 24457 0 -1 4202560 35043 0 0 0 143 4 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=24768/tid=24772] ppid=24766 vsize=10549616 CPUtime=1.45 cores=1,3,5,7
/proc/24768/task/24772/stat : 24772 (java) S 24766 24768 24457 0 -1 4202560 31625 0 0 0 141 4 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24773] ppid=24766 vsize=10549616 CPUtime=1.15 cores=1,3,5,7
/proc/24768/task/24773/stat : 24773 (java) S 24766 24768 24457 0 -1 4202560 21644 0 0 0 112 3 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24774] ppid=24766 vsize=10549616 CPUtime=1.52 cores=1,3,5,7
/proc/24768/task/24774/stat : 24774 (java) S 24766 24768 24457 0 -1 4202560 36066 0 0 0 148 4 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24775] ppid=24766 vsize=10549616 CPUtime=1.57 cores=1,3,5,7
/proc/24768/task/24775/stat : 24775 (java) S 24766 24768 24457 0 -1 4202560 37101 0 0 0 154 3 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24776] ppid=24766 vsize=10549616 CPUtime=1.33 cores=1,3,5,7
/proc/24768/task/24776/stat : 24776 (java) S 24766 24768 24457 0 -1 4202560 28655 0 0 0 130 3 0 0 16 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24777] ppid=24766 vsize=10549616 CPUtime=1.24 cores=1,3,5,7
/proc/24768/task/24777/stat : 24777 (java) S 24766 24768 24457 0 -1 4202560 32983 0 0 0 120 4 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=24768/tid=24778] ppid=24766 vsize=10549616 CPUtime=1.39 cores=1,3,5,7
/proc/24768/task/24778/stat : 24778 (java) S 24766 24768 24457 0 -1 4202560 37520 0 0 0 136 3 0 0 15 0 19 0 814215845 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24779] ppid=24766 vsize=10549616 CPUtime=3.3 cores=1,3,5,7
/proc/24768/task/24779/stat : 24779 (java) S 24766 24768 24457 0 -1 4202560 3835 0 0 0 329 1 0 0 15 0 19 0 814215846 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24780] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24780/stat : 24780 (java) S 24766 24768 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814215846 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24781] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24781/stat : 24781 (java) S 24766 24768 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814215846 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24782] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24782/stat : 24782 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24783] ppid=24766 vsize=10549616 CPUtime=0.62 cores=1,3,5,7
/proc/24768/task/24783/stat : 24783 (java) S 24766 24768 24457 0 -1 4202560 4282 0 0 0 61 1 0 0 16 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=24768/tid=24784] ppid=24766 vsize=10549616 CPUtime=0.85 cores=1,3,5,7
/proc/24768/task/24784/stat : 24784 (java) S 24766 24768 24457 0 -1 4202560 5012 0 0 0 85 0 0 0 15 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24785] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24785/stat : 24785 (java) S 24766 24768 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=24768/tid=24786] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24786/stat : 24786 (java) S 24766 24768 24457 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814215849 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=24768/tid=24787] ppid=24766 vsize=10549616 CPUtime=0 cores=1,3,5,7
/proc/24768/task/24787/stat : 24787 (java) S 24766 24768 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814215866 10802806784 1050713 33554432000 1073741824 1073778376 140733951300352 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10549616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.85 s]
/proc/loadavg: 2.00 2.03 1.98 4/572 24886
/proc/meminfo: memFree=17103344/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/24768/stat : 24768 (java) Z 24766 24768 24457 0 -1 4203548 1058135 0 1 0 179889 127 0 0 17 0 2 0 814215842 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24768/statm: 0 0 0 0 0 0 0
[pid=24768/tid=24769] ppid=24766 vsize=0 CPUtime=1784.12 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4203588 783077 0 1 0 178321 91 0 0 25 0 2 0 814215843 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
[startup+1790.9 s]
/proc/loadavg: 2.00 2.03 1.98 4/572 24886
/proc/meminfo: memFree=17103344/32951124 swapFree=46970528/67111528
[pid=24768] ppid=24766 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/24768/stat : 24768 (java) Z 24766 24768 24457 0 -1 4203548 1058135 0 1 0 179889 133 0 0 17 0 2 0 814215842 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24768/statm: 0 0 0 0 0 0 0
[pid=24768/tid=24769] ppid=24766 vsize=0 CPUtime=1784.17 cores=1,3,5,7
/proc/24768/task/24769/stat : 24769 (java) R 24766 24768 24457 0 -1 4203588 783077 0 1 0 178321 96 0 0 25 0 2 0 814215843 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.92
CPU time (s): 1800.25
CPU user time (s): 1798.9
CPU system time (s): 1.35179
CPU usage (%): 100.521
Max. virtual memory (cumulated for all children) (KiB): 10552140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.35179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1058135
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= 39297
involuntary context switches= 38299
runsolver used 9.67253 second user time and 22.7565 second system time
The end