0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.08 c Papilo could not simplify the problem
0.00/0.08 c [STEP] solving with SCIP
299.24/300.13 c [STEP] preprocessing done, loading into solver
299.24/300.14 c [STEP] solving
299.24/300.14 c #variables 1836 #constraints 2149
299.24/300.14 c SMALL=int, LARGE=long long
299.24/300.14 d SCIPUB -20
299.24/300.14 c bounds - >= -120 @ 299.158
299.24/300.14 c stratification level: 0
300.62/301.59 c bounds - >= -119 @ 299.159
300.62/301.59 c bounds - >= -118 @ 299.159
300.62/301.59 c bounds - >= -117 @ 299.16
300.62/301.59 c bounds - >= -116 @ 299.161
300.62/301.59 c bounds - >= -115 @ 299.165
300.62/301.59 c bounds - >= -114 @ 299.166
300.62/301.59 c bounds - >= -113 @ 299.168
300.62/301.59 c bounds - >= -112 @ 299.169
300.62/301.59 c bounds - >= -111 @ 299.175
300.62/301.59 c bounds - >= -110 @ 299.176
300.62/301.59 c bounds - >= -109 @ 299.184
300.62/301.59 c bounds - >= -108 @ 299.195
300.62/301.59 c #Conflicts: 1000 | #Constraints: 3161
300.62/301.59 c #Conflicts: 2000 | #Constraints: 4161
300.62/301.59 c INPROCESSING
300.62/301.59 c GARBAGE COLLECT
300.62/301.59 c #Conflicts: 3000 | #Constraints: 4193
300.62/301.59 c #Conflicts: 4000 | #Constraints: 5193
300.62/301.59 c INPROCESSING
300.62/301.59 c GARBAGE COLLECT
300.62/301.59 c #Conflicts: 5000 | #Constraints: 4639
300.62/301.59 c #Conflicts: 6000 | #Constraints: 5639
300.62/301.59 c INPROCESSING
300.62/301.59 c GARBAGE COLLECT
300.62/301.59 c #Conflicts: 7000 | #Constraints: 4654
300.62/301.59 c #Conflicts: 8000 | #Constraints: 5654
300.62/301.59 c finalizing WCE round: reformulating cores
342.12/343.11 c #Conflicts: 9000 | #Constraints: 6660
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 10000 | #Constraints: 5394
342.12/343.11 c bounds -22 >= -117 @ 300.761
342.12/343.11 c #Conflicts: 11000 | #Constraints: 6399
342.12/343.11 c #Conflicts: 12000 | #Constraints: 7401
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 13000 | #Constraints: 5852
342.12/343.11 c bounds -22 >= -112 @ 301.443
342.12/343.11 c bounds -22 >= -112 @ 301.471
342.12/343.11 c #Conflicts: 14000 | #Constraints: 6859
342.12/343.11 c bounds -22 >= -109 @ 301.646
342.12/343.11 c bounds -22 >= -109 @ 301.667
342.12/343.11 c bounds -22 >= -109 @ 301.714
342.12/343.11 c #Conflicts: 15000 | #Constraints: 7870
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c bounds -22 >= -109 @ 301.805
342.12/343.11 c bounds -22 >= -109 @ 301.927
342.12/343.11 c #Conflicts: 16000 | #Constraints: 6097
342.12/343.11 c #Conflicts: 17000 | #Constraints: 7099
342.12/343.11 c #Conflicts: 18000 | #Constraints: 8103
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 19000 | #Constraints: 6089
342.12/343.11 c bounds -22 >= -100 @ 302.763
342.12/343.11 c bounds -22 >= -99 @ 302.886
342.12/343.11 c bounds -22 >= -98 @ 302.887
342.12/343.11 c bounds -22 >= -97 @ 302.9
342.12/343.11 c #Conflicts: 20000 | #Constraints: 7127
342.12/343.11 c bounds -22 >= -96 @ 303.105
342.12/343.11 c #Conflicts: 21000 | #Constraints: 8152
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 22000 | #Constraints: 5994
342.12/343.11 c bounds -22 >= -95 @ 303.472
342.12/343.11 c #Conflicts: 23000 | #Constraints: 7016
342.12/343.11 c #Conflicts: 24000 | #Constraints: 8016
342.12/343.11 c #Conflicts: 25000 | #Constraints: 9016
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 26000 | #Constraints: 6654
342.12/343.11 c #Conflicts: 27000 | #Constraints: 7654
342.12/343.11 c #Conflicts: 28000 | #Constraints: 8654
342.12/343.11 c #Conflicts: 29000 | #Constraints: 9654
342.12/343.11 c #Conflicts: 30000 | #Constraints: 10654
342.12/343.11 c bounds -22 >= -94 @ 306.646
342.12/343.11 c #Conflicts: 31000 | #Constraints: 11688
342.12/343.11 c #Conflicts: 32000 | #Constraints: 12688
342.12/343.11 c #Conflicts: 33000 | #Constraints: 13688
342.12/343.11 c #Conflicts: 34000 | #Constraints: 14688
342.12/343.11 c #Conflicts: 35000 | #Constraints: 15688
342.12/343.11 c #Conflicts: 36000 | #Constraints: 16688
342.12/343.11 c #Conflicts: 37000 | #Constraints: 17688
342.12/343.11 c #Conflicts: 38000 | #Constraints: 18688
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 39000 | #Constraints: 11617
342.12/343.11 c #Conflicts: 40000 | #Constraints: 12617
342.12/343.11 c #Conflicts: 41000 | #Constraints: 13617
342.12/343.11 c #Conflicts: 42000 | #Constraints: 14617
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 43000 | #Constraints: 9160
342.12/343.11 c #Conflicts: 44000 | #Constraints: 10160
342.12/343.11 c #Conflicts: 45000 | #Constraints: 11160
342.12/343.11 c #Conflicts: 46000 | #Constraints: 12160
342.12/343.11 c #Conflicts: 47000 | #Constraints: 13160
342.12/343.11 c #Conflicts: 48000 | #Constraints: 14160
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 49000 | #Constraints: 9344
342.12/343.11 c #Conflicts: 50000 | #Constraints: 10344
342.12/343.11 c #Conflicts: 51000 | #Constraints: 11344
342.12/343.11 c #Conflicts: 52000 | #Constraints: 12344
342.12/343.11 c #Conflicts: 53000 | #Constraints: 13344
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 54000 | #Constraints: 8809
342.12/343.11 c #Conflicts: 55000 | #Constraints: 9809
342.12/343.11 c #Conflicts: 56000 | #Constraints: 10809
342.12/343.11 c #Conflicts: 57000 | #Constraints: 11809
342.12/343.11 c #Conflicts: 58000 | #Constraints: 12809
342.12/343.11 c INPROCESSING
342.12/343.11 c GARBAGE COLLECT
342.12/343.11 c #Conflicts: 59000 | #Constraints: 8299
342.12/343.11 c #Conflicts: 60000 | #Constraints: 9299
342.12/343.11 c #Conflicts: 61000 | #Constraints: 10299
342.12/343.11 c #Conflicts: 62000 | #Constraints: 11299
342.12/343.11 c #Conflicts: 63000 | #Constraints: 12299
342.12/343.11 c #Conflicts: 64000 | #Constraints: 13299
342.12/343.11 c #Conflicts: 65000 | #Constraints: 14299
342.12/343.11 c #Conflicts: 66000 | #Constraints: 15299
342.12/343.11 c #Conflicts: 67000 | #Constraints: 16299
342.12/343.11 c #Conflicts: 68000 | #Constraints: 17299
342.12/343.11 c #Conflicts: 69000 | #Constraints: 18299
342.12/343.11 c #Conflicts: 70000 | #Constraints: 19299
342.12/343.11 c #Conflicts: 71000 | #Constraints: 20299
446.80/448.13 c #Conflicts: 72000 | #Constraints: 21299
446.80/448.13 c #Conflicts: 73000 | #Constraints: 22299
446.80/448.13 c #Conflicts: 74000 | #Constraints: 23299
446.80/448.13 c #Conflicts: 75000 | #Constraints: 24299
446.80/448.13 c #Conflicts: 76000 | #Constraints: 25299
446.80/448.13 c #Conflicts: 77000 | #Constraints: 26299
446.80/448.13 c #Conflicts: 78000 | #Constraints: 27299
446.80/448.13 c INPROCESSING
446.80/448.13 c GARBAGE COLLECT
446.80/448.13 c #Conflicts: 79000 | #Constraints: 15942
446.80/448.13 c #Conflicts: 80000 | #Constraints: 16942
446.80/448.13 c #Conflicts: 81000 | #Constraints: 17942
446.80/448.13 c #Conflicts: 82000 | #Constraints: 18942
446.80/448.13 c #Conflicts: 83000 | #Constraints: 19942
446.80/448.13 c #Conflicts: 84000 | #Constraints: 20942
446.80/448.13 c INPROCESSING
446.80/448.13 c GARBAGE COLLECT
446.80/448.13 c #Conflicts: 85000 | #Constraints: 12355
446.80/448.13 c #Conflicts: 86000 | #Constraints: 13355
446.80/448.13 c #Conflicts: 87000 | #Constraints: 14355
446.80/448.13 c #Conflicts: 88000 | #Constraints: 15355
446.80/448.13 c #Conflicts: 89000 | #Constraints: 16355
446.80/448.13 c #Conflicts: 90000 | #Constraints: 17355
446.80/448.13 c #Conflicts: 91000 | #Constraints: 18355
446.80/448.13 c INPROCESSING
446.80/448.13 c GARBAGE COLLECT
446.80/448.13 c #Conflicts: 92000 | #Constraints: 11077
446.80/448.13 c #Conflicts: 93000 | #Constraints: 12077
446.80/448.13 c #Conflicts: 94000 | #Constraints: 13077
446.80/448.13 c #Conflicts: 95000 | #Constraints: 14077
446.80/448.13 c #Conflicts: 96000 | #Constraints: 15077
446.80/448.13 c #Conflicts: 97000 | #Constraints: 16077
446.80/448.13 c #Conflicts: 98000 | #Constraints: 17077
446.80/448.13 c #Conflicts: 99000 | #Constraints: 18077
446.80/448.13 c INPROCESSING
446.80/448.13 c GARBAGE COLLECT
446.80/448.13 c #Conflicts: 100000 | #Constraints: 11332
446.80/448.13 c #Conflicts: 101000 | #Constraints: 12332
446.80/448.13 c #Conflicts: 102000 | #Constraints: 13332
446.80/448.13 c #Conflicts: 103000 | #Constraints: 14332
446.80/448.13 c #Conflicts: 104000 | #Constraints: 15332
446.80/448.13 c #Conflicts: 105000 | #Constraints: 16332
446.80/448.13 c #Conflicts: 106000 | #Constraints: 17332
446.80/448.13 c INPROCESSING
446.80/448.13 c GARBAGE COLLECT
446.80/448.13 c #Conflicts: 107000 | #Constraints: 10751
446.80/448.13 c #Conflicts: 108000 | #Constraints: 11751
446.80/448.13 c #Conflicts: 109000 | #Constraints: 12751
446.80/448.13 c #Conflicts: 110000 | #Constraints: 13751
446.80/448.13 c #Conflicts: 111000 | #Constraints: 14751
446.80/448.13 c #Conflicts: 112000 | #Constraints: 15751
446.80/448.13 c #Conflicts: 113000 | #Constraints: 16751
446.80/448.13 c #Conflicts: 114000 | #Constraints: 17751
446.80/448.13 c INPROCESSING
446.80/448.13 c GARBAGE COLLECT
446.80/448.13 c #Conflicts: 115000 | #Constraints: 11194
446.80/448.13 c #Conflicts: 116000 | #Constraints: 12194
446.80/448.13 c #Conflicts: 117000 | #Constraints: 13194
446.80/448.13 c #Conflicts: 118000 | #Constraints: 14194
446.80/448.13 c #Conflicts: 119000 | #Constraints: 15194
446.80/448.13 c #Conflicts: 120000 | #Constraints: 16194
446.80/448.13 c #Conflicts: 121000 | #Constraints: 17194
446.80/448.13 c INPROCESSING
446.80/448.13 c GARBAGE COLLECT
446.80/448.13 c #Conflicts: 122000 | #Constraints: 10505
446.80/448.13 c #Conflicts: 123000 | #Constraints: 11505
446.80/448.13 c #Conflicts: 124000 | #Constraints: 12505
446.80/448.13 c #Conflicts: 125000 | #Constraints: 13505
446.80/448.13 c #Conflicts: 126000 | #Constraints: 14505
446.80/448.13 c #Conflicts: 127000 | #Constraints: 15505
446.80/448.13 c #Conflicts: 128000 | #Constraints: 16505
446.80/448.13 c #Conflicts: 129000 | #Constraints: 17505
446.80/448.13 c #Conflicts: 130000 | #Constraints: 18505
446.80/448.13 c #Conflicts: 131000 | #Constraints: 19505
446.80/448.13 c #Conflicts: 132000 | #Constraints: 20505
446.80/448.13 c #Conflicts: 133000 | #Constraints: 21505
446.80/448.13 c #Conflicts: 134000 | #Constraints: 22505
446.80/448.13 c #Conflicts: 135000 | #Constraints: 23505
446.80/448.13 c #Conflicts: 136000 | #Constraints: 24505
446.80/448.13 c #Conflicts: 137000 | #Constraints: 25505
446.80/448.13 c bounds -22 >= -93 @ 436.02
446.80/448.13 c #Conflicts: 138000 | #Constraints: 26530
446.80/448.13 c #Conflicts: 139000 | #Constraints: 27530
446.80/448.13 c #Conflicts: 140000 | #Constraints: 28530
446.80/448.13 c #Conflicts: 141000 | #Constraints: 29530
446.80/448.13 c #Conflicts: 142000 | #Constraints: 30530
446.80/448.13 c #Conflicts: 143000 | #Constraints: 31530
446.80/448.13 c #Conflicts: 144000 | #Constraints: 32530
446.80/448.13 c #Conflicts: 145000 | #Constraints: 33530
571.50/573.25 c #Conflicts: 146000 | #Constraints: 34530
571.50/573.25 c #Conflicts: 147000 | #Constraints: 35530
571.50/573.25 c #Conflicts: 148000 | #Constraints: 36530
571.50/573.25 c #Conflicts: 149000 | #Constraints: 37530
571.50/573.25 c INPROCESSING
571.50/573.25 c GARBAGE COLLECT
571.50/573.25 c #Conflicts: 150000 | #Constraints: 20773
571.50/573.25 c #Conflicts: 151000 | #Constraints: 21773
571.50/573.25 c #Conflicts: 152000 | #Constraints: 22773
571.50/573.25 c #Conflicts: 153000 | #Constraints: 23773
571.50/573.25 c #Conflicts: 154000 | #Constraints: 24773
571.50/573.25 c #Conflicts: 155000 | #Constraints: 25773
571.50/573.25 c #Conflicts: 156000 | #Constraints: 26773
571.50/573.25 c #Conflicts: 157000 | #Constraints: 27773
571.50/573.25 c #Conflicts: 158000 | #Constraints: 28773
571.50/573.25 c INPROCESSING
571.50/573.25 c GARBAGE COLLECT
571.50/573.25 c #Conflicts: 159000 | #Constraints: 16348
571.50/573.25 c #Conflicts: 160000 | #Constraints: 17348
571.50/573.25 c #Conflicts: 161000 | #Constraints: 18348
571.50/573.25 c #Conflicts: 162000 | #Constraints: 19348
571.50/573.25 c #Conflicts: 163000 | #Constraints: 20348
571.50/573.25 c #Conflicts: 164000 | #Constraints: 21348
571.50/573.25 c #Conflicts: 165000 | #Constraints: 22348
571.50/573.25 c #Conflicts: 166000 | #Constraints: 23348
571.50/573.25 c #Conflicts: 167000 | #Constraints: 24348
571.50/573.25 c #Conflicts: 168000 | #Constraints: 25348
571.50/573.25 c INPROCESSING
571.50/573.25 c GARBAGE COLLECT
571.50/573.25 c #Conflicts: 169000 | #Constraints: 14968
571.50/573.25 c #Conflicts: 170000 | #Constraints: 15968
571.50/573.25 c #Conflicts: 171000 | #Constraints: 16968
571.50/573.25 c #Conflicts: 172000 | #Constraints: 17968
571.50/573.25 c #Conflicts: 173000 | #Constraints: 18968
571.50/573.25 c #Conflicts: 174000 | #Constraints: 19968
571.50/573.25 c #Conflicts: 175000 | #Constraints: 20968
571.50/573.25 c #Conflicts: 176000 | #Constraints: 21968
571.50/573.25 c #Conflicts: 177000 | #Constraints: 22968
571.50/573.25 c INPROCESSING
571.50/573.25 c GARBAGE COLLECT
571.50/573.25 c #Conflicts: 178000 | #Constraints: 13558
571.50/573.25 c #Conflicts: 179000 | #Constraints: 14558
571.50/573.25 c #Conflicts: 180000 | #Constraints: 15558
571.50/573.25 c #Conflicts: 181000 | #Constraints: 16558
571.50/573.25 c #Conflicts: 182000 | #Constraints: 17558
571.50/573.25 c #Conflicts: 183000 | #Constraints: 18558
571.50/573.25 c #Conflicts: 184000 | #Constraints: 19558
571.50/573.25 c #Conflicts: 185000 | #Constraints: 20558
571.50/573.25 c #Conflicts: 186000 | #Constraints: 21558
571.50/573.25 c #Conflicts: 187000 | #Constraints: 22558
571.50/573.25 c INPROCESSING
571.50/573.25 c GARBAGE COLLECT
571.50/573.25 c #Conflicts: 188000 | #Constraints: 13493
571.50/573.25 c #Conflicts: 189000 | #Constraints: 14493
571.50/573.25 c #Conflicts: 190000 | #Constraints: 15493
571.50/573.25 c #Conflicts: 191000 | #Constraints: 16493
571.50/573.25 c #Conflicts: 192000 | #Constraints: 17493
571.50/573.25 c #Conflicts: 193000 | #Constraints: 18493
571.50/573.25 c #Conflicts: 194000 | #Constraints: 19493
571.50/573.25 c #Conflicts: 195000 | #Constraints: 20493
571.50/573.25 c #Conflicts: 196000 | #Constraints: 21493
571.50/573.25 c #Conflicts: 197000 | #Constraints: 22493
571.50/573.25 c INPROCESSING
571.50/573.25 c GARBAGE COLLECT
571.50/573.25 c #Conflicts: 198000 | #Constraints: 13506
571.50/573.25 c #Conflicts: 199000 | #Constraints: 14506
571.50/573.25 c #Conflicts: 200000 | #Constraints: 15506
571.50/573.25 c #Conflicts: 201000 | #Constraints: 16506
571.50/573.25 c #Conflicts: 202000 | #Constraints: 17506
571.50/573.25 c #Conflicts: 203000 | #Constraints: 18506
571.50/573.25 c #Conflicts: 204000 | #Constraints: 19506
571.50/573.25 c #Conflicts: 205000 | #Constraints: 20506
571.50/573.25 c #Conflicts: 206000 | #Constraints: 21506
571.50/573.25 c #Conflicts: 207000 | #Constraints: 22506
571.50/573.25 c #Conflicts: 208000 | #Constraints: 23506
571.50/573.25 c #Conflicts: 209000 | #Constraints: 24506
571.50/573.25 c #Conflicts: 210000 | #Constraints: 25506
571.50/573.25 c #Conflicts: 211000 | #Constraints: 26506
571.50/573.25 c #Conflicts: 212000 | #Constraints: 27506
571.50/573.25 c #Conflicts: 213000 | #Constraints: 28506
571.50/573.25 c #Conflicts: 214000 | #Constraints: 29506
571.50/573.25 c #Conflicts: 215000 | #Constraints: 30506
571.50/573.25 c #Conflicts: 216000 | #Constraints: 31506
571.50/573.25 c #Conflicts: 217000 | #Constraints: 32506
571.50/573.25 c #Conflicts: 218000 | #Constraints: 33506
571.50/573.25 c #Conflicts: 219000 | #Constraints: 34506
571.50/573.25 c #Conflicts: 220000 | #Constraints: 35506
751.89/754.29 c #Conflicts: 221000 | #Constraints: 36506
751.89/754.29 c #Conflicts: 222000 | #Constraints: 37506
751.89/754.29 c #Conflicts: 223000 | #Constraints: 38506
751.89/754.29 c #Conflicts: 224000 | #Constraints: 39506
751.89/754.29 c #Conflicts: 225000 | #Constraints: 40506
751.89/754.29 c #Conflicts: 226000 | #Constraints: 41506
751.89/754.29 c #Conflicts: 227000 | #Constraints: 42506
751.89/754.29 c #Conflicts: 228000 | #Constraints: 43506
751.89/754.29 c #Conflicts: 229000 | #Constraints: 44506
751.89/754.29 c #Conflicts: 230000 | #Constraints: 45506
751.89/754.29 c #Conflicts: 231000 | #Constraints: 46506
751.89/754.29 c #Conflicts: 232000 | #Constraints: 47506
751.89/754.29 c INPROCESSING
751.89/754.29 c GARBAGE COLLECT
751.89/754.29 c #Conflicts: 233000 | #Constraints: 25896
751.89/754.29 c #Conflicts: 234000 | #Constraints: 26896
751.89/754.29 c #Conflicts: 235000 | #Constraints: 27896
751.89/754.29 c #Conflicts: 236000 | #Constraints: 28896
751.89/754.29 c #Conflicts: 237000 | #Constraints: 29896
751.89/754.29 c #Conflicts: 238000 | #Constraints: 30896
751.89/754.29 c #Conflicts: 239000 | #Constraints: 31896
751.89/754.29 c #Conflicts: 240000 | #Constraints: 32896
751.89/754.29 c #Conflicts: 241000 | #Constraints: 33896
751.89/754.29 c #Conflicts: 242000 | #Constraints: 34896
751.89/754.29 c #Conflicts: 243000 | #Constraints: 35896
751.89/754.29 c INPROCESSING
751.89/754.29 c GARBAGE COLLECT
751.89/754.29 c #Conflicts: 244000 | #Constraints: 19982
751.89/754.29 c #Conflicts: 245000 | #Constraints: 20982
751.89/754.29 c #Conflicts: 246000 | #Constraints: 21982
751.89/754.29 c #Conflicts: 247000 | #Constraints: 22982
751.89/754.29 c #Conflicts: 248000 | #Constraints: 23982
751.89/754.29 c #Conflicts: 249000 | #Constraints: 24982
751.89/754.29 c #Conflicts: 250000 | #Constraints: 25982
751.89/754.29 c #Conflicts: 251000 | #Constraints: 26982
751.89/754.29 c #Conflicts: 252000 | #Constraints: 27982
751.89/754.29 c #Conflicts: 253000 | #Constraints: 28982
751.89/754.29 c #Conflicts: 254000 | #Constraints: 29982
751.89/754.29 c #Conflicts: 255000 | #Constraints: 30982
751.89/754.29 c INPROCESSING
751.89/754.29 c GARBAGE COLLECT
751.89/754.29 c #Conflicts: 256000 | #Constraints: 17803
751.89/754.29 c #Conflicts: 257000 | #Constraints: 18803
751.89/754.29 c #Conflicts: 258000 | #Constraints: 19803
751.89/754.29 c #Conflicts: 259000 | #Constraints: 20803
751.89/754.29 c #Conflicts: 260000 | #Constraints: 21803
751.89/754.29 c #Conflicts: 261000 | #Constraints: 22803
751.89/754.29 c #Conflicts: 262000 | #Constraints: 23803
751.89/754.29 c #Conflicts: 263000 | #Constraints: 24803
751.89/754.29 c #Conflicts: 264000 | #Constraints: 25803
751.89/754.29 c #Conflicts: 265000 | #Constraints: 26803
751.89/754.29 c #Conflicts: 266000 | #Constraints: 27803
751.89/754.29 c INPROCESSING
751.89/754.29 c GARBAGE COLLECT
751.89/754.29 c #Conflicts: 267000 | #Constraints: 15917
751.89/754.29 c #Conflicts: 268000 | #Constraints: 16917
751.89/754.29 c #Conflicts: 269000 | #Constraints: 17917
751.89/754.29 c #Conflicts: 270000 | #Constraints: 18917
751.89/754.29 c #Conflicts: 271000 | #Constraints: 19917
751.89/754.29 c #Conflicts: 272000 | #Constraints: 20917
751.89/754.29 c #Conflicts: 273000 | #Constraints: 21917
751.89/754.29 c #Conflicts: 274000 | #Constraints: 22917
751.89/754.29 c #Conflicts: 275000 | #Constraints: 23917
751.89/754.29 c #Conflicts: 276000 | #Constraints: 24917
751.89/754.29 c #Conflicts: 277000 | #Constraints: 25917
751.89/754.29 c #Conflicts: 278000 | #Constraints: 26917
751.89/754.29 c INPROCESSING
751.89/754.29 c GARBAGE COLLECT
751.89/754.29 c #Conflicts: 279000 | #Constraints: 15550
751.89/754.29 c #Conflicts: 280000 | #Constraints: 16550
751.89/754.29 c #Conflicts: 281000 | #Constraints: 17550
751.89/754.29 c #Conflicts: 282000 | #Constraints: 18550
751.89/754.29 c #Conflicts: 283000 | #Constraints: 19550
751.89/754.29 c #Conflicts: 284000 | #Constraints: 20550
751.89/754.29 c #Conflicts: 285000 | #Constraints: 21550
751.89/754.29 c #Conflicts: 286000 | #Constraints: 22550
751.89/754.29 c #Conflicts: 287000 | #Constraints: 23550
751.89/754.29 c #Conflicts: 288000 | #Constraints: 24550
751.89/754.29 c #Conflicts: 289000 | #Constraints: 25550
751.89/754.29 c #Conflicts: 290000 | #Constraints: 26550
751.89/754.29 c INPROCESSING
751.89/754.29 c GARBAGE COLLECT
751.89/754.29 c #Conflicts: 291000 | #Constraints: 15418
751.89/754.29 c #Conflicts: 292000 | #Constraints: 16418
751.89/754.29 c #Conflicts: 293000 | #Constraints: 17418
751.89/754.29 c #Conflicts: 294000 | #Constraints: 18418
751.89/754.29 c #Conflicts: 295000 | #Constraints: 19418
1032.34/1035.63 c #Conflicts: 296000 | #Constraints: 20418
1032.34/1035.63 c #Conflicts: 297000 | #Constraints: 21418
1032.34/1035.63 c #Conflicts: 298000 | #Constraints: 22418
1032.34/1035.63 c #Conflicts: 299000 | #Constraints: 23418
1032.34/1035.63 c #Conflicts: 300000 | #Constraints: 24418
1032.34/1035.63 c #Conflicts: 301000 | #Constraints: 25418
1032.34/1035.63 c #Conflicts: 302000 | #Constraints: 26418
1032.34/1035.63 c #Conflicts: 303000 | #Constraints: 27418
1032.34/1035.63 c #Conflicts: 304000 | #Constraints: 28418
1032.34/1035.63 c #Conflicts: 305000 | #Constraints: 29418
1032.34/1035.63 c #Conflicts: 306000 | #Constraints: 30418
1032.34/1035.63 c #Conflicts: 307000 | #Constraints: 31418
1032.34/1035.63 c #Conflicts: 308000 | #Constraints: 32418
1032.34/1035.63 c #Conflicts: 309000 | #Constraints: 33418
1032.34/1035.63 c #Conflicts: 310000 | #Constraints: 34418
1032.34/1035.63 c #Conflicts: 311000 | #Constraints: 35418
1032.34/1035.63 c #Conflicts: 312000 | #Constraints: 36418
1032.34/1035.63 c #Conflicts: 313000 | #Constraints: 37418
1032.34/1035.63 c #Conflicts: 314000 | #Constraints: 38418
1032.34/1035.63 c #Conflicts: 315000 | #Constraints: 39418
1032.34/1035.63 c #Conflicts: 316000 | #Constraints: 40418
1032.34/1035.63 c #Conflicts: 317000 | #Constraints: 41418
1032.34/1035.63 c #Conflicts: 318000 | #Constraints: 42418
1032.34/1035.63 c #Conflicts: 319000 | #Constraints: 43418
1032.34/1035.63 c #Conflicts: 320000 | #Constraints: 44418
1032.34/1035.63 c #Conflicts: 321000 | #Constraints: 45418
1032.34/1035.63 c #Conflicts: 322000 | #Constraints: 46418
1032.34/1035.63 c #Conflicts: 323000 | #Constraints: 47418
1032.34/1035.63 c #Conflicts: 324000 | #Constraints: 48418
1032.34/1035.63 c #Conflicts: 325000 | #Constraints: 49418
1032.34/1035.63 c #Conflicts: 326000 | #Constraints: 50418
1032.34/1035.63 c #Conflicts: 327000 | #Constraints: 51418
1032.34/1035.63 c #Conflicts: 328000 | #Constraints: 52418
1032.34/1035.63 c #Conflicts: 329000 | #Constraints: 53418
1032.34/1035.63 c #Conflicts: 330000 | #Constraints: 54418
1032.34/1035.63 c #Conflicts: 331000 | #Constraints: 55418
1032.34/1035.63 c #Conflicts: 332000 | #Constraints: 56418
1032.34/1035.63 c #Conflicts: 333000 | #Constraints: 57418
1032.34/1035.63 c INPROCESSING
1032.34/1035.63 c GARBAGE COLLECT
1032.34/1035.63 c #Conflicts: 334000 | #Constraints: 30944
1032.34/1035.63 c #Conflicts: 335000 | #Constraints: 31944
1032.34/1035.63 c #Conflicts: 336000 | #Constraints: 32944
1032.34/1035.63 c #Conflicts: 337000 | #Constraints: 33944
1032.34/1035.63 c #Conflicts: 338000 | #Constraints: 34944
1032.34/1035.63 c #Conflicts: 339000 | #Constraints: 35944
1032.34/1035.63 c #Conflicts: 340000 | #Constraints: 36944
1032.34/1035.63 c #Conflicts: 341000 | #Constraints: 37944
1032.34/1035.63 c #Conflicts: 342000 | #Constraints: 38944
1032.34/1035.63 c #Conflicts: 343000 | #Constraints: 39944
1032.34/1035.63 c #Conflicts: 344000 | #Constraints: 40944
1032.34/1035.63 c #Conflicts: 345000 | #Constraints: 41944
1032.34/1035.63 c #Conflicts: 346000 | #Constraints: 42944
1032.34/1035.63 c INPROCESSING
1032.34/1035.63 c GARBAGE COLLECT
1032.34/1035.63 c #Conflicts: 347000 | #Constraints: 23550
1032.34/1035.63 c #Conflicts: 348000 | #Constraints: 24550
1032.34/1035.63 c #Conflicts: 349000 | #Constraints: 25550
1032.34/1035.63 c #Conflicts: 350000 | #Constraints: 26550
1032.34/1035.63 c #Conflicts: 351000 | #Constraints: 27550
1032.34/1035.63 c #Conflicts: 352000 | #Constraints: 28550
1032.34/1035.63 c #Conflicts: 353000 | #Constraints: 29550
1032.34/1035.63 c #Conflicts: 354000 | #Constraints: 30550
1032.34/1035.63 c #Conflicts: 355000 | #Constraints: 31550
1032.34/1035.63 c #Conflicts: 356000 | #Constraints: 32550
1032.34/1035.63 c #Conflicts: 357000 | #Constraints: 33550
1032.34/1035.63 c #Conflicts: 358000 | #Constraints: 34550
1032.34/1035.63 c #Conflicts: 359000 | #Constraints: 35550
1032.34/1035.63 c #Conflicts: 360000 | #Constraints: 36550
1032.34/1035.63 c INPROCESSING
1032.34/1035.63 c GARBAGE COLLECT
1032.34/1035.63 c #Conflicts: 361000 | #Constraints: 20597
1032.34/1035.63 c #Conflicts: 362000 | #Constraints: 21597
1032.34/1035.63 c #Conflicts: 363000 | #Constraints: 22597
1032.34/1035.63 c #Conflicts: 364000 | #Constraints: 23597
1032.34/1035.63 c #Conflicts: 365000 | #Constraints: 24597
1032.34/1035.63 c #Conflicts: 366000 | #Constraints: 25597
1032.34/1035.63 c #Conflicts: 367000 | #Constraints: 26597
1032.34/1035.63 c #Conflicts: 368000 | #Constraints: 27597
1032.34/1035.63 c #Conflicts: 369000 | #Constraints: 28597
1032.34/1035.63 c #Conflicts: 370000 | #Constraints: 29597
1032.34/1035.63 c #Conflicts: 371000 | #Constraints: 30597
1032.34/1035.63 c #Conflicts: 372000 | #Constraints: 31597
1302.53/1306.56 c #Conflicts: 373000 | #Constraints: 32597
1302.53/1306.56 c INPROCESSING
1302.53/1306.56 c GARBAGE COLLECT
1302.53/1306.56 c #Conflicts: 374000 | #Constraints: 18292
1302.53/1306.56 c #Conflicts: 375000 | #Constraints: 19292
1302.53/1306.56 c #Conflicts: 376000 | #Constraints: 20292
1302.53/1306.56 c #Conflicts: 377000 | #Constraints: 21292
1302.53/1306.56 c #Conflicts: 378000 | #Constraints: 22292
1302.53/1306.56 c #Conflicts: 379000 | #Constraints: 23292
1302.53/1306.56 c #Conflicts: 380000 | #Constraints: 24292
1302.53/1306.56 c #Conflicts: 381000 | #Constraints: 25292
1302.53/1306.56 c #Conflicts: 382000 | #Constraints: 26292
1302.53/1306.56 c #Conflicts: 383000 | #Constraints: 27292
1302.53/1306.56 c #Conflicts: 384000 | #Constraints: 28292
1302.53/1306.56 c #Conflicts: 385000 | #Constraints: 29292
1302.53/1306.56 c #Conflicts: 386000 | #Constraints: 30292
1302.53/1306.56 c #Conflicts: 387000 | #Constraints: 31292
1302.53/1306.56 c INPROCESSING
1302.53/1306.56 c GARBAGE COLLECT
1302.53/1306.56 c #Conflicts: 388000 | #Constraints: 17685
1302.53/1306.56 c #Conflicts: 389000 | #Constraints: 18685
1302.53/1306.56 c #Conflicts: 390000 | #Constraints: 19685
1302.53/1306.56 c #Conflicts: 391000 | #Constraints: 20685
1302.53/1306.56 c #Conflicts: 392000 | #Constraints: 21685
1302.53/1306.56 c #Conflicts: 393000 | #Constraints: 22685
1302.53/1306.56 c #Conflicts: 394000 | #Constraints: 23685
1302.53/1306.56 c #Conflicts: 395000 | #Constraints: 24685
1302.53/1306.56 c #Conflicts: 396000 | #Constraints: 25685
1302.53/1306.56 c #Conflicts: 397000 | #Constraints: 26685
1302.53/1306.56 c #Conflicts: 398000 | #Constraints: 27685
1302.53/1306.56 c #Conflicts: 399000 | #Constraints: 28685
1302.53/1306.56 c #Conflicts: 400000 | #Constraints: 29685
1302.53/1306.56 c #Conflicts: 401000 | #Constraints: 30685
1302.53/1306.56 c INPROCESSING
1302.53/1306.56 c GARBAGE COLLECT
1302.53/1306.56 c #Conflicts: 402000 | #Constraints: 17331
1302.53/1306.56 c #Conflicts: 403000 | #Constraints: 18331
1302.53/1306.56 c #Conflicts: 404000 | #Constraints: 19331
1302.53/1306.56 c #Conflicts: 405000 | #Constraints: 20331
1302.53/1306.56 c #Conflicts: 406000 | #Constraints: 21331
1302.53/1306.56 c #Conflicts: 407000 | #Constraints: 22331
1302.53/1306.56 c #Conflicts: 408000 | #Constraints: 23331
1302.53/1306.56 c #Conflicts: 409000 | #Constraints: 24331
1302.53/1306.56 c #Conflicts: 410000 | #Constraints: 25331
1302.53/1306.56 c #Conflicts: 411000 | #Constraints: 26331
1302.53/1306.56 c #Conflicts: 412000 | #Constraints: 27331
1302.53/1306.56 c #Conflicts: 413000 | #Constraints: 28331
1302.53/1306.56 c #Conflicts: 414000 | #Constraints: 29331
1302.53/1306.56 c #Conflicts: 415000 | #Constraints: 30331
1302.53/1306.56 c #Conflicts: 416000 | #Constraints: 31331
1302.53/1306.56 c #Conflicts: 417000 | #Constraints: 32331
1302.53/1306.56 c #Conflicts: 418000 | #Constraints: 33331
1302.53/1306.56 c #Conflicts: 419000 | #Constraints: 34331
1302.53/1306.56 c #Conflicts: 420000 | #Constraints: 35331
1302.53/1306.56 c #Conflicts: 421000 | #Constraints: 36331
1302.53/1306.56 c #Conflicts: 422000 | #Constraints: 37331
1302.53/1306.56 c #Conflicts: 423000 | #Constraints: 38331
1302.53/1306.56 c #Conflicts: 424000 | #Constraints: 39331
1302.53/1306.56 c #Conflicts: 425000 | #Constraints: 40331
1302.53/1306.56 c #Conflicts: 426000 | #Constraints: 41331
1302.53/1306.56 c #Conflicts: 427000 | #Constraints: 42331
1302.53/1306.56 c #Conflicts: 428000 | #Constraints: 43331
1302.53/1306.56 c #Conflicts: 429000 | #Constraints: 44331
1302.53/1306.56 c #Conflicts: 430000 | #Constraints: 45331
1302.53/1306.56 c #Conflicts: 431000 | #Constraints: 46331
1302.53/1306.56 c #Conflicts: 432000 | #Constraints: 47331
1302.53/1306.56 c #Conflicts: 433000 | #Constraints: 48331
1302.53/1306.56 c #Conflicts: 434000 | #Constraints: 49331
1302.53/1306.56 c #Conflicts: 435000 | #Constraints: 50331
1302.53/1306.56 c #Conflicts: 436000 | #Constraints: 51331
1302.53/1306.56 c #Conflicts: 437000 | #Constraints: 52331
1302.53/1306.56 c #Conflicts: 438000 | #Constraints: 53331
1302.53/1306.56 c #Conflicts: 439000 | #Constraints: 54331
1302.53/1306.56 c #Conflicts: 440000 | #Constraints: 55331
1302.53/1306.56 c #Conflicts: 441000 | #Constraints: 56331
1302.53/1306.56 c #Conflicts: 442000 | #Constraints: 57331
1302.53/1306.56 c #Conflicts: 443000 | #Constraints: 58331
1302.53/1306.56 c #Conflicts: 444000 | #Constraints: 59331
1302.53/1306.56 c #Conflicts: 445000 | #Constraints: 60331
1302.53/1306.56 c #Conflicts: 446000 | #Constraints: 61331
1302.53/1306.56 c #Conflicts: 447000 | #Constraints: 62331
1302.53/1306.56 c #Conflicts: 448000 | #Constraints: 63331
1302.53/1306.56 c #Conflicts: 449000 | #Constraints: 64331
1566.08/1570.85 c #Conflicts: 450000 | #Constraints: 65331
1566.08/1570.85 c #Conflicts: 451000 | #Constraints: 66331
1566.08/1570.85 c #Conflicts: 452000 | #Constraints: 67331
1566.08/1570.85 c INPROCESSING
1566.08/1570.85 c GARBAGE COLLECT
1566.08/1570.85 c #Conflicts: 453000 | #Constraints: 36035
1566.08/1570.85 c #Conflicts: 454000 | #Constraints: 37035
1566.08/1570.85 c #Conflicts: 455000 | #Constraints: 38035
1566.08/1570.85 c #Conflicts: 456000 | #Constraints: 39035
1566.08/1570.85 c #Conflicts: 457000 | #Constraints: 40035
1566.08/1570.85 c #Conflicts: 458000 | #Constraints: 41035
1566.08/1570.85 c #Conflicts: 459000 | #Constraints: 42035
1566.08/1570.85 c #Conflicts: 460000 | #Constraints: 43035
1566.08/1570.85 c #Conflicts: 461000 | #Constraints: 44035
1566.08/1570.85 c #Conflicts: 462000 | #Constraints: 45035
1566.08/1570.85 c #Conflicts: 463000 | #Constraints: 46035
1566.08/1570.85 c #Conflicts: 464000 | #Constraints: 47035
1566.08/1570.85 c #Conflicts: 465000 | #Constraints: 48035
1566.08/1570.85 c #Conflicts: 466000 | #Constraints: 49035
1566.08/1570.85 c #Conflicts: 467000 | #Constraints: 50035
1566.08/1570.85 c INPROCESSING
1566.08/1570.85 c GARBAGE COLLECT
1566.08/1570.85 c #Conflicts: 468000 | #Constraints: 27164
1566.08/1570.85 c #Conflicts: 469000 | #Constraints: 28164
1566.08/1570.85 c #Conflicts: 470000 | #Constraints: 29164
1566.08/1570.85 c #Conflicts: 471000 | #Constraints: 30164
1566.08/1570.85 c #Conflicts: 472000 | #Constraints: 31164
1566.08/1570.85 c #Conflicts: 473000 | #Constraints: 32164
1566.08/1570.85 c #Conflicts: 474000 | #Constraints: 33164
1566.08/1570.85 c #Conflicts: 475000 | #Constraints: 34164
1566.08/1570.85 c #Conflicts: 476000 | #Constraints: 35164
1566.08/1570.85 c #Conflicts: 477000 | #Constraints: 36164
1566.08/1570.85 c #Conflicts: 478000 | #Constraints: 37164
1566.08/1570.85 c #Conflicts: 479000 | #Constraints: 38164
1566.08/1570.85 c #Conflicts: 480000 | #Constraints: 39164
1566.08/1570.85 c #Conflicts: 481000 | #Constraints: 40164
1566.08/1570.85 c #Conflicts: 482000 | #Constraints: 41164
1566.08/1570.85 c #Conflicts: 483000 | #Constraints: 42164
1566.08/1570.85 c INPROCESSING
1566.08/1570.85 c GARBAGE COLLECT
1566.08/1570.85 c #Conflicts: 484000 | #Constraints: 23428
1566.08/1570.85 c #Conflicts: 485000 | #Constraints: 24428
1566.08/1570.85 c #Conflicts: 486000 | #Constraints: 25428
1566.08/1570.85 c #Conflicts: 487000 | #Constraints: 26428
1566.08/1570.85 c #Conflicts: 488000 | #Constraints: 27428
1566.08/1570.85 c #Conflicts: 489000 | #Constraints: 28428
1566.08/1570.85 c #Conflicts: 490000 | #Constraints: 29428
1566.08/1570.85 c #Conflicts: 491000 | #Constraints: 30428
1566.08/1570.85 c #Conflicts: 492000 | #Constraints: 31428
1566.08/1570.85 c #Conflicts: 493000 | #Constraints: 32428
1566.08/1570.85 c #Conflicts: 494000 | #Constraints: 33428
1566.08/1570.85 c #Conflicts: 495000 | #Constraints: 34428
1566.08/1570.85 c #Conflicts: 496000 | #Constraints: 35428
1566.08/1570.85 c #Conflicts: 497000 | #Constraints: 36428
1566.08/1570.85 c #Conflicts: 498000 | #Constraints: 37428
1566.08/1570.85 c INPROCESSING
1566.08/1570.85 c GARBAGE COLLECT
1566.08/1570.85 c #Conflicts: 499000 | #Constraints: 20664
1566.08/1570.85 c #Conflicts: 500000 | #Constraints: 21664
1566.08/1570.85 c #Conflicts: 501000 | #Constraints: 22664
1566.08/1570.85 c #Conflicts: 502000 | #Constraints: 23664
1566.08/1570.85 c #Conflicts: 503000 | #Constraints: 24664
1566.08/1570.85 c #Conflicts: 504000 | #Constraints: 25664
1566.08/1570.85 c #Conflicts: 505000 | #Constraints: 26664
1566.08/1570.85 c #Conflicts: 506000 | #Constraints: 27664
1566.08/1570.85 c #Conflicts: 507000 | #Constraints: 28664
1566.08/1570.85 c #Conflicts: 508000 | #Constraints: 29664
1566.08/1570.85 c #Conflicts: 509000 | #Constraints: 30664
1566.08/1570.85 c #Conflicts: 510000 | #Constraints: 31664
1566.08/1570.85 c #Conflicts: 511000 | #Constraints: 32664
1566.08/1570.85 c #Conflicts: 512000 | #Constraints: 33664
1566.08/1570.85 c #Conflicts: 513000 | #Constraints: 34664
1566.08/1570.85 c #Conflicts: 514000 | #Constraints: 35664
1566.08/1570.85 c INPROCESSING
1566.08/1570.85 c GARBAGE COLLECT
1566.08/1570.85 c #Conflicts: 515000 | #Constraints: 19759
1566.08/1570.85 c #Conflicts: 516000 | #Constraints: 20759
1566.08/1570.85 c #Conflicts: 517000 | #Constraints: 21759
1566.08/1570.85 c #Conflicts: 518000 | #Constraints: 22759
1566.08/1570.85 c #Conflicts: 519000 | #Constraints: 23759
1566.08/1570.85 c #Conflicts: 520000 | #Constraints: 24759
1566.08/1570.85 c #Conflicts: 521000 | #Constraints: 25759
1566.08/1570.85 c #Conflicts: 522000 | #Constraints: 26759
1566.08/1570.85 c #Conflicts: 523000 | #Constraints: 27759
1566.08/1570.85 c #Conflicts: 524000 | #Constraints: 28759
1566.08/1570.85 c #Conflicts: 525000 | #Constraints: 29759
2052.88/2059.09 c #Conflicts: 526000 | #Constraints: 30759
2052.88/2059.09 c #Conflicts: 527000 | #Constraints: 31759
2052.88/2059.09 c #Conflicts: 528000 | #Constraints: 32759
2052.88/2059.09 c #Conflicts: 529000 | #Constraints: 33759
2052.88/2059.09 c #Conflicts: 530000 | #Constraints: 34759
2052.88/2059.09 c #Conflicts: 531000 | #Constraints: 35759
2052.88/2059.09 c INPROCESSING
2052.88/2059.09 c GARBAGE COLLECT
2052.88/2059.09 c #Conflicts: 532000 | #Constraints: 20183
2052.88/2059.09 c #Conflicts: 533000 | #Constraints: 21183
2052.88/2059.09 c #Conflicts: 534000 | #Constraints: 22183
2052.88/2059.09 c #Conflicts: 535000 | #Constraints: 23183
2052.88/2059.09 c #Conflicts: 536000 | #Constraints: 24183
2052.88/2059.09 c #Conflicts: 537000 | #Constraints: 25183
2052.88/2059.09 c #Conflicts: 538000 | #Constraints: 26183
2052.88/2059.09 c #Conflicts: 539000 | #Constraints: 27183
2052.88/2059.09 c #Conflicts: 540000 | #Constraints: 28183
2052.88/2059.09 c #Conflicts: 541000 | #Constraints: 29183
2052.88/2059.09 c #Conflicts: 542000 | #Constraints: 30183
2052.88/2059.09 c #Conflicts: 543000 | #Constraints: 31183
2052.88/2059.09 c #Conflicts: 544000 | #Constraints: 32183
2052.88/2059.09 c #Conflicts: 545000 | #Constraints: 33183
2052.88/2059.09 c #Conflicts: 546000 | #Constraints: 34183
2052.88/2059.09 c #Conflicts: 547000 | #Constraints: 35183
2052.88/2059.09 c #Conflicts: 548000 | #Constraints: 36183
2052.88/2059.09 c #Conflicts: 549000 | #Constraints: 37183
2052.88/2059.09 c #Conflicts: 550000 | #Constraints: 38183
2052.88/2059.09 c #Conflicts: 551000 | #Constraints: 39183
2052.88/2059.09 c #Conflicts: 552000 | #Constraints: 40183
2052.88/2059.09 c #Conflicts: 553000 | #Constraints: 41183
2052.88/2059.09 c #Conflicts: 554000 | #Constraints: 42183
2052.88/2059.09 c #Conflicts: 555000 | #Constraints: 43183
2052.88/2059.09 c #Conflicts: 556000 | #Constraints: 44183
2052.88/2059.09 c #Conflicts: 557000 | #Constraints: 45183
2052.88/2059.09 c #Conflicts: 558000 | #Constraints: 46183
2052.88/2059.09 c #Conflicts: 559000 | #Constraints: 47183
2052.88/2059.09 c #Conflicts: 560000 | #Constraints: 48183
2052.88/2059.09 c #Conflicts: 561000 | #Constraints: 49183
2052.88/2059.09 c #Conflicts: 562000 | #Constraints: 50183
2052.88/2059.09 c #Conflicts: 563000 | #Constraints: 51183
2052.88/2059.09 c #Conflicts: 564000 | #Constraints: 52183
2052.88/2059.09 c #Conflicts: 565000 | #Constraints: 53183
2052.88/2059.09 c #Conflicts: 566000 | #Constraints: 54183
2052.88/2059.09 c #Conflicts: 567000 | #Constraints: 55183
2052.88/2059.09 c #Conflicts: 568000 | #Constraints: 56183
2052.88/2059.09 c #Conflicts: 569000 | #Constraints: 57183
2052.88/2059.09 c #Conflicts: 570000 | #Constraints: 58183
2052.88/2059.09 c #Conflicts: 571000 | #Constraints: 59183
2052.88/2059.09 c #Conflicts: 572000 | #Constraints: 60183
2052.88/2059.09 c #Conflicts: 573000 | #Constraints: 61183
2052.88/2059.09 c #Conflicts: 574000 | #Constraints: 62183
2052.88/2059.09 c #Conflicts: 575000 | #Constraints: 63183
2052.88/2059.09 c #Conflicts: 576000 | #Constraints: 64183
2052.88/2059.09 c #Conflicts: 577000 | #Constraints: 65183
2052.88/2059.09 c #Conflicts: 578000 | #Constraints: 66183
2052.88/2059.09 c #Conflicts: 579000 | #Constraints: 67183
2052.88/2059.09 c #Conflicts: 580000 | #Constraints: 68183
2052.88/2059.09 c #Conflicts: 581000 | #Constraints: 69183
2052.88/2059.09 c #Conflicts: 582000 | #Constraints: 70183
2052.88/2059.09 c #Conflicts: 583000 | #Constraints: 71183
2052.88/2059.09 c #Conflicts: 584000 | #Constraints: 72183
2052.88/2059.09 c #Conflicts: 585000 | #Constraints: 73183
2052.88/2059.09 c #Conflicts: 586000 | #Constraints: 74183
2052.88/2059.09 c #Conflicts: 587000 | #Constraints: 75183
2052.88/2059.09 c #Conflicts: 588000 | #Constraints: 76183
2052.88/2059.09 c INPROCESSING
2052.88/2059.09 c GARBAGE COLLECT
2052.88/2059.09 c #Conflicts: 589000 | #Constraints: 40035
2052.88/2059.09 c #Conflicts: 590000 | #Constraints: 41035
2052.88/2059.09 c #Conflicts: 591000 | #Constraints: 42035
2052.88/2059.09 c #Conflicts: 592000 | #Constraints: 43035
2052.88/2059.09 c #Conflicts: 593000 | #Constraints: 44035
2052.88/2059.09 c #Conflicts: 594000 | #Constraints: 45035
2052.88/2059.09 c #Conflicts: 595000 | #Constraints: 46035
2052.88/2059.09 c #Conflicts: 596000 | #Constraints: 47035
2052.88/2059.09 c #Conflicts: 597000 | #Constraints: 48035
2052.88/2059.09 c #Conflicts: 598000 | #Constraints: 49035
2052.88/2059.09 c #Conflicts: 599000 | #Constraints: 50035
2052.88/2059.09 c #Conflicts: 600000 | #Constraints: 51035
2052.88/2059.09 c #Conflicts: 601000 | #Constraints: 52035
2052.88/2059.09 c #Conflicts: 602000 | #Constraints: 53035
2314.22/2321.13 c #Conflicts: 603000 | #Constraints: 54035
2314.22/2321.13 c #Conflicts: 604000 | #Constraints: 55035
2314.22/2321.13 c #Conflicts: 605000 | #Constraints: 56035
2314.22/2321.13 c #Conflicts: 606000 | #Constraints: 57035
2314.22/2321.13 c INPROCESSING
2314.22/2321.13 c GARBAGE COLLECT
2314.22/2321.13 c #Conflicts: 607000 | #Constraints: 30731
2314.22/2321.13 c #Conflicts: 608000 | #Constraints: 31731
2314.22/2321.13 c #Conflicts: 609000 | #Constraints: 32731
2314.22/2321.13 c #Conflicts: 610000 | #Constraints: 33731
2314.22/2321.13 c #Conflicts: 611000 | #Constraints: 34731
2314.22/2321.13 c #Conflicts: 612000 | #Constraints: 35731
2314.22/2321.13 c #Conflicts: 613000 | #Constraints: 36731
2314.22/2321.13 c #Conflicts: 614000 | #Constraints: 37731
2314.22/2321.13 c #Conflicts: 615000 | #Constraints: 38731
2314.22/2321.13 c #Conflicts: 616000 | #Constraints: 39731
2314.22/2321.13 c #Conflicts: 617000 | #Constraints: 40731
2314.22/2321.13 c #Conflicts: 618000 | #Constraints: 41731
2314.22/2321.13 c #Conflicts: 619000 | #Constraints: 42731
2314.22/2321.13 c #Conflicts: 620000 | #Constraints: 43731
2314.22/2321.13 c #Conflicts: 621000 | #Constraints: 44731
2314.22/2321.13 c #Conflicts: 622000 | #Constraints: 45731
2314.22/2321.13 c #Conflicts: 623000 | #Constraints: 46731
2314.22/2321.13 c #Conflicts: 624000 | #Constraints: 47731
2314.22/2321.13 c INPROCESSING
2314.22/2321.13 c GARBAGE COLLECT
2314.22/2321.13 c #Conflicts: 625000 | #Constraints: 26212
2314.22/2321.13 c #Conflicts: 626000 | #Constraints: 27212
2314.22/2321.13 c #Conflicts: 627000 | #Constraints: 28212
2314.22/2321.13 c #Conflicts: 628000 | #Constraints: 29212
2314.22/2321.13 c #Conflicts: 629000 | #Constraints: 30212
2314.22/2321.13 c #Conflicts: 630000 | #Constraints: 31212
2314.22/2321.13 c #Conflicts: 631000 | #Constraints: 32212
2314.22/2321.13 c #Conflicts: 632000 | #Constraints: 33212
2314.22/2321.13 c #Conflicts: 633000 | #Constraints: 34212
2314.22/2321.13 c #Conflicts: 634000 | #Constraints: 35212
2314.22/2321.13 c #Conflicts: 635000 | #Constraints: 36212
2314.22/2321.13 c #Conflicts: 636000 | #Constraints: 37212
2314.22/2321.13 c #Conflicts: 637000 | #Constraints: 38212
2314.22/2321.13 c #Conflicts: 638000 | #Constraints: 39212
2314.22/2321.13 c #Conflicts: 639000 | #Constraints: 40212
2314.22/2321.13 c #Conflicts: 640000 | #Constraints: 41212
2314.22/2321.13 c #Conflicts: 641000 | #Constraints: 42212
2314.22/2321.13 c INPROCESSING
2314.22/2321.13 c GARBAGE COLLECT
2314.22/2321.13 c #Conflicts: 642000 | #Constraints: 23017
2314.22/2321.13 c #Conflicts: 643000 | #Constraints: 24017
2314.22/2321.13 c #Conflicts: 644000 | #Constraints: 25017
2314.22/2321.13 c #Conflicts: 645000 | #Constraints: 26017
2314.22/2321.13 c #Conflicts: 646000 | #Constraints: 27017
2314.22/2321.13 c #Conflicts: 647000 | #Constraints: 28017
2314.22/2321.13 c #Conflicts: 648000 | #Constraints: 29017
2314.22/2321.13 c #Conflicts: 649000 | #Constraints: 30017
2314.22/2321.13 c #Conflicts: 650000 | #Constraints: 31017
2314.22/2321.13 c #Conflicts: 651000 | #Constraints: 32017
2314.22/2321.13 c #Conflicts: 652000 | #Constraints: 33017
2314.22/2321.13 c #Conflicts: 653000 | #Constraints: 34017
2314.22/2321.13 c #Conflicts: 654000 | #Constraints: 35017
2314.22/2321.13 c #Conflicts: 655000 | #Constraints: 36017
2314.22/2321.13 c #Conflicts: 656000 | #Constraints: 37017
2314.22/2321.13 c #Conflicts: 657000 | #Constraints: 38017
2314.22/2321.13 c #Conflicts: 658000 | #Constraints: 39017
2314.22/2321.13 c #Conflicts: 659000 | #Constraints: 40017
2314.22/2321.13 c #Conflicts: 660000 | #Constraints: 41017
2314.22/2321.13 c INPROCESSING
2314.22/2321.13 c GARBAGE COLLECT
2314.22/2321.13 c #Conflicts: 661000 | #Constraints: 22859
2314.22/2321.13 c #Conflicts: 662000 | #Constraints: 23859
2314.22/2321.13 c #Conflicts: 663000 | #Constraints: 24859
2314.22/2321.13 c #Conflicts: 664000 | #Constraints: 25859
2314.22/2321.13 c #Conflicts: 665000 | #Constraints: 26859
2314.22/2321.13 c #Conflicts: 666000 | #Constraints: 27859
2314.22/2321.13 c #Conflicts: 667000 | #Constraints: 28859
2314.22/2321.13 c #Conflicts: 668000 | #Constraints: 29859
2314.22/2321.13 c #Conflicts: 669000 | #Constraints: 30859
2314.22/2321.13 c #Conflicts: 670000 | #Constraints: 31859
2314.22/2321.13 c #Conflicts: 671000 | #Constraints: 32859
2314.22/2321.13 c #Conflicts: 672000 | #Constraints: 33859
2314.22/2321.13 c #Conflicts: 673000 | #Constraints: 34859
2314.22/2321.13 c #Conflicts: 674000 | #Constraints: 35859
2314.22/2321.13 c #Conflicts: 675000 | #Constraints: 36859
2314.22/2321.13 c #Conflicts: 676000 | #Constraints: 37859
2314.22/2321.13 c #Conflicts: 677000 | #Constraints: 38859
2314.22/2321.13 c #Conflicts: 678000 | #Constraints: 39859
2896.11/2904.77 c INPROCESSING
2896.11/2904.77 c GARBAGE COLLECT
2896.11/2904.77 c #Conflicts: 679000 | #Constraints: 22153
2896.11/2904.77 c #Conflicts: 680000 | #Constraints: 23153
2896.11/2904.77 c #Conflicts: 681000 | #Constraints: 24153
2896.11/2904.77 c #Conflicts: 682000 | #Constraints: 25153
2896.11/2904.77 c #Conflicts: 683000 | #Constraints: 26153
2896.11/2904.77 c #Conflicts: 684000 | #Constraints: 27153
2896.11/2904.77 c #Conflicts: 685000 | #Constraints: 28153
2896.11/2904.77 c #Conflicts: 686000 | #Constraints: 29153
2896.11/2904.77 c #Conflicts: 687000 | #Constraints: 30153
2896.11/2904.77 c #Conflicts: 688000 | #Constraints: 31153
2896.11/2904.77 c #Conflicts: 689000 | #Constraints: 32153
2896.11/2904.77 c #Conflicts: 690000 | #Constraints: 33153
2896.11/2904.77 c #Conflicts: 691000 | #Constraints: 34153
2896.11/2904.77 c #Conflicts: 692000 | #Constraints: 35153
2896.11/2904.77 c #Conflicts: 693000 | #Constraints: 36153
2896.11/2904.77 c #Conflicts: 694000 | #Constraints: 37153
2896.11/2904.77 c #Conflicts: 695000 | #Constraints: 38153
2896.11/2904.77 c #Conflicts: 696000 | #Constraints: 39153
2896.11/2904.77 c #Conflicts: 697000 | #Constraints: 40153
2896.11/2904.77 c #Conflicts: 698000 | #Constraints: 41153
2896.11/2904.77 c #Conflicts: 699000 | #Constraints: 42153
2896.11/2904.77 c #Conflicts: 700000 | #Constraints: 43153
2896.11/2904.77 c #Conflicts: 701000 | #Constraints: 44153
2896.11/2904.77 c #Conflicts: 702000 | #Constraints: 45153
2896.11/2904.77 c #Conflicts: 703000 | #Constraints: 46153
2896.11/2904.77 c #Conflicts: 704000 | #Constraints: 47153
2896.11/2904.77 c #Conflicts: 705000 | #Constraints: 48153
2896.11/2904.77 c #Conflicts: 706000 | #Constraints: 49153
2896.11/2904.77 c #Conflicts: 707000 | #Constraints: 50153
2896.11/2904.77 c #Conflicts: 708000 | #Constraints: 51153
2896.11/2904.77 c #Conflicts: 709000 | #Constraints: 52153
2896.11/2904.77 c #Conflicts: 710000 | #Constraints: 53153
2896.11/2904.77 c #Conflicts: 711000 | #Constraints: 54153
2896.11/2904.77 c #Conflicts: 712000 | #Constraints: 55153
2896.11/2904.77 c #Conflicts: 713000 | #Constraints: 56153
2896.11/2904.77 c #Conflicts: 714000 | #Constraints: 57153
2896.11/2904.77 c #Conflicts: 715000 | #Constraints: 58153
2896.11/2904.77 c #Conflicts: 716000 | #Constraints: 59153
2896.11/2904.77 c #Conflicts: 717000 | #Constraints: 60153
2896.11/2904.77 c #Conflicts: 718000 | #Constraints: 61153
2896.11/2904.77 c #Conflicts: 719000 | #Constraints: 62153
2896.11/2904.77 c #Conflicts: 720000 | #Constraints: 63153
2896.11/2904.77 c #Conflicts: 721000 | #Constraints: 64153
2896.11/2904.77 c #Conflicts: 722000 | #Constraints: 65153
2896.11/2904.77 c #Conflicts: 723000 | #Constraints: 66153
2896.11/2904.77 c #Conflicts: 724000 | #Constraints: 67153
2896.11/2904.77 c #Conflicts: 725000 | #Constraints: 68153
2896.11/2904.77 c #Conflicts: 726000 | #Constraints: 69153
2896.11/2904.77 c #Conflicts: 727000 | #Constraints: 70153
2896.11/2904.77 c #Conflicts: 728000 | #Constraints: 71153
2896.11/2904.77 c #Conflicts: 729000 | #Constraints: 72153
2896.11/2904.77 c #Conflicts: 730000 | #Constraints: 73153
2896.11/2904.77 c #Conflicts: 731000 | #Constraints: 74153
2896.11/2904.77 c #Conflicts: 732000 | #Constraints: 75153
2896.11/2904.77 c #Conflicts: 733000 | #Constraints: 76153
2896.11/2904.77 c #Conflicts: 734000 | #Constraints: 77153
2896.11/2904.77 c #Conflicts: 735000 | #Constraints: 78153
2896.11/2904.77 c #Conflicts: 736000 | #Constraints: 79153
2896.11/2904.77 c #Conflicts: 737000 | #Constraints: 80153
2896.11/2904.77 c #Conflicts: 738000 | #Constraints: 81153
2896.11/2904.77 c #Conflicts: 739000 | #Constraints: 82153
2896.11/2904.77 c #Conflicts: 740000 | #Constraints: 83153
2896.11/2904.77 c #Conflicts: 741000 | #Constraints: 84153
2896.11/2904.77 c #Conflicts: 742000 | #Constraints: 85153
2896.11/2904.77 c #Conflicts: 743000 | #Constraints: 86153
2896.11/2904.77 c INPROCESSING
2896.11/2904.77 c GARBAGE COLLECT
2896.11/2904.77 c #Conflicts: 744000 | #Constraints: 45164
2896.11/2904.77 c #Conflicts: 745000 | #Constraints: 46164
2896.11/2904.77 c #Conflicts: 746000 | #Constraints: 47164
2896.11/2904.77 c #Conflicts: 747000 | #Constraints: 48164
2896.11/2904.77 c #Conflicts: 748000 | #Constraints: 49164
2896.11/2904.77 c #Conflicts: 749000 | #Constraints: 50164
2896.11/2904.77 c #Conflicts: 750000 | #Constraints: 51164
2896.11/2904.77 c #Conflicts: 751000 | #Constraints: 52164
2896.11/2904.77 c #Conflicts: 752000 | #Constraints: 53164
2896.11/2904.77 c #Conflicts: 753000 | #Constraints: 54164
2896.11/2904.77 c #Conflicts: 754000 | #Constraints: 55164
2896.11/2904.77 c #Conflicts: 755000 | #Constraints: 56164
2896.11/2904.77 c #Conflicts: 756000 | #Constraints: 57164
3213.88/3223.45 c #Conflicts: 757000 | #Constraints: 58164
3213.88/3223.45 c #Conflicts: 758000 | #Constraints: 59164
3213.88/3223.45 c #Conflicts: 759000 | #Constraints: 60164
3213.88/3223.45 c #Conflicts: 760000 | #Constraints: 61164
3213.88/3223.45 c #Conflicts: 761000 | #Constraints: 62164
3213.88/3223.45 c #Conflicts: 762000 | #Constraints: 63164
3213.88/3223.45 c #Conflicts: 763000 | #Constraints: 64164
3213.88/3223.45 c INPROCESSING
3213.88/3223.45 c GARBAGE COLLECT
3213.88/3223.45 c #Conflicts: 764000 | #Constraints: 34350
3213.88/3223.45 c #Conflicts: 765000 | #Constraints: 35350
3213.88/3223.45 c #Conflicts: 766000 | #Constraints: 36350
3213.88/3223.45 c #Conflicts: 767000 | #Constraints: 37350
3213.88/3223.45 c #Conflicts: 768000 | #Constraints: 38350
3213.88/3223.45 c #Conflicts: 769000 | #Constraints: 39350
3213.88/3223.45 c #Conflicts: 770000 | #Constraints: 40350
3213.88/3223.45 c #Conflicts: 771000 | #Constraints: 41350
3213.88/3223.45 c #Conflicts: 772000 | #Constraints: 42350
3213.88/3223.45 c #Conflicts: 773000 | #Constraints: 43350
3213.88/3223.45 c #Conflicts: 774000 | #Constraints: 44350
3213.88/3223.45 c #Conflicts: 775000 | #Constraints: 45350
3213.88/3223.45 c #Conflicts: 776000 | #Constraints: 46350
3213.88/3223.45 c #Conflicts: 777000 | #Constraints: 47350
3213.88/3223.45 c #Conflicts: 778000 | #Constraints: 48350
3213.88/3223.45 c #Conflicts: 779000 | #Constraints: 49350
3213.88/3223.45 c #Conflicts: 780000 | #Constraints: 50350
3213.88/3223.45 c #Conflicts: 781000 | #Constraints: 51350
3213.88/3223.45 c #Conflicts: 782000 | #Constraints: 52350
3213.88/3223.45 c #Conflicts: 783000 | #Constraints: 53350
3213.88/3223.45 c INPROCESSING
3213.88/3223.45 c GARBAGE COLLECT
3213.88/3223.45 c #Conflicts: 784000 | #Constraints: 29030
3213.88/3223.45 c #Conflicts: 785000 | #Constraints: 30030
3213.88/3223.45 c #Conflicts: 786000 | #Constraints: 31030
3213.88/3223.45 c #Conflicts: 787000 | #Constraints: 32030
3213.88/3223.45 c #Conflicts: 788000 | #Constraints: 33030
3213.88/3223.45 c #Conflicts: 789000 | #Constraints: 34030
3213.88/3223.45 c #Conflicts: 790000 | #Constraints: 35030
3213.88/3223.45 c #Conflicts: 791000 | #Constraints: 36030
3213.88/3223.45 c #Conflicts: 792000 | #Constraints: 37030
3213.88/3223.45 c #Conflicts: 793000 | #Constraints: 38030
3213.88/3223.45 c #Conflicts: 794000 | #Constraints: 39030
3213.88/3223.45 c #Conflicts: 795000 | #Constraints: 40030
3213.88/3223.45 c #Conflicts: 796000 | #Constraints: 41030
3213.88/3223.45 c #Conflicts: 797000 | #Constraints: 42030
3213.88/3223.45 c #Conflicts: 798000 | #Constraints: 43030
3213.88/3223.45 c #Conflicts: 799000 | #Constraints: 44030
3213.88/3223.45 c #Conflicts: 800000 | #Constraints: 45030
3213.88/3223.45 c #Conflicts: 801000 | #Constraints: 46030
3213.88/3223.45 c #Conflicts: 802000 | #Constraints: 47030
3213.88/3223.45 c #Conflicts: 803000 | #Constraints: 48030
3213.88/3223.45 c INPROCESSING
3213.88/3223.45 c GARBAGE COLLECT
3213.88/3223.45 c #Conflicts: 804000 | #Constraints: 26352
3213.88/3223.45 c #Conflicts: 805000 | #Constraints: 27352
3213.88/3223.45 c #Conflicts: 806000 | #Constraints: 28352
3213.88/3223.45 c #Conflicts: 807000 | #Constraints: 29352
3213.88/3223.45 c #Conflicts: 808000 | #Constraints: 30352
3213.88/3223.45 c #Conflicts: 809000 | #Constraints: 31352
3213.88/3223.45 c #Conflicts: 810000 | #Constraints: 32352
3213.88/3223.45 c #Conflicts: 811000 | #Constraints: 33352
3213.88/3223.45 c #Conflicts: 812000 | #Constraints: 34352
3213.88/3223.45 c #Conflicts: 813000 | #Constraints: 35352
3213.88/3223.45 c #Conflicts: 814000 | #Constraints: 36352
3213.88/3223.45 c #Conflicts: 815000 | #Constraints: 37352
3213.88/3223.45 c #Conflicts: 816000 | #Constraints: 38352
3213.88/3223.45 c #Conflicts: 817000 | #Constraints: 39352
3213.88/3223.45 c #Conflicts: 818000 | #Constraints: 40352
3213.88/3223.45 c #Conflicts: 819000 | #Constraints: 41352
3213.88/3223.45 c #Conflicts: 820000 | #Constraints: 42352
3213.88/3223.45 c #Conflicts: 821000 | #Constraints: 43352
3213.88/3223.45 c #Conflicts: 822000 | #Constraints: 44352
3213.88/3223.45 c #Conflicts: 823000 | #Constraints: 45352
3213.88/3223.45 c INPROCESSING
3213.88/3223.45 c GARBAGE COLLECT
3213.88/3223.45 c #Conflicts: 824000 | #Constraints: 24921
3213.88/3223.45 c #Conflicts: 825000 | #Constraints: 25921
3213.88/3223.45 c #Conflicts: 826000 | #Constraints: 26921
3213.88/3223.45 c #Conflicts: 827000 | #Constraints: 27921
3213.88/3223.45 c #Conflicts: 828000 | #Constraints: 28921
3213.88/3223.45 c #Conflicts: 829000 | #Constraints: 29921
3213.88/3223.45 c #Conflicts: 830000 | #Constraints: 30921
3213.88/3223.45 c #Conflicts: 831000 | #Constraints: 31921
3213.88/3223.45 c #Conflicts: 832000 | #Constraints: 32921
3600.06/3610.70 c #Conflicts: 833000 | #Constraints: 33921
3600.06/3610.70 c #Conflicts: 834000 | #Constraints: 34921
3600.06/3610.70 c #Conflicts: 835000 | #Constraints: 35921
3600.06/3610.70 c #Conflicts: 836000 | #Constraints: 36921
3600.06/3610.70 c #Conflicts: 837000 | #Constraints: 37921
3600.06/3610.70 c #Conflicts: 838000 | #Constraints: 38921
3600.06/3610.70 c #Conflicts: 839000 | #Constraints: 39921
3600.06/3610.70 c #Conflicts: 840000 | #Constraints: 40921
3600.06/3610.70 c #Conflicts: 841000 | #Constraints: 41921
3600.06/3610.70 c #Conflicts: 842000 | #Constraints: 42921
3600.06/3610.70 c #Conflicts: 843000 | #Constraints: 43921
3600.06/3610.70 c INPROCESSING
3600.06/3610.70 c GARBAGE COLLECT
3600.06/3610.70 c #Conflicts: 844000 | #Constraints: 23988
3600.06/3610.70 c #Conflicts: 845000 | #Constraints: 24988
3600.06/3610.70 c #Conflicts: 846000 | #Constraints: 25988
3600.06/3610.70 c #Conflicts: 847000 | #Constraints: 26988
3600.06/3610.70 c #Conflicts: 848000 | #Constraints: 27988
3600.06/3610.70 c #Conflicts: 849000 | #Constraints: 28988
3600.06/3610.70 c #Conflicts: 850000 | #Constraints: 29988
3600.06/3610.70 c #Conflicts: 851000 | #Constraints: 30988
3600.06/3610.70 c #Conflicts: 852000 | #Constraints: 31988
3600.06/3610.70 c #Conflicts: 853000 | #Constraints: 32988
3600.06/3610.70 c #Conflicts: 854000 | #Constraints: 33988
3600.06/3610.70 c #Conflicts: 855000 | #Constraints: 34988
3600.06/3610.70 c #Conflicts: 856000 | #Constraints: 35988
3600.06/3610.70 c #Conflicts: 857000 | #Constraints: 36988
3600.06/3610.70 c #Conflicts: 858000 | #Constraints: 37988
3600.06/3610.70 c #Conflicts: 859000 | #Constraints: 38988
3600.06/3610.70 c #Conflicts: 860000 | #Constraints: 39988
3600.06/3610.70 c #Conflicts: 861000 | #Constraints: 40988
3600.06/3610.70 c #Conflicts: 862000 | #Constraints: 41988
3600.06/3610.70 c #Conflicts: 863000 | #Constraints: 42988
3600.06/3610.70 c #Conflicts: 864000 | #Constraints: 43988
3600.06/3610.70 c #Conflicts: 865000 | #Constraints: 44988
3600.06/3610.70 c #Conflicts: 866000 | #Constraints: 45988
3600.06/3610.70 c #Conflicts: 867000 | #Constraints: 46988
3600.06/3610.70 c #Conflicts: 868000 | #Constraints: 47988
3600.06/3610.70 c #Conflicts: 869000 | #Constraints: 48988
3600.06/3610.70 c #Conflicts: 870000 | #Constraints: 49988
3600.06/3610.70 c #Conflicts: 871000 | #Constraints: 50988
3600.06/3610.70 c #Conflicts: 872000 | #Constraints: 51988
3600.06/3610.70 c #Conflicts: 873000 | #Constraints: 52988
3600.06/3610.70 c #Conflicts: 874000 | #Constraints: 53988
3600.06/3610.70 c #Conflicts: 875000 | #Constraints: 54988
3600.06/3610.70 c #Conflicts: 876000 | #Constraints: 55988
3600.06/3610.70 c #Conflicts: 877000 | #Constraints: 56988
3600.06/3610.70 c #Conflicts: 878000 | #Constraints: 57988
3600.06/3610.70 c #Conflicts: 879000 | #Constraints: 58988
3600.06/3610.70 c #Conflicts: 880000 | #Constraints: 59988
3600.06/3610.70 c #Conflicts: 881000 | #Constraints: 60988
3600.06/3610.70 c #Conflicts: 882000 | #Constraints: 61988
3600.06/3610.70 c #Conflicts: 883000 | #Constraints: 62988
3600.06/3610.70 c #Conflicts: 884000 | #Constraints: 63988
3600.06/3610.70 c #Conflicts: 885000 | #Constraints: 64988
3600.06/3610.70 c #Conflicts: 886000 | #Constraints: 65988
3600.06/3610.70 c #Conflicts: 887000 | #Constraints: 66988
3600.06/3610.70 c #Conflicts: 888000 | #Constraints: 67988
3600.06/3610.70 c #Conflicts: 889000 | #Constraints: 68988
3600.06/3610.70 c #Conflicts: 890000 | #Constraints: 69988
3600.06/3610.70 c #Conflicts: 891000 | #Constraints: 70988
3600.06/3610.70 c #Conflicts: 892000 | #Constraints: 71988
3600.06/3610.70 c #Conflicts: 893000 | #Constraints: 72988
3600.06/3610.70 c #Conflicts: 894000 | #Constraints: 73988
3600.06/3610.70 c #Conflicts: 895000 | #Constraints: 74988
3600.06/3610.70 c #Conflicts: 896000 | #Constraints: 75988
3600.06/3610.70 c Program interrupted by user.
3600.06/3610.70 c cpu time 3591.23 s
3600.06/3610.70 c deterministic time 389631491931 3.90e+11
3600.06/3610.70 c optimization time 336.61 s
3600.06/3610.70 c total solve time 2955.46 s
3600.06/3610.70 c core-guided solve time 2955.46 s
3600.06/3610.70 c propagation time 2821.46 s
3600.06/3610.70 c conflict analysis time 449.37 s
3600.06/3610.70 c propagations 327189455
3600.06/3610.70 c resolve steps 26712294
3600.06/3610.70 c decisions 5394606
3600.06/3610.70 c conflicts 896991
3600.06/3610.70 c restarts 1946
3600.06/3610.70 c inprocessing phases 57
3600.06/3610.70 c input clauses 1996
3600.06/3610.70 c input cardinalities 297
3600.06/3610.70 c input general constraints 63
3600.06/3610.70 c input average constraint length 13.36
3600.06/3610.70 c input average constraint degree 5.21
3600.06/3610.70 c learned clauses 437043
3600.06/3610.70 c learned cardinalities 13955
3600.06/3610.70 c learned general constraints 445992
3600.06/3610.70 c learned average constraint length 266.16
3600.06/3610.70 c learned average constraint degree 2428092.30
3600.06/3610.70 c watched constraints 368276
3600.06/3610.70 c counting constraints 77779
3600.06/3610.70 c gcd simplifications 4543
3600.06/3610.70 c detected cardinalities 51
3600.06/3610.70 c weakened non-implied lits 62703048
3600.06/3610.70 c weakened non-implying lits 72862
3600.06/3610.70 c original variables 1835
3600.06/3610.70 c clausal propagations 105327312
3600.06/3610.70 c cardinality propagations 142207607
3600.06/3610.70 c watched propagations 20849215
3600.06/3610.70 c counting propagations 57839345
3600.06/3610.70 c watch lookups 50840881586
3600.06/3610.70 c watch backjump lookups 40862822523
3600.06/3610.70 c watch checks 281435146695
3600.06/3610.70 c propagation checks 14857419187
3600.06/3610.70 c constraint additions 969158049
3600.06/3610.70 c trail pops 333479829
3600.06/3610.70 c formula constraints 2149
3600.06/3610.70 c learned constraints 896990
3600.06/3610.70 c bound constraints 21
3600.06/3610.70 c core-guided constraints 186
3600.06/3610.70 c encountered formula constraints 11029492
3600.06/3610.70 c encountered learned constraints 16554512
3600.06/3610.70 c encountered bound constraints 720
3600.06/3610.70 c encountered core-guided constraints 24561
3600.06/3610.70 c LP total time 0 s
3600.06/3610.70 c LP solve time 0 s
3600.06/3610.70 c LP constraints added 0
3600.06/3610.70 c LP constraints removed 0
3600.06/3610.70 c LP pivots internal 0
3600.06/3610.70 c LP pivots root 0
3600.06/3610.70 c LP calls 0
3600.06/3610.70 c LP optimalities 0
3600.06/3610.70 c LP no pivot count 0
3600.06/3610.70 c LP infeasibilities 0
3600.06/3610.70 c LP valid Farkas constraints 0
3600.06/3610.70 c LP learned Farkas constraints 0
3600.06/3610.70 c LP basis resets 0
3600.06/3610.70 c LP cycling count 0
3600.06/3610.70 c LP singular count 0
3600.06/3610.70 c LP no primal count 0
3600.06/3610.70 c LP no farkas count 0
3600.06/3610.70 c LP other issue count 0
3600.06/3610.70 c LP Gomory cuts 0
3600.06/3610.70 c LP learned cuts 0
3600.06/3610.70 c LP deleted cuts 0
3600.06/3610.70 c LP encountered Gomory constraints 0
3600.06/3610.70 c LP encountered Farkas constraints 0
3600.06/3610.70 c LP encountered learned Farkas constraints 0
3600.06/3610.70 c CG auxiliary variables introduced 66
3600.06/3610.70 c CG solutions found 1
3600.06/3610.70 c CG cores constructed 18
3600.06/3610.70 c CG core cardinality constraints returned 0
3600.06/3610.70 c CG unit cores 0
3600.06/3610.70 c CG single cores 18
3600.06/3610.70 c CG blocks removed during cardinality reduction 0
3600.06/3610.70 c CG first core best 0
3600.06/3610.70 c CG decision core best 0
3600.06/3610.70 c CG core reduction tie 0
3600.06/3610.70 c CG core degree average 1.00
3600.06/3610.70 c CG core slack average 8.28
3600.06/3610.70 c CG exhausted 9
3600.06/3610.70 c CG exhaust time 2.33637 s
3600.06/3610.70 c CG trimmed 3
3600.06/3610.70 c CG trim time 0.001577 s
3600.06/3610.70 c CG minimized 0
3600.06/3610.70 c CG minimize time 0 s
3600.06/3610.70 c CG am1 prop time 0.000558 s
3600.06/3610.70 c CG # am1s reformulated 0
3600.06/3610.70 c CG lower bound derived from am1s 0
3600.06/3610.70 c CG # clausal cores 17
3600.06/3610.70 c CG # cardinality cores 0
3600.06/3610.70 c CG # pb cores 1
3600.06/3610.70 c CG # pb reforms 0
3600.06/3610.70 c CG # cores discarded because of pb reform 0
3600.06/3610.70 d LOWERBOUND -93
3600.06/3610.70 d NCORES 18
3600.06/3610.70 d NPBCORES 1
3600.06/3610.70 d NPBREFORM 0
3600.06/3610.70 d NTRIMMED 3
3600.06/3610.70 d NEXHAUSTED 9
3600.06/3610.70 d NAM1S 0
3600.06/3610.70 d AM1LB 0
3600.06/3610.70 c [Papilo Statistics]
3600.06/3610.70 c prepro time 0.0181378s
3600.06/3610.70 c # tsx applied 0
3600.06/3610.70 c # tsx conflicts 0
3600.06/3610.70 c # bound changes 0
3600.06/3610.70 c # side changes 0
3600.06/3610.70 c # coef changes 0
3600.06/3610.70 c # rounds 1
3600.06/3610.70 c # deted vars 0
3600.06/3610.70 c # deted constrs 0
3600.06/3610.70 c # consecutive rounds of only bound changes 0
3600.06/3610.70 c [STEP] postprocessing with Papilo
3600.06/3610.70 o -22
3600.06/3610.70 s SATISFIABLE
3600.06/3610.70 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 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835
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: 63837 MiB (62717 MiB free)
memory of node 1: 64465 MiB (62150 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502407-1751467670/watcher-4502407-1751467670 -o /tmp/evaluation-result-4502407-1751467670/solver-4502407-1751467670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751463472-62940 --watchdog 3760 mixed-bag HOME/instance-4502407-1751467670.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=64328, runsolver pid=64325
[startup+0.100069 s]*
/proc/loadavg: 4.13 4.14 4.11 5/253 64329
/proc/meminfo: memFree=127864040/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=100552 memory=27068 CPUtime=0.09 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 3384 0 0 0 7 2 0 0 20 0 1 0 62445691 102965248 6767 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 25138 6767 4000 2842 0 6832 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100552 KiB
Current children cumulated memory: 27068 KiB
[startup+0.217305 s]*
/proc/loadavg: 4.13 4.14 4.11 5/253 64329
/proc/meminfo: memFree=127848920/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=112340 memory=37980 CPUtime=0.18 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 6647 0 0 0 15 3 0 0 20 0 1 0 62445691 115036160 9495 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 28085 9495 4064 2842 0 9779 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 112340 KiB
Current children cumulated memory: 37980 KiB
[startup+0.313213 s]*
/proc/loadavg: 4.13 4.14 4.11 5/253 64329
/proc/meminfo: memFree=127847156/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=117060 memory=41948 CPUtime=0.27 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 7645 0 0 0 24 3 0 0 20 0 1 0 62445691 119869440 10487 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 29265 10487 4096 2842 0 10959 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 117060 KiB
Current children cumulated memory: 41948 KiB
[startup+0.700294 s]
/proc/loadavg: 4.13 4.14 4.11 5/253 64329
/proc/meminfo: memFree=127830772/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=141856 memory=61924 CPUtime=0.64 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 12897 0 0 0 59 5 0 0 20 0 1 0 62445691 145260544 15481 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 35464 15481 4288 2842 0 17158 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 141856 KiB
Current children cumulated memory: 61924 KiB
[startup+1.50029 s]
/proc/loadavg: 4.13 4.14 4.11 5/253 64329
/proc/meminfo: memFree=127823136/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=142596 memory=62692 CPUtime=1.44 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 13090 0 0 0 139 5 0 0 20 0 1 0 62445691 146018304 15673 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 35649 15673 4288 2842 0 17343 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 142596 KiB
Current children cumulated memory: 62692 KiB
[startup+3.11279 s]
/proc/loadavg: 4.13 4.14 4.11 5/253 64329
/proc/meminfo: memFree=127799076/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=170856 memory=89572 CPUtime=3.05 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 19776 0 0 0 298 7 0 0 20 0 1 0 62445691 174956544 22393 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 42714 22393 4320 2842 0 24408 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 170856 KiB
Current children cumulated memory: 89572 KiB
[startup+6.30026 s]
/proc/loadavg: 4.12 4.13 4.11 5/250 64352
/proc/meminfo: memFree=128296504/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=169064 memory=88032 CPUtime=6.22 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 20562 0 0 0 615 7 0 0 20 0 1 0 62445691 173121536 22008 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 42266 22008 4320 2842 0 23960 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 169064 KiB
Current children cumulated memory: 88032 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.11 5/253 64374
/proc/meminfo: memFree=128091280/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=169064 memory=89184 CPUtime=12.61 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 20855 0 0 0 1254 7 0 0 20 0 1 0 62445691 173121536 22296 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 42266 22296 4320 2842 0 23960 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 169064 KiB
Current children cumulated memory: 89184 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.12 4.10 5/253 64374
/proc/meminfo: memFree=128068896/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=188268 memory=107616 CPUtime=25.37 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 25472 0 0 0 2529 8 0 0 20 0 1 0 62445691 192786432 26904 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 47067 26904 4320 2842 0 28761 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 188268 KiB
Current children cumulated memory: 107616 KiB
[startup+51.1128 s]
/proc/loadavg: 4.12 4.13 4.10 5/253 64375
/proc/meminfo: memFree=127759840/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=197520 memory=116576 CPUtime=50.92 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 27690 0 0 0 5083 9 0 0 20 0 1 0 62445691 202260480 29144 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 49380 29144 4320 2842 0 31074 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 197520 KiB
Current children cumulated memory: 116576 KiB
[startup+102.3 s]
/proc/loadavg: 4.45 4.20 4.13 5/253 64376
/proc/meminfo: memFree=127723764/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=201856 memory=119816 CPUtime=101.97 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 30362 0 0 0 10188 9 0 0 20 0 1 0 62445691 206700544 29954 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 50464 29954 4320 2842 0 32158 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 201856 KiB
Current children cumulated memory: 119816 KiB
[startup+162.3 s]
/proc/loadavg: 4.56 4.30 4.17 5/253 64378
/proc/meminfo: memFree=127648932/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=209716 memory=128668 CPUtime=161.8 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 36043 0 0 0 16170 10 0 0 20 0 1 0 62445691 214749184 32167 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 52429 32167 4320 2842 0 34123 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 209716 KiB
Current children cumulated memory: 128668 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.26 4.16 5/250 64381
/proc/meminfo: memFree=127596336/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=210760 memory=129788 CPUtime=221.64 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 37874 0 0 0 22153 11 0 0 20 0 1 0 62445691 215818240 32447 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 52690 32447 4320 2842 0 34384 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 210760 KiB
Current children cumulated memory: 129788 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.22 4.16 5/250 64383
/proc/meminfo: memFree=127512344/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=209520 memory=128692 CPUtime=281.47 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 40697 0 0 0 28136 11 0 0 20 0 1 0 62445691 214548480 32173 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 52380 32173 4320 2842 0 34074 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 209520 KiB
Current children cumulated memory: 128692 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.21 4.16 5/250 64385
/proc/meminfo: memFree=127279072/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=213484 memory=135944 CPUtime=341.3 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 42437 0 0 0 34061 69 0 0 20 0 1 0 62445691 218607616 33986 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 53371 33986 4480 2842 0 35065 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 213484 KiB
Current children cumulated memory: 135944 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.17 4.15 5/249 64389
/proc/meminfo: memFree=126979904/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=232452 memory=146364 CPUtime=401.12 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 43046 0 0 0 40003 109 0 0 20 0 1 0 62445691 238030848 36591 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 58113 36591 4480 2842 0 39807 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 232452 KiB
Current children cumulated memory: 146364 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.15 4.14 5/249 64391
/proc/meminfo: memFree=126869964/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=232452 memory=162756 CPUtime=460.94 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 43067 0 0 0 45949 145 0 0 20 0 1 0 62445691 238030848 40689 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 58113 40689 4480 2842 0 39807 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 263500 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/250 64513
/proc/meminfo: memFree=124646580/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=2913.65 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47222 0 0 0 290626 739 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/250 64519
/proc/meminfo: memFree=124639768/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=2973.48 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47237 0 0 0 296600 748 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/250 64521
/proc/meminfo: memFree=124585268/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=3033.3 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47237 0 0 0 302568 762 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/250 64523
/proc/meminfo: memFree=124484768/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=3093.12 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47237 0 0 0 308534 778 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/250 64525
/proc/meminfo: memFree=124508368/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=3152.95 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47237 0 0 0 314502 793 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/249 64527
/proc/meminfo: memFree=124519356/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=3212.78 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47237 0 0 0 320465 813 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/249 64529
/proc/meminfo: memFree=124521244/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=3272.61 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47237 0 0 0 326431 830 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/249 64531
/proc/meminfo: memFree=124501396/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=263500 CPUtime=3332.44 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47237 0 0 0 332395 849 0 0 20 0 1 0 62445691 417497088 65875 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 65875 4480 2842 0 83622 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 263500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/247 64660
/proc/meminfo: memFree=118238908/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=267596 CPUtime=3392.24 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47274 0 0 0 338364 860 0 0 20 0 1 0 62445691 417497088 66899 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 66899 4480 2842 0 83622 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 267596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/250 64672
/proc/meminfo: memFree=108884804/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=267596 CPUtime=3452.07 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47277 0 0 0 344338 869 0 0 20 0 1 0 62445691 417497088 66899 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 66899 4480 2842 0 83622 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 267596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/251 64675
/proc/meminfo: memFree=107223424/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=267596 CPUtime=3511.91 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47277 0 0 0 350316 875 0 0 20 0 1 0 62445691 417497088 66899 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 66899 4480 2842 0 83622 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 267596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/251 64681
/proc/meminfo: memFree=106088892/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=267596 CPUtime=3571.74 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47277 0 0 0 356293 881 0 0 20 0 1 0 62445691 417497088 66899 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 66899 4480 2842 0 83622 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 267596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.16 4.13 4.12 5/251 64682
/proc/meminfo: memFree=106062308/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=267596 CPUtime=3600.06 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47277 0 0 0 359123 883 0 0 20 0 1 0 62445691 417497088 66899 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 66899 4480 2842 0 83622 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 267596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 64328 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.24 s, system=8.83841 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.16 4.13 4.12 5/251 64682
/proc/meminfo: memFree=106062308/131382120 swapFree=33010416/33010684
[pid=64328] ppid=64325 vsize=407712 memory=267596 CPUtime=3600.06 cores=0,2
/proc/64328/stat : 64328 (mixed-bag) R 64325 64328 62930 0 -1 4194304 47277 0 0 0 359123 883 0 0 20 0 1 0 62445691 417497088 66899 18446744073709551615 4235264 15874749 140731216830624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 33574912 140731216837020 140731216837097 140731216837097 140731216842699 0
/proc/64328/statm: 101928 66899 4480 2842 0 83622 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 407712 KiB
Current children cumulated memory: 267596 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.08
CPU user time (s): 3591.24
CPU system time (s): 8.83841
CPU usage (%): 99.7056
Max. virtual memory (cumulated for all children) (KiB): 407712
Max. memory (cumulated for all children) (KiB): 267596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.24
system time used= 8.83841
maximum resident set size= 268108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47307
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= 214
involuntary context switches= 7869
# summary of solver processes directly reported to runsolver:
# pid: 64328
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.24
# total CPU system time (s): 8.83841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0496 second user time and 31.191 second system time
The end
Begin job on nodeC003 at 2025-07-02 16:47:50
IDJOB=4502407
IDBENCH=155330
IDSOLVER=3340
FILE ID=nodeC003/4502407-1751467670
RUNJOBID= nodeC003-1751463472-62940
SLURM_JOB_ID= 9598469
Free space on /tmp= 431960 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502407-1751467670/watcher-4502407-1751467670 -o /tmp/evaluation-result-4502407-1751467670/solver-4502407-1751467670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751463472-62940 --watchdog 3760 mixed-bag HOME/instance-4502407-1751467670.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab
RANDOM SEED=14510133
nodeC003 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 : 0xb00001f
cpu MHz : 1197.160
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 3691.261
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.218
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 3661.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 3691.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.898
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127865452 kB
MemAvailable: 127765948 kB
Buffers: 2736 kB
Cached: 698536 kB
SwapCached: 36 kB
Active: 2654524 kB
Inactive: 206508 kB
Active(anon): 2170072 kB
Inactive(anon): 7612 kB
Active(file): 484452 kB
Inactive(file): 198896 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15792 kB
Writeback: 0 kB
AnonPages: 2162560 kB
Mapped: 137300 kB
Shmem: 17924 kB
KReclaimable: 113548 kB
Slab: 198884 kB
SReclaimable: 113548 kB
SUnreclaim: 85336 kB
KernelStack: 4080 kB
PageTables: 7608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2729936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 530432 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431760 MiB
End job on nodeC003 at 2025-07-02 17:48:01