0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.09 c [STEP] preprocessing with Papilo
0.08/0.12 c [STEP] solving with SCIP
299.36/300.30 c [STEP] preprocessing done, loading into solver
299.36/300.36 c [STEP] solving
299.36/300.36 c #variables 8880 #constraints 32242
299.36/300.36 c SMALL=int, LARGE=long long
299.36/300.36 d SCIPUB 19
299.36/300.36 c bounds - >= 0 @ 299.205
299.36/300.36 c stratification level: 0
421.06/422.33 c bounds - >= 1 @ 299.251
421.06/422.33 c bounds - >= 2 @ 299.252
421.06/422.33 c bounds - >= 3 @ 299.254
421.06/422.33 c bounds - >= 4 @ 299.254
421.06/422.33 c bounds - >= 5 @ 299.255
421.06/422.33 c #Conflicts: 1000 | #Constraints: 33251
421.06/422.33 c #Conflicts: 2000 | #Constraints: 34251
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 3000 | #Constraints: 34260
421.06/422.33 c #Conflicts: 4000 | #Constraints: 35260
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 5000 | #Constraints: 34667
421.06/422.33 c #Conflicts: 6000 | #Constraints: 35667
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 7000 | #Constraints: 34678
421.06/422.33 c #Conflicts: 8000 | #Constraints: 35678
421.06/422.33 c #Conflicts: 9000 | #Constraints: 36678
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 10000 | #Constraints: 35374
421.06/422.33 c #Conflicts: 11000 | #Constraints: 36374
421.06/422.33 c #Conflicts: 12000 | #Constraints: 37374
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 13000 | #Constraints: 35823
421.06/422.33 c #Conflicts: 14000 | #Constraints: 36823
421.06/422.33 c #Conflicts: 15000 | #Constraints: 37823
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 16000 | #Constraints: 36053
421.06/422.33 c #Conflicts: 17000 | #Constraints: 37053
421.06/422.33 c #Conflicts: 18000 | #Constraints: 38053
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 19000 | #Constraints: 36083
421.06/422.33 c #Conflicts: 20000 | #Constraints: 37083
421.06/422.33 c #Conflicts: 21000 | #Constraints: 38083
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 22000 | #Constraints: 35875
421.06/422.33 c #Conflicts: 23000 | #Constraints: 36875
421.06/422.33 c #Conflicts: 24000 | #Constraints: 37875
421.06/422.33 c #Conflicts: 25000 | #Constraints: 38875
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 26000 | #Constraints: 36482
421.06/422.33 c #Conflicts: 27000 | #Constraints: 37482
421.06/422.33 c #Conflicts: 28000 | #Constraints: 38482
421.06/422.33 c #Conflicts: 29000 | #Constraints: 39482
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 30000 | #Constraints: 36881
421.06/422.33 c #Conflicts: 31000 | #Constraints: 37881
421.06/422.33 c #Conflicts: 32000 | #Constraints: 38881
421.06/422.33 c #Conflicts: 33000 | #Constraints: 39881
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 34000 | #Constraints: 37085
421.06/422.33 c #Conflicts: 35000 | #Constraints: 38085
421.06/422.33 c #Conflicts: 36000 | #Constraints: 39085
421.06/422.33 c #Conflicts: 37000 | #Constraints: 40085
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 38000 | #Constraints: 37091
421.06/422.33 c #Conflicts: 39000 | #Constraints: 38091
421.06/422.33 c #Conflicts: 40000 | #Constraints: 39091
421.06/422.33 c #Conflicts: 41000 | #Constraints: 40091
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 42000 | #Constraints: 36888
421.06/422.33 c #Conflicts: 43000 | #Constraints: 37888
421.06/422.33 c #Conflicts: 44000 | #Constraints: 38888
421.06/422.33 c #Conflicts: 45000 | #Constraints: 39888
421.06/422.33 c #Conflicts: 46000 | #Constraints: 40888
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 47000 | #Constraints: 37481
421.06/422.33 c #Conflicts: 48000 | #Constraints: 38481
421.06/422.33 c #Conflicts: 49000 | #Constraints: 39481
421.06/422.33 c #Conflicts: 50000 | #Constraints: 40481
421.06/422.33 c #Conflicts: 51000 | #Constraints: 41481
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 52000 | #Constraints: 37887
421.06/422.33 c #Conflicts: 53000 | #Constraints: 38887
421.06/422.33 c #Conflicts: 54000 | #Constraints: 39887
421.06/422.33 c #Conflicts: 55000 | #Constraints: 40887
421.06/422.33 c #Conflicts: 56000 | #Constraints: 41887
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 57000 | #Constraints: 38084
421.06/422.33 c #Conflicts: 58000 | #Constraints: 39084
421.06/422.33 c #Conflicts: 59000 | #Constraints: 40084
421.06/422.33 c #Conflicts: 60000 | #Constraints: 41084
421.06/422.33 c #Conflicts: 61000 | #Constraints: 42084
421.06/422.33 c INPROCESSING
421.06/422.33 c GARBAGE COLLECT
421.06/422.33 c #Conflicts: 62000 | #Constraints: 38083
421.06/422.33 c #Conflicts: 63000 | #Constraints: 39083
421.06/422.33 c #Conflicts: 64000 | #Constraints: 40083
421.06/422.33 c #Conflicts: 65000 | #Constraints: 41083
421.06/422.33 c #Conflicts: 66000 | #Constraints: 42083
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 67000 | #Constraints: 37877
606.78/608.58 c #Conflicts: 68000 | #Constraints: 38877
606.78/608.58 c #Conflicts: 69000 | #Constraints: 39877
606.78/608.58 c #Conflicts: 70000 | #Constraints: 40877
606.78/608.58 c #Conflicts: 71000 | #Constraints: 41877
606.78/608.58 c #Conflicts: 72000 | #Constraints: 42877
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 73000 | #Constraints: 38480
606.78/608.58 c #Conflicts: 74000 | #Constraints: 39480
606.78/608.58 c #Conflicts: 75000 | #Constraints: 40480
606.78/608.58 c #Conflicts: 76000 | #Constraints: 41480
606.78/608.58 c #Conflicts: 77000 | #Constraints: 42480
606.78/608.58 c #Conflicts: 78000 | #Constraints: 43480
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 79000 | #Constraints: 38892
606.78/608.58 c #Conflicts: 80000 | #Constraints: 39892
606.78/608.58 c #Conflicts: 81000 | #Constraints: 40892
606.78/608.58 c #Conflicts: 82000 | #Constraints: 41892
606.78/608.58 c #Conflicts: 83000 | #Constraints: 42892
606.78/608.58 c #Conflicts: 84000 | #Constraints: 43892
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 85000 | #Constraints: 39092
606.78/608.58 c #Conflicts: 86000 | #Constraints: 40092
606.78/608.58 c #Conflicts: 87000 | #Constraints: 41092
606.78/608.58 c #Conflicts: 88000 | #Constraints: 42092
606.78/608.58 c #Conflicts: 89000 | #Constraints: 43092
606.78/608.58 c #Conflicts: 90000 | #Constraints: 44092
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 91000 | #Constraints: 39099
606.78/608.58 c #Conflicts: 92000 | #Constraints: 40099
606.78/608.58 c #Conflicts: 93000 | #Constraints: 41099
606.78/608.58 c #Conflicts: 94000 | #Constraints: 42099
606.78/608.58 c #Conflicts: 95000 | #Constraints: 43099
606.78/608.58 c #Conflicts: 96000 | #Constraints: 44099
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 97000 | #Constraints: 38912
606.78/608.58 c #Conflicts: 98000 | #Constraints: 39912
606.78/608.58 c #Conflicts: 99000 | #Constraints: 40912
606.78/608.58 c #Conflicts: 100000 | #Constraints: 41912
606.78/608.58 c #Conflicts: 101000 | #Constraints: 42912
606.78/608.58 c #Conflicts: 102000 | #Constraints: 43912
606.78/608.58 c #Conflicts: 103000 | #Constraints: 44912
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 104000 | #Constraints: 39509
606.78/608.58 c #Conflicts: 105000 | #Constraints: 40509
606.78/608.58 c #Conflicts: 106000 | #Constraints: 41509
606.78/608.58 c #Conflicts: 107000 | #Constraints: 42509
606.78/608.58 c #Conflicts: 108000 | #Constraints: 43509
606.78/608.58 c #Conflicts: 109000 | #Constraints: 44509
606.78/608.58 c #Conflicts: 110000 | #Constraints: 45509
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 111000 | #Constraints: 39913
606.78/608.58 c #Conflicts: 112000 | #Constraints: 40913
606.78/608.58 c #Conflicts: 113000 | #Constraints: 41913
606.78/608.58 c #Conflicts: 114000 | #Constraints: 42913
606.78/608.58 c #Conflicts: 115000 | #Constraints: 43913
606.78/608.58 c #Conflicts: 116000 | #Constraints: 44913
606.78/608.58 c #Conflicts: 117000 | #Constraints: 45913
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 118000 | #Constraints: 40113
606.78/608.58 c #Conflicts: 119000 | #Constraints: 41113
606.78/608.58 c #Conflicts: 120000 | #Constraints: 42113
606.78/608.58 c #Conflicts: 121000 | #Constraints: 43113
606.78/608.58 c #Conflicts: 122000 | #Constraints: 44113
606.78/608.58 c #Conflicts: 123000 | #Constraints: 45113
606.78/608.58 c #Conflicts: 124000 | #Constraints: 46113
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 125000 | #Constraints: 40107
606.78/608.58 c #Conflicts: 126000 | #Constraints: 41107
606.78/608.58 c #Conflicts: 127000 | #Constraints: 42107
606.78/608.58 c #Conflicts: 128000 | #Constraints: 43107
606.78/608.58 c #Conflicts: 129000 | #Constraints: 44107
606.78/608.58 c #Conflicts: 130000 | #Constraints: 45107
606.78/608.58 c #Conflicts: 131000 | #Constraints: 46107
606.78/608.58 c INPROCESSING
606.78/608.58 c GARBAGE COLLECT
606.78/608.58 c #Conflicts: 132000 | #Constraints: 39920
606.78/608.58 c #Conflicts: 133000 | #Constraints: 40920
606.78/608.58 c #Conflicts: 134000 | #Constraints: 41920
606.78/608.58 c #Conflicts: 135000 | #Constraints: 42920
606.78/608.58 c #Conflicts: 136000 | #Constraints: 43920
606.78/608.58 c #Conflicts: 137000 | #Constraints: 44920
606.78/608.58 c #Conflicts: 138000 | #Constraints: 45920
809.55/811.80 c #Conflicts: 139000 | #Constraints: 46920
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 140000 | #Constraints: 40519
809.55/811.80 c #Conflicts: 141000 | #Constraints: 41519
809.55/811.80 c #Conflicts: 142000 | #Constraints: 42519
809.55/811.80 c #Conflicts: 143000 | #Constraints: 43519
809.55/811.80 c #Conflicts: 144000 | #Constraints: 44519
809.55/811.80 c #Conflicts: 145000 | #Constraints: 45519
809.55/811.80 c #Conflicts: 146000 | #Constraints: 46519
809.55/811.80 c #Conflicts: 147000 | #Constraints: 47519
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 148000 | #Constraints: 40920
809.55/811.80 c #Conflicts: 149000 | #Constraints: 41920
809.55/811.80 c #Conflicts: 150000 | #Constraints: 42920
809.55/811.80 c #Conflicts: 151000 | #Constraints: 43920
809.55/811.80 c #Conflicts: 152000 | #Constraints: 44920
809.55/811.80 c #Conflicts: 153000 | #Constraints: 45920
809.55/811.80 c #Conflicts: 154000 | #Constraints: 46920
809.55/811.80 c #Conflicts: 155000 | #Constraints: 47920
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 156000 | #Constraints: 41127
809.55/811.80 c #Conflicts: 157000 | #Constraints: 42127
809.55/811.80 c #Conflicts: 158000 | #Constraints: 43127
809.55/811.80 c #Conflicts: 159000 | #Constraints: 44127
809.55/811.80 c #Conflicts: 160000 | #Constraints: 45127
809.55/811.80 c #Conflicts: 161000 | #Constraints: 46127
809.55/811.80 c #Conflicts: 162000 | #Constraints: 47127
809.55/811.80 c #Conflicts: 163000 | #Constraints: 48127
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 164000 | #Constraints: 41122
809.55/811.80 c #Conflicts: 165000 | #Constraints: 42122
809.55/811.80 c #Conflicts: 166000 | #Constraints: 43122
809.55/811.80 c #Conflicts: 167000 | #Constraints: 44122
809.55/811.80 c #Conflicts: 168000 | #Constraints: 45122
809.55/811.80 c #Conflicts: 169000 | #Constraints: 46122
809.55/811.80 c #Conflicts: 170000 | #Constraints: 47122
809.55/811.80 c #Conflicts: 171000 | #Constraints: 48122
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 172000 | #Constraints: 40920
809.55/811.80 c #Conflicts: 173000 | #Constraints: 41920
809.55/811.80 c #Conflicts: 174000 | #Constraints: 42920
809.55/811.80 c #Conflicts: 175000 | #Constraints: 43920
809.55/811.80 c #Conflicts: 176000 | #Constraints: 44920
809.55/811.80 c #Conflicts: 177000 | #Constraints: 45920
809.55/811.80 c #Conflicts: 178000 | #Constraints: 46920
809.55/811.80 c #Conflicts: 179000 | #Constraints: 47920
809.55/811.80 c #Conflicts: 180000 | #Constraints: 48920
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 181000 | #Constraints: 41518
809.55/811.80 c #Conflicts: 182000 | #Constraints: 42518
809.55/811.80 c #Conflicts: 183000 | #Constraints: 43518
809.55/811.80 c #Conflicts: 184000 | #Constraints: 44518
809.55/811.80 c #Conflicts: 185000 | #Constraints: 45518
809.55/811.80 c #Conflicts: 186000 | #Constraints: 46518
809.55/811.80 c #Conflicts: 187000 | #Constraints: 47518
809.55/811.80 c #Conflicts: 188000 | #Constraints: 48518
809.55/811.80 c #Conflicts: 189000 | #Constraints: 49518
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 190000 | #Constraints: 41917
809.55/811.80 c #Conflicts: 191000 | #Constraints: 42917
809.55/811.80 c #Conflicts: 192000 | #Constraints: 43917
809.55/811.80 c #Conflicts: 193000 | #Constraints: 44917
809.55/811.80 c #Conflicts: 194000 | #Constraints: 45917
809.55/811.80 c #Conflicts: 195000 | #Constraints: 46917
809.55/811.80 c #Conflicts: 196000 | #Constraints: 47917
809.55/811.80 c #Conflicts: 197000 | #Constraints: 48917
809.55/811.80 c #Conflicts: 198000 | #Constraints: 49917
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 199000 | #Constraints: 42116
809.55/811.80 c #Conflicts: 200000 | #Constraints: 43116
809.55/811.80 c #Conflicts: 201000 | #Constraints: 44116
809.55/811.80 c #Conflicts: 202000 | #Constraints: 45116
809.55/811.80 c #Conflicts: 203000 | #Constraints: 46116
809.55/811.80 c #Conflicts: 204000 | #Constraints: 47116
809.55/811.80 c #Conflicts: 205000 | #Constraints: 48116
809.55/811.80 c #Conflicts: 206000 | #Constraints: 49116
809.55/811.80 c #Conflicts: 207000 | #Constraints: 50116
809.55/811.80 c INPROCESSING
809.55/811.80 c GARBAGE COLLECT
809.55/811.80 c #Conflicts: 208000 | #Constraints: 42106
809.55/811.80 c #Conflicts: 209000 | #Constraints: 43106
809.55/811.80 c #Conflicts: 210000 | #Constraints: 44106
809.55/811.80 c #Conflicts: 211000 | #Constraints: 45106
1028.29/1031.15 c #Conflicts: 212000 | #Constraints: 46106
1028.29/1031.15 c #Conflicts: 213000 | #Constraints: 47106
1028.29/1031.15 c #Conflicts: 214000 | #Constraints: 48106
1028.29/1031.15 c #Conflicts: 215000 | #Constraints: 49106
1028.29/1031.15 c #Conflicts: 216000 | #Constraints: 50106
1028.29/1031.15 c INPROCESSING
1028.29/1031.15 c GARBAGE COLLECT
1028.29/1031.15 c #Conflicts: 217000 | #Constraints: 41914
1028.29/1031.15 c #Conflicts: 218000 | #Constraints: 42914
1028.29/1031.15 c #Conflicts: 219000 | #Constraints: 43914
1028.29/1031.15 c #Conflicts: 220000 | #Constraints: 44914
1028.29/1031.15 c #Conflicts: 221000 | #Constraints: 45914
1028.29/1031.15 c #Conflicts: 222000 | #Constraints: 46914
1028.29/1031.15 c #Conflicts: 223000 | #Constraints: 47914
1028.29/1031.15 c #Conflicts: 224000 | #Constraints: 48914
1028.29/1031.15 c #Conflicts: 225000 | #Constraints: 49914
1028.29/1031.15 c #Conflicts: 226000 | #Constraints: 50914
1028.29/1031.15 c INPROCESSING
1028.29/1031.15 c GARBAGE COLLECT
1028.29/1031.15 c #Conflicts: 227000 | #Constraints: 42502
1028.29/1031.15 c #Conflicts: 228000 | #Constraints: 43502
1028.29/1031.15 c #Conflicts: 229000 | #Constraints: 44502
1028.29/1031.15 c #Conflicts: 230000 | #Constraints: 45502
1028.29/1031.15 c #Conflicts: 231000 | #Constraints: 46502
1028.29/1031.15 c #Conflicts: 232000 | #Constraints: 47502
1028.29/1031.15 c #Conflicts: 233000 | #Constraints: 48502
1028.29/1031.15 c #Conflicts: 234000 | #Constraints: 49502
1028.29/1031.15 c #Conflicts: 235000 | #Constraints: 50502
1028.29/1031.15 c #Conflicts: 236000 | #Constraints: 51502
1028.29/1031.15 c INPROCESSING
1028.29/1031.15 c GARBAGE COLLECT
1028.29/1031.15 c #Conflicts: 237000 | #Constraints: 42910
1028.29/1031.15 c #Conflicts: 238000 | #Constraints: 43910
1028.29/1031.15 c #Conflicts: 239000 | #Constraints: 44910
1028.29/1031.15 c #Conflicts: 240000 | #Constraints: 45910
1028.29/1031.15 c #Conflicts: 241000 | #Constraints: 46910
1028.29/1031.15 c #Conflicts: 242000 | #Constraints: 47910
1028.29/1031.15 c #Conflicts: 243000 | #Constraints: 48910
1028.29/1031.15 c #Conflicts: 244000 | #Constraints: 49910
1028.29/1031.15 c #Conflicts: 245000 | #Constraints: 50910
1028.29/1031.15 c #Conflicts: 246000 | #Constraints: 51910
1028.29/1031.15 c INPROCESSING
1028.29/1031.15 c GARBAGE COLLECT
1028.29/1031.15 c #Conflicts: 247000 | #Constraints: 43106
1028.29/1031.15 c #Conflicts: 248000 | #Constraints: 44106
1028.29/1031.15 c #Conflicts: 249000 | #Constraints: 45106
1028.29/1031.15 c #Conflicts: 250000 | #Constraints: 46106
1028.29/1031.15 c #Conflicts: 251000 | #Constraints: 47106
1028.29/1031.15 c #Conflicts: 252000 | #Constraints: 48106
1028.29/1031.15 c #Conflicts: 253000 | #Constraints: 49106
1028.29/1031.15 c #Conflicts: 254000 | #Constraints: 50106
1028.29/1031.15 c #Conflicts: 255000 | #Constraints: 51106
1028.29/1031.15 c #Conflicts: 256000 | #Constraints: 52106
1028.29/1031.15 c INPROCESSING
1028.29/1031.15 c GARBAGE COLLECT
1028.29/1031.15 c #Conflicts: 257000 | #Constraints: 43097
1028.29/1031.15 c #Conflicts: 258000 | #Constraints: 44097
1028.29/1031.15 c #Conflicts: 259000 | #Constraints: 45097
1028.29/1031.15 c #Conflicts: 260000 | #Constraints: 46097
1028.29/1031.15 c #Conflicts: 261000 | #Constraints: 47097
1028.29/1031.15 c #Conflicts: 262000 | #Constraints: 48097
1028.29/1031.15 c #Conflicts: 263000 | #Constraints: 49097
1028.29/1031.15 c #Conflicts: 264000 | #Constraints: 50097
1028.29/1031.15 c #Conflicts: 265000 | #Constraints: 51097
1028.29/1031.15 c #Conflicts: 266000 | #Constraints: 52097
1028.29/1031.15 c INPROCESSING
1028.29/1031.15 c GARBAGE COLLECT
1028.29/1031.15 c #Conflicts: 267000 | #Constraints: 42908
1028.29/1031.15 c #Conflicts: 268000 | #Constraints: 43908
1028.29/1031.15 c #Conflicts: 269000 | #Constraints: 44908
1028.29/1031.15 c #Conflicts: 270000 | #Constraints: 45908
1028.29/1031.15 c #Conflicts: 271000 | #Constraints: 46908
1028.29/1031.15 c #Conflicts: 272000 | #Constraints: 47908
1028.29/1031.15 c #Conflicts: 273000 | #Constraints: 48908
1028.29/1031.15 c #Conflicts: 274000 | #Constraints: 49908
1028.29/1031.15 c #Conflicts: 275000 | #Constraints: 50908
1028.29/1031.15 c #Conflicts: 276000 | #Constraints: 51908
1028.29/1031.15 c #Conflicts: 277000 | #Constraints: 52908
1028.29/1031.15 c INPROCESSING
1028.29/1031.15 c GARBAGE COLLECT
1028.29/1031.15 c #Conflicts: 278000 | #Constraints: 43516
1028.29/1031.15 c #Conflicts: 279000 | #Constraints: 44516
1028.29/1031.15 c #Conflicts: 280000 | #Constraints: 45516
1028.29/1031.15 c #Conflicts: 281000 | #Constraints: 46516
1028.29/1031.15 c #Conflicts: 282000 | #Constraints: 47516
1028.29/1031.15 c #Conflicts: 283000 | #Constraints: 48516
1028.29/1031.15 c #Conflicts: 284000 | #Constraints: 49516
1028.29/1031.15 c #Conflicts: 285000 | #Constraints: 50516
1270.36/1273.87 c #Conflicts: 286000 | #Constraints: 51516
1270.36/1273.87 c #Conflicts: 287000 | #Constraints: 52516
1270.36/1273.87 c #Conflicts: 288000 | #Constraints: 53516
1270.36/1273.87 c INPROCESSING
1270.36/1273.87 c GARBAGE COLLECT
1270.36/1273.87 c #Conflicts: 289000 | #Constraints: 43907
1270.36/1273.87 c #Conflicts: 290000 | #Constraints: 44907
1270.36/1273.87 c #Conflicts: 291000 | #Constraints: 45907
1270.36/1273.87 c #Conflicts: 292000 | #Constraints: 46907
1270.36/1273.87 c #Conflicts: 293000 | #Constraints: 47907
1270.36/1273.87 c #Conflicts: 294000 | #Constraints: 48907
1270.36/1273.87 c #Conflicts: 295000 | #Constraints: 49907
1270.36/1273.87 c #Conflicts: 296000 | #Constraints: 50907
1270.36/1273.87 c #Conflicts: 297000 | #Constraints: 51907
1270.36/1273.87 c #Conflicts: 298000 | #Constraints: 52907
1270.36/1273.87 c #Conflicts: 299000 | #Constraints: 53907
1270.36/1273.87 c INPROCESSING
1270.36/1273.87 c GARBAGE COLLECT
1270.36/1273.87 c #Conflicts: 300000 | #Constraints: 44104
1270.36/1273.87 c #Conflicts: 301000 | #Constraints: 45104
1270.36/1273.87 c #Conflicts: 302000 | #Constraints: 46104
1270.36/1273.87 c #Conflicts: 303000 | #Constraints: 47104
1270.36/1273.87 c #Conflicts: 304000 | #Constraints: 48104
1270.36/1273.87 c #Conflicts: 305000 | #Constraints: 49104
1270.36/1273.87 c #Conflicts: 306000 | #Constraints: 50104
1270.36/1273.87 c #Conflicts: 307000 | #Constraints: 51104
1270.36/1273.87 c #Conflicts: 308000 | #Constraints: 52104
1270.36/1273.87 c #Conflicts: 309000 | #Constraints: 53104
1270.36/1273.87 c #Conflicts: 310000 | #Constraints: 54104
1270.36/1273.87 c INPROCESSING
1270.36/1273.87 c GARBAGE COLLECT
1270.36/1273.87 c #Conflicts: 311000 | #Constraints: 44112
1270.36/1273.87 c #Conflicts: 312000 | #Constraints: 45112
1270.36/1273.87 c #Conflicts: 313000 | #Constraints: 46112
1270.36/1273.87 c #Conflicts: 314000 | #Constraints: 47112
1270.36/1273.87 c #Conflicts: 315000 | #Constraints: 48112
1270.36/1273.87 c #Conflicts: 316000 | #Constraints: 49112
1270.36/1273.87 c #Conflicts: 317000 | #Constraints: 50112
1270.36/1273.87 c #Conflicts: 318000 | #Constraints: 51112
1270.36/1273.87 c #Conflicts: 319000 | #Constraints: 52112
1270.36/1273.87 c #Conflicts: 320000 | #Constraints: 53112
1270.36/1273.87 c #Conflicts: 321000 | #Constraints: 54112
1270.36/1273.87 c INPROCESSING
1270.36/1273.87 c GARBAGE COLLECT
1270.36/1273.87 c #Conflicts: 322000 | #Constraints: 43926
1270.36/1273.87 c #Conflicts: 323000 | #Constraints: 44926
1270.36/1273.87 c #Conflicts: 324000 | #Constraints: 45926
1270.36/1273.87 c #Conflicts: 325000 | #Constraints: 46926
1270.36/1273.87 c #Conflicts: 326000 | #Constraints: 47926
1270.36/1273.87 c #Conflicts: 327000 | #Constraints: 48926
1270.36/1273.87 c #Conflicts: 328000 | #Constraints: 49926
1270.36/1273.87 c #Conflicts: 329000 | #Constraints: 50926
1270.36/1273.87 c #Conflicts: 330000 | #Constraints: 51926
1270.36/1273.87 c #Conflicts: 331000 | #Constraints: 52926
1270.36/1273.87 c #Conflicts: 332000 | #Constraints: 53926
1270.36/1273.87 c #Conflicts: 333000 | #Constraints: 54926
1270.36/1273.87 c INPROCESSING
1270.36/1273.87 c GARBAGE COLLECT
1270.36/1273.87 c #Conflicts: 334000 | #Constraints: 44541
1270.36/1273.87 c #Conflicts: 335000 | #Constraints: 45541
1270.36/1273.87 c #Conflicts: 336000 | #Constraints: 46541
1270.36/1273.87 c #Conflicts: 337000 | #Constraints: 47541
1270.36/1273.87 c #Conflicts: 338000 | #Constraints: 48541
1270.36/1273.87 c #Conflicts: 339000 | #Constraints: 49541
1270.36/1273.87 c #Conflicts: 340000 | #Constraints: 50541
1270.36/1273.87 c #Conflicts: 341000 | #Constraints: 51541
1270.36/1273.87 c #Conflicts: 342000 | #Constraints: 52541
1270.36/1273.87 c #Conflicts: 343000 | #Constraints: 53541
1270.36/1273.87 c #Conflicts: 344000 | #Constraints: 54541
1270.36/1273.87 c #Conflicts: 345000 | #Constraints: 55541
1270.36/1273.87 c INPROCESSING
1270.36/1273.87 c GARBAGE COLLECT
1270.36/1273.87 c #Conflicts: 346000 | #Constraints: 44946
1270.36/1273.87 c #Conflicts: 347000 | #Constraints: 45946
1270.36/1273.87 c #Conflicts: 348000 | #Constraints: 46946
1270.36/1273.87 c #Conflicts: 349000 | #Constraints: 47946
1270.36/1273.87 c #Conflicts: 350000 | #Constraints: 48946
1270.36/1273.87 c #Conflicts: 351000 | #Constraints: 49946
1270.36/1273.87 c #Conflicts: 352000 | #Constraints: 50946
1270.36/1273.87 c #Conflicts: 353000 | #Constraints: 51946
1270.36/1273.87 c #Conflicts: 354000 | #Constraints: 52946
1270.36/1273.87 c #Conflicts: 355000 | #Constraints: 53946
1270.36/1273.87 c #Conflicts: 356000 | #Constraints: 54946
1270.36/1273.87 c #Conflicts: 357000 | #Constraints: 55946
1270.36/1273.87 c INPROCESSING
1270.36/1273.87 c GARBAGE COLLECT
1270.36/1273.87 c #Conflicts: 358000 | #Constraints: 45129
1270.36/1273.87 c #Conflicts: 359000 | #Constraints: 46129
1522.00/1526.13 c #Conflicts: 360000 | #Constraints: 47129
1522.00/1526.13 c #Conflicts: 361000 | #Constraints: 48129
1522.00/1526.13 c #Conflicts: 362000 | #Constraints: 49129
1522.00/1526.13 c #Conflicts: 363000 | #Constraints: 50129
1522.00/1526.13 c #Conflicts: 364000 | #Constraints: 51129
1522.00/1526.13 c #Conflicts: 365000 | #Constraints: 52129
1522.00/1526.13 c #Conflicts: 366000 | #Constraints: 53129
1522.00/1526.13 c #Conflicts: 367000 | #Constraints: 54129
1522.00/1526.13 c #Conflicts: 368000 | #Constraints: 55129
1522.00/1526.13 c #Conflicts: 369000 | #Constraints: 56129
1522.00/1526.13 c INPROCESSING
1522.00/1526.13 c GARBAGE COLLECT
1522.00/1526.13 c #Conflicts: 370000 | #Constraints: 45119
1522.00/1526.13 c #Conflicts: 371000 | #Constraints: 46119
1522.00/1526.13 c #Conflicts: 372000 | #Constraints: 47119
1522.00/1526.13 c #Conflicts: 373000 | #Constraints: 48119
1522.00/1526.13 c #Conflicts: 374000 | #Constraints: 49119
1522.00/1526.13 c #Conflicts: 375000 | #Constraints: 50119
1522.00/1526.13 c #Conflicts: 376000 | #Constraints: 51119
1522.00/1526.13 c #Conflicts: 377000 | #Constraints: 52119
1522.00/1526.13 c #Conflicts: 378000 | #Constraints: 53119
1522.00/1526.13 c #Conflicts: 379000 | #Constraints: 54119
1522.00/1526.13 c #Conflicts: 380000 | #Constraints: 55119
1522.00/1526.13 c #Conflicts: 381000 | #Constraints: 56119
1522.00/1526.13 c INPROCESSING
1522.00/1526.13 c GARBAGE COLLECT
1522.00/1526.13 c #Conflicts: 382000 | #Constraints: 44911
1522.00/1526.13 c #Conflicts: 383000 | #Constraints: 45911
1522.00/1526.13 c #Conflicts: 384000 | #Constraints: 46911
1522.00/1526.13 c #Conflicts: 385000 | #Constraints: 47911
1522.00/1526.13 c #Conflicts: 386000 | #Constraints: 48911
1522.00/1526.13 c #Conflicts: 387000 | #Constraints: 49911
1522.00/1526.13 c #Conflicts: 388000 | #Constraints: 50911
1522.00/1526.13 c #Conflicts: 389000 | #Constraints: 51911
1522.00/1526.13 c #Conflicts: 390000 | #Constraints: 52911
1522.00/1526.13 c #Conflicts: 391000 | #Constraints: 53911
1522.00/1526.13 c #Conflicts: 392000 | #Constraints: 54911
1522.00/1526.13 c #Conflicts: 393000 | #Constraints: 55911
1522.00/1526.13 c #Conflicts: 394000 | #Constraints: 56911
1522.00/1526.13 c INPROCESSING
1522.00/1526.13 c GARBAGE COLLECT
1522.00/1526.13 c #Conflicts: 395000 | #Constraints: 45521
1522.00/1526.13 c #Conflicts: 396000 | #Constraints: 46521
1522.00/1526.13 c #Conflicts: 397000 | #Constraints: 47521
1522.00/1526.13 c #Conflicts: 398000 | #Constraints: 48521
1522.00/1526.13 c #Conflicts: 399000 | #Constraints: 49521
1522.00/1526.13 c #Conflicts: 400000 | #Constraints: 50521
1522.00/1526.13 c #Conflicts: 401000 | #Constraints: 51521
1522.00/1526.13 c #Conflicts: 402000 | #Constraints: 52521
1522.00/1526.13 c #Conflicts: 403000 | #Constraints: 53521
1522.00/1526.13 c #Conflicts: 404000 | #Constraints: 54521
1522.00/1526.13 c #Conflicts: 405000 | #Constraints: 55521
1522.00/1526.13 c #Conflicts: 406000 | #Constraints: 56521
1522.00/1526.13 c #Conflicts: 407000 | #Constraints: 57521
1522.00/1526.13 c INPROCESSING
1522.00/1526.13 c GARBAGE COLLECT
1522.00/1526.13 c #Conflicts: 408000 | #Constraints: 45919
1522.00/1526.13 c #Conflicts: 409000 | #Constraints: 46919
1522.00/1526.13 c #Conflicts: 410000 | #Constraints: 47919
1522.00/1526.13 c #Conflicts: 411000 | #Constraints: 48919
1522.00/1526.13 c #Conflicts: 412000 | #Constraints: 49919
1522.00/1526.13 c #Conflicts: 413000 | #Constraints: 50919
1522.00/1526.13 c #Conflicts: 414000 | #Constraints: 51919
1522.00/1526.13 c #Conflicts: 415000 | #Constraints: 52919
1522.00/1526.13 c #Conflicts: 416000 | #Constraints: 53919
1522.00/1526.13 c #Conflicts: 417000 | #Constraints: 54919
1522.00/1526.13 c #Conflicts: 418000 | #Constraints: 55919
1522.00/1526.13 c #Conflicts: 419000 | #Constraints: 56919
1522.00/1526.13 c #Conflicts: 420000 | #Constraints: 57919
1522.00/1526.13 c INPROCESSING
1522.00/1526.13 c GARBAGE COLLECT
1522.00/1526.13 c #Conflicts: 421000 | #Constraints: 46126
1522.00/1526.13 c #Conflicts: 422000 | #Constraints: 47126
1522.00/1526.13 c #Conflicts: 423000 | #Constraints: 48126
1522.00/1526.13 c #Conflicts: 424000 | #Constraints: 49126
1522.00/1526.13 c #Conflicts: 425000 | #Constraints: 50126
1522.00/1526.13 c #Conflicts: 426000 | #Constraints: 51126
1522.00/1526.13 c #Conflicts: 427000 | #Constraints: 52126
1522.00/1526.13 c #Conflicts: 428000 | #Constraints: 53126
1522.00/1526.13 c #Conflicts: 429000 | #Constraints: 54126
1522.00/1526.13 c #Conflicts: 430000 | #Constraints: 55126
1522.00/1526.13 c #Conflicts: 431000 | #Constraints: 56126
1522.00/1526.13 c #Conflicts: 432000 | #Constraints: 57126
1522.00/1526.13 c #Conflicts: 433000 | #Constraints: 58126
1522.00/1526.13 c INPROCESSING
1522.00/1526.13 c GARBAGE COLLECT
1522.00/1526.13 c #Conflicts: 434000 | #Constraints: 46143
1819.70/1824.64 c #Conflicts: 435000 | #Constraints: 47143
1819.70/1824.64 c #Conflicts: 436000 | #Constraints: 48143
1819.70/1824.64 c #Conflicts: 437000 | #Constraints: 49143
1819.70/1824.64 c #Conflicts: 438000 | #Constraints: 50143
1819.70/1824.64 c #Conflicts: 439000 | #Constraints: 51143
1819.70/1824.64 c #Conflicts: 440000 | #Constraints: 52143
1819.70/1824.64 c #Conflicts: 441000 | #Constraints: 53143
1819.70/1824.64 c #Conflicts: 442000 | #Constraints: 54143
1819.70/1824.64 c #Conflicts: 443000 | #Constraints: 55143
1819.70/1824.64 c #Conflicts: 444000 | #Constraints: 56143
1819.70/1824.64 c #Conflicts: 445000 | #Constraints: 57143
1819.70/1824.64 c #Conflicts: 446000 | #Constraints: 58143
1819.70/1824.64 c INPROCESSING
1819.70/1824.64 c GARBAGE COLLECT
1819.70/1824.64 c #Conflicts: 447000 | #Constraints: 45932
1819.70/1824.64 c #Conflicts: 448000 | #Constraints: 46932
1819.70/1824.64 c #Conflicts: 449000 | #Constraints: 47932
1819.70/1824.64 c #Conflicts: 450000 | #Constraints: 48932
1819.70/1824.64 c #Conflicts: 451000 | #Constraints: 49932
1819.70/1824.64 c #Conflicts: 452000 | #Constraints: 50932
1819.70/1824.64 c #Conflicts: 453000 | #Constraints: 51932
1819.70/1824.64 c #Conflicts: 454000 | #Constraints: 52932
1819.70/1824.64 c #Conflicts: 455000 | #Constraints: 53932
1819.70/1824.64 c #Conflicts: 456000 | #Constraints: 54932
1819.70/1824.64 c #Conflicts: 457000 | #Constraints: 55932
1819.70/1824.64 c #Conflicts: 458000 | #Constraints: 56932
1819.70/1824.64 c #Conflicts: 459000 | #Constraints: 57932
1819.70/1824.64 c #Conflicts: 460000 | #Constraints: 58932
1819.70/1824.64 c INPROCESSING
1819.70/1824.64 c GARBAGE COLLECT
1819.70/1824.64 c #Conflicts: 461000 | #Constraints: 46543
1819.70/1824.64 c #Conflicts: 462000 | #Constraints: 47543
1819.70/1824.64 c #Conflicts: 463000 | #Constraints: 48543
1819.70/1824.64 c #Conflicts: 464000 | #Constraints: 49543
1819.70/1824.64 c #Conflicts: 465000 | #Constraints: 50543
1819.70/1824.64 c #Conflicts: 466000 | #Constraints: 51543
1819.70/1824.64 c #Conflicts: 467000 | #Constraints: 52543
1819.70/1824.64 c #Conflicts: 468000 | #Constraints: 53543
1819.70/1824.64 c #Conflicts: 469000 | #Constraints: 54543
1819.70/1824.64 c #Conflicts: 470000 | #Constraints: 55543
1819.70/1824.64 c #Conflicts: 471000 | #Constraints: 56543
1819.70/1824.64 c #Conflicts: 472000 | #Constraints: 57543
1819.70/1824.64 c #Conflicts: 473000 | #Constraints: 58543
1819.70/1824.64 c #Conflicts: 474000 | #Constraints: 59543
1819.70/1824.64 c INPROCESSING
1819.70/1824.64 c GARBAGE COLLECT
1819.70/1824.64 c #Conflicts: 475000 | #Constraints: 46946
1819.70/1824.64 c #Conflicts: 476000 | #Constraints: 47946
1819.70/1824.64 c #Conflicts: 477000 | #Constraints: 48946
1819.70/1824.64 c #Conflicts: 478000 | #Constraints: 49946
1819.70/1824.64 c #Conflicts: 479000 | #Constraints: 50946
1819.70/1824.64 c #Conflicts: 480000 | #Constraints: 51946
1819.70/1824.64 c #Conflicts: 481000 | #Constraints: 52946
1819.70/1824.64 c #Conflicts: 482000 | #Constraints: 53946
1819.70/1824.64 c #Conflicts: 483000 | #Constraints: 54946
1819.70/1824.64 c #Conflicts: 484000 | #Constraints: 55946
1819.70/1824.64 c #Conflicts: 485000 | #Constraints: 56946
1819.70/1824.64 c #Conflicts: 486000 | #Constraints: 57946
1819.70/1824.64 c #Conflicts: 487000 | #Constraints: 58946
1819.70/1824.64 c #Conflicts: 488000 | #Constraints: 59946
1819.70/1824.64 c INPROCESSING
1819.70/1824.64 c GARBAGE COLLECT
1819.70/1824.64 c #Conflicts: 489000 | #Constraints: 47166
1819.70/1824.64 c #Conflicts: 490000 | #Constraints: 48166
1819.70/1824.64 c #Conflicts: 491000 | #Constraints: 49166
1819.70/1824.64 c #Conflicts: 492000 | #Constraints: 50166
1819.70/1824.64 c #Conflicts: 493000 | #Constraints: 51166
1819.70/1824.64 c #Conflicts: 494000 | #Constraints: 52166
1819.70/1824.64 c #Conflicts: 495000 | #Constraints: 53166
1819.70/1824.64 c #Conflicts: 496000 | #Constraints: 54166
1819.70/1824.64 c #Conflicts: 497000 | #Constraints: 55166
1819.70/1824.64 c #Conflicts: 498000 | #Constraints: 56166
1819.70/1824.64 c #Conflicts: 499000 | #Constraints: 57166
1819.70/1824.64 c #Conflicts: 500000 | #Constraints: 58166
1819.70/1824.64 c #Conflicts: 501000 | #Constraints: 59166
1819.70/1824.64 c #Conflicts: 502000 | #Constraints: 60166
1819.70/1824.64 c INPROCESSING
1819.70/1824.64 c GARBAGE COLLECT
1819.70/1824.64 c #Conflicts: 503000 | #Constraints: 47170
1819.70/1824.64 c #Conflicts: 504000 | #Constraints: 48170
1819.70/1824.64 c #Conflicts: 505000 | #Constraints: 49170
1819.70/1824.64 c #Conflicts: 506000 | #Constraints: 50170
1819.70/1824.64 c #Conflicts: 507000 | #Constraints: 51170
1819.70/1824.64 c #Conflicts: 508000 | #Constraints: 52170
1819.70/1824.64 c #Conflicts: 509000 | #Constraints: 53170
1819.70/1824.64 c #Conflicts: 510000 | #Constraints: 54170
2098.29/2103.94 c #Conflicts: 511000 | #Constraints: 55170
2098.29/2103.94 c #Conflicts: 512000 | #Constraints: 56170
2098.29/2103.94 c #Conflicts: 513000 | #Constraints: 57170
2098.29/2103.94 c #Conflicts: 514000 | #Constraints: 58170
2098.29/2103.94 c #Conflicts: 515000 | #Constraints: 59170
2098.29/2103.94 c #Conflicts: 516000 | #Constraints: 60170
2098.29/2103.94 c INPROCESSING
2098.29/2103.94 c GARBAGE COLLECT
2098.29/2103.94 c #Conflicts: 517000 | #Constraints: 46946
2098.29/2103.94 c #Conflicts: 518000 | #Constraints: 47946
2098.29/2103.94 c #Conflicts: 519000 | #Constraints: 48946
2098.29/2103.94 c #Conflicts: 520000 | #Constraints: 49946
2098.29/2103.94 c #Conflicts: 521000 | #Constraints: 50946
2098.29/2103.94 c #Conflicts: 522000 | #Constraints: 51946
2098.29/2103.94 c #Conflicts: 523000 | #Constraints: 52946
2098.29/2103.94 c #Conflicts: 524000 | #Constraints: 53946
2098.29/2103.94 c #Conflicts: 525000 | #Constraints: 54946
2098.29/2103.94 c #Conflicts: 526000 | #Constraints: 55946
2098.29/2103.94 c #Conflicts: 527000 | #Constraints: 56946
2098.29/2103.94 c #Conflicts: 528000 | #Constraints: 57946
2098.29/2103.94 c #Conflicts: 529000 | #Constraints: 58946
2098.29/2103.94 c #Conflicts: 530000 | #Constraints: 59946
2098.29/2103.94 c #Conflicts: 531000 | #Constraints: 60946
2098.29/2103.94 c INPROCESSING
2098.29/2103.94 c GARBAGE COLLECT
2098.29/2103.94 c #Conflicts: 532000 | #Constraints: 47523
2098.29/2103.94 c #Conflicts: 533000 | #Constraints: 48523
2098.29/2103.94 c #Conflicts: 534000 | #Constraints: 49523
2098.29/2103.94 c #Conflicts: 535000 | #Constraints: 50523
2098.29/2103.94 c #Conflicts: 536000 | #Constraints: 51523
2098.29/2103.94 c #Conflicts: 537000 | #Constraints: 52523
2098.29/2103.94 c #Conflicts: 538000 | #Constraints: 53523
2098.29/2103.94 c #Conflicts: 539000 | #Constraints: 54523
2098.29/2103.94 c #Conflicts: 540000 | #Constraints: 55523
2098.29/2103.94 c #Conflicts: 541000 | #Constraints: 56523
2098.29/2103.94 c #Conflicts: 542000 | #Constraints: 57523
2098.29/2103.94 c #Conflicts: 543000 | #Constraints: 58523
2098.29/2103.94 c #Conflicts: 544000 | #Constraints: 59523
2098.29/2103.94 c #Conflicts: 545000 | #Constraints: 60523
2098.29/2103.94 c #Conflicts: 546000 | #Constraints: 61523
2098.29/2103.94 c INPROCESSING
2098.29/2103.94 c GARBAGE COLLECT
2098.29/2103.94 c #Conflicts: 547000 | #Constraints: 47932
2098.29/2103.94 c #Conflicts: 548000 | #Constraints: 48932
2098.29/2103.94 c #Conflicts: 549000 | #Constraints: 49932
2098.29/2103.94 c #Conflicts: 550000 | #Constraints: 50932
2098.29/2103.94 c #Conflicts: 551000 | #Constraints: 51932
2098.29/2103.94 c #Conflicts: 552000 | #Constraints: 52932
2098.29/2103.94 c #Conflicts: 553000 | #Constraints: 53932
2098.29/2103.94 c #Conflicts: 554000 | #Constraints: 54932
2098.29/2103.94 c #Conflicts: 555000 | #Constraints: 55932
2098.29/2103.94 c #Conflicts: 556000 | #Constraints: 56932
2098.29/2103.94 c #Conflicts: 557000 | #Constraints: 57932
2098.29/2103.94 c #Conflicts: 558000 | #Constraints: 58932
2098.29/2103.94 c #Conflicts: 559000 | #Constraints: 59932
2098.29/2103.94 c #Conflicts: 560000 | #Constraints: 60932
2098.29/2103.94 c #Conflicts: 561000 | #Constraints: 61932
2098.29/2103.94 c INPROCESSING
2098.29/2103.94 c GARBAGE COLLECT
2098.29/2103.94 c #Conflicts: 562000 | #Constraints: 48121
2098.29/2103.94 c #Conflicts: 563000 | #Constraints: 49121
2098.29/2103.94 c #Conflicts: 564000 | #Constraints: 50121
2098.29/2103.94 c #Conflicts: 565000 | #Constraints: 51121
2098.29/2103.94 c #Conflicts: 566000 | #Constraints: 52121
2098.29/2103.94 c #Conflicts: 567000 | #Constraints: 53121
2098.29/2103.94 c #Conflicts: 568000 | #Constraints: 54121
2098.29/2103.94 c #Conflicts: 569000 | #Constraints: 55121
2098.29/2103.94 c #Conflicts: 570000 | #Constraints: 56121
2098.29/2103.94 c #Conflicts: 571000 | #Constraints: 57121
2098.29/2103.94 c #Conflicts: 572000 | #Constraints: 58121
2098.29/2103.94 c #Conflicts: 573000 | #Constraints: 59121
2098.29/2103.94 c #Conflicts: 574000 | #Constraints: 60121
2098.29/2103.94 c #Conflicts: 575000 | #Constraints: 61121
2098.29/2103.94 c #Conflicts: 576000 | #Constraints: 62121
2098.29/2103.94 c INPROCESSING
2098.29/2103.94 c GARBAGE COLLECT
2098.29/2103.94 c #Conflicts: 577000 | #Constraints: 48122
2098.29/2103.94 c #Conflicts: 578000 | #Constraints: 49122
2098.29/2103.94 c #Conflicts: 579000 | #Constraints: 50122
2098.29/2103.94 c #Conflicts: 580000 | #Constraints: 51122
2098.29/2103.94 c #Conflicts: 581000 | #Constraints: 52122
2098.29/2103.94 c #Conflicts: 582000 | #Constraints: 53122
2098.29/2103.94 c #Conflicts: 583000 | #Constraints: 54122
2098.29/2103.94 c #Conflicts: 584000 | #Constraints: 55122
2098.29/2103.94 c #Conflicts: 585000 | #Constraints: 56122
2098.29/2103.94 c #Conflicts: 586000 | #Constraints: 57122
2416.94/2423.48 c #Conflicts: 587000 | #Constraints: 58122
2416.94/2423.48 c #Conflicts: 588000 | #Constraints: 59122
2416.94/2423.48 c #Conflicts: 589000 | #Constraints: 60122
2416.94/2423.48 c #Conflicts: 590000 | #Constraints: 61122
2416.94/2423.48 c #Conflicts: 591000 | #Constraints: 62122
2416.94/2423.48 c INPROCESSING
2416.94/2423.48 c GARBAGE COLLECT
2416.94/2423.48 c #Conflicts: 592000 | #Constraints: 47941
2416.94/2423.48 c #Conflicts: 593000 | #Constraints: 48941
2416.94/2423.48 c #Conflicts: 594000 | #Constraints: 49941
2416.94/2423.48 c #Conflicts: 595000 | #Constraints: 50941
2416.94/2423.48 c #Conflicts: 596000 | #Constraints: 51941
2416.94/2423.48 c #Conflicts: 597000 | #Constraints: 52941
2416.94/2423.48 c #Conflicts: 598000 | #Constraints: 53941
2416.94/2423.48 c #Conflicts: 599000 | #Constraints: 54941
2416.94/2423.48 c #Conflicts: 600000 | #Constraints: 55941
2416.94/2423.48 c #Conflicts: 601000 | #Constraints: 56941
2416.94/2423.48 c #Conflicts: 602000 | #Constraints: 57941
2416.94/2423.48 c #Conflicts: 603000 | #Constraints: 58941
2416.94/2423.48 c #Conflicts: 604000 | #Constraints: 59941
2416.94/2423.48 c #Conflicts: 605000 | #Constraints: 60941
2416.94/2423.48 c #Conflicts: 606000 | #Constraints: 61941
2416.94/2423.48 c #Conflicts: 607000 | #Constraints: 62941
2416.94/2423.48 c INPROCESSING
2416.94/2423.48 c GARBAGE COLLECT
2416.94/2423.48 c #Conflicts: 608000 | #Constraints: 48536
2416.94/2423.48 c #Conflicts: 609000 | #Constraints: 49536
2416.94/2423.48 c #Conflicts: 610000 | #Constraints: 50536
2416.94/2423.48 c #Conflicts: 611000 | #Constraints: 51536
2416.94/2423.48 c #Conflicts: 612000 | #Constraints: 52536
2416.94/2423.48 c #Conflicts: 613000 | #Constraints: 53536
2416.94/2423.48 c #Conflicts: 614000 | #Constraints: 54536
2416.94/2423.48 c #Conflicts: 615000 | #Constraints: 55536
2416.94/2423.48 c #Conflicts: 616000 | #Constraints: 56536
2416.94/2423.48 c #Conflicts: 617000 | #Constraints: 57536
2416.94/2423.48 c #Conflicts: 618000 | #Constraints: 58536
2416.94/2423.48 c #Conflicts: 619000 | #Constraints: 59536
2416.94/2423.48 c #Conflicts: 620000 | #Constraints: 60536
2416.94/2423.48 c #Conflicts: 621000 | #Constraints: 61536
2416.94/2423.48 c #Conflicts: 622000 | #Constraints: 62536
2416.94/2423.48 c #Conflicts: 623000 | #Constraints: 63536
2416.94/2423.48 c INPROCESSING
2416.94/2423.48 c GARBAGE COLLECT
2416.94/2423.48 c #Conflicts: 624000 | #Constraints: 48926
2416.94/2423.48 c #Conflicts: 625000 | #Constraints: 49926
2416.94/2423.48 c #Conflicts: 626000 | #Constraints: 50926
2416.94/2423.48 c #Conflicts: 627000 | #Constraints: 51926
2416.94/2423.48 c #Conflicts: 628000 | #Constraints: 52926
2416.94/2423.48 c #Conflicts: 629000 | #Constraints: 53926
2416.94/2423.48 c #Conflicts: 630000 | #Constraints: 54926
2416.94/2423.48 c #Conflicts: 631000 | #Constraints: 55926
2416.94/2423.48 c #Conflicts: 632000 | #Constraints: 56926
2416.94/2423.48 c #Conflicts: 633000 | #Constraints: 57926
2416.94/2423.48 c #Conflicts: 634000 | #Constraints: 58926
2416.94/2423.48 c #Conflicts: 635000 | #Constraints: 59926
2416.94/2423.48 c #Conflicts: 636000 | #Constraints: 60926
2416.94/2423.48 c #Conflicts: 637000 | #Constraints: 61926
2416.94/2423.48 c #Conflicts: 638000 | #Constraints: 62926
2416.94/2423.48 c #Conflicts: 639000 | #Constraints: 63926
2416.94/2423.48 c INPROCESSING
2416.94/2423.48 c GARBAGE COLLECT
2416.94/2423.48 c #Conflicts: 640000 | #Constraints: 49143
2416.94/2423.48 c #Conflicts: 641000 | #Constraints: 50143
2416.94/2423.48 c #Conflicts: 642000 | #Constraints: 51143
2416.94/2423.48 c #Conflicts: 643000 | #Constraints: 52143
2416.94/2423.48 c #Conflicts: 644000 | #Constraints: 53143
2416.94/2423.48 c #Conflicts: 645000 | #Constraints: 54143
2416.94/2423.48 c #Conflicts: 646000 | #Constraints: 55143
2416.94/2423.48 c #Conflicts: 647000 | #Constraints: 56143
2416.94/2423.48 c #Conflicts: 648000 | #Constraints: 57143
2416.94/2423.48 c #Conflicts: 649000 | #Constraints: 58143
2416.94/2423.48 c #Conflicts: 650000 | #Constraints: 59143
2416.94/2423.48 c #Conflicts: 651000 | #Constraints: 60143
2416.94/2423.48 c #Conflicts: 652000 | #Constraints: 61143
2416.94/2423.48 c #Conflicts: 653000 | #Constraints: 62143
2416.94/2423.48 c #Conflicts: 654000 | #Constraints: 63143
2416.94/2423.48 c #Conflicts: 655000 | #Constraints: 64143
2416.94/2423.48 c INPROCESSING
2416.94/2423.48 c GARBAGE COLLECT
2416.94/2423.48 c #Conflicts: 656000 | #Constraints: 49138
2416.94/2423.48 c #Conflicts: 657000 | #Constraints: 50138
2416.94/2423.48 c #Conflicts: 658000 | #Constraints: 51138
2416.94/2423.48 c #Conflicts: 659000 | #Constraints: 52138
2416.94/2423.48 c #Conflicts: 660000 | #Constraints: 53138
2416.94/2423.48 c #Conflicts: 661000 | #Constraints: 54138
2733.79/2741.10 c #Conflicts: 662000 | #Constraints: 55138
2733.79/2741.10 c #Conflicts: 663000 | #Constraints: 56138
2733.79/2741.10 c #Conflicts: 664000 | #Constraints: 57138
2733.79/2741.10 c #Conflicts: 665000 | #Constraints: 58138
2733.79/2741.10 c #Conflicts: 666000 | #Constraints: 59138
2733.79/2741.10 c #Conflicts: 667000 | #Constraints: 60138
2733.79/2741.10 c #Conflicts: 668000 | #Constraints: 61138
2733.79/2741.10 c #Conflicts: 669000 | #Constraints: 62138
2733.79/2741.10 c #Conflicts: 670000 | #Constraints: 63138
2733.79/2741.10 c #Conflicts: 671000 | #Constraints: 64138
2733.79/2741.10 c INPROCESSING
2733.79/2741.10 c GARBAGE COLLECT
2733.79/2741.10 c #Conflicts: 672000 | #Constraints: 48923
2733.79/2741.10 c #Conflicts: 673000 | #Constraints: 49923
2733.79/2741.10 c #Conflicts: 674000 | #Constraints: 50923
2733.79/2741.10 c #Conflicts: 675000 | #Constraints: 51923
2733.79/2741.10 c #Conflicts: 676000 | #Constraints: 52923
2733.79/2741.10 c #Conflicts: 677000 | #Constraints: 53923
2733.79/2741.10 c #Conflicts: 678000 | #Constraints: 54923
2733.79/2741.10 c #Conflicts: 679000 | #Constraints: 55923
2733.79/2741.10 c #Conflicts: 680000 | #Constraints: 56923
2733.79/2741.10 c #Conflicts: 681000 | #Constraints: 57923
2733.79/2741.10 c #Conflicts: 682000 | #Constraints: 58923
2733.79/2741.10 c #Conflicts: 683000 | #Constraints: 59923
2733.79/2741.10 c #Conflicts: 684000 | #Constraints: 60923
2733.79/2741.10 c #Conflicts: 685000 | #Constraints: 61923
2733.79/2741.10 c #Conflicts: 686000 | #Constraints: 62923
2733.79/2741.10 c #Conflicts: 687000 | #Constraints: 63923
2733.79/2741.10 c #Conflicts: 688000 | #Constraints: 64923
2733.79/2741.10 c INPROCESSING
2733.79/2741.10 c GARBAGE COLLECT
2733.79/2741.10 c #Conflicts: 689000 | #Constraints: 49516
2733.79/2741.10 c #Conflicts: 690000 | #Constraints: 50516
2733.79/2741.10 c #Conflicts: 691000 | #Constraints: 51516
2733.79/2741.10 c #Conflicts: 692000 | #Constraints: 52516
2733.79/2741.10 c #Conflicts: 693000 | #Constraints: 53516
2733.79/2741.10 c #Conflicts: 694000 | #Constraints: 54516
2733.79/2741.10 c #Conflicts: 695000 | #Constraints: 55516
2733.79/2741.10 c #Conflicts: 696000 | #Constraints: 56516
2733.79/2741.10 c #Conflicts: 697000 | #Constraints: 57516
2733.79/2741.10 c #Conflicts: 698000 | #Constraints: 58516
2733.79/2741.10 c #Conflicts: 699000 | #Constraints: 59516
2733.79/2741.10 c #Conflicts: 700000 | #Constraints: 60516
2733.79/2741.10 c #Conflicts: 701000 | #Constraints: 61516
2733.79/2741.10 c #Conflicts: 702000 | #Constraints: 62516
2733.79/2741.10 c #Conflicts: 703000 | #Constraints: 63516
2733.79/2741.10 c #Conflicts: 704000 | #Constraints: 64516
2733.79/2741.10 c #Conflicts: 705000 | #Constraints: 65516
2733.79/2741.10 c INPROCESSING
2733.79/2741.10 c GARBAGE COLLECT
2733.79/2741.10 c #Conflicts: 706000 | #Constraints: 49931
2733.79/2741.10 c #Conflicts: 707000 | #Constraints: 50931
2733.79/2741.10 c #Conflicts: 708000 | #Constraints: 51931
2733.79/2741.10 c #Conflicts: 709000 | #Constraints: 52931
2733.79/2741.10 c #Conflicts: 710000 | #Constraints: 53931
2733.79/2741.10 c #Conflicts: 711000 | #Constraints: 54931
2733.79/2741.10 c #Conflicts: 712000 | #Constraints: 55931
2733.79/2741.10 c #Conflicts: 713000 | #Constraints: 56931
2733.79/2741.10 c #Conflicts: 714000 | #Constraints: 57931
2733.79/2741.10 c #Conflicts: 715000 | #Constraints: 58931
2733.79/2741.10 c #Conflicts: 716000 | #Constraints: 59931
2733.79/2741.10 c #Conflicts: 717000 | #Constraints: 60931
2733.79/2741.10 c #Conflicts: 718000 | #Constraints: 61931
2733.79/2741.10 c #Conflicts: 719000 | #Constraints: 62931
2733.79/2741.10 c #Conflicts: 720000 | #Constraints: 63931
2733.79/2741.10 c #Conflicts: 721000 | #Constraints: 64931
2733.79/2741.10 c #Conflicts: 722000 | #Constraints: 65931
2733.79/2741.10 c INPROCESSING
2733.79/2741.10 c GARBAGE COLLECT
2733.79/2741.10 c #Conflicts: 723000 | #Constraints: 50141
2733.79/2741.10 c #Conflicts: 724000 | #Constraints: 51141
2733.79/2741.10 c #Conflicts: 725000 | #Constraints: 52141
2733.79/2741.10 c #Conflicts: 726000 | #Constraints: 53141
2733.79/2741.10 c #Conflicts: 727000 | #Constraints: 54141
2733.79/2741.10 c #Conflicts: 728000 | #Constraints: 55141
2733.79/2741.10 c #Conflicts: 729000 | #Constraints: 56141
2733.79/2741.10 c #Conflicts: 730000 | #Constraints: 57141
2733.79/2741.10 c #Conflicts: 731000 | #Constraints: 58141
2733.79/2741.10 c #Conflicts: 732000 | #Constraints: 59141
2733.79/2741.10 c #Conflicts: 733000 | #Constraints: 60141
2733.79/2741.10 c #Conflicts: 734000 | #Constraints: 61141
2733.79/2741.10 c #Conflicts: 735000 | #Constraints: 62141
2733.79/2741.10 c #Conflicts: 736000 | #Constraints: 63141
2733.79/2741.10 c #Conflicts: 737000 | #Constraints: 64141
3034.25/3042.41 c #Conflicts: 738000 | #Constraints: 65141
3034.25/3042.41 c #Conflicts: 739000 | #Constraints: 66141
3034.25/3042.41 c INPROCESSING
3034.25/3042.41 c GARBAGE COLLECT
3034.25/3042.41 c #Conflicts: 740000 | #Constraints: 50132
3034.25/3042.41 c #Conflicts: 741000 | #Constraints: 51132
3034.25/3042.41 c #Conflicts: 742000 | #Constraints: 52132
3034.25/3042.41 c #Conflicts: 743000 | #Constraints: 53132
3034.25/3042.41 c #Conflicts: 744000 | #Constraints: 54132
3034.25/3042.41 c #Conflicts: 745000 | #Constraints: 55132
3034.25/3042.41 c #Conflicts: 746000 | #Constraints: 56132
3034.25/3042.41 c #Conflicts: 747000 | #Constraints: 57132
3034.25/3042.41 c #Conflicts: 748000 | #Constraints: 58132
3034.25/3042.41 c #Conflicts: 749000 | #Constraints: 59132
3034.25/3042.41 c #Conflicts: 750000 | #Constraints: 60132
3034.25/3042.41 c #Conflicts: 751000 | #Constraints: 61132
3034.25/3042.41 c #Conflicts: 752000 | #Constraints: 62132
3034.25/3042.41 c #Conflicts: 753000 | #Constraints: 63132
3034.25/3042.41 c #Conflicts: 754000 | #Constraints: 64132
3034.25/3042.41 c #Conflicts: 755000 | #Constraints: 65132
3034.25/3042.41 c #Conflicts: 756000 | #Constraints: 66132
3034.25/3042.41 c INPROCESSING
3034.25/3042.41 c GARBAGE COLLECT
3034.25/3042.41 c #Conflicts: 757000 | #Constraints: 49916
3034.25/3042.41 c #Conflicts: 758000 | #Constraints: 50916
3034.25/3042.41 c #Conflicts: 759000 | #Constraints: 51916
3034.25/3042.41 c #Conflicts: 760000 | #Constraints: 52916
3034.25/3042.41 c #Conflicts: 761000 | #Constraints: 53916
3034.25/3042.41 c #Conflicts: 762000 | #Constraints: 54916
3034.25/3042.41 c #Conflicts: 763000 | #Constraints: 55916
3034.25/3042.41 c #Conflicts: 764000 | #Constraints: 56916
3034.25/3042.41 c #Conflicts: 765000 | #Constraints: 57916
3034.25/3042.41 c #Conflicts: 766000 | #Constraints: 58916
3034.25/3042.41 c #Conflicts: 767000 | #Constraints: 59916
3034.25/3042.41 c #Conflicts: 768000 | #Constraints: 60916
3034.25/3042.41 c #Conflicts: 769000 | #Constraints: 61916
3034.25/3042.41 c #Conflicts: 770000 | #Constraints: 62916
3034.25/3042.41 c #Conflicts: 771000 | #Constraints: 63916
3034.25/3042.41 c #Conflicts: 772000 | #Constraints: 64916
3034.25/3042.41 c #Conflicts: 773000 | #Constraints: 65916
3034.25/3042.41 c #Conflicts: 774000 | #Constraints: 66916
3034.25/3042.41 c INPROCESSING
3034.25/3042.41 c GARBAGE COLLECT
3034.25/3042.41 c #Conflicts: 775000 | #Constraints: 50510
3034.25/3042.41 c #Conflicts: 776000 | #Constraints: 51510
3034.25/3042.41 c #Conflicts: 777000 | #Constraints: 52510
3034.25/3042.41 c #Conflicts: 778000 | #Constraints: 53510
3034.25/3042.41 c #Conflicts: 779000 | #Constraints: 54510
3034.25/3042.41 c #Conflicts: 780000 | #Constraints: 55510
3034.25/3042.41 c #Conflicts: 781000 | #Constraints: 56510
3034.25/3042.41 c #Conflicts: 782000 | #Constraints: 57510
3034.25/3042.41 c #Conflicts: 783000 | #Constraints: 58510
3034.25/3042.41 c #Conflicts: 784000 | #Constraints: 59510
3034.25/3042.41 c #Conflicts: 785000 | #Constraints: 60510
3034.25/3042.41 c #Conflicts: 786000 | #Constraints: 61510
3034.25/3042.41 c #Conflicts: 787000 | #Constraints: 62510
3034.25/3042.41 c #Conflicts: 788000 | #Constraints: 63510
3034.25/3042.41 c #Conflicts: 789000 | #Constraints: 64510
3034.25/3042.41 c #Conflicts: 790000 | #Constraints: 65510
3034.25/3042.41 c #Conflicts: 791000 | #Constraints: 66510
3034.25/3042.41 c #Conflicts: 792000 | #Constraints: 67510
3034.25/3042.41 c INPROCESSING
3034.25/3042.41 c GARBAGE COLLECT
3034.25/3042.41 c #Conflicts: 793000 | #Constraints: 50907
3034.25/3042.41 c #Conflicts: 794000 | #Constraints: 51907
3034.25/3042.41 c #Conflicts: 795000 | #Constraints: 52907
3034.25/3042.41 c #Conflicts: 796000 | #Constraints: 53907
3034.25/3042.41 c #Conflicts: 797000 | #Constraints: 54907
3034.25/3042.41 c #Conflicts: 798000 | #Constraints: 55907
3034.25/3042.41 c #Conflicts: 799000 | #Constraints: 56907
3034.25/3042.41 c #Conflicts: 800000 | #Constraints: 57907
3034.25/3042.41 c #Conflicts: 801000 | #Constraints: 58907
3034.25/3042.41 c #Conflicts: 802000 | #Constraints: 59907
3034.25/3042.41 c #Conflicts: 803000 | #Constraints: 60907
3034.25/3042.41 c #Conflicts: 804000 | #Constraints: 61907
3034.25/3042.41 c #Conflicts: 805000 | #Constraints: 62907
3034.25/3042.41 c #Conflicts: 806000 | #Constraints: 63907
3034.25/3042.41 c #Conflicts: 807000 | #Constraints: 64907
3034.25/3042.41 c #Conflicts: 808000 | #Constraints: 65907
3034.25/3042.41 c #Conflicts: 809000 | #Constraints: 66907
3034.25/3042.41 c #Conflicts: 810000 | #Constraints: 67907
3034.25/3042.41 c INPROCESSING
3034.25/3042.41 c GARBAGE COLLECT
3034.25/3042.41 c #Conflicts: 811000 | #Constraints: 51099
3034.25/3042.41 c #Conflicts: 812000 | #Constraints: 52099
3034.25/3042.41 c #Conflicts: 813000 | #Constraints: 53099
3299.78/3308.61 c #Conflicts: 814000 | #Constraints: 54099
3299.78/3308.61 c #Conflicts: 815000 | #Constraints: 55099
3299.78/3308.61 c #Conflicts: 816000 | #Constraints: 56099
3299.78/3308.61 c #Conflicts: 817000 | #Constraints: 57099
3299.78/3308.61 c #Conflicts: 818000 | #Constraints: 58099
3299.78/3308.61 c #Conflicts: 819000 | #Constraints: 59099
3299.78/3308.61 c #Conflicts: 820000 | #Constraints: 60099
3299.78/3308.61 c #Conflicts: 821000 | #Constraints: 61099
3299.78/3308.61 c #Conflicts: 822000 | #Constraints: 62099
3299.78/3308.61 c #Conflicts: 823000 | #Constraints: 63099
3299.78/3308.61 c #Conflicts: 824000 | #Constraints: 64099
3299.78/3308.61 c #Conflicts: 825000 | #Constraints: 65099
3299.78/3308.61 c #Conflicts: 826000 | #Constraints: 66099
3299.78/3308.61 c #Conflicts: 827000 | #Constraints: 67099
3299.78/3308.61 c #Conflicts: 828000 | #Constraints: 68099
3299.78/3308.61 c INPROCESSING
3299.78/3308.61 c GARBAGE COLLECT
3299.78/3308.61 c #Conflicts: 829000 | #Constraints: 51109
3299.78/3308.61 c #Conflicts: 830000 | #Constraints: 52109
3299.78/3308.61 c #Conflicts: 831000 | #Constraints: 53109
3299.78/3308.61 c #Conflicts: 832000 | #Constraints: 54109
3299.78/3308.61 c #Conflicts: 833000 | #Constraints: 55109
3299.78/3308.61 c #Conflicts: 834000 | #Constraints: 56109
3299.78/3308.61 c #Conflicts: 835000 | #Constraints: 57109
3299.78/3308.61 c #Conflicts: 836000 | #Constraints: 58109
3299.78/3308.61 c #Conflicts: 837000 | #Constraints: 59109
3299.78/3308.61 c #Conflicts: 838000 | #Constraints: 60109
3299.78/3308.61 c #Conflicts: 839000 | #Constraints: 61109
3299.78/3308.61 c #Conflicts: 840000 | #Constraints: 62109
3299.78/3308.61 c #Conflicts: 841000 | #Constraints: 63109
3299.78/3308.61 c #Conflicts: 842000 | #Constraints: 64109
3299.78/3308.61 c #Conflicts: 843000 | #Constraints: 65109
3299.78/3308.61 c #Conflicts: 844000 | #Constraints: 66109
3299.78/3308.61 c #Conflicts: 845000 | #Constraints: 67109
3299.78/3308.61 c #Conflicts: 846000 | #Constraints: 68109
3299.78/3308.61 c INPROCESSING
3299.78/3308.61 c GARBAGE COLLECT
3299.78/3308.61 c #Conflicts: 847000 | #Constraints: 50919
3299.78/3308.61 c #Conflicts: 848000 | #Constraints: 51919
3299.78/3308.61 c #Conflicts: 849000 | #Constraints: 52919
3299.78/3308.61 c #Conflicts: 850000 | #Constraints: 53919
3299.78/3308.61 c #Conflicts: 851000 | #Constraints: 54919
3299.78/3308.61 c #Conflicts: 852000 | #Constraints: 55919
3299.78/3308.61 c #Conflicts: 853000 | #Constraints: 56919
3299.78/3308.61 c #Conflicts: 854000 | #Constraints: 57919
3299.78/3308.61 c #Conflicts: 855000 | #Constraints: 58919
3299.78/3308.61 c #Conflicts: 856000 | #Constraints: 59919
3299.78/3308.61 c #Conflicts: 857000 | #Constraints: 60919
3299.78/3308.61 c #Conflicts: 858000 | #Constraints: 61919
3299.78/3308.61 c #Conflicts: 859000 | #Constraints: 62919
3299.78/3308.61 c #Conflicts: 860000 | #Constraints: 63919
3299.78/3308.61 c #Conflicts: 861000 | #Constraints: 64919
3299.78/3308.61 c #Conflicts: 862000 | #Constraints: 65919
3299.78/3308.61 c #Conflicts: 863000 | #Constraints: 66919
3299.78/3308.61 c #Conflicts: 864000 | #Constraints: 67919
3299.78/3308.61 c #Conflicts: 865000 | #Constraints: 68919
3299.78/3308.61 c INPROCESSING
3299.78/3308.61 c GARBAGE COLLECT
3299.78/3308.61 c #Conflicts: 866000 | #Constraints: 51531
3299.78/3308.61 c #Conflicts: 867000 | #Constraints: 52531
3299.78/3308.61 c #Conflicts: 868000 | #Constraints: 53531
3299.78/3308.61 c #Conflicts: 869000 | #Constraints: 54531
3299.78/3308.61 c #Conflicts: 870000 | #Constraints: 55531
3299.78/3308.61 c #Conflicts: 871000 | #Constraints: 56531
3299.78/3308.61 c #Conflicts: 872000 | #Constraints: 57531
3299.78/3308.61 c #Conflicts: 873000 | #Constraints: 58531
3299.78/3308.61 c #Conflicts: 874000 | #Constraints: 59531
3299.78/3308.61 c #Conflicts: 875000 | #Constraints: 60531
3299.78/3308.61 c #Conflicts: 876000 | #Constraints: 61531
3299.78/3308.61 c #Conflicts: 877000 | #Constraints: 62531
3299.78/3308.61 c #Conflicts: 878000 | #Constraints: 63531
3299.78/3308.61 c #Conflicts: 879000 | #Constraints: 64531
3299.78/3308.61 c #Conflicts: 880000 | #Constraints: 65531
3299.78/3308.61 c #Conflicts: 881000 | #Constraints: 66531
3299.78/3308.61 c #Conflicts: 882000 | #Constraints: 67531
3299.78/3308.61 c #Conflicts: 883000 | #Constraints: 68531
3299.78/3308.61 c #Conflicts: 884000 | #Constraints: 69531
3299.78/3308.61 c INPROCESSING
3299.78/3308.61 c GARBAGE COLLECT
3299.78/3308.61 c #Conflicts: 885000 | #Constraints: 51939
3299.78/3308.61 c #Conflicts: 886000 | #Constraints: 52939
3299.78/3308.61 c #Conflicts: 887000 | #Constraints: 53939
3299.78/3308.61 c #Conflicts: 888000 | #Constraints: 54939
3299.78/3308.61 c #Conflicts: 889000 | #Constraints: 55939
3586.06/3595.67 c #Conflicts: 890000 | #Constraints: 56939
3586.06/3595.67 c #Conflicts: 891000 | #Constraints: 57939
3586.06/3595.67 c #Conflicts: 892000 | #Constraints: 58939
3586.06/3595.67 c #Conflicts: 893000 | #Constraints: 59939
3586.06/3595.67 c #Conflicts: 894000 | #Constraints: 60939
3586.06/3595.67 c #Conflicts: 895000 | #Constraints: 61939
3586.06/3595.67 c #Conflicts: 896000 | #Constraints: 62939
3586.06/3595.67 c #Conflicts: 897000 | #Constraints: 63939
3586.06/3595.67 c #Conflicts: 898000 | #Constraints: 64939
3586.06/3595.67 c #Conflicts: 899000 | #Constraints: 65939
3586.06/3595.67 c #Conflicts: 900000 | #Constraints: 66939
3586.06/3595.67 c #Conflicts: 901000 | #Constraints: 67939
3586.06/3595.67 c #Conflicts: 902000 | #Constraints: 68939
3586.06/3595.67 c #Conflicts: 903000 | #Constraints: 69939
3586.06/3595.67 c INPROCESSING
3586.06/3595.67 c GARBAGE COLLECT
3586.06/3595.67 c #Conflicts: 904000 | #Constraints: 52134
3586.06/3595.67 c #Conflicts: 905000 | #Constraints: 53134
3586.06/3595.67 c #Conflicts: 906000 | #Constraints: 54134
3586.06/3595.67 c #Conflicts: 907000 | #Constraints: 55134
3586.06/3595.67 c #Conflicts: 908000 | #Constraints: 56134
3586.06/3595.67 c #Conflicts: 909000 | #Constraints: 57134
3586.06/3595.67 c #Conflicts: 910000 | #Constraints: 58134
3586.06/3595.67 c #Conflicts: 911000 | #Constraints: 59134
3586.06/3595.67 c #Conflicts: 912000 | #Constraints: 60134
3586.06/3595.67 c #Conflicts: 913000 | #Constraints: 61134
3586.06/3595.67 c #Conflicts: 914000 | #Constraints: 62134
3586.06/3595.67 c #Conflicts: 915000 | #Constraints: 63134
3586.06/3595.67 c #Conflicts: 916000 | #Constraints: 64134
3586.06/3595.67 c #Conflicts: 917000 | #Constraints: 65134
3586.06/3595.67 c #Conflicts: 918000 | #Constraints: 66134
3586.06/3595.67 c #Conflicts: 919000 | #Constraints: 67134
3586.06/3595.67 c #Conflicts: 920000 | #Constraints: 68134
3586.06/3595.67 c #Conflicts: 921000 | #Constraints: 69134
3586.06/3595.67 c #Conflicts: 922000 | #Constraints: 70134
3586.06/3595.67 c INPROCESSING
3586.06/3595.67 c GARBAGE COLLECT
3586.06/3595.67 c #Conflicts: 923000 | #Constraints: 52123
3586.06/3595.67 c #Conflicts: 924000 | #Constraints: 53123
3586.06/3595.67 c #Conflicts: 925000 | #Constraints: 54123
3586.06/3595.67 c #Conflicts: 926000 | #Constraints: 55123
3586.06/3595.67 c #Conflicts: 927000 | #Constraints: 56123
3586.06/3595.67 c #Conflicts: 928000 | #Constraints: 57123
3586.06/3595.67 c #Conflicts: 929000 | #Constraints: 58123
3586.06/3595.67 c #Conflicts: 930000 | #Constraints: 59123
3586.06/3595.67 c #Conflicts: 931000 | #Constraints: 60123
3586.06/3595.67 c #Conflicts: 932000 | #Constraints: 61123
3586.06/3595.67 c #Conflicts: 933000 | #Constraints: 62123
3586.06/3595.67 c #Conflicts: 934000 | #Constraints: 63123
3586.06/3595.67 c #Conflicts: 935000 | #Constraints: 64123
3586.06/3595.67 c #Conflicts: 936000 | #Constraints: 65123
3586.06/3595.67 c #Conflicts: 937000 | #Constraints: 66123
3586.06/3595.67 c #Conflicts: 938000 | #Constraints: 67123
3586.06/3595.67 c #Conflicts: 939000 | #Constraints: 68123
3586.06/3595.67 c #Conflicts: 940000 | #Constraints: 69123
3586.06/3595.67 c #Conflicts: 941000 | #Constraints: 70123
3586.06/3595.67 c INPROCESSING
3586.06/3595.67 c GARBAGE COLLECT
3586.06/3595.67 c #Conflicts: 942000 | #Constraints: 51932
3586.06/3595.67 c #Conflicts: 943000 | #Constraints: 52932
3586.06/3595.67 c #Conflicts: 944000 | #Constraints: 53932
3586.06/3595.67 c #Conflicts: 945000 | #Constraints: 54932
3586.06/3595.67 c #Conflicts: 946000 | #Constraints: 55932
3586.06/3595.67 c #Conflicts: 947000 | #Constraints: 56932
3586.06/3595.67 c #Conflicts: 948000 | #Constraints: 57932
3586.06/3595.67 c #Conflicts: 949000 | #Constraints: 58932
3586.06/3595.67 c #Conflicts: 950000 | #Constraints: 59932
3586.06/3595.67 c #Conflicts: 951000 | #Constraints: 60932
3586.06/3595.67 c #Conflicts: 952000 | #Constraints: 61932
3586.06/3595.67 c #Conflicts: 953000 | #Constraints: 62932
3586.06/3595.67 c #Conflicts: 954000 | #Constraints: 63932
3586.06/3595.67 c #Conflicts: 955000 | #Constraints: 64932
3586.06/3595.67 c #Conflicts: 956000 | #Constraints: 65932
3586.06/3595.67 c #Conflicts: 957000 | #Constraints: 66932
3586.06/3595.67 c #Conflicts: 958000 | #Constraints: 67932
3586.06/3595.67 c #Conflicts: 959000 | #Constraints: 68932
3586.06/3595.67 c #Conflicts: 960000 | #Constraints: 69932
3586.06/3595.67 c #Conflicts: 961000 | #Constraints: 70932
3586.06/3595.67 c INPROCESSING
3586.06/3595.67 c GARBAGE COLLECT
3586.06/3595.67 c #Conflicts: 962000 | #Constraints: 52537
3586.06/3595.67 c #Conflicts: 963000 | #Constraints: 53537
3586.06/3595.67 c #Conflicts: 964000 | #Constraints: 54537
3586.06/3595.67 c #Conflicts: 965000 | #Constraints: 55537
3586.06/3595.67 c #Conflicts: 966000 | #Constraints: 56537
3600.02/3609.60 c #Conflicts: 967000 | #Constraints: 57537
3600.02/3609.60 c #Conflicts: 968000 | #Constraints: 58537
3600.02/3609.60 c #Conflicts: 969000 | #Constraints: 59537
3600.02/3609.60 c #Conflicts: 970000 | #Constraints: 60537
3600.02/3609.60 c Program interrupted by user.
3600.02/3609.60 c cpu time 3589.89 s
3600.02/3609.60 c deterministic time 819582568816 8.20e+11
3600.02/3609.60 c optimization time 26.8926 s
3600.02/3609.60 c total solve time 3263.79 s
3600.02/3609.60 c core-guided solve time 3263.79 s
3600.02/3609.60 c propagation time 2246.62 s
3600.02/3609.60 c conflict analysis time 955.494 s
3600.02/3609.60 c propagations 608604080
3600.02/3609.60 c resolve steps 36472063
3600.02/3609.60 c decisions 6300913
3600.02/3609.60 c conflicts 970000
3600.02/3609.60 c restarts 2044
3600.02/3609.60 c inprocessing phases 89
3600.02/3609.60 c input clauses 32242
3600.02/3609.60 c input cardinalities 6
3600.02/3609.60 c input general constraints 0
3600.02/3609.60 c input average constraint length 2.68
3600.02/3609.60 c input average constraint degree 1.05
3600.02/3609.60 c learned clauses 699255
3600.02/3609.60 c learned cardinalities 7087
3600.02/3609.60 c learned general constraints 263661
3600.02/3609.60 c learned average constraint length 2100.18
3600.02/3609.60 c learned average constraint degree 3047192.27
3600.02/3609.60 c watched constraints 223677
3600.02/3609.60 c counting constraints 39984
3600.02/3609.60 c gcd simplifications 6061
3600.02/3609.60 c detected cardinalities 12
3600.02/3609.60 c weakened non-implied lits 345385522
3600.02/3609.60 c weakened non-implying lits 161087
3600.02/3609.60 c original variables 8901
3600.02/3609.60 c clausal propagations 539677748
3600.02/3609.60 c cardinality propagations 18349999
3600.02/3609.60 c watched propagations 13312748
3600.02/3609.60 c counting propagations 33439605
3600.02/3609.60 c watch lookups 15403452400
3600.02/3609.60 c watch backjump lookups 12062857895
3600.02/3609.60 c watch checks 725981169771
3600.02/3609.60 c propagation checks 59431127219
3600.02/3609.60 c constraint additions 5473186843
3600.02/3609.60 c trail pops 615869694
3600.02/3609.60 c formula constraints 32242
3600.02/3609.60 c learned constraints 970003
3600.02/3609.60 c bound constraints 6
3600.02/3609.60 c core-guided constraints 0
3600.02/3609.60 c encountered formula constraints 33357439
3600.02/3609.60 c encountered learned constraints 4084531
3600.02/3609.60 c encountered bound constraints 93
3600.02/3609.60 c encountered core-guided constraints 0
3600.02/3609.60 c LP total time 0 s
3600.02/3609.60 c LP solve time 0 s
3600.02/3609.60 c LP constraints added 0
3600.02/3609.60 c LP constraints removed 0
3600.02/3609.60 c LP pivots internal 0
3600.02/3609.60 c LP pivots root 0
3600.02/3609.60 c LP calls 0
3600.02/3609.60 c LP optimalities 0
3600.02/3609.60 c LP no pivot count 0
3600.02/3609.60 c LP infeasibilities 0
3600.02/3609.60 c LP valid Farkas constraints 0
3600.02/3609.60 c LP learned Farkas constraints 0
3600.02/3609.60 c LP basis resets 0
3600.02/3609.60 c LP cycling count 0
3600.02/3609.60 c LP singular count 0
3600.02/3609.60 c LP no primal count 0
3600.02/3609.60 c LP no farkas count 0
3600.02/3609.60 c LP other issue count 0
3600.02/3609.60 c LP Gomory cuts 0
3600.02/3609.60 c LP learned cuts 0
3600.02/3609.60 c LP deleted cuts 0
3600.02/3609.60 c LP encountered Gomory constraints 0
3600.02/3609.60 c LP encountered Farkas constraints 0
3600.02/3609.60 c LP encountered learned Farkas constraints 0
3600.02/3609.60 c CG auxiliary variables introduced 0
3600.02/3609.60 c CG solutions found 0
3600.02/3609.60 c CG cores constructed 5
3600.02/3609.60 c CG core cardinality constraints returned 0
3600.02/3609.60 c CG unit cores 0
3600.02/3609.60 c CG single cores 5
3600.02/3609.60 c CG blocks removed during cardinality reduction 0
3600.02/3609.60 c CG first core best 0
3600.02/3609.60 c CG decision core best 0
3600.02/3609.60 c CG core reduction tie 0
3600.02/3609.60 c CG core degree average 1.00
3600.02/3609.60 c CG core slack average 82.20
3600.02/3609.60 c CG exhausted 0
3600.02/3609.60 c CG exhaust time 0 s
3600.02/3609.60 c CG trimmed 0
3600.02/3609.60 c CG trim time 0.00068 s
3600.02/3609.60 c CG minimized 0
3600.02/3609.60 c CG minimize time 0 s
3600.02/3609.60 c CG am1 prop time 0.001867 s
3600.02/3609.60 c CG # am1s reformulated 0
3600.02/3609.60 c CG lower bound derived from am1s 0
3600.02/3609.60 c CG # clausal cores 5
3600.02/3609.60 c CG # cardinality cores 0
3600.02/3609.60 c CG # pb cores 0
3600.02/3609.60 c CG # pb reforms 0
3600.02/3609.60 c CG # cores discarded because of pb reform 0
3600.02/3609.60 d LOWERBOUND 5
3600.02/3609.60 d NCORES 5
3600.02/3609.60 d NPBCORES 0
3600.02/3609.60 d NPBREFORM 0
3600.02/3609.60 d NTRIMMED 0
3600.02/3609.60 d NEXHAUSTED 0
3600.02/3609.60 d NAM1S 0
3600.02/3609.60 d AM1LB 0
3600.02/3609.60 c [Papilo Statistics]
3600.02/3609.60 c prepro time 0.0380433s
3600.02/3609.60 c # tsx applied 51
3600.02/3609.60 c # tsx conflicts 0
3600.02/3609.60 c # bound changes 5
3600.02/3609.60 c # side changes 34
3600.02/3609.60 c # coef changes 119
3600.02/3609.60 c # rounds 2
3600.02/3609.60 c # deted vars 22
3600.02/3609.60 c # deted constrs 56
3600.02/3609.60 c # consecutive rounds of only bound changes 0
3600.02/3609.60 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: 63708 MiB (50659 MiB free)
memory of node 1: 64465 MiB (53137 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497781-1751400991/watcher-4497781-1751400991 -o /tmp/evaluation-result-4497781-1751400991/solver-4497781-1751400991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55036 --watchdog 3760 mixed-bag HOME/instance-4497781-1751400991.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55359, runsolver pid=55356
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.29 4.26 4.15 5/264 55360
/proc/meminfo: memFree=106258956/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=113396 memory=32628 CPUtime=0.08 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 7300 0 0 0 7 1 0 0 20 0 1 0 55777706 116117504 8157 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 28349 8157 2336 2842 0 10043 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113396 KiB
Current children cumulated memory: 32628 KiB
[startup+0.205603 s]*
/proc/loadavg: 4.29 4.26 4.15 5/264 55360
/proc/meminfo: memFree=106186632/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=167160 memory=91556 CPUtime=0.19 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 20932 0 0 0 15 4 0 0 20 0 1 0 55777706 171171840 22889 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 41790 22889 4096 2842 0 23484 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 167160 KiB
Current children cumulated memory: 91556 KiB
[startup+0.305378 s]*
/proc/loadavg: 4.29 4.26 4.15 5/262 55360
/proc/meminfo: memFree=106622484/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=185484 memory=109384 CPUtime=0.28 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 27414 0 0 0 23 5 0 0 20 0 1 0 55777706 189935616 27346 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 46371 27346 4096 2842 0 28065 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 185484 KiB
Current children cumulated memory: 109384 KiB
[startup+0.700192 s]
/proc/loadavg: 4.29 4.26 4.15 5/260 55368
/proc/meminfo: memFree=106597788/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=242352 memory=154824 CPUtime=0.68 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 38653 0 0 0 60 8 0 0 20 0 1 0 55777706 248168448 38706 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 60588 38706 4224 2842 0 42282 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 242352 KiB
Current children cumulated memory: 154824 KiB
[startup+1.50017 s]
/proc/loadavg: 4.29 4.26 4.15 4/256 55395
/proc/meminfo: memFree=109617024/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=310224 memory=219848 CPUtime=1.48 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 54811 0 0 0 137 11 0 0 20 0 1 0 55777706 317669376 54962 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 77556 54962 4352 2842 0 59250 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 310224 KiB
Current children cumulated memory: 219848 KiB
[startup+3.10524 s]
/proc/loadavg: 4.29 4.26 4.15 5/264 55450
/proc/meminfo: memFree=108896832/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=325376 memory=235080 CPUtime=3.08 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 58709 0 0 0 296 12 0 0 20 0 1 0 55777706 333185024 58770 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 81344 58770 4352 2842 0 63038 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 325376 KiB
Current children cumulated memory: 235080 KiB
[startup+6.30012 s]
/proc/loadavg: 4.27 4.25 4.15 5/264 55450
/proc/meminfo: memFree=108524352/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=353236 memory=257480 CPUtime=6.26 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 64490 0 0 0 613 13 0 0 20 0 1 0 55777706 361713664 64370 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 88309 64370 4352 2842 0 70003 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 353236 KiB
Current children cumulated memory: 257480 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.27 4.16 5/262 55486
/proc/meminfo: memFree=108680460/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=380444 memory=269128 CPUtime=12.63 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 67982 0 0 0 1249 14 0 0 20 0 1 0 55777706 389574656 67282 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 95111 67282 4352 2842 0 76805 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 380444 KiB
Current children cumulated memory: 269128 KiB
[startup+25.5001 s]
/proc/loadavg: 4.26 4.25 4.15 5/265 55496
/proc/meminfo: memFree=105907616/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=453988 memory=339016 CPUtime=25.39 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 85486 0 0 0 2522 17 0 0 20 0 1 0 55777706 464883712 84754 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 113497 84754 4352 2842 0 95191 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 453988 KiB
Current children cumulated memory: 339016 KiB
[startup+51.1053 s]
/proc/loadavg: 4.24 4.25 4.16 5/264 55496
/proc/meminfo: memFree=96947804/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=457864 memory=346056 CPUtime=50.92 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 87272 0 0 0 5074 18 0 0 20 0 1 0 55777706 468852736 86514 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 114466 86514 4352 2842 0 96160 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 457864 KiB
Current children cumulated memory: 346056 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.24 4.16 4/264 55656
/proc/meminfo: memFree=108162904/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=457864 memory=346440 CPUtime=101.95 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 87351 0 0 0 10176 19 0 0 20 0 1 0 55777706 468852736 86610 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 114466 86610 4352 2842 0 96160 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 457864 KiB
Current children cumulated memory: 346440 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/266 55778
/proc/meminfo: memFree=98632404/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=457864 memory=346440 CPUtime=161.75 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 87356 0 0 0 16156 19 0 0 20 0 1 0 55777706 468852736 86610 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 114466 86610 4352 2842 0 96160 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 457864 KiB
Current children cumulated memory: 346440 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.17 4.14 5/266 55780
/proc/meminfo: memFree=96756264/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=457864 memory=346440 CPUtime=221.57 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 87390 0 0 0 22137 20 0 0 20 0 1 0 55777706 468852736 86610 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 114466 86610 4352 2842 0 96160 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 457864 KiB
Current children cumulated memory: 346440 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/267 55835
/proc/meminfo: memFree=102679596/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=457864 memory=348744 CPUtime=281.41 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 87401 0 0 0 28121 20 0 0 20 0 1 0 55777706 468852736 87186 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 114466 87186 4352 2842 0 96160 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 457864 KiB
Current children cumulated memory: 348744 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/267 55936
/proc/meminfo: memFree=107957568/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=515484 memory=397364 CPUtime=341.26 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 90998 0 0 0 34079 47 0 0 20 0 1 0 55777706 527855616 99341 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 128871 99341 4512 2842 0 110565 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 515484 KiB
Current children cumulated memory: 397364 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/265 55938
/proc/meminfo: memFree=108248456/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=515484 memory=437172 CPUtime=401.11 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 91011 0 0 0 40037 74 0 0 20 0 1 0 55777706 527855616 109293 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 128871 109293 4512 2842 0 110565 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 515484 KiB
Current children cumulated memory: 437172 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/265 55940
/proc/meminfo: memFree=108216068/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=565572 memory=452840 CPUtime=460.96 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 91944 0 0 0 45996 100 0 0 20 0 1 0 55777706 579145728 113210 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 141393 113210 4512 2842 0 123087 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 634796 KiB
[startup+2862.3 s]
/proc/loadavg: 4.19 4.14 4.12 5/264 56063
/proc/meminfo: memFree=107505164/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=2854.66 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93546 0 0 0 284635 831 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 2854.66 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 56065
/proc/meminfo: memFree=107529164/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=2914.5 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93546 0 0 0 290599 851 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/264 56067
/proc/meminfo: memFree=107512588/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=2974.33 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93553 0 0 0 296570 863 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 56076
/proc/meminfo: memFree=107491980/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3034.15 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93598 0 0 0 302537 878 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/265 56078
/proc/meminfo: memFree=107492588/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3093.99 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93612 0 0 0 308506 893 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/265 56080
/proc/meminfo: memFree=107492284/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3153.84 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93612 0 0 0 314480 904 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 56082
/proc/meminfo: memFree=107484492/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3213.69 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93612 0 0 0 320448 921 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 56086
/proc/meminfo: memFree=107436676/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3273.54 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93668 0 0 0 326417 937 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 56088
/proc/meminfo: memFree=107427400/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3333.4 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93778 0 0 0 332385 955 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 56090
/proc/meminfo: memFree=107427504/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3393.25 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93800 0 0 0 338352 973 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 56092
/proc/meminfo: memFree=107427376/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3453.1 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93810 0 0 0 344320 990 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 56094
/proc/meminfo: memFree=107427416/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3512.94 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93812 0 0 0 350293 1001 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/262 56096
/proc/meminfo: memFree=107427020/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3572.79 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93813 0 0 0 356271 1008 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.31 4.17 4.12 5/262 56096
/proc/meminfo: memFree=107419292/131249988 swapFree=33010416/33010684
[pid=55359] ppid=55356 vsize=779220 memory=634796 CPUtime=3600.02 cores=4,6
/proc/55359/stat : 55359 (mixed-bag) R 55356 55359 55025 0 -1 4194304 93813 0 0 0 358988 1014 0 0 20 0 1 0 55777706 797921280 158699 18446744073709551615 4235264 15874749 140736155097520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 31395840 140736155101596 140736155101673 140736155101673 140736155107275 0
/proc/55359/statm: 194805 158699 4512 2842 0 176499 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 779220 KiB
Current children cumulated memory: 634796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 55359 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.89 s, system=10.1507 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.04
CPU user time (s): 3589.89
CPU system time (s): 10.1507
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 779220
Max. memory (cumulated for all children) (KiB): 634796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.89
system time used= 10.1507
maximum resident set size= 635820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93842
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= 269
involuntary context switches= 1135
# summary of solver processes directly reported to runsolver:
# pid: 55359
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.89
# total CPU system time (s): 10.1507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79273 second user time and 15.5753 second system time
The end
Begin job on nodeC031 at 2025-07-01 22:16:32
IDJOB=4497781
IDBENCH=148193
IDSOLVER=3340
FILE ID=nodeC031/4497781-1751400991
RUNJOBID= nodeC031-1751397381-55036
SLURM_JOB_ID= 9598276
Free space on /tmp= 432856 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4497781-1751400991/watcher-4497781-1751400991 -o /tmp/evaluation-result-4497781-1751400991/solver-4497781-1751400991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55036 --watchdog 3760 mixed-bag HOME/instance-4497781-1751400991.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=161699557
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.915
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.954
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.431
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.102
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.763
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3590.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106288280 kB
MemAvailable: 126044080 kB
Buffers: 2128 kB
Cached: 20442228 kB
SwapCached: 12 kB
Active: 4065660 kB
Inactive: 20036384 kB
Active(anon): 3665272 kB
Inactive(anon): 10472 kB
Active(file): 400388 kB
Inactive(file): 20025912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32364 kB
Writeback: 4 kB
AnonPages: 3658268 kB
Mapped: 129336 kB
Shmem: 18052 kB
KReclaimable: 337480 kB
Slab: 428868 kB
SReclaimable: 337480 kB
SUnreclaim: 91388 kB
KernelStack: 4192 kB
PageTables: 10348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 4018060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3588096 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC031 at 2025-07-01 23:16:41