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-3456382-1307644073/watcher-3456382-1307644073 -o /tmp/evaluation-result-3456382-1307644073/solver-3456382-1307644073 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456382-1307644073.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.00 2.02 2.00 3/194 10752
/proc/meminfo: memFree=31939636/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=30572 CPUtime=0 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 1191 0 0 0 0 0 0 0 23 0 2 0 332016801 31305728 917 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 7645 921 699 9 0 383 0
[pid=10752/tid=10753] ppid=10750 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 96 0 0 0 0 0 0 0 25 0 2 0 332016802 31313920 936 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218875602688 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.053168 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 10752
/proc/meminfo: memFree=31939636/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 11486 0 1 0 3 1 0 0 23 0 13 0 332016801 10718838784 11182 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2616904 11182 1685 9 0 2607652 0
[pid=10752/tid=10753] ppid=10750 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 10339 0 1 0 3 1 0 0 25 0 13 0 332016802 10718838784 11183 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 47054711521187 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.101135 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 10752
/proc/meminfo: memFree=31939636/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10540152 CPUtime=0.1 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 13100 0 1 0 9 1 0 0 23 0 18 0 332016801 10793115648 12771 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2635038 12771 2093 9 0 2625772 0
[pid=10752/tid=10753] ppid=10750 vsize=10540152 CPUtime=0.08 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 11155 0 1 0 7 1 0 0 25 0 18 0 332016802 10793115648 12772 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 47054715988819 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540152
[startup+0.301105 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 10752
/proc/meminfo: memFree=31939636/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10542388 CPUtime=0.57 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 21116 0 1 0 55 2 0 0 23 0 18 0 332016801 10795405312 19346 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2635597 19346 2210 9 0 2626331 0
[pid=10752/tid=10753] ppid=10750 vsize=10542388 CPUtime=0.28 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 15821 0 1 0 27 1 0 0 18 0 18 0 332016802 10795405312 19346 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10542388
[startup+0.701055 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 10752
/proc/meminfo: memFree=31939636/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10551084 CPUtime=1.42 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 51236 0 1 0 137 5 0 0 23 0 18 0 332016801 10804310016 46389 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2637771 46393 2220 9 0 2628505 0
[pid=10752/tid=10753] ppid=10750 vsize=10551084 CPUtime=0.68 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 37381 0 1 0 65 3 0 0 18 0 18 0 332016802 10804310016 46394 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912505588752 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10551084
[startup+1.50092 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 10771
/proc/meminfo: memFree=31517352/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10551084 CPUtime=2.22 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 119030 0 1 0 209 13 0 0 23 0 18 0 332016801 10804310016 114183 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2637771 114183 2220 9 0 2628505 0
[pid=10752/tid=10753] ppid=10750 vsize=10551084 CPUtime=1.48 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 105170 0 1 0 137 11 0 0 19 0 18 0 332016802 10804310016 114183 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912505770052 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10752/tid=10755] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10755/stat : 10755 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114183 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10756] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10756/stat : 10756 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114183 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10757] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10757/stat : 10757 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114183 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10758] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10758/stat : 10758 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114187 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10759] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10759/stat : 10759 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114191 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10760] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10760/stat : 10760 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114195 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10761] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10761/stat : 10761 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114199 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10762] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10762/stat : 10762 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 114202 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10763] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10763/stat : 10763 (java) S 10750 10752 9650 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 332016805 10804310016 114205 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 0 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10764] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10764/stat : 10764 (java) S 10750 10752 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 332016805 10804310016 114207 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10765] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10765/stat : 10765 (java) S 10750 10752 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 332016805 10804310016 114208 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10766] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10766/stat : 10766 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016807 10804310016 114210 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892388785 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10767] ppid=10750 vsize=10551084 CPUtime=0.41 cores=1,3,5,7
/proc/10752/task/10767/stat : 10767 (java) S 10750 10752 9650 0 -1 4202560 9039 0 0 0 41 0 0 0 17 0 18 0 332016807 10804310016 114212 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10768] ppid=10750 vsize=10551084 CPUtime=0.3 cores=1,3,5,7
/proc/10752/task/10768/stat : 10768 (java) S 10750 10752 9650 0 -1 4202560 3670 0 0 0 30 0 0 0 17 0 18 0 332016807 10804310016 114214 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10769] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10769/stat : 10769 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016807 10804310016 114216 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10770] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10770/stat : 10770 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 332016807 10804310016 114218 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10551084
[startup+3.10163 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 10771
/proc/meminfo: memFree=31106292/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10551084 CPUtime=3.87 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 248383 0 1 0 362 25 0 0 23 0 18 0 332016801 10804310016 243536 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2637771 243539 2222 9 0 2628505 0
[pid=10752/tid=10753] ppid=10750 vsize=10551084 CPUtime=3.08 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 234483 0 1 0 285 23 0 0 18 0 18 0 332016802 10804310016 243541 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912505579302 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10752/tid=10755] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10755/stat : 10755 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243543 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10756] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10756/stat : 10756 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243545 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10757] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10757/stat : 10757 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243547 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10758] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10758/stat : 10758 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243549 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10759] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10759/stat : 10759 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243551 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10760] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10760/stat : 10760 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243553 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10761] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10761/stat : 10761 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243555 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10762] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10762/stat : 10762 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 243557 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10763] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10763/stat : 10763 (java) S 10750 10752 9650 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 332016805 10804310016 243559 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 0 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10764] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10764/stat : 10764 (java) S 10750 10752 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 332016805 10804310016 243561 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10765] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10765/stat : 10765 (java) S 10750 10752 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 332016805 10804310016 243563 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10766] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10766/stat : 10766 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016807 10804310016 243565 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892388785 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10767] ppid=10750 vsize=10551084 CPUtime=0.43 cores=1,3,5,7
/proc/10752/task/10767/stat : 10767 (java) S 10750 10752 9650 0 -1 4202560 9039 0 0 0 43 0 0 0 15 0 18 0 332016807 10804310016 243567 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10768] ppid=10750 vsize=10551084 CPUtime=0.32 cores=1,3,5,7
/proc/10752/task/10768/stat : 10768 (java) S 10750 10752 9650 0 -1 4202560 3713 0 0 0 32 0 0 0 16 0 18 0 332016807 10804310016 243569 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10769] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10769/stat : 10769 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016807 10804310016 243571 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10770] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10770/stat : 10770 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 332016807 10804310016 243573 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 10551084
[startup+6.30107 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 10771
/proc/meminfo: memFree=30101128/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10551084 CPUtime=7.16 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 485310 0 1 0 665 51 0 0 23 0 18 0 332016801 10804310016 479994 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2637771 479997 2227 9 0 2628505 0
[pid=10752/tid=10753] ppid=10750 vsize=10551084 CPUtime=6.28 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 471396 0 1 0 579 49 0 0 21 0 18 0 332016802 10804310016 479999 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912505745266 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10752/tid=10755] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10755/stat : 10755 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480000 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10756] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10756/stat : 10756 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480002 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10757] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10757/stat : 10757 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480004 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10758] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10758/stat : 10758 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480005 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10759] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10759/stat : 10759 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480006 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10760] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10760/stat : 10760 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480007 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10761] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10761/stat : 10761 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480008 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10762] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10762/stat : 10762 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016804 10804310016 480009 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10763] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10763/stat : 10763 (java) S 10750 10752 9650 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 332016805 10804310016 480010 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 0 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10764] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10764/stat : 10764 (java) S 10750 10752 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 332016805 10804310016 480010 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10765] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10765/stat : 10765 (java) S 10750 10752 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 332016805 10804310016 480011 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10766] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10766/stat : 10766 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016807 10804310016 480012 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892388785 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10767] ppid=10750 vsize=10551084 CPUtime=0.46 cores=1,3,5,7
/proc/10752/task/10767/stat : 10767 (java) S 10750 10752 9650 0 -1 4202560 9041 0 0 0 46 0 0 0 15 0 18 0 332016807 10804310016 480013 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10768] ppid=10750 vsize=10551084 CPUtime=0.39 cores=1,3,5,7
/proc/10752/task/10768/stat : 10768 (java) S 10750 10752 9650 0 -1 4202560 3723 0 0 0 39 0 0 0 15 0 18 0 332016807 10804310016 480014 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10769] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10769/stat : 10769 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 332016807 10804310016 480016 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10770] ppid=10750 vsize=10551084 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10770/stat : 10770 (java) R 10750 10752 9650 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 332016807 10804310016 480018 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 0 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/10752/task/10765/stat : 10765 (java) S 10750 10752 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 332016805 10805362688 1063615 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10766] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10766/stat : 10766 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1063615 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892388785 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10767] ppid=10750 vsize=10552112 CPUtime=0.74 cores=1,3,5,7
/proc/10752/task/10767/stat : 10767 (java) S 10750 10752 9650 0 -1 4202560 9084 0 0 0 74 0 0 0 15 0 19 0 332016807 10805362688 1063615 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10768] ppid=10750 vsize=10552112 CPUtime=0.94 cores=1,3,5,7
/proc/10752/task/10768/stat : 10768 (java) S 10750 10752 9650 0 -1 4202560 3803 0 0 0 94 0 0 0 15 0 19 0 332016807 10805362688 1063615 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10769] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10769/stat : 10769 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1063615 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10770] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10770/stat : 10770 (java) S 10750 10752 9650 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 332016807 10805362688 1063615 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10772] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10772/stat : 10772 (java) S 10750 10752 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332017441 10805362688 1063615 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1672.25
Current children cumulated vsize (KiB) 10552112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 10818
/proc/meminfo: memFree=25846000/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10552112 CPUtime=1732.42 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 1077177 0 1 0 173107 135 0 0 23 0 19 0 332016801 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2638028 1067184 2249 9 0 2628762 0
[pid=10752/tid=10753] ppid=10750 vsize=10552112 CPUtime=1719.1 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 661363 0 1 0 171836 74 0 0 25 0 19 0 332016802 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912506177326 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10752/tid=10755] ppid=10750 vsize=10552112 CPUtime=1.8 cores=1,3,5,7
/proc/10752/task/10755/stat : 10755 (java) S 10750 10752 9650 0 -1 4202560 75083 0 0 0 169 11 0 0 16 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10756] ppid=10750 vsize=10552112 CPUtime=1.49 cores=1,3,5,7
/proc/10752/task/10756/stat : 10756 (java) S 10750 10752 9650 0 -1 4202560 62779 0 0 0 141 8 0 0 15 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 1 0 0 0
[pid=10752/tid=10757] ppid=10750 vsize=10552112 CPUtime=1.48 cores=1,3,5,7
/proc/10752/task/10757/stat : 10757 (java) S 10750 10752 9650 0 -1 4202560 45276 0 0 0 142 6 0 0 15 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10758] ppid=10750 vsize=10552112 CPUtime=1.46 cores=1,3,5,7
/proc/10752/task/10758/stat : 10758 (java) S 10750 10752 9650 0 -1 4202560 68962 0 0 0 138 8 0 0 16 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10759] ppid=10750 vsize=10552112 CPUtime=1.2 cores=1,3,5,7
/proc/10752/task/10759/stat : 10759 (java) S 10750 10752 9650 0 -1 4202560 25035 0 0 0 116 4 0 0 16 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10760] ppid=10750 vsize=10552112 CPUtime=1.17 cores=1,3,5,7
/proc/10752/task/10760/stat : 10760 (java) S 10750 10752 9650 0 -1 4202560 41798 0 0 0 112 5 0 0 15 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10761] ppid=10750 vsize=10552112 CPUtime=1.43 cores=1,3,5,7
/proc/10752/task/10761/stat : 10761 (java) S 10750 10752 9650 0 -1 4202560 39865 0 0 0 139 4 0 0 15 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10762] ppid=10750 vsize=10552112 CPUtime=1.43 cores=1,3,5,7
/proc/10752/task/10762/stat : 10762 (java) S 10750 10752 9650 0 -1 4202560 42764 0 0 0 138 5 0 0 16 0 19 0 332016804 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 1 0 0 0
[pid=10752/tid=10763] ppid=10750 vsize=10552112 CPUtime=0.07 cores=1,3,5,7
/proc/10752/task/10763/stat : 10763 (java) S 10750 10752 9650 0 -1 4202560 113 0 0 0 3 4 0 0 15 0 19 0 332016805 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 0 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10764] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10764/stat : 10764 (java) S 10750 10752 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 332016805 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10765] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10765/stat : 10765 (java) S 10750 10752 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 332016805 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10766] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10766/stat : 10766 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892388785 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10767] ppid=10750 vsize=10552112 CPUtime=0.74 cores=1,3,5,7
/proc/10752/task/10767/stat : 10767 (java) S 10750 10752 9650 0 -1 4202560 9084 0 0 0 74 0 0 0 15 0 19 0 332016807 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10768] ppid=10750 vsize=10552112 CPUtime=0.94 cores=1,3,5,7
/proc/10752/task/10768/stat : 10768 (java) S 10750 10752 9650 0 -1 4202560 3803 0 0 0 94 0 0 0 15 0 19 0 332016807 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10769] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10769/stat : 10769 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10770] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10770/stat : 10770 (java) S 10750 10752 9650 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 332016807 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10772] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10772/stat : 10772 (java) S 10750 10752 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332017441 10805362688 1067184 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1732.42
Current children cumulated vsize (KiB) 10552112
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 10820
/proc/meminfo: memFree=25471360/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10552112 CPUtime=1792.64 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 1080438 0 1 0 179128 136 0 0 23 0 19 0 332016801 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2638028 1070356 2249 9 0 2628762 0
[pid=10752/tid=10753] ppid=10750 vsize=10552112 CPUtime=1779.02 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 661370 0 1 0 177828 74 0 0 25 0 19 0 332016802 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912506060806 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10752/tid=10755] ppid=10750 vsize=10552112 CPUtime=1.84 cores=1,3,5,7
/proc/10752/task/10755/stat : 10755 (java) S 10750 10752 9650 0 -1 4202560 75524 0 0 0 173 11 0 0 16 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10756] ppid=10750 vsize=10552112 CPUtime=1.51 cores=1,3,5,7
/proc/10752/task/10756/stat : 10756 (java) S 10750 10752 9650 0 -1 4202560 63059 0 0 0 143 8 0 0 16 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 1 0 0 0
[pid=10752/tid=10757] ppid=10750 vsize=10552112 CPUtime=1.51 cores=1,3,5,7
/proc/10752/task/10757/stat : 10757 (java) S 10750 10752 9650 0 -1 4202560 45534 0 0 0 145 6 0 0 15 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10758] ppid=10750 vsize=10552112 CPUtime=1.49 cores=1,3,5,7
/proc/10752/task/10758/stat : 10758 (java) S 10750 10752 9650 0 -1 4202560 69387 0 0 0 141 8 0 0 16 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10759] ppid=10750 vsize=10552112 CPUtime=1.23 cores=1,3,5,7
/proc/10752/task/10759/stat : 10759 (java) S 10750 10752 9650 0 -1 4202560 25309 0 0 0 119 4 0 0 15 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 1 0 0 0
[pid=10752/tid=10760] ppid=10750 vsize=10552112 CPUtime=1.22 cores=1,3,5,7
/proc/10752/task/10760/stat : 10760 (java) S 10750 10752 9650 0 -1 4202560 42323 0 0 0 117 5 0 0 15 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10761] ppid=10750 vsize=10552112 CPUtime=1.47 cores=1,3,5,7
/proc/10752/task/10761/stat : 10761 (java) S 10750 10752 9650 0 -1 4202560 40277 0 0 0 143 4 0 0 16 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10762] ppid=10750 vsize=10552112 CPUtime=1.49 cores=1,3,5,7
/proc/10752/task/10762/stat : 10762 (java) S 10750 10752 9650 0 -1 4202560 43397 0 0 0 143 6 0 0 15 0 19 0 332016804 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10763] ppid=10750 vsize=10552112 CPUtime=0.07 cores=1,3,5,7
/proc/10752/task/10763/stat : 10763 (java) S 10750 10752 9650 0 -1 4202560 117 0 0 0 3 4 0 0 15 0 19 0 332016805 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 0 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10764] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10764/stat : 10764 (java) S 10750 10752 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 332016805 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10765] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10765/stat : 10765 (java) S 10750 10752 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 332016805 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10766] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10766/stat : 10766 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892388785 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10767] ppid=10750 vsize=10552112 CPUtime=0.74 cores=1,3,5,7
/proc/10752/task/10767/stat : 10767 (java) S 10750 10752 9650 0 -1 4202560 9084 0 0 0 74 0 0 0 15 0 19 0 332016807 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10768] ppid=10750 vsize=10552112 CPUtime=0.94 cores=1,3,5,7
/proc/10752/task/10768/stat : 10768 (java) S 10750 10752 9650 0 -1 4202560 3803 0 0 0 94 0 0 0 15 0 19 0 332016807 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10769] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10769/stat : 10769 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10770] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10770/stat : 10770 (java) S 10750 10752 9650 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 332016807 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10772] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10772/stat : 10772 (java) S 10750 10752 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332017441 10805362688 1070356 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (KiB) 10552112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.71 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 10820
/proc/meminfo: memFree=25457588/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=10552112 CPUtime=1800.08 cores=1,3,5,7
/proc/10752/stat : 10752 (java) S 10750 10752 9650 0 -1 4202496 1080693 0 1 0 179872 136 0 0 23 0 19 0 332016801 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 2638028 1070603 2249 9 0 2628762 0
[pid=10752/tid=10753] ppid=10750 vsize=10552112 CPUtime=1786.42 cores=1,3,5,7
/proc/10752/task/10753/stat : 10753 (java) R 10750 10752 9650 0 -1 4202560 661371 0 1 0 178568 74 0 0 25 0 19 0 332016802 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 46912506177356 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10752/tid=10755] ppid=10750 vsize=10552112 CPUtime=1.84 cores=1,3,5,7
/proc/10752/task/10755/stat : 10755 (java) S 10750 10752 9650 0 -1 4202560 75581 0 0 0 173 11 0 0 16 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10756] ppid=10750 vsize=10552112 CPUtime=1.51 cores=1,3,5,7
/proc/10752/task/10756/stat : 10756 (java) S 10750 10752 9650 0 -1 4202560 63059 0 0 0 143 8 0 0 15 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 1 0 0 0
[pid=10752/tid=10757] ppid=10750 vsize=10552112 CPUtime=1.51 cores=1,3,5,7
/proc/10752/task/10757/stat : 10757 (java) S 10750 10752 9650 0 -1 4202560 45534 0 0 0 145 6 0 0 15 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10758] ppid=10750 vsize=10552112 CPUtime=1.5 cores=1,3,5,7
/proc/10752/task/10758/stat : 10758 (java) S 10750 10752 9650 0 -1 4202560 69387 0 0 0 142 8 0 0 15 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10759] ppid=10750 vsize=10552112 CPUtime=1.24 cores=1,3,5,7
/proc/10752/task/10759/stat : 10759 (java) S 10750 10752 9650 0 -1 4202560 25363 0 0 0 120 4 0 0 16 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 1 0 0 0
[pid=10752/tid=10760] ppid=10750 vsize=10552112 CPUtime=1.23 cores=1,3,5,7
/proc/10752/task/10760/stat : 10760 (java) S 10750 10752 9650 0 -1 4202560 42410 0 0 0 118 5 0 0 16 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 7 0 0 0
[pid=10752/tid=10761] ppid=10750 vsize=10552112 CPUtime=1.48 cores=1,3,5,7
/proc/10752/task/10761/stat : 10761 (java) S 10750 10752 9650 0 -1 4202560 40331 0 0 0 144 4 0 0 16 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10762] ppid=10750 vsize=10552112 CPUtime=1.49 cores=1,3,5,7
/proc/10752/task/10762/stat : 10762 (java) S 10750 10752 9650 0 -1 4202560 43397 0 0 0 143 6 0 0 15 0 19 0 332016804 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10763] ppid=10750 vsize=10552112 CPUtime=0.07 cores=1,3,5,7
/proc/10752/task/10763/stat : 10763 (java) S 10750 10752 9650 0 -1 4202560 117 0 0 0 3 4 0 0 15 0 19 0 332016805 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 0 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10764] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10764/stat : 10764 (java) S 10750 10752 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 332016805 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10765] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10765/stat : 10765 (java) S 10750 10752 9650 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 332016805 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10766] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10766/stat : 10766 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892388785 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10767] ppid=10750 vsize=10552112 CPUtime=0.74 cores=1,3,5,7
/proc/10752/task/10767/stat : 10767 (java) S 10750 10752 9650 0 -1 4202560 9084 0 0 0 74 0 0 0 15 0 19 0 332016807 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10768] ppid=10750 vsize=10552112 CPUtime=0.94 cores=1,3,5,7
/proc/10752/task/10768/stat : 10768 (java) S 10750 10752 9650 0 -1 4202560 3803 0 0 0 94 0 0 0 15 0 19 0 332016807 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 5 0 0 0
[pid=10752/tid=10769] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10769/stat : 10769 (java) S 10750 10752 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 332016807 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381081 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10770] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10770/stat : 10770 (java) S 10750 10752 9650 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 332016807 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
[pid=10752/tid=10772] ppid=10750 vsize=10552112 CPUtime=0 cores=1,3,5,7
/proc/10752/task/10772/stat : 10772 (java) S 10750 10752 9650 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 332017441 10805362688 1070603 33554432000 1073741824 1073778376 140734116902832 18446744073709551615 218892381696 0 4 0 16800975 18446604471120795584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.82 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 10820
/proc/meminfo: memFree=25457588/32950928 swapFree=67054696/67111528
[pid=10752] ppid=10750 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/10752/stat : 10752 (java) Z 10750 10752 9650 0 -1 4203548 1080722 0 1 0 179873 145 0 0 17 0 2 0 332016801 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10752/statm: 0 0 0 0 0 0 0
[pid=10752/tid=10760] ppid=10750 vsize=0 CPUtime=1.32 cores=1,3,5,7
/proc/10752/task/10760/stat : 10760 (java) R 10750 10752 9650 0 -1 4203588 42410 0 0 0 118 14 0 0 15 0 2 0 332016804 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.88
CPU time (s): 1800.25
CPU user time (s): 1798.74
CPU system time (s): 1.51677
CPU usage (%): 100.58
Max. virtual memory (cumulated for all children) (KiB): 10552112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.51677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1080722
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= 42985
involuntary context switches= 6117
runsolver used 3.02454 second user time and 6.75697 second system time
The end