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-3455921-1307225312/watcher-3455921-1307225312 -o /tmp/evaluation-result-3455921-1307225312/solver-3455921-1307225312 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455921-1307225312.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: 1.95 2.01 1.99 2/593 6795
/proc/meminfo: memFree=19872724/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6795/stat : 6795 (java) R 6793 6795 5603 0 -1 4202496 1103 0 0 0 0 0 0 0 25 0 1 0 834128905 23580672 846 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 47185908166649 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6795/statm: 5744 844 635 9 0 124 0
[pid=6795/tid=6796] ppid=6793 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 6849 0 1 0 0 0 0 0 25 0 2 0 834128906 10694979584 7665 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0600081 s]
/proc/loadavg: 1.95 2.01 1.99 2/593 6795
/proc/meminfo: memFree=19872724/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 11531 0 1 0 3 1 0 0 25 0 13 0 834128905 10718838784 11227 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2616904 11227 1686 9 0 2607652 0
[pid=6795/tid=6796] ppid=6793 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 10384 0 1 0 3 1 0 0 25 0 13 0 834128906 10718838784 11228 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 47185909329895 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.120035 s]
/proc/loadavg: 1.95 2.01 1.99 2/593 6795
/proc/meminfo: memFree=19872724/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10539872 CPUtime=0.12 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 13378 0 1 0 11 1 0 0 25 0 18 0 834128905 10792828928 13041 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2634968 13041 2134 9 0 2625702 0
[pid=6795/tid=6796] ppid=6793 vsize=10539872 CPUtime=0.1 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 11341 0 1 0 9 1 0 0 18 0 18 0 834128906 10792828928 13043 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 47185913830227 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539872
[startup+0.300928 s]
/proc/loadavg: 1.95 2.01 1.99 2/593 6795
/proc/meminfo: memFree=19872724/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10547600 CPUtime=0.51 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 19440 0 1 0 48 3 0 0 25 0 19 0 834128905 10800742400 17224 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2636900 17226 2194 9 0 2627634 0
[pid=6795/tid=6796] ppid=6793 vsize=10547600 CPUtime=0.28 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 12507 0 1 0 26 2 0 0 19 0 19 0 834128906 10800742400 17226 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 47185913830227 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10547600
[startup+0.700856 s]
/proc/loadavg: 1.95 2.01 1.99 2/593 6795
/proc/meminfo: memFree=19872724/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10553084 CPUtime=1.67 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 44385 0 1 0 161 6 0 0 25 0 19 0 834128905 10806358016 37864 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2638271 37866 2226 9 0 2629005 0
[pid=6795/tid=6796] ppid=6793 vsize=10553084 CPUtime=0.67 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 29325 0 1 0 64 3 0 0 19 0 19 0 834128906 10806358016 37867 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 46912505640930 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10553084
[startup+1.50074 s]
/proc/loadavg: 1.95 2.01 1.99 3/612 6814
/proc/meminfo: memFree=19619768/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10552496 CPUtime=2.95 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 126264 0 1 0 279 16 0 0 25 0 19 0 834128905 10805755904 118653 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2638124 118657 2228 9 0 2628858 0
[pid=6795/tid=6796] ppid=6793 vsize=10552496 CPUtime=1.48 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 110161 0 1 0 134 14 0 0 21 0 19 0 834128906 10805755904 118659 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 46912505574736 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6795/tid=6798] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6798/stat : 6798 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118661 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6799] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6799/stat : 6799 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118664 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6800] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6800/stat : 6800 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118666 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6801] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6801/stat : 6801 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118669 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6802] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6802/stat : 6802 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118671 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6803] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6803/stat : 6803 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118673 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6804] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6804/stat : 6804 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118676 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6805] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6805/stat : 6805 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 118678 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6806] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6806/stat : 6806 (java) S 6793 6795 5603 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 834128908 10805755904 118681 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 0 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6807] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6807/stat : 6807 (java) S 6793 6795 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834128909 10805755904 118683 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6808] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6808/stat : 6808 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834128909 10805755904 118686 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6809] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6809/stat : 6809 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 118688 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699498929 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6810] ppid=6793 vsize=10552496 CPUtime=0.76 cores=1,3,5,7
/proc/6795/task/6810/stat : 6810 (java) S 6793 6795 5603 0 -1 4202560 6731 0 0 0 75 1 0 0 16 0 19 0 834128911 10805755904 118691 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6811] ppid=6793 vsize=10552496 CPUtime=0.69 cores=1,3,5,7
/proc/6795/task/6811/stat : 6811 (java) S 6793 6795 5603 0 -1 4202560 8218 0 0 0 69 0 0 0 23 0 19 0 834128911 10805755904 118693 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6812] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6812/stat : 6812 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 118696 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6813] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6813/stat : 6813 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834128911 10805755904 118698 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6814] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6814/stat : 6814 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834128923 10805755904 118701 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 10552496
[startup+3.10145 s]
/proc/loadavg: 1.95 2.01 1.99 3/612 6814
/proc/meminfo: memFree=19139516/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10552496 CPUtime=4.56 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 297041 0 1 0 419 37 0 0 25 0 19 0 834128905 10805755904 289429 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2638124 289433 2228 9 0 2628858 0
[pid=6795/tid=6796] ppid=6793 vsize=10552496 CPUtime=3.07 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 280937 0 1 0 273 34 0 0 25 0 19 0 834128906 10805755904 289435 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 46912505562960 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6795/tid=6798] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6798/stat : 6798 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289438 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6799] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6799/stat : 6799 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289440 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6800] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6800/stat : 6800 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289442 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6801] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6801/stat : 6801 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289445 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6802] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6802/stat : 6802 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289447 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6803] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6803/stat : 6803 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289450 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6804] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6804/stat : 6804 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289452 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6805] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6805/stat : 6805 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 289455 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6806] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6806/stat : 6806 (java) S 6793 6795 5603 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 834128908 10805755904 289457 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 0 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6807] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6807/stat : 6807 (java) S 6793 6795 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834128909 10805755904 289459 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6808] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6808/stat : 6808 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834128909 10805755904 289462 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6809] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6809/stat : 6809 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 289464 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699498929 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6810] ppid=6793 vsize=10552496 CPUtime=0.76 cores=1,3,5,7
/proc/6795/task/6810/stat : 6810 (java) S 6793 6795 5603 0 -1 4202560 6731 0 0 0 75 1 0 0 15 0 19 0 834128911 10805755904 289466 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6811] ppid=6793 vsize=10552496 CPUtime=0.69 cores=1,3,5,7
/proc/6795/task/6811/stat : 6811 (java) S 6793 6795 5603 0 -1 4202560 8218 0 0 0 69 0 0 0 23 0 19 0 834128911 10805755904 289469 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6812] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6812/stat : 6812 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 289472 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6813] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6813/stat : 6813 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834128911 10805755904 289474 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6814] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6814/stat : 6814 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834128923 10805755904 289476 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 10552496
[startup+6.30087 s]
/proc/loadavg: 1.96 2.01 1.99 3/612 6814
/proc/meminfo: memFree=17752928/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10552496 CPUtime=7.78 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 629190 0 1 0 704 74 0 0 25 0 19 0 834128905 10805755904 621577 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2638124 621581 2228 9 0 2628858 0
[pid=6795/tid=6796] ppid=6793 vsize=10552496 CPUtime=6.28 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 613083 0 1 0 556 72 0 0 25 0 19 0 834128906 10805755904 621583 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 46912505562960 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6795/tid=6798] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6798/stat : 6798 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621585 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6799] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6799/stat : 6799 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621586 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6800] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6800/stat : 6800 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621588 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6801] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6801/stat : 6801 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621590 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6802] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6802/stat : 6802 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621592 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6803] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6803/stat : 6803 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621595 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6804] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6804/stat : 6804 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621597 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6805] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6805/stat : 6805 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128907 10805755904 621599 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6806] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6806/stat : 6806 (java) S 6793 6795 5603 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834128908 10805755904 621601 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 0 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6807] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6807/stat : 6807 (java) S 6793 6795 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834128909 10805755904 621603 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6808] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6808/stat : 6808 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834128909 10805755904 621606 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6809] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6809/stat : 6809 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 621608 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699498929 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6810] ppid=6793 vsize=10552496 CPUtime=0.79 cores=1,3,5,7
/proc/6795/task/6810/stat : 6810 (java) S 6793 6795 5603 0 -1 4202560 6734 0 0 0 78 1 0 0 15 0 19 0 834128911 10805755904 621610 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6811] ppid=6793 vsize=10552496 CPUtime=0.69 cores=1,3,5,7
/proc/6795/task/6811/stat : 6811 (java) S 6793 6795 5603 0 -1 4202560 8218 0 0 0 69 0 0 0 18 0 19 0 834128911 10805755904 621613 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=6795/tid=6814] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6814/stat : 6814 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834128923 10805755904 954109 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.69
Current children cumulated vsize (KiB) 10552496
[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/612 6908
/proc/meminfo: memFree=16088044/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10552496 CPUtime=1729.95 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 963385 0 1 0 172877 118 0 0 25 0 19 0 834128905 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2638124 954170 2258 9 0 2628858 0
[pid=6795/tid=6796] ppid=6793 vsize=10552496 CPUtime=1715.19 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 845556 0 1 0 171421 98 0 0 25 0 19 0 834128906 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 46912505538270 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6795/tid=6798] ppid=6793 vsize=10552496 CPUtime=1.16 cores=1,3,5,7
/proc/6795/task/6798/stat : 6798 (java) S 6793 6795 5603 0 -1 4202560 12184 0 0 0 115 1 0 0 16 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6799] ppid=6793 vsize=10552496 CPUtime=1.12 cores=1,3,5,7
/proc/6795/task/6799/stat : 6799 (java) S 6793 6795 5603 0 -1 4202560 9591 0 0 0 110 2 0 0 16 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6800] ppid=6793 vsize=10552496 CPUtime=0.97 cores=1,3,5,7
/proc/6795/task/6800/stat : 6800 (java) S 6793 6795 5603 0 -1 4202560 10251 0 0 0 95 2 0 0 15 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6801] ppid=6793 vsize=10552496 CPUtime=0.94 cores=1,3,5,7
/proc/6795/task/6801/stat : 6801 (java) S 6793 6795 5603 0 -1 4202560 8673 0 0 0 94 0 0 0 16 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6802] ppid=6793 vsize=10552496 CPUtime=1.18 cores=1,3,5,7
/proc/6795/task/6802/stat : 6802 (java) S 6793 6795 5603 0 -1 4202560 10218 0 0 0 117 1 0 0 16 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6803] ppid=6793 vsize=10552496 CPUtime=1.14 cores=1,3,5,7
/proc/6795/task/6803/stat : 6803 (java) S 6793 6795 5603 0 -1 4202560 7791 0 0 0 113 1 0 0 16 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6804] ppid=6793 vsize=10552496 CPUtime=1.27 cores=1,3,5,7
/proc/6795/task/6804/stat : 6804 (java) S 6793 6795 5603 0 -1 4202560 12822 0 0 0 126 1 0 0 16 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6805] ppid=6793 vsize=10552496 CPUtime=1.34 cores=1,3,5,7
/proc/6795/task/6805/stat : 6805 (java) S 6793 6795 5603 0 -1 4202560 14064 0 0 0 133 1 0 0 16 0 19 0 834128907 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6806] ppid=6793 vsize=10552496 CPUtime=3.79 cores=1,3,5,7
/proc/6795/task/6806/stat : 6806 (java) S 6793 6795 5603 0 -1 4202560 15997 0 0 0 376 3 0 0 15 0 19 0 834128908 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 0 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6807] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6807/stat : 6807 (java) S 6793 6795 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834128909 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6808] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6808/stat : 6808 (java) S 6793 6795 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834128909 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6809] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6809/stat : 6809 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699498929 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6810] ppid=6793 vsize=10552496 CPUtime=0.88 cores=1,3,5,7
/proc/6795/task/6810/stat : 6810 (java) S 6793 6795 5603 0 -1 4202560 6749 0 0 0 87 1 0 0 15 0 19 0 834128911 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6811] ppid=6793 vsize=10552496 CPUtime=0.86 cores=1,3,5,7
/proc/6795/task/6811/stat : 6811 (java) S 6793 6795 5603 0 -1 4202560 8240 0 0 0 85 1 0 0 15 0 19 0 834128911 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6812] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6812/stat : 6812 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6813] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6813/stat : 6813 (java) S 6793 6795 5603 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834128911 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6814] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6814/stat : 6814 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834128923 10805755904 954170 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.95
Current children cumulated vsize (KiB) 10552496
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/612 6910
/proc/meminfo: memFree=16073504/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10552496 CPUtime=1790.18 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 963432 0 1 0 178899 119 0 0 25 0 19 0 834128905 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2638124 954206 2258 9 0 2628858 0
[pid=6795/tid=6796] ppid=6793 vsize=10552496 CPUtime=1775.09 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 845561 0 1 0 177411 98 0 0 25 0 19 0 834128906 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 46912505572242 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6795/tid=6798] ppid=6793 vsize=10552496 CPUtime=1.22 cores=1,3,5,7
/proc/6795/task/6798/stat : 6798 (java) S 6793 6795 5603 0 -1 4202560 12200 0 0 0 121 1 0 0 16 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6799] ppid=6793 vsize=10552496 CPUtime=1.17 cores=1,3,5,7
/proc/6795/task/6799/stat : 6799 (java) S 6793 6795 5603 0 -1 4202560 9592 0 0 0 115 2 0 0 15 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6800] ppid=6793 vsize=10552496 CPUtime=1.03 cores=1,3,5,7
/proc/6795/task/6800/stat : 6800 (java) S 6793 6795 5603 0 -1 4202560 10260 0 0 0 101 2 0 0 16 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6801] ppid=6793 vsize=10552496 CPUtime=0.96 cores=1,3,5,7
/proc/6795/task/6801/stat : 6801 (java) S 6793 6795 5603 0 -1 4202560 8673 0 0 0 96 0 0 0 15 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6802] ppid=6793 vsize=10552496 CPUtime=1.21 cores=1,3,5,7
/proc/6795/task/6802/stat : 6802 (java) S 6793 6795 5603 0 -1 4202560 10218 0 0 0 120 1 0 0 16 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6803] ppid=6793 vsize=10552496 CPUtime=1.16 cores=1,3,5,7
/proc/6795/task/6803/stat : 6803 (java) S 6793 6795 5603 0 -1 4202560 7791 0 0 0 115 1 0 0 15 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6804] ppid=6793 vsize=10552496 CPUtime=1.3 cores=1,3,5,7
/proc/6795/task/6804/stat : 6804 (java) S 6793 6795 5603 0 -1 4202560 12823 0 0 0 129 1 0 0 15 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6805] ppid=6793 vsize=10552496 CPUtime=1.37 cores=1,3,5,7
/proc/6795/task/6805/stat : 6805 (java) S 6793 6795 5603 0 -1 4202560 14073 0 0 0 136 1 0 0 16 0 19 0 834128907 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6806] ppid=6793 vsize=10552496 CPUtime=3.79 cores=1,3,5,7
/proc/6795/task/6806/stat : 6806 (java) S 6793 6795 5603 0 -1 4202560 15999 0 0 0 376 3 0 0 15 0 19 0 834128908 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 0 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6807] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6807/stat : 6807 (java) S 6793 6795 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834128909 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6808] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6808/stat : 6808 (java) S 6793 6795 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834128909 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6809] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6809/stat : 6809 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699498929 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6810] ppid=6793 vsize=10552496 CPUtime=0.88 cores=1,3,5,7
/proc/6795/task/6810/stat : 6810 (java) S 6793 6795 5603 0 -1 4202560 6749 0 0 0 87 1 0 0 15 0 19 0 834128911 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6811] ppid=6793 vsize=10552496 CPUtime=0.86 cores=1,3,5,7
/proc/6795/task/6811/stat : 6811 (java) S 6793 6795 5603 0 -1 4202560 8240 0 0 0 85 1 0 0 15 0 19 0 834128911 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6812] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6812/stat : 6812 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6813] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6813/stat : 6813 (java) S 6793 6795 5603 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834128911 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6814] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6814/stat : 6814 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834128923 10805755904 954206 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.18
Current children cumulated vsize (KiB) 10552496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.1 s]
/proc/loadavg: 2.05 2.06 2.01 3/612 6910
/proc/meminfo: memFree=16073256/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=10552496 CPUtime=1800.02 cores=1,3,5,7
/proc/6795/stat : 6795 (java) S 6793 6795 5603 0 -1 4202496 963436 0 1 0 179883 119 0 0 25 0 19 0 834128905 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 2638124 954207 2258 9 0 2628858 0
[pid=6795/tid=6796] ppid=6793 vsize=10552496 CPUtime=1784.9 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4202560 845562 0 1 0 178392 98 0 0 25 0 19 0 834128906 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 46912505574892 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6795/tid=6798] ppid=6793 vsize=10552496 CPUtime=1.22 cores=1,3,5,7
/proc/6795/task/6798/stat : 6798 (java) S 6793 6795 5603 0 -1 4202560 12200 0 0 0 121 1 0 0 15 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6799] ppid=6793 vsize=10552496 CPUtime=1.17 cores=1,3,5,7
/proc/6795/task/6799/stat : 6799 (java) S 6793 6795 5603 0 -1 4202560 9592 0 0 0 115 2 0 0 15 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6800] ppid=6793 vsize=10552496 CPUtime=1.03 cores=1,3,5,7
/proc/6795/task/6800/stat : 6800 (java) S 6793 6795 5603 0 -1 4202560 10260 0 0 0 101 2 0 0 15 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6801] ppid=6793 vsize=10552496 CPUtime=0.96 cores=1,3,5,7
/proc/6795/task/6801/stat : 6801 (java) S 6793 6795 5603 0 -1 4202560 8673 0 0 0 96 0 0 0 15 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6802] ppid=6793 vsize=10552496 CPUtime=1.22 cores=1,3,5,7
/proc/6795/task/6802/stat : 6802 (java) S 6793 6795 5603 0 -1 4202560 10218 0 0 0 121 1 0 0 16 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6803] ppid=6793 vsize=10552496 CPUtime=1.17 cores=1,3,5,7
/proc/6795/task/6803/stat : 6803 (java) S 6793 6795 5603 0 -1 4202560 7791 0 0 0 116 1 0 0 16 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 1 0 0 0
[pid=6795/tid=6804] ppid=6793 vsize=10552496 CPUtime=1.32 cores=1,3,5,7
/proc/6795/task/6804/stat : 6804 (java) S 6793 6795 5603 0 -1 4202560 12823 0 0 0 131 1 0 0 16 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6805] ppid=6793 vsize=10552496 CPUtime=1.38 cores=1,3,5,7
/proc/6795/task/6805/stat : 6805 (java) S 6793 6795 5603 0 -1 4202560 14074 0 0 0 137 1 0 0 16 0 19 0 834128907 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6806] ppid=6793 vsize=10552496 CPUtime=3.79 cores=1,3,5,7
/proc/6795/task/6806/stat : 6806 (java) S 6793 6795 5603 0 -1 4202560 16001 0 0 0 376 3 0 0 15 0 19 0 834128908 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 0 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6807] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6807/stat : 6807 (java) S 6793 6795 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834128909 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6808] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6808/stat : 6808 (java) S 6793 6795 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834128909 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6809] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6809/stat : 6809 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699498929 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6810] ppid=6793 vsize=10552496 CPUtime=0.88 cores=1,3,5,7
/proc/6795/task/6810/stat : 6810 (java) S 6793 6795 5603 0 -1 4202560 6749 0 0 0 87 1 0 0 15 0 19 0 834128911 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 5 0 0 0
[pid=6795/tid=6811] ppid=6793 vsize=10552496 CPUtime=0.86 cores=1,3,5,7
/proc/6795/task/6811/stat : 6811 (java) S 6793 6795 5603 0 -1 4202560 8240 0 0 0 85 1 0 0 15 0 19 0 834128911 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6812] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6812/stat : 6812 (java) S 6793 6795 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834128911 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491225 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
[pid=6795/tid=6813] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6813/stat : 6813 (java) S 6793 6795 5603 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834128911 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 3 0 0 0
[pid=6795/tid=6814] ppid=6793 vsize=10552496 CPUtime=0 cores=1,3,5,7
/proc/6795/task/6814/stat : 6814 (java) S 6793 6795 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834128923 10805755904 954207 33554432000 1073741824 1073778376 140733665680480 18446744073709551615 212699491840 0 4 0 16800975 18446604470736621696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10552496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.23 s]
/proc/loadavg: 2.05 2.06 2.01 3/612 6910
/proc/meminfo: memFree=16073256/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/6795/stat : 6795 (java) Z 6793 6795 5603 0 -1 4203548 963477 0 1 0 179894 125 0 0 17 0 2 0 834128905 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 0 0 0 0 0 0 0
[pid=6795/tid=6796] ppid=6793 vsize=0 CPUtime=1785.01 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4203588 845562 0 1 0 178396 105 0 0 25 0 2 0 834128906 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.19
Current children cumulated vsize (KiB) 0
[startup+1792.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/612 6910
/proc/meminfo: memFree=16073256/32951124 swapFree=58940260/67111528
[pid=6795] ppid=6793 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/6795/stat : 6795 (java) Z 6793 6795 5603 0 -1 4203548 963477 0 1 0 179894 132 0 0 17 0 2 0 834128905 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6795/statm: 0 0 0 0 0 0 0
[pid=6795/tid=6796] ppid=6793 vsize=0 CPUtime=1785.08 cores=1,3,5,7
/proc/6795/task/6796/stat : 6796 (java) R 6793 6795 5603 0 -1 4203588 845562 0 1 0 178396 112 0 0 25 0 2 0 834128906 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.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.32
CPU time (s): 1800.29
CPU user time (s): 1798.95
CPU system time (s): 1.3458
CPU usage (%): 100.445
Max. virtual memory (cumulated for all children) (KiB): 10557040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.34579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 963477
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= 41554
involuntary context switches= 12289
runsolver used 10.4214 second user time and 25.4581 second system time
The end