0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.28/0.31 c #variables 1150 #constraints 80035
0.28/0.31 c objective is ce32
0.38/0.46 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.38/0.46 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.38/0.46 c GLOBAL bounds - >= -1150 @ 0.293086
0.38/0.47 c GLOBAL bounds - >= -1150 @ 0.29409
0.38/0.47 c GLOBAL bounds - >= -1150 @ 0.294091
0.38/0.47 c GLOBAL bounds - >= -1150 @ 0.294092
0.38/0.48 c GLOBAL bounds - >= -1150 @ 0.304115
0.38/0.49 c GLOBAL bounds - >= -1150 @ 0.314299
0.38/0.49 c GLOBAL bounds - >= -1150 @ 0.31526
0.38/0.49 c GLOBAL bounds - >= -1150 @ 0.316033
0.38/0.49 c GLOBAL bounds - >= -1150 @ 0.318001
0.38/0.50 c GLOBAL bounds - >= -1150 @ 0.319445
0.48/0.52 c GLOBAL bounds - >= -1150 @ 0.343852
0.48/0.55 c GLOBAL bounds - >= -1150 @ 0.372408
0.58/0.65 c GLOBAL bounds - >= -1150 @ 0.472109
0.58/0.65 c GLOBAL bounds - >= -1150 @ 0.472665
0.58/0.66 c GLOBAL bounds - >= -1150 @ 0.476078
0.58/0.66 c GLOBAL bounds - >= -1150 @ 0.479032
0.58/0.66 c GLOBAL bounds - >= -1150 @ 0.479573
0.58/0.67 c GLOBAL bounds - >= -1150 @ 0.487656
0.58/0.68 c GLOBAL bounds - >= -1150 @ 0.499409
0.58/0.68 c GLOBAL bounds - >= -1150 @ 0.500137
0.58/0.69 c GLOBAL bounds - >= -1150 @ 0.504099
0.58/0.69 c GLOBAL bounds - >= -1150 @ 0.505741
0.58/0.69 c GLOBAL bounds - >= -1150 @ 0.507543
0.58/0.69 c GLOBAL bounds - >= -1150 @ 0.508162
0.58/0.69 c GLOBAL bounds - >= -1150 @ 0.508986
0.58/0.69 c GLOBAL bounds - >= -1150 @ 0.511653
0.58/0.69 c GLOBAL bounds - >= -1150 @ 0.512296
0.67/0.70 c GLOBAL bounds - >= -1150 @ 0.513836
0.67/0.70 c GLOBAL bounds - >= -1150 @ 0.518745
0.67/0.70 c GLOBAL bounds - >= -1150 @ 0.519365
0.67/0.70 c GLOBAL bounds - >= -1150 @ 0.520197
0.67/0.70 c GLOBAL bounds - >= -1150 @ 0.520735
0.67/0.70 c GLOBAL bounds - >= -1150 @ 0.521196
0.67/0.70 c GLOBAL bounds - >= -1150 @ 0.521917
0.67/0.71 c GLOBAL bounds - >= -1150 @ 0.527726
0.67/0.71 c GLOBAL bounds - >= -1150 @ 0.529645
0.67/0.71 c GLOBAL bounds - >= -1150 @ 0.530805
0.67/0.72 c GLOBAL bounds - >= -1150 @ 0.538055
0.67/0.72 c GLOBAL bounds - >= -1150 @ 0.539731
210.39/211.06 c #Conflicts: 1000 | #Constraints: 81109
210.39/211.06 c #Conflicts: 2000 | #Constraints: 82109
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 3000 | #Constraints: 82115
210.39/211.06 c #Conflicts: 4000 | #Constraints: 83115
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 5000 | #Constraints: 82519
210.39/211.06 c #Conflicts: 6000 | #Constraints: 83519
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 7000 | #Constraints: 82523
210.39/211.06 c #Conflicts: 8000 | #Constraints: 83523
210.39/211.06 c #Conflicts: 9000 | #Constraints: 84523
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 10000 | #Constraints: 83225
210.39/211.06 c #Conflicts: 11000 | #Constraints: 84225
210.39/211.06 c #Conflicts: 12000 | #Constraints: 85225
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 13000 | #Constraints: 83674
210.39/211.06 c #Conflicts: 14000 | #Constraints: 84674
210.39/211.06 c #Conflicts: 15000 | #Constraints: 85674
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 16000 | #Constraints: 83897
210.39/211.06 c #Conflicts: 17000 | #Constraints: 84897
210.39/211.06 c #Conflicts: 18000 | #Constraints: 85897
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 19000 | #Constraints: 83908
210.39/211.06 c #Conflicts: 20000 | #Constraints: 84908
210.39/211.06 c #Conflicts: 21000 | #Constraints: 85908
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 22000 | #Constraints: 83715
210.39/211.06 c #Conflicts: 23000 | #Constraints: 84715
210.39/211.06 c #Conflicts: 24000 | #Constraints: 85715
210.39/211.06 c #Conflicts: 25000 | #Constraints: 86715
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 26000 | #Constraints: 84321
210.39/211.06 c #Conflicts: 27000 | #Constraints: 85321
210.39/211.06 c #Conflicts: 28000 | #Constraints: 86321
210.39/211.06 c #Conflicts: 29000 | #Constraints: 87321
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 30000 | #Constraints: 84721
210.39/211.06 c #Conflicts: 31000 | #Constraints: 85721
210.39/211.06 c #Conflicts: 32000 | #Constraints: 86721
210.39/211.06 c #Conflicts: 33000 | #Constraints: 87721
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 34000 | #Constraints: 84928
210.39/211.06 c #Conflicts: 35000 | #Constraints: 85928
210.39/211.06 c #Conflicts: 36000 | #Constraints: 86928
210.39/211.06 c #Conflicts: 37000 | #Constraints: 87928
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 38000 | #Constraints: 84927
210.39/211.06 c #Conflicts: 39000 | #Constraints: 85927
210.39/211.06 c #Conflicts: 40000 | #Constraints: 86927
210.39/211.06 c #Conflicts: 41000 | #Constraints: 87927
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 42000 | #Constraints: 84726
210.39/211.06 c #Conflicts: 43000 | #Constraints: 85726
210.39/211.06 c #Conflicts: 44000 | #Constraints: 86726
210.39/211.06 c #Conflicts: 45000 | #Constraints: 87726
210.39/211.06 c #Conflicts: 46000 | #Constraints: 88726
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 47000 | #Constraints: 85325
210.39/211.06 c #Conflicts: 48000 | #Constraints: 86325
210.39/211.06 c #Conflicts: 49000 | #Constraints: 87325
210.39/211.06 c #Conflicts: 50000 | #Constraints: 88325
210.39/211.06 c #Conflicts: 51000 | #Constraints: 89325
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 52000 | #Constraints: 85728
210.39/211.06 c #Conflicts: 53000 | #Constraints: 86728
210.39/211.06 c #Conflicts: 54000 | #Constraints: 87728
210.39/211.06 c #Conflicts: 55000 | #Constraints: 88728
210.39/211.06 c #Conflicts: 56000 | #Constraints: 89728
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 57000 | #Constraints: 85927
210.39/211.06 c #Conflicts: 58000 | #Constraints: 86927
210.39/211.06 c #Conflicts: 59000 | #Constraints: 87927
210.39/211.06 c #Conflicts: 60000 | #Constraints: 88927
210.39/211.06 c #Conflicts: 61000 | #Constraints: 89927
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 62000 | #Constraints: 85925
210.39/211.06 c #Conflicts: 63000 | #Constraints: 86925
210.39/211.06 c #Conflicts: 64000 | #Constraints: 87925
210.39/211.06 c #Conflicts: 65000 | #Constraints: 88925
210.39/211.06 c #Conflicts: 66000 | #Constraints: 89925
210.39/211.06 c INPROCESSING
210.39/211.06 c GARBAGE COLLECT
210.39/211.06 c #Conflicts: 67000 | #Constraints: 85723
210.39/211.06 c #Conflicts: 68000 | #Constraints: 86723
570.86/572.42 c #Conflicts: 69000 | #Constraints: 87723
570.86/572.42 c #Conflicts: 70000 | #Constraints: 88723
570.86/572.42 c #Conflicts: 71000 | #Constraints: 89723
570.86/572.42 c #Conflicts: 72000 | #Constraints: 90723
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 73000 | #Constraints: 86324
570.86/572.42 c #Conflicts: 74000 | #Constraints: 87324
570.86/572.42 c #Conflicts: 75000 | #Constraints: 88324
570.86/572.42 c #Conflicts: 76000 | #Constraints: 89324
570.86/572.42 c #Conflicts: 77000 | #Constraints: 90324
570.86/572.42 c #Conflicts: 78000 | #Constraints: 91324
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 79000 | #Constraints: 86726
570.86/572.42 c #Conflicts: 80000 | #Constraints: 87726
570.86/572.42 c #Conflicts: 81000 | #Constraints: 88726
570.86/572.42 c #Conflicts: 82000 | #Constraints: 89726
570.86/572.42 c #Conflicts: 83000 | #Constraints: 90726
570.86/572.42 c #Conflicts: 84000 | #Constraints: 91726
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 85000 | #Constraints: 86927
570.86/572.42 c #Conflicts: 86000 | #Constraints: 87927
570.86/572.42 c #Conflicts: 87000 | #Constraints: 88927
570.86/572.42 c #Conflicts: 88000 | #Constraints: 89927
570.86/572.42 c #Conflicts: 89000 | #Constraints: 90927
570.86/572.42 c #Conflicts: 90000 | #Constraints: 91927
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 91000 | #Constraints: 86926
570.86/572.42 c #Conflicts: 92000 | #Constraints: 87926
570.86/572.42 c #Conflicts: 93000 | #Constraints: 88926
570.86/572.42 c #Conflicts: 94000 | #Constraints: 89926
570.86/572.42 c #Conflicts: 95000 | #Constraints: 90926
570.86/572.42 c #Conflicts: 96000 | #Constraints: 91926
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 97000 | #Constraints: 86726
570.86/572.42 c #Conflicts: 98000 | #Constraints: 87726
570.86/572.42 c #Conflicts: 99000 | #Constraints: 88726
570.86/572.42 c #Conflicts: 100000 | #Constraints: 89726
570.86/572.42 c #Conflicts: 101000 | #Constraints: 90726
570.86/572.42 c #Conflicts: 102000 | #Constraints: 91726
570.86/572.42 c #Conflicts: 103000 | #Constraints: 92726
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 104000 | #Constraints: 87329
570.86/572.42 c #Conflicts: 105000 | #Constraints: 88329
570.86/572.42 c #Conflicts: 106000 | #Constraints: 89329
570.86/572.42 c #Conflicts: 107000 | #Constraints: 90329
570.86/572.42 c #Conflicts: 108000 | #Constraints: 91329
570.86/572.42 c #Conflicts: 109000 | #Constraints: 92329
570.86/572.42 c #Conflicts: 110000 | #Constraints: 93329
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 111000 | #Constraints: 87727
570.86/572.42 c #Conflicts: 112000 | #Constraints: 88727
570.86/572.42 c #Conflicts: 113000 | #Constraints: 89727
570.86/572.42 c #Conflicts: 114000 | #Constraints: 90727
570.86/572.42 c #Conflicts: 115000 | #Constraints: 91727
570.86/572.42 c #Conflicts: 116000 | #Constraints: 92727
570.86/572.42 c #Conflicts: 117000 | #Constraints: 93727
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 118000 | #Constraints: 87928
570.86/572.42 c #Conflicts: 119000 | #Constraints: 88928
570.86/572.42 c #Conflicts: 120000 | #Constraints: 89928
570.86/572.42 c #Conflicts: 121000 | #Constraints: 90928
570.86/572.42 c #Conflicts: 122000 | #Constraints: 91928
570.86/572.42 c #Conflicts: 123000 | #Constraints: 92928
570.86/572.42 c #Conflicts: 124000 | #Constraints: 93928
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 125000 | #Constraints: 87928
570.86/572.42 c #Conflicts: 126000 | #Constraints: 88928
570.86/572.42 c #Conflicts: 127000 | #Constraints: 89928
570.86/572.42 c #Conflicts: 128000 | #Constraints: 90928
570.86/572.42 c #Conflicts: 129000 | #Constraints: 91928
570.86/572.42 c #Conflicts: 130000 | #Constraints: 92928
570.86/572.42 c #Conflicts: 131000 | #Constraints: 93928
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 132000 | #Constraints: 87724
570.86/572.42 c #Conflicts: 133000 | #Constraints: 88724
570.86/572.42 c #Conflicts: 134000 | #Constraints: 89724
570.86/572.42 c #Conflicts: 135000 | #Constraints: 90724
570.86/572.42 c #Conflicts: 136000 | #Constraints: 91724
570.86/572.42 c #Conflicts: 137000 | #Constraints: 92724
570.86/572.42 c #Conflicts: 138000 | #Constraints: 93724
570.86/572.42 c #Conflicts: 139000 | #Constraints: 94724
570.86/572.42 c INPROCESSING
570.86/572.42 c GARBAGE COLLECT
570.86/572.42 c #Conflicts: 140000 | #Constraints: 88328
1004.27/1006.91 c #Conflicts: 141000 | #Constraints: 89328
1004.27/1006.91 c #Conflicts: 142000 | #Constraints: 90328
1004.27/1006.91 c #Conflicts: 143000 | #Constraints: 91328
1004.27/1006.91 c #Conflicts: 144000 | #Constraints: 92328
1004.27/1006.91 c #Conflicts: 145000 | #Constraints: 93328
1004.27/1006.91 c #Conflicts: 146000 | #Constraints: 94328
1004.27/1006.91 c #Conflicts: 147000 | #Constraints: 95328
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 148000 | #Constraints: 88726
1004.27/1006.91 c #Conflicts: 149000 | #Constraints: 89726
1004.27/1006.91 c #Conflicts: 150000 | #Constraints: 90726
1004.27/1006.91 c #Conflicts: 151000 | #Constraints: 91726
1004.27/1006.91 c #Conflicts: 152000 | #Constraints: 92726
1004.27/1006.91 c #Conflicts: 153000 | #Constraints: 93726
1004.27/1006.91 c #Conflicts: 154000 | #Constraints: 94726
1004.27/1006.91 c #Conflicts: 155000 | #Constraints: 95726
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 156000 | #Constraints: 88923
1004.27/1006.91 c #Conflicts: 157000 | #Constraints: 89923
1004.27/1006.91 c #Conflicts: 158000 | #Constraints: 90923
1004.27/1006.91 c #Conflicts: 159000 | #Constraints: 91923
1004.27/1006.91 c #Conflicts: 160000 | #Constraints: 92923
1004.27/1006.91 c #Conflicts: 161000 | #Constraints: 93923
1004.27/1006.91 c #Conflicts: 162000 | #Constraints: 94923
1004.27/1006.91 c #Conflicts: 163000 | #Constraints: 95923
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 164000 | #Constraints: 88926
1004.27/1006.91 c #Conflicts: 165000 | #Constraints: 89926
1004.27/1006.91 c #Conflicts: 166000 | #Constraints: 90926
1004.27/1006.91 c #Conflicts: 167000 | #Constraints: 91926
1004.27/1006.91 c #Conflicts: 168000 | #Constraints: 92926
1004.27/1006.91 c #Conflicts: 169000 | #Constraints: 93926
1004.27/1006.91 c #Conflicts: 170000 | #Constraints: 94926
1004.27/1006.91 c #Conflicts: 171000 | #Constraints: 95926
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 172000 | #Constraints: 88727
1004.27/1006.91 c #Conflicts: 173000 | #Constraints: 89727
1004.27/1006.91 c #Conflicts: 174000 | #Constraints: 90727
1004.27/1006.91 c #Conflicts: 175000 | #Constraints: 91727
1004.27/1006.91 c #Conflicts: 176000 | #Constraints: 92727
1004.27/1006.91 c #Conflicts: 177000 | #Constraints: 93727
1004.27/1006.91 c #Conflicts: 178000 | #Constraints: 94727
1004.27/1006.91 c #Conflicts: 179000 | #Constraints: 95727
1004.27/1006.91 c #Conflicts: 180000 | #Constraints: 96727
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 181000 | #Constraints: 89323
1004.27/1006.91 c #Conflicts: 182000 | #Constraints: 90323
1004.27/1006.91 c #Conflicts: 183000 | #Constraints: 91323
1004.27/1006.91 c #Conflicts: 184000 | #Constraints: 92323
1004.27/1006.91 c #Conflicts: 185000 | #Constraints: 93323
1004.27/1006.91 c #Conflicts: 186000 | #Constraints: 94323
1004.27/1006.91 c #Conflicts: 187000 | #Constraints: 95323
1004.27/1006.91 c #Conflicts: 188000 | #Constraints: 96323
1004.27/1006.91 c #Conflicts: 189000 | #Constraints: 97323
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 190000 | #Constraints: 89725
1004.27/1006.91 c #Conflicts: 191000 | #Constraints: 90725
1004.27/1006.91 c #Conflicts: 192000 | #Constraints: 91725
1004.27/1006.91 c #Conflicts: 193000 | #Constraints: 92725
1004.27/1006.91 c #Conflicts: 194000 | #Constraints: 93725
1004.27/1006.91 c #Conflicts: 195000 | #Constraints: 94725
1004.27/1006.91 c #Conflicts: 196000 | #Constraints: 95725
1004.27/1006.91 c #Conflicts: 197000 | #Constraints: 96725
1004.27/1006.91 c #Conflicts: 198000 | #Constraints: 97725
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 199000 | #Constraints: 89929
1004.27/1006.91 c #Conflicts: 200000 | #Constraints: 90929
1004.27/1006.91 c #Conflicts: 201000 | #Constraints: 91929
1004.27/1006.91 c #Conflicts: 202000 | #Constraints: 92929
1004.27/1006.91 c #Conflicts: 203000 | #Constraints: 93929
1004.27/1006.91 c #Conflicts: 204000 | #Constraints: 94929
1004.27/1006.91 c #Conflicts: 205000 | #Constraints: 95929
1004.27/1006.91 c #Conflicts: 206000 | #Constraints: 96929
1004.27/1006.91 c #Conflicts: 207000 | #Constraints: 97929
1004.27/1006.91 c INPROCESSING
1004.27/1006.91 c GARBAGE COLLECT
1004.27/1006.91 c #Conflicts: 208000 | #Constraints: 89929
1004.27/1006.91 c #Conflicts: 209000 | #Constraints: 90929
1004.27/1006.91 c #Conflicts: 210000 | #Constraints: 91929
1004.27/1006.91 c #Conflicts: 211000 | #Constraints: 92929
1004.27/1006.91 c #Conflicts: 212000 | #Constraints: 93929
1004.27/1006.91 c #Conflicts: 213000 | #Constraints: 94929
1543.80/1547.83 c #Conflicts: 214000 | #Constraints: 95929
1543.80/1547.83 c #Conflicts: 215000 | #Constraints: 96929
1543.80/1547.83 c #Conflicts: 216000 | #Constraints: 97929
1543.80/1547.83 c INPROCESSING
1543.80/1547.83 c GARBAGE COLLECT
1543.80/1547.83 c #Conflicts: 217000 | #Constraints: 89728
1543.80/1547.83 c #Conflicts: 218000 | #Constraints: 90728
1543.80/1547.83 c #Conflicts: 219000 | #Constraints: 91728
1543.80/1547.83 c #Conflicts: 220000 | #Constraints: 92728
1543.80/1547.83 c #Conflicts: 221000 | #Constraints: 93728
1543.80/1547.83 c #Conflicts: 222000 | #Constraints: 94728
1543.80/1547.83 c #Conflicts: 223000 | #Constraints: 95728
1543.80/1547.83 c #Conflicts: 224000 | #Constraints: 96728
1543.80/1547.83 c #Conflicts: 225000 | #Constraints: 97728
1543.80/1547.83 c #Conflicts: 226000 | #Constraints: 98728
1543.80/1547.83 c INPROCESSING
1543.80/1547.83 c GARBAGE COLLECT
1543.80/1547.83 c #Conflicts: 227000 | #Constraints: 90326
1543.80/1547.83 c #Conflicts: 228000 | #Constraints: 91326
1543.80/1547.83 c #Conflicts: 229000 | #Constraints: 92326
1543.80/1547.83 c #Conflicts: 230000 | #Constraints: 93326
1543.80/1547.83 c #Conflicts: 231000 | #Constraints: 94326
1543.80/1547.83 c #Conflicts: 232000 | #Constraints: 95326
1543.80/1547.83 c #Conflicts: 233000 | #Constraints: 96326
1543.80/1547.83 c #Conflicts: 234000 | #Constraints: 97326
1543.80/1547.83 c #Conflicts: 235000 | #Constraints: 98326
1543.80/1547.83 c #Conflicts: 236000 | #Constraints: 99326
1543.80/1547.83 c INPROCESSING
1543.80/1547.83 c GARBAGE COLLECT
1543.80/1547.83 c #Conflicts: 237000 | #Constraints: 90729
1543.80/1547.83 c #Conflicts: 238000 | #Constraints: 91729
1543.80/1547.83 c #Conflicts: 239000 | #Constraints: 92729
1543.80/1547.83 c #Conflicts: 240000 | #Constraints: 93729
1543.80/1547.83 c #Conflicts: 241000 | #Constraints: 94729
1543.80/1547.83 c #Conflicts: 242000 | #Constraints: 95729
1543.80/1547.83 c #Conflicts: 243000 | #Constraints: 96729
1543.80/1547.83 c #Conflicts: 244000 | #Constraints: 97729
1543.80/1547.83 c #Conflicts: 245000 | #Constraints: 98729
1543.80/1547.83 c #Conflicts: 246000 | #Constraints: 99729
1543.80/1547.83 c INPROCESSING
1543.80/1547.83 c GARBAGE COLLECT
1543.80/1547.83 c #Conflicts: 247000 | #Constraints: 90931
1543.80/1547.83 c #Conflicts: 248000 | #Constraints: 91931
1543.80/1547.83 c #Conflicts: 249000 | #Constraints: 92931
1543.80/1547.83 c #Conflicts: 250000 | #Constraints: 93931
1543.80/1547.83 c #Conflicts: 251000 | #Constraints: 94931
1543.80/1547.83 c #Conflicts: 252000 | #Constraints: 95931
1543.80/1547.83 c #Conflicts: 253000 | #Constraints: 96931
1543.80/1547.83 c #Conflicts: 254000 | #Constraints: 97931
1543.80/1547.83 c #Conflicts: 255000 | #Constraints: 98931
1543.80/1547.83 c #Conflicts: 256000 | #Constraints: 99931
1543.80/1547.83 c INPROCESSING
1543.80/1547.83 c GARBAGE COLLECT
1543.80/1547.83 c #Conflicts: 257000 | #Constraints: 90927
1543.80/1547.83 c #Conflicts: 258000 | #Constraints: 91927
1543.80/1547.83 c #Conflicts: 259000 | #Constraints: 92927
1543.80/1547.83 c #Conflicts: 260000 | #Constraints: 93927
1543.80/1547.83 c #Conflicts: 261000 | #Constraints: 94927
1543.80/1547.83 c #Conflicts: 262000 | #Constraints: 95927
1543.80/1547.83 c #Conflicts: 263000 | #Constraints: 96927
1543.80/1547.83 c #Conflicts: 264000 | #Constraints: 97927
1543.80/1547.83 c #Conflicts: 265000 | #Constraints: 98927
1543.80/1547.83 c #Conflicts: 266000 | #Constraints: 99927
1543.80/1547.83 c INPROCESSING
1543.80/1547.83 c GARBAGE COLLECT
1543.80/1547.83 c #Conflicts: 267000 | #Constraints: 90727
1543.80/1547.83 c #Conflicts: 268000 | #Constraints: 91727
1543.80/1547.83 c #Conflicts: 269000 | #Constraints: 92727
1543.80/1547.83 c #Conflicts: 270000 | #Constraints: 93727
1543.80/1547.83 c #Conflicts: 271000 | #Constraints: 94727
1543.80/1547.83 c #Conflicts: 272000 | #Constraints: 95727
1543.80/1547.83 c #Conflicts: 273000 | #Constraints: 96727
1543.80/1547.83 c #Conflicts: 274000 | #Constraints: 97727
1543.80/1547.83 c #Conflicts: 275000 | #Constraints: 98727
1543.80/1547.83 c #Conflicts: 276000 | #Constraints: 99727
1543.80/1547.83 c #Conflicts: 277000 | #Constraints: 100727
1543.80/1547.83 c INPROCESSING
1543.80/1547.83 c GARBAGE COLLECT
1543.80/1547.83 c #Conflicts: 278000 | #Constraints: 91326
1543.80/1547.83 c #Conflicts: 279000 | #Constraints: 92326
1543.80/1547.83 c #Conflicts: 280000 | #Constraints: 93326
1543.80/1547.83 c #Conflicts: 281000 | #Constraints: 94326
1543.80/1547.83 c #Conflicts: 282000 | #Constraints: 95326
1543.80/1547.83 c #Conflicts: 283000 | #Constraints: 96326
1543.80/1547.83 c #Conflicts: 284000 | #Constraints: 97326
1543.80/1547.83 c #Conflicts: 285000 | #Constraints: 98326
1543.80/1547.83 c #Conflicts: 286000 | #Constraints: 99326
1543.80/1547.83 c #Conflicts: 287000 | #Constraints: 100326
1543.80/1547.83 c #Conflicts: 288000 | #Constraints: 101326
2106.65/2112.16 c INPROCESSING
2106.65/2112.16 c GARBAGE COLLECT
2106.65/2112.16 c #Conflicts: 289000 | #Constraints: 91725
2106.65/2112.16 c #Conflicts: 290000 | #Constraints: 92725
2106.65/2112.16 c #Conflicts: 291000 | #Constraints: 93725
2106.65/2112.16 c #Conflicts: 292000 | #Constraints: 94725
2106.65/2112.16 c #Conflicts: 293000 | #Constraints: 95725
2106.65/2112.16 c #Conflicts: 294000 | #Constraints: 96725
2106.65/2112.16 c #Conflicts: 295000 | #Constraints: 97725
2106.65/2112.16 c #Conflicts: 296000 | #Constraints: 98725
2106.65/2112.16 c #Conflicts: 297000 | #Constraints: 99725
2106.65/2112.16 c #Conflicts: 298000 | #Constraints: 100725
2106.65/2112.16 c #Conflicts: 299000 | #Constraints: 101725
2106.65/2112.16 c INPROCESSING
2106.65/2112.16 c GARBAGE COLLECT
2106.65/2112.16 c #Conflicts: 300000 | #Constraints: 91926
2106.65/2112.16 c #Conflicts: 301000 | #Constraints: 92926
2106.65/2112.16 c #Conflicts: 302000 | #Constraints: 93926
2106.65/2112.16 c #Conflicts: 303000 | #Constraints: 94926
2106.65/2112.16 c #Conflicts: 304000 | #Constraints: 95926
2106.65/2112.16 c #Conflicts: 305000 | #Constraints: 96926
2106.65/2112.16 c #Conflicts: 306000 | #Constraints: 97926
2106.65/2112.16 c #Conflicts: 307000 | #Constraints: 98926
2106.65/2112.16 c #Conflicts: 308000 | #Constraints: 99926
2106.65/2112.16 c #Conflicts: 309000 | #Constraints: 100926
2106.65/2112.16 c #Conflicts: 310000 | #Constraints: 101926
2106.65/2112.16 c INPROCESSING
2106.65/2112.16 c GARBAGE COLLECT
2106.65/2112.16 c #Conflicts: 311000 | #Constraints: 91927
2106.65/2112.16 c #Conflicts: 312000 | #Constraints: 92927
2106.65/2112.16 c #Conflicts: 313000 | #Constraints: 93927
2106.65/2112.16 c #Conflicts: 314000 | #Constraints: 94927
2106.65/2112.16 c #Conflicts: 315000 | #Constraints: 95927
2106.65/2112.16 c #Conflicts: 316000 | #Constraints: 96927
2106.65/2112.16 c #Conflicts: 317000 | #Constraints: 97927
2106.65/2112.16 c #Conflicts: 318000 | #Constraints: 98927
2106.65/2112.16 c #Conflicts: 319000 | #Constraints: 99927
2106.65/2112.16 c #Conflicts: 320000 | #Constraints: 100927
2106.65/2112.16 c #Conflicts: 321000 | #Constraints: 101927
2106.65/2112.16 c INPROCESSING
2106.65/2112.16 c GARBAGE COLLECT
2106.65/2112.16 c #Conflicts: 322000 | #Constraints: 91725
2106.65/2112.16 c #Conflicts: 323000 | #Constraints: 92725
2106.65/2112.16 c #Conflicts: 324000 | #Constraints: 93725
2106.65/2112.16 c #Conflicts: 325000 | #Constraints: 94725
2106.65/2112.16 c #Conflicts: 326000 | #Constraints: 95725
2106.65/2112.16 c #Conflicts: 327000 | #Constraints: 96725
2106.65/2112.16 c #Conflicts: 328000 | #Constraints: 97725
2106.65/2112.16 c #Conflicts: 329000 | #Constraints: 98725
2106.65/2112.16 c #Conflicts: 330000 | #Constraints: 99725
2106.65/2112.16 c #Conflicts: 331000 | #Constraints: 100725
2106.65/2112.16 c #Conflicts: 332000 | #Constraints: 101725
2106.65/2112.16 c #Conflicts: 333000 | #Constraints: 102725
2106.65/2112.16 c INPROCESSING
2106.65/2112.16 c GARBAGE COLLECT
2106.65/2112.16 c #Conflicts: 334000 | #Constraints: 92323
2106.65/2112.16 c #Conflicts: 335000 | #Constraints: 93323
2106.65/2112.16 c #Conflicts: 336000 | #Constraints: 94323
2106.65/2112.16 c #Conflicts: 337000 | #Constraints: 95323
2106.65/2112.16 c #Conflicts: 338000 | #Constraints: 96323
2106.65/2112.16 c #Conflicts: 339000 | #Constraints: 97323
2106.65/2112.16 c #Conflicts: 340000 | #Constraints: 98323
2106.65/2112.16 c #Conflicts: 341000 | #Constraints: 99323
2106.65/2112.16 c #Conflicts: 342000 | #Constraints: 100323
2106.65/2112.16 c #Conflicts: 343000 | #Constraints: 101323
2106.65/2112.16 c #Conflicts: 344000 | #Constraints: 102323
2106.65/2112.16 c #Conflicts: 345000 | #Constraints: 103323
2106.65/2112.16 c INPROCESSING
2106.65/2112.16 c GARBAGE COLLECT
2106.65/2112.16 c #Conflicts: 346000 | #Constraints: 92726
2106.65/2112.16 c #Conflicts: 347000 | #Constraints: 93726
2106.65/2112.16 c #Conflicts: 348000 | #Constraints: 94726
2106.65/2112.16 c #Conflicts: 349000 | #Constraints: 95726
2106.65/2112.16 c #Conflicts: 350000 | #Constraints: 96726
2106.65/2112.16 c #Conflicts: 351000 | #Constraints: 97726
2106.65/2112.16 c #Conflicts: 352000 | #Constraints: 98726
2106.65/2112.16 c #Conflicts: 353000 | #Constraints: 99726
2106.65/2112.16 c #Conflicts: 354000 | #Constraints: 100726
2106.65/2112.16 c #Conflicts: 355000 | #Constraints: 101726
2106.65/2112.16 c #Conflicts: 356000 | #Constraints: 102726
2106.65/2112.16 c #Conflicts: 357000 | #Constraints: 103726
2106.65/2112.16 c INPROCESSING
2106.65/2112.16 c GARBAGE COLLECT
2106.65/2112.16 c #Conflicts: 358000 | #Constraints: 92927
2106.65/2112.16 c #Conflicts: 359000 | #Constraints: 93927
2106.65/2112.16 c #Conflicts: 360000 | #Constraints: 94927
2106.65/2112.16 c #Conflicts: 361000 | #Constraints: 95927
2106.65/2112.16 c #Conflicts: 362000 | #Constraints: 96927
2738.38/2745.73 c #Conflicts: 363000 | #Constraints: 97927
2738.38/2745.73 c #Conflicts: 364000 | #Constraints: 98927
2738.38/2745.73 c #Conflicts: 365000 | #Constraints: 99927
2738.38/2745.73 c #Conflicts: 366000 | #Constraints: 100927
2738.38/2745.73 c #Conflicts: 367000 | #Constraints: 101927
2738.38/2745.73 c #Conflicts: 368000 | #Constraints: 102927
2738.38/2745.73 c #Conflicts: 369000 | #Constraints: 103927
2738.38/2745.73 c INPROCESSING
2738.38/2745.73 c GARBAGE COLLECT
2738.38/2745.73 c #Conflicts: 370000 | #Constraints: 92928
2738.38/2745.73 c #Conflicts: 371000 | #Constraints: 93928
2738.38/2745.73 c #Conflicts: 372000 | #Constraints: 94928
2738.38/2745.73 c #Conflicts: 373000 | #Constraints: 95928
2738.38/2745.73 c #Conflicts: 374000 | #Constraints: 96928
2738.38/2745.73 c #Conflicts: 375000 | #Constraints: 97928
2738.38/2745.73 c #Conflicts: 376000 | #Constraints: 98928
2738.38/2745.73 c #Conflicts: 377000 | #Constraints: 99928
2738.38/2745.73 c #Conflicts: 378000 | #Constraints: 100928
2738.38/2745.73 c #Conflicts: 379000 | #Constraints: 101928
2738.38/2745.73 c #Conflicts: 380000 | #Constraints: 102928
2738.38/2745.73 c #Conflicts: 381000 | #Constraints: 103928
2738.38/2745.73 c INPROCESSING
2738.38/2745.73 c GARBAGE COLLECT
2738.38/2745.73 c #Conflicts: 382000 | #Constraints: 92730
2738.38/2745.73 c #Conflicts: 383000 | #Constraints: 93730
2738.38/2745.73 c #Conflicts: 384000 | #Constraints: 94730
2738.38/2745.73 c #Conflicts: 385000 | #Constraints: 95730
2738.38/2745.73 c #Conflicts: 386000 | #Constraints: 96730
2738.38/2745.73 c #Conflicts: 387000 | #Constraints: 97730
2738.38/2745.73 c #Conflicts: 388000 | #Constraints: 98730
2738.38/2745.73 c #Conflicts: 389000 | #Constraints: 99730
2738.38/2745.73 c #Conflicts: 390000 | #Constraints: 100730
2738.38/2745.73 c #Conflicts: 391000 | #Constraints: 101730
2738.38/2745.73 c #Conflicts: 392000 | #Constraints: 102730
2738.38/2745.73 c #Conflicts: 393000 | #Constraints: 103730
2738.38/2745.73 c #Conflicts: 394000 | #Constraints: 104730
2738.38/2745.73 c INPROCESSING
2738.38/2745.73 c GARBAGE COLLECT
2738.38/2745.73 c #Conflicts: 395000 | #Constraints: 93327
2738.38/2745.73 c #Conflicts: 396000 | #Constraints: 94327
2738.38/2745.73 c #Conflicts: 397000 | #Constraints: 95327
2738.38/2745.73 c #Conflicts: 398000 | #Constraints: 96327
2738.38/2745.73 c #Conflicts: 399000 | #Constraints: 97327
2738.38/2745.73 c #Conflicts: 400000 | #Constraints: 98327
2738.38/2745.73 c #Conflicts: 401000 | #Constraints: 99327
2738.38/2745.73 c #Conflicts: 402000 | #Constraints: 100327
2738.38/2745.73 c #Conflicts: 403000 | #Constraints: 101327
2738.38/2745.73 c #Conflicts: 404000 | #Constraints: 102327
2738.38/2745.73 c #Conflicts: 405000 | #Constraints: 103327
2738.38/2745.73 c #Conflicts: 406000 | #Constraints: 104327
2738.38/2745.73 c #Conflicts: 407000 | #Constraints: 105327
2738.38/2745.73 c INPROCESSING
2738.38/2745.73 c GARBAGE COLLECT
2738.38/2745.73 c #Conflicts: 408000 | #Constraints: 93729
2738.38/2745.73 c #Conflicts: 409000 | #Constraints: 94729
2738.38/2745.73 c #Conflicts: 410000 | #Constraints: 95729
2738.38/2745.73 c #Conflicts: 411000 | #Constraints: 96729
2738.38/2745.73 c #Conflicts: 412000 | #Constraints: 97729
2738.38/2745.73 c #Conflicts: 413000 | #Constraints: 98729
2738.38/2745.73 c #Conflicts: 414000 | #Constraints: 99729
2738.38/2745.73 c #Conflicts: 415000 | #Constraints: 100729
2738.38/2745.73 c #Conflicts: 416000 | #Constraints: 101729
2738.38/2745.73 c #Conflicts: 417000 | #Constraints: 102729
2738.38/2745.73 c #Conflicts: 418000 | #Constraints: 103729
2738.38/2745.73 c #Conflicts: 419000 | #Constraints: 104729
2738.38/2745.73 c #Conflicts: 420000 | #Constraints: 105729
2738.38/2745.73 c INPROCESSING
2738.38/2745.73 c GARBAGE COLLECT
2738.38/2745.73 c #Conflicts: 421000 | #Constraints: 93929
2738.38/2745.73 c #Conflicts: 422000 | #Constraints: 94929
2738.38/2745.73 c #Conflicts: 423000 | #Constraints: 95929
2738.38/2745.73 c #Conflicts: 424000 | #Constraints: 96929
2738.38/2745.73 c #Conflicts: 425000 | #Constraints: 97929
2738.38/2745.73 c #Conflicts: 426000 | #Constraints: 98929
2738.38/2745.73 c #Conflicts: 427000 | #Constraints: 99929
2738.38/2745.73 c #Conflicts: 428000 | #Constraints: 100929
2738.38/2745.73 c #Conflicts: 429000 | #Constraints: 101929
2738.38/2745.73 c #Conflicts: 430000 | #Constraints: 102929
2738.38/2745.73 c #Conflicts: 431000 | #Constraints: 103929
2738.38/2745.73 c #Conflicts: 432000 | #Constraints: 104929
2738.38/2745.73 c #Conflicts: 433000 | #Constraints: 105929
2738.38/2745.73 c INPROCESSING
2738.38/2745.73 c GARBAGE COLLECT
2738.38/2745.73 c #Conflicts: 434000 | #Constraints: 93925
2738.38/2745.73 c #Conflicts: 435000 | #Constraints: 94925
2738.38/2745.73 c #Conflicts: 436000 | #Constraints: 95925
2738.38/2745.73 c #Conflicts: 437000 | #Constraints: 96925
3466.63/3476.14 c #Conflicts: 438000 | #Constraints: 97925
3466.63/3476.14 c #Conflicts: 439000 | #Constraints: 98925
3466.63/3476.14 c #Conflicts: 440000 | #Constraints: 99925
3466.63/3476.14 c #Conflicts: 441000 | #Constraints: 100925
3466.63/3476.14 c #Conflicts: 442000 | #Constraints: 101925
3466.63/3476.14 c #Conflicts: 443000 | #Constraints: 102925
3466.63/3476.14 c #Conflicts: 444000 | #Constraints: 103925
3466.63/3476.14 c #Conflicts: 445000 | #Constraints: 104925
3466.63/3476.14 c #Conflicts: 446000 | #Constraints: 105925
3466.63/3476.14 c INPROCESSING
3466.63/3476.14 c GARBAGE COLLECT
3466.63/3476.14 c #Conflicts: 447000 | #Constraints: 93728
3466.63/3476.14 c #Conflicts: 448000 | #Constraints: 94728
3466.63/3476.14 c #Conflicts: 449000 | #Constraints: 95728
3466.63/3476.14 c #Conflicts: 450000 | #Constraints: 96728
3466.63/3476.14 c #Conflicts: 451000 | #Constraints: 97728
3466.63/3476.14 c #Conflicts: 452000 | #Constraints: 98728
3466.63/3476.14 c #Conflicts: 453000 | #Constraints: 99728
3466.63/3476.14 c #Conflicts: 454000 | #Constraints: 100728
3466.63/3476.14 c #Conflicts: 455000 | #Constraints: 101728
3466.63/3476.14 c #Conflicts: 456000 | #Constraints: 102728
3466.63/3476.14 c #Conflicts: 457000 | #Constraints: 103728
3466.63/3476.14 c #Conflicts: 458000 | #Constraints: 104728
3466.63/3476.14 c #Conflicts: 459000 | #Constraints: 105728
3466.63/3476.14 c #Conflicts: 460000 | #Constraints: 106728
3466.63/3476.14 c INPROCESSING
3466.63/3476.14 c GARBAGE COLLECT
3466.63/3476.14 c #Conflicts: 461000 | #Constraints: 94327
3466.63/3476.14 c #Conflicts: 462000 | #Constraints: 95327
3466.63/3476.14 c #Conflicts: 463000 | #Constraints: 96327
3466.63/3476.14 c #Conflicts: 464000 | #Constraints: 97327
3466.63/3476.14 c #Conflicts: 465000 | #Constraints: 98327
3466.63/3476.14 c #Conflicts: 466000 | #Constraints: 99327
3466.63/3476.14 c #Conflicts: 467000 | #Constraints: 100327
3466.63/3476.14 c #Conflicts: 468000 | #Constraints: 101327
3466.63/3476.14 c #Conflicts: 469000 | #Constraints: 102327
3466.63/3476.14 c #Conflicts: 470000 | #Constraints: 103327
3466.63/3476.14 c #Conflicts: 471000 | #Constraints: 104327
3466.63/3476.14 c #Conflicts: 472000 | #Constraints: 105327
3466.63/3476.14 c #Conflicts: 473000 | #Constraints: 106327
3466.63/3476.14 c #Conflicts: 474000 | #Constraints: 107327
3466.63/3476.14 c INPROCESSING
3466.63/3476.14 c GARBAGE COLLECT
3466.63/3476.14 c #Conflicts: 475000 | #Constraints: 94727
3466.63/3476.14 c #Conflicts: 476000 | #Constraints: 95727
3466.63/3476.14 c #Conflicts: 477000 | #Constraints: 96727
3466.63/3476.14 c #Conflicts: 478000 | #Constraints: 97727
3466.63/3476.14 c #Conflicts: 479000 | #Constraints: 98727
3466.63/3476.14 c #Conflicts: 480000 | #Constraints: 99727
3466.63/3476.14 c #Conflicts: 481000 | #Constraints: 100727
3466.63/3476.14 c #Conflicts: 482000 | #Constraints: 101727
3466.63/3476.14 c #Conflicts: 483000 | #Constraints: 102727
3466.63/3476.14 c #Conflicts: 484000 | #Constraints: 103727
3466.63/3476.14 c #Conflicts: 485000 | #Constraints: 104727
3466.63/3476.14 c #Conflicts: 486000 | #Constraints: 105727
3466.63/3476.14 c #Conflicts: 487000 | #Constraints: 106727
3466.63/3476.14 c #Conflicts: 488000 | #Constraints: 107727
3466.63/3476.14 c INPROCESSING
3466.63/3476.14 c GARBAGE COLLECT
3466.63/3476.14 c #Conflicts: 489000 | #Constraints: 94927
3466.63/3476.14 c #Conflicts: 490000 | #Constraints: 95927
3466.63/3476.14 c #Conflicts: 491000 | #Constraints: 96927
3466.63/3476.14 c #Conflicts: 492000 | #Constraints: 97927
3466.63/3476.14 c #Conflicts: 493000 | #Constraints: 98927
3466.63/3476.14 c #Conflicts: 494000 | #Constraints: 99927
3466.63/3476.14 c #Conflicts: 495000 | #Constraints: 100927
3466.63/3476.14 c #Conflicts: 496000 | #Constraints: 101927
3466.63/3476.14 c #Conflicts: 497000 | #Constraints: 102927
3466.63/3476.14 c #Conflicts: 498000 | #Constraints: 103927
3466.63/3476.14 c #Conflicts: 499000 | #Constraints: 104927
3466.63/3476.14 c #Conflicts: 500000 | #Constraints: 105927
3466.63/3476.14 c #Conflicts: 501000 | #Constraints: 106927
3466.63/3476.14 c #Conflicts: 502000 | #Constraints: 107927
3466.63/3476.14 c INPROCESSING
3466.63/3476.14 c GARBAGE COLLECT
3466.63/3476.14 c #Conflicts: 503000 | #Constraints: 94922
3466.63/3476.14 c #Conflicts: 504000 | #Constraints: 95922
3466.63/3476.14 c #Conflicts: 505000 | #Constraints: 96922
3466.63/3476.14 c #Conflicts: 506000 | #Constraints: 97922
3466.63/3476.14 c #Conflicts: 507000 | #Constraints: 98922
3466.63/3476.14 c #Conflicts: 508000 | #Constraints: 99922
3466.63/3476.14 c #Conflicts: 509000 | #Constraints: 100922
3466.63/3476.14 c #Conflicts: 510000 | #Constraints: 101922
3466.63/3476.14 c #Conflicts: 511000 | #Constraints: 102922
3466.63/3476.14 c #Conflicts: 512000 | #Constraints: 103922
3466.63/3476.14 c #Conflicts: 513000 | #Constraints: 104922
3600.04/3609.90 c #Conflicts: 514000 | #Constraints: 105922
3600.04/3609.90 c #Conflicts: 515000 | #Constraints: 106922
3600.04/3609.90 c #Conflicts: 516000 | #Constraints: 107922
3600.04/3609.90 c INPROCESSING
3600.04/3609.90 c GARBAGE COLLECT
3600.04/3609.90 c #Conflicts: 517000 | #Constraints: 94722
3600.04/3609.90 c #Conflicts: 518000 | #Constraints: 95722
3600.04/3609.90 c #Conflicts: 519000 | #Constraints: 96722
3600.04/3609.90 c #Conflicts: 520000 | #Constraints: 97722
3600.04/3609.90 c #Conflicts: 521000 | #Constraints: 98722
3600.04/3609.90 c #Conflicts: 522000 | #Constraints: 99722
3600.04/3609.90 c #Conflicts: 523000 | #Constraints: 100722
3600.04/3609.90 c #Conflicts: 524000 | #Constraints: 101722
3600.04/3609.90 c #Conflicts: 525000 | #Constraints: 102722
3600.04/3609.90 c #Conflicts: 526000 | #Constraints: 103722
3600.04/3609.90 c #Conflicts: 527000 | #Constraints: 104722
3600.04/3609.90 c cpu time 3596.53 s
3600.04/3609.90 c deterministic time 1 1.00e+00
3600.04/3609.90 c optimization time 3596.32 s
3600.04/3609.90 c total solve time 0 s
3600.04/3609.90 c core-guided solve time 0 s
3600.04/3609.90 c propagation time 0.02395 s
3600.04/3609.90 c conflict analysis time 0 s
3600.04/3609.90 c propagations 0
3600.04/3609.90 c resolve steps 0
3600.04/3609.90 c decisions 0
3600.04/3609.90 c conflicts 0
3600.04/3609.90 c restarts 0
3600.04/3609.90 c inprocessing phases 0
3600.04/3609.90 c garbage collections 0 ,( -nan )
3600.04/3609.90 c input clauses 80035 ,( 100.00 )
3600.04/3609.90 c input cardinalities 0 ,( 0.00 )
3600.04/3609.90 c input general constraints 0 ,( 0.00 )
3600.04/3609.90 c input average constraint length 2.00
3600.04/3609.90 c input average constraint degree 1.00
3600.04/3609.90 c learned clauses 0 ,( 0.00 )
3600.04/3609.90 c learned cardinalities 0 ,( 0.00 )
3600.04/3609.90 c learned general constraints 0 ,( 0.00 )
3600.04/3609.90 c learned average constraint length 0.00
3600.04/3609.90 c learned average constraint degree 0.00
3600.04/3609.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3609.90 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3609.90 c watched constraints 0 ,( -nan )
3600.04/3609.90 c counting constraints 0 ,( -nan )
3600.04/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3609.90 c gcd simplifications 0
3600.04/3609.90 c detected cardinalities 0
3600.04/3609.90 c weakened non-implied lits 0
3600.04/3609.90 c weakened non-implying lits 0
3600.04/3609.90 c original variables 1150
3600.04/3609.90 c clausal propagations 0
3600.04/3609.90 c cardinality propagations 0
3600.04/3609.90 c watched propagations 0
3600.04/3609.90 c counting propagations 0
3600.04/3609.90 c watch lookups 0
3600.04/3609.90 c watch backjump lookups 0
3600.04/3609.90 c watch checks 0
3600.04/3609.90 c propagation checks 0
3600.04/3609.90 c constraint additions 0
3600.04/3609.90 c trail pops 0
3600.04/3609.90 c formula constraints 80035
3600.04/3609.90 c learned constraints 0
3600.04/3609.90 c bound constraints 0
3600.04/3609.90 c core-guided constraints 0
3600.04/3609.90 c encountered formula constraints 0
3600.04/3609.90 c encountered learned constraints 0
3600.04/3609.90 c encountered bound constraints 0
3600.04/3609.90 c encountered core-guided constraints 0
3600.04/3609.90 c LP total time 0 s
3600.04/3609.90 c LP solve time 0 s
3600.04/3609.90 c LP constraints added 0
3600.04/3609.90 c LP constraints removed 0
3600.04/3609.90 c LP pivots internal 0
3600.04/3609.90 c LP pivots root 0
3600.04/3609.90 c LP calls 0
3600.04/3609.90 c LP optimalities 0
3600.04/3609.90 c LP no pivot count 0
3600.04/3609.90 c LP infeasibilities 0
3600.04/3609.90 c LP valid Farkas constraints 0
3600.04/3609.90 c LP learned Farkas constraints 0
3600.04/3609.90 c LP basis resets 0
3600.04/3609.90 c LP cycling count 0
3600.04/3609.90 c LP singular count 0
3600.04/3609.90 c LP no primal count 0
3600.04/3609.90 c LP no farkas count 0
3600.04/3609.90 c LP other issue count 0
3600.04/3609.90 c LP Gomory cuts 0
3600.04/3609.90 c LP learned cuts 0
3600.04/3609.90 c LP deleted cuts 0
3600.04/3609.90 c LP encountered Gomory constraints 0
3600.04/3609.90 c LP encountered Farkas constraints 0
3600.04/3609.90 c LP encountered learned Farkas constraints 0
3600.04/3609.90 c CG auxiliary variables introduced 0
3600.04/3609.90 c CG solutions found 0
3600.04/3609.90 c CG cores constructed 0
3600.04/3609.90 c CG core cardinality constraints returned 0
3600.04/3609.90 c CG unit cores 0
3600.04/3609.90 c CG single cores 0
3600.04/3609.90 c CG blocks removed during cardinality reduction 0
3600.04/3609.90 c CG first core best 0
3600.04/3609.90 c CG decision core best 0
3600.04/3609.90 c CG core reduction tie 0
3600.04/3609.90 c CG core degree average 0.00
3600.04/3609.90 c CG core slack average 0.00
3600.04/3609.90 c CG core upper bound improvements 0
3600.04/3609.90 c STR number of successful calls 0
3600.04/3609.90 c STR number of unsuccessful calls 0
3600.04/3609.90 c STR number of inconclusive calls 0
3600.04/3609.90 c STR number of successful attempts 0
3600.04/3609.90 c STR number of unsuccessful attempts 0
3600.04/3609.90 c STR number of inconclusive attempts 0
3600.04/3609.90 c STR average degree increase per successful call inf
3600.04/3609.90 c STR average degree increase per successful attempt inf
3600.04/3609.90 c STR total number of conflicts for successful attempts 0
3600.04/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.90 c STR average number of conflicts per successful attempt inf
3600.04/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.90 c AVG.sumWPerc -nan
3600.04/3609.90 c bigint constraints 0
3600.04/3609.90 s UNKNOWN
3600.04/3609.90 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-4484952-1751299457/watcher-4484952-1751299457 -o /tmp/evaluation-result-4484952-1751299457/solver-4484952-1751299457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39124 --watchdog 3760 run-opt.sh HOME/instance-4484952-1751299457.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=39972, runsolver pid=39968
[startup+0.100057 s]*
/proc/loadavg: 4.11 4.10 4.09 4/262 39980
/proc/meminfo: memFree=124638368/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=58260 memory=13020 CPUtime=0.08 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 1140 0 0 0 6 2 0 0 20 0 1 0 45620271 59658240 3255 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 14565 3255 1888 1147 0 1992 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62452 KiB
Current children cumulated memory: 16092 KiB
[startup+0.205775 s]*
/proc/loadavg: 4.11 4.10 4.09 4/262 39980
/proc/meminfo: memFree=124590608/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=70892 memory=27844 CPUtime=0.18 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 4081 0 0 0 13 5 0 0 20 0 1 0 45620271 72593408 6961 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 17723 6961 2240 1147 0 5150 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75084 KiB
Current children cumulated memory: 30916 KiB
[startup+0.305869 s]*
/proc/loadavg: 4.11 4.10 4.09 4/264 39986
/proc/meminfo: memFree=124491772/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=137684 memory=67192 CPUtime=0.28 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 7232 0 0 0 21 7 0 0 20 0 1 0 45620271 140988416 16798 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 34421 16798 2240 1147 0 21848 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 141876 KiB
Current children cumulated memory: 70264 KiB
[startup+0.700156 s]
/proc/loadavg: 4.11 4.10 4.09 4/262 40002
/proc/meminfo: memFree=124427336/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=191464 memory=124564 CPUtime=0.67 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 20143 0 0 0 51 16 0 0 20 0 1 0 45620271 196059136 31141 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 47866 31141 2336 1147 0 35293 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 195656 KiB
Current children cumulated memory: 127636 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.10 4.09 6/267 40018
/proc/meminfo: memFree=124393048/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=191464 memory=124564 CPUtime=1.46 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 20146 0 0 0 130 16 0 0 20 0 1 0 45620271 196059136 31141 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 47866 31141 2336 1147 0 35293 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 195656 KiB
Current children cumulated memory: 127636 KiB
[startup+3.10583 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124376868/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=221816 memory=145912 CPUtime=3.07 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 20367 0 0 0 289 18 0 0 20 0 1 0 45620271 227139584 36478 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 55454 36478 2336 1147 0 42881 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 226008 KiB
Current children cumulated memory: 148984 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124348792/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=221816 memory=150012 CPUtime=6.25 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 20383 0 0 0 606 19 0 0 20 0 1 0 45620271 227139584 37503 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 55454 37503 2336 1147 0 42881 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 226008 KiB
Current children cumulated memory: 153084 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 40019
/proc/meminfo: memFree=124340668/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=240784 memory=157996 CPUtime=12.64 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 20861 0 0 0 1242 22 0 0 20 0 1 0 45620271 246562816 39499 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 60196 39499 2336 1147 0 47623 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 244976 KiB
Current children cumulated memory: 161068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 40020
/proc/meminfo: memFree=124324156/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=240784 memory=164152 CPUtime=25.41 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 20866 0 0 0 2515 26 0 0 20 0 1 0 45620271 246562816 41038 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 60196 41038 2336 1147 0 47623 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 244976 KiB
Current children cumulated memory: 167224 KiB
[startup+51.106 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 40020
/proc/meminfo: memFree=124295636/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=240784 memory=172368 CPUtime=50.94 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 20876 0 0 0 5064 30 0 0 20 0 1 0 45620271 246562816 43092 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 60196 43092 2336 1147 0 47623 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 244976 KiB
Current children cumulated memory: 175440 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 40022
/proc/meminfo: memFree=124250820/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=271604 memory=182888 CPUtime=102.01 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 21463 0 0 0 10159 42 0 0 20 0 1 0 45620271 278122496 45722 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 67901 45722 2336 1147 0 55328 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 275796 KiB
Current children cumulated memory: 185960 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 40069
/proc/meminfo: memFree=124523736/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=280676 memory=202628 CPUtime=161.84 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 23323 0 0 0 16131 53 0 0 20 0 1 0 45620271 287412224 50657 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 70169 50657 2336 1147 0 57596 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 284868 KiB
Current children cumulated memory: 205700 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 40076
/proc/meminfo: memFree=124489688/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=285872 memory=211460 CPUtime=221.65 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 24575 0 0 0 22104 61 0 0 20 0 1 0 45620271 292732928 52865 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 71468 52865 2336 1147 0 58895 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
/proc/39978/statm: 131627 106960 2336 1147 0 119054 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 530700 KiB
Current children cumulated memory: 430912 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 40212
/proc/meminfo: memFree=123704888/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=526508 memory=427840 CPUtime=3153.75 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 51578 0 0 0 315051 324 0 0 20 0 1 0 45620271 539144192 106960 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 131627 106960 2336 1147 0 119054 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 530700 KiB
Current children cumulated memory: 430912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 40218
/proc/meminfo: memFree=123718632/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=526508 memory=427968 CPUtime=3213.58 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 51614 0 0 0 321032 326 0 0 20 0 1 0 45620271 539144192 106992 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 131627 106992 2336 1147 0 119054 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 530700 KiB
Current children cumulated memory: 431040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 40220
/proc/meminfo: memFree=123717544/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=528700 memory=430144 CPUtime=3273.4 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 52151 0 0 0 327011 329 0 0 20 0 1 0 45620271 541388800 107536 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 132175 107536 2336 1147 0 119602 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 532892 KiB
Current children cumulated memory: 433216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 40226
/proc/meminfo: memFree=123701336/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=531516 memory=432192 CPUtime=3333.22 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 52682 0 0 0 332990 332 0 0 20 0 1 0 45620271 544272384 108048 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 132879 108048 2336 1147 0 120306 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 535708 KiB
Current children cumulated memory: 435264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/268 40228
/proc/meminfo: memFree=123681220/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=534708 memory=437336 CPUtime=3393.05 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 53442 0 0 0 338969 336 0 0 20 0 1 0 45620271 547540992 109334 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 133677 109334 2336 1147 0 121104 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 538900 KiB
Current children cumulated memory: 440408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 40241
/proc/meminfo: memFree=123681444/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=534708 memory=437336 CPUtime=3452.87 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 53442 0 0 0 344948 339 0 0 20 0 1 0 45620271 547540992 109334 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 133677 109334 2336 1147 0 121104 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 538900 KiB
Current children cumulated memory: 440408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 40243
/proc/meminfo: memFree=123669012/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=535992 memory=438744 CPUtime=3512.7 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 53798 0 0 0 350926 344 0 0 20 0 1 0 45620271 548855808 109686 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 133998 109686 2336 1147 0 121425 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 540184 KiB
Current children cumulated memory: 441816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/268 40245
/proc/meminfo: memFree=123665656/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=535992 memory=438744 CPUtime=3572.52 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 53870 0 0 0 356903 349 0 0 20 0 1 0 45620271 548855808 109686 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 133998 109686 2336 1147 0 121425 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 540184 KiB
Current children cumulated memory: 441816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 40246
/proc/meminfo: memFree=123665572/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=536384 memory=439000 CPUtime=3600.04 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 53935 0 0 0 359653 351 0 0 20 0 1 0 45620271 549257216 109750 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 134096 109750 2336 1147 0 121523 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 540576 KiB
Current children cumulated memory: 442072 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 39972 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002818 s
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 39978 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.54 s, system=3.52246 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+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 40246
/proc/meminfo: memFree=123665572/131249992 swapFree=33010160/33010684
[pid=39972] ppid=39968 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39972/stat : 39972 (run-opt.sh) S 39968 39972 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45620270 4292608 768 18446744073709551615 94041181396992 94041182291525 140733198254800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94041182530576 94041182578320 94041195106304 140733198256493 140733198256616 140733198256616 140733198262218 0
/proc/39972/statm: 1048 768 704 219 0 110 0
[pid=39978] ppid=39972 vsize=536384 memory=439000 CPUtime=3600.04 cores=1,3
/proc/39978/stat : 39978 (roundingsat) R 39972 39972 39107 0 -1 4194304 53935 0 0 0 359653 351 0 0 20 0 1 0 45620271 549257216 109750 18446744073709551615 4227072 8923433 140729188029312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19365888 140729188034978 140729188035112 140729188035112 140729188040682 0
/proc/39978/statm: 134096 109750 2336 1147 0 121523 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 540576 KiB
Current children cumulated memory: 442072 KiB
Child status: 2
Real time (s): 3609.92
CPU time (s): 3600.07
CPU user time (s): 3596.54
CPU system time (s): 3.52246
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 540576
Max. memory (cumulated for all children) (KiB): 442072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.54
system time used= 3.52246
maximum resident set size= 439512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54183
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= 235
involuntary context switches= 1837
# summary of solver processes directly reported to runsolver:
# pid: 39972,39978
# total CPU time (s): 3600.07
# total CPU user time (s): 3596.54
# total CPU system time (s): 3.52246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21988 second user time and 17.7545 second system time
The end
Begin job on nodeC035 at 2025-06-30 18:04:17
IDJOB=4484952
IDBENCH=146676
IDSOLVER=3350
FILE ID=nodeC035/4484952-1751299457
RUNJOBID= nodeC035-1751292233-39124
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/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484952-1751299457/watcher-4484952-1751299457 -o /tmp/evaluation-result-4484952-1751299457/solver-4484952-1751299457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39124 --watchdog 3760 run-opt.sh HOME/instance-4484952-1751299457.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f
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.798
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: 848132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 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:27