0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 792 #constraints 1188
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.002384
0.00/0.01 c stratification level: 60
0.00/0.01 c bounds 692 >= 0 @ 0.004841
0.00/0.01 c stratification level: 45
0.00/0.01 c bounds 672 >= 0 @ 0.005168
0.00/0.01 c stratification level: 40
0.00/0.01 c bounds 577 >= 0 @ 0.005253
0.00/0.01 c stratification level: 30
0.00/0.01 c bounds 557 >= 0 @ 0.005987
0.00/0.01 c stratification level: 20
0.00/0.04 c bounds 557 >= 20 @ 0.007247
0.00/0.04 c bounds 557 >= 40 @ 0.021124
0.00/0.04 c finalizing WCE round: reformulating cores
0.19/0.22 c bounds 397 >= 40 @ 0.028274
0.19/0.22 c #Conflicts: 1000 | #Constraints: 2200
0.19/0.22 c bounds 392 >= 40 @ 0.189918
0.19/0.22 c stratification level: 15
0.19/0.24 c bounds 392 >= 55 @ 0.203092
0.19/0.24 c finalizing WCE round: reformulating cores
0.19/0.24 c bounds 192 >= 55 @ 0.203979
0.19/0.24 c bounds 182 >= 55 @ 0.204483
0.19/0.24 c stratification level: 10
0.19/0.25 c bounds 172 >= 55 @ 0.214131
0.19/0.25 c stratification level: 5
0.39/0.47 c #Conflicts: 2000 | #Constraints: 3208
0.39/0.47 c INPROCESSING
0.39/0.47 c GARBAGE COLLECT
0.39/0.47 c bounds 172 >= 60 @ 0.256846
0.39/0.47 c bounds 172 >= 65 @ 0.29443
0.39/0.47 c bounds 172 >= 70 @ 0.372577
0.39/0.47 c finalizing WCE round: reformulating cores
1.88/1.91 c #Conflicts: 3000 | #Constraints: 3235
1.88/1.91 c #Conflicts: 4000 | #Constraints: 4237
1.88/1.91 c INPROCESSING
1.88/1.91 c GARBAGE COLLECT
1.88/1.91 c #Conflicts: 5000 | #Constraints: 3638
1.88/1.91 c bounds 152 >= 70 @ 1.11539
1.88/1.91 c bounds 152 >= 75 @ 1.16876
1.88/1.91 c #Conflicts: 6000 | #Constraints: 4648
1.88/1.91 c INPROCESSING
1.88/1.91 c GARBAGE COLLECT
1.88/1.91 c #Conflicts: 7000 | #Constraints: 3664
1.88/1.91 c bounds 152 >= 80 @ 1.70982
1.88/1.91 c finalizing WCE round: reformulating cores
6.08/6.13 c #Conflicts: 8000 | #Constraints: 4680
6.08/6.13 c #Conflicts: 9000 | #Constraints: 5682
6.08/6.13 c bounds 142 >= 80 @ 2.51982
6.08/6.13 c INPROCESSING
6.08/6.13 c GARBAGE COLLECT
6.08/6.13 c bounds 142 >= 85 @ 2.91341
6.08/6.13 c #Conflicts: 10000 | #Constraints: 4394
6.08/6.13 c #Conflicts: 11000 | #Constraints: 5394
6.08/6.13 c #Conflicts: 12000 | #Constraints: 6394
6.08/6.13 c INPROCESSING
6.08/6.13 c GARBAGE COLLECT
6.08/6.13 c #Conflicts: 13000 | #Constraints: 4843
6.08/6.13 c #Conflicts: 14000 | #Constraints: 5843
6.08/6.13 c bounds 142 >= 90 @ 5.74231
6.08/6.13 c #Conflicts: 15000 | #Constraints: 6859
6.08/6.13 c INPROCESSING
6.08/6.13 c GARBAGE COLLECT
6.08/6.13 c finalizing WCE round: reformulating cores
7.27/7.33 c #Conflicts: 16000 | #Constraints: 5082
7.27/7.33 c bounds 137 >= 90 @ 6.44356
7.27/7.33 c #Conflicts: 17000 | #Constraints: 6083
7.27/7.33 c bounds 122 >= 90 @ 6.95389
7.27/7.33 c stratification level: 3
76.49/76.74 c bounds 122 >= 93 @ 6.95563
76.49/76.74 c bounds 122 >= 96 @ 6.95642
76.49/76.74 c #Conflicts: 18000 | #Constraints: 7120
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 19000 | #Constraints: 5119
76.49/76.74 c #Conflicts: 20000 | #Constraints: 6119
76.49/76.74 c #Conflicts: 21000 | #Constraints: 7119
76.49/76.74 c bounds 122 >= 101 @ 10.3779
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 22000 | #Constraints: 4943
76.49/76.74 c #Conflicts: 23000 | #Constraints: 5943
76.49/76.74 c #Conflicts: 24000 | #Constraints: 6943
76.49/76.74 c #Conflicts: 25000 | #Constraints: 7943
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 26000 | #Constraints: 5551
76.49/76.74 c #Conflicts: 27000 | #Constraints: 6551
76.49/76.74 c #Conflicts: 28000 | #Constraints: 7551
76.49/76.74 c #Conflicts: 29000 | #Constraints: 8551
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 30000 | #Constraints: 5951
76.49/76.74 c #Conflicts: 31000 | #Constraints: 6951
76.49/76.74 c #Conflicts: 32000 | #Constraints: 7951
76.49/76.74 c #Conflicts: 33000 | #Constraints: 8951
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 34000 | #Constraints: 6173
76.49/76.74 c #Conflicts: 35000 | #Constraints: 7173
76.49/76.74 c #Conflicts: 36000 | #Constraints: 8173
76.49/76.74 c #Conflicts: 37000 | #Constraints: 9173
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 38000 | #Constraints: 6166
76.49/76.74 c #Conflicts: 39000 | #Constraints: 7166
76.49/76.74 c #Conflicts: 40000 | #Constraints: 8166
76.49/76.74 c #Conflicts: 41000 | #Constraints: 9166
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 42000 | #Constraints: 5964
76.49/76.74 c #Conflicts: 43000 | #Constraints: 6964
76.49/76.74 c #Conflicts: 44000 | #Constraints: 7964
76.49/76.74 c #Conflicts: 45000 | #Constraints: 8964
76.49/76.74 c #Conflicts: 46000 | #Constraints: 9964
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 47000 | #Constraints: 6558
76.49/76.74 c #Conflicts: 48000 | #Constraints: 7558
76.49/76.74 c #Conflicts: 49000 | #Constraints: 8558
76.49/76.74 c #Conflicts: 50000 | #Constraints: 9558
76.49/76.74 c #Conflicts: 51000 | #Constraints: 10558
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 52000 | #Constraints: 6963
76.49/76.74 c #Conflicts: 53000 | #Constraints: 7963
76.49/76.74 c #Conflicts: 54000 | #Constraints: 8963
76.49/76.74 c #Conflicts: 55000 | #Constraints: 9963
76.49/76.74 c #Conflicts: 56000 | #Constraints: 10963
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 57000 | #Constraints: 7160
76.49/76.74 c #Conflicts: 58000 | #Constraints: 8160
76.49/76.74 c #Conflicts: 59000 | #Constraints: 9160
76.49/76.74 c #Conflicts: 60000 | #Constraints: 10160
76.49/76.74 c #Conflicts: 61000 | #Constraints: 11160
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 62000 | #Constraints: 7156
76.49/76.74 c #Conflicts: 63000 | #Constraints: 8156
76.49/76.74 c #Conflicts: 64000 | #Constraints: 9156
76.49/76.74 c #Conflicts: 65000 | #Constraints: 10156
76.49/76.74 c #Conflicts: 66000 | #Constraints: 11156
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 67000 | #Constraints: 6967
76.49/76.74 c #Conflicts: 68000 | #Constraints: 7967
76.49/76.74 c #Conflicts: 69000 | #Constraints: 8967
76.49/76.74 c #Conflicts: 70000 | #Constraints: 9967
76.49/76.74 c #Conflicts: 71000 | #Constraints: 10967
76.49/76.74 c #Conflicts: 72000 | #Constraints: 11967
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 73000 | #Constraints: 7566
76.49/76.74 c #Conflicts: 74000 | #Constraints: 8566
76.49/76.74 c #Conflicts: 75000 | #Constraints: 9566
76.49/76.74 c #Conflicts: 76000 | #Constraints: 10566
76.49/76.74 c #Conflicts: 77000 | #Constraints: 11566
76.49/76.74 c #Conflicts: 78000 | #Constraints: 12566
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 79000 | #Constraints: 7964
76.49/76.74 c #Conflicts: 80000 | #Constraints: 8964
76.49/76.74 c #Conflicts: 81000 | #Constraints: 9964
76.49/76.74 c #Conflicts: 82000 | #Constraints: 10964
76.49/76.74 c #Conflicts: 83000 | #Constraints: 11964
76.49/76.74 c #Conflicts: 84000 | #Constraints: 12964
76.49/76.74 c INPROCESSING
76.49/76.74 c GARBAGE COLLECT
76.49/76.74 c #Conflicts: 85000 | #Constraints: 8154
174.35/174.89 c #Conflicts: 86000 | #Constraints: 9154
174.35/174.89 c #Conflicts: 87000 | #Constraints: 10154
174.35/174.89 c #Conflicts: 88000 | #Constraints: 11154
174.35/174.89 c #Conflicts: 89000 | #Constraints: 12154
174.35/174.89 c #Conflicts: 90000 | #Constraints: 13154
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 91000 | #Constraints: 8166
174.35/174.89 c #Conflicts: 92000 | #Constraints: 9166
174.35/174.89 c #Conflicts: 93000 | #Constraints: 10166
174.35/174.89 c #Conflicts: 94000 | #Constraints: 11166
174.35/174.89 c #Conflicts: 95000 | #Constraints: 12166
174.35/174.89 c #Conflicts: 96000 | #Constraints: 13166
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 97000 | #Constraints: 7964
174.35/174.89 c #Conflicts: 98000 | #Constraints: 8964
174.35/174.89 c #Conflicts: 99000 | #Constraints: 9964
174.35/174.89 c #Conflicts: 100000 | #Constraints: 10964
174.35/174.89 c #Conflicts: 101000 | #Constraints: 11964
174.35/174.89 c #Conflicts: 102000 | #Constraints: 12964
174.35/174.89 c #Conflicts: 103000 | #Constraints: 13964
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 104000 | #Constraints: 8581
174.35/174.89 c #Conflicts: 105000 | #Constraints: 9581
174.35/174.89 c #Conflicts: 106000 | #Constraints: 10581
174.35/174.89 c #Conflicts: 107000 | #Constraints: 11581
174.35/174.89 c #Conflicts: 108000 | #Constraints: 12581
174.35/174.89 c #Conflicts: 109000 | #Constraints: 13581
174.35/174.89 c #Conflicts: 110000 | #Constraints: 14581
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 111000 | #Constraints: 8976
174.35/174.89 c #Conflicts: 112000 | #Constraints: 9976
174.35/174.89 c #Conflicts: 113000 | #Constraints: 10976
174.35/174.89 c #Conflicts: 114000 | #Constraints: 11976
174.35/174.89 c #Conflicts: 115000 | #Constraints: 12976
174.35/174.89 c #Conflicts: 116000 | #Constraints: 13976
174.35/174.89 c #Conflicts: 117000 | #Constraints: 14976
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 118000 | #Constraints: 9181
174.35/174.89 c #Conflicts: 119000 | #Constraints: 10181
174.35/174.89 c #Conflicts: 120000 | #Constraints: 11181
174.35/174.89 c #Conflicts: 121000 | #Constraints: 12181
174.35/174.89 c #Conflicts: 122000 | #Constraints: 13181
174.35/174.89 c #Conflicts: 123000 | #Constraints: 14181
174.35/174.89 c #Conflicts: 124000 | #Constraints: 15181
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 125000 | #Constraints: 9186
174.35/174.89 c #Conflicts: 126000 | #Constraints: 10186
174.35/174.89 c #Conflicts: 127000 | #Constraints: 11186
174.35/174.89 c #Conflicts: 128000 | #Constraints: 12186
174.35/174.89 c bounds 122 >= 106 @ 145.74
174.35/174.89 c #Conflicts: 129000 | #Constraints: 13236
174.35/174.89 c #Conflicts: 130000 | #Constraints: 14236
174.35/174.89 c #Conflicts: 131000 | #Constraints: 15236
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 132000 | #Constraints: 9025
174.35/174.89 c #Conflicts: 133000 | #Constraints: 10025
174.35/174.89 c #Conflicts: 134000 | #Constraints: 11025
174.35/174.89 c #Conflicts: 135000 | #Constraints: 12025
174.35/174.89 c #Conflicts: 136000 | #Constraints: 13025
174.35/174.89 c #Conflicts: 137000 | #Constraints: 14025
174.35/174.89 c #Conflicts: 138000 | #Constraints: 15025
174.35/174.89 c #Conflicts: 139000 | #Constraints: 16025
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 140000 | #Constraints: 9602
174.35/174.89 c #Conflicts: 141000 | #Constraints: 10602
174.35/174.89 c #Conflicts: 142000 | #Constraints: 11602
174.35/174.89 c #Conflicts: 143000 | #Constraints: 12602
174.35/174.89 c #Conflicts: 144000 | #Constraints: 13602
174.35/174.89 c #Conflicts: 145000 | #Constraints: 14602
174.35/174.89 c #Conflicts: 146000 | #Constraints: 15602
174.35/174.89 c #Conflicts: 147000 | #Constraints: 16602
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 148000 | #Constraints: 10015
174.35/174.89 c #Conflicts: 149000 | #Constraints: 11015
174.35/174.89 c #Conflicts: 150000 | #Constraints: 12015
174.35/174.89 c #Conflicts: 151000 | #Constraints: 13015
174.35/174.89 c #Conflicts: 152000 | #Constraints: 14015
174.35/174.89 c #Conflicts: 153000 | #Constraints: 15015
174.35/174.89 c #Conflicts: 154000 | #Constraints: 16015
174.35/174.89 c #Conflicts: 155000 | #Constraints: 17015
174.35/174.89 c INPROCESSING
174.35/174.89 c GARBAGE COLLECT
174.35/174.89 c #Conflicts: 156000 | #Constraints: 10229
174.35/174.89 c #Conflicts: 157000 | #Constraints: 11229
288.16/288.99 c #Conflicts: 158000 | #Constraints: 12229
288.16/288.99 c #Conflicts: 159000 | #Constraints: 13229
288.16/288.99 c #Conflicts: 160000 | #Constraints: 14229
288.16/288.99 c #Conflicts: 161000 | #Constraints: 15229
288.16/288.99 c #Conflicts: 162000 | #Constraints: 16229
288.16/288.99 c #Conflicts: 163000 | #Constraints: 17229
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 164000 | #Constraints: 10228
288.16/288.99 c #Conflicts: 165000 | #Constraints: 11228
288.16/288.99 c #Conflicts: 166000 | #Constraints: 12228
288.16/288.99 c #Conflicts: 167000 | #Constraints: 13228
288.16/288.99 c #Conflicts: 168000 | #Constraints: 14228
288.16/288.99 c #Conflicts: 169000 | #Constraints: 15228
288.16/288.99 c #Conflicts: 170000 | #Constraints: 16228
288.16/288.99 c #Conflicts: 171000 | #Constraints: 17228
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 172000 | #Constraints: 10010
288.16/288.99 c #Conflicts: 173000 | #Constraints: 11010
288.16/288.99 c #Conflicts: 174000 | #Constraints: 12010
288.16/288.99 c #Conflicts: 175000 | #Constraints: 13010
288.16/288.99 c #Conflicts: 176000 | #Constraints: 14010
288.16/288.99 c #Conflicts: 177000 | #Constraints: 15010
288.16/288.99 c #Conflicts: 178000 | #Constraints: 16010
288.16/288.99 c #Conflicts: 179000 | #Constraints: 17010
288.16/288.99 c #Conflicts: 180000 | #Constraints: 18010
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 181000 | #Constraints: 10606
288.16/288.99 c #Conflicts: 182000 | #Constraints: 11606
288.16/288.99 c #Conflicts: 183000 | #Constraints: 12606
288.16/288.99 c #Conflicts: 184000 | #Constraints: 13606
288.16/288.99 c #Conflicts: 185000 | #Constraints: 14606
288.16/288.99 c #Conflicts: 186000 | #Constraints: 15606
288.16/288.99 c #Conflicts: 187000 | #Constraints: 16606
288.16/288.99 c #Conflicts: 188000 | #Constraints: 17606
288.16/288.99 c #Conflicts: 189000 | #Constraints: 18606
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 190000 | #Constraints: 11007
288.16/288.99 c #Conflicts: 191000 | #Constraints: 12007
288.16/288.99 c #Conflicts: 192000 | #Constraints: 13007
288.16/288.99 c #Conflicts: 193000 | #Constraints: 14007
288.16/288.99 c #Conflicts: 194000 | #Constraints: 15007
288.16/288.99 c #Conflicts: 195000 | #Constraints: 16007
288.16/288.99 c #Conflicts: 196000 | #Constraints: 17007
288.16/288.99 c #Conflicts: 197000 | #Constraints: 18007
288.16/288.99 c #Conflicts: 198000 | #Constraints: 19007
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 199000 | #Constraints: 11212
288.16/288.99 c #Conflicts: 200000 | #Constraints: 12212
288.16/288.99 c #Conflicts: 201000 | #Constraints: 13212
288.16/288.99 c #Conflicts: 202000 | #Constraints: 14212
288.16/288.99 c #Conflicts: 203000 | #Constraints: 15212
288.16/288.99 c #Conflicts: 204000 | #Constraints: 16212
288.16/288.99 c #Conflicts: 205000 | #Constraints: 17212
288.16/288.99 c #Conflicts: 206000 | #Constraints: 18212
288.16/288.99 c #Conflicts: 207000 | #Constraints: 19212
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 208000 | #Constraints: 11203
288.16/288.99 c #Conflicts: 209000 | #Constraints: 12203
288.16/288.99 c #Conflicts: 210000 | #Constraints: 13203
288.16/288.99 c #Conflicts: 211000 | #Constraints: 14203
288.16/288.99 c #Conflicts: 212000 | #Constraints: 15203
288.16/288.99 c #Conflicts: 213000 | #Constraints: 16203
288.16/288.99 c #Conflicts: 214000 | #Constraints: 17203
288.16/288.99 c #Conflicts: 215000 | #Constraints: 18203
288.16/288.99 c #Conflicts: 216000 | #Constraints: 19203
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 217000 | #Constraints: 10996
288.16/288.99 c #Conflicts: 218000 | #Constraints: 11996
288.16/288.99 c #Conflicts: 219000 | #Constraints: 12996
288.16/288.99 c #Conflicts: 220000 | #Constraints: 13996
288.16/288.99 c #Conflicts: 221000 | #Constraints: 14996
288.16/288.99 c #Conflicts: 222000 | #Constraints: 15996
288.16/288.99 c #Conflicts: 223000 | #Constraints: 16996
288.16/288.99 c #Conflicts: 224000 | #Constraints: 17996
288.16/288.99 c #Conflicts: 225000 | #Constraints: 18996
288.16/288.99 c #Conflicts: 226000 | #Constraints: 19996
288.16/288.99 c INPROCESSING
288.16/288.99 c GARBAGE COLLECT
288.16/288.99 c #Conflicts: 227000 | #Constraints: 11605
288.16/288.99 c #Conflicts: 228000 | #Constraints: 12605
288.16/288.99 c #Conflicts: 229000 | #Constraints: 13605
288.16/288.99 c #Conflicts: 230000 | #Constraints: 14605
288.16/288.99 c #Conflicts: 231000 | #Constraints: 15605
503.91/505.25 c #Conflicts: 232000 | #Constraints: 16605
503.91/505.25 c #Conflicts: 233000 | #Constraints: 17605
503.91/505.25 c #Conflicts: 234000 | #Constraints: 18605
503.91/505.25 c #Conflicts: 235000 | #Constraints: 19605
503.91/505.25 c #Conflicts: 236000 | #Constraints: 20605
503.91/505.25 c INPROCESSING
503.91/505.25 c GARBAGE COLLECT
503.91/505.25 c #Conflicts: 237000 | #Constraints: 12011
503.91/505.25 c #Conflicts: 238000 | #Constraints: 13011
503.91/505.25 c #Conflicts: 239000 | #Constraints: 14011
503.91/505.25 c #Conflicts: 240000 | #Constraints: 15011
503.91/505.25 c #Conflicts: 241000 | #Constraints: 16011
503.91/505.25 c #Conflicts: 242000 | #Constraints: 17011
503.91/505.25 c #Conflicts: 243000 | #Constraints: 18011
503.91/505.25 c #Conflicts: 244000 | #Constraints: 19011
503.91/505.25 c #Conflicts: 245000 | #Constraints: 20011
503.91/505.25 c #Conflicts: 246000 | #Constraints: 21011
503.91/505.25 c INPROCESSING
503.91/505.25 c GARBAGE COLLECT
503.91/505.25 c #Conflicts: 247000 | #Constraints: 12209
503.91/505.25 c #Conflicts: 248000 | #Constraints: 13209
503.91/505.25 c #Conflicts: 249000 | #Constraints: 14209
503.91/505.25 c #Conflicts: 250000 | #Constraints: 15209
503.91/505.25 c #Conflicts: 251000 | #Constraints: 16209
503.91/505.25 c #Conflicts: 252000 | #Constraints: 17209
503.91/505.25 c #Conflicts: 253000 | #Constraints: 18209
503.91/505.25 c #Conflicts: 254000 | #Constraints: 19209
503.91/505.25 c #Conflicts: 255000 | #Constraints: 20209
503.91/505.25 c #Conflicts: 256000 | #Constraints: 21209
503.91/505.25 c INPROCESSING
503.91/505.25 c GARBAGE COLLECT
503.91/505.25 c #Conflicts: 257000 | #Constraints: 12205
503.91/505.25 c #Conflicts: 258000 | #Constraints: 13205
503.91/505.25 c #Conflicts: 259000 | #Constraints: 14205
503.91/505.25 c #Conflicts: 260000 | #Constraints: 15205
503.91/505.25 c #Conflicts: 261000 | #Constraints: 16205
503.91/505.25 c #Conflicts: 262000 | #Constraints: 17205
503.91/505.25 c #Conflicts: 263000 | #Constraints: 18205
503.91/505.25 c #Conflicts: 264000 | #Constraints: 19205
503.91/505.25 c #Conflicts: 265000 | #Constraints: 20205
503.91/505.25 c #Conflicts: 266000 | #Constraints: 21205
503.91/505.25 c INPROCESSING
503.91/505.25 c GARBAGE COLLECT
503.91/505.25 c #Conflicts: 267000 | #Constraints: 12005
503.91/505.25 c #Conflicts: 268000 | #Constraints: 13005
503.91/505.25 c #Conflicts: 269000 | #Constraints: 14005
503.91/505.25 c #Conflicts: 270000 | #Constraints: 15005
503.91/505.25 c #Conflicts: 271000 | #Constraints: 16005
503.91/505.25 c #Conflicts: 272000 | #Constraints: 17005
503.91/505.25 c #Conflicts: 273000 | #Constraints: 18005
503.91/505.25 c #Conflicts: 274000 | #Constraints: 19005
503.91/505.25 c #Conflicts: 275000 | #Constraints: 20005
503.91/505.25 c #Conflicts: 276000 | #Constraints: 21005
503.91/505.25 c #Conflicts: 277000 | #Constraints: 22005
503.91/505.25 c INPROCESSING
503.91/505.25 c GARBAGE COLLECT
503.91/505.25 c #Conflicts: 278000 | #Constraints: 12613
503.91/505.25 c #Conflicts: 279000 | #Constraints: 13613
503.91/505.25 c #Conflicts: 280000 | #Constraints: 14613
503.91/505.25 c #Conflicts: 281000 | #Constraints: 15613
503.91/505.25 c #Conflicts: 282000 | #Constraints: 16613
503.91/505.25 c #Conflicts: 283000 | #Constraints: 17613
503.91/505.25 c #Conflicts: 284000 | #Constraints: 18613
503.91/505.25 c #Conflicts: 285000 | #Constraints: 19613
503.91/505.25 c #Conflicts: 286000 | #Constraints: 20613
503.91/505.25 c #Conflicts: 287000 | #Constraints: 21613
503.91/505.25 c #Conflicts: 288000 | #Constraints: 22613
503.91/505.25 c #Conflicts: 289000 | #Constraints: 23613
503.91/505.25 c #Conflicts: 290000 | #Constraints: 24613
503.91/505.25 c #Conflicts: 291000 | #Constraints: 25613
503.91/505.25 c #Conflicts: 292000 | #Constraints: 26613
503.91/505.25 c #Conflicts: 293000 | #Constraints: 27613
503.91/505.25 c #Conflicts: 294000 | #Constraints: 28613
503.91/505.25 c #Conflicts: 295000 | #Constraints: 29613
503.91/505.25 c #Conflicts: 296000 | #Constraints: 30613
503.91/505.25 c #Conflicts: 297000 | #Constraints: 31613
503.91/505.25 c #Conflicts: 298000 | #Constraints: 32613
503.91/505.25 c #Conflicts: 299000 | #Constraints: 33613
503.91/505.25 c #Conflicts: 300000 | #Constraints: 34613
503.91/505.25 c #Conflicts: 301000 | #Constraints: 35613
503.91/505.25 c #Conflicts: 302000 | #Constraints: 36613
503.91/505.25 c #Conflicts: 303000 | #Constraints: 37613
503.91/505.25 c #Conflicts: 304000 | #Constraints: 38613
503.91/505.25 c #Conflicts: 305000 | #Constraints: 39613
503.91/505.25 c #Conflicts: 306000 | #Constraints: 40613
982.29/985.01 c #Conflicts: 307000 | #Constraints: 41613
982.29/985.01 c #Conflicts: 308000 | #Constraints: 42613
982.29/985.01 c #Conflicts: 309000 | #Constraints: 43613
982.29/985.01 c #Conflicts: 310000 | #Constraints: 44613
982.29/985.01 c #Conflicts: 311000 | #Constraints: 45613
982.29/985.01 c #Conflicts: 312000 | #Constraints: 46613
982.29/985.01 c #Conflicts: 313000 | #Constraints: 47613
982.29/985.01 c #Conflicts: 314000 | #Constraints: 48613
982.29/985.01 c #Conflicts: 315000 | #Constraints: 49613
982.29/985.01 c #Conflicts: 316000 | #Constraints: 50613
982.29/985.01 c #Conflicts: 317000 | #Constraints: 51613
982.29/985.01 c #Conflicts: 318000 | #Constraints: 52613
982.29/985.01 c #Conflicts: 319000 | #Constraints: 53613
982.29/985.01 c #Conflicts: 320000 | #Constraints: 54613
982.29/985.01 c #Conflicts: 321000 | #Constraints: 55613
982.29/985.01 c #Conflicts: 322000 | #Constraints: 56613
982.29/985.01 c #Conflicts: 323000 | #Constraints: 57613
982.29/985.01 c #Conflicts: 324000 | #Constraints: 58613
982.29/985.01 c #Conflicts: 325000 | #Constraints: 59613
982.29/985.01 c #Conflicts: 326000 | #Constraints: 60613
982.29/985.01 c #Conflicts: 327000 | #Constraints: 61613
982.29/985.01 c #Conflicts: 328000 | #Constraints: 62613
982.29/985.01 c INPROCESSING
982.29/985.01 c GARBAGE COLLECT
982.29/985.01 c #Conflicts: 329000 | #Constraints: 32759
982.29/985.01 c #Conflicts: 330000 | #Constraints: 33759
982.29/985.01 c #Conflicts: 331000 | #Constraints: 34759
982.29/985.01 c #Conflicts: 332000 | #Constraints: 35759
982.29/985.01 c #Conflicts: 333000 | #Constraints: 36759
982.29/985.01 c #Conflicts: 334000 | #Constraints: 37759
982.29/985.01 c #Conflicts: 335000 | #Constraints: 38759
982.29/985.01 c #Conflicts: 336000 | #Constraints: 39759
982.29/985.01 c #Conflicts: 337000 | #Constraints: 40759
982.29/985.01 c #Conflicts: 338000 | #Constraints: 41759
982.29/985.01 c #Conflicts: 339000 | #Constraints: 42759
982.29/985.01 c #Conflicts: 340000 | #Constraints: 43759
982.29/985.01 c INPROCESSING
982.29/985.01 c GARBAGE COLLECT
982.29/985.01 c #Conflicts: 341000 | #Constraints: 23385
982.29/985.01 c #Conflicts: 342000 | #Constraints: 24385
982.29/985.01 c #Conflicts: 343000 | #Constraints: 25385
982.29/985.01 c #Conflicts: 344000 | #Constraints: 26385
982.29/985.01 c #Conflicts: 345000 | #Constraints: 27385
982.29/985.01 c #Conflicts: 346000 | #Constraints: 28385
982.29/985.01 c #Conflicts: 347000 | #Constraints: 29385
982.29/985.01 c #Conflicts: 348000 | #Constraints: 30385
982.29/985.01 c #Conflicts: 349000 | #Constraints: 31385
982.29/985.01 c #Conflicts: 350000 | #Constraints: 32385
982.29/985.01 c #Conflicts: 351000 | #Constraints: 33385
982.29/985.01 c #Conflicts: 352000 | #Constraints: 34385
982.29/985.01 c INPROCESSING
982.29/985.01 c GARBAGE COLLECT
982.29/985.01 c #Conflicts: 353000 | #Constraints: 18669
982.29/985.01 c #Conflicts: 354000 | #Constraints: 19669
982.29/985.01 c #Conflicts: 355000 | #Constraints: 20669
982.29/985.01 c #Conflicts: 356000 | #Constraints: 21669
982.29/985.01 c #Conflicts: 357000 | #Constraints: 22669
982.29/985.01 c #Conflicts: 358000 | #Constraints: 23669
982.29/985.01 c #Conflicts: 359000 | #Constraints: 24669
982.29/985.01 c #Conflicts: 360000 | #Constraints: 25669
982.29/985.01 c #Conflicts: 361000 | #Constraints: 26669
982.29/985.01 c #Conflicts: 362000 | #Constraints: 27669
982.29/985.01 c #Conflicts: 363000 | #Constraints: 28669
982.29/985.01 c #Conflicts: 364000 | #Constraints: 29669
982.29/985.01 c INPROCESSING
982.29/985.01 c GARBAGE COLLECT
982.29/985.01 c #Conflicts: 365000 | #Constraints: 16131
982.29/985.01 c #Conflicts: 366000 | #Constraints: 17131
982.29/985.01 c #Conflicts: 367000 | #Constraints: 18131
982.29/985.01 c #Conflicts: 368000 | #Constraints: 19131
982.29/985.01 c #Conflicts: 369000 | #Constraints: 20131
982.29/985.01 c #Conflicts: 370000 | #Constraints: 21131
982.29/985.01 c #Conflicts: 371000 | #Constraints: 22131
982.29/985.01 c #Conflicts: 372000 | #Constraints: 23131
982.29/985.01 c #Conflicts: 373000 | #Constraints: 24131
982.29/985.01 c #Conflicts: 374000 | #Constraints: 25131
982.29/985.01 c #Conflicts: 375000 | #Constraints: 26131
982.29/985.01 c #Conflicts: 376000 | #Constraints: 27131
982.29/985.01 c #Conflicts: 377000 | #Constraints: 28131
982.29/985.01 c INPROCESSING
982.29/985.01 c GARBAGE COLLECT
982.29/985.01 c #Conflicts: 378000 | #Constraints: 15624
982.29/985.01 c #Conflicts: 379000 | #Constraints: 16624
982.29/985.01 c #Conflicts: 380000 | #Constraints: 17624
982.29/985.01 c #Conflicts: 381000 | #Constraints: 18624
982.29/985.01 c #Conflicts: 382000 | #Constraints: 19624
1692.00/1696.93 c #Conflicts: 383000 | #Constraints: 20624
1692.00/1696.93 c #Conflicts: 384000 | #Constraints: 21624
1692.00/1696.93 c #Conflicts: 385000 | #Constraints: 22624
1692.00/1696.93 c #Conflicts: 386000 | #Constraints: 23624
1692.00/1696.93 c #Conflicts: 387000 | #Constraints: 24624
1692.00/1696.93 c #Conflicts: 388000 | #Constraints: 25624
1692.00/1696.93 c #Conflicts: 389000 | #Constraints: 26624
1692.00/1696.93 c #Conflicts: 390000 | #Constraints: 27624
1692.00/1696.93 c INPROCESSING
1692.00/1696.93 c GARBAGE COLLECT
1692.00/1696.93 c #Conflicts: 391000 | #Constraints: 15511
1692.00/1696.93 c #Conflicts: 392000 | #Constraints: 16511
1692.00/1696.93 c #Conflicts: 393000 | #Constraints: 17511
1692.00/1696.93 c #Conflicts: 394000 | #Constraints: 18511
1692.00/1696.93 c #Conflicts: 395000 | #Constraints: 19511
1692.00/1696.93 c #Conflicts: 396000 | #Constraints: 20511
1692.00/1696.93 c #Conflicts: 397000 | #Constraints: 21511
1692.00/1696.93 c #Conflicts: 398000 | #Constraints: 22511
1692.00/1696.93 c #Conflicts: 399000 | #Constraints: 23511
1692.00/1696.93 c #Conflicts: 400000 | #Constraints: 24511
1692.00/1696.93 c #Conflicts: 401000 | #Constraints: 25511
1692.00/1696.93 c #Conflicts: 402000 | #Constraints: 26511
1692.00/1696.93 c #Conflicts: 403000 | #Constraints: 27511
1692.00/1696.93 c #Conflicts: 404000 | #Constraints: 28511
1692.00/1696.93 c #Conflicts: 405000 | #Constraints: 29511
1692.00/1696.93 c #Conflicts: 406000 | #Constraints: 30511
1692.00/1696.93 c #Conflicts: 407000 | #Constraints: 31511
1692.00/1696.93 c #Conflicts: 408000 | #Constraints: 32511
1692.00/1696.93 c #Conflicts: 409000 | #Constraints: 33511
1692.00/1696.93 c #Conflicts: 410000 | #Constraints: 34511
1692.00/1696.93 c #Conflicts: 411000 | #Constraints: 35511
1692.00/1696.93 c #Conflicts: 412000 | #Constraints: 36511
1692.00/1696.93 c #Conflicts: 413000 | #Constraints: 37511
1692.00/1696.93 c #Conflicts: 414000 | #Constraints: 38511
1692.00/1696.93 c #Conflicts: 415000 | #Constraints: 39511
1692.00/1696.93 c #Conflicts: 416000 | #Constraints: 40511
1692.00/1696.93 c #Conflicts: 417000 | #Constraints: 41511
1692.00/1696.93 c #Conflicts: 418000 | #Constraints: 42511
1692.00/1696.93 c #Conflicts: 419000 | #Constraints: 43511
1692.00/1696.93 c #Conflicts: 420000 | #Constraints: 44511
1692.00/1696.93 c #Conflicts: 421000 | #Constraints: 45511
1692.00/1696.93 c #Conflicts: 422000 | #Constraints: 46511
1692.00/1696.93 c #Conflicts: 423000 | #Constraints: 47511
1692.00/1696.93 c #Conflicts: 424000 | #Constraints: 48511
1692.00/1696.93 c #Conflicts: 425000 | #Constraints: 49511
1692.00/1696.93 c #Conflicts: 426000 | #Constraints: 50511
1692.00/1696.93 c #Conflicts: 427000 | #Constraints: 51511
1692.00/1696.93 c #Conflicts: 428000 | #Constraints: 52511
1692.00/1696.93 c #Conflicts: 429000 | #Constraints: 53511
1692.00/1696.93 c #Conflicts: 430000 | #Constraints: 54511
1692.00/1696.93 c #Conflicts: 431000 | #Constraints: 55511
1692.00/1696.93 c #Conflicts: 432000 | #Constraints: 56511
1692.00/1696.93 c #Conflicts: 433000 | #Constraints: 57511
1692.00/1696.93 c #Conflicts: 434000 | #Constraints: 58511
1692.00/1696.93 c #Conflicts: 435000 | #Constraints: 59511
1692.00/1696.93 c #Conflicts: 436000 | #Constraints: 60511
1692.00/1696.93 c #Conflicts: 437000 | #Constraints: 61511
1692.00/1696.93 c #Conflicts: 438000 | #Constraints: 62511
1692.00/1696.93 c #Conflicts: 439000 | #Constraints: 63511
1692.00/1696.93 c #Conflicts: 440000 | #Constraints: 64511
1692.00/1696.93 c #Conflicts: 441000 | #Constraints: 65511
1692.00/1696.93 c #Conflicts: 442000 | #Constraints: 66511
1692.00/1696.93 c #Conflicts: 443000 | #Constraints: 67511
1692.00/1696.93 c #Conflicts: 444000 | #Constraints: 68511
1692.00/1696.93 c #Conflicts: 445000 | #Constraints: 69511
1692.00/1696.93 c #Conflicts: 446000 | #Constraints: 70511
1692.00/1696.93 c #Conflicts: 447000 | #Constraints: 71511
1692.00/1696.93 c #Conflicts: 448000 | #Constraints: 72511
1692.00/1696.93 c INPROCESSING
1692.00/1696.93 c GARBAGE COLLECT
1692.00/1696.93 c #Conflicts: 449000 | #Constraints: 37559
1692.00/1696.93 c #Conflicts: 450000 | #Constraints: 38559
1692.00/1696.93 c #Conflicts: 451000 | #Constraints: 39559
1692.00/1696.93 c #Conflicts: 452000 | #Constraints: 40559
1692.00/1696.93 c #Conflicts: 453000 | #Constraints: 41559
1692.00/1696.93 c #Conflicts: 454000 | #Constraints: 42559
1692.00/1696.93 c #Conflicts: 455000 | #Constraints: 43559
1692.00/1696.93 c #Conflicts: 456000 | #Constraints: 44559
1692.00/1696.93 c #Conflicts: 457000 | #Constraints: 45559
1692.00/1696.93 c #Conflicts: 458000 | #Constraints: 46559
1692.00/1696.93 c #Conflicts: 459000 | #Constraints: 47559
2201.52/2207.88 c #Conflicts: 460000 | #Constraints: 48559
2201.52/2207.88 c #Conflicts: 461000 | #Constraints: 49559
2201.52/2207.88 c #Conflicts: 462000 | #Constraints: 50559
2201.52/2207.88 c INPROCESSING
2201.52/2207.88 c GARBAGE COLLECT
2201.52/2207.88 c #Conflicts: 463000 | #Constraints: 26591
2201.52/2207.88 c #Conflicts: 464000 | #Constraints: 27591
2201.52/2207.88 c #Conflicts: 465000 | #Constraints: 28591
2201.52/2207.88 c #Conflicts: 466000 | #Constraints: 29591
2201.52/2207.88 c #Conflicts: 467000 | #Constraints: 30591
2201.52/2207.88 c #Conflicts: 468000 | #Constraints: 31591
2201.52/2207.88 c #Conflicts: 469000 | #Constraints: 32591
2201.52/2207.88 c #Conflicts: 470000 | #Constraints: 33591
2201.52/2207.88 c #Conflicts: 471000 | #Constraints: 34591
2201.52/2207.88 c #Conflicts: 472000 | #Constraints: 35591
2201.52/2207.88 c #Conflicts: 473000 | #Constraints: 36591
2201.52/2207.88 c #Conflicts: 474000 | #Constraints: 37591
2201.52/2207.88 c #Conflicts: 475000 | #Constraints: 38591
2201.52/2207.88 c #Conflicts: 476000 | #Constraints: 39591
2201.52/2207.88 c #Conflicts: 477000 | #Constraints: 40591
2201.52/2207.88 c INPROCESSING
2201.52/2207.88 c GARBAGE COLLECT
2201.52/2207.88 c #Conflicts: 478000 | #Constraints: 22009
2201.52/2207.88 c #Conflicts: 479000 | #Constraints: 23009
2201.52/2207.88 c #Conflicts: 480000 | #Constraints: 24009
2201.52/2207.88 c #Conflicts: 481000 | #Constraints: 25009
2201.52/2207.88 c #Conflicts: 482000 | #Constraints: 26009
2201.52/2207.88 c #Conflicts: 483000 | #Constraints: 27009
2201.52/2207.88 c #Conflicts: 484000 | #Constraints: 28009
2201.52/2207.88 c #Conflicts: 485000 | #Constraints: 29009
2201.52/2207.88 c #Conflicts: 486000 | #Constraints: 30009
2201.52/2207.88 c #Conflicts: 487000 | #Constraints: 31009
2201.52/2207.88 c #Conflicts: 488000 | #Constraints: 32009
2201.52/2207.88 c #Conflicts: 489000 | #Constraints: 33009
2201.52/2207.88 c #Conflicts: 490000 | #Constraints: 34009
2201.52/2207.88 c #Conflicts: 491000 | #Constraints: 35009
2201.52/2207.88 c INPROCESSING
2201.52/2207.88 c GARBAGE COLLECT
2201.52/2207.88 c #Conflicts: 492000 | #Constraints: 19023
2201.52/2207.88 c #Conflicts: 493000 | #Constraints: 20023
2201.52/2207.88 c #Conflicts: 494000 | #Constraints: 21023
2201.52/2207.88 c #Conflicts: 495000 | #Constraints: 22023
2201.52/2207.88 c #Conflicts: 496000 | #Constraints: 23023
2201.52/2207.88 c #Conflicts: 497000 | #Constraints: 24023
2201.52/2207.88 c #Conflicts: 498000 | #Constraints: 25023
2201.52/2207.88 c #Conflicts: 499000 | #Constraints: 26023
2201.52/2207.88 c #Conflicts: 500000 | #Constraints: 27023
2201.52/2207.88 c #Conflicts: 501000 | #Constraints: 28023
2201.52/2207.88 c #Conflicts: 502000 | #Constraints: 29023
2201.52/2207.88 c #Conflicts: 503000 | #Constraints: 30023
2201.52/2207.88 c #Conflicts: 504000 | #Constraints: 31023
2201.52/2207.88 c #Conflicts: 505000 | #Constraints: 32023
2201.52/2207.88 c #Conflicts: 506000 | #Constraints: 33023
2201.52/2207.88 c INPROCESSING
2201.52/2207.88 c GARBAGE COLLECT
2201.52/2207.88 c #Conflicts: 507000 | #Constraints: 18228
2201.52/2207.88 c #Conflicts: 508000 | #Constraints: 19228
2201.52/2207.88 c #Conflicts: 509000 | #Constraints: 20228
2201.52/2207.88 c #Conflicts: 510000 | #Constraints: 21228
2201.52/2207.88 c #Conflicts: 511000 | #Constraints: 22228
2201.52/2207.88 c #Conflicts: 512000 | #Constraints: 23228
2201.52/2207.88 c #Conflicts: 513000 | #Constraints: 24228
2201.52/2207.88 c #Conflicts: 514000 | #Constraints: 25228
2201.52/2207.88 c #Conflicts: 515000 | #Constraints: 26228
2201.52/2207.88 c #Conflicts: 516000 | #Constraints: 27228
2201.52/2207.88 c #Conflicts: 517000 | #Constraints: 28228
2201.52/2207.88 c #Conflicts: 518000 | #Constraints: 29228
2201.52/2207.88 c #Conflicts: 519000 | #Constraints: 30228
2201.52/2207.88 c #Conflicts: 520000 | #Constraints: 31228
2201.52/2207.88 c #Conflicts: 521000 | #Constraints: 32228
2201.52/2207.88 c #Conflicts: 522000 | #Constraints: 33228
2201.52/2207.88 c #Conflicts: 523000 | #Constraints: 34228
2201.52/2207.88 c #Conflicts: 524000 | #Constraints: 35228
2201.52/2207.88 c #Conflicts: 525000 | #Constraints: 36228
2201.52/2207.88 c #Conflicts: 526000 | #Constraints: 37228
2201.52/2207.88 c #Conflicts: 527000 | #Constraints: 38228
2201.52/2207.88 c #Conflicts: 528000 | #Constraints: 39228
2201.52/2207.88 c #Conflicts: 529000 | #Constraints: 40228
2201.52/2207.88 c #Conflicts: 530000 | #Constraints: 41228
2201.52/2207.88 c #Conflicts: 531000 | #Constraints: 42228
2201.52/2207.88 c #Conflicts: 532000 | #Constraints: 43228
2201.52/2207.88 c #Conflicts: 533000 | #Constraints: 44228
2201.52/2207.88 c #Conflicts: 534000 | #Constraints: 45228
2201.52/2207.88 c #Conflicts: 535000 | #Constraints: 46228
2201.52/2207.88 c #Conflicts: 536000 | #Constraints: 47228
2963.59/2971.89 c #Conflicts: 537000 | #Constraints: 48228
2963.59/2971.89 c #Conflicts: 538000 | #Constraints: 49228
2963.59/2971.89 c #Conflicts: 539000 | #Constraints: 50228
2963.59/2971.89 c #Conflicts: 540000 | #Constraints: 51228
2963.59/2971.89 c #Conflicts: 541000 | #Constraints: 52228
2963.59/2971.89 c #Conflicts: 542000 | #Constraints: 53228
2963.59/2971.89 c #Conflicts: 543000 | #Constraints: 54228
2963.59/2971.89 c #Conflicts: 544000 | #Constraints: 55228
2963.59/2971.89 c #Conflicts: 545000 | #Constraints: 56228
2963.59/2971.89 c #Conflicts: 546000 | #Constraints: 57228
2963.59/2971.89 c #Conflicts: 547000 | #Constraints: 58228
2963.59/2971.89 c #Conflicts: 548000 | #Constraints: 59228
2963.59/2971.89 c #Conflicts: 549000 | #Constraints: 60228
2963.59/2971.89 c #Conflicts: 550000 | #Constraints: 61228
2963.59/2971.89 c #Conflicts: 551000 | #Constraints: 62228
2963.59/2971.89 c #Conflicts: 552000 | #Constraints: 63228
2963.59/2971.89 c #Conflicts: 553000 | #Constraints: 64228
2963.59/2971.89 c #Conflicts: 554000 | #Constraints: 65228
2963.59/2971.89 c #Conflicts: 555000 | #Constraints: 66228
2963.59/2971.89 c #Conflicts: 556000 | #Constraints: 67228
2963.59/2971.89 c #Conflicts: 557000 | #Constraints: 68228
2963.59/2971.89 c #Conflicts: 558000 | #Constraints: 69228
2963.59/2971.89 c #Conflicts: 559000 | #Constraints: 70228
2963.59/2971.89 c #Conflicts: 560000 | #Constraints: 71228
2963.59/2971.89 c #Conflicts: 561000 | #Constraints: 72228
2963.59/2971.89 c #Conflicts: 562000 | #Constraints: 73228
2963.59/2971.89 c #Conflicts: 563000 | #Constraints: 74228
2963.59/2971.89 c #Conflicts: 564000 | #Constraints: 75228
2963.59/2971.89 c #Conflicts: 565000 | #Constraints: 76228
2963.59/2971.89 c #Conflicts: 566000 | #Constraints: 77228
2963.59/2971.89 c #Conflicts: 567000 | #Constraints: 78228
2963.59/2971.89 c #Conflicts: 568000 | #Constraints: 79228
2963.59/2971.89 c #Conflicts: 569000 | #Constraints: 80228
2963.59/2971.89 c #Conflicts: 570000 | #Constraints: 81228
2963.59/2971.89 c #Conflicts: 571000 | #Constraints: 82228
2963.59/2971.89 c INPROCESSING
2963.59/2971.89 c GARBAGE COLLECT
2963.59/2971.89 c #Conflicts: 572000 | #Constraints: 42737
2963.59/2971.89 c #Conflicts: 573000 | #Constraints: 43737
2963.59/2971.89 c #Conflicts: 574000 | #Constraints: 44737
2963.59/2971.89 c #Conflicts: 575000 | #Constraints: 45737
2963.59/2971.89 c #Conflicts: 576000 | #Constraints: 46737
2963.59/2971.89 c #Conflicts: 577000 | #Constraints: 47737
2963.59/2971.89 c #Conflicts: 578000 | #Constraints: 48737
2963.59/2971.89 c #Conflicts: 579000 | #Constraints: 49737
2963.59/2971.89 c #Conflicts: 580000 | #Constraints: 50737
2963.59/2971.89 c bounds 122 >= 111 @ 2788.86
2963.59/2971.89 c #Conflicts: 581000 | #Constraints: 51761
2963.59/2971.89 c #Conflicts: 582000 | #Constraints: 52761
2963.59/2971.89 c #Conflicts: 583000 | #Constraints: 53761
2963.59/2971.89 c #Conflicts: 584000 | #Constraints: 54761
2963.59/2971.89 c #Conflicts: 585000 | #Constraints: 55761
2963.59/2971.89 c #Conflicts: 586000 | #Constraints: 56761
2963.59/2971.89 c #Conflicts: 587000 | #Constraints: 57761
2963.59/2971.89 c INPROCESSING
2963.59/2971.89 c GARBAGE COLLECT
2963.59/2971.89 c #Conflicts: 588000 | #Constraints: 30553
2963.59/2971.89 c #Conflicts: 589000 | #Constraints: 31553
2963.59/2971.89 c #Conflicts: 590000 | #Constraints: 32553
2963.59/2971.89 c #Conflicts: 591000 | #Constraints: 33553
2963.59/2971.89 c #Conflicts: 592000 | #Constraints: 34553
2963.59/2971.89 c #Conflicts: 593000 | #Constraints: 35553
2963.59/2971.89 c #Conflicts: 594000 | #Constraints: 36553
2963.59/2971.89 c #Conflicts: 595000 | #Constraints: 37553
2963.59/2971.89 c #Conflicts: 596000 | #Constraints: 38553
2963.59/2971.89 c #Conflicts: 597000 | #Constraints: 39553
2963.59/2971.89 c #Conflicts: 598000 | #Constraints: 40553
2963.59/2971.89 c #Conflicts: 599000 | #Constraints: 41553
2963.59/2971.89 c #Conflicts: 600000 | #Constraints: 42553
2963.59/2971.89 c #Conflicts: 601000 | #Constraints: 43553
2963.59/2971.89 c #Conflicts: 602000 | #Constraints: 44553
2963.59/2971.89 c #Conflicts: 603000 | #Constraints: 45553
2963.59/2971.89 c INPROCESSING
2963.59/2971.89 c GARBAGE COLLECT
2963.59/2971.89 c #Conflicts: 604000 | #Constraints: 24396
2963.59/2971.89 c #Conflicts: 605000 | #Constraints: 25396
2963.59/2971.89 c #Conflicts: 606000 | #Constraints: 26396
2963.59/2971.89 c #Conflicts: 607000 | #Constraints: 27396
2963.59/2971.89 c #Conflicts: 608000 | #Constraints: 28396
2963.59/2971.89 c #Conflicts: 609000 | #Constraints: 29396
2963.59/2971.89 c #Conflicts: 610000 | #Constraints: 30396
2963.59/2971.89 c #Conflicts: 611000 | #Constraints: 31396
2963.59/2971.89 c #Conflicts: 612000 | #Constraints: 32396
3422.26/3431.88 c #Conflicts: 613000 | #Constraints: 33396
3422.26/3431.88 c #Conflicts: 614000 | #Constraints: 34396
3422.26/3431.88 c #Conflicts: 615000 | #Constraints: 35396
3422.26/3431.88 c #Conflicts: 616000 | #Constraints: 36396
3422.26/3431.88 c #Conflicts: 617000 | #Constraints: 37396
3422.26/3431.88 c #Conflicts: 618000 | #Constraints: 38396
3422.26/3431.88 c #Conflicts: 619000 | #Constraints: 39396
3422.26/3431.88 c INPROCESSING
3422.26/3431.88 c GARBAGE COLLECT
3422.26/3431.88 c #Conflicts: 620000 | #Constraints: 21155
3422.26/3431.88 c #Conflicts: 621000 | #Constraints: 22155
3422.26/3431.88 c #Conflicts: 622000 | #Constraints: 23155
3422.26/3431.88 c #Conflicts: 623000 | #Constraints: 24155
3422.26/3431.88 c #Conflicts: 624000 | #Constraints: 25155
3422.26/3431.88 c #Conflicts: 625000 | #Constraints: 26155
3422.26/3431.88 c #Conflicts: 626000 | #Constraints: 27155
3422.26/3431.88 c #Conflicts: 627000 | #Constraints: 28155
3422.26/3431.88 c #Conflicts: 628000 | #Constraints: 29155
3422.26/3431.88 c #Conflicts: 629000 | #Constraints: 30155
3422.26/3431.88 c #Conflicts: 630000 | #Constraints: 31155
3422.26/3431.88 c #Conflicts: 631000 | #Constraints: 32155
3422.26/3431.88 c #Conflicts: 632000 | #Constraints: 33155
3422.26/3431.88 c #Conflicts: 633000 | #Constraints: 34155
3422.26/3431.88 c #Conflicts: 634000 | #Constraints: 35155
3422.26/3431.88 c #Conflicts: 635000 | #Constraints: 36155
3422.26/3431.88 c #Conflicts: 636000 | #Constraints: 37155
3422.26/3431.88 c INPROCESSING
3422.26/3431.88 c GARBAGE COLLECT
3422.26/3431.88 c #Conflicts: 637000 | #Constraints: 20293
3422.26/3431.88 c #Conflicts: 638000 | #Constraints: 21293
3422.26/3431.88 c #Conflicts: 639000 | #Constraints: 22293
3422.26/3431.88 c #Conflicts: 640000 | #Constraints: 23293
3422.26/3431.88 c #Conflicts: 641000 | #Constraints: 24293
3422.26/3431.88 c #Conflicts: 642000 | #Constraints: 25293
3422.26/3431.88 c #Conflicts: 643000 | #Constraints: 26293
3422.26/3431.88 c #Conflicts: 644000 | #Constraints: 27293
3422.26/3431.88 c #Conflicts: 645000 | #Constraints: 28293
3422.26/3431.88 c #Conflicts: 646000 | #Constraints: 29293
3422.26/3431.88 c #Conflicts: 647000 | #Constraints: 30293
3422.26/3431.88 c #Conflicts: 648000 | #Constraints: 31293
3422.26/3431.88 c #Conflicts: 649000 | #Constraints: 32293
3422.26/3431.88 c #Conflicts: 650000 | #Constraints: 33293
3422.26/3431.88 c #Conflicts: 651000 | #Constraints: 34293
3422.26/3431.88 c #Conflicts: 652000 | #Constraints: 35293
3422.26/3431.88 c #Conflicts: 653000 | #Constraints: 36293
3422.26/3431.88 c #Conflicts: 654000 | #Constraints: 37293
3422.26/3431.88 c #Conflicts: 655000 | #Constraints: 38293
3422.26/3431.88 c #Conflicts: 656000 | #Constraints: 39293
3422.26/3431.88 c #Conflicts: 657000 | #Constraints: 40293
3422.26/3431.88 c #Conflicts: 658000 | #Constraints: 41293
3422.26/3431.88 c #Conflicts: 659000 | #Constraints: 42293
3422.26/3431.88 c #Conflicts: 660000 | #Constraints: 43293
3422.26/3431.88 c #Conflicts: 661000 | #Constraints: 44293
3422.26/3431.88 c #Conflicts: 662000 | #Constraints: 45293
3422.26/3431.88 c #Conflicts: 663000 | #Constraints: 46293
3422.26/3431.88 c #Conflicts: 664000 | #Constraints: 47293
3422.26/3431.88 c #Conflicts: 665000 | #Constraints: 48293
3422.26/3431.88 c #Conflicts: 666000 | #Constraints: 49293
3422.26/3431.88 c #Conflicts: 667000 | #Constraints: 50293
3422.26/3431.88 c #Conflicts: 668000 | #Constraints: 51293
3422.26/3431.88 c #Conflicts: 669000 | #Constraints: 52293
3422.26/3431.88 c #Conflicts: 670000 | #Constraints: 53293
3422.26/3431.88 c #Conflicts: 671000 | #Constraints: 54293
3422.26/3431.88 c #Conflicts: 672000 | #Constraints: 55293
3422.26/3431.88 c #Conflicts: 673000 | #Constraints: 56293
3422.26/3431.88 c #Conflicts: 674000 | #Constraints: 57293
3422.26/3431.88 c #Conflicts: 675000 | #Constraints: 58293
3422.26/3431.88 c #Conflicts: 676000 | #Constraints: 59293
3422.26/3431.88 c #Conflicts: 677000 | #Constraints: 60293
3422.26/3431.88 c #Conflicts: 678000 | #Constraints: 61293
3422.26/3431.88 c #Conflicts: 679000 | #Constraints: 62293
3422.26/3431.88 c #Conflicts: 680000 | #Constraints: 63293
3422.26/3431.88 c #Conflicts: 681000 | #Constraints: 64293
3422.26/3431.88 c #Conflicts: 682000 | #Constraints: 65293
3422.26/3431.88 c #Conflicts: 683000 | #Constraints: 66293
3422.26/3431.88 c #Conflicts: 684000 | #Constraints: 67293
3422.26/3431.88 c #Conflicts: 685000 | #Constraints: 68293
3422.26/3431.88 c #Conflicts: 686000 | #Constraints: 69293
3422.26/3431.88 c #Conflicts: 687000 | #Constraints: 70293
3422.26/3431.88 c #Conflicts: 688000 | #Constraints: 71293
3422.26/3431.88 c #Conflicts: 689000 | #Constraints: 72293
3600.02/3610.10 c #Conflicts: 690000 | #Constraints: 73293
3600.02/3610.10 c #Conflicts: 691000 | #Constraints: 74293
3600.02/3610.10 c #Conflicts: 692000 | #Constraints: 75293
3600.02/3610.10 c #Conflicts: 693000 | #Constraints: 76293
3600.02/3610.10 c #Conflicts: 694000 | #Constraints: 77293
3600.02/3610.10 c #Conflicts: 695000 | #Constraints: 78293
3600.02/3610.10 c #Conflicts: 696000 | #Constraints: 79293
3600.02/3610.10 c #Conflicts: 697000 | #Constraints: 80293
3600.02/3610.10 c #Conflicts: 698000 | #Constraints: 81293
3600.02/3610.10 c #Conflicts: 699000 | #Constraints: 82293
3600.02/3610.10 c #Conflicts: 700000 | #Constraints: 83293
3600.02/3610.10 c #Conflicts: 701000 | #Constraints: 84293
3600.02/3610.10 c Program interrupted by user.
3600.02/3610.10 c cpu time 3588.65 s
3600.02/3610.10 c deterministic time 294441179735 2.94e+11
3600.02/3610.10 c optimization time 540.176 s
3600.02/3610.10 c total solve time 3048.47 s
3600.02/3610.10 c core-guided solve time 3048.47 s
3600.02/3610.10 c propagation time 2863.3 s
3600.02/3610.10 c conflict analysis time 697.142 s
3600.02/3610.10 c propagations 109838740
3600.02/3610.10 c resolve steps 7865363
3600.02/3610.10 c decisions 9605247
3600.02/3610.10 c conflicts 701994
3600.02/3610.10 c restarts 1531
3600.02/3610.10 c inprocessing phases 60
3600.02/3610.10 c input clauses 1273
3600.02/3610.10 c input cardinalities 79
3600.02/3610.10 c input general constraints 84
3600.02/3610.10 c input average constraint length 27.96
3600.02/3610.10 c input average constraint degree 224.23
3600.02/3610.10 c learned clauses 255977
3600.02/3610.10 c learned cardinalities 436
3600.02/3610.10 c learned general constraints 445580
3600.02/3610.10 c learned average constraint length 235.19
3600.02/3610.10 c learned average constraint degree 14741944.50
3600.02/3610.10 c watched constraints 149551
3600.02/3610.10 c counting constraints 296113
3600.02/3610.10 c gcd simplifications 15842
3600.02/3610.10 c detected cardinalities 17
3600.02/3610.10 c weakened non-implied lits 79470074
3600.02/3610.10 c weakened non-implying lits 55968
3600.02/3610.10 c original variables 792
3600.02/3610.10 c clausal propagations 15367085
3600.02/3610.10 c cardinality propagations 7702003
3600.02/3610.10 c watched propagations 3788735
3600.02/3610.10 c counting propagations 81924638
3600.02/3610.10 c watch lookups 78252446301
3600.02/3610.10 c watch backjump lookups 76397976178
3600.02/3610.10 c watch checks 88288655521
3600.02/3610.10 c propagation checks 50185678147
3600.02/3610.10 c constraint additions 1076834003
3600.02/3610.10 c trail pops 120145597
3600.02/3610.10 c formula constraints 1188
3600.02/3610.10 c learned constraints 701993
3600.02/3610.10 c bound constraints 102
3600.02/3610.10 c core-guided constraints 146
3600.02/3610.10 c encountered formula constraints 1900362
3600.02/3610.10 c encountered learned constraints 6370230
3600.02/3610.10 c encountered bound constraints 13302
3600.02/3610.10 c encountered core-guided constraints 283463
3600.02/3610.10 c LP total time 0 s
3600.02/3610.10 c LP solve time 0 s
3600.02/3610.10 c LP constraints added 0
3600.02/3610.10 c LP constraints removed 0
3600.02/3610.10 c LP pivots internal 0
3600.02/3610.10 c LP pivots root 0
3600.02/3610.10 c LP calls 0
3600.02/3610.10 c LP optimalities 0
3600.02/3610.10 c LP no pivot count 0
3600.02/3610.10 c LP infeasibilities 0
3600.02/3610.10 c LP valid Farkas constraints 0
3600.02/3610.10 c LP learned Farkas constraints 0
3600.02/3610.10 c LP basis resets 0
3600.02/3610.10 c LP cycling count 0
3600.02/3610.10 c LP singular count 0
3600.02/3610.10 c LP no primal count 0
3600.02/3610.10 c LP no farkas count 0
3600.02/3610.10 c LP other issue count 0
3600.02/3610.10 c LP Gomory cuts 0
3600.02/3610.10 c LP learned cuts 0
3600.02/3610.10 c LP deleted cuts 0
3600.02/3610.10 c LP encountered Gomory constraints 0
3600.02/3610.10 c LP encountered Farkas constraints 0
3600.02/3610.10 c LP encountered learned Farkas constraints 0
3600.02/3610.10 c CG auxiliary variables introduced 52
3600.02/3610.10 c CG solutions found 13
3600.02/3610.10 c CG cores constructed 15
3600.02/3610.10 c CG core cardinality constraints returned 0
3600.02/3610.10 c CG unit cores 0
3600.02/3610.10 c CG single cores 15
3600.02/3610.10 c CG blocks removed during cardinality reduction 0
3600.02/3610.10 c CG first core best 0
3600.02/3610.10 c CG decision core best 0
3600.02/3610.10 c CG core reduction tie 0
3600.02/3610.10 c CG core degree average 1.00
3600.02/3610.10 c CG core slack average 115.07
3600.02/3610.10 c CG exhausted 0
3600.02/3610.10 c CG exhaust time 2.06873 s
3600.02/3610.10 c CG trimmed 3
3600.02/3610.10 c CG trim time 0.015585 s
3600.02/3610.10 c CG minimized 0
3600.02/3610.10 c CG minimize time 0 s
3600.02/3610.10 c CG am1 prop time 0.00156 s
3600.02/3610.10 c CG # am1s reformulated 0
3600.02/3610.10 c CG lower bound derived from am1s 0
3600.02/3610.10 c CG # clausal cores 15
3600.02/3610.10 c CG # cardinality cores 0
3600.02/3610.10 c CG # pb cores 0
3600.02/3610.10 c CG # pb reforms 0
3600.02/3610.10 c CG # cores discarded because of pb reform 0
3600.02/3610.10 d LOWERBOUND 111
3600.02/3610.10 d NCORES 15
3600.02/3610.10 d NPBCORES 0
3600.02/3610.10 d NPBREFORM 0
3600.02/3610.10 d NTRIMMED 3
3600.02/3610.10 d NEXHAUSTED 0
3600.02/3610.10 d NAM1S 0
3600.02/3610.10 d AM1LB 0
3600.02/3610.10 o 122
3600.02/3610.10 s SATISFIABLE
3600.02/3610.10 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 x668 -x669 x670 x671 x672 x673 x674 -x675 x676 x677 -x678 x679 x680 x681 x682 x683 -x684 x685 x686 -x687 x688 x689 x690 x691 x692 -x693 x694 x695 -x696 x697 x698 x699 x700 x701 -x702 x703 x704 -x705 x706 x707 x708 x709 x710 -x711 x712 x713 -x714 x715 x716 x717 x718 x719 -x720 x721 x722 -x723 x724 x725 x726 x727 x728 -x729 x730 x731 -x732 x733 x734 x735 x736 x737 -x738 x739 x740 -x741 x742 x743 x744 x745 x746 -x747 x748 x749 -x750 x751 x752 x753 x754 x755 -x756 x757 x758 -x759 x760 x761 x762 x763 x764 -x765 x766 x767 -x768 x769 x770 x771 x772 x773 -x774 x775 x776 -x777 x778 x779 x780 x781 x782 -x783 x784 x785 -x786 x787 x788 x789 x790 x791 -x792
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: 63665 MiB (62734 MiB free)
memory of node 1: 64507 MiB (60796 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502596-1751427836/watcher-4502596-1751427836 -o /tmp/evaluation-result-4502596-1751427836/solver-4502596-1751427836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64436 --watchdog 3760 pb-oll-rs HOME/instance-4502596-1751427836.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=64915, runsolver pid=64912
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 3.96 4.09 4.07 5/260 64919
/proc/meminfo: memFree=126491996/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=21544 memory=8320 CPUtime=0.08 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 902 0 0 0 7 1 0 0 20 0 1 0 58461353 22061056 2080 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 5386 2080 1376 243 0 1635 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21544 KiB
Current children cumulated memory: 8320 KiB
[startup+0.204709 s]*
/proc/loadavg: 3.96 4.09 4.07 5/258 64931
/proc/meminfo: memFree=126463152/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=22468 memory=11548 CPUtime=0.19 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 1207 0 0 0 17 2 0 0 20 0 1 0 58461353 23007232 2887 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 5617 2887 1376 243 0 1866 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22468 KiB
Current children cumulated memory: 11548 KiB
[startup+0.30519 s]*
/proc/loadavg: 3.96 4.09 4.07 5/259 64936
/proc/meminfo: memFree=126463200/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=23144 memory=12188 CPUtime=0.3 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 1373 0 0 0 26 4 0 0 20 0 1 0 58461353 23699456 3047 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 5786 3047 1376 243 0 2035 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23144 KiB
Current children cumulated memory: 12188 KiB
[startup+0.70011 s]
/proc/loadavg: 3.96 4.09 4.07 6/263 64947
/proc/meminfo: memFree=126455136/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=29792 memory=16924 CPUtime=0.68 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 2558 0 0 0 63 5 0 0 20 0 1 0 58461353 30507008 4231 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 7448 4231 1376 243 0 3697 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29792 KiB
Current children cumulated memory: 16924 KiB
[startup+1.50012 s]
/proc/loadavg: 3.96 4.09 4.07 5/263 64947
/proc/meminfo: memFree=126451040/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=32308 memory=21916 CPUtime=1.48 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 3797 0 0 0 139 9 0 0 20 0 1 0 58461353 33083392 5479 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 8077 5479 1376 243 0 4326 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32308 KiB
Current children cumulated memory: 21916 KiB
[startup+3.10552 s]
/proc/loadavg: 3.96 4.09 4.07 5/264 64993
/proc/meminfo: memFree=126406348/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=42716 memory=28888 CPUtime=3.08 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 5025 0 0 0 289 19 0 0 20 0 1 0 58461353 43741184 7222 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 10679 7222 1376 243 0 6928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42716 KiB
Current children cumulated memory: 28888 KiB
[startup+6.30011 s]
/proc/loadavg: 4.04 4.11 4.08 5/264 65038
/proc/meminfo: memFree=126387540/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=52136 memory=35560 CPUtime=6.27 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 6192 0 0 0 596 31 0 0 20 0 1 0 58461353 53387264 8890 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 13034 8890 1376 243 0 9283 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52136 KiB
Current children cumulated memory: 35560 KiB
[startup+12.7001 s]
/proc/loadavg: 4.04 4.11 4.07 5/265 65039
/proc/meminfo: memFree=126326968/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=53512 memory=37224 CPUtime=12.65 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 6623 0 0 0 1217 48 0 0 20 0 1 0 58461353 54796288 9306 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 13378 9306 1376 243 0 9627 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53512 KiB
Current children cumulated memory: 37224 KiB
[startup+25.5001 s]
/proc/loadavg: 4.03 4.10 4.07 5/265 65039
/proc/meminfo: memFree=126234488/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=63060 memory=48376 CPUtime=25.42 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 8370 0 0 0 2467 75 0 0 20 0 1 0 58461353 64573440 12094 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 15765 12094 1376 243 0 12014 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 63060 KiB
Current children cumulated memory: 48376 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 65039
/proc/meminfo: memFree=126129808/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=78900 memory=55988 CPUtime=50.97 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 9771 0 0 0 4981 116 0 0 20 0 1 0 58461353 80793600 13997 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 19725 13997 1376 243 0 15974 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 78900 KiB
Current children cumulated memory: 55988 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/265 65041
/proc/meminfo: memFree=126025700/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=82292 memory=64028 CPUtime=102.03 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 10779 0 0 0 10031 172 0 0 20 0 1 0 58461353 84267008 16007 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 20573 16007 1376 243 0 16822 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 82292 KiB
Current children cumulated memory: 64028 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/266 65044
/proc/meminfo: memFree=125935752/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=91496 memory=75584 CPUtime=161.88 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 13139 0 0 0 15950 238 0 0 20 0 1 0 58461353 93691904 18896 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 22874 18896 1376 243 0 19123 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 91496 KiB
Current children cumulated memory: 75584 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/266 65046
/proc/meminfo: memFree=125881532/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=120364 memory=86340 CPUtime=221.73 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 15333 0 0 0 21858 315 0 0 20 0 1 0 58461353 123252736 21585 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 30091 21585 1376 243 0 26340 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 120364 KiB
Current children cumulated memory: 86340 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/265 65052
/proc/meminfo: memFree=125850984/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=125196 memory=92620 CPUtime=281.58 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 16427 0 0 0 27783 375 0 0 20 0 1 0 58461353 128200704 23155 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 31299 23155 1376 243 0 27548 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 125196 KiB
Current children cumulated memory: 92620 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/264 65054
/proc/meminfo: memFree=125787452/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=126480 memory=98736 CPUtime=341.43 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 16927 0 0 0 33714 429 0 0 20 0 1 0 58461353 129515520 24684 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 31620 24684 1376 243 0 27869 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 126480 KiB
Current children cumulated memory: 98736 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/264 65056
/proc/meminfo: memFree=125759568/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=130064 memory=104364 CPUtime=401.28 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 17823 0 0 0 39658 470 0 0 20 0 1 0 58461353 133185536 26091 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 32516 26091 1376 243 0 28765 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 130064 KiB
Current children cumulated memory: 104364 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/263 65148
/proc/meminfo: memFree=125453904/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=186840 memory=144396 CPUtime=461.12 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 24987 0 0 0 45610 502 0 0 20 0 1 0 58461353 191324160 36099 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 46710 36099 1376 243 0 42959 0
Current children cumulated CPU time: 461.12 s
################
# More data... #
################
Current children cumulated memory: 346220 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.18 4.11 5/263 65279
/proc/meminfo: memFree=122665896/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440216 memory=346220 CPUtime=2914.21 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61167 0 0 0 290397 1024 0 0 20 0 1 0 58461353 450781184 86555 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110054 86555 1376 243 0 106303 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 440216 KiB
Current children cumulated memory: 346220 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/263 65281
/proc/meminfo: memFree=122656916/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440216 memory=346224 CPUtime=2974.06 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61292 0 0 0 296366 1040 0 0 20 0 1 0 58461353 450781184 86556 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110054 86556 1376 243 0 106303 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 440216 KiB
Current children cumulated memory: 346224 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/264 65284
/proc/meminfo: memFree=122583792/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440532 memory=346352 CPUtime=3033.91 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61364 0 0 0 302335 1056 0 0 20 0 1 0 58461353 451104768 86588 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110133 86588 1376 243 0 106382 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 440532 KiB
Current children cumulated memory: 346352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 65286
/proc/meminfo: memFree=122530164/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440532 memory=346352 CPUtime=3093.74 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61372 0 0 0 308300 1074 0 0 20 0 1 0 58461353 451104768 86588 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110133 86588 1376 243 0 106382 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 440532 KiB
Current children cumulated memory: 346352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 65288
/proc/meminfo: memFree=122489564/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440532 memory=346352 CPUtime=3153.57 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61379 0 0 0 314269 1088 0 0 20 0 1 0 58461353 451104768 86588 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110133 86588 1376 243 0 106382 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 440532 KiB
Current children cumulated memory: 346352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 65290
/proc/meminfo: memFree=122453488/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440532 memory=346352 CPUtime=3213.39 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61388 0 0 0 320242 1097 0 0 20 0 1 0 58461353 451104768 86588 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110133 86588 1376 243 0 106382 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 440532 KiB
Current children cumulated memory: 346352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 65297
/proc/meminfo: memFree=122415348/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440532 memory=346352 CPUtime=3273.21 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61394 0 0 0 326217 1104 0 0 20 0 1 0 58461353 451104768 86588 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110133 86588 1376 243 0 106382 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 440532 KiB
Current children cumulated memory: 346352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/264 65299
/proc/meminfo: memFree=122376116/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440532 memory=346352 CPUtime=3333.03 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61400 0 0 0 332191 1112 0 0 20 0 1 0 58461353 451104768 86588 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110133 86588 1376 243 0 106382 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 440532 KiB
Current children cumulated memory: 346352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 65302
/proc/meminfo: memFree=122261044/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=440532 memory=346352 CPUtime=3392.85 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61412 0 0 0 338166 1119 0 0 20 0 1 0 58461353 451104768 86588 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110133 86588 1376 243 0 106382 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 440532 KiB
Current children cumulated memory: 346352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.10 5/264 65304
/proc/meminfo: memFree=122192104/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=441496 memory=346588 CPUtime=3452.67 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61655 0 0 0 344141 1126 0 0 20 0 1 0 58461353 452091904 86647 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110374 86647 1376 243 0 106623 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 441496 KiB
Current children cumulated memory: 346588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 65308
/proc/meminfo: memFree=122166364/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=442968 memory=347452 CPUtime=3512.49 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 61928 0 0 0 350118 1131 0 0 20 0 1 0 58461353 453599232 86863 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 110742 86863 1376 243 0 106991 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 442968 KiB
Current children cumulated memory: 347452 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 65310
/proc/meminfo: memFree=122166180/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=446748 memory=349040 CPUtime=3572.3 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 62672 0 0 0 356094 1136 0 0 20 0 1 0 58461353 457469952 87260 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 111687 87260 1376 243 0 107936 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 446748 KiB
Current children cumulated memory: 349040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 65355
/proc/meminfo: memFree=122743208/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=447260 memory=349540 CPUtime=3600.02 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 62862 0 0 0 358864 1138 0 0 20 0 1 0 58461353 457994240 87385 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 111815 87385 1376 243 0 108064 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 447260 KiB
Current children cumulated memory: 349540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 64915 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.65 s, system=11.3935 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 65355
/proc/meminfo: memFree=122743208/131249996 swapFree=33010684/33010684
[pid=64915] ppid=64912 vsize=447260 memory=349540 CPUtime=3600.02 cores=1,3
/proc/64915/stat : 64915 (pb-oll-rs) R 64912 64915 64424 0 -1 4194304 62862 0 0 0 358864 1138 0 0 20 0 1 0 58461353 457994240 87385 18446744073709551615 4218880 5211445 140721011792832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 19693568 140721011800476 140721011800553 140721011800553 140721011806155 0
/proc/64915/statm: 111815 87385 1376 243 0 108064 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 447260 KiB
Current children cumulated memory: 349540 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.04
CPU user time (s): 3588.65
CPU system time (s): 11.3935
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 447260
Max. memory (cumulated for all children) (KiB): 349540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.65
system time used= 11.3935
maximum resident set size= 349668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62876
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= 154
involuntary context switches= 5745
# summary of solver processes directly reported to runsolver:
# pid: 64915
# total CPU time (s): 3600.04
# total CPU user time (s): 3588.65
# total CPU system time (s): 11.3935
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62093 second user time and 16.1076 second system time
The end
Begin job on nodeC017 at 2025-07-02 05:43:56
IDJOB=4502596
IDBENCH=155354
IDSOLVER=3345
FILE ID=nodeC017/4502596-1751427836
RUNJOBID= nodeC017-1751424222-64436
SLURM_JOB_ID= 9598356
Free space on /tmp= 432888 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502596-1751427836/watcher-4502596-1751427836 -o /tmp/evaluation-result-4502596-1751427836/solver-4502596-1751427836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64436 --watchdog 3760 pb-oll-rs HOME/instance-4502596-1751427836.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=127704124
nodeC017 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 : 3600.060
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 : 7000.12
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 : 3602.876
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 : 7000.12
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 : 3602.584
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 : 7000.12
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 : 3599.930
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 : 7000.12
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.864
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 : 7000.12
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 : 3600.080
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 : 7000.12
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 : 3628.088
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 : 7000.12
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.329
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126496156 kB
MemAvailable: 129675720 kB
Buffers: 2380 kB
Cached: 3948992 kB
SwapCached: 0 kB
Active: 463212 kB
Inactive: 3631688 kB
Active(anon): 161600 kB
Inactive(anon): 12 kB
Active(file): 301612 kB
Inactive(file): 3631676 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8644 kB
Writeback: 0 kB
AnonPages: 146944 kB
Mapped: 106172 kB
Shmem: 18080 kB
KReclaimable: 170628 kB
Slab: 260380 kB
SReclaimable: 170628 kB
SUnreclaim: 89752 kB
KernelStack: 4256 kB
PageTables: 3244 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 469300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432808 MiB
End job on nodeC017 at 2025-07-02 06:44:06