0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.19/0.23 c #variables 945 #constraints 58245
0.19/0.23 c objective is ce32
0.28/0.35 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.28/0.35 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.28/0.35 c GLOBAL bounds - >= -945 @ 0.219972
0.28/0.35 c GLOBAL bounds - >= -945 @ 0.220983
0.28/0.35 c GLOBAL bounds - >= -945 @ 0.221949
0.28/0.35 c GLOBAL bounds - >= -945 @ 0.222752
0.28/0.36 c GLOBAL bounds - >= -945 @ 0.230163
0.28/0.36 c GLOBAL bounds - >= -945 @ 0.236649
0.28/0.36 c GLOBAL bounds - >= -945 @ 0.236894
0.28/0.37 c GLOBAL bounds - >= -945 @ 0.237065
0.28/0.37 c GLOBAL bounds - >= -945 @ 0.239638
0.28/0.37 c GLOBAL bounds - >= -945 @ 0.240935
0.28/0.37 c GLOBAL bounds - >= -945 @ 0.241546
0.28/0.37 c GLOBAL bounds - >= -945 @ 0.241892
0.28/0.37 c GLOBAL bounds - >= -945 @ 0.242776
0.28/0.39 c GLOBAL bounds - >= -945 @ 0.259715
0.28/0.39 c GLOBAL bounds - >= -945 @ 0.260213
0.28/0.40 c GLOBAL bounds - >= -945 @ 0.264792
0.28/0.40 c GLOBAL bounds - >= -945 @ 0.266778
0.28/0.40 c GLOBAL bounds - >= -945 @ 0.269082
0.38/0.41 c GLOBAL bounds - >= -945 @ 0.276547
0.38/0.41 c GLOBAL bounds - >= -945 @ 0.280804
0.38/0.41 c GLOBAL bounds - >= -945 @ 0.281436
0.38/0.41 c GLOBAL bounds - >= -945 @ 0.282452
0.38/0.41 c GLOBAL bounds - >= -945 @ 0.282918
0.38/0.42 c GLOBAL bounds - >= -945 @ 0.288371
0.38/0.42 c GLOBAL bounds - >= -945 @ 0.288736
0.38/0.42 c GLOBAL bounds - >= -945 @ 0.290455
0.38/0.42 c GLOBAL bounds - >= -945 @ 0.291484
0.38/0.42 c GLOBAL bounds - >= -945 @ 0.292416
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.293358
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.293855
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.294826
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.295343
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.295736
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.296099
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.296976
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.297633
0.38/0.43 c GLOBAL bounds - >= -945 @ 0.300368
0.38/0.45 c GLOBAL bounds - >= -945 @ 0.316843
187.86/188.40 c #Conflicts: 1000 | #Constraints: 59317
187.86/188.40 c #Conflicts: 2000 | #Constraints: 60317
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 3000 | #Constraints: 60322
187.86/188.40 c #Conflicts: 4000 | #Constraints: 61322
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 5000 | #Constraints: 60726
187.86/188.40 c #Conflicts: 6000 | #Constraints: 61726
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 7000 | #Constraints: 60728
187.86/188.40 c #Conflicts: 8000 | #Constraints: 61728
187.86/188.40 c #Conflicts: 9000 | #Constraints: 62728
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 10000 | #Constraints: 61431
187.86/188.40 c #Conflicts: 11000 | #Constraints: 62431
187.86/188.40 c #Conflicts: 12000 | #Constraints: 63431
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 13000 | #Constraints: 61882
187.86/188.40 c #Conflicts: 14000 | #Constraints: 62882
187.86/188.40 c #Conflicts: 15000 | #Constraints: 63882
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 16000 | #Constraints: 62106
187.86/188.40 c #Conflicts: 17000 | #Constraints: 63106
187.86/188.40 c #Conflicts: 18000 | #Constraints: 64106
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 19000 | #Constraints: 62117
187.86/188.40 c #Conflicts: 20000 | #Constraints: 63117
187.86/188.40 c #Conflicts: 21000 | #Constraints: 64117
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 22000 | #Constraints: 61925
187.86/188.40 c #Conflicts: 23000 | #Constraints: 62925
187.86/188.40 c #Conflicts: 24000 | #Constraints: 63925
187.86/188.40 c #Conflicts: 25000 | #Constraints: 64925
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 26000 | #Constraints: 62529
187.86/188.40 c #Conflicts: 27000 | #Constraints: 63529
187.86/188.40 c #Conflicts: 28000 | #Constraints: 64529
187.86/188.40 c #Conflicts: 29000 | #Constraints: 65529
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 30000 | #Constraints: 62928
187.86/188.40 c #Conflicts: 31000 | #Constraints: 63928
187.86/188.40 c #Conflicts: 32000 | #Constraints: 64928
187.86/188.40 c #Conflicts: 33000 | #Constraints: 65928
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 34000 | #Constraints: 63130
187.86/188.40 c #Conflicts: 35000 | #Constraints: 64130
187.86/188.40 c #Conflicts: 36000 | #Constraints: 65130
187.86/188.40 c #Conflicts: 37000 | #Constraints: 66130
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 38000 | #Constraints: 63132
187.86/188.40 c #Conflicts: 39000 | #Constraints: 64132
187.86/188.40 c #Conflicts: 40000 | #Constraints: 65132
187.86/188.40 c #Conflicts: 41000 | #Constraints: 66132
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 42000 | #Constraints: 62931
187.86/188.40 c #Conflicts: 43000 | #Constraints: 63931
187.86/188.40 c #Conflicts: 44000 | #Constraints: 64931
187.86/188.40 c #Conflicts: 45000 | #Constraints: 65931
187.86/188.40 c #Conflicts: 46000 | #Constraints: 66931
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 47000 | #Constraints: 63532
187.86/188.40 c #Conflicts: 48000 | #Constraints: 64532
187.86/188.40 c #Conflicts: 49000 | #Constraints: 65532
187.86/188.40 c #Conflicts: 50000 | #Constraints: 66532
187.86/188.40 c #Conflicts: 51000 | #Constraints: 67532
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 52000 | #Constraints: 63931
187.86/188.40 c #Conflicts: 53000 | #Constraints: 64931
187.86/188.40 c #Conflicts: 54000 | #Constraints: 65931
187.86/188.40 c #Conflicts: 55000 | #Constraints: 66931
187.86/188.40 c #Conflicts: 56000 | #Constraints: 67931
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 57000 | #Constraints: 64132
187.86/188.40 c #Conflicts: 58000 | #Constraints: 65132
187.86/188.40 c #Conflicts: 59000 | #Constraints: 66132
187.86/188.40 c #Conflicts: 60000 | #Constraints: 67132
187.86/188.40 c #Conflicts: 61000 | #Constraints: 68132
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 62000 | #Constraints: 64132
187.86/188.40 c #Conflicts: 63000 | #Constraints: 65132
187.86/188.40 c #Conflicts: 64000 | #Constraints: 66132
187.86/188.40 c #Conflicts: 65000 | #Constraints: 67132
187.86/188.40 c #Conflicts: 66000 | #Constraints: 68132
187.86/188.40 c INPROCESSING
187.86/188.40 c GARBAGE COLLECT
187.86/188.40 c #Conflicts: 67000 | #Constraints: 63930
187.86/188.40 c #Conflicts: 68000 | #Constraints: 64930
509.94/511.49 c #Conflicts: 69000 | #Constraints: 65930
509.94/511.49 c #Conflicts: 70000 | #Constraints: 66930
509.94/511.49 c #Conflicts: 71000 | #Constraints: 67930
509.94/511.49 c #Conflicts: 72000 | #Constraints: 68930
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 73000 | #Constraints: 64532
509.94/511.49 c #Conflicts: 74000 | #Constraints: 65532
509.94/511.49 c #Conflicts: 75000 | #Constraints: 66532
509.94/511.49 c #Conflicts: 76000 | #Constraints: 67532
509.94/511.49 c #Conflicts: 77000 | #Constraints: 68532
509.94/511.49 c #Conflicts: 78000 | #Constraints: 69532
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 79000 | #Constraints: 64931
509.94/511.49 c #Conflicts: 80000 | #Constraints: 65931
509.94/511.49 c #Conflicts: 81000 | #Constraints: 66931
509.94/511.49 c #Conflicts: 82000 | #Constraints: 67931
509.94/511.49 c #Conflicts: 83000 | #Constraints: 68931
509.94/511.49 c #Conflicts: 84000 | #Constraints: 69931
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 85000 | #Constraints: 65130
509.94/511.49 c #Conflicts: 86000 | #Constraints: 66130
509.94/511.49 c #Conflicts: 87000 | #Constraints: 67130
509.94/511.49 c #Conflicts: 88000 | #Constraints: 68130
509.94/511.49 c #Conflicts: 89000 | #Constraints: 69130
509.94/511.49 c #Conflicts: 90000 | #Constraints: 70130
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 91000 | #Constraints: 65131
509.94/511.49 c #Conflicts: 92000 | #Constraints: 66131
509.94/511.49 c #Conflicts: 93000 | #Constraints: 67131
509.94/511.49 c #Conflicts: 94000 | #Constraints: 68131
509.94/511.49 c #Conflicts: 95000 | #Constraints: 69131
509.94/511.49 c #Conflicts: 96000 | #Constraints: 70131
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 97000 | #Constraints: 64935
509.94/511.49 c #Conflicts: 98000 | #Constraints: 65935
509.94/511.49 c #Conflicts: 99000 | #Constraints: 66935
509.94/511.49 c #Conflicts: 100000 | #Constraints: 67935
509.94/511.49 c #Conflicts: 101000 | #Constraints: 68935
509.94/511.49 c #Conflicts: 102000 | #Constraints: 69935
509.94/511.49 c #Conflicts: 103000 | #Constraints: 70935
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 104000 | #Constraints: 65536
509.94/511.49 c #Conflicts: 105000 | #Constraints: 66536
509.94/511.49 c #Conflicts: 106000 | #Constraints: 67536
509.94/511.49 c #Conflicts: 107000 | #Constraints: 68536
509.94/511.49 c #Conflicts: 108000 | #Constraints: 69536
509.94/511.49 c #Conflicts: 109000 | #Constraints: 70536
509.94/511.49 c #Conflicts: 110000 | #Constraints: 71536
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 111000 | #Constraints: 65933
509.94/511.49 c #Conflicts: 112000 | #Constraints: 66933
509.94/511.49 c #Conflicts: 113000 | #Constraints: 67933
509.94/511.49 c #Conflicts: 114000 | #Constraints: 68933
509.94/511.49 c #Conflicts: 115000 | #Constraints: 69933
509.94/511.49 c #Conflicts: 116000 | #Constraints: 70933
509.94/511.49 c #Conflicts: 117000 | #Constraints: 71933
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 118000 | #Constraints: 66133
509.94/511.49 c #Conflicts: 119000 | #Constraints: 67133
509.94/511.49 c #Conflicts: 120000 | #Constraints: 68133
509.94/511.49 c #Conflicts: 121000 | #Constraints: 69133
509.94/511.49 c #Conflicts: 122000 | #Constraints: 70133
509.94/511.49 c #Conflicts: 123000 | #Constraints: 71133
509.94/511.49 c #Conflicts: 124000 | #Constraints: 72133
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 125000 | #Constraints: 66133
509.94/511.49 c #Conflicts: 126000 | #Constraints: 67133
509.94/511.49 c #Conflicts: 127000 | #Constraints: 68133
509.94/511.49 c #Conflicts: 128000 | #Constraints: 69133
509.94/511.49 c #Conflicts: 129000 | #Constraints: 70133
509.94/511.49 c #Conflicts: 130000 | #Constraints: 71133
509.94/511.49 c #Conflicts: 131000 | #Constraints: 72133
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 132000 | #Constraints: 65934
509.94/511.49 c #Conflicts: 133000 | #Constraints: 66934
509.94/511.49 c #Conflicts: 134000 | #Constraints: 67934
509.94/511.49 c #Conflicts: 135000 | #Constraints: 68934
509.94/511.49 c #Conflicts: 136000 | #Constraints: 69934
509.94/511.49 c #Conflicts: 137000 | #Constraints: 70934
509.94/511.49 c #Conflicts: 138000 | #Constraints: 71934
509.94/511.49 c #Conflicts: 139000 | #Constraints: 72934
509.94/511.49 c INPROCESSING
509.94/511.49 c GARBAGE COLLECT
509.94/511.49 c #Conflicts: 140000 | #Constraints: 66530
932.50/935.27 c #Conflicts: 141000 | #Constraints: 67530
932.50/935.27 c #Conflicts: 142000 | #Constraints: 68530
932.50/935.27 c #Conflicts: 143000 | #Constraints: 69530
932.50/935.27 c #Conflicts: 144000 | #Constraints: 70530
932.50/935.27 c #Conflicts: 145000 | #Constraints: 71530
932.50/935.27 c #Conflicts: 146000 | #Constraints: 72530
932.50/935.27 c #Conflicts: 147000 | #Constraints: 73530
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 148000 | #Constraints: 66934
932.50/935.27 c #Conflicts: 149000 | #Constraints: 67934
932.50/935.27 c #Conflicts: 150000 | #Constraints: 68934
932.50/935.27 c #Conflicts: 151000 | #Constraints: 69934
932.50/935.27 c #Conflicts: 152000 | #Constraints: 70934
932.50/935.27 c #Conflicts: 153000 | #Constraints: 71934
932.50/935.27 c #Conflicts: 154000 | #Constraints: 72934
932.50/935.27 c #Conflicts: 155000 | #Constraints: 73934
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 156000 | #Constraints: 67132
932.50/935.27 c #Conflicts: 157000 | #Constraints: 68132
932.50/935.27 c #Conflicts: 158000 | #Constraints: 69132
932.50/935.27 c #Conflicts: 159000 | #Constraints: 70132
932.50/935.27 c #Conflicts: 160000 | #Constraints: 71132
932.50/935.27 c #Conflicts: 161000 | #Constraints: 72132
932.50/935.27 c #Conflicts: 162000 | #Constraints: 73132
932.50/935.27 c #Conflicts: 163000 | #Constraints: 74132
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 164000 | #Constraints: 67130
932.50/935.27 c #Conflicts: 165000 | #Constraints: 68130
932.50/935.27 c #Conflicts: 166000 | #Constraints: 69130
932.50/935.27 c #Conflicts: 167000 | #Constraints: 70130
932.50/935.27 c #Conflicts: 168000 | #Constraints: 71130
932.50/935.27 c #Conflicts: 169000 | #Constraints: 72130
932.50/935.27 c #Conflicts: 170000 | #Constraints: 73130
932.50/935.27 c #Conflicts: 171000 | #Constraints: 74130
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 172000 | #Constraints: 66932
932.50/935.27 c #Conflicts: 173000 | #Constraints: 67932
932.50/935.27 c #Conflicts: 174000 | #Constraints: 68932
932.50/935.27 c #Conflicts: 175000 | #Constraints: 69932
932.50/935.27 c #Conflicts: 176000 | #Constraints: 70932
932.50/935.27 c #Conflicts: 177000 | #Constraints: 71932
932.50/935.27 c #Conflicts: 178000 | #Constraints: 72932
932.50/935.27 c #Conflicts: 179000 | #Constraints: 73932
932.50/935.27 c #Conflicts: 180000 | #Constraints: 74932
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 181000 | #Constraints: 67534
932.50/935.27 c #Conflicts: 182000 | #Constraints: 68534
932.50/935.27 c #Conflicts: 183000 | #Constraints: 69534
932.50/935.27 c #Conflicts: 184000 | #Constraints: 70534
932.50/935.27 c #Conflicts: 185000 | #Constraints: 71534
932.50/935.27 c #Conflicts: 186000 | #Constraints: 72534
932.50/935.27 c #Conflicts: 187000 | #Constraints: 73534
932.50/935.27 c #Conflicts: 188000 | #Constraints: 74534
932.50/935.27 c #Conflicts: 189000 | #Constraints: 75534
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 190000 | #Constraints: 67932
932.50/935.27 c #Conflicts: 191000 | #Constraints: 68932
932.50/935.27 c #Conflicts: 192000 | #Constraints: 69932
932.50/935.27 c #Conflicts: 193000 | #Constraints: 70932
932.50/935.27 c #Conflicts: 194000 | #Constraints: 71932
932.50/935.27 c #Conflicts: 195000 | #Constraints: 72932
932.50/935.27 c #Conflicts: 196000 | #Constraints: 73932
932.50/935.27 c #Conflicts: 197000 | #Constraints: 74932
932.50/935.27 c #Conflicts: 198000 | #Constraints: 75932
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 199000 | #Constraints: 68133
932.50/935.27 c #Conflicts: 200000 | #Constraints: 69133
932.50/935.27 c #Conflicts: 201000 | #Constraints: 70133
932.50/935.27 c #Conflicts: 202000 | #Constraints: 71133
932.50/935.27 c #Conflicts: 203000 | #Constraints: 72133
932.50/935.27 c #Conflicts: 204000 | #Constraints: 73133
932.50/935.27 c #Conflicts: 205000 | #Constraints: 74133
932.50/935.27 c #Conflicts: 206000 | #Constraints: 75133
932.50/935.27 c #Conflicts: 207000 | #Constraints: 76133
932.50/935.27 c INPROCESSING
932.50/935.27 c GARBAGE COLLECT
932.50/935.27 c #Conflicts: 208000 | #Constraints: 68135
932.50/935.27 c #Conflicts: 209000 | #Constraints: 69135
932.50/935.27 c #Conflicts: 210000 | #Constraints: 70135
932.50/935.27 c #Conflicts: 211000 | #Constraints: 71135
932.50/935.27 c #Conflicts: 212000 | #Constraints: 72135
932.50/935.27 c #Conflicts: 213000 | #Constraints: 73135
1435.41/1439.54 c #Conflicts: 214000 | #Constraints: 74135
1435.41/1439.54 c #Conflicts: 215000 | #Constraints: 75135
1435.41/1439.54 c #Conflicts: 216000 | #Constraints: 76135
1435.41/1439.54 c INPROCESSING
1435.41/1439.54 c GARBAGE COLLECT
1435.41/1439.54 c #Conflicts: 217000 | #Constraints: 67933
1435.41/1439.54 c #Conflicts: 218000 | #Constraints: 68933
1435.41/1439.54 c #Conflicts: 219000 | #Constraints: 69933
1435.41/1439.54 c #Conflicts: 220000 | #Constraints: 70933
1435.41/1439.54 c #Conflicts: 221000 | #Constraints: 71933
1435.41/1439.54 c #Conflicts: 222000 | #Constraints: 72933
1435.41/1439.54 c #Conflicts: 223000 | #Constraints: 73933
1435.41/1439.54 c #Conflicts: 224000 | #Constraints: 74933
1435.41/1439.54 c #Conflicts: 225000 | #Constraints: 75933
1435.41/1439.54 c #Conflicts: 226000 | #Constraints: 76933
1435.41/1439.54 c INPROCESSING
1435.41/1439.54 c GARBAGE COLLECT
1435.41/1439.54 c #Conflicts: 227000 | #Constraints: 68534
1435.41/1439.54 c #Conflicts: 228000 | #Constraints: 69534
1435.41/1439.54 c #Conflicts: 229000 | #Constraints: 70534
1435.41/1439.54 c #Conflicts: 230000 | #Constraints: 71534
1435.41/1439.54 c #Conflicts: 231000 | #Constraints: 72534
1435.41/1439.54 c #Conflicts: 232000 | #Constraints: 73534
1435.41/1439.54 c #Conflicts: 233000 | #Constraints: 74534
1435.41/1439.54 c #Conflicts: 234000 | #Constraints: 75534
1435.41/1439.54 c #Conflicts: 235000 | #Constraints: 76534
1435.41/1439.54 c #Conflicts: 236000 | #Constraints: 77534
1435.41/1439.54 c INPROCESSING
1435.41/1439.54 c GARBAGE COLLECT
1435.41/1439.54 c #Conflicts: 237000 | #Constraints: 68935
1435.41/1439.54 c #Conflicts: 238000 | #Constraints: 69935
1435.41/1439.54 c #Conflicts: 239000 | #Constraints: 70935
1435.41/1439.54 c #Conflicts: 240000 | #Constraints: 71935
1435.41/1439.54 c #Conflicts: 241000 | #Constraints: 72935
1435.41/1439.54 c #Conflicts: 242000 | #Constraints: 73935
1435.41/1439.54 c #Conflicts: 243000 | #Constraints: 74935
1435.41/1439.54 c #Conflicts: 244000 | #Constraints: 75935
1435.41/1439.54 c #Conflicts: 245000 | #Constraints: 76935
1435.41/1439.54 c #Conflicts: 246000 | #Constraints: 77935
1435.41/1439.54 c INPROCESSING
1435.41/1439.54 c GARBAGE COLLECT
1435.41/1439.54 c #Conflicts: 247000 | #Constraints: 69137
1435.41/1439.54 c #Conflicts: 248000 | #Constraints: 70137
1435.41/1439.54 c #Conflicts: 249000 | #Constraints: 71137
1435.41/1439.54 c #Conflicts: 250000 | #Constraints: 72137
1435.41/1439.54 c #Conflicts: 251000 | #Constraints: 73137
1435.41/1439.54 c #Conflicts: 252000 | #Constraints: 74137
1435.41/1439.54 c #Conflicts: 253000 | #Constraints: 75137
1435.41/1439.54 c #Conflicts: 254000 | #Constraints: 76137
1435.41/1439.54 c #Conflicts: 255000 | #Constraints: 77137
1435.41/1439.54 c #Conflicts: 256000 | #Constraints: 78137
1435.41/1439.54 c INPROCESSING
1435.41/1439.54 c GARBAGE COLLECT
1435.41/1439.54 c #Conflicts: 257000 | #Constraints: 69135
1435.41/1439.54 c #Conflicts: 258000 | #Constraints: 70135
1435.41/1439.54 c #Conflicts: 259000 | #Constraints: 71135
1435.41/1439.54 c #Conflicts: 260000 | #Constraints: 72135
1435.41/1439.54 c #Conflicts: 261000 | #Constraints: 73135
1435.41/1439.54 c #Conflicts: 262000 | #Constraints: 74135
1435.41/1439.54 c #Conflicts: 263000 | #Constraints: 75135
1435.41/1439.54 c #Conflicts: 264000 | #Constraints: 76135
1435.41/1439.54 c #Conflicts: 265000 | #Constraints: 77135
1435.41/1439.54 c #Conflicts: 266000 | #Constraints: 78135
1435.41/1439.54 c INPROCESSING
1435.41/1439.54 c GARBAGE COLLECT
1435.41/1439.54 c #Conflicts: 267000 | #Constraints: 68932
1435.41/1439.54 c #Conflicts: 268000 | #Constraints: 69932
1435.41/1439.54 c #Conflicts: 269000 | #Constraints: 70932
1435.41/1439.54 c #Conflicts: 270000 | #Constraints: 71932
1435.41/1439.54 c #Conflicts: 271000 | #Constraints: 72932
1435.41/1439.54 c #Conflicts: 272000 | #Constraints: 73932
1435.41/1439.54 c #Conflicts: 273000 | #Constraints: 74932
1435.41/1439.54 c #Conflicts: 274000 | #Constraints: 75932
1435.41/1439.54 c #Conflicts: 275000 | #Constraints: 76932
1435.41/1439.54 c #Conflicts: 276000 | #Constraints: 77932
1435.41/1439.54 c #Conflicts: 277000 | #Constraints: 78932
1435.41/1439.54 c INPROCESSING
1435.41/1439.54 c GARBAGE COLLECT
1435.41/1439.54 c #Conflicts: 278000 | #Constraints: 69533
1435.41/1439.54 c #Conflicts: 279000 | #Constraints: 70533
1435.41/1439.54 c #Conflicts: 280000 | #Constraints: 71533
1435.41/1439.54 c #Conflicts: 281000 | #Constraints: 72533
1435.41/1439.54 c #Conflicts: 282000 | #Constraints: 73533
1435.41/1439.54 c #Conflicts: 283000 | #Constraints: 74533
1435.41/1439.54 c #Conflicts: 284000 | #Constraints: 75533
1435.41/1439.54 c #Conflicts: 285000 | #Constraints: 76533
1435.41/1439.54 c #Conflicts: 286000 | #Constraints: 77533
1435.41/1439.54 c #Conflicts: 287000 | #Constraints: 78533
1435.41/1439.54 c #Conflicts: 288000 | #Constraints: 79533
2007.23/2013.07 c INPROCESSING
2007.23/2013.07 c GARBAGE COLLECT
2007.23/2013.07 c #Conflicts: 289000 | #Constraints: 69936
2007.23/2013.07 c #Conflicts: 290000 | #Constraints: 70936
2007.23/2013.07 c #Conflicts: 291000 | #Constraints: 71936
2007.23/2013.07 c #Conflicts: 292000 | #Constraints: 72936
2007.23/2013.07 c #Conflicts: 293000 | #Constraints: 73936
2007.23/2013.07 c #Conflicts: 294000 | #Constraints: 74936
2007.23/2013.07 c #Conflicts: 295000 | #Constraints: 75936
2007.23/2013.07 c #Conflicts: 296000 | #Constraints: 76936
2007.23/2013.07 c #Conflicts: 297000 | #Constraints: 77936
2007.23/2013.07 c #Conflicts: 298000 | #Constraints: 78936
2007.23/2013.07 c #Conflicts: 299000 | #Constraints: 79936
2007.23/2013.07 c INPROCESSING
2007.23/2013.07 c GARBAGE COLLECT
2007.23/2013.07 c #Conflicts: 300000 | #Constraints: 70132
2007.23/2013.07 c #Conflicts: 301000 | #Constraints: 71132
2007.23/2013.07 c #Conflicts: 302000 | #Constraints: 72132
2007.23/2013.07 c #Conflicts: 303000 | #Constraints: 73132
2007.23/2013.07 c #Conflicts: 304000 | #Constraints: 74132
2007.23/2013.07 c #Conflicts: 305000 | #Constraints: 75132
2007.23/2013.07 c #Conflicts: 306000 | #Constraints: 76132
2007.23/2013.07 c #Conflicts: 307000 | #Constraints: 77132
2007.23/2013.07 c #Conflicts: 308000 | #Constraints: 78132
2007.23/2013.07 c #Conflicts: 309000 | #Constraints: 79132
2007.23/2013.07 c #Conflicts: 310000 | #Constraints: 80132
2007.23/2013.07 c INPROCESSING
2007.23/2013.07 c GARBAGE COLLECT
2007.23/2013.07 c #Conflicts: 311000 | #Constraints: 70133
2007.23/2013.07 c #Conflicts: 312000 | #Constraints: 71133
2007.23/2013.07 c #Conflicts: 313000 | #Constraints: 72133
2007.23/2013.07 c #Conflicts: 314000 | #Constraints: 73133
2007.23/2013.07 c #Conflicts: 315000 | #Constraints: 74133
2007.23/2013.07 c #Conflicts: 316000 | #Constraints: 75133
2007.23/2013.07 c #Conflicts: 317000 | #Constraints: 76133
2007.23/2013.07 c #Conflicts: 318000 | #Constraints: 77133
2007.23/2013.07 c #Conflicts: 319000 | #Constraints: 78133
2007.23/2013.07 c #Conflicts: 320000 | #Constraints: 79133
2007.23/2013.07 c #Conflicts: 321000 | #Constraints: 80133
2007.23/2013.07 c INPROCESSING
2007.23/2013.07 c GARBAGE COLLECT
2007.23/2013.07 c #Conflicts: 322000 | #Constraints: 69935
2007.23/2013.07 c #Conflicts: 323000 | #Constraints: 70935
2007.23/2013.07 c #Conflicts: 324000 | #Constraints: 71935
2007.23/2013.07 c #Conflicts: 325000 | #Constraints: 72935
2007.23/2013.07 c #Conflicts: 326000 | #Constraints: 73935
2007.23/2013.07 c #Conflicts: 327000 | #Constraints: 74935
2007.23/2013.07 c #Conflicts: 328000 | #Constraints: 75935
2007.23/2013.07 c #Conflicts: 329000 | #Constraints: 76935
2007.23/2013.07 c #Conflicts: 330000 | #Constraints: 77935
2007.23/2013.07 c #Conflicts: 331000 | #Constraints: 78935
2007.23/2013.07 c #Conflicts: 332000 | #Constraints: 79935
2007.23/2013.07 c #Conflicts: 333000 | #Constraints: 80935
2007.23/2013.07 c INPROCESSING
2007.23/2013.07 c GARBAGE COLLECT
2007.23/2013.07 c #Conflicts: 334000 | #Constraints: 70531
2007.23/2013.07 c #Conflicts: 335000 | #Constraints: 71531
2007.23/2013.07 c #Conflicts: 336000 | #Constraints: 72531
2007.23/2013.07 c #Conflicts: 337000 | #Constraints: 73531
2007.23/2013.07 c #Conflicts: 338000 | #Constraints: 74531
2007.23/2013.07 c #Conflicts: 339000 | #Constraints: 75531
2007.23/2013.07 c #Conflicts: 340000 | #Constraints: 76531
2007.23/2013.07 c #Conflicts: 341000 | #Constraints: 77531
2007.23/2013.07 c #Conflicts: 342000 | #Constraints: 78531
2007.23/2013.07 c #Conflicts: 343000 | #Constraints: 79531
2007.23/2013.07 c #Conflicts: 344000 | #Constraints: 80531
2007.23/2013.07 c #Conflicts: 345000 | #Constraints: 81531
2007.23/2013.07 c INPROCESSING
2007.23/2013.07 c GARBAGE COLLECT
2007.23/2013.07 c #Conflicts: 346000 | #Constraints: 70933
2007.23/2013.07 c #Conflicts: 347000 | #Constraints: 71933
2007.23/2013.07 c #Conflicts: 348000 | #Constraints: 72933
2007.23/2013.07 c #Conflicts: 349000 | #Constraints: 73933
2007.23/2013.07 c #Conflicts: 350000 | #Constraints: 74933
2007.23/2013.07 c #Conflicts: 351000 | #Constraints: 75933
2007.23/2013.07 c #Conflicts: 352000 | #Constraints: 76933
2007.23/2013.07 c #Conflicts: 353000 | #Constraints: 77933
2007.23/2013.07 c #Conflicts: 354000 | #Constraints: 78933
2007.23/2013.07 c #Conflicts: 355000 | #Constraints: 79933
2007.23/2013.07 c #Conflicts: 356000 | #Constraints: 80933
2007.23/2013.07 c #Conflicts: 357000 | #Constraints: 81933
2007.23/2013.07 c INPROCESSING
2007.23/2013.07 c GARBAGE COLLECT
2007.23/2013.07 c #Conflicts: 358000 | #Constraints: 71134
2007.23/2013.07 c #Conflicts: 359000 | #Constraints: 72134
2007.23/2013.07 c #Conflicts: 360000 | #Constraints: 73134
2007.23/2013.07 c #Conflicts: 361000 | #Constraints: 74134
2007.23/2013.07 c #Conflicts: 362000 | #Constraints: 75134
2672.95/2680.60 c #Conflicts: 363000 | #Constraints: 76134
2672.95/2680.60 c #Conflicts: 364000 | #Constraints: 77134
2672.95/2680.60 c #Conflicts: 365000 | #Constraints: 78134
2672.95/2680.60 c #Conflicts: 366000 | #Constraints: 79134
2672.95/2680.60 c #Conflicts: 367000 | #Constraints: 80134
2672.95/2680.60 c #Conflicts: 368000 | #Constraints: 81134
2672.95/2680.60 c #Conflicts: 369000 | #Constraints: 82134
2672.95/2680.60 c INPROCESSING
2672.95/2680.60 c GARBAGE COLLECT
2672.95/2680.60 c #Conflicts: 370000 | #Constraints: 71135
2672.95/2680.60 c #Conflicts: 371000 | #Constraints: 72135
2672.95/2680.60 c #Conflicts: 372000 | #Constraints: 73135
2672.95/2680.60 c #Conflicts: 373000 | #Constraints: 74135
2672.95/2680.60 c #Conflicts: 374000 | #Constraints: 75135
2672.95/2680.60 c #Conflicts: 375000 | #Constraints: 76135
2672.95/2680.60 c #Conflicts: 376000 | #Constraints: 77135
2672.95/2680.60 c #Conflicts: 377000 | #Constraints: 78135
2672.95/2680.60 c #Conflicts: 378000 | #Constraints: 79135
2672.95/2680.60 c #Conflicts: 379000 | #Constraints: 80135
2672.95/2680.60 c #Conflicts: 380000 | #Constraints: 81135
2672.95/2680.60 c #Conflicts: 381000 | #Constraints: 82135
2672.95/2680.60 c INPROCESSING
2672.95/2680.60 c GARBAGE COLLECT
2672.95/2680.60 c #Conflicts: 382000 | #Constraints: 70934
2672.95/2680.60 c #Conflicts: 383000 | #Constraints: 71934
2672.95/2680.60 c #Conflicts: 384000 | #Constraints: 72934
2672.95/2680.60 c #Conflicts: 385000 | #Constraints: 73934
2672.95/2680.60 c #Conflicts: 386000 | #Constraints: 74934
2672.95/2680.60 c #Conflicts: 387000 | #Constraints: 75934
2672.95/2680.60 c #Conflicts: 388000 | #Constraints: 76934
2672.95/2680.60 c #Conflicts: 389000 | #Constraints: 77934
2672.95/2680.60 c #Conflicts: 390000 | #Constraints: 78934
2672.95/2680.60 c #Conflicts: 391000 | #Constraints: 79934
2672.95/2680.60 c #Conflicts: 392000 | #Constraints: 80934
2672.95/2680.60 c #Conflicts: 393000 | #Constraints: 81934
2672.95/2680.60 c #Conflicts: 394000 | #Constraints: 82934
2672.95/2680.60 c INPROCESSING
2672.95/2680.60 c GARBAGE COLLECT
2672.95/2680.60 c #Conflicts: 395000 | #Constraints: 71532
2672.95/2680.60 c #Conflicts: 396000 | #Constraints: 72532
2672.95/2680.60 c #Conflicts: 397000 | #Constraints: 73532
2672.95/2680.60 c #Conflicts: 398000 | #Constraints: 74532
2672.95/2680.60 c #Conflicts: 399000 | #Constraints: 75532
2672.95/2680.60 c #Conflicts: 400000 | #Constraints: 76532
2672.95/2680.60 c #Conflicts: 401000 | #Constraints: 77532
2672.95/2680.60 c #Conflicts: 402000 | #Constraints: 78532
2672.95/2680.60 c #Conflicts: 403000 | #Constraints: 79532
2672.95/2680.60 c #Conflicts: 404000 | #Constraints: 80532
2672.95/2680.60 c #Conflicts: 405000 | #Constraints: 81532
2672.95/2680.60 c #Conflicts: 406000 | #Constraints: 82532
2672.95/2680.60 c #Conflicts: 407000 | #Constraints: 83532
2672.95/2680.60 c INPROCESSING
2672.95/2680.60 c GARBAGE COLLECT
2672.95/2680.60 c #Conflicts: 408000 | #Constraints: 71931
2672.95/2680.60 c #Conflicts: 409000 | #Constraints: 72931
2672.95/2680.60 c #Conflicts: 410000 | #Constraints: 73931
2672.95/2680.60 c #Conflicts: 411000 | #Constraints: 74931
2672.95/2680.60 c #Conflicts: 412000 | #Constraints: 75931
2672.95/2680.60 c #Conflicts: 413000 | #Constraints: 76931
2672.95/2680.60 c #Conflicts: 414000 | #Constraints: 77931
2672.95/2680.60 c #Conflicts: 415000 | #Constraints: 78931
2672.95/2680.60 c #Conflicts: 416000 | #Constraints: 79931
2672.95/2680.60 c #Conflicts: 417000 | #Constraints: 80931
2672.95/2680.60 c #Conflicts: 418000 | #Constraints: 81931
2672.95/2680.60 c #Conflicts: 419000 | #Constraints: 82931
2672.95/2680.60 c #Conflicts: 420000 | #Constraints: 83931
2672.95/2680.60 c INPROCESSING
2672.95/2680.60 c GARBAGE COLLECT
2672.95/2680.60 c #Conflicts: 421000 | #Constraints: 72134
2672.95/2680.60 c #Conflicts: 422000 | #Constraints: 73134
2672.95/2680.60 c #Conflicts: 423000 | #Constraints: 74134
2672.95/2680.60 c #Conflicts: 424000 | #Constraints: 75134
2672.95/2680.60 c #Conflicts: 425000 | #Constraints: 76134
2672.95/2680.60 c #Conflicts: 426000 | #Constraints: 77134
2672.95/2680.60 c #Conflicts: 427000 | #Constraints: 78134
2672.95/2680.60 c #Conflicts: 428000 | #Constraints: 79134
2672.95/2680.60 c #Conflicts: 429000 | #Constraints: 80134
2672.95/2680.60 c #Conflicts: 430000 | #Constraints: 81134
2672.95/2680.60 c #Conflicts: 431000 | #Constraints: 82134
2672.95/2680.60 c #Conflicts: 432000 | #Constraints: 83134
2672.95/2680.60 c #Conflicts: 433000 | #Constraints: 84134
2672.95/2680.60 c INPROCESSING
2672.95/2680.60 c GARBAGE COLLECT
2672.95/2680.60 c #Conflicts: 434000 | #Constraints: 72132
2672.95/2680.60 c #Conflicts: 435000 | #Constraints: 73132
2672.95/2680.60 c #Conflicts: 436000 | #Constraints: 74132
2672.95/2680.60 c #Conflicts: 437000 | #Constraints: 75132
3397.51/3407.21 c #Conflicts: 438000 | #Constraints: 76132
3397.51/3407.21 c #Conflicts: 439000 | #Constraints: 77132
3397.51/3407.21 c #Conflicts: 440000 | #Constraints: 78132
3397.51/3407.21 c #Conflicts: 441000 | #Constraints: 79132
3397.51/3407.21 c #Conflicts: 442000 | #Constraints: 80132
3397.51/3407.21 c #Conflicts: 443000 | #Constraints: 81132
3397.51/3407.21 c #Conflicts: 444000 | #Constraints: 82132
3397.51/3407.21 c #Conflicts: 445000 | #Constraints: 83132
3397.51/3407.21 c #Conflicts: 446000 | #Constraints: 84132
3397.51/3407.21 c INPROCESSING
3397.51/3407.21 c GARBAGE COLLECT
3397.51/3407.21 c #Conflicts: 447000 | #Constraints: 71933
3397.51/3407.21 c #Conflicts: 448000 | #Constraints: 72933
3397.51/3407.21 c #Conflicts: 449000 | #Constraints: 73933
3397.51/3407.21 c #Conflicts: 450000 | #Constraints: 74933
3397.51/3407.21 c #Conflicts: 451000 | #Constraints: 75933
3397.51/3407.21 c #Conflicts: 452000 | #Constraints: 76933
3397.51/3407.21 c #Conflicts: 453000 | #Constraints: 77933
3397.51/3407.21 c #Conflicts: 454000 | #Constraints: 78933
3397.51/3407.21 c #Conflicts: 455000 | #Constraints: 79933
3397.51/3407.21 c #Conflicts: 456000 | #Constraints: 80933
3397.51/3407.21 c #Conflicts: 457000 | #Constraints: 81933
3397.51/3407.21 c #Conflicts: 458000 | #Constraints: 82933
3397.51/3407.21 c #Conflicts: 459000 | #Constraints: 83933
3397.51/3407.21 c #Conflicts: 460000 | #Constraints: 84933
3397.51/3407.21 c INPROCESSING
3397.51/3407.21 c GARBAGE COLLECT
3397.51/3407.21 c #Conflicts: 461000 | #Constraints: 72532
3397.51/3407.21 c #Conflicts: 462000 | #Constraints: 73532
3397.51/3407.21 c #Conflicts: 463000 | #Constraints: 74532
3397.51/3407.21 c #Conflicts: 464000 | #Constraints: 75532
3397.51/3407.21 c #Conflicts: 465000 | #Constraints: 76532
3397.51/3407.21 c #Conflicts: 466000 | #Constraints: 77532
3397.51/3407.21 c #Conflicts: 467000 | #Constraints: 78532
3397.51/3407.21 c #Conflicts: 468000 | #Constraints: 79532
3397.51/3407.21 c #Conflicts: 469000 | #Constraints: 80532
3397.51/3407.21 c #Conflicts: 470000 | #Constraints: 81532
3397.51/3407.21 c #Conflicts: 471000 | #Constraints: 82532
3397.51/3407.21 c #Conflicts: 472000 | #Constraints: 83532
3397.51/3407.21 c #Conflicts: 473000 | #Constraints: 84532
3397.51/3407.21 c #Conflicts: 474000 | #Constraints: 85532
3397.51/3407.21 c INPROCESSING
3397.51/3407.21 c GARBAGE COLLECT
3397.51/3407.21 c #Conflicts: 475000 | #Constraints: 72929
3397.51/3407.21 c #Conflicts: 476000 | #Constraints: 73929
3397.51/3407.21 c #Conflicts: 477000 | #Constraints: 74929
3397.51/3407.21 c #Conflicts: 478000 | #Constraints: 75929
3397.51/3407.21 c #Conflicts: 479000 | #Constraints: 76929
3397.51/3407.21 c #Conflicts: 480000 | #Constraints: 77929
3397.51/3407.21 c #Conflicts: 481000 | #Constraints: 78929
3397.51/3407.21 c #Conflicts: 482000 | #Constraints: 79929
3397.51/3407.21 c #Conflicts: 483000 | #Constraints: 80929
3397.51/3407.21 c #Conflicts: 484000 | #Constraints: 81929
3397.51/3407.21 c #Conflicts: 485000 | #Constraints: 82929
3397.51/3407.21 c #Conflicts: 486000 | #Constraints: 83929
3397.51/3407.21 c #Conflicts: 487000 | #Constraints: 84929
3397.51/3407.21 c #Conflicts: 488000 | #Constraints: 85929
3397.51/3407.21 c INPROCESSING
3397.51/3407.21 c GARBAGE COLLECT
3397.51/3407.21 c #Conflicts: 489000 | #Constraints: 73131
3397.51/3407.21 c #Conflicts: 490000 | #Constraints: 74131
3397.51/3407.21 c #Conflicts: 491000 | #Constraints: 75131
3397.51/3407.21 c #Conflicts: 492000 | #Constraints: 76131
3397.51/3407.21 c #Conflicts: 493000 | #Constraints: 77131
3397.51/3407.21 c #Conflicts: 494000 | #Constraints: 78131
3397.51/3407.21 c #Conflicts: 495000 | #Constraints: 79131
3397.51/3407.21 c #Conflicts: 496000 | #Constraints: 80131
3397.51/3407.21 c #Conflicts: 497000 | #Constraints: 81131
3397.51/3407.21 c #Conflicts: 498000 | #Constraints: 82131
3397.51/3407.21 c #Conflicts: 499000 | #Constraints: 83131
3397.51/3407.21 c #Conflicts: 500000 | #Constraints: 84131
3397.51/3407.21 c #Conflicts: 501000 | #Constraints: 85131
3397.51/3407.21 c #Conflicts: 502000 | #Constraints: 86131
3397.51/3407.21 c INPROCESSING
3397.51/3407.21 c GARBAGE COLLECT
3397.51/3407.21 c #Conflicts: 503000 | #Constraints: 73129
3397.51/3407.21 c #Conflicts: 504000 | #Constraints: 74129
3397.51/3407.21 c #Conflicts: 505000 | #Constraints: 75129
3397.51/3407.21 c #Conflicts: 506000 | #Constraints: 76129
3397.51/3407.21 c #Conflicts: 507000 | #Constraints: 77129
3397.51/3407.21 c #Conflicts: 508000 | #Constraints: 78129
3397.51/3407.21 c #Conflicts: 509000 | #Constraints: 79129
3397.51/3407.21 c #Conflicts: 510000 | #Constraints: 80129
3397.51/3407.21 c #Conflicts: 511000 | #Constraints: 81129
3397.51/3407.21 c #Conflicts: 512000 | #Constraints: 82129
3397.51/3407.21 c #Conflicts: 513000 | #Constraints: 83129
3600.05/3610.30 c #Conflicts: 514000 | #Constraints: 84129
3600.05/3610.30 c #Conflicts: 515000 | #Constraints: 85129
3600.05/3610.30 c #Conflicts: 516000 | #Constraints: 86129
3600.05/3610.30 c INPROCESSING
3600.05/3610.30 c GARBAGE COLLECT
3600.05/3610.30 c #Conflicts: 517000 | #Constraints: 72932
3600.05/3610.30 c #Conflicts: 518000 | #Constraints: 73932
3600.05/3610.30 c #Conflicts: 519000 | #Constraints: 74932
3600.05/3610.30 c #Conflicts: 520000 | #Constraints: 75932
3600.05/3610.30 c #Conflicts: 521000 | #Constraints: 76932
3600.05/3610.30 c #Conflicts: 522000 | #Constraints: 77932
3600.05/3610.30 c #Conflicts: 523000 | #Constraints: 78932
3600.05/3610.30 c #Conflicts: 524000 | #Constraints: 79932
3600.05/3610.30 c #Conflicts: 525000 | #Constraints: 80932
3600.05/3610.30 c #Conflicts: 526000 | #Constraints: 81932
3600.05/3610.30 c #Conflicts: 527000 | #Constraints: 82932
3600.05/3610.30 c #Conflicts: 528000 | #Constraints: 83932
3600.05/3610.30 c #Conflicts: 529000 | #Constraints: 84932
3600.05/3610.30 c #Conflicts: 530000 | #Constraints: 85932
3600.05/3610.30 c #Conflicts: 531000 | #Constraints: 86932
3600.05/3610.30 c INPROCESSING
3600.05/3610.30 c GARBAGE COLLECT
3600.05/3610.30 c #Conflicts: 532000 | #Constraints: 73530
3600.05/3610.30 c #Conflicts: 533000 | #Constraints: 74530
3600.05/3610.30 c #Conflicts: 534000 | #Constraints: 75530
3600.05/3610.30 c cpu time 3596.4 s
3600.05/3610.30 c deterministic time 1 1.00e+00
3600.05/3610.30 c optimization time 3596.25 s
3600.05/3610.30 c total solve time 0 s
3600.05/3610.30 c core-guided solve time 0 s
3600.05/3610.30 c propagation time 0.016773 s
3600.05/3610.30 c conflict analysis time 0 s
3600.05/3610.30 c propagations 0
3600.05/3610.30 c resolve steps 0
3600.05/3610.30 c decisions 0
3600.05/3610.30 c conflicts 0
3600.05/3610.30 c restarts 0
3600.05/3610.30 c inprocessing phases 0
3600.05/3610.30 c garbage collections 0 ,( -nan )
3600.05/3610.30 c input clauses 58245 ,( 100.00 )
3600.05/3610.30 c input cardinalities 0 ,( 0.00 )
3600.05/3610.30 c input general constraints 0 ,( 0.00 )
3600.05/3610.30 c input average constraint length 2.00
3600.05/3610.30 c input average constraint degree 1.00
3600.05/3610.30 c learned clauses 0 ,( 0.00 )
3600.05/3610.30 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.30 c learned general constraints 0 ,( 0.00 )
3600.05/3610.30 c learned average constraint length 0.00
3600.05/3610.30 c learned average constraint degree 0.00
3600.05/3610.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.30 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.30 c watched constraints 0 ,( -nan )
3600.05/3610.30 c counting constraints 0 ,( -nan )
3600.05/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.30 c gcd simplifications 0
3600.05/3610.30 c detected cardinalities 0
3600.05/3610.30 c weakened non-implied lits 0
3600.05/3610.30 c weakened non-implying lits 0
3600.05/3610.30 c original variables 945
3600.05/3610.30 c clausal propagations 0
3600.05/3610.30 c cardinality propagations 0
3600.05/3610.30 c watched propagations 0
3600.05/3610.30 c counting propagations 0
3600.05/3610.30 c watch lookups 0
3600.05/3610.30 c watch backjump lookups 0
3600.05/3610.30 c watch checks 0
3600.05/3610.30 c propagation checks 0
3600.05/3610.30 c constraint additions 0
3600.05/3610.30 c trail pops 0
3600.05/3610.30 c formula constraints 58245
3600.05/3610.30 c learned constraints 0
3600.05/3610.30 c bound constraints 0
3600.05/3610.30 c core-guided constraints 0
3600.05/3610.30 c encountered formula constraints 0
3600.05/3610.30 c encountered learned constraints 0
3600.05/3610.30 c encountered bound constraints 0
3600.05/3610.30 c encountered core-guided constraints 0
3600.05/3610.30 c LP total time 0 s
3600.05/3610.30 c LP solve time 0 s
3600.05/3610.30 c LP constraints added 0
3600.05/3610.30 c LP constraints removed 0
3600.05/3610.30 c LP pivots internal 0
3600.05/3610.30 c LP pivots root 0
3600.05/3610.30 c LP calls 0
3600.05/3610.30 c LP optimalities 0
3600.05/3610.30 c LP no pivot count 0
3600.05/3610.30 c LP infeasibilities 0
3600.05/3610.30 c LP valid Farkas constraints 0
3600.05/3610.30 c LP learned Farkas constraints 0
3600.05/3610.30 c LP basis resets 0
3600.05/3610.30 c LP cycling count 0
3600.05/3610.30 c LP singular count 0
3600.05/3610.30 c LP no primal count 0
3600.05/3610.30 c LP no farkas count 0
3600.05/3610.30 c LP other issue count 0
3600.05/3610.30 c LP Gomory cuts 0
3600.05/3610.30 c LP learned cuts 0
3600.05/3610.30 c LP deleted cuts 0
3600.05/3610.30 c LP encountered Gomory constraints 0
3600.05/3610.30 c LP encountered Farkas constraints 0
3600.05/3610.30 c LP encountered learned Farkas constraints 0
3600.05/3610.30 c CG auxiliary variables introduced 0
3600.05/3610.30 c CG solutions found 0
3600.05/3610.30 c CG cores constructed 0
3600.05/3610.30 c CG core cardinality constraints returned 0
3600.05/3610.30 c CG unit cores 0
3600.05/3610.30 c CG single cores 0
3600.05/3610.30 c CG blocks removed during cardinality reduction 0
3600.05/3610.30 c CG first core best 0
3600.05/3610.30 c CG decision core best 0
3600.05/3610.30 c CG core reduction tie 0
3600.05/3610.30 c CG core degree average 0.00
3600.05/3610.30 c CG core slack average 0.00
3600.05/3610.30 c CG core upper bound improvements 0
3600.05/3610.30 c STR number of successful calls 0
3600.05/3610.30 c STR number of unsuccessful calls 0
3600.05/3610.30 c STR number of inconclusive calls 0
3600.05/3610.30 c STR number of successful attempts 0
3600.05/3610.30 c STR number of unsuccessful attempts 0
3600.05/3610.30 c STR number of inconclusive attempts 0
3600.05/3610.30 c STR average degree increase per successful call inf
3600.05/3610.30 c STR average degree increase per successful attempt inf
3600.05/3610.30 c STR total number of conflicts for successful attempts 0
3600.05/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.30 c STR average number of conflicts per successful attempt inf
3600.05/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.30 c AVG.sumWPerc -nan
3600.05/3610.30 c bigint constraints 0
3600.05/3610.30 s UNKNOWN
3600.05/3610.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60220 MiB free)
memory of node 1: 64465 MiB (61501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484998-1751299457/watcher-4484998-1751299457 -o /tmp/evaluation-result-4484998-1751299457/solver-4484998-1751299457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39123 --watchdog 3760 run-opt.sh HOME/instance-4484998-1751299457.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39976, runsolver pid=39969
[startup+0.100032 s]*
/proc/loadavg: 4.11 4.10 4.09 6/262 39980
/proc/meminfo: memFree=124638368/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=58060 memory=12756 CPUtime=0.07 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 1110 0 0 0 5 2 0 0 20 0 1 0 45620271 59453440 3189 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 14515 3189 1888 1147 0 1942 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62252 KiB
Current children cumulated memory: 15700 KiB
[startup+0.205845 s]*
/proc/loadavg: 4.11 4.10 4.09 5/262 39980
/proc/meminfo: memFree=124585504/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=97384 memory=41484 CPUtime=0.19 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 5147 0 0 0 13 6 0 0 20 0 1 0 45620271 99721216 10371 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 24346 10371 2208 1147 0 11773 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101576 KiB
Current children cumulated memory: 44428 KiB
[startup+0.305944 s]*
/proc/loadavg: 4.11 4.10 4.09 5/264 39986
/proc/meminfo: memFree=124491772/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=136444 memory=89800 CPUtime=0.28 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 14229 0 0 0 19 9 0 0 20 0 1 0 45620271 139718656 22450 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 34111 22450 2272 1147 0 21538 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 140636 KiB
Current children cumulated memory: 92744 KiB
[startup+0.700238 s]
/proc/loadavg: 4.11 4.10 4.09 6/262 40002
/proc/meminfo: memFree=124428956/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=139268 memory=95944 CPUtime=0.67 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 15741 0 0 0 56 11 0 0 20 0 1 0 45620271 142610432 23986 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 34817 23986 2336 1147 0 22244 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 143460 KiB
Current children cumulated memory: 98888 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 4.10 4.09 6/267 40018
/proc/meminfo: memFree=124393048/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=157944 memory=110792 CPUtime=1.47 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 15855 0 0 0 135 12 0 0 20 0 1 0 45620271 161734656 27698 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 39486 27698 2336 1147 0 26913 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 162136 KiB
Current children cumulated memory: 113736 KiB
[startup+3.10549 s]
/proc/loadavg: 4.11 4.10 4.09 6/267 40018
/proc/meminfo: memFree=124376868/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=157944 memory=112844 CPUtime=3.07 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 15864 0 0 0 294 13 0 0 20 0 1 0 45620271 161734656 28211 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 39486 28211 2336 1147 0 26913 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 162136 KiB
Current children cumulated memory: 115788 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.10 4.09 6/267 40018
/proc/meminfo: memFree=124348792/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=169620 memory=119400 CPUtime=6.25 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 16482 0 0 0 610 15 0 0 20 0 1 0 45620271 173690880 29850 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 42405 29850 2336 1147 0 29832 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 173812 KiB
Current children cumulated memory: 122344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 6/268 40019
/proc/meminfo: memFree=124340668/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=169620 memory=125552 CPUtime=12.63 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 16500 0 0 0 1245 18 0 0 20 0 1 0 45620271 173690880 31388 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 42405 31388 2336 1147 0 29832 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 173812 KiB
Current children cumulated memory: 128496 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 6/268 40020
/proc/meminfo: memFree=124324156/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=188588 memory=129876 CPUtime=25.4 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 17058 0 0 0 2518 22 0 0 20 0 1 0 45620271 193114112 32469 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 47147 32469 2336 1147 0 34574 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 192780 KiB
Current children cumulated memory: 132820 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.10 4.09 6/268 40020
/proc/meminfo: memFree=124295636/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=191648 memory=140620 CPUtime=50.93 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 17704 0 0 0 5066 27 0 0 20 0 1 0 45620271 196247552 35155 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 47912 35155 2336 1147 0 35339 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 195840 KiB
Current children cumulated memory: 143564 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/268 40022
/proc/meminfo: memFree=124250820/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=202540 memory=155696 CPUtime=101.98 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 19942 0 0 0 10160 38 0 0 20 0 1 0 45620271 207400960 38924 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 50635 38924 2336 1147 0 38062 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 206732 KiB
Current children cumulated memory: 158640 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/268 40069
/proc/meminfo: memFree=124523736/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=237644 memory=166236 CPUtime=161.82 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 21568 0 0 0 16130 52 0 0 20 0 1 0 45620271 243347456 41559 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 59411 41559 2336 1147 0 46838 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 241836 KiB
Current children cumulated memory: 169180 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/269 40076
/proc/meminfo: memFree=124489688/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=247092 memory=179996 CPUtime=221.67 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 23491 0 0 0 22103 64 0 0 20 0 1 0 45620271 253022208 44999 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 61773 44999 2336 1147 0 49200 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/39979/statm: 129461 103316 2336 1147 0 116888 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 522036 KiB
Current children cumulated memory: 416208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/267 40212
/proc/meminfo: memFree=123704888/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=521428 memory=419504 CPUtime=3153.3 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 53232 0 0 0 314997 333 0 0 20 0 1 0 45620271 533942272 104876 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 130357 104876 2336 1147 0 117784 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 525620 KiB
Current children cumulated memory: 422448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/266 40218
/proc/meminfo: memFree=123718632/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=523604 memory=423428 CPUtime=3213.13 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 53706 0 0 0 320976 337 0 0 20 0 1 0 45620271 536170496 105857 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 130901 105857 2336 1147 0 118328 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 527796 KiB
Current children cumulated memory: 426372 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/266 40220
/proc/meminfo: memFree=123717544/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=523604 memory=423428 CPUtime=3272.96 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 53728 0 0 0 326955 341 0 0 20 0 1 0 45620271 536170496 105857 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 130901 105857 2336 1147 0 118328 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 527796 KiB
Current children cumulated memory: 426372 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/268 40226
/proc/meminfo: memFree=123701336/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=525064 memory=424836 CPUtime=3332.79 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 54062 0 0 0 332934 345 0 0 20 0 1 0 45620271 537665536 106209 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 131266 106209 2336 1147 0 118693 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 529256 KiB
Current children cumulated memory: 427780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/268 40228
/proc/meminfo: memFree=123681220/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=525524 memory=424964 CPUtime=3392.62 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 54115 0 0 0 338913 349 0 0 20 0 1 0 45620271 538136576 106241 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 131381 106241 2336 1147 0 118808 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 529716 KiB
Current children cumulated memory: 427908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/268 40241
/proc/meminfo: memFree=123681444/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=527708 memory=427012 CPUtime=3452.45 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 54608 0 0 0 344892 353 0 0 20 0 1 0 45620271 540372992 106753 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 131927 106753 2336 1147 0 119354 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 531900 KiB
Current children cumulated memory: 429956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/268 40243
/proc/meminfo: memFree=123669012/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=529108 memory=427908 CPUtime=3512.3 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 54847 0 0 0 350871 359 0 0 20 0 1 0 45620271 541806592 106977 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 132277 106977 2336 1147 0 119704 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 533300 KiB
Current children cumulated memory: 430852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.08 4.09 6/268 40245
/proc/meminfo: memFree=123665656/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=534484 memory=435460 CPUtime=3572.13 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 55693 0 0 0 356850 363 0 0 20 0 1 0 45620271 547311616 108865 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 133621 108865 2336 1147 0 121048 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 538676 KiB
Current children cumulated memory: 438404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.06 4.08 4.09 4/264 40246
/proc/meminfo: memFree=124085672/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=537184 memory=439600 CPUtime=3600.05 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 56218 0 0 0 359639 366 0 0 20 0 1 0 45620271 550076416 109900 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 134296 109900 2336 1147 0 121723 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 541376 KiB
Current children cumulated memory: 442544 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 39976 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002666 s, system=0 s
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 39979 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.42 s, system=3.66756 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.06 4.08 4.09 4/264 40246
/proc/meminfo: memFree=124085672/131249992 swapFree=33010160/33010684
[pid=39976] ppid=39969 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39976/stat : 39976 (run-opt.sh) S 39969 39976 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 736 18446744073709551615 94314760204288 94314761098821 140728043999488 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94314761337872 94314761385616 94314766192640 140728044005741 140728044005864 140728044005864 140728044011466 0
/proc/39976/statm: 1048 736 672 219 0 110 0
[pid=39979] ppid=39976 vsize=537184 memory=439600 CPUtime=3600.05 cores=4,6
/proc/39979/stat : 39979 (roundingsat) R 39976 39976 39107 0 -1 4194304 56218 0 0 0 359639 366 0 0 20 0 1 0 45620271 550076416 109900 18446744073709551615 4227072 8923433 140721246016384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31240192 140721246022050 140721246022184 140721246022184 140721246027754 0
/proc/39979/statm: 134296 109900 2336 1147 0 121723 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 541376 KiB
Current children cumulated memory: 442544 KiB
Child status: 2
Real time (s): 3610.32
CPU time (s): 3600.08
CPU user time (s): 3596.42
CPU system time (s): 3.66756
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 541376
Max. memory (cumulated for all children) (KiB): 442544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.41
system time used= 3.66756
maximum resident set size= 439984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 261
involuntary context switches= 3779
# summary of solver processes directly reported to runsolver:
# pid: 39976,39979
# total CPU time (s): 3600.08
# total CPU user time (s): 3596.42
# total CPU system time (s): 3.66756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29657 second user time and 16.679 second system time
The end
Begin job on nodeC035 at 2025-06-30 18:04:17
IDJOB=4484998
IDBENCH=146684
IDSOLVER=3350
FILE ID=nodeC035/4484998-1751299457
RUNJOBID= nodeC035-1751292233-39123
SLURM_JOB_ID= 9594262
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484998-1751299457/watcher-4484998-1751299457 -o /tmp/evaluation-result-4484998-1751299457/solver-4484998-1751299457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39123 --watchdog 3760 run-opt.sh HOME/instance-4484998-1751299457.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=781912770
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.958
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3563.841
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.361
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.834
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.822
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.733
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.860
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 124643872 kB
MemAvailable: 129295488 kB
Buffers: 1840 kB
Cached: 5405412 kB
SwapCached: 8 kB
Active: 783424 kB
Inactive: 5125632 kB
Active(anon): 508552 kB
Inactive(anon): 11624 kB
Active(file): 274872 kB
Inactive(file): 5114008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17480 kB
Writeback: 0 kB
AnonPages: 503936 kB
Mapped: 108788 kB
Shmem: 18048 kB
KReclaimable: 203952 kB
Slab: 292856 kB
SReclaimable: 203952 kB
SUnreclaim: 88904 kB
KernelStack: 4160 kB
PageTables: 4000 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 848388 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 436224 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-30 19:04:28