0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.22 c [STEP] preprocessing with Papilo
0.21/0.32 c [STEP] solving with SCIP
299.54/300.50 c [STEP] preprocessing done, loading into solver
299.54/300.56 c [STEP] solving
299.54/300.56 c #variables 8880 #constraints 32242
299.54/300.56 c SMALL=int, LARGE=long long
299.54/300.56 d SCIPUB 19
299.54/300.56 c bounds - >= 0 @ 299.344
299.54/300.56 c stratification level: 0
415.85/417.17 c bounds - >= 1 @ 299.387
415.85/417.17 c bounds - >= 2 @ 299.388
415.85/417.17 c bounds - >= 3 @ 299.39
415.85/417.17 c bounds - >= 4 @ 299.39
415.85/417.17 c bounds - >= 5 @ 299.392
415.85/417.17 c #Conflicts: 1000 | #Constraints: 33251
415.85/417.17 c #Conflicts: 2000 | #Constraints: 34251
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 3000 | #Constraints: 34260
415.85/417.17 c #Conflicts: 4000 | #Constraints: 35260
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 5000 | #Constraints: 34667
415.85/417.17 c #Conflicts: 6000 | #Constraints: 35667
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 7000 | #Constraints: 34678
415.85/417.17 c #Conflicts: 8000 | #Constraints: 35678
415.85/417.17 c #Conflicts: 9000 | #Constraints: 36678
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 10000 | #Constraints: 35374
415.85/417.17 c #Conflicts: 11000 | #Constraints: 36374
415.85/417.17 c #Conflicts: 12000 | #Constraints: 37374
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 13000 | #Constraints: 35823
415.85/417.17 c #Conflicts: 14000 | #Constraints: 36823
415.85/417.17 c #Conflicts: 15000 | #Constraints: 37823
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 16000 | #Constraints: 36053
415.85/417.17 c #Conflicts: 17000 | #Constraints: 37053
415.85/417.17 c #Conflicts: 18000 | #Constraints: 38053
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 19000 | #Constraints: 36083
415.85/417.17 c #Conflicts: 20000 | #Constraints: 37083
415.85/417.17 c #Conflicts: 21000 | #Constraints: 38083
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 22000 | #Constraints: 35875
415.85/417.17 c #Conflicts: 23000 | #Constraints: 36875
415.85/417.17 c #Conflicts: 24000 | #Constraints: 37875
415.85/417.17 c #Conflicts: 25000 | #Constraints: 38875
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 26000 | #Constraints: 36482
415.85/417.17 c #Conflicts: 27000 | #Constraints: 37482
415.85/417.17 c #Conflicts: 28000 | #Constraints: 38482
415.85/417.17 c #Conflicts: 29000 | #Constraints: 39482
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 30000 | #Constraints: 36881
415.85/417.17 c #Conflicts: 31000 | #Constraints: 37881
415.85/417.17 c #Conflicts: 32000 | #Constraints: 38881
415.85/417.17 c #Conflicts: 33000 | #Constraints: 39881
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 34000 | #Constraints: 37085
415.85/417.17 c #Conflicts: 35000 | #Constraints: 38085
415.85/417.17 c #Conflicts: 36000 | #Constraints: 39085
415.85/417.17 c #Conflicts: 37000 | #Constraints: 40085
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 38000 | #Constraints: 37091
415.85/417.17 c #Conflicts: 39000 | #Constraints: 38091
415.85/417.17 c #Conflicts: 40000 | #Constraints: 39091
415.85/417.17 c #Conflicts: 41000 | #Constraints: 40091
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 42000 | #Constraints: 36888
415.85/417.17 c #Conflicts: 43000 | #Constraints: 37888
415.85/417.17 c #Conflicts: 44000 | #Constraints: 38888
415.85/417.17 c #Conflicts: 45000 | #Constraints: 39888
415.85/417.17 c #Conflicts: 46000 | #Constraints: 40888
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 47000 | #Constraints: 37481
415.85/417.17 c #Conflicts: 48000 | #Constraints: 38481
415.85/417.17 c #Conflicts: 49000 | #Constraints: 39481
415.85/417.17 c #Conflicts: 50000 | #Constraints: 40481
415.85/417.17 c #Conflicts: 51000 | #Constraints: 41481
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 52000 | #Constraints: 37887
415.85/417.17 c #Conflicts: 53000 | #Constraints: 38887
415.85/417.17 c #Conflicts: 54000 | #Constraints: 39887
415.85/417.17 c #Conflicts: 55000 | #Constraints: 40887
415.85/417.17 c #Conflicts: 56000 | #Constraints: 41887
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 57000 | #Constraints: 38084
415.85/417.17 c #Conflicts: 58000 | #Constraints: 39084
415.85/417.17 c #Conflicts: 59000 | #Constraints: 40084
415.85/417.17 c #Conflicts: 60000 | #Constraints: 41084
415.85/417.17 c #Conflicts: 61000 | #Constraints: 42084
415.85/417.17 c INPROCESSING
415.85/417.17 c GARBAGE COLLECT
415.85/417.17 c #Conflicts: 62000 | #Constraints: 38083
415.85/417.17 c #Conflicts: 63000 | #Constraints: 39083
415.85/417.17 c #Conflicts: 64000 | #Constraints: 40083
415.85/417.17 c #Conflicts: 65000 | #Constraints: 41083
415.85/417.17 c #Conflicts: 66000 | #Constraints: 42083
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 67000 | #Constraints: 37877
598.98/600.78 c #Conflicts: 68000 | #Constraints: 38877
598.98/600.78 c #Conflicts: 69000 | #Constraints: 39877
598.98/600.78 c #Conflicts: 70000 | #Constraints: 40877
598.98/600.78 c #Conflicts: 71000 | #Constraints: 41877
598.98/600.78 c #Conflicts: 72000 | #Constraints: 42877
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 73000 | #Constraints: 38480
598.98/600.78 c #Conflicts: 74000 | #Constraints: 39480
598.98/600.78 c #Conflicts: 75000 | #Constraints: 40480
598.98/600.78 c #Conflicts: 76000 | #Constraints: 41480
598.98/600.78 c #Conflicts: 77000 | #Constraints: 42480
598.98/600.78 c #Conflicts: 78000 | #Constraints: 43480
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 79000 | #Constraints: 38892
598.98/600.78 c #Conflicts: 80000 | #Constraints: 39892
598.98/600.78 c #Conflicts: 81000 | #Constraints: 40892
598.98/600.78 c #Conflicts: 82000 | #Constraints: 41892
598.98/600.78 c #Conflicts: 83000 | #Constraints: 42892
598.98/600.78 c #Conflicts: 84000 | #Constraints: 43892
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 85000 | #Constraints: 39092
598.98/600.78 c #Conflicts: 86000 | #Constraints: 40092
598.98/600.78 c #Conflicts: 87000 | #Constraints: 41092
598.98/600.78 c #Conflicts: 88000 | #Constraints: 42092
598.98/600.78 c #Conflicts: 89000 | #Constraints: 43092
598.98/600.78 c #Conflicts: 90000 | #Constraints: 44092
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 91000 | #Constraints: 39099
598.98/600.78 c #Conflicts: 92000 | #Constraints: 40099
598.98/600.78 c #Conflicts: 93000 | #Constraints: 41099
598.98/600.78 c #Conflicts: 94000 | #Constraints: 42099
598.98/600.78 c #Conflicts: 95000 | #Constraints: 43099
598.98/600.78 c #Conflicts: 96000 | #Constraints: 44099
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 97000 | #Constraints: 38912
598.98/600.78 c #Conflicts: 98000 | #Constraints: 39912
598.98/600.78 c #Conflicts: 99000 | #Constraints: 40912
598.98/600.78 c #Conflicts: 100000 | #Constraints: 41912
598.98/600.78 c #Conflicts: 101000 | #Constraints: 42912
598.98/600.78 c #Conflicts: 102000 | #Constraints: 43912
598.98/600.78 c #Conflicts: 103000 | #Constraints: 44912
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 104000 | #Constraints: 39509
598.98/600.78 c #Conflicts: 105000 | #Constraints: 40509
598.98/600.78 c #Conflicts: 106000 | #Constraints: 41509
598.98/600.78 c #Conflicts: 107000 | #Constraints: 42509
598.98/600.78 c #Conflicts: 108000 | #Constraints: 43509
598.98/600.78 c #Conflicts: 109000 | #Constraints: 44509
598.98/600.78 c #Conflicts: 110000 | #Constraints: 45509
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 111000 | #Constraints: 39913
598.98/600.78 c #Conflicts: 112000 | #Constraints: 40913
598.98/600.78 c #Conflicts: 113000 | #Constraints: 41913
598.98/600.78 c #Conflicts: 114000 | #Constraints: 42913
598.98/600.78 c #Conflicts: 115000 | #Constraints: 43913
598.98/600.78 c #Conflicts: 116000 | #Constraints: 44913
598.98/600.78 c #Conflicts: 117000 | #Constraints: 45913
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 118000 | #Constraints: 40113
598.98/600.78 c #Conflicts: 119000 | #Constraints: 41113
598.98/600.78 c #Conflicts: 120000 | #Constraints: 42113
598.98/600.78 c #Conflicts: 121000 | #Constraints: 43113
598.98/600.78 c #Conflicts: 122000 | #Constraints: 44113
598.98/600.78 c #Conflicts: 123000 | #Constraints: 45113
598.98/600.78 c #Conflicts: 124000 | #Constraints: 46113
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 125000 | #Constraints: 40107
598.98/600.78 c #Conflicts: 126000 | #Constraints: 41107
598.98/600.78 c #Conflicts: 127000 | #Constraints: 42107
598.98/600.78 c #Conflicts: 128000 | #Constraints: 43107
598.98/600.78 c #Conflicts: 129000 | #Constraints: 44107
598.98/600.78 c #Conflicts: 130000 | #Constraints: 45107
598.98/600.78 c #Conflicts: 131000 | #Constraints: 46107
598.98/600.78 c INPROCESSING
598.98/600.78 c GARBAGE COLLECT
598.98/600.78 c #Conflicts: 132000 | #Constraints: 39920
598.98/600.78 c #Conflicts: 133000 | #Constraints: 40920
598.98/600.78 c #Conflicts: 134000 | #Constraints: 41920
598.98/600.78 c #Conflicts: 135000 | #Constraints: 42920
598.98/600.78 c #Conflicts: 136000 | #Constraints: 43920
598.98/600.78 c #Conflicts: 137000 | #Constraints: 44920
598.98/600.78 c #Conflicts: 138000 | #Constraints: 45920
799.77/802.03 c #Conflicts: 139000 | #Constraints: 46920
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 140000 | #Constraints: 40519
799.77/802.03 c #Conflicts: 141000 | #Constraints: 41519
799.77/802.03 c #Conflicts: 142000 | #Constraints: 42519
799.77/802.03 c #Conflicts: 143000 | #Constraints: 43519
799.77/802.03 c #Conflicts: 144000 | #Constraints: 44519
799.77/802.03 c #Conflicts: 145000 | #Constraints: 45519
799.77/802.03 c #Conflicts: 146000 | #Constraints: 46519
799.77/802.03 c #Conflicts: 147000 | #Constraints: 47519
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 148000 | #Constraints: 40920
799.77/802.03 c #Conflicts: 149000 | #Constraints: 41920
799.77/802.03 c #Conflicts: 150000 | #Constraints: 42920
799.77/802.03 c #Conflicts: 151000 | #Constraints: 43920
799.77/802.03 c #Conflicts: 152000 | #Constraints: 44920
799.77/802.03 c #Conflicts: 153000 | #Constraints: 45920
799.77/802.03 c #Conflicts: 154000 | #Constraints: 46920
799.77/802.03 c #Conflicts: 155000 | #Constraints: 47920
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 156000 | #Constraints: 41127
799.77/802.03 c #Conflicts: 157000 | #Constraints: 42127
799.77/802.03 c #Conflicts: 158000 | #Constraints: 43127
799.77/802.03 c #Conflicts: 159000 | #Constraints: 44127
799.77/802.03 c #Conflicts: 160000 | #Constraints: 45127
799.77/802.03 c #Conflicts: 161000 | #Constraints: 46127
799.77/802.03 c #Conflicts: 162000 | #Constraints: 47127
799.77/802.03 c #Conflicts: 163000 | #Constraints: 48127
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 164000 | #Constraints: 41122
799.77/802.03 c #Conflicts: 165000 | #Constraints: 42122
799.77/802.03 c #Conflicts: 166000 | #Constraints: 43122
799.77/802.03 c #Conflicts: 167000 | #Constraints: 44122
799.77/802.03 c #Conflicts: 168000 | #Constraints: 45122
799.77/802.03 c #Conflicts: 169000 | #Constraints: 46122
799.77/802.03 c #Conflicts: 170000 | #Constraints: 47122
799.77/802.03 c #Conflicts: 171000 | #Constraints: 48122
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 172000 | #Constraints: 40920
799.77/802.03 c #Conflicts: 173000 | #Constraints: 41920
799.77/802.03 c #Conflicts: 174000 | #Constraints: 42920
799.77/802.03 c #Conflicts: 175000 | #Constraints: 43920
799.77/802.03 c #Conflicts: 176000 | #Constraints: 44920
799.77/802.03 c #Conflicts: 177000 | #Constraints: 45920
799.77/802.03 c #Conflicts: 178000 | #Constraints: 46920
799.77/802.03 c #Conflicts: 179000 | #Constraints: 47920
799.77/802.03 c #Conflicts: 180000 | #Constraints: 48920
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 181000 | #Constraints: 41518
799.77/802.03 c #Conflicts: 182000 | #Constraints: 42518
799.77/802.03 c #Conflicts: 183000 | #Constraints: 43518
799.77/802.03 c #Conflicts: 184000 | #Constraints: 44518
799.77/802.03 c #Conflicts: 185000 | #Constraints: 45518
799.77/802.03 c #Conflicts: 186000 | #Constraints: 46518
799.77/802.03 c #Conflicts: 187000 | #Constraints: 47518
799.77/802.03 c #Conflicts: 188000 | #Constraints: 48518
799.77/802.03 c #Conflicts: 189000 | #Constraints: 49518
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 190000 | #Constraints: 41917
799.77/802.03 c #Conflicts: 191000 | #Constraints: 42917
799.77/802.03 c #Conflicts: 192000 | #Constraints: 43917
799.77/802.03 c #Conflicts: 193000 | #Constraints: 44917
799.77/802.03 c #Conflicts: 194000 | #Constraints: 45917
799.77/802.03 c #Conflicts: 195000 | #Constraints: 46917
799.77/802.03 c #Conflicts: 196000 | #Constraints: 47917
799.77/802.03 c #Conflicts: 197000 | #Constraints: 48917
799.77/802.03 c #Conflicts: 198000 | #Constraints: 49917
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 199000 | #Constraints: 42116
799.77/802.03 c #Conflicts: 200000 | #Constraints: 43116
799.77/802.03 c #Conflicts: 201000 | #Constraints: 44116
799.77/802.03 c #Conflicts: 202000 | #Constraints: 45116
799.77/802.03 c #Conflicts: 203000 | #Constraints: 46116
799.77/802.03 c #Conflicts: 204000 | #Constraints: 47116
799.77/802.03 c #Conflicts: 205000 | #Constraints: 48116
799.77/802.03 c #Conflicts: 206000 | #Constraints: 49116
799.77/802.03 c #Conflicts: 207000 | #Constraints: 50116
799.77/802.03 c INPROCESSING
799.77/802.03 c GARBAGE COLLECT
799.77/802.03 c #Conflicts: 208000 | #Constraints: 42106
799.77/802.03 c #Conflicts: 209000 | #Constraints: 43106
799.77/802.03 c #Conflicts: 210000 | #Constraints: 44106
799.77/802.03 c #Conflicts: 211000 | #Constraints: 45106
1019.19/1022.09 c #Conflicts: 212000 | #Constraints: 46106
1019.19/1022.09 c #Conflicts: 213000 | #Constraints: 47106
1019.19/1022.09 c #Conflicts: 214000 | #Constraints: 48106
1019.19/1022.09 c #Conflicts: 215000 | #Constraints: 49106
1019.19/1022.09 c #Conflicts: 216000 | #Constraints: 50106
1019.19/1022.09 c INPROCESSING
1019.19/1022.09 c GARBAGE COLLECT
1019.19/1022.09 c #Conflicts: 217000 | #Constraints: 41914
1019.19/1022.09 c #Conflicts: 218000 | #Constraints: 42914
1019.19/1022.09 c #Conflicts: 219000 | #Constraints: 43914
1019.19/1022.09 c #Conflicts: 220000 | #Constraints: 44914
1019.19/1022.09 c #Conflicts: 221000 | #Constraints: 45914
1019.19/1022.09 c #Conflicts: 222000 | #Constraints: 46914
1019.19/1022.09 c #Conflicts: 223000 | #Constraints: 47914
1019.19/1022.09 c #Conflicts: 224000 | #Constraints: 48914
1019.19/1022.09 c #Conflicts: 225000 | #Constraints: 49914
1019.19/1022.09 c #Conflicts: 226000 | #Constraints: 50914
1019.19/1022.09 c INPROCESSING
1019.19/1022.09 c GARBAGE COLLECT
1019.19/1022.09 c #Conflicts: 227000 | #Constraints: 42502
1019.19/1022.09 c #Conflicts: 228000 | #Constraints: 43502
1019.19/1022.09 c #Conflicts: 229000 | #Constraints: 44502
1019.19/1022.09 c #Conflicts: 230000 | #Constraints: 45502
1019.19/1022.09 c #Conflicts: 231000 | #Constraints: 46502
1019.19/1022.09 c #Conflicts: 232000 | #Constraints: 47502
1019.19/1022.09 c #Conflicts: 233000 | #Constraints: 48502
1019.19/1022.09 c #Conflicts: 234000 | #Constraints: 49502
1019.19/1022.09 c #Conflicts: 235000 | #Constraints: 50502
1019.19/1022.09 c #Conflicts: 236000 | #Constraints: 51502
1019.19/1022.09 c INPROCESSING
1019.19/1022.09 c GARBAGE COLLECT
1019.19/1022.09 c #Conflicts: 237000 | #Constraints: 42910
1019.19/1022.09 c #Conflicts: 238000 | #Constraints: 43910
1019.19/1022.09 c #Conflicts: 239000 | #Constraints: 44910
1019.19/1022.09 c #Conflicts: 240000 | #Constraints: 45910
1019.19/1022.09 c #Conflicts: 241000 | #Constraints: 46910
1019.19/1022.09 c #Conflicts: 242000 | #Constraints: 47910
1019.19/1022.09 c #Conflicts: 243000 | #Constraints: 48910
1019.19/1022.09 c #Conflicts: 244000 | #Constraints: 49910
1019.19/1022.09 c #Conflicts: 245000 | #Constraints: 50910
1019.19/1022.09 c #Conflicts: 246000 | #Constraints: 51910
1019.19/1022.09 c INPROCESSING
1019.19/1022.09 c GARBAGE COLLECT
1019.19/1022.09 c #Conflicts: 247000 | #Constraints: 43106
1019.19/1022.09 c #Conflicts: 248000 | #Constraints: 44106
1019.19/1022.09 c #Conflicts: 249000 | #Constraints: 45106
1019.19/1022.09 c #Conflicts: 250000 | #Constraints: 46106
1019.19/1022.09 c #Conflicts: 251000 | #Constraints: 47106
1019.19/1022.09 c #Conflicts: 252000 | #Constraints: 48106
1019.19/1022.09 c #Conflicts: 253000 | #Constraints: 49106
1019.19/1022.09 c #Conflicts: 254000 | #Constraints: 50106
1019.19/1022.09 c #Conflicts: 255000 | #Constraints: 51106
1019.19/1022.09 c #Conflicts: 256000 | #Constraints: 52106
1019.19/1022.09 c INPROCESSING
1019.19/1022.09 c GARBAGE COLLECT
1019.19/1022.09 c #Conflicts: 257000 | #Constraints: 43097
1019.19/1022.09 c #Conflicts: 258000 | #Constraints: 44097
1019.19/1022.09 c #Conflicts: 259000 | #Constraints: 45097
1019.19/1022.09 c #Conflicts: 260000 | #Constraints: 46097
1019.19/1022.09 c #Conflicts: 261000 | #Constraints: 47097
1019.19/1022.09 c #Conflicts: 262000 | #Constraints: 48097
1019.19/1022.09 c #Conflicts: 263000 | #Constraints: 49097
1019.19/1022.09 c #Conflicts: 264000 | #Constraints: 50097
1019.19/1022.09 c #Conflicts: 265000 | #Constraints: 51097
1019.19/1022.09 c #Conflicts: 266000 | #Constraints: 52097
1019.19/1022.09 c INPROCESSING
1019.19/1022.09 c GARBAGE COLLECT
1019.19/1022.09 c #Conflicts: 267000 | #Constraints: 42908
1019.19/1022.09 c #Conflicts: 268000 | #Constraints: 43908
1019.19/1022.09 c #Conflicts: 269000 | #Constraints: 44908
1019.19/1022.09 c #Conflicts: 270000 | #Constraints: 45908
1019.19/1022.09 c #Conflicts: 271000 | #Constraints: 46908
1019.19/1022.09 c #Conflicts: 272000 | #Constraints: 47908
1019.19/1022.09 c #Conflicts: 273000 | #Constraints: 48908
1019.19/1022.09 c #Conflicts: 274000 | #Constraints: 49908
1019.19/1022.09 c #Conflicts: 275000 | #Constraints: 50908
1019.19/1022.09 c #Conflicts: 276000 | #Constraints: 51908
1019.19/1022.09 c #Conflicts: 277000 | #Constraints: 52908
1019.19/1022.09 c INPROCESSING
1019.19/1022.09 c GARBAGE COLLECT
1019.19/1022.09 c #Conflicts: 278000 | #Constraints: 43516
1019.19/1022.09 c #Conflicts: 279000 | #Constraints: 44516
1019.19/1022.09 c #Conflicts: 280000 | #Constraints: 45516
1019.19/1022.09 c #Conflicts: 281000 | #Constraints: 46516
1019.19/1022.09 c #Conflicts: 282000 | #Constraints: 47516
1019.19/1022.09 c #Conflicts: 283000 | #Constraints: 48516
1019.19/1022.09 c #Conflicts: 284000 | #Constraints: 49516
1019.19/1022.09 c #Conflicts: 285000 | #Constraints: 50516
1266.36/1269.83 c #Conflicts: 286000 | #Constraints: 51516
1266.36/1269.83 c #Conflicts: 287000 | #Constraints: 52516
1266.36/1269.83 c #Conflicts: 288000 | #Constraints: 53516
1266.36/1269.83 c INPROCESSING
1266.36/1269.83 c GARBAGE COLLECT
1266.36/1269.83 c #Conflicts: 289000 | #Constraints: 43907
1266.36/1269.83 c #Conflicts: 290000 | #Constraints: 44907
1266.36/1269.83 c #Conflicts: 291000 | #Constraints: 45907
1266.36/1269.83 c #Conflicts: 292000 | #Constraints: 46907
1266.36/1269.83 c #Conflicts: 293000 | #Constraints: 47907
1266.36/1269.83 c #Conflicts: 294000 | #Constraints: 48907
1266.36/1269.83 c #Conflicts: 295000 | #Constraints: 49907
1266.36/1269.83 c #Conflicts: 296000 | #Constraints: 50907
1266.36/1269.83 c #Conflicts: 297000 | #Constraints: 51907
1266.36/1269.83 c #Conflicts: 298000 | #Constraints: 52907
1266.36/1269.83 c #Conflicts: 299000 | #Constraints: 53907
1266.36/1269.83 c INPROCESSING
1266.36/1269.83 c GARBAGE COLLECT
1266.36/1269.83 c #Conflicts: 300000 | #Constraints: 44104
1266.36/1269.83 c #Conflicts: 301000 | #Constraints: 45104
1266.36/1269.83 c #Conflicts: 302000 | #Constraints: 46104
1266.36/1269.83 c #Conflicts: 303000 | #Constraints: 47104
1266.36/1269.83 c #Conflicts: 304000 | #Constraints: 48104
1266.36/1269.83 c #Conflicts: 305000 | #Constraints: 49104
1266.36/1269.83 c #Conflicts: 306000 | #Constraints: 50104
1266.36/1269.83 c #Conflicts: 307000 | #Constraints: 51104
1266.36/1269.83 c #Conflicts: 308000 | #Constraints: 52104
1266.36/1269.83 c #Conflicts: 309000 | #Constraints: 53104
1266.36/1269.83 c #Conflicts: 310000 | #Constraints: 54104
1266.36/1269.83 c INPROCESSING
1266.36/1269.83 c GARBAGE COLLECT
1266.36/1269.83 c #Conflicts: 311000 | #Constraints: 44112
1266.36/1269.83 c #Conflicts: 312000 | #Constraints: 45112
1266.36/1269.83 c #Conflicts: 313000 | #Constraints: 46112
1266.36/1269.83 c #Conflicts: 314000 | #Constraints: 47112
1266.36/1269.83 c #Conflicts: 315000 | #Constraints: 48112
1266.36/1269.83 c #Conflicts: 316000 | #Constraints: 49112
1266.36/1269.83 c #Conflicts: 317000 | #Constraints: 50112
1266.36/1269.83 c #Conflicts: 318000 | #Constraints: 51112
1266.36/1269.83 c #Conflicts: 319000 | #Constraints: 52112
1266.36/1269.83 c #Conflicts: 320000 | #Constraints: 53112
1266.36/1269.83 c #Conflicts: 321000 | #Constraints: 54112
1266.36/1269.83 c INPROCESSING
1266.36/1269.83 c GARBAGE COLLECT
1266.36/1269.83 c #Conflicts: 322000 | #Constraints: 43926
1266.36/1269.83 c #Conflicts: 323000 | #Constraints: 44926
1266.36/1269.83 c #Conflicts: 324000 | #Constraints: 45926
1266.36/1269.83 c #Conflicts: 325000 | #Constraints: 46926
1266.36/1269.83 c #Conflicts: 326000 | #Constraints: 47926
1266.36/1269.83 c #Conflicts: 327000 | #Constraints: 48926
1266.36/1269.83 c #Conflicts: 328000 | #Constraints: 49926
1266.36/1269.83 c #Conflicts: 329000 | #Constraints: 50926
1266.36/1269.83 c #Conflicts: 330000 | #Constraints: 51926
1266.36/1269.83 c #Conflicts: 331000 | #Constraints: 52926
1266.36/1269.83 c #Conflicts: 332000 | #Constraints: 53926
1266.36/1269.83 c #Conflicts: 333000 | #Constraints: 54926
1266.36/1269.83 c INPROCESSING
1266.36/1269.83 c GARBAGE COLLECT
1266.36/1269.83 c #Conflicts: 334000 | #Constraints: 44541
1266.36/1269.83 c #Conflicts: 335000 | #Constraints: 45541
1266.36/1269.83 c #Conflicts: 336000 | #Constraints: 46541
1266.36/1269.83 c #Conflicts: 337000 | #Constraints: 47541
1266.36/1269.83 c #Conflicts: 338000 | #Constraints: 48541
1266.36/1269.83 c #Conflicts: 339000 | #Constraints: 49541
1266.36/1269.83 c #Conflicts: 340000 | #Constraints: 50541
1266.36/1269.83 c #Conflicts: 341000 | #Constraints: 51541
1266.36/1269.83 c #Conflicts: 342000 | #Constraints: 52541
1266.36/1269.83 c #Conflicts: 343000 | #Constraints: 53541
1266.36/1269.83 c #Conflicts: 344000 | #Constraints: 54541
1266.36/1269.83 c #Conflicts: 345000 | #Constraints: 55541
1266.36/1269.83 c INPROCESSING
1266.36/1269.83 c GARBAGE COLLECT
1266.36/1269.83 c #Conflicts: 346000 | #Constraints: 44946
1266.36/1269.83 c #Conflicts: 347000 | #Constraints: 45946
1266.36/1269.83 c #Conflicts: 348000 | #Constraints: 46946
1266.36/1269.83 c #Conflicts: 349000 | #Constraints: 47946
1266.36/1269.83 c #Conflicts: 350000 | #Constraints: 48946
1266.36/1269.83 c #Conflicts: 351000 | #Constraints: 49946
1266.36/1269.83 c #Conflicts: 352000 | #Constraints: 50946
1266.36/1269.83 c #Conflicts: 353000 | #Constraints: 51946
1266.36/1269.83 c #Conflicts: 354000 | #Constraints: 52946
1266.36/1269.83 c #Conflicts: 355000 | #Constraints: 53946
1266.36/1269.83 c #Conflicts: 356000 | #Constraints: 54946
1266.36/1269.83 c #Conflicts: 357000 | #Constraints: 55946
1266.36/1269.83 c INPROCESSING
1266.36/1269.83 c GARBAGE COLLECT
1266.36/1269.83 c #Conflicts: 358000 | #Constraints: 45129
1266.36/1269.83 c #Conflicts: 359000 | #Constraints: 46129
1266.36/1269.83 c #Conflicts: 360000 | #Constraints: 47129
1514.49/1518.64 c #Conflicts: 361000 | #Constraints: 48129
1514.49/1518.64 c #Conflicts: 362000 | #Constraints: 49129
1514.49/1518.64 c #Conflicts: 363000 | #Constraints: 50129
1514.49/1518.64 c #Conflicts: 364000 | #Constraints: 51129
1514.49/1518.64 c #Conflicts: 365000 | #Constraints: 52129
1514.49/1518.64 c #Conflicts: 366000 | #Constraints: 53129
1514.49/1518.64 c #Conflicts: 367000 | #Constraints: 54129
1514.49/1518.64 c #Conflicts: 368000 | #Constraints: 55129
1514.49/1518.64 c #Conflicts: 369000 | #Constraints: 56129
1514.49/1518.64 c INPROCESSING
1514.49/1518.64 c GARBAGE COLLECT
1514.49/1518.64 c #Conflicts: 370000 | #Constraints: 45119
1514.49/1518.64 c #Conflicts: 371000 | #Constraints: 46119
1514.49/1518.64 c #Conflicts: 372000 | #Constraints: 47119
1514.49/1518.64 c #Conflicts: 373000 | #Constraints: 48119
1514.49/1518.64 c #Conflicts: 374000 | #Constraints: 49119
1514.49/1518.64 c #Conflicts: 375000 | #Constraints: 50119
1514.49/1518.64 c #Conflicts: 376000 | #Constraints: 51119
1514.49/1518.64 c #Conflicts: 377000 | #Constraints: 52119
1514.49/1518.64 c #Conflicts: 378000 | #Constraints: 53119
1514.49/1518.64 c #Conflicts: 379000 | #Constraints: 54119
1514.49/1518.64 c #Conflicts: 380000 | #Constraints: 55119
1514.49/1518.64 c #Conflicts: 381000 | #Constraints: 56119
1514.49/1518.64 c INPROCESSING
1514.49/1518.64 c GARBAGE COLLECT
1514.49/1518.64 c #Conflicts: 382000 | #Constraints: 44911
1514.49/1518.64 c #Conflicts: 383000 | #Constraints: 45911
1514.49/1518.64 c #Conflicts: 384000 | #Constraints: 46911
1514.49/1518.64 c #Conflicts: 385000 | #Constraints: 47911
1514.49/1518.64 c #Conflicts: 386000 | #Constraints: 48911
1514.49/1518.64 c #Conflicts: 387000 | #Constraints: 49911
1514.49/1518.64 c #Conflicts: 388000 | #Constraints: 50911
1514.49/1518.64 c #Conflicts: 389000 | #Constraints: 51911
1514.49/1518.64 c #Conflicts: 390000 | #Constraints: 52911
1514.49/1518.64 c #Conflicts: 391000 | #Constraints: 53911
1514.49/1518.64 c #Conflicts: 392000 | #Constraints: 54911
1514.49/1518.64 c #Conflicts: 393000 | #Constraints: 55911
1514.49/1518.64 c #Conflicts: 394000 | #Constraints: 56911
1514.49/1518.64 c INPROCESSING
1514.49/1518.64 c GARBAGE COLLECT
1514.49/1518.64 c #Conflicts: 395000 | #Constraints: 45521
1514.49/1518.64 c #Conflicts: 396000 | #Constraints: 46521
1514.49/1518.64 c #Conflicts: 397000 | #Constraints: 47521
1514.49/1518.64 c #Conflicts: 398000 | #Constraints: 48521
1514.49/1518.64 c #Conflicts: 399000 | #Constraints: 49521
1514.49/1518.64 c #Conflicts: 400000 | #Constraints: 50521
1514.49/1518.64 c #Conflicts: 401000 | #Constraints: 51521
1514.49/1518.64 c #Conflicts: 402000 | #Constraints: 52521
1514.49/1518.64 c #Conflicts: 403000 | #Constraints: 53521
1514.49/1518.64 c #Conflicts: 404000 | #Constraints: 54521
1514.49/1518.64 c #Conflicts: 405000 | #Constraints: 55521
1514.49/1518.64 c #Conflicts: 406000 | #Constraints: 56521
1514.49/1518.64 c #Conflicts: 407000 | #Constraints: 57521
1514.49/1518.64 c INPROCESSING
1514.49/1518.64 c GARBAGE COLLECT
1514.49/1518.64 c #Conflicts: 408000 | #Constraints: 45919
1514.49/1518.64 c #Conflicts: 409000 | #Constraints: 46919
1514.49/1518.64 c #Conflicts: 410000 | #Constraints: 47919
1514.49/1518.64 c #Conflicts: 411000 | #Constraints: 48919
1514.49/1518.64 c #Conflicts: 412000 | #Constraints: 49919
1514.49/1518.64 c #Conflicts: 413000 | #Constraints: 50919
1514.49/1518.64 c #Conflicts: 414000 | #Constraints: 51919
1514.49/1518.64 c #Conflicts: 415000 | #Constraints: 52919
1514.49/1518.64 c #Conflicts: 416000 | #Constraints: 53919
1514.49/1518.64 c #Conflicts: 417000 | #Constraints: 54919
1514.49/1518.64 c #Conflicts: 418000 | #Constraints: 55919
1514.49/1518.64 c #Conflicts: 419000 | #Constraints: 56919
1514.49/1518.64 c #Conflicts: 420000 | #Constraints: 57919
1514.49/1518.64 c INPROCESSING
1514.49/1518.64 c GARBAGE COLLECT
1514.49/1518.64 c #Conflicts: 421000 | #Constraints: 46126
1514.49/1518.64 c #Conflicts: 422000 | #Constraints: 47126
1514.49/1518.64 c #Conflicts: 423000 | #Constraints: 48126
1514.49/1518.64 c #Conflicts: 424000 | #Constraints: 49126
1514.49/1518.64 c #Conflicts: 425000 | #Constraints: 50126
1514.49/1518.64 c #Conflicts: 426000 | #Constraints: 51126
1514.49/1518.64 c #Conflicts: 427000 | #Constraints: 52126
1514.49/1518.64 c #Conflicts: 428000 | #Constraints: 53126
1514.49/1518.64 c #Conflicts: 429000 | #Constraints: 54126
1514.49/1518.64 c #Conflicts: 430000 | #Constraints: 55126
1514.49/1518.64 c #Conflicts: 431000 | #Constraints: 56126
1514.49/1518.64 c #Conflicts: 432000 | #Constraints: 57126
1514.49/1518.64 c #Conflicts: 433000 | #Constraints: 58126
1514.49/1518.64 c INPROCESSING
1514.49/1518.64 c GARBAGE COLLECT
1514.49/1518.64 c #Conflicts: 434000 | #Constraints: 46143
1806.58/1811.48 c #Conflicts: 435000 | #Constraints: 47143
1806.58/1811.48 c #Conflicts: 436000 | #Constraints: 48143
1806.58/1811.48 c #Conflicts: 437000 | #Constraints: 49143
1806.58/1811.48 c #Conflicts: 438000 | #Constraints: 50143
1806.58/1811.48 c #Conflicts: 439000 | #Constraints: 51143
1806.58/1811.48 c #Conflicts: 440000 | #Constraints: 52143
1806.58/1811.48 c #Conflicts: 441000 | #Constraints: 53143
1806.58/1811.48 c #Conflicts: 442000 | #Constraints: 54143
1806.58/1811.48 c #Conflicts: 443000 | #Constraints: 55143
1806.58/1811.48 c #Conflicts: 444000 | #Constraints: 56143
1806.58/1811.48 c #Conflicts: 445000 | #Constraints: 57143
1806.58/1811.48 c #Conflicts: 446000 | #Constraints: 58143
1806.58/1811.48 c INPROCESSING
1806.58/1811.48 c GARBAGE COLLECT
1806.58/1811.48 c #Conflicts: 447000 | #Constraints: 45932
1806.58/1811.48 c #Conflicts: 448000 | #Constraints: 46932
1806.58/1811.48 c #Conflicts: 449000 | #Constraints: 47932
1806.58/1811.48 c #Conflicts: 450000 | #Constraints: 48932
1806.58/1811.48 c #Conflicts: 451000 | #Constraints: 49932
1806.58/1811.48 c #Conflicts: 452000 | #Constraints: 50932
1806.58/1811.48 c #Conflicts: 453000 | #Constraints: 51932
1806.58/1811.48 c #Conflicts: 454000 | #Constraints: 52932
1806.58/1811.48 c #Conflicts: 455000 | #Constraints: 53932
1806.58/1811.48 c #Conflicts: 456000 | #Constraints: 54932
1806.58/1811.48 c #Conflicts: 457000 | #Constraints: 55932
1806.58/1811.48 c #Conflicts: 458000 | #Constraints: 56932
1806.58/1811.48 c #Conflicts: 459000 | #Constraints: 57932
1806.58/1811.48 c #Conflicts: 460000 | #Constraints: 58932
1806.58/1811.48 c INPROCESSING
1806.58/1811.48 c GARBAGE COLLECT
1806.58/1811.48 c #Conflicts: 461000 | #Constraints: 46543
1806.58/1811.48 c #Conflicts: 462000 | #Constraints: 47543
1806.58/1811.48 c #Conflicts: 463000 | #Constraints: 48543
1806.58/1811.48 c #Conflicts: 464000 | #Constraints: 49543
1806.58/1811.48 c #Conflicts: 465000 | #Constraints: 50543
1806.58/1811.48 c #Conflicts: 466000 | #Constraints: 51543
1806.58/1811.48 c #Conflicts: 467000 | #Constraints: 52543
1806.58/1811.48 c #Conflicts: 468000 | #Constraints: 53543
1806.58/1811.48 c #Conflicts: 469000 | #Constraints: 54543
1806.58/1811.48 c #Conflicts: 470000 | #Constraints: 55543
1806.58/1811.48 c #Conflicts: 471000 | #Constraints: 56543
1806.58/1811.48 c #Conflicts: 472000 | #Constraints: 57543
1806.58/1811.48 c #Conflicts: 473000 | #Constraints: 58543
1806.58/1811.48 c #Conflicts: 474000 | #Constraints: 59543
1806.58/1811.48 c INPROCESSING
1806.58/1811.48 c GARBAGE COLLECT
1806.58/1811.48 c #Conflicts: 475000 | #Constraints: 46946
1806.58/1811.48 c #Conflicts: 476000 | #Constraints: 47946
1806.58/1811.48 c #Conflicts: 477000 | #Constraints: 48946
1806.58/1811.48 c #Conflicts: 478000 | #Constraints: 49946
1806.58/1811.48 c #Conflicts: 479000 | #Constraints: 50946
1806.58/1811.48 c #Conflicts: 480000 | #Constraints: 51946
1806.58/1811.48 c #Conflicts: 481000 | #Constraints: 52946
1806.58/1811.48 c #Conflicts: 482000 | #Constraints: 53946
1806.58/1811.48 c #Conflicts: 483000 | #Constraints: 54946
1806.58/1811.48 c #Conflicts: 484000 | #Constraints: 55946
1806.58/1811.48 c #Conflicts: 485000 | #Constraints: 56946
1806.58/1811.48 c #Conflicts: 486000 | #Constraints: 57946
1806.58/1811.48 c #Conflicts: 487000 | #Constraints: 58946
1806.58/1811.48 c #Conflicts: 488000 | #Constraints: 59946
1806.58/1811.48 c INPROCESSING
1806.58/1811.48 c GARBAGE COLLECT
1806.58/1811.48 c #Conflicts: 489000 | #Constraints: 47166
1806.58/1811.48 c #Conflicts: 490000 | #Constraints: 48166
1806.58/1811.48 c #Conflicts: 491000 | #Constraints: 49166
1806.58/1811.48 c #Conflicts: 492000 | #Constraints: 50166
1806.58/1811.48 c #Conflicts: 493000 | #Constraints: 51166
1806.58/1811.48 c #Conflicts: 494000 | #Constraints: 52166
1806.58/1811.48 c #Conflicts: 495000 | #Constraints: 53166
1806.58/1811.48 c #Conflicts: 496000 | #Constraints: 54166
1806.58/1811.48 c #Conflicts: 497000 | #Constraints: 55166
1806.58/1811.48 c #Conflicts: 498000 | #Constraints: 56166
1806.58/1811.48 c #Conflicts: 499000 | #Constraints: 57166
1806.58/1811.48 c #Conflicts: 500000 | #Constraints: 58166
1806.58/1811.48 c #Conflicts: 501000 | #Constraints: 59166
1806.58/1811.48 c #Conflicts: 502000 | #Constraints: 60166
1806.58/1811.48 c INPROCESSING
1806.58/1811.48 c GARBAGE COLLECT
1806.58/1811.48 c #Conflicts: 503000 | #Constraints: 47170
1806.58/1811.48 c #Conflicts: 504000 | #Constraints: 48170
1806.58/1811.48 c #Conflicts: 505000 | #Constraints: 49170
1806.58/1811.48 c #Conflicts: 506000 | #Constraints: 50170
1806.58/1811.48 c #Conflicts: 507000 | #Constraints: 51170
1806.58/1811.48 c #Conflicts: 508000 | #Constraints: 52170
1806.58/1811.48 c #Conflicts: 509000 | #Constraints: 53170
1806.58/1811.48 c #Conflicts: 510000 | #Constraints: 54170
2088.49/2094.02 c #Conflicts: 511000 | #Constraints: 55170
2088.49/2094.02 c #Conflicts: 512000 | #Constraints: 56170
2088.49/2094.02 c #Conflicts: 513000 | #Constraints: 57170
2088.49/2094.02 c #Conflicts: 514000 | #Constraints: 58170
2088.49/2094.02 c #Conflicts: 515000 | #Constraints: 59170
2088.49/2094.02 c #Conflicts: 516000 | #Constraints: 60170
2088.49/2094.02 c INPROCESSING
2088.49/2094.02 c GARBAGE COLLECT
2088.49/2094.02 c #Conflicts: 517000 | #Constraints: 46946
2088.49/2094.02 c #Conflicts: 518000 | #Constraints: 47946
2088.49/2094.02 c #Conflicts: 519000 | #Constraints: 48946
2088.49/2094.02 c #Conflicts: 520000 | #Constraints: 49946
2088.49/2094.02 c #Conflicts: 521000 | #Constraints: 50946
2088.49/2094.02 c #Conflicts: 522000 | #Constraints: 51946
2088.49/2094.02 c #Conflicts: 523000 | #Constraints: 52946
2088.49/2094.02 c #Conflicts: 524000 | #Constraints: 53946
2088.49/2094.02 c #Conflicts: 525000 | #Constraints: 54946
2088.49/2094.02 c #Conflicts: 526000 | #Constraints: 55946
2088.49/2094.02 c #Conflicts: 527000 | #Constraints: 56946
2088.49/2094.02 c #Conflicts: 528000 | #Constraints: 57946
2088.49/2094.02 c #Conflicts: 529000 | #Constraints: 58946
2088.49/2094.02 c #Conflicts: 530000 | #Constraints: 59946
2088.49/2094.02 c #Conflicts: 531000 | #Constraints: 60946
2088.49/2094.02 c INPROCESSING
2088.49/2094.02 c GARBAGE COLLECT
2088.49/2094.02 c #Conflicts: 532000 | #Constraints: 47523
2088.49/2094.02 c #Conflicts: 533000 | #Constraints: 48523
2088.49/2094.02 c #Conflicts: 534000 | #Constraints: 49523
2088.49/2094.02 c #Conflicts: 535000 | #Constraints: 50523
2088.49/2094.02 c #Conflicts: 536000 | #Constraints: 51523
2088.49/2094.02 c #Conflicts: 537000 | #Constraints: 52523
2088.49/2094.02 c #Conflicts: 538000 | #Constraints: 53523
2088.49/2094.02 c #Conflicts: 539000 | #Constraints: 54523
2088.49/2094.02 c #Conflicts: 540000 | #Constraints: 55523
2088.49/2094.02 c #Conflicts: 541000 | #Constraints: 56523
2088.49/2094.02 c #Conflicts: 542000 | #Constraints: 57523
2088.49/2094.02 c #Conflicts: 543000 | #Constraints: 58523
2088.49/2094.02 c #Conflicts: 544000 | #Constraints: 59523
2088.49/2094.02 c #Conflicts: 545000 | #Constraints: 60523
2088.49/2094.02 c #Conflicts: 546000 | #Constraints: 61523
2088.49/2094.02 c INPROCESSING
2088.49/2094.02 c GARBAGE COLLECT
2088.49/2094.02 c #Conflicts: 547000 | #Constraints: 47932
2088.49/2094.02 c #Conflicts: 548000 | #Constraints: 48932
2088.49/2094.02 c #Conflicts: 549000 | #Constraints: 49932
2088.49/2094.02 c #Conflicts: 550000 | #Constraints: 50932
2088.49/2094.02 c #Conflicts: 551000 | #Constraints: 51932
2088.49/2094.02 c #Conflicts: 552000 | #Constraints: 52932
2088.49/2094.02 c #Conflicts: 553000 | #Constraints: 53932
2088.49/2094.02 c #Conflicts: 554000 | #Constraints: 54932
2088.49/2094.02 c #Conflicts: 555000 | #Constraints: 55932
2088.49/2094.02 c #Conflicts: 556000 | #Constraints: 56932
2088.49/2094.02 c #Conflicts: 557000 | #Constraints: 57932
2088.49/2094.02 c #Conflicts: 558000 | #Constraints: 58932
2088.49/2094.02 c #Conflicts: 559000 | #Constraints: 59932
2088.49/2094.02 c #Conflicts: 560000 | #Constraints: 60932
2088.49/2094.02 c #Conflicts: 561000 | #Constraints: 61932
2088.49/2094.02 c INPROCESSING
2088.49/2094.02 c GARBAGE COLLECT
2088.49/2094.02 c #Conflicts: 562000 | #Constraints: 48121
2088.49/2094.02 c #Conflicts: 563000 | #Constraints: 49121
2088.49/2094.02 c #Conflicts: 564000 | #Constraints: 50121
2088.49/2094.02 c #Conflicts: 565000 | #Constraints: 51121
2088.49/2094.02 c #Conflicts: 566000 | #Constraints: 52121
2088.49/2094.02 c #Conflicts: 567000 | #Constraints: 53121
2088.49/2094.02 c #Conflicts: 568000 | #Constraints: 54121
2088.49/2094.02 c #Conflicts: 569000 | #Constraints: 55121
2088.49/2094.02 c #Conflicts: 570000 | #Constraints: 56121
2088.49/2094.02 c #Conflicts: 571000 | #Constraints: 57121
2088.49/2094.02 c #Conflicts: 572000 | #Constraints: 58121
2088.49/2094.02 c #Conflicts: 573000 | #Constraints: 59121
2088.49/2094.02 c #Conflicts: 574000 | #Constraints: 60121
2088.49/2094.02 c #Conflicts: 575000 | #Constraints: 61121
2088.49/2094.02 c #Conflicts: 576000 | #Constraints: 62121
2088.49/2094.02 c INPROCESSING
2088.49/2094.02 c GARBAGE COLLECT
2088.49/2094.02 c #Conflicts: 577000 | #Constraints: 48122
2088.49/2094.02 c #Conflicts: 578000 | #Constraints: 49122
2088.49/2094.02 c #Conflicts: 579000 | #Constraints: 50122
2088.49/2094.02 c #Conflicts: 580000 | #Constraints: 51122
2088.49/2094.02 c #Conflicts: 581000 | #Constraints: 52122
2088.49/2094.02 c #Conflicts: 582000 | #Constraints: 53122
2088.49/2094.02 c #Conflicts: 583000 | #Constraints: 54122
2088.49/2094.02 c #Conflicts: 584000 | #Constraints: 55122
2088.49/2094.02 c #Conflicts: 585000 | #Constraints: 56122
2088.49/2094.02 c #Conflicts: 586000 | #Constraints: 57122
2411.53/2417.92 c #Conflicts: 587000 | #Constraints: 58122
2411.53/2417.92 c #Conflicts: 588000 | #Constraints: 59122
2411.53/2417.92 c #Conflicts: 589000 | #Constraints: 60122
2411.53/2417.92 c #Conflicts: 590000 | #Constraints: 61122
2411.53/2417.92 c #Conflicts: 591000 | #Constraints: 62122
2411.53/2417.92 c INPROCESSING
2411.53/2417.92 c GARBAGE COLLECT
2411.53/2417.92 c #Conflicts: 592000 | #Constraints: 47941
2411.53/2417.92 c #Conflicts: 593000 | #Constraints: 48941
2411.53/2417.92 c #Conflicts: 594000 | #Constraints: 49941
2411.53/2417.92 c #Conflicts: 595000 | #Constraints: 50941
2411.53/2417.92 c #Conflicts: 596000 | #Constraints: 51941
2411.53/2417.92 c #Conflicts: 597000 | #Constraints: 52941
2411.53/2417.92 c #Conflicts: 598000 | #Constraints: 53941
2411.53/2417.92 c #Conflicts: 599000 | #Constraints: 54941
2411.53/2417.92 c #Conflicts: 600000 | #Constraints: 55941
2411.53/2417.92 c #Conflicts: 601000 | #Constraints: 56941
2411.53/2417.92 c #Conflicts: 602000 | #Constraints: 57941
2411.53/2417.92 c #Conflicts: 603000 | #Constraints: 58941
2411.53/2417.92 c #Conflicts: 604000 | #Constraints: 59941
2411.53/2417.92 c #Conflicts: 605000 | #Constraints: 60941
2411.53/2417.92 c #Conflicts: 606000 | #Constraints: 61941
2411.53/2417.92 c #Conflicts: 607000 | #Constraints: 62941
2411.53/2417.92 c INPROCESSING
2411.53/2417.92 c GARBAGE COLLECT
2411.53/2417.92 c #Conflicts: 608000 | #Constraints: 48536
2411.53/2417.92 c #Conflicts: 609000 | #Constraints: 49536
2411.53/2417.92 c #Conflicts: 610000 | #Constraints: 50536
2411.53/2417.92 c #Conflicts: 611000 | #Constraints: 51536
2411.53/2417.92 c #Conflicts: 612000 | #Constraints: 52536
2411.53/2417.92 c #Conflicts: 613000 | #Constraints: 53536
2411.53/2417.92 c #Conflicts: 614000 | #Constraints: 54536
2411.53/2417.92 c #Conflicts: 615000 | #Constraints: 55536
2411.53/2417.92 c #Conflicts: 616000 | #Constraints: 56536
2411.53/2417.92 c #Conflicts: 617000 | #Constraints: 57536
2411.53/2417.92 c #Conflicts: 618000 | #Constraints: 58536
2411.53/2417.92 c #Conflicts: 619000 | #Constraints: 59536
2411.53/2417.92 c #Conflicts: 620000 | #Constraints: 60536
2411.53/2417.92 c #Conflicts: 621000 | #Constraints: 61536
2411.53/2417.92 c #Conflicts: 622000 | #Constraints: 62536
2411.53/2417.92 c #Conflicts: 623000 | #Constraints: 63536
2411.53/2417.92 c INPROCESSING
2411.53/2417.92 c GARBAGE COLLECT
2411.53/2417.92 c #Conflicts: 624000 | #Constraints: 48926
2411.53/2417.92 c #Conflicts: 625000 | #Constraints: 49926
2411.53/2417.92 c #Conflicts: 626000 | #Constraints: 50926
2411.53/2417.92 c #Conflicts: 627000 | #Constraints: 51926
2411.53/2417.92 c #Conflicts: 628000 | #Constraints: 52926
2411.53/2417.92 c #Conflicts: 629000 | #Constraints: 53926
2411.53/2417.92 c #Conflicts: 630000 | #Constraints: 54926
2411.53/2417.92 c #Conflicts: 631000 | #Constraints: 55926
2411.53/2417.92 c #Conflicts: 632000 | #Constraints: 56926
2411.53/2417.92 c #Conflicts: 633000 | #Constraints: 57926
2411.53/2417.92 c #Conflicts: 634000 | #Constraints: 58926
2411.53/2417.92 c #Conflicts: 635000 | #Constraints: 59926
2411.53/2417.92 c #Conflicts: 636000 | #Constraints: 60926
2411.53/2417.92 c #Conflicts: 637000 | #Constraints: 61926
2411.53/2417.92 c #Conflicts: 638000 | #Constraints: 62926
2411.53/2417.92 c #Conflicts: 639000 | #Constraints: 63926
2411.53/2417.92 c INPROCESSING
2411.53/2417.92 c GARBAGE COLLECT
2411.53/2417.92 c #Conflicts: 640000 | #Constraints: 49143
2411.53/2417.92 c #Conflicts: 641000 | #Constraints: 50143
2411.53/2417.92 c #Conflicts: 642000 | #Constraints: 51143
2411.53/2417.92 c #Conflicts: 643000 | #Constraints: 52143
2411.53/2417.92 c #Conflicts: 644000 | #Constraints: 53143
2411.53/2417.92 c #Conflicts: 645000 | #Constraints: 54143
2411.53/2417.92 c #Conflicts: 646000 | #Constraints: 55143
2411.53/2417.92 c #Conflicts: 647000 | #Constraints: 56143
2411.53/2417.92 c #Conflicts: 648000 | #Constraints: 57143
2411.53/2417.92 c #Conflicts: 649000 | #Constraints: 58143
2411.53/2417.92 c #Conflicts: 650000 | #Constraints: 59143
2411.53/2417.92 c #Conflicts: 651000 | #Constraints: 60143
2411.53/2417.92 c #Conflicts: 652000 | #Constraints: 61143
2411.53/2417.92 c #Conflicts: 653000 | #Constraints: 62143
2411.53/2417.92 c #Conflicts: 654000 | #Constraints: 63143
2411.53/2417.92 c #Conflicts: 655000 | #Constraints: 64143
2411.53/2417.92 c INPROCESSING
2411.53/2417.92 c GARBAGE COLLECT
2411.53/2417.92 c #Conflicts: 656000 | #Constraints: 49138
2411.53/2417.92 c #Conflicts: 657000 | #Constraints: 50138
2411.53/2417.92 c #Conflicts: 658000 | #Constraints: 51138
2411.53/2417.92 c #Conflicts: 659000 | #Constraints: 52138
2411.53/2417.92 c #Conflicts: 660000 | #Constraints: 53138
2411.53/2417.92 c #Conflicts: 661000 | #Constraints: 54138
2741.91/2749.14 c #Conflicts: 662000 | #Constraints: 55138
2741.91/2749.14 c #Conflicts: 663000 | #Constraints: 56138
2741.91/2749.14 c #Conflicts: 664000 | #Constraints: 57138
2741.91/2749.14 c #Conflicts: 665000 | #Constraints: 58138
2741.91/2749.14 c #Conflicts: 666000 | #Constraints: 59138
2741.91/2749.14 c #Conflicts: 667000 | #Constraints: 60138
2741.91/2749.14 c #Conflicts: 668000 | #Constraints: 61138
2741.91/2749.14 c #Conflicts: 669000 | #Constraints: 62138
2741.91/2749.14 c #Conflicts: 670000 | #Constraints: 63138
2741.91/2749.14 c #Conflicts: 671000 | #Constraints: 64138
2741.91/2749.14 c INPROCESSING
2741.91/2749.14 c GARBAGE COLLECT
2741.91/2749.14 c #Conflicts: 672000 | #Constraints: 48923
2741.91/2749.14 c #Conflicts: 673000 | #Constraints: 49923
2741.91/2749.14 c #Conflicts: 674000 | #Constraints: 50923
2741.91/2749.14 c #Conflicts: 675000 | #Constraints: 51923
2741.91/2749.14 c #Conflicts: 676000 | #Constraints: 52923
2741.91/2749.14 c #Conflicts: 677000 | #Constraints: 53923
2741.91/2749.14 c #Conflicts: 678000 | #Constraints: 54923
2741.91/2749.14 c #Conflicts: 679000 | #Constraints: 55923
2741.91/2749.14 c #Conflicts: 680000 | #Constraints: 56923
2741.91/2749.14 c #Conflicts: 681000 | #Constraints: 57923
2741.91/2749.14 c #Conflicts: 682000 | #Constraints: 58923
2741.91/2749.14 c #Conflicts: 683000 | #Constraints: 59923
2741.91/2749.14 c #Conflicts: 684000 | #Constraints: 60923
2741.91/2749.14 c #Conflicts: 685000 | #Constraints: 61923
2741.91/2749.14 c #Conflicts: 686000 | #Constraints: 62923
2741.91/2749.14 c #Conflicts: 687000 | #Constraints: 63923
2741.91/2749.14 c #Conflicts: 688000 | #Constraints: 64923
2741.91/2749.14 c INPROCESSING
2741.91/2749.14 c GARBAGE COLLECT
2741.91/2749.14 c #Conflicts: 689000 | #Constraints: 49516
2741.91/2749.14 c #Conflicts: 690000 | #Constraints: 50516
2741.91/2749.14 c #Conflicts: 691000 | #Constraints: 51516
2741.91/2749.14 c #Conflicts: 692000 | #Constraints: 52516
2741.91/2749.14 c #Conflicts: 693000 | #Constraints: 53516
2741.91/2749.14 c #Conflicts: 694000 | #Constraints: 54516
2741.91/2749.14 c #Conflicts: 695000 | #Constraints: 55516
2741.91/2749.14 c #Conflicts: 696000 | #Constraints: 56516
2741.91/2749.14 c #Conflicts: 697000 | #Constraints: 57516
2741.91/2749.14 c #Conflicts: 698000 | #Constraints: 58516
2741.91/2749.14 c #Conflicts: 699000 | #Constraints: 59516
2741.91/2749.14 c #Conflicts: 700000 | #Constraints: 60516
2741.91/2749.14 c #Conflicts: 701000 | #Constraints: 61516
2741.91/2749.14 c #Conflicts: 702000 | #Constraints: 62516
2741.91/2749.14 c #Conflicts: 703000 | #Constraints: 63516
2741.91/2749.14 c #Conflicts: 704000 | #Constraints: 64516
2741.91/2749.14 c #Conflicts: 705000 | #Constraints: 65516
2741.91/2749.14 c INPROCESSING
2741.91/2749.14 c GARBAGE COLLECT
2741.91/2749.14 c #Conflicts: 706000 | #Constraints: 49931
2741.91/2749.14 c #Conflicts: 707000 | #Constraints: 50931
2741.91/2749.14 c #Conflicts: 708000 | #Constraints: 51931
2741.91/2749.14 c #Conflicts: 709000 | #Constraints: 52931
2741.91/2749.14 c #Conflicts: 710000 | #Constraints: 53931
2741.91/2749.14 c #Conflicts: 711000 | #Constraints: 54931
2741.91/2749.14 c #Conflicts: 712000 | #Constraints: 55931
2741.91/2749.14 c #Conflicts: 713000 | #Constraints: 56931
2741.91/2749.14 c #Conflicts: 714000 | #Constraints: 57931
2741.91/2749.14 c #Conflicts: 715000 | #Constraints: 58931
2741.91/2749.14 c #Conflicts: 716000 | #Constraints: 59931
2741.91/2749.14 c #Conflicts: 717000 | #Constraints: 60931
2741.91/2749.14 c #Conflicts: 718000 | #Constraints: 61931
2741.91/2749.14 c #Conflicts: 719000 | #Constraints: 62931
2741.91/2749.14 c #Conflicts: 720000 | #Constraints: 63931
2741.91/2749.14 c #Conflicts: 721000 | #Constraints: 64931
2741.91/2749.14 c #Conflicts: 722000 | #Constraints: 65931
2741.91/2749.14 c INPROCESSING
2741.91/2749.14 c GARBAGE COLLECT
2741.91/2749.14 c #Conflicts: 723000 | #Constraints: 50141
2741.91/2749.14 c #Conflicts: 724000 | #Constraints: 51141
2741.91/2749.14 c #Conflicts: 725000 | #Constraints: 52141
2741.91/2749.14 c #Conflicts: 726000 | #Constraints: 53141
2741.91/2749.14 c #Conflicts: 727000 | #Constraints: 54141
2741.91/2749.14 c #Conflicts: 728000 | #Constraints: 55141
2741.91/2749.14 c #Conflicts: 729000 | #Constraints: 56141
2741.91/2749.14 c #Conflicts: 730000 | #Constraints: 57141
2741.91/2749.14 c #Conflicts: 731000 | #Constraints: 58141
2741.91/2749.14 c #Conflicts: 732000 | #Constraints: 59141
2741.91/2749.14 c #Conflicts: 733000 | #Constraints: 60141
2741.91/2749.14 c #Conflicts: 734000 | #Constraints: 61141
2741.91/2749.14 c #Conflicts: 735000 | #Constraints: 62141
2741.91/2749.14 c #Conflicts: 736000 | #Constraints: 63141
2741.91/2749.14 c #Conflicts: 737000 | #Constraints: 64141
3048.41/3056.40 c #Conflicts: 738000 | #Constraints: 65141
3048.41/3056.40 c #Conflicts: 739000 | #Constraints: 66141
3048.41/3056.40 c INPROCESSING
3048.41/3056.40 c GARBAGE COLLECT
3048.41/3056.40 c #Conflicts: 740000 | #Constraints: 50132
3048.41/3056.40 c #Conflicts: 741000 | #Constraints: 51132
3048.41/3056.40 c #Conflicts: 742000 | #Constraints: 52132
3048.41/3056.40 c #Conflicts: 743000 | #Constraints: 53132
3048.41/3056.40 c #Conflicts: 744000 | #Constraints: 54132
3048.41/3056.40 c #Conflicts: 745000 | #Constraints: 55132
3048.41/3056.40 c #Conflicts: 746000 | #Constraints: 56132
3048.41/3056.40 c #Conflicts: 747000 | #Constraints: 57132
3048.41/3056.40 c #Conflicts: 748000 | #Constraints: 58132
3048.41/3056.40 c #Conflicts: 749000 | #Constraints: 59132
3048.41/3056.40 c #Conflicts: 750000 | #Constraints: 60132
3048.41/3056.40 c #Conflicts: 751000 | #Constraints: 61132
3048.41/3056.40 c #Conflicts: 752000 | #Constraints: 62132
3048.41/3056.40 c #Conflicts: 753000 | #Constraints: 63132
3048.41/3056.40 c #Conflicts: 754000 | #Constraints: 64132
3048.41/3056.40 c #Conflicts: 755000 | #Constraints: 65132
3048.41/3056.40 c #Conflicts: 756000 | #Constraints: 66132
3048.41/3056.40 c INPROCESSING
3048.41/3056.40 c GARBAGE COLLECT
3048.41/3056.40 c #Conflicts: 757000 | #Constraints: 49916
3048.41/3056.40 c #Conflicts: 758000 | #Constraints: 50916
3048.41/3056.40 c #Conflicts: 759000 | #Constraints: 51916
3048.41/3056.40 c #Conflicts: 760000 | #Constraints: 52916
3048.41/3056.40 c #Conflicts: 761000 | #Constraints: 53916
3048.41/3056.40 c #Conflicts: 762000 | #Constraints: 54916
3048.41/3056.40 c #Conflicts: 763000 | #Constraints: 55916
3048.41/3056.40 c #Conflicts: 764000 | #Constraints: 56916
3048.41/3056.40 c #Conflicts: 765000 | #Constraints: 57916
3048.41/3056.40 c #Conflicts: 766000 | #Constraints: 58916
3048.41/3056.40 c #Conflicts: 767000 | #Constraints: 59916
3048.41/3056.40 c #Conflicts: 768000 | #Constraints: 60916
3048.41/3056.40 c #Conflicts: 769000 | #Constraints: 61916
3048.41/3056.40 c #Conflicts: 770000 | #Constraints: 62916
3048.41/3056.40 c #Conflicts: 771000 | #Constraints: 63916
3048.41/3056.40 c #Conflicts: 772000 | #Constraints: 64916
3048.41/3056.40 c #Conflicts: 773000 | #Constraints: 65916
3048.41/3056.40 c #Conflicts: 774000 | #Constraints: 66916
3048.41/3056.40 c INPROCESSING
3048.41/3056.40 c GARBAGE COLLECT
3048.41/3056.40 c #Conflicts: 775000 | #Constraints: 50510
3048.41/3056.40 c #Conflicts: 776000 | #Constraints: 51510
3048.41/3056.40 c #Conflicts: 777000 | #Constraints: 52510
3048.41/3056.40 c #Conflicts: 778000 | #Constraints: 53510
3048.41/3056.40 c #Conflicts: 779000 | #Constraints: 54510
3048.41/3056.40 c #Conflicts: 780000 | #Constraints: 55510
3048.41/3056.40 c #Conflicts: 781000 | #Constraints: 56510
3048.41/3056.40 c #Conflicts: 782000 | #Constraints: 57510
3048.41/3056.40 c #Conflicts: 783000 | #Constraints: 58510
3048.41/3056.40 c #Conflicts: 784000 | #Constraints: 59510
3048.41/3056.40 c #Conflicts: 785000 | #Constraints: 60510
3048.41/3056.40 c #Conflicts: 786000 | #Constraints: 61510
3048.41/3056.40 c #Conflicts: 787000 | #Constraints: 62510
3048.41/3056.40 c #Conflicts: 788000 | #Constraints: 63510
3048.41/3056.40 c #Conflicts: 789000 | #Constraints: 64510
3048.41/3056.40 c #Conflicts: 790000 | #Constraints: 65510
3048.41/3056.40 c #Conflicts: 791000 | #Constraints: 66510
3048.41/3056.40 c #Conflicts: 792000 | #Constraints: 67510
3048.41/3056.40 c INPROCESSING
3048.41/3056.40 c GARBAGE COLLECT
3048.41/3056.40 c #Conflicts: 793000 | #Constraints: 50907
3048.41/3056.40 c #Conflicts: 794000 | #Constraints: 51907
3048.41/3056.40 c #Conflicts: 795000 | #Constraints: 52907
3048.41/3056.40 c #Conflicts: 796000 | #Constraints: 53907
3048.41/3056.40 c #Conflicts: 797000 | #Constraints: 54907
3048.41/3056.40 c #Conflicts: 798000 | #Constraints: 55907
3048.41/3056.40 c #Conflicts: 799000 | #Constraints: 56907
3048.41/3056.40 c #Conflicts: 800000 | #Constraints: 57907
3048.41/3056.40 c #Conflicts: 801000 | #Constraints: 58907
3048.41/3056.40 c #Conflicts: 802000 | #Constraints: 59907
3048.41/3056.40 c #Conflicts: 803000 | #Constraints: 60907
3048.41/3056.40 c #Conflicts: 804000 | #Constraints: 61907
3048.41/3056.40 c #Conflicts: 805000 | #Constraints: 62907
3048.41/3056.40 c #Conflicts: 806000 | #Constraints: 63907
3048.41/3056.40 c #Conflicts: 807000 | #Constraints: 64907
3048.41/3056.40 c #Conflicts: 808000 | #Constraints: 65907
3048.41/3056.40 c #Conflicts: 809000 | #Constraints: 66907
3048.41/3056.40 c #Conflicts: 810000 | #Constraints: 67907
3048.41/3056.40 c INPROCESSING
3048.41/3056.40 c GARBAGE COLLECT
3048.41/3056.40 c #Conflicts: 811000 | #Constraints: 51099
3048.41/3056.40 c #Conflicts: 812000 | #Constraints: 52099
3048.41/3056.40 c #Conflicts: 813000 | #Constraints: 53099
3322.91/3331.64 c #Conflicts: 814000 | #Constraints: 54099
3322.91/3331.64 c #Conflicts: 815000 | #Constraints: 55099
3322.91/3331.64 c #Conflicts: 816000 | #Constraints: 56099
3322.91/3331.64 c #Conflicts: 817000 | #Constraints: 57099
3322.91/3331.64 c #Conflicts: 818000 | #Constraints: 58099
3322.91/3331.64 c #Conflicts: 819000 | #Constraints: 59099
3322.91/3331.64 c #Conflicts: 820000 | #Constraints: 60099
3322.91/3331.64 c #Conflicts: 821000 | #Constraints: 61099
3322.91/3331.64 c #Conflicts: 822000 | #Constraints: 62099
3322.91/3331.64 c #Conflicts: 823000 | #Constraints: 63099
3322.91/3331.64 c #Conflicts: 824000 | #Constraints: 64099
3322.91/3331.64 c #Conflicts: 825000 | #Constraints: 65099
3322.91/3331.64 c #Conflicts: 826000 | #Constraints: 66099
3322.91/3331.64 c #Conflicts: 827000 | #Constraints: 67099
3322.91/3331.64 c #Conflicts: 828000 | #Constraints: 68099
3322.91/3331.64 c INPROCESSING
3322.91/3331.64 c GARBAGE COLLECT
3322.91/3331.64 c #Conflicts: 829000 | #Constraints: 51109
3322.91/3331.64 c #Conflicts: 830000 | #Constraints: 52109
3322.91/3331.64 c #Conflicts: 831000 | #Constraints: 53109
3322.91/3331.64 c #Conflicts: 832000 | #Constraints: 54109
3322.91/3331.64 c #Conflicts: 833000 | #Constraints: 55109
3322.91/3331.64 c #Conflicts: 834000 | #Constraints: 56109
3322.91/3331.64 c #Conflicts: 835000 | #Constraints: 57109
3322.91/3331.64 c #Conflicts: 836000 | #Constraints: 58109
3322.91/3331.64 c #Conflicts: 837000 | #Constraints: 59109
3322.91/3331.64 c #Conflicts: 838000 | #Constraints: 60109
3322.91/3331.64 c #Conflicts: 839000 | #Constraints: 61109
3322.91/3331.64 c #Conflicts: 840000 | #Constraints: 62109
3322.91/3331.64 c #Conflicts: 841000 | #Constraints: 63109
3322.91/3331.64 c #Conflicts: 842000 | #Constraints: 64109
3322.91/3331.64 c #Conflicts: 843000 | #Constraints: 65109
3322.91/3331.64 c #Conflicts: 844000 | #Constraints: 66109
3322.91/3331.64 c #Conflicts: 845000 | #Constraints: 67109
3322.91/3331.64 c #Conflicts: 846000 | #Constraints: 68109
3322.91/3331.64 c INPROCESSING
3322.91/3331.64 c GARBAGE COLLECT
3322.91/3331.64 c #Conflicts: 847000 | #Constraints: 50919
3322.91/3331.64 c #Conflicts: 848000 | #Constraints: 51919
3322.91/3331.64 c #Conflicts: 849000 | #Constraints: 52919
3322.91/3331.64 c #Conflicts: 850000 | #Constraints: 53919
3322.91/3331.64 c #Conflicts: 851000 | #Constraints: 54919
3322.91/3331.64 c #Conflicts: 852000 | #Constraints: 55919
3322.91/3331.64 c #Conflicts: 853000 | #Constraints: 56919
3322.91/3331.64 c #Conflicts: 854000 | #Constraints: 57919
3322.91/3331.64 c #Conflicts: 855000 | #Constraints: 58919
3322.91/3331.64 c #Conflicts: 856000 | #Constraints: 59919
3322.91/3331.64 c #Conflicts: 857000 | #Constraints: 60919
3322.91/3331.64 c #Conflicts: 858000 | #Constraints: 61919
3322.91/3331.64 c #Conflicts: 859000 | #Constraints: 62919
3322.91/3331.64 c #Conflicts: 860000 | #Constraints: 63919
3322.91/3331.64 c #Conflicts: 861000 | #Constraints: 64919
3322.91/3331.64 c #Conflicts: 862000 | #Constraints: 65919
3322.91/3331.64 c #Conflicts: 863000 | #Constraints: 66919
3322.91/3331.64 c #Conflicts: 864000 | #Constraints: 67919
3322.91/3331.64 c #Conflicts: 865000 | #Constraints: 68919
3322.91/3331.64 c INPROCESSING
3322.91/3331.64 c GARBAGE COLLECT
3322.91/3331.64 c #Conflicts: 866000 | #Constraints: 51531
3322.91/3331.64 c #Conflicts: 867000 | #Constraints: 52531
3322.91/3331.64 c #Conflicts: 868000 | #Constraints: 53531
3322.91/3331.64 c #Conflicts: 869000 | #Constraints: 54531
3322.91/3331.64 c #Conflicts: 870000 | #Constraints: 55531
3322.91/3331.64 c #Conflicts: 871000 | #Constraints: 56531
3322.91/3331.64 c #Conflicts: 872000 | #Constraints: 57531
3322.91/3331.64 c #Conflicts: 873000 | #Constraints: 58531
3322.91/3331.64 c #Conflicts: 874000 | #Constraints: 59531
3322.91/3331.64 c #Conflicts: 875000 | #Constraints: 60531
3322.91/3331.64 c #Conflicts: 876000 | #Constraints: 61531
3322.91/3331.64 c #Conflicts: 877000 | #Constraints: 62531
3322.91/3331.64 c #Conflicts: 878000 | #Constraints: 63531
3322.91/3331.64 c #Conflicts: 879000 | #Constraints: 64531
3322.91/3331.64 c #Conflicts: 880000 | #Constraints: 65531
3322.91/3331.64 c #Conflicts: 881000 | #Constraints: 66531
3322.91/3331.64 c #Conflicts: 882000 | #Constraints: 67531
3322.91/3331.64 c #Conflicts: 883000 | #Constraints: 68531
3322.91/3331.64 c #Conflicts: 884000 | #Constraints: 69531
3322.91/3331.64 c INPROCESSING
3322.91/3331.64 c GARBAGE COLLECT
3322.91/3331.64 c #Conflicts: 885000 | #Constraints: 51939
3322.91/3331.64 c #Conflicts: 886000 | #Constraints: 52939
3322.91/3331.64 c #Conflicts: 887000 | #Constraints: 53939
3322.91/3331.64 c #Conflicts: 888000 | #Constraints: 54939
3322.91/3331.64 c #Conflicts: 889000 | #Constraints: 55939
3600.05/3609.40 c #Conflicts: 890000 | #Constraints: 56939
3600.05/3609.40 c #Conflicts: 891000 | #Constraints: 57939
3600.05/3609.40 c #Conflicts: 892000 | #Constraints: 58939
3600.05/3609.40 c #Conflicts: 893000 | #Constraints: 59939
3600.05/3609.40 c #Conflicts: 894000 | #Constraints: 60939
3600.05/3609.40 c #Conflicts: 895000 | #Constraints: 61939
3600.05/3609.40 c #Conflicts: 896000 | #Constraints: 62939
3600.05/3609.40 c #Conflicts: 897000 | #Constraints: 63939
3600.05/3609.40 c #Conflicts: 898000 | #Constraints: 64939
3600.05/3609.40 c #Conflicts: 899000 | #Constraints: 65939
3600.05/3609.40 c #Conflicts: 900000 | #Constraints: 66939
3600.05/3609.40 c #Conflicts: 901000 | #Constraints: 67939
3600.05/3609.40 c #Conflicts: 902000 | #Constraints: 68939
3600.05/3609.40 c #Conflicts: 903000 | #Constraints: 69939
3600.05/3609.40 c INPROCESSING
3600.05/3609.40 c GARBAGE COLLECT
3600.05/3609.40 c #Conflicts: 904000 | #Constraints: 52134
3600.05/3609.40 c #Conflicts: 905000 | #Constraints: 53134
3600.05/3609.40 c #Conflicts: 906000 | #Constraints: 54134
3600.05/3609.40 c #Conflicts: 907000 | #Constraints: 55134
3600.05/3609.40 c #Conflicts: 908000 | #Constraints: 56134
3600.05/3609.40 c #Conflicts: 909000 | #Constraints: 57134
3600.05/3609.40 c #Conflicts: 910000 | #Constraints: 58134
3600.05/3609.40 c #Conflicts: 911000 | #Constraints: 59134
3600.05/3609.40 c #Conflicts: 912000 | #Constraints: 60134
3600.05/3609.40 c #Conflicts: 913000 | #Constraints: 61134
3600.05/3609.40 c #Conflicts: 914000 | #Constraints: 62134
3600.05/3609.40 c #Conflicts: 915000 | #Constraints: 63134
3600.05/3609.40 c #Conflicts: 916000 | #Constraints: 64134
3600.05/3609.40 c #Conflicts: 917000 | #Constraints: 65134
3600.05/3609.40 c #Conflicts: 918000 | #Constraints: 66134
3600.05/3609.40 c #Conflicts: 919000 | #Constraints: 67134
3600.05/3609.40 c #Conflicts: 920000 | #Constraints: 68134
3600.05/3609.40 c #Conflicts: 921000 | #Constraints: 69134
3600.05/3609.40 c #Conflicts: 922000 | #Constraints: 70134
3600.05/3609.40 c INPROCESSING
3600.05/3609.40 c GARBAGE COLLECT
3600.05/3609.40 c #Conflicts: 923000 | #Constraints: 52123
3600.05/3609.40 c #Conflicts: 924000 | #Constraints: 53123
3600.05/3609.40 c #Conflicts: 925000 | #Constraints: 54123
3600.05/3609.40 c #Conflicts: 926000 | #Constraints: 55123
3600.05/3609.40 c #Conflicts: 927000 | #Constraints: 56123
3600.05/3609.40 c #Conflicts: 928000 | #Constraints: 57123
3600.05/3609.40 c #Conflicts: 929000 | #Constraints: 58123
3600.05/3609.40 c #Conflicts: 930000 | #Constraints: 59123
3600.05/3609.40 c #Conflicts: 931000 | #Constraints: 60123
3600.05/3609.40 c #Conflicts: 932000 | #Constraints: 61123
3600.05/3609.40 c #Conflicts: 933000 | #Constraints: 62123
3600.05/3609.40 c #Conflicts: 934000 | #Constraints: 63123
3600.05/3609.40 c #Conflicts: 935000 | #Constraints: 64123
3600.05/3609.40 c #Conflicts: 936000 | #Constraints: 65123
3600.05/3609.40 c #Conflicts: 937000 | #Constraints: 66123
3600.05/3609.40 c #Conflicts: 938000 | #Constraints: 67123
3600.05/3609.40 c #Conflicts: 939000 | #Constraints: 68123
3600.05/3609.40 c #Conflicts: 940000 | #Constraints: 69123
3600.05/3609.40 c #Conflicts: 941000 | #Constraints: 70123
3600.05/3609.40 c INPROCESSING
3600.05/3609.40 c GARBAGE COLLECT
3600.05/3609.40 c #Conflicts: 942000 | #Constraints: 51932
3600.05/3609.40 c #Conflicts: 943000 | #Constraints: 52932
3600.05/3609.40 c #Conflicts: 944000 | #Constraints: 53932
3600.05/3609.40 c #Conflicts: 945000 | #Constraints: 54932
3600.05/3609.40 c #Conflicts: 946000 | #Constraints: 55932
3600.05/3609.40 c #Conflicts: 947000 | #Constraints: 56932
3600.05/3609.40 c #Conflicts: 948000 | #Constraints: 57932
3600.05/3609.40 c #Conflicts: 949000 | #Constraints: 58932
3600.05/3609.40 c #Conflicts: 950000 | #Constraints: 59932
3600.05/3609.40 c #Conflicts: 951000 | #Constraints: 60932
3600.05/3609.40 c #Conflicts: 952000 | #Constraints: 61932
3600.05/3609.40 c #Conflicts: 953000 | #Constraints: 62932
3600.05/3609.40 c #Conflicts: 954000 | #Constraints: 63932
3600.05/3609.40 c #Conflicts: 955000 | #Constraints: 64932
3600.05/3609.40 c #Conflicts: 956000 | #Constraints: 65932
3600.05/3609.40 c #Conflicts: 957000 | #Constraints: 66932
3600.05/3609.40 c #Conflicts: 958000 | #Constraints: 67932
3600.05/3609.40 c #Conflicts: 959000 | #Constraints: 68932
3600.05/3609.40 c #Conflicts: 960000 | #Constraints: 69932
3600.05/3609.40 c Program interrupted by user.
3600.05/3609.40 c cpu time 3590.18 s
3600.05/3609.40 c deterministic time 811622017234 8.12e+11
3600.05/3609.40 c optimization time 79.662 s
3600.05/3609.40 c total solve time 3211.17 s
3600.05/3609.40 c core-guided solve time 3211.17 s
3600.05/3609.40 c propagation time 2256.28 s
3600.05/3609.40 c conflict analysis time 947.725 s
3600.05/3609.40 c propagations 603325522
3600.05/3609.40 c resolve steps 36132248
3600.05/3609.40 c decisions 6263490
3600.05/3609.40 c conflicts 960884
3600.05/3609.40 c restarts 2044
3600.05/3609.40 c inprocessing phases 88
3600.05/3609.40 c input clauses 32242
3600.05/3609.40 c input cardinalities 6
3600.05/3609.40 c input general constraints 0
3600.05/3609.40 c input average constraint length 2.68
3600.05/3609.40 c input average constraint degree 1.05
3600.05/3609.40 c learned clauses 692209
3600.05/3609.40 c learned cardinalities 7064
3600.05/3609.40 c learned general constraints 261614
3600.05/3609.40 c learned average constraint length 2099.51
3600.05/3609.40 c learned average constraint degree 3075934.35
3600.05/3609.40 c watched constraints 221726
3600.05/3609.40 c counting constraints 39888
3600.05/3609.40 c gcd simplifications 6009
3600.05/3609.40 c detected cardinalities 12
3600.05/3609.40 c weakened non-implied lits 342355325
3600.05/3609.40 c weakened non-implying lits 160330
3600.05/3609.40 c original variables 8901
3600.05/3609.40 c clausal propagations 535107427
3600.05/3609.40 c cardinality propagations 18273829
3600.05/3609.40 c watched propagations 13122839
3600.05/3609.40 c counting propagations 33012585
3600.05/3609.40 c watch lookups 15309850227
3600.05/3609.40 c watch backjump lookups 11999920323
3600.05/3609.40 c watch checks 718985660650
3600.05/3609.40 c propagation checks 58697340920
3600.05/3609.40 c constraint additions 5409112034
3600.05/3609.40 c trail pops 610544067
3600.05/3609.40 c formula constraints 32242
3600.05/3609.40 c learned constraints 960887
3600.05/3609.40 c bound constraints 6
3600.05/3609.40 c core-guided constraints 0
3600.05/3609.40 c encountered formula constraints 33056368
3600.05/3609.40 c encountered learned constraints 4036671
3600.05/3609.40 c encountered bound constraints 93
3600.05/3609.40 c encountered core-guided constraints 0
3600.05/3609.40 c LP total time 0 s
3600.05/3609.40 c LP solve time 0 s
3600.05/3609.40 c LP constraints added 0
3600.05/3609.40 c LP constraints removed 0
3600.05/3609.40 c LP pivots internal 0
3600.05/3609.40 c LP pivots root 0
3600.05/3609.40 c LP calls 0
3600.05/3609.40 c LP optimalities 0
3600.05/3609.40 c LP no pivot count 0
3600.05/3609.40 c LP infeasibilities 0
3600.05/3609.40 c LP valid Farkas constraints 0
3600.05/3609.40 c LP learned Farkas constraints 0
3600.05/3609.40 c LP basis resets 0
3600.05/3609.40 c LP cycling count 0
3600.05/3609.40 c LP singular count 0
3600.05/3609.40 c LP no primal count 0
3600.05/3609.40 c LP no farkas count 0
3600.05/3609.40 c LP other issue count 0
3600.05/3609.40 c LP Gomory cuts 0
3600.05/3609.40 c LP learned cuts 0
3600.05/3609.40 c LP deleted cuts 0
3600.05/3609.40 c LP encountered Gomory constraints 0
3600.05/3609.40 c LP encountered Farkas constraints 0
3600.05/3609.40 c LP encountered learned Farkas constraints 0
3600.05/3609.40 c CG auxiliary variables introduced 0
3600.05/3609.40 c CG solutions found 0
3600.05/3609.40 c CG cores constructed 5
3600.05/3609.40 c CG core cardinality constraints returned 0
3600.05/3609.40 c CG unit cores 0
3600.05/3609.40 c CG single cores 5
3600.05/3609.40 c CG blocks removed during cardinality reduction 0
3600.05/3609.40 c CG first core best 0
3600.05/3609.40 c CG decision core best 0
3600.05/3609.40 c CG core reduction tie 0
3600.05/3609.40 c CG core degree average 1.00
3600.05/3609.40 c CG core slack average 82.20
3600.05/3609.40 c CG exhausted 0
3600.05/3609.40 c CG exhaust time 0 s
3600.05/3609.40 c CG trimmed 0
3600.05/3609.40 c CG trim time 0.001059 s
3600.05/3609.40 c CG minimized 0
3600.05/3609.40 c CG minimize time 0 s
3600.05/3609.40 c CG am1 prop time 0.00156 s
3600.05/3609.40 c CG # am1s reformulated 0
3600.05/3609.40 c CG lower bound derived from am1s 0
3600.05/3609.40 c CG # clausal cores 5
3600.05/3609.40 c CG # cardinality cores 0
3600.05/3609.40 c CG # pb cores 0
3600.05/3609.40 c CG # pb reforms 0
3600.05/3609.40 c CG # cores discarded because of pb reform 0
3600.05/3609.40 d LOWERBOUND 5
3600.05/3609.40 d NCORES 5
3600.05/3609.40 d NPBCORES 0
3600.05/3609.40 d NPBREFORM 0
3600.05/3609.40 d NTRIMMED 0
3600.05/3609.40 d NEXHAUSTED 0
3600.05/3609.40 d NAM1S 0
3600.05/3609.40 d AM1LB 0
3600.05/3609.40 c [Papilo Statistics]
3600.05/3609.40 c prepro time 0.0999127s
3600.05/3609.40 c # tsx applied 51
3600.05/3609.40 c # tsx conflicts 0
3600.05/3609.40 c # bound changes 5
3600.05/3609.40 c # side changes 34
3600.05/3609.40 c # coef changes 119
3600.05/3609.40 c # rounds 2
3600.05/3609.40 c # deted vars 22
3600.05/3609.40 c # deted constrs 56
3600.05/3609.40 c # consecutive rounds of only bound changes 0
3600.05/3609.40 s UNKNOWN
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: 64096 MiB (62661 MiB free)
memory of node 1: 64473 MiB (61607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454811-1721472110/watcher-4454811-1721472110 -o /tmp/evaluation-result-4454811-1721472110/solver-4454811-1721472110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081701 --watchdog 3760 mixed-bag HOME/instance-4454811-1721472110.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1081751, runsolver pid=1081748
[startup+0.100106 s]*
/proc/loadavg: 1.13 1.12 1.67 6/235 1081755
/proc/meminfo: memFree=127253888/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=78636 memory=11092 CPUtime=0.09 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 1900 0 0 0 9 0 0 0 20 0 1 0 199366829 80523264 2773 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 19659 2773 1601 3002 0 3947 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78636 KiB
Current children cumulated memory: 11092 KiB
[startup+0.2146 s]*
/proc/loadavg: 1.13 1.12 1.67 6/233 1081761
/proc/meminfo: memFree=127219104/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=102436 memory=26556 CPUtime=0.21 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 6304 0 0 0 18 3 0 0 20 0 1 0 199366829 104894464 6639 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 25609 6639 1722 3002 0 9358 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 102436 KiB
Current children cumulated memory: 26556 KiB
[startup+0.315987 s]*
/proc/loadavg: 1.13 1.12 1.67 6/241 1081777
/proc/meminfo: memFree=127168236/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=102836 memory=31784 CPUtime=0.31 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 7288 0 0 0 28 3 0 0 20 0 1 0 199366829 105304064 7946 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 25709 7946 2704 3002 0 9458 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102836 KiB
Current children cumulated memory: 31784 KiB
[startup+0.700354 s]
/proc/loadavg: 1.28 1.15 1.67 6/240 1081798
/proc/meminfo: memFree=127033360/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=182888 memory=113128 CPUtime=0.67 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 26725 0 0 0 57 10 0 0 20 0 1 0 199366829 187277312 28282 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 45722 28282 3776 3002 0 29471 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 182888 KiB
Current children cumulated memory: 113128 KiB
[startup+1.50035 s]
/proc/loadavg: 1.28 1.15 1.67 6/244 1081809
/proc/meminfo: memFree=126914840/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=233648 memory=152792 CPUtime=1.48 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 37941 0 0 0 135 13 0 0 20 0 1 0 199366829 239255552 38198 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 58412 38198 3900 3002 0 42161 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 233648 KiB
Current children cumulated memory: 152792 KiB
[startup+3.11487 s]
/proc/loadavg: 1.28 1.15 1.67 6/244 1081809
/proc/meminfo: memFree=126088096/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=317108 memory=233116 CPUtime=3.08 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 57981 0 0 0 292 16 0 0 20 0 1 0 199366829 324718592 58279 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 79277 58279 4043 3002 0 63026 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 317108 KiB
Current children cumulated memory: 233116 KiB
[startup+6.30031 s]
/proc/loadavg: 1.50 1.20 1.69 6/244 1081901
/proc/meminfo: memFree=124823896/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=329948 memory=244992 CPUtime=6.25 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 60960 0 0 0 608 17 0 0 20 0 1 0 199366829 337866752 61248 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 82487 61248 4043 3002 0 66236 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 329948 KiB
Current children cumulated memory: 244992 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.24 1.70 7/242 1081963
/proc/meminfo: memFree=125604340/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=370852 memory=266368 CPUtime=12.62 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 66287 0 0 0 1244 18 0 0 20 0 1 0 199366829 379752448 66592 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 92713 66592 4043 3002 0 76462 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 370852 KiB
Current children cumulated memory: 266368 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 1.33 1.72 6/244 1082180
/proc/meminfo: memFree=122110460/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=386376 memory=280812 CPUtime=25.37 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 69962 0 0 0 2518 19 0 0 20 0 1 0 199366829 395649024 70203 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 96594 70203 4043 3002 0 80343 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 386376 KiB
Current children cumulated memory: 280812 KiB
[startup+51.1157 s]
/proc/loadavg: 2.96 1.62 1.81 6/244 1082185
/proc/meminfo: memFree=108192980/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=449620 memory=344096 CPUtime=50.9 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 85780 0 0 0 5068 22 0 0 20 0 1 0 199366829 460410880 86024 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 112405 86024 4043 3002 0 96154 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 449620 KiB
Current children cumulated memory: 344096 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.01 1.93 6/247 1082295
/proc/meminfo: memFree=125777472/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=449620 memory=344404 CPUtime=101.9 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 85863 0 0 0 10168 22 0 0 20 0 1 0 199366829 460410880 86101 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 112405 86101 4059 3002 0 96154 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 449620 KiB
Current children cumulated memory: 344404 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.37 2.06 6/247 1082306
/proc/meminfo: memFree=125762356/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=449620 memory=346560 CPUtime=161.72 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 85880 0 0 0 16150 22 0 0 20 0 1 0 199366829 460410880 86640 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 112405 86640 4059 3002 0 96154 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 449620 KiB
Current children cumulated memory: 346560 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.70 2.20 6/245 1082317
/proc/meminfo: memFree=125747544/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=449620 memory=347792 CPUtime=221.55 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 85950 0 0 0 22132 23 0 0 20 0 1 0 199366829 460410880 86948 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 112405 86948 4059 3002 0 96154 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 449620 KiB
Current children cumulated memory: 347792 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.32 6/245 1082327
/proc/meminfo: memFree=125638120/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=449620 memory=371000 CPUtime=281.39 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 86043 0 0 0 28116 23 0 0 20 0 1 0 199366829 460410880 92750 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 112405 92750 4059 3002 0 96154 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 449620 KiB
Current children cumulated memory: 371000 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.44 6/246 1082342
/proc/meminfo: memFree=125525276/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=507240 memory=419224 CPUtime=341.21 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 90019 0 0 0 34067 54 0 0 20 0 1 0 199366829 519413760 104806 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 126810 104806 4202 3002 0 110559 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 507240 KiB
Current children cumulated memory: 419224 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.34 2.54 6/244 1082353
/proc/meminfo: memFree=125460344/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=507240 memory=441932 CPUtime=401.06 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 90110 0 0 0 40026 80 0 0 20 0 1 0 199366829 519413760 110483 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 126810 110483 4202 3002 0 110559 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 507240 KiB
Current children cumulated memory: 441932 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 3.51 2.65 6/244 1082363
/proc/meminfo: memFree=125392188/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=557328 memory=455232 CPUtime=460.93 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 91016 0 0 0 45985 108 0 0 20 0 1 0 199366829 570703872 113808 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 139332 113808 4202 3002 0 123081 0
################
# More data... #
################
Current children cumulated memory: 633412 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.02 6/244 1083918
/proc/meminfo: memFree=124789936/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=2854.81 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 96285 0 0 0 284679 802 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 2854.81 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.02 6/245 1083986
/proc/meminfo: memFree=124787780/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=2914.66 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 96387 0 0 0 290645 821 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.02 6/245 1083996
/proc/meminfo: memFree=124777348/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=2974.51 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 96526 0 0 0 296620 831 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.03 6/245 1084007
/proc/meminfo: memFree=124767768/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3034.34 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 96667 0 0 0 302583 851 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.03 6/244 1084017
/proc/meminfo: memFree=124736116/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3094.17 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 96849 0 0 0 308549 868 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.04 6/244 1084027
/proc/meminfo: memFree=124737308/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3154.02 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 97031 0 0 0 314523 879 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3222.3 s]
/proc/loadavg: 5.09 4.37 4.13 6/241 1084038
/proc/meminfo: memFree=124733740/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3213.88 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 97218 0 0 0 320496 892 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3282.3 s]
/proc/loadavg: 4.97 4.50 4.19 6/241 1084050
/proc/meminfo: memFree=124731360/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3273.74 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 97403 0 0 0 326465 909 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.40 4.42 4.18 6/241 1084060
/proc/meminfo: memFree=124726872/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3333.59 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 97588 0 0 0 332432 927 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.37 4.18 6/241 1084070
/proc/meminfo: memFree=124725900/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3393.44 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 97771 0 0 0 338399 945 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.32 4.17 6/241 1084081
/proc/meminfo: memFree=124722256/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3453.3 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 98004 0 0 0 344371 959 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.27 4.17 6/243 1084095
/proc/meminfo: memFree=124718852/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3513.16 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 98194 0 0 0 350342 974 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.25 4.17 6/243 1084105
/proc/meminfo: memFree=124717092/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3573.01 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 98381 0 0 0 356317 984 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.09 4.23 4.16 6/243 1084110
/proc/meminfo: memFree=124715624/131655788 swapFree=131071996/131071996
[pid=1081751] ppid=1081748 vsize=770976 memory=633412 CPUtime=3600.05 cores=1,3
/proc/1081751/stat : 1081751 (mixed-bag) R 1081748 1081751 1081689 0 -1 4194304 98429 0 0 0 359017 988 0 0 20 0 1 0 199366829 789479424 158353 134679101440 4194304 16488053 140732997309696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 48898048 140732997313557 140732997313634 140732997313634 140732997320651 0
/proc/1081751/statm: 192744 158353 4202 3002 0 176493 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 770976 KiB
Current children cumulated memory: 633412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 1081751 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.18 s, system=9.88497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.07
CPU user time (s): 3590.18
CPU system time (s): 9.88497
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 770976
Max. memory (cumulated for all children) (KiB): 633412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.18
system time used= 9.88497
maximum resident set size= 634308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98452
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= 156
involuntary context switches= 1169
# summary of solver processes directly reported to runsolver:
# pid: 1081751
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.18
# total CPU system time (s): 9.88497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5132 second user time and 38.0521 second system time
The end
Begin job on nodeC004 at 2024-07-20 12:42:02
IDJOB=4454811
IDBENCH=148193
IDSOLVER=3083
FILE ID=nodeC004/4454811-1721472110
RUNJOBID= nodeC004-1721472122-1081701
SLURM_JOB_ID= 7545741
Free space on /tmp= 723764 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454811-1721472110/watcher-4454811-1721472110 -o /tmp/evaluation-result-4454811-1721472110/solver-4454811-1721472110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081701 --watchdog 3760 mixed-bag HOME/instance-4454811-1721472110.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=477010824
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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.307
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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 : 1197.569
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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.558
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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 : 1197.308
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 1197.308
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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 : 1197.328
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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.527
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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.310
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127262268 kB
MemAvailable: 129872168 kB
Buffers: 576920 kB
Cached: 2854364 kB
SwapCached: 0 kB
Active: 1281796 kB
Inactive: 2500196 kB
Active(anon): 3224 kB
Inactive(anon): 393368 kB
Active(file): 1278572 kB
Inactive(file): 2106828 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58612 kB
Writeback: 0 kB
AnonPages: 350576 kB
Mapped: 107596 kB
Shmem: 45892 kB
KReclaimable: 129396 kB
Slab: 237352 kB
SReclaimable: 129396 kB
SUnreclaim: 107956 kB
KernelStack: 3712 kB
PageTables: 9480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 763240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 29016064 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC004 at 2024-07-20 13:42:12