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-3455852-1307228006/watcher-3455852-1307228006 -o /tmp/evaluation-result-3455852-1307228006/solver-3455852-1307228006 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455852-1307228006.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.14 2.09 2.02 3/553 26048
/proc/meminfo: memFree=21262540/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/26048/stat : 26048 (java) R 26046 26048 24457 0 -1 4202496 955 0 0 0 0 0 0 0 25 0 1 0 815216920 23580672 699 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212034692584 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26048/statm: 5757 700 516 9 0 124 0
[pid=26048/tid=26049] ppid=26046 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 455 0 1 0 0 0 0 0 25 0 2 0 815216922 10681323520 1271 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.118791 s]
/proc/loadavg: 2.14 2.09 2.02 3/553 26048
/proc/meminfo: memFree=21262540/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10540120 CPUtime=0.12 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 13230 0 1 0 10 2 0 0 25 0 18 0 815216920 10793082880 12883 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2635030 12883 2115 9 0 2625764 0
[pid=26048/tid=26049] ppid=26046 vsize=10540120 CPUtime=0.09 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 11236 0 1 0 8 1 0 0 25 0 18 0 815216922 10793082880 12883 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540120
[startup+0.200776 s]
/proc/loadavg: 2.14 2.09 2.02 3/553 26048
/proc/meminfo: memFree=21262540/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10540780 CPUtime=0.24 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 13967 0 1 0 22 2 0 0 25 0 18 0 815216920 10793758720 13620 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2635195 13620 2168 9 0 2625929 0
[pid=26048/tid=26049] ppid=26046 vsize=10540780 CPUtime=0.17 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 11797 0 1 0 16 1 0 0 25 0 18 0 815216922 10793758720 13620 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540780
[startup+0.300759 s]
/proc/loadavg: 2.14 2.09 2.02 3/553 26048
/proc/meminfo: memFree=21262540/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10542416 CPUtime=0.44 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 15475 0 1 0 42 2 0 0 25 0 18 0 815216920 10795433984 15016 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2635604 15016 2207 9 0 2626338 0
[pid=26048/tid=26049] ppid=26046 vsize=10542416 CPUtime=0.28 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 12692 0 1 0 26 2 0 0 25 0 18 0 815216922 10795433984 15016 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505122656 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542416
[startup+0.700688 s]
/proc/loadavg: 2.14 2.09 2.02 3/553 26048
/proc/meminfo: memFree=21262540/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10555520 CPUtime=1.5 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 27810 0 1 0 147 3 0 0 25 0 19 0 815216920 10808852480 24641 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2638880 24641 2231 9 0 2629614 0
[pid=26048/tid=26049] ppid=26046 vsize=10555520 CPUtime=0.67 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 17789 0 1 0 65 2 0 0 25 0 19 0 815216922 10808852480 24641 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505864322 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10555520
[startup+1.50158 s]
/proc/loadavg: 2.14 2.09 2.02 4/572 26067
/proc/meminfo: memFree=21150300/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10555520 CPUtime=2.68 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 46280 0 1 0 263 5 0 0 25 0 19 0 815216920 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2638880 40073 2235 9 0 2629614 0
[pid=26048/tid=26049] ppid=26046 vsize=10555520 CPUtime=1.47 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 33139 0 1 0 143 4 0 0 25 0 19 0 815216922 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505839350 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815216924 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 0 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815216925 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216925 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051478961 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=10555520 CPUtime=0.65 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 24457 0 -1 4202560 6866 0 0 0 65 0 0 0 15 0 19 0 815216927 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=10555520 CPUtime=0.53 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 24457 0 -1 4202560 5115 0 0 0 53 0 0 0 15 0 19 0 815216927 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 1 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815216927 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216974 10808852480 40073 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10555520
[startup+3.10129 s]
/proc/loadavg: 2.14 2.09 2.02 3/572 26067
/proc/meminfo: memFree=21080488/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10555520 CPUtime=4.37 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 61592 0 1 0 429 8 0 0 25 0 19 0 815216920 10808852480 55038 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2638880 55039 2236 9 0 2629614 0
[pid=26048/tid=26049] ppid=26046 vsize=10555520 CPUtime=3.07 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 48098 0 1 0 301 6 0 0 25 0 19 0 815216922 10808852480 55039 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505839336 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55039 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55040 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55040 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55040 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55041 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55041 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55041 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10808852480 55041 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815216924 10808852480 55041 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 0 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815216925 10808852480 55041 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216925 10808852480 55041 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10808852480 55042 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051478961 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=10555520 CPUtime=0.69 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 24457 0 -1 4202560 7217 0 0 0 69 0 0 0 15 0 19 0 815216927 10808852480 55042 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=10555520 CPUtime=0.57 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 24457 0 -1 4202560 5118 0 0 0 57 0 0 0 15 0 19 0 815216927 10808852480 55042 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 1 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10808852480 55043 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815216927 10808852480 55043 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216974 10808852480 55044 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10555520
[startup+6.30072 s]
/proc/loadavg: 2.13 2.09 2.02 3/572 26067
/proc/meminfo: memFree=20903224/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10552516 CPUtime=7.63 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 116649 0 1 0 749 14 0 0 25 0 19 0 815216920 10805776384 109084 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2638129 109085 2238 9 0 2628863 0
[pid=26048/tid=26049] ppid=26046 vsize=10552516 CPUtime=6.27 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 102846 0 1 0 614 13 0 0 25 0 19 0 815216922 10805776384 109086 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505928544 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109087 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109087 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109088 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109088 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109089 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109089 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109090 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 109090 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815216924 10805776384 109091 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 0 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 109091 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 109092 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 109092 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051478961 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=10552516 CPUtime=0.76 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 24457 0 -1 4202560 7526 0 0 0 76 0 0 0 15 0 19 0 815216927 10805776384 109093 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=10552516 CPUtime=0.57 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 24457 0 -1 4202560 5118 0 0 0 57 0 0 0 15 0 19 0 815216927 10805776384 109093 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=26048/tid=26058] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 275803 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815216924 10805776384 275803 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 0 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 275804 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 275805 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 275805 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051478961 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=10552516 CPUtime=0.81 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 24457 0 -1 4202560 7540 0 0 0 81 0 0 0 15 0 19 0 815216927 10805776384 275806 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=10552516 CPUtime=0.58 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 24457 0 -1 4202560 5118 0 0 0 58 0 0 0 15 0 19 0 815216927 10805776384 275806 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 1 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 275807 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 24457 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 815216927 10805776384 275807 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216974 10805776384 275808 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.09
Current children cumulated vsize (KiB) 10552516
Solver just ended. Dumping a history of the last processes samples
[startup+12.8016 s]
/proc/loadavg: 2.12 2.08 2.02 3/572 26067
/proc/meminfo: memFree=20213172/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10552516 CPUtime=14.19 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 285411 0 1 0 1386 33 0 0 25 0 19 0 815216920 10805776384 277846 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2638129 277847 2239 9 0 2628863 0
[pid=26048/tid=26049] ppid=26046 vsize=10552516 CPUtime=12.77 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 271593 0 1 0 1245 32 0 0 25 0 19 0 815216922 10805776384 277847 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505839629 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277847 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277848 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277848 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277849 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277849 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277850 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277851 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 277852 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815216924 10805776384 277852 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 0 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 277852 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 277852 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 277853 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051478961 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=10552516 CPUtime=0.81 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 24457 0 -1 4202560 7540 0 0 0 81 0 0 0 15 0 19 0 815216927 10805776384 277853 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=10552516 CPUtime=0.58 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 24457 0 -1 4202560 5118 0 0 0 58 0 0 0 15 0 19 0 815216927 10805776384 277853 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 1 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 277854 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 24457 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 815216927 10805776384 277854 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216974 10805776384 277854 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.19
Current children cumulated vsize (KiB) 10552516
[startup+13.6014 s]
/proc/loadavg: 2.11 2.08 2.01 3/572 26067
/proc/meminfo: memFree=20117444/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10552516 CPUtime=14.99 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 302104 0 1 0 1464 35 0 0 25 0 19 0 815216920 10805776384 294539 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2638129 294540 2239 9 0 2628863 0
[pid=26048/tid=26049] ppid=26046 vsize=10552516 CPUtime=13.57 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 288286 0 1 0 1324 33 0 0 25 0 19 0 815216922 10805776384 294540 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505839618 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294541 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294541 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294541 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294541 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294542 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294543 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294543 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 294544 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815216924 10805776384 294544 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 0 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 294544 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 294545 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 294545 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051478961 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=10552516 CPUtime=0.81 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 24457 0 -1 4202560 7540 0 0 0 81 0 0 0 15 0 19 0 815216927 10805776384 294545 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=10552516 CPUtime=0.58 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 24457 0 -1 4202560 5118 0 0 0 58 0 0 0 15 0 19 0 815216927 10805776384 294546 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 1 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 294547 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 24457 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 815216927 10805776384 294547 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216974 10805776384 294548 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.99
Current children cumulated vsize (KiB) 10552516
[startup+14.4203 s]
/proc/loadavg: 2.11 2.08 2.01 3/572 26067
/proc/meminfo: memFree=20026552/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=10552516 CPUtime=15.8 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 24457 0 -1 4202496 318931 0 1 0 1543 37 0 0 25 0 19 0 815216920 10805776384 311366 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 2638129 311367 2239 9 0 2628863 0
[pid=26048/tid=26049] ppid=26046 vsize=10552516 CPUtime=14.39 cores=1,3,5,7
/proc/26048/task/26049/stat : 26049 (java) R 26046 26048 24457 0 -1 4202560 305114 0 1 0 1403 36 0 0 25 0 19 0 815216922 10805776384 311368 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 46912505928521 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311368 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311369 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311370 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311370 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311371 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311371 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311372 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216923 10805776384 311373 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815216924 10805776384 311373 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 0 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 311374 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216925 10805776384 311374 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 311375 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051478961 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=10552516 CPUtime=0.81 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 24457 0 -1 4202560 7540 0 0 0 81 0 0 0 15 0 19 0 815216927 10805776384 311375 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 5 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=10552516 CPUtime=0.58 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 24457 0 -1 4202560 5118 0 0 0 58 0 0 0 15 0 19 0 815216927 10805776384 311376 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 1 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815216927 10805776384 311376 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471257 0 4 0 16800975 18446604454364392512 0 0 -1 7 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 24457 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 815216927 10805776384 311377 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=10552516 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815216974 10805776384 311377 33554432000 1073741824 1073778376 140734334285104 18446744073709551615 212051471872 0 4 0 16800975 18446604454364392512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.8
Current children cumulated vsize (KiB) 10552516
[startup+14.8012 s]
/proc/loadavg: 2.11 2.08 2.01 3/572 26067
/proc/meminfo: memFree=20026552/32951124 swapFree=46970528/67111528
[pid=26048] ppid=26046 vsize=0 CPUtime=16.19 cores=1,3,5,7
/proc/26048/stat : 26048 (java) Z 26046 26048 24457 0 -1 4203548 326756 0 1 0 1579 40 0 0 18 0 2 0 815216920 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26048/statm: 0 0 0 0 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=0 CPUtime=0.02 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) R 26046 26048 24457 0 -1 4203588 1 0 0 0 0 2 0 0 18 0 2 0 815216923 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.19
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 14.8283
CPU time (s): 16.2325
CPU user time (s): 15.7986
CPU system time (s): 0.433934
CPU usage (%): 109.47
Max. virtual memory (cumulated for all children) (KiB): 10555520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.7986
system time used= 0.433934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326756
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= 601
involuntary context switches= 379
runsolver used 0.080987 second user time and 0.19097 second system time
The end