0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.09/0.11 c [STEP] solving with SCIP
299.21/300.32 c [STEP] preprocessing done, loading into solver
299.21/300.38 c [STEP] solving
299.21/300.38 c #variables 8880 #constraints 32242
299.21/300.38 c SMALL=int, LARGE=long long
299.21/300.38 c bounds - >= 0 @ 299.126
299.21/300.38 c stratification level: 0
418.03/419.53 c bounds - >= 1 @ 299.17
418.03/419.53 c bounds - >= 2 @ 299.172
418.03/419.53 c bounds - >= 3 @ 299.173
418.03/419.53 c bounds - >= 4 @ 299.174
418.03/419.53 c bounds - >= 5 @ 299.175
418.03/419.53 c #Conflicts: 1000 | #Constraints: 33251
418.03/419.53 c #Conflicts: 2000 | #Constraints: 34251
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 3000 | #Constraints: 34260
418.03/419.53 c #Conflicts: 4000 | #Constraints: 35260
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 5000 | #Constraints: 34667
418.03/419.53 c #Conflicts: 6000 | #Constraints: 35667
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 7000 | #Constraints: 34678
418.03/419.53 c #Conflicts: 8000 | #Constraints: 35678
418.03/419.53 c #Conflicts: 9000 | #Constraints: 36678
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 10000 | #Constraints: 35374
418.03/419.53 c #Conflicts: 11000 | #Constraints: 36374
418.03/419.53 c #Conflicts: 12000 | #Constraints: 37374
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 13000 | #Constraints: 35823
418.03/419.53 c #Conflicts: 14000 | #Constraints: 36823
418.03/419.53 c #Conflicts: 15000 | #Constraints: 37823
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 16000 | #Constraints: 36053
418.03/419.53 c #Conflicts: 17000 | #Constraints: 37053
418.03/419.53 c #Conflicts: 18000 | #Constraints: 38053
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 19000 | #Constraints: 36083
418.03/419.53 c #Conflicts: 20000 | #Constraints: 37083
418.03/419.53 c #Conflicts: 21000 | #Constraints: 38083
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 22000 | #Constraints: 35875
418.03/419.53 c #Conflicts: 23000 | #Constraints: 36875
418.03/419.53 c #Conflicts: 24000 | #Constraints: 37875
418.03/419.53 c #Conflicts: 25000 | #Constraints: 38875
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 26000 | #Constraints: 36482
418.03/419.53 c #Conflicts: 27000 | #Constraints: 37482
418.03/419.53 c #Conflicts: 28000 | #Constraints: 38482
418.03/419.53 c #Conflicts: 29000 | #Constraints: 39482
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 30000 | #Constraints: 36881
418.03/419.53 c #Conflicts: 31000 | #Constraints: 37881
418.03/419.53 c #Conflicts: 32000 | #Constraints: 38881
418.03/419.53 c #Conflicts: 33000 | #Constraints: 39881
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 34000 | #Constraints: 37085
418.03/419.53 c #Conflicts: 35000 | #Constraints: 38085
418.03/419.53 c #Conflicts: 36000 | #Constraints: 39085
418.03/419.53 c #Conflicts: 37000 | #Constraints: 40085
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 38000 | #Constraints: 37091
418.03/419.53 c #Conflicts: 39000 | #Constraints: 38091
418.03/419.53 c #Conflicts: 40000 | #Constraints: 39091
418.03/419.53 c #Conflicts: 41000 | #Constraints: 40091
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 42000 | #Constraints: 36888
418.03/419.53 c #Conflicts: 43000 | #Constraints: 37888
418.03/419.53 c #Conflicts: 44000 | #Constraints: 38888
418.03/419.53 c #Conflicts: 45000 | #Constraints: 39888
418.03/419.53 c #Conflicts: 46000 | #Constraints: 40888
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 47000 | #Constraints: 37481
418.03/419.53 c #Conflicts: 48000 | #Constraints: 38481
418.03/419.53 c #Conflicts: 49000 | #Constraints: 39481
418.03/419.53 c #Conflicts: 50000 | #Constraints: 40481
418.03/419.53 c #Conflicts: 51000 | #Constraints: 41481
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 52000 | #Constraints: 37887
418.03/419.53 c #Conflicts: 53000 | #Constraints: 38887
418.03/419.53 c #Conflicts: 54000 | #Constraints: 39887
418.03/419.53 c #Conflicts: 55000 | #Constraints: 40887
418.03/419.53 c #Conflicts: 56000 | #Constraints: 41887
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 57000 | #Constraints: 38084
418.03/419.53 c #Conflicts: 58000 | #Constraints: 39084
418.03/419.53 c #Conflicts: 59000 | #Constraints: 40084
418.03/419.53 c #Conflicts: 60000 | #Constraints: 41084
418.03/419.53 c #Conflicts: 61000 | #Constraints: 42084
418.03/419.53 c INPROCESSING
418.03/419.53 c GARBAGE COLLECT
418.03/419.53 c #Conflicts: 62000 | #Constraints: 38083
418.03/419.53 c #Conflicts: 63000 | #Constraints: 39083
418.03/419.53 c #Conflicts: 64000 | #Constraints: 40083
418.03/419.53 c #Conflicts: 65000 | #Constraints: 41083
418.03/419.53 c #Conflicts: 66000 | #Constraints: 42083
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 67000 | #Constraints: 37877
599.25/601.32 c #Conflicts: 68000 | #Constraints: 38877
599.25/601.32 c #Conflicts: 69000 | #Constraints: 39877
599.25/601.32 c #Conflicts: 70000 | #Constraints: 40877
599.25/601.32 c #Conflicts: 71000 | #Constraints: 41877
599.25/601.32 c #Conflicts: 72000 | #Constraints: 42877
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 73000 | #Constraints: 38480
599.25/601.32 c #Conflicts: 74000 | #Constraints: 39480
599.25/601.32 c #Conflicts: 75000 | #Constraints: 40480
599.25/601.32 c #Conflicts: 76000 | #Constraints: 41480
599.25/601.32 c #Conflicts: 77000 | #Constraints: 42480
599.25/601.32 c #Conflicts: 78000 | #Constraints: 43480
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 79000 | #Constraints: 38892
599.25/601.32 c #Conflicts: 80000 | #Constraints: 39892
599.25/601.32 c #Conflicts: 81000 | #Constraints: 40892
599.25/601.32 c #Conflicts: 82000 | #Constraints: 41892
599.25/601.32 c #Conflicts: 83000 | #Constraints: 42892
599.25/601.32 c #Conflicts: 84000 | #Constraints: 43892
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 85000 | #Constraints: 39092
599.25/601.32 c #Conflicts: 86000 | #Constraints: 40092
599.25/601.32 c #Conflicts: 87000 | #Constraints: 41092
599.25/601.32 c #Conflicts: 88000 | #Constraints: 42092
599.25/601.32 c #Conflicts: 89000 | #Constraints: 43092
599.25/601.32 c #Conflicts: 90000 | #Constraints: 44092
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 91000 | #Constraints: 39099
599.25/601.32 c #Conflicts: 92000 | #Constraints: 40099
599.25/601.32 c #Conflicts: 93000 | #Constraints: 41099
599.25/601.32 c #Conflicts: 94000 | #Constraints: 42099
599.25/601.32 c #Conflicts: 95000 | #Constraints: 43099
599.25/601.32 c #Conflicts: 96000 | #Constraints: 44099
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 97000 | #Constraints: 38912
599.25/601.32 c #Conflicts: 98000 | #Constraints: 39912
599.25/601.32 c #Conflicts: 99000 | #Constraints: 40912
599.25/601.32 c #Conflicts: 100000 | #Constraints: 41912
599.25/601.32 c #Conflicts: 101000 | #Constraints: 42912
599.25/601.32 c #Conflicts: 102000 | #Constraints: 43912
599.25/601.32 c #Conflicts: 103000 | #Constraints: 44912
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 104000 | #Constraints: 39509
599.25/601.32 c #Conflicts: 105000 | #Constraints: 40509
599.25/601.32 c #Conflicts: 106000 | #Constraints: 41509
599.25/601.32 c #Conflicts: 107000 | #Constraints: 42509
599.25/601.32 c #Conflicts: 108000 | #Constraints: 43509
599.25/601.32 c #Conflicts: 109000 | #Constraints: 44509
599.25/601.32 c #Conflicts: 110000 | #Constraints: 45509
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 111000 | #Constraints: 39913
599.25/601.32 c #Conflicts: 112000 | #Constraints: 40913
599.25/601.32 c #Conflicts: 113000 | #Constraints: 41913
599.25/601.32 c #Conflicts: 114000 | #Constraints: 42913
599.25/601.32 c #Conflicts: 115000 | #Constraints: 43913
599.25/601.32 c #Conflicts: 116000 | #Constraints: 44913
599.25/601.32 c #Conflicts: 117000 | #Constraints: 45913
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 118000 | #Constraints: 40113
599.25/601.32 c #Conflicts: 119000 | #Constraints: 41113
599.25/601.32 c #Conflicts: 120000 | #Constraints: 42113
599.25/601.32 c #Conflicts: 121000 | #Constraints: 43113
599.25/601.32 c #Conflicts: 122000 | #Constraints: 44113
599.25/601.32 c #Conflicts: 123000 | #Constraints: 45113
599.25/601.32 c #Conflicts: 124000 | #Constraints: 46113
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 125000 | #Constraints: 40107
599.25/601.32 c #Conflicts: 126000 | #Constraints: 41107
599.25/601.32 c #Conflicts: 127000 | #Constraints: 42107
599.25/601.32 c #Conflicts: 128000 | #Constraints: 43107
599.25/601.32 c #Conflicts: 129000 | #Constraints: 44107
599.25/601.32 c #Conflicts: 130000 | #Constraints: 45107
599.25/601.32 c #Conflicts: 131000 | #Constraints: 46107
599.25/601.32 c INPROCESSING
599.25/601.32 c GARBAGE COLLECT
599.25/601.32 c #Conflicts: 132000 | #Constraints: 39920
599.25/601.32 c #Conflicts: 133000 | #Constraints: 40920
599.25/601.32 c #Conflicts: 134000 | #Constraints: 41920
599.25/601.32 c #Conflicts: 135000 | #Constraints: 42920
599.25/601.32 c #Conflicts: 136000 | #Constraints: 43920
599.25/601.32 c #Conflicts: 137000 | #Constraints: 44920
599.25/601.32 c #Conflicts: 138000 | #Constraints: 45920
792.44/795.14 c #Conflicts: 139000 | #Constraints: 46920
792.44/795.14 c INPROCESSING
792.44/795.14 c GARBAGE COLLECT
792.44/795.14 c #Conflicts: 140000 | #Constraints: 40519
792.44/795.14 c #Conflicts: 141000 | #Constraints: 41519
792.44/795.14 c #Conflicts: 142000 | #Constraints: 42519
792.44/795.14 c #Conflicts: 143000 | #Constraints: 43519
792.44/795.14 c #Conflicts: 144000 | #Constraints: 44519
792.44/795.14 c #Conflicts: 145000 | #Constraints: 45519
792.44/795.14 c #Conflicts: 146000 | #Constraints: 46519
792.44/795.14 c #Conflicts: 147000 | #Constraints: 47519
792.44/795.14 c INPROCESSING
792.44/795.14 c GARBAGE COLLECT
792.44/795.14 c #Conflicts: 148000 | #Constraints: 40920
792.44/795.14 c #Conflicts: 149000 | #Constraints: 41920
792.44/795.14 c #Conflicts: 150000 | #Constraints: 42920
792.44/795.14 c #Conflicts: 151000 | #Constraints: 43920
792.44/795.14 c #Conflicts: 152000 | #Constraints: 44920
792.44/795.14 c #Conflicts: 153000 | #Constraints: 45920
792.44/795.14 c #Conflicts: 154000 | #Constraints: 46920
792.44/795.14 c #Conflicts: 155000 | #Constraints: 47920
792.44/795.14 c INPROCESSING
792.44/795.14 c GARBAGE COLLECT
792.44/795.14 c #Conflicts: 156000 | #Constraints: 41127
792.44/795.14 c #Conflicts: 157000 | #Constraints: 42127
792.44/795.14 c #Conflicts: 158000 | #Constraints: 43127
792.44/795.14 c #Conflicts: 159000 | #Constraints: 44127
792.44/795.14 c #Conflicts: 160000 | #Constraints: 45127
792.44/795.14 c #Conflicts: 161000 | #Constraints: 46127
792.44/795.14 c #Conflicts: 162000 | #Constraints: 47127
792.44/795.14 c #Conflicts: 163000 | #Constraints: 48127
792.44/795.14 c INPROCESSING
792.44/795.14 c GARBAGE COLLECT
792.44/795.14 c #Conflicts: 164000 | #Constraints: 41122
792.44/795.14 c #Conflicts: 165000 | #Constraints: 42122
792.44/795.14 c #Conflicts: 166000 | #Constraints: 43122
792.44/795.14 c #Conflicts: 167000 | #Constraints: 44122
792.44/795.14 c #Conflicts: 168000 | #Constraints: 45122
792.44/795.14 c #Conflicts: 169000 | #Constraints: 46122
792.44/795.14 c #Conflicts: 170000 | #Constraints: 47122
792.44/795.14 c #Conflicts: 171000 | #Constraints: 48122
792.44/795.14 c INPROCESSING
792.44/795.14 c GARBAGE COLLECT
792.44/795.14 c #Conflicts: 172000 | #Constraints: 40920
792.44/795.14 c #Conflicts: 173000 | #Constraints: 41920
792.44/795.14 c #Conflicts: 174000 | #Constraints: 42920
792.44/795.15 c #Conflicts: 175000 | #Constraints: 43920
792.44/795.15 c #Conflicts: 176000 | #Constraints: 44920
792.44/795.15 c #Conflicts: 177000 | #Constraints: 45920
792.44/795.15 c #Conflicts: 178000 | #Constraints: 46920
792.44/795.15 c #Conflicts: 179000 | #Constraints: 47920
792.44/795.15 c #Conflicts: 180000 | #Constraints: 48920
792.44/795.15 c INPROCESSING
792.44/795.15 c GARBAGE COLLECT
792.44/795.15 c #Conflicts: 181000 | #Constraints: 41518
792.44/795.15 c #Conflicts: 182000 | #Constraints: 42518
792.44/795.15 c #Conflicts: 183000 | #Constraints: 43518
792.44/795.15 c #Conflicts: 184000 | #Constraints: 44518
792.44/795.15 c #Conflicts: 185000 | #Constraints: 45518
792.44/795.15 c #Conflicts: 186000 | #Constraints: 46518
792.44/795.15 c #Conflicts: 187000 | #Constraints: 47518
792.44/795.15 c #Conflicts: 188000 | #Constraints: 48518
792.44/795.15 c #Conflicts: 189000 | #Constraints: 49518
792.44/795.15 c INPROCESSING
792.44/795.15 c GARBAGE COLLECT
792.44/795.15 c #Conflicts: 190000 | #Constraints: 41917
792.44/795.15 c #Conflicts: 191000 | #Constraints: 42917
792.44/795.15 c #Conflicts: 192000 | #Constraints: 43917
792.44/795.15 c #Conflicts: 193000 | #Constraints: 44917
792.44/795.15 c #Conflicts: 194000 | #Constraints: 45917
792.44/795.15 c #Conflicts: 195000 | #Constraints: 46917
792.44/795.15 c #Conflicts: 196000 | #Constraints: 47917
792.44/795.15 c #Conflicts: 197000 | #Constraints: 48917
792.44/795.15 c #Conflicts: 198000 | #Constraints: 49917
792.44/795.15 c INPROCESSING
792.44/795.15 c GARBAGE COLLECT
792.44/795.15 c #Conflicts: 199000 | #Constraints: 42116
792.44/795.15 c #Conflicts: 200000 | #Constraints: 43116
792.44/795.15 c #Conflicts: 201000 | #Constraints: 44116
792.44/795.15 c #Conflicts: 202000 | #Constraints: 45116
792.44/795.15 c #Conflicts: 203000 | #Constraints: 46116
792.44/795.15 c #Conflicts: 204000 | #Constraints: 47116
792.44/795.15 c #Conflicts: 205000 | #Constraints: 48116
792.44/795.15 c #Conflicts: 206000 | #Constraints: 49116
792.44/795.15 c #Conflicts: 207000 | #Constraints: 50116
792.44/795.15 c INPROCESSING
792.44/795.15 c GARBAGE COLLECT
792.44/795.15 c #Conflicts: 208000 | #Constraints: 42106
792.44/795.15 c #Conflicts: 209000 | #Constraints: 43106
792.44/795.15 c #Conflicts: 210000 | #Constraints: 44106
792.44/795.15 c #Conflicts: 211000 | #Constraints: 45106
1003.56/1006.92 c #Conflicts: 212000 | #Constraints: 46106
1003.56/1006.92 c #Conflicts: 213000 | #Constraints: 47106
1003.56/1006.92 c #Conflicts: 214000 | #Constraints: 48106
1003.56/1006.92 c #Conflicts: 215000 | #Constraints: 49106
1003.56/1006.92 c #Conflicts: 216000 | #Constraints: 50106
1003.56/1006.92 c INPROCESSING
1003.56/1006.92 c GARBAGE COLLECT
1003.56/1006.92 c #Conflicts: 217000 | #Constraints: 41914
1003.56/1006.92 c #Conflicts: 218000 | #Constraints: 42914
1003.56/1006.92 c #Conflicts: 219000 | #Constraints: 43914
1003.56/1006.92 c #Conflicts: 220000 | #Constraints: 44914
1003.56/1006.92 c #Conflicts: 221000 | #Constraints: 45914
1003.56/1006.92 c #Conflicts: 222000 | #Constraints: 46914
1003.56/1006.92 c #Conflicts: 223000 | #Constraints: 47914
1003.56/1006.92 c #Conflicts: 224000 | #Constraints: 48914
1003.56/1006.92 c #Conflicts: 225000 | #Constraints: 49914
1003.56/1006.92 c #Conflicts: 226000 | #Constraints: 50914
1003.56/1006.92 c INPROCESSING
1003.56/1006.92 c GARBAGE COLLECT
1003.56/1006.92 c #Conflicts: 227000 | #Constraints: 42502
1003.56/1006.92 c #Conflicts: 228000 | #Constraints: 43502
1003.56/1006.92 c #Conflicts: 229000 | #Constraints: 44502
1003.56/1006.92 c #Conflicts: 230000 | #Constraints: 45502
1003.56/1006.92 c #Conflicts: 231000 | #Constraints: 46502
1003.56/1006.92 c #Conflicts: 232000 | #Constraints: 47502
1003.56/1006.92 c #Conflicts: 233000 | #Constraints: 48502
1003.56/1006.92 c #Conflicts: 234000 | #Constraints: 49502
1003.56/1006.92 c #Conflicts: 235000 | #Constraints: 50502
1003.56/1006.92 c #Conflicts: 236000 | #Constraints: 51502
1003.56/1006.92 c INPROCESSING
1003.56/1006.92 c GARBAGE COLLECT
1003.56/1006.92 c #Conflicts: 237000 | #Constraints: 42910
1003.56/1006.92 c #Conflicts: 238000 | #Constraints: 43910
1003.56/1006.92 c #Conflicts: 239000 | #Constraints: 44910
1003.56/1006.92 c #Conflicts: 240000 | #Constraints: 45910
1003.56/1006.92 c #Conflicts: 241000 | #Constraints: 46910
1003.56/1006.92 c #Conflicts: 242000 | #Constraints: 47910
1003.56/1006.92 c #Conflicts: 243000 | #Constraints: 48910
1003.56/1006.92 c #Conflicts: 244000 | #Constraints: 49910
1003.56/1006.92 c #Conflicts: 245000 | #Constraints: 50910
1003.56/1006.92 c #Conflicts: 246000 | #Constraints: 51910
1003.56/1006.92 c INPROCESSING
1003.56/1006.92 c GARBAGE COLLECT
1003.56/1006.92 c #Conflicts: 247000 | #Constraints: 43106
1003.56/1006.92 c #Conflicts: 248000 | #Constraints: 44106
1003.56/1006.92 c #Conflicts: 249000 | #Constraints: 45106
1003.56/1006.92 c #Conflicts: 250000 | #Constraints: 46106
1003.56/1006.92 c #Conflicts: 251000 | #Constraints: 47106
1003.56/1006.92 c #Conflicts: 252000 | #Constraints: 48106
1003.56/1006.92 c #Conflicts: 253000 | #Constraints: 49106
1003.56/1006.92 c #Conflicts: 254000 | #Constraints: 50106
1003.56/1006.92 c #Conflicts: 255000 | #Constraints: 51106
1003.56/1006.92 c #Conflicts: 256000 | #Constraints: 52106
1003.56/1006.92 c INPROCESSING
1003.56/1006.92 c GARBAGE COLLECT
1003.56/1006.92 c #Conflicts: 257000 | #Constraints: 43097
1003.56/1006.92 c #Conflicts: 258000 | #Constraints: 44097
1003.56/1006.92 c #Conflicts: 259000 | #Constraints: 45097
1003.56/1006.92 c #Conflicts: 260000 | #Constraints: 46097
1003.56/1006.92 c #Conflicts: 261000 | #Constraints: 47097
1003.56/1006.92 c #Conflicts: 262000 | #Constraints: 48097
1003.56/1006.92 c #Conflicts: 263000 | #Constraints: 49097
1003.56/1006.92 c #Conflicts: 264000 | #Constraints: 50097
1003.56/1006.92 c #Conflicts: 265000 | #Constraints: 51097
1003.56/1006.92 c #Conflicts: 266000 | #Constraints: 52097
1003.56/1006.92 c INPROCESSING
1003.56/1006.92 c GARBAGE COLLECT
1003.56/1006.92 c #Conflicts: 267000 | #Constraints: 42908
1003.56/1006.92 c #Conflicts: 268000 | #Constraints: 43908
1003.56/1006.92 c #Conflicts: 269000 | #Constraints: 44908
1003.56/1006.92 c #Conflicts: 270000 | #Constraints: 45908
1003.56/1006.92 c #Conflicts: 271000 | #Constraints: 46908
1003.56/1006.92 c #Conflicts: 272000 | #Constraints: 47908
1003.56/1006.92 c #Conflicts: 273000 | #Constraints: 48908
1003.56/1006.92 c #Conflicts: 274000 | #Constraints: 49908
1003.56/1006.92 c #Conflicts: 275000 | #Constraints: 50908
1003.56/1006.92 c #Conflicts: 276000 | #Constraints: 51908
1003.56/1006.92 c #Conflicts: 277000 | #Constraints: 52908
1003.56/1006.92 c INPROCESSING
1003.56/1006.92 c GARBAGE COLLECT
1003.56/1006.92 c #Conflicts: 278000 | #Constraints: 43516
1003.56/1006.92 c #Conflicts: 279000 | #Constraints: 44516
1003.56/1006.92 c #Conflicts: 280000 | #Constraints: 45516
1003.56/1006.92 c #Conflicts: 281000 | #Constraints: 46516
1003.56/1006.92 c #Conflicts: 282000 | #Constraints: 47516
1003.56/1006.92 c #Conflicts: 283000 | #Constraints: 48516
1003.56/1006.92 c #Conflicts: 284000 | #Constraints: 49516
1003.56/1006.92 c #Conflicts: 285000 | #Constraints: 50516
1241.09/1245.26 c #Conflicts: 286000 | #Constraints: 51516
1241.09/1245.26 c #Conflicts: 287000 | #Constraints: 52516
1241.09/1245.26 c #Conflicts: 288000 | #Constraints: 53516
1241.09/1245.26 c INPROCESSING
1241.09/1245.26 c GARBAGE COLLECT
1241.09/1245.26 c #Conflicts: 289000 | #Constraints: 43907
1241.09/1245.26 c #Conflicts: 290000 | #Constraints: 44907
1241.09/1245.26 c #Conflicts: 291000 | #Constraints: 45907
1241.09/1245.26 c #Conflicts: 292000 | #Constraints: 46907
1241.09/1245.26 c #Conflicts: 293000 | #Constraints: 47907
1241.09/1245.26 c #Conflicts: 294000 | #Constraints: 48907
1241.09/1245.26 c #Conflicts: 295000 | #Constraints: 49907
1241.09/1245.26 c #Conflicts: 296000 | #Constraints: 50907
1241.09/1245.26 c #Conflicts: 297000 | #Constraints: 51907
1241.09/1245.26 c #Conflicts: 298000 | #Constraints: 52907
1241.09/1245.26 c #Conflicts: 299000 | #Constraints: 53907
1241.09/1245.26 c INPROCESSING
1241.09/1245.26 c GARBAGE COLLECT
1241.09/1245.26 c #Conflicts: 300000 | #Constraints: 44104
1241.09/1245.26 c #Conflicts: 301000 | #Constraints: 45104
1241.09/1245.26 c #Conflicts: 302000 | #Constraints: 46104
1241.09/1245.26 c #Conflicts: 303000 | #Constraints: 47104
1241.09/1245.26 c #Conflicts: 304000 | #Constraints: 48104
1241.09/1245.26 c #Conflicts: 305000 | #Constraints: 49104
1241.09/1245.26 c #Conflicts: 306000 | #Constraints: 50104
1241.09/1245.26 c #Conflicts: 307000 | #Constraints: 51104
1241.09/1245.26 c #Conflicts: 308000 | #Constraints: 52104
1241.09/1245.26 c #Conflicts: 309000 | #Constraints: 53104
1241.09/1245.26 c #Conflicts: 310000 | #Constraints: 54104
1241.09/1245.26 c INPROCESSING
1241.09/1245.26 c GARBAGE COLLECT
1241.09/1245.26 c #Conflicts: 311000 | #Constraints: 44112
1241.09/1245.26 c #Conflicts: 312000 | #Constraints: 45112
1241.09/1245.26 c #Conflicts: 313000 | #Constraints: 46112
1241.09/1245.26 c #Conflicts: 314000 | #Constraints: 47112
1241.09/1245.26 c #Conflicts: 315000 | #Constraints: 48112
1241.09/1245.26 c #Conflicts: 316000 | #Constraints: 49112
1241.09/1245.26 c #Conflicts: 317000 | #Constraints: 50112
1241.09/1245.26 c #Conflicts: 318000 | #Constraints: 51112
1241.09/1245.26 c #Conflicts: 319000 | #Constraints: 52112
1241.09/1245.26 c #Conflicts: 320000 | #Constraints: 53112
1241.09/1245.26 c #Conflicts: 321000 | #Constraints: 54112
1241.09/1245.26 c INPROCESSING
1241.09/1245.26 c GARBAGE COLLECT
1241.09/1245.26 c #Conflicts: 322000 | #Constraints: 43926
1241.09/1245.26 c #Conflicts: 323000 | #Constraints: 44926
1241.09/1245.26 c #Conflicts: 324000 | #Constraints: 45926
1241.09/1245.26 c #Conflicts: 325000 | #Constraints: 46926
1241.09/1245.26 c #Conflicts: 326000 | #Constraints: 47926
1241.09/1245.26 c #Conflicts: 327000 | #Constraints: 48926
1241.09/1245.26 c #Conflicts: 328000 | #Constraints: 49926
1241.09/1245.26 c #Conflicts: 329000 | #Constraints: 50926
1241.09/1245.26 c #Conflicts: 330000 | #Constraints: 51926
1241.09/1245.26 c #Conflicts: 331000 | #Constraints: 52926
1241.09/1245.26 c #Conflicts: 332000 | #Constraints: 53926
1241.09/1245.26 c #Conflicts: 333000 | #Constraints: 54926
1241.09/1245.26 c INPROCESSING
1241.09/1245.26 c GARBAGE COLLECT
1241.09/1245.26 c #Conflicts: 334000 | #Constraints: 44541
1241.09/1245.26 c #Conflicts: 335000 | #Constraints: 45541
1241.09/1245.26 c #Conflicts: 336000 | #Constraints: 46541
1241.09/1245.26 c #Conflicts: 337000 | #Constraints: 47541
1241.09/1245.26 c #Conflicts: 338000 | #Constraints: 48541
1241.09/1245.26 c #Conflicts: 339000 | #Constraints: 49541
1241.09/1245.26 c #Conflicts: 340000 | #Constraints: 50541
1241.09/1245.26 c #Conflicts: 341000 | #Constraints: 51541
1241.09/1245.26 c #Conflicts: 342000 | #Constraints: 52541
1241.09/1245.26 c #Conflicts: 343000 | #Constraints: 53541
1241.09/1245.26 c #Conflicts: 344000 | #Constraints: 54541
1241.09/1245.26 c #Conflicts: 345000 | #Constraints: 55541
1241.09/1245.26 c INPROCESSING
1241.09/1245.26 c GARBAGE COLLECT
1241.09/1245.26 c #Conflicts: 346000 | #Constraints: 44946
1241.09/1245.26 c #Conflicts: 347000 | #Constraints: 45946
1241.09/1245.26 c #Conflicts: 348000 | #Constraints: 46946
1241.09/1245.26 c #Conflicts: 349000 | #Constraints: 47946
1241.09/1245.26 c #Conflicts: 350000 | #Constraints: 48946
1241.09/1245.26 c #Conflicts: 351000 | #Constraints: 49946
1241.09/1245.26 c #Conflicts: 352000 | #Constraints: 50946
1241.09/1245.26 c #Conflicts: 353000 | #Constraints: 51946
1241.09/1245.26 c #Conflicts: 354000 | #Constraints: 52946
1241.09/1245.26 c #Conflicts: 355000 | #Constraints: 53946
1241.09/1245.26 c #Conflicts: 356000 | #Constraints: 54946
1241.09/1245.26 c #Conflicts: 357000 | #Constraints: 55946
1241.09/1245.26 c INPROCESSING
1241.09/1245.26 c GARBAGE COLLECT
1241.09/1245.26 c #Conflicts: 358000 | #Constraints: 45129
1241.09/1245.26 c #Conflicts: 359000 | #Constraints: 46129
1479.62/1484.53 c #Conflicts: 360000 | #Constraints: 47129
1479.62/1484.53 c #Conflicts: 361000 | #Constraints: 48129
1479.62/1484.53 c #Conflicts: 362000 | #Constraints: 49129
1479.62/1484.53 c #Conflicts: 363000 | #Constraints: 50129
1479.62/1484.53 c #Conflicts: 364000 | #Constraints: 51129
1479.62/1484.53 c #Conflicts: 365000 | #Constraints: 52129
1479.62/1484.53 c #Conflicts: 366000 | #Constraints: 53129
1479.62/1484.53 c #Conflicts: 367000 | #Constraints: 54129
1479.62/1484.53 c #Conflicts: 368000 | #Constraints: 55129
1479.62/1484.53 c #Conflicts: 369000 | #Constraints: 56129
1479.62/1484.53 c INPROCESSING
1479.62/1484.53 c GARBAGE COLLECT
1479.62/1484.53 c #Conflicts: 370000 | #Constraints: 45119
1479.62/1484.53 c #Conflicts: 371000 | #Constraints: 46119
1479.62/1484.53 c #Conflicts: 372000 | #Constraints: 47119
1479.62/1484.53 c #Conflicts: 373000 | #Constraints: 48119
1479.62/1484.53 c #Conflicts: 374000 | #Constraints: 49119
1479.62/1484.53 c #Conflicts: 375000 | #Constraints: 50119
1479.62/1484.53 c #Conflicts: 376000 | #Constraints: 51119
1479.62/1484.53 c #Conflicts: 377000 | #Constraints: 52119
1479.62/1484.53 c #Conflicts: 378000 | #Constraints: 53119
1479.62/1484.53 c #Conflicts: 379000 | #Constraints: 54119
1479.62/1484.53 c #Conflicts: 380000 | #Constraints: 55119
1479.62/1484.53 c #Conflicts: 381000 | #Constraints: 56119
1479.62/1484.53 c INPROCESSING
1479.62/1484.53 c GARBAGE COLLECT
1479.62/1484.53 c #Conflicts: 382000 | #Constraints: 44911
1479.62/1484.53 c #Conflicts: 383000 | #Constraints: 45911
1479.62/1484.53 c #Conflicts: 384000 | #Constraints: 46911
1479.62/1484.53 c #Conflicts: 385000 | #Constraints: 47911
1479.62/1484.53 c #Conflicts: 386000 | #Constraints: 48911
1479.62/1484.53 c #Conflicts: 387000 | #Constraints: 49911
1479.62/1484.53 c #Conflicts: 388000 | #Constraints: 50911
1479.62/1484.53 c #Conflicts: 389000 | #Constraints: 51911
1479.62/1484.53 c #Conflicts: 390000 | #Constraints: 52911
1479.62/1484.53 c #Conflicts: 391000 | #Constraints: 53911
1479.62/1484.53 c #Conflicts: 392000 | #Constraints: 54911
1479.62/1484.53 c #Conflicts: 393000 | #Constraints: 55911
1479.62/1484.53 c #Conflicts: 394000 | #Constraints: 56911
1479.62/1484.53 c INPROCESSING
1479.62/1484.53 c GARBAGE COLLECT
1479.62/1484.53 c #Conflicts: 395000 | #Constraints: 45521
1479.62/1484.53 c #Conflicts: 396000 | #Constraints: 46521
1479.62/1484.53 c #Conflicts: 397000 | #Constraints: 47521
1479.62/1484.53 c #Conflicts: 398000 | #Constraints: 48521
1479.62/1484.53 c #Conflicts: 399000 | #Constraints: 49521
1479.62/1484.53 c #Conflicts: 400000 | #Constraints: 50521
1479.62/1484.53 c #Conflicts: 401000 | #Constraints: 51521
1479.62/1484.53 c #Conflicts: 402000 | #Constraints: 52521
1479.62/1484.53 c #Conflicts: 403000 | #Constraints: 53521
1479.62/1484.53 c #Conflicts: 404000 | #Constraints: 54521
1479.62/1484.53 c #Conflicts: 405000 | #Constraints: 55521
1479.62/1484.53 c #Conflicts: 406000 | #Constraints: 56521
1479.62/1484.53 c #Conflicts: 407000 | #Constraints: 57521
1479.62/1484.53 c INPROCESSING
1479.62/1484.53 c GARBAGE COLLECT
1479.62/1484.53 c #Conflicts: 408000 | #Constraints: 45919
1479.62/1484.53 c #Conflicts: 409000 | #Constraints: 46919
1479.62/1484.53 c #Conflicts: 410000 | #Constraints: 47919
1479.62/1484.53 c #Conflicts: 411000 | #Constraints: 48919
1479.62/1484.53 c #Conflicts: 412000 | #Constraints: 49919
1479.62/1484.53 c #Conflicts: 413000 | #Constraints: 50919
1479.62/1484.53 c #Conflicts: 414000 | #Constraints: 51919
1479.62/1484.53 c #Conflicts: 415000 | #Constraints: 52919
1479.62/1484.53 c #Conflicts: 416000 | #Constraints: 53919
1479.62/1484.53 c #Conflicts: 417000 | #Constraints: 54919
1479.62/1484.53 c #Conflicts: 418000 | #Constraints: 55919
1479.62/1484.53 c #Conflicts: 419000 | #Constraints: 56919
1479.62/1484.53 c #Conflicts: 420000 | #Constraints: 57919
1479.62/1484.53 c INPROCESSING
1479.62/1484.53 c GARBAGE COLLECT
1479.62/1484.53 c #Conflicts: 421000 | #Constraints: 46126
1479.62/1484.53 c #Conflicts: 422000 | #Constraints: 47126
1479.62/1484.53 c #Conflicts: 423000 | #Constraints: 48126
1479.62/1484.53 c #Conflicts: 424000 | #Constraints: 49126
1479.62/1484.53 c #Conflicts: 425000 | #Constraints: 50126
1479.62/1484.53 c #Conflicts: 426000 | #Constraints: 51126
1479.62/1484.53 c #Conflicts: 427000 | #Constraints: 52126
1479.62/1484.53 c #Conflicts: 428000 | #Constraints: 53126
1479.62/1484.53 c #Conflicts: 429000 | #Constraints: 54126
1479.62/1484.53 c #Conflicts: 430000 | #Constraints: 55126
1479.62/1484.53 c #Conflicts: 431000 | #Constraints: 56126
1479.62/1484.53 c #Conflicts: 432000 | #Constraints: 57126
1479.62/1484.53 c #Conflicts: 433000 | #Constraints: 58126
1479.62/1484.53 c INPROCESSING
1479.62/1484.53 c GARBAGE COLLECT
1479.62/1484.53 c #Conflicts: 434000 | #Constraints: 46143
1777.18/1783.02 c #Conflicts: 435000 | #Constraints: 47143
1777.18/1783.02 c #Conflicts: 436000 | #Constraints: 48143
1777.18/1783.02 c #Conflicts: 437000 | #Constraints: 49143
1777.18/1783.02 c #Conflicts: 438000 | #Constraints: 50143
1777.18/1783.02 c #Conflicts: 439000 | #Constraints: 51143
1777.18/1783.02 c #Conflicts: 440000 | #Constraints: 52143
1777.18/1783.02 c #Conflicts: 441000 | #Constraints: 53143
1777.18/1783.02 c #Conflicts: 442000 | #Constraints: 54143
1777.18/1783.02 c #Conflicts: 443000 | #Constraints: 55143
1777.18/1783.02 c #Conflicts: 444000 | #Constraints: 56143
1777.18/1783.02 c #Conflicts: 445000 | #Constraints: 57143
1777.18/1783.02 c #Conflicts: 446000 | #Constraints: 58143
1777.18/1783.02 c INPROCESSING
1777.18/1783.02 c GARBAGE COLLECT
1777.18/1783.02 c #Conflicts: 447000 | #Constraints: 45932
1777.18/1783.02 c #Conflicts: 448000 | #Constraints: 46932
1777.18/1783.02 c #Conflicts: 449000 | #Constraints: 47932
1777.18/1783.02 c #Conflicts: 450000 | #Constraints: 48932
1777.18/1783.02 c #Conflicts: 451000 | #Constraints: 49932
1777.18/1783.02 c #Conflicts: 452000 | #Constraints: 50932
1777.18/1783.02 c #Conflicts: 453000 | #Constraints: 51932
1777.18/1783.02 c #Conflicts: 454000 | #Constraints: 52932
1777.18/1783.02 c #Conflicts: 455000 | #Constraints: 53932
1777.18/1783.02 c #Conflicts: 456000 | #Constraints: 54932
1777.18/1783.02 c #Conflicts: 457000 | #Constraints: 55932
1777.18/1783.02 c #Conflicts: 458000 | #Constraints: 56932
1777.18/1783.02 c #Conflicts: 459000 | #Constraints: 57932
1777.18/1783.02 c #Conflicts: 460000 | #Constraints: 58932
1777.18/1783.02 c INPROCESSING
1777.18/1783.02 c GARBAGE COLLECT
1777.18/1783.02 c #Conflicts: 461000 | #Constraints: 46543
1777.18/1783.02 c #Conflicts: 462000 | #Constraints: 47543
1777.18/1783.02 c #Conflicts: 463000 | #Constraints: 48543
1777.18/1783.02 c #Conflicts: 464000 | #Constraints: 49543
1777.18/1783.02 c #Conflicts: 465000 | #Constraints: 50543
1777.18/1783.02 c #Conflicts: 466000 | #Constraints: 51543
1777.18/1783.02 c #Conflicts: 467000 | #Constraints: 52543
1777.18/1783.02 c #Conflicts: 468000 | #Constraints: 53543
1777.18/1783.02 c #Conflicts: 469000 | #Constraints: 54543
1777.18/1783.02 c #Conflicts: 470000 | #Constraints: 55543
1777.18/1783.02 c #Conflicts: 471000 | #Constraints: 56543
1777.18/1783.02 c #Conflicts: 472000 | #Constraints: 57543
1777.18/1783.02 c #Conflicts: 473000 | #Constraints: 58543
1777.18/1783.02 c #Conflicts: 474000 | #Constraints: 59543
1777.18/1783.02 c INPROCESSING
1777.18/1783.02 c GARBAGE COLLECT
1777.18/1783.02 c #Conflicts: 475000 | #Constraints: 46946
1777.18/1783.02 c #Conflicts: 476000 | #Constraints: 47946
1777.18/1783.02 c #Conflicts: 477000 | #Constraints: 48946
1777.18/1783.02 c #Conflicts: 478000 | #Constraints: 49946
1777.18/1783.02 c #Conflicts: 479000 | #Constraints: 50946
1777.18/1783.02 c #Conflicts: 480000 | #Constraints: 51946
1777.18/1783.02 c #Conflicts: 481000 | #Constraints: 52946
1777.18/1783.02 c #Conflicts: 482000 | #Constraints: 53946
1777.18/1783.02 c #Conflicts: 483000 | #Constraints: 54946
1777.18/1783.02 c #Conflicts: 484000 | #Constraints: 55946
1777.18/1783.02 c #Conflicts: 485000 | #Constraints: 56946
1777.18/1783.02 c #Conflicts: 486000 | #Constraints: 57946
1777.18/1783.02 c #Conflicts: 487000 | #Constraints: 58946
1777.18/1783.02 c #Conflicts: 488000 | #Constraints: 59946
1777.18/1783.02 c INPROCESSING
1777.18/1783.02 c GARBAGE COLLECT
1777.18/1783.02 c #Conflicts: 489000 | #Constraints: 47166
1777.18/1783.02 c #Conflicts: 490000 | #Constraints: 48166
1777.18/1783.02 c #Conflicts: 491000 | #Constraints: 49166
1777.18/1783.02 c #Conflicts: 492000 | #Constraints: 50166
1777.18/1783.02 c #Conflicts: 493000 | #Constraints: 51166
1777.18/1783.02 c #Conflicts: 494000 | #Constraints: 52166
1777.18/1783.02 c #Conflicts: 495000 | #Constraints: 53166
1777.18/1783.02 c #Conflicts: 496000 | #Constraints: 54166
1777.18/1783.02 c #Conflicts: 497000 | #Constraints: 55166
1777.18/1783.02 c #Conflicts: 498000 | #Constraints: 56166
1777.18/1783.02 c #Conflicts: 499000 | #Constraints: 57166
1777.18/1783.02 c #Conflicts: 500000 | #Constraints: 58166
1777.18/1783.02 c #Conflicts: 501000 | #Constraints: 59166
1777.18/1783.02 c #Conflicts: 502000 | #Constraints: 60166
1777.18/1783.02 c INPROCESSING
1777.18/1783.02 c GARBAGE COLLECT
1777.18/1783.02 c #Conflicts: 503000 | #Constraints: 47170
1777.18/1783.02 c #Conflicts: 504000 | #Constraints: 48170
1777.18/1783.02 c #Conflicts: 505000 | #Constraints: 49170
1777.18/1783.02 c #Conflicts: 506000 | #Constraints: 50170
1777.18/1783.02 c #Conflicts: 507000 | #Constraints: 51170
1777.18/1783.02 c #Conflicts: 508000 | #Constraints: 52170
1777.18/1783.02 c #Conflicts: 509000 | #Constraints: 53170
1777.18/1783.02 c #Conflicts: 510000 | #Constraints: 54170
2060.86/2067.66 c #Conflicts: 511000 | #Constraints: 55170
2060.86/2067.66 c #Conflicts: 512000 | #Constraints: 56170
2060.86/2067.66 c #Conflicts: 513000 | #Constraints: 57170
2060.86/2067.66 c #Conflicts: 514000 | #Constraints: 58170
2060.86/2067.66 c #Conflicts: 515000 | #Constraints: 59170
2060.86/2067.66 c #Conflicts: 516000 | #Constraints: 60170
2060.86/2067.66 c INPROCESSING
2060.86/2067.66 c GARBAGE COLLECT
2060.86/2067.66 c #Conflicts: 517000 | #Constraints: 46946
2060.86/2067.66 c #Conflicts: 518000 | #Constraints: 47946
2060.86/2067.66 c #Conflicts: 519000 | #Constraints: 48946
2060.86/2067.66 c #Conflicts: 520000 | #Constraints: 49946
2060.86/2067.66 c #Conflicts: 521000 | #Constraints: 50946
2060.86/2067.66 c #Conflicts: 522000 | #Constraints: 51946
2060.86/2067.66 c #Conflicts: 523000 | #Constraints: 52946
2060.86/2067.66 c #Conflicts: 524000 | #Constraints: 53946
2060.86/2067.66 c #Conflicts: 525000 | #Constraints: 54946
2060.86/2067.66 c #Conflicts: 526000 | #Constraints: 55946
2060.86/2067.66 c #Conflicts: 527000 | #Constraints: 56946
2060.86/2067.66 c #Conflicts: 528000 | #Constraints: 57946
2060.86/2067.66 c #Conflicts: 529000 | #Constraints: 58946
2060.86/2067.66 c #Conflicts: 530000 | #Constraints: 59946
2060.86/2067.66 c #Conflicts: 531000 | #Constraints: 60946
2060.86/2067.66 c INPROCESSING
2060.86/2067.66 c GARBAGE COLLECT
2060.86/2067.66 c #Conflicts: 532000 | #Constraints: 47523
2060.86/2067.66 c #Conflicts: 533000 | #Constraints: 48523
2060.86/2067.66 c #Conflicts: 534000 | #Constraints: 49523
2060.86/2067.66 c #Conflicts: 535000 | #Constraints: 50523
2060.86/2067.66 c #Conflicts: 536000 | #Constraints: 51523
2060.86/2067.66 c #Conflicts: 537000 | #Constraints: 52523
2060.86/2067.66 c #Conflicts: 538000 | #Constraints: 53523
2060.86/2067.66 c #Conflicts: 539000 | #Constraints: 54523
2060.86/2067.66 c #Conflicts: 540000 | #Constraints: 55523
2060.86/2067.66 c #Conflicts: 541000 | #Constraints: 56523
2060.86/2067.66 c #Conflicts: 542000 | #Constraints: 57523
2060.86/2067.66 c #Conflicts: 543000 | #Constraints: 58523
2060.86/2067.66 c #Conflicts: 544000 | #Constraints: 59523
2060.86/2067.66 c #Conflicts: 545000 | #Constraints: 60523
2060.86/2067.66 c #Conflicts: 546000 | #Constraints: 61523
2060.86/2067.66 c INPROCESSING
2060.86/2067.66 c GARBAGE COLLECT
2060.86/2067.66 c #Conflicts: 547000 | #Constraints: 47932
2060.86/2067.66 c #Conflicts: 548000 | #Constraints: 48932
2060.86/2067.66 c #Conflicts: 549000 | #Constraints: 49932
2060.86/2067.66 c #Conflicts: 550000 | #Constraints: 50932
2060.86/2067.66 c #Conflicts: 551000 | #Constraints: 51932
2060.86/2067.66 c #Conflicts: 552000 | #Constraints: 52932
2060.86/2067.66 c #Conflicts: 553000 | #Constraints: 53932
2060.86/2067.66 c #Conflicts: 554000 | #Constraints: 54932
2060.86/2067.66 c #Conflicts: 555000 | #Constraints: 55932
2060.86/2067.66 c #Conflicts: 556000 | #Constraints: 56932
2060.86/2067.66 c #Conflicts: 557000 | #Constraints: 57932
2060.86/2067.66 c #Conflicts: 558000 | #Constraints: 58932
2060.86/2067.66 c #Conflicts: 559000 | #Constraints: 59932
2060.86/2067.66 c #Conflicts: 560000 | #Constraints: 60932
2060.86/2067.66 c #Conflicts: 561000 | #Constraints: 61932
2060.86/2067.66 c INPROCESSING
2060.86/2067.66 c GARBAGE COLLECT
2060.86/2067.66 c #Conflicts: 562000 | #Constraints: 48121
2060.86/2067.66 c #Conflicts: 563000 | #Constraints: 49121
2060.86/2067.66 c #Conflicts: 564000 | #Constraints: 50121
2060.86/2067.66 c #Conflicts: 565000 | #Constraints: 51121
2060.86/2067.66 c #Conflicts: 566000 | #Constraints: 52121
2060.86/2067.66 c #Conflicts: 567000 | #Constraints: 53121
2060.86/2067.66 c #Conflicts: 568000 | #Constraints: 54121
2060.86/2067.66 c #Conflicts: 569000 | #Constraints: 55121
2060.86/2067.66 c #Conflicts: 570000 | #Constraints: 56121
2060.86/2067.66 c #Conflicts: 571000 | #Constraints: 57121
2060.86/2067.66 c #Conflicts: 572000 | #Constraints: 58121
2060.86/2067.66 c #Conflicts: 573000 | #Constraints: 59121
2060.86/2067.66 c #Conflicts: 574000 | #Constraints: 60121
2060.86/2067.66 c #Conflicts: 575000 | #Constraints: 61121
2060.86/2067.66 c #Conflicts: 576000 | #Constraints: 62121
2060.86/2067.66 c INPROCESSING
2060.86/2067.66 c GARBAGE COLLECT
2060.86/2067.66 c #Conflicts: 577000 | #Constraints: 48122
2060.86/2067.66 c #Conflicts: 578000 | #Constraints: 49122
2060.86/2067.66 c #Conflicts: 579000 | #Constraints: 50122
2060.86/2067.66 c #Conflicts: 580000 | #Constraints: 51122
2060.86/2067.66 c #Conflicts: 581000 | #Constraints: 52122
2060.86/2067.66 c #Conflicts: 582000 | #Constraints: 53122
2060.86/2067.66 c #Conflicts: 583000 | #Constraints: 54122
2060.86/2067.66 c #Conflicts: 584000 | #Constraints: 55122
2060.86/2067.66 c #Conflicts: 585000 | #Constraints: 56122
2060.86/2067.66 c #Conflicts: 586000 | #Constraints: 57122
2374.67/2382.51 c #Conflicts: 587000 | #Constraints: 58122
2374.67/2382.51 c #Conflicts: 588000 | #Constraints: 59122
2374.67/2382.51 c #Conflicts: 589000 | #Constraints: 60122
2374.67/2382.51 c #Conflicts: 590000 | #Constraints: 61122
2374.67/2382.51 c #Conflicts: 591000 | #Constraints: 62122
2374.67/2382.51 c INPROCESSING
2374.67/2382.51 c GARBAGE COLLECT
2374.67/2382.51 c #Conflicts: 592000 | #Constraints: 47941
2374.67/2382.51 c #Conflicts: 593000 | #Constraints: 48941
2374.67/2382.51 c #Conflicts: 594000 | #Constraints: 49941
2374.67/2382.51 c #Conflicts: 595000 | #Constraints: 50941
2374.67/2382.51 c #Conflicts: 596000 | #Constraints: 51941
2374.67/2382.51 c #Conflicts: 597000 | #Constraints: 52941
2374.67/2382.51 c #Conflicts: 598000 | #Constraints: 53941
2374.67/2382.51 c #Conflicts: 599000 | #Constraints: 54941
2374.67/2382.51 c #Conflicts: 600000 | #Constraints: 55941
2374.67/2382.51 c #Conflicts: 601000 | #Constraints: 56941
2374.67/2382.51 c #Conflicts: 602000 | #Constraints: 57941
2374.67/2382.51 c #Conflicts: 603000 | #Constraints: 58941
2374.67/2382.51 c #Conflicts: 604000 | #Constraints: 59941
2374.67/2382.51 c #Conflicts: 605000 | #Constraints: 60941
2374.67/2382.51 c #Conflicts: 606000 | #Constraints: 61941
2374.67/2382.51 c #Conflicts: 607000 | #Constraints: 62941
2374.67/2382.51 c INPROCESSING
2374.67/2382.51 c GARBAGE COLLECT
2374.67/2382.51 c #Conflicts: 608000 | #Constraints: 48536
2374.67/2382.51 c #Conflicts: 609000 | #Constraints: 49536
2374.67/2382.51 c #Conflicts: 610000 | #Constraints: 50536
2374.67/2382.51 c #Conflicts: 611000 | #Constraints: 51536
2374.67/2382.51 c #Conflicts: 612000 | #Constraints: 52536
2374.67/2382.51 c #Conflicts: 613000 | #Constraints: 53536
2374.67/2382.51 c #Conflicts: 614000 | #Constraints: 54536
2374.67/2382.51 c #Conflicts: 615000 | #Constraints: 55536
2374.67/2382.51 c #Conflicts: 616000 | #Constraints: 56536
2374.67/2382.51 c #Conflicts: 617000 | #Constraints: 57536
2374.67/2382.51 c #Conflicts: 618000 | #Constraints: 58536
2374.67/2382.51 c #Conflicts: 619000 | #Constraints: 59536
2374.67/2382.51 c #Conflicts: 620000 | #Constraints: 60536
2374.67/2382.51 c #Conflicts: 621000 | #Constraints: 61536
2374.67/2382.51 c #Conflicts: 622000 | #Constraints: 62536
2374.67/2382.51 c #Conflicts: 623000 | #Constraints: 63536
2374.67/2382.51 c INPROCESSING
2374.67/2382.51 c GARBAGE COLLECT
2374.67/2382.51 c #Conflicts: 624000 | #Constraints: 48926
2374.67/2382.51 c #Conflicts: 625000 | #Constraints: 49926
2374.67/2382.51 c #Conflicts: 626000 | #Constraints: 50926
2374.67/2382.51 c #Conflicts: 627000 | #Constraints: 51926
2374.67/2382.51 c #Conflicts: 628000 | #Constraints: 52926
2374.67/2382.51 c #Conflicts: 629000 | #Constraints: 53926
2374.67/2382.51 c #Conflicts: 630000 | #Constraints: 54926
2374.67/2382.51 c #Conflicts: 631000 | #Constraints: 55926
2374.67/2382.51 c #Conflicts: 632000 | #Constraints: 56926
2374.67/2382.51 c #Conflicts: 633000 | #Constraints: 57926
2374.67/2382.51 c #Conflicts: 634000 | #Constraints: 58926
2374.67/2382.51 c #Conflicts: 635000 | #Constraints: 59926
2374.67/2382.51 c #Conflicts: 636000 | #Constraints: 60926
2374.67/2382.51 c #Conflicts: 637000 | #Constraints: 61926
2374.67/2382.51 c #Conflicts: 638000 | #Constraints: 62926
2374.67/2382.51 c #Conflicts: 639000 | #Constraints: 63926
2374.67/2382.51 c INPROCESSING
2374.67/2382.51 c GARBAGE COLLECT
2374.67/2382.51 c #Conflicts: 640000 | #Constraints: 49143
2374.67/2382.51 c #Conflicts: 641000 | #Constraints: 50143
2374.67/2382.51 c #Conflicts: 642000 | #Constraints: 51143
2374.67/2382.51 c #Conflicts: 643000 | #Constraints: 52143
2374.67/2382.51 c #Conflicts: 644000 | #Constraints: 53143
2374.67/2382.51 c #Conflicts: 645000 | #Constraints: 54143
2374.67/2382.51 c #Conflicts: 646000 | #Constraints: 55143
2374.67/2382.51 c #Conflicts: 647000 | #Constraints: 56143
2374.67/2382.51 c #Conflicts: 648000 | #Constraints: 57143
2374.67/2382.51 c #Conflicts: 649000 | #Constraints: 58143
2374.67/2382.51 c #Conflicts: 650000 | #Constraints: 59143
2374.67/2382.51 c #Conflicts: 651000 | #Constraints: 60143
2374.67/2382.51 c #Conflicts: 652000 | #Constraints: 61143
2374.67/2382.51 c #Conflicts: 653000 | #Constraints: 62143
2374.67/2382.51 c #Conflicts: 654000 | #Constraints: 63143
2374.67/2382.51 c #Conflicts: 655000 | #Constraints: 64143
2374.67/2382.51 c INPROCESSING
2374.67/2382.51 c GARBAGE COLLECT
2374.67/2382.51 c #Conflicts: 656000 | #Constraints: 49138
2374.67/2382.51 c #Conflicts: 657000 | #Constraints: 50138
2374.67/2382.51 c #Conflicts: 658000 | #Constraints: 51138
2374.67/2382.51 c #Conflicts: 659000 | #Constraints: 52138
2374.67/2382.51 c #Conflicts: 660000 | #Constraints: 53138
2374.67/2382.51 c #Conflicts: 661000 | #Constraints: 54138
2675.27/2684.28 c #Conflicts: 662000 | #Constraints: 55138
2675.27/2684.28 c #Conflicts: 663000 | #Constraints: 56138
2675.27/2684.28 c #Conflicts: 664000 | #Constraints: 57138
2675.27/2684.28 c #Conflicts: 665000 | #Constraints: 58138
2675.27/2684.28 c #Conflicts: 666000 | #Constraints: 59138
2675.27/2684.28 c #Conflicts: 667000 | #Constraints: 60138
2675.27/2684.28 c #Conflicts: 668000 | #Constraints: 61138
2675.27/2684.28 c #Conflicts: 669000 | #Constraints: 62138
2675.27/2684.28 c #Conflicts: 670000 | #Constraints: 63138
2675.27/2684.28 c #Conflicts: 671000 | #Constraints: 64138
2675.27/2684.28 c INPROCESSING
2675.27/2684.28 c GARBAGE COLLECT
2675.27/2684.28 c #Conflicts: 672000 | #Constraints: 48923
2675.27/2684.28 c #Conflicts: 673000 | #Constraints: 49923
2675.27/2684.28 c #Conflicts: 674000 | #Constraints: 50923
2675.27/2684.28 c #Conflicts: 675000 | #Constraints: 51923
2675.27/2684.28 c #Conflicts: 676000 | #Constraints: 52923
2675.27/2684.28 c #Conflicts: 677000 | #Constraints: 53923
2675.27/2684.28 c #Conflicts: 678000 | #Constraints: 54923
2675.27/2684.28 c #Conflicts: 679000 | #Constraints: 55923
2675.27/2684.28 c #Conflicts: 680000 | #Constraints: 56923
2675.27/2684.28 c #Conflicts: 681000 | #Constraints: 57923
2675.27/2684.28 c #Conflicts: 682000 | #Constraints: 58923
2675.27/2684.28 c #Conflicts: 683000 | #Constraints: 59923
2675.27/2684.28 c #Conflicts: 684000 | #Constraints: 60923
2675.27/2684.28 c #Conflicts: 685000 | #Constraints: 61923
2675.27/2684.28 c #Conflicts: 686000 | #Constraints: 62923
2675.27/2684.28 c #Conflicts: 687000 | #Constraints: 63923
2675.27/2684.28 c #Conflicts: 688000 | #Constraints: 64923
2675.27/2684.28 c INPROCESSING
2675.27/2684.28 c GARBAGE COLLECT
2675.27/2684.28 c #Conflicts: 689000 | #Constraints: 49516
2675.27/2684.28 c #Conflicts: 690000 | #Constraints: 50516
2675.27/2684.28 c #Conflicts: 691000 | #Constraints: 51516
2675.27/2684.28 c #Conflicts: 692000 | #Constraints: 52516
2675.27/2684.28 c #Conflicts: 693000 | #Constraints: 53516
2675.27/2684.28 c #Conflicts: 694000 | #Constraints: 54516
2675.27/2684.28 c #Conflicts: 695000 | #Constraints: 55516
2675.27/2684.28 c #Conflicts: 696000 | #Constraints: 56516
2675.27/2684.28 c #Conflicts: 697000 | #Constraints: 57516
2675.27/2684.28 c #Conflicts: 698000 | #Constraints: 58516
2675.27/2684.28 c #Conflicts: 699000 | #Constraints: 59516
2675.27/2684.28 c #Conflicts: 700000 | #Constraints: 60516
2675.27/2684.28 c #Conflicts: 701000 | #Constraints: 61516
2675.27/2684.28 c #Conflicts: 702000 | #Constraints: 62516
2675.27/2684.28 c #Conflicts: 703000 | #Constraints: 63516
2675.27/2684.28 c #Conflicts: 704000 | #Constraints: 64516
2675.27/2684.28 c #Conflicts: 705000 | #Constraints: 65516
2675.27/2684.28 c INPROCESSING
2675.27/2684.28 c GARBAGE COLLECT
2675.27/2684.28 c #Conflicts: 706000 | #Constraints: 49931
2675.27/2684.28 c #Conflicts: 707000 | #Constraints: 50931
2675.27/2684.28 c #Conflicts: 708000 | #Constraints: 51931
2675.27/2684.28 c #Conflicts: 709000 | #Constraints: 52931
2675.27/2684.28 c #Conflicts: 710000 | #Constraints: 53931
2675.27/2684.28 c #Conflicts: 711000 | #Constraints: 54931
2675.27/2684.28 c #Conflicts: 712000 | #Constraints: 55931
2675.27/2684.28 c #Conflicts: 713000 | #Constraints: 56931
2675.27/2684.28 c #Conflicts: 714000 | #Constraints: 57931
2675.27/2684.28 c #Conflicts: 715000 | #Constraints: 58931
2675.27/2684.28 c #Conflicts: 716000 | #Constraints: 59931
2675.27/2684.28 c #Conflicts: 717000 | #Constraints: 60931
2675.27/2684.28 c #Conflicts: 718000 | #Constraints: 61931
2675.27/2684.28 c #Conflicts: 719000 | #Constraints: 62931
2675.27/2684.28 c #Conflicts: 720000 | #Constraints: 63931
2675.27/2684.28 c #Conflicts: 721000 | #Constraints: 64931
2675.27/2684.28 c #Conflicts: 722000 | #Constraints: 65931
2675.27/2684.28 c INPROCESSING
2675.27/2684.28 c GARBAGE COLLECT
2675.27/2684.28 c #Conflicts: 723000 | #Constraints: 50141
2675.27/2684.28 c #Conflicts: 724000 | #Constraints: 51141
2675.27/2684.28 c #Conflicts: 725000 | #Constraints: 52141
2675.27/2684.28 c #Conflicts: 726000 | #Constraints: 53141
2675.27/2684.28 c #Conflicts: 727000 | #Constraints: 54141
2675.27/2684.28 c #Conflicts: 728000 | #Constraints: 55141
2675.27/2684.28 c #Conflicts: 729000 | #Constraints: 56141
2675.27/2684.28 c #Conflicts: 730000 | #Constraints: 57141
2675.27/2684.28 c #Conflicts: 731000 | #Constraints: 58141
2675.27/2684.28 c #Conflicts: 732000 | #Constraints: 59141
2675.27/2684.28 c #Conflicts: 733000 | #Constraints: 60141
2675.27/2684.28 c #Conflicts: 734000 | #Constraints: 61141
2675.27/2684.28 c #Conflicts: 735000 | #Constraints: 62141
2675.27/2684.28 c #Conflicts: 736000 | #Constraints: 63141
2675.27/2684.28 c #Conflicts: 737000 | #Constraints: 64141
2938.12/2947.99 c #Conflicts: 738000 | #Constraints: 65141
2938.12/2947.99 c #Conflicts: 739000 | #Constraints: 66141
2938.12/2947.99 c INPROCESSING
2938.12/2947.99 c GARBAGE COLLECT
2938.12/2947.99 c #Conflicts: 740000 | #Constraints: 50132
2938.12/2947.99 c #Conflicts: 741000 | #Constraints: 51132
2938.12/2947.99 c #Conflicts: 742000 | #Constraints: 52132
2938.12/2947.99 c #Conflicts: 743000 | #Constraints: 53132
2938.12/2947.99 c #Conflicts: 744000 | #Constraints: 54132
2938.12/2947.99 c #Conflicts: 745000 | #Constraints: 55132
2938.12/2947.99 c #Conflicts: 746000 | #Constraints: 56132
2938.12/2947.99 c #Conflicts: 747000 | #Constraints: 57132
2938.12/2947.99 c #Conflicts: 748000 | #Constraints: 58132
2938.12/2947.99 c #Conflicts: 749000 | #Constraints: 59132
2938.12/2947.99 c #Conflicts: 750000 | #Constraints: 60132
2938.12/2947.99 c #Conflicts: 751000 | #Constraints: 61132
2938.12/2947.99 c #Conflicts: 752000 | #Constraints: 62132
2938.12/2947.99 c #Conflicts: 753000 | #Constraints: 63132
2938.12/2947.99 c #Conflicts: 754000 | #Constraints: 64132
2938.12/2947.99 c #Conflicts: 755000 | #Constraints: 65132
2938.12/2947.99 c #Conflicts: 756000 | #Constraints: 66132
2938.12/2947.99 c INPROCESSING
2938.12/2947.99 c GARBAGE COLLECT
2938.12/2947.99 c #Conflicts: 757000 | #Constraints: 49916
2938.12/2947.99 c #Conflicts: 758000 | #Constraints: 50916
2938.12/2947.99 c #Conflicts: 759000 | #Constraints: 51916
2938.12/2947.99 c #Conflicts: 760000 | #Constraints: 52916
2938.12/2947.99 c #Conflicts: 761000 | #Constraints: 53916
2938.12/2947.99 c #Conflicts: 762000 | #Constraints: 54916
2938.12/2947.99 c #Conflicts: 763000 | #Constraints: 55916
2938.12/2947.99 c #Conflicts: 764000 | #Constraints: 56916
2938.12/2947.99 c #Conflicts: 765000 | #Constraints: 57916
2938.12/2947.99 c #Conflicts: 766000 | #Constraints: 58916
2938.12/2947.99 c #Conflicts: 767000 | #Constraints: 59916
2938.12/2947.99 c #Conflicts: 768000 | #Constraints: 60916
2938.12/2947.99 c #Conflicts: 769000 | #Constraints: 61916
2938.12/2947.99 c #Conflicts: 770000 | #Constraints: 62916
2938.12/2947.99 c #Conflicts: 771000 | #Constraints: 63916
2938.12/2947.99 c #Conflicts: 772000 | #Constraints: 64916
2938.12/2947.99 c #Conflicts: 773000 | #Constraints: 65916
2938.12/2947.99 c #Conflicts: 774000 | #Constraints: 66916
2938.12/2947.99 c INPROCESSING
2938.12/2947.99 c GARBAGE COLLECT
2938.12/2947.99 c #Conflicts: 775000 | #Constraints: 50510
2938.12/2947.99 c #Conflicts: 776000 | #Constraints: 51510
2938.12/2947.99 c #Conflicts: 777000 | #Constraints: 52510
2938.12/2947.99 c #Conflicts: 778000 | #Constraints: 53510
2938.12/2947.99 c #Conflicts: 779000 | #Constraints: 54510
2938.12/2947.99 c #Conflicts: 780000 | #Constraints: 55510
2938.12/2947.99 c #Conflicts: 781000 | #Constraints: 56510
2938.12/2947.99 c #Conflicts: 782000 | #Constraints: 57510
2938.12/2947.99 c #Conflicts: 783000 | #Constraints: 58510
2938.12/2947.99 c #Conflicts: 784000 | #Constraints: 59510
2938.12/2947.99 c #Conflicts: 785000 | #Constraints: 60510
2938.12/2947.99 c #Conflicts: 786000 | #Constraints: 61510
2938.12/2947.99 c #Conflicts: 787000 | #Constraints: 62510
2938.12/2947.99 c #Conflicts: 788000 | #Constraints: 63510
2938.12/2947.99 c #Conflicts: 789000 | #Constraints: 64510
2938.12/2947.99 c #Conflicts: 790000 | #Constraints: 65510
2938.12/2947.99 c #Conflicts: 791000 | #Constraints: 66510
2938.12/2947.99 c #Conflicts: 792000 | #Constraints: 67510
2938.12/2947.99 c INPROCESSING
2938.12/2947.99 c GARBAGE COLLECT
2938.12/2947.99 c #Conflicts: 793000 | #Constraints: 50907
2938.12/2947.99 c #Conflicts: 794000 | #Constraints: 51907
2938.12/2947.99 c #Conflicts: 795000 | #Constraints: 52907
2938.12/2947.99 c #Conflicts: 796000 | #Constraints: 53907
2938.12/2947.99 c #Conflicts: 797000 | #Constraints: 54907
2938.12/2947.99 c #Conflicts: 798000 | #Constraints: 55907
2938.12/2947.99 c #Conflicts: 799000 | #Constraints: 56907
2938.12/2947.99 c #Conflicts: 800000 | #Constraints: 57907
2938.12/2947.99 c #Conflicts: 801000 | #Constraints: 58907
2938.12/2947.99 c #Conflicts: 802000 | #Constraints: 59907
2938.12/2947.99 c #Conflicts: 803000 | #Constraints: 60907
2938.12/2947.99 c #Conflicts: 804000 | #Constraints: 61907
2938.12/2947.99 c #Conflicts: 805000 | #Constraints: 62907
2938.12/2947.99 c #Conflicts: 806000 | #Constraints: 63907
2938.12/2947.99 c #Conflicts: 807000 | #Constraints: 64907
2938.12/2947.99 c #Conflicts: 808000 | #Constraints: 65907
2938.12/2947.99 c #Conflicts: 809000 | #Constraints: 66907
2938.12/2947.99 c #Conflicts: 810000 | #Constraints: 67907
2938.12/2947.99 c INPROCESSING
2938.12/2947.99 c GARBAGE COLLECT
2938.12/2947.99 c #Conflicts: 811000 | #Constraints: 51099
2938.12/2947.99 c #Conflicts: 812000 | #Constraints: 52099
2938.12/2947.99 c #Conflicts: 813000 | #Constraints: 53099
3194.51/3205.19 c #Conflicts: 814000 | #Constraints: 54099
3194.51/3205.19 c #Conflicts: 815000 | #Constraints: 55099
3194.51/3205.19 c #Conflicts: 816000 | #Constraints: 56099
3194.51/3205.19 c #Conflicts: 817000 | #Constraints: 57099
3194.51/3205.19 c #Conflicts: 818000 | #Constraints: 58099
3194.51/3205.19 c #Conflicts: 819000 | #Constraints: 59099
3194.51/3205.19 c #Conflicts: 820000 | #Constraints: 60099
3194.51/3205.19 c #Conflicts: 821000 | #Constraints: 61099
3194.51/3205.19 c #Conflicts: 822000 | #Constraints: 62099
3194.51/3205.19 c #Conflicts: 823000 | #Constraints: 63099
3194.51/3205.19 c #Conflicts: 824000 | #Constraints: 64099
3194.51/3205.19 c #Conflicts: 825000 | #Constraints: 65099
3194.51/3205.19 c #Conflicts: 826000 | #Constraints: 66099
3194.51/3205.19 c #Conflicts: 827000 | #Constraints: 67099
3194.51/3205.19 c #Conflicts: 828000 | #Constraints: 68099
3194.51/3205.19 c INPROCESSING
3194.51/3205.19 c GARBAGE COLLECT
3194.51/3205.19 c #Conflicts: 829000 | #Constraints: 51109
3194.51/3205.19 c #Conflicts: 830000 | #Constraints: 52109
3194.51/3205.19 c #Conflicts: 831000 | #Constraints: 53109
3194.51/3205.19 c #Conflicts: 832000 | #Constraints: 54109
3194.51/3205.19 c #Conflicts: 833000 | #Constraints: 55109
3194.51/3205.19 c #Conflicts: 834000 | #Constraints: 56109
3194.51/3205.19 c #Conflicts: 835000 | #Constraints: 57109
3194.51/3205.19 c #Conflicts: 836000 | #Constraints: 58109
3194.51/3205.19 c #Conflicts: 837000 | #Constraints: 59109
3194.51/3205.19 c #Conflicts: 838000 | #Constraints: 60109
3194.51/3205.19 c #Conflicts: 839000 | #Constraints: 61109
3194.51/3205.19 c #Conflicts: 840000 | #Constraints: 62109
3194.51/3205.19 c #Conflicts: 841000 | #Constraints: 63109
3194.51/3205.19 c #Conflicts: 842000 | #Constraints: 64109
3194.51/3205.19 c #Conflicts: 843000 | #Constraints: 65109
3194.51/3205.19 c #Conflicts: 844000 | #Constraints: 66109
3194.51/3205.19 c #Conflicts: 845000 | #Constraints: 67109
3194.51/3205.19 c #Conflicts: 846000 | #Constraints: 68109
3194.51/3205.19 c INPROCESSING
3194.51/3205.19 c GARBAGE COLLECT
3194.51/3205.19 c #Conflicts: 847000 | #Constraints: 50919
3194.51/3205.19 c #Conflicts: 848000 | #Constraints: 51919
3194.51/3205.19 c #Conflicts: 849000 | #Constraints: 52919
3194.51/3205.19 c #Conflicts: 850000 | #Constraints: 53919
3194.51/3205.19 c #Conflicts: 851000 | #Constraints: 54919
3194.51/3205.19 c #Conflicts: 852000 | #Constraints: 55919
3194.51/3205.19 c #Conflicts: 853000 | #Constraints: 56919
3194.51/3205.19 c #Conflicts: 854000 | #Constraints: 57919
3194.51/3205.19 c #Conflicts: 855000 | #Constraints: 58919
3194.51/3205.19 c #Conflicts: 856000 | #Constraints: 59919
3194.51/3205.19 c #Conflicts: 857000 | #Constraints: 60919
3194.51/3205.19 c #Conflicts: 858000 | #Constraints: 61919
3194.51/3205.19 c #Conflicts: 859000 | #Constraints: 62919
3194.51/3205.19 c #Conflicts: 860000 | #Constraints: 63919
3194.51/3205.19 c #Conflicts: 861000 | #Constraints: 64919
3194.51/3205.19 c #Conflicts: 862000 | #Constraints: 65919
3194.51/3205.19 c #Conflicts: 863000 | #Constraints: 66919
3194.51/3205.19 c #Conflicts: 864000 | #Constraints: 67919
3194.51/3205.19 c #Conflicts: 865000 | #Constraints: 68919
3194.51/3205.19 c INPROCESSING
3194.51/3205.19 c GARBAGE COLLECT
3194.51/3205.19 c #Conflicts: 866000 | #Constraints: 51531
3194.51/3205.19 c #Conflicts: 867000 | #Constraints: 52531
3194.51/3205.19 c #Conflicts: 868000 | #Constraints: 53531
3194.51/3205.19 c #Conflicts: 869000 | #Constraints: 54531
3194.51/3205.19 c #Conflicts: 870000 | #Constraints: 55531
3194.51/3205.19 c #Conflicts: 871000 | #Constraints: 56531
3194.51/3205.19 c #Conflicts: 872000 | #Constraints: 57531
3194.51/3205.19 c #Conflicts: 873000 | #Constraints: 58531
3194.51/3205.19 c #Conflicts: 874000 | #Constraints: 59531
3194.51/3205.19 c #Conflicts: 875000 | #Constraints: 60531
3194.51/3205.19 c #Conflicts: 876000 | #Constraints: 61531
3194.51/3205.19 c #Conflicts: 877000 | #Constraints: 62531
3194.51/3205.19 c #Conflicts: 878000 | #Constraints: 63531
3194.51/3205.19 c #Conflicts: 879000 | #Constraints: 64531
3194.51/3205.19 c #Conflicts: 880000 | #Constraints: 65531
3194.51/3205.19 c #Conflicts: 881000 | #Constraints: 66531
3194.51/3205.19 c #Conflicts: 882000 | #Constraints: 67531
3194.51/3205.19 c #Conflicts: 883000 | #Constraints: 68531
3194.51/3205.19 c #Conflicts: 884000 | #Constraints: 69531
3194.51/3205.19 c INPROCESSING
3194.51/3205.19 c GARBAGE COLLECT
3194.51/3205.19 c #Conflicts: 885000 | #Constraints: 51939
3194.51/3205.19 c #Conflicts: 886000 | #Constraints: 52939
3194.51/3205.19 c #Conflicts: 887000 | #Constraints: 53939
3194.51/3205.19 c #Conflicts: 888000 | #Constraints: 54939
3194.51/3205.19 c #Conflicts: 889000 | #Constraints: 55939
3472.41/3484.00 c #Conflicts: 890000 | #Constraints: 56939
3472.41/3484.00 c #Conflicts: 891000 | #Constraints: 57939
3472.41/3484.00 c #Conflicts: 892000 | #Constraints: 58939
3472.41/3484.00 c #Conflicts: 893000 | #Constraints: 59939
3472.41/3484.00 c #Conflicts: 894000 | #Constraints: 60939
3472.41/3484.00 c #Conflicts: 895000 | #Constraints: 61939
3472.41/3484.00 c #Conflicts: 896000 | #Constraints: 62939
3472.41/3484.00 c #Conflicts: 897000 | #Constraints: 63939
3472.41/3484.00 c #Conflicts: 898000 | #Constraints: 64939
3472.41/3484.00 c #Conflicts: 899000 | #Constraints: 65939
3472.41/3484.00 c #Conflicts: 900000 | #Constraints: 66939
3472.41/3484.00 c #Conflicts: 901000 | #Constraints: 67939
3472.41/3484.00 c #Conflicts: 902000 | #Constraints: 68939
3472.41/3484.00 c #Conflicts: 903000 | #Constraints: 69939
3472.41/3484.00 c INPROCESSING
3472.41/3484.00 c GARBAGE COLLECT
3472.41/3484.00 c #Conflicts: 904000 | #Constraints: 52134
3472.41/3484.00 c #Conflicts: 905000 | #Constraints: 53134
3472.41/3484.00 c #Conflicts: 906000 | #Constraints: 54134
3472.41/3484.00 c #Conflicts: 907000 | #Constraints: 55134
3472.41/3484.00 c #Conflicts: 908000 | #Constraints: 56134
3472.41/3484.00 c #Conflicts: 909000 | #Constraints: 57134
3472.41/3484.00 c #Conflicts: 910000 | #Constraints: 58134
3472.41/3484.00 c #Conflicts: 911000 | #Constraints: 59134
3472.41/3484.00 c #Conflicts: 912000 | #Constraints: 60134
3472.41/3484.00 c #Conflicts: 913000 | #Constraints: 61134
3472.41/3484.00 c #Conflicts: 914000 | #Constraints: 62134
3472.41/3484.00 c #Conflicts: 915000 | #Constraints: 63134
3472.41/3484.00 c #Conflicts: 916000 | #Constraints: 64134
3472.41/3484.00 c #Conflicts: 917000 | #Constraints: 65134
3472.41/3484.00 c #Conflicts: 918000 | #Constraints: 66134
3472.41/3484.00 c #Conflicts: 919000 | #Constraints: 67134
3472.41/3484.00 c #Conflicts: 920000 | #Constraints: 68134
3472.41/3484.00 c #Conflicts: 921000 | #Constraints: 69134
3472.41/3484.00 c #Conflicts: 922000 | #Constraints: 70134
3472.41/3484.00 c INPROCESSING
3472.41/3484.00 c GARBAGE COLLECT
3472.41/3484.00 c #Conflicts: 923000 | #Constraints: 52123
3472.41/3484.00 c #Conflicts: 924000 | #Constraints: 53123
3472.41/3484.00 c #Conflicts: 925000 | #Constraints: 54123
3472.41/3484.00 c #Conflicts: 926000 | #Constraints: 55123
3472.41/3484.00 c #Conflicts: 927000 | #Constraints: 56123
3472.41/3484.00 c #Conflicts: 928000 | #Constraints: 57123
3472.41/3484.00 c #Conflicts: 929000 | #Constraints: 58123
3472.41/3484.00 c #Conflicts: 930000 | #Constraints: 59123
3472.41/3484.00 c #Conflicts: 931000 | #Constraints: 60123
3472.41/3484.00 c #Conflicts: 932000 | #Constraints: 61123
3472.41/3484.00 c #Conflicts: 933000 | #Constraints: 62123
3472.41/3484.00 c #Conflicts: 934000 | #Constraints: 63123
3472.41/3484.00 c #Conflicts: 935000 | #Constraints: 64123
3472.41/3484.00 c #Conflicts: 936000 | #Constraints: 65123
3472.41/3484.00 c #Conflicts: 937000 | #Constraints: 66123
3472.41/3484.00 c #Conflicts: 938000 | #Constraints: 67123
3472.41/3484.00 c #Conflicts: 939000 | #Constraints: 68123
3472.41/3484.00 c #Conflicts: 940000 | #Constraints: 69123
3472.41/3484.00 c #Conflicts: 941000 | #Constraints: 70123
3472.41/3484.00 c INPROCESSING
3472.41/3484.00 c GARBAGE COLLECT
3472.41/3484.00 c #Conflicts: 942000 | #Constraints: 51932
3472.41/3484.00 c #Conflicts: 943000 | #Constraints: 52932
3472.41/3484.00 c #Conflicts: 944000 | #Constraints: 53932
3472.41/3484.00 c #Conflicts: 945000 | #Constraints: 54932
3472.41/3484.00 c #Conflicts: 946000 | #Constraints: 55932
3472.41/3484.00 c #Conflicts: 947000 | #Constraints: 56932
3472.41/3484.00 c #Conflicts: 948000 | #Constraints: 57932
3472.41/3484.00 c #Conflicts: 949000 | #Constraints: 58932
3472.41/3484.00 c #Conflicts: 950000 | #Constraints: 59932
3472.41/3484.00 c #Conflicts: 951000 | #Constraints: 60932
3472.41/3484.00 c #Conflicts: 952000 | #Constraints: 61932
3472.41/3484.00 c #Conflicts: 953000 | #Constraints: 62932
3472.41/3484.00 c #Conflicts: 954000 | #Constraints: 63932
3472.41/3484.00 c #Conflicts: 955000 | #Constraints: 64932
3472.41/3484.00 c #Conflicts: 956000 | #Constraints: 65932
3472.41/3484.00 c #Conflicts: 957000 | #Constraints: 66932
3472.41/3484.00 c #Conflicts: 958000 | #Constraints: 67932
3472.41/3484.00 c #Conflicts: 959000 | #Constraints: 68932
3472.41/3484.00 c #Conflicts: 960000 | #Constraints: 69932
3472.41/3484.00 c #Conflicts: 961000 | #Constraints: 70932
3472.41/3484.00 c INPROCESSING
3472.41/3484.00 c GARBAGE COLLECT
3472.41/3484.00 c #Conflicts: 962000 | #Constraints: 52537
3472.41/3484.00 c #Conflicts: 963000 | #Constraints: 53537
3472.41/3484.00 c #Conflicts: 964000 | #Constraints: 54537
3472.41/3484.00 c #Conflicts: 965000 | #Constraints: 55537
3472.41/3484.00 c #Conflicts: 966000 | #Constraints: 56537
3600.01/3611.90 c #Conflicts: 967000 | #Constraints: 57537
3600.01/3611.90 c #Conflicts: 968000 | #Constraints: 58537
3600.01/3611.90 c #Conflicts: 969000 | #Constraints: 59537
3600.01/3611.90 c #Conflicts: 970000 | #Constraints: 60537
3600.01/3611.90 c #Conflicts: 971000 | #Constraints: 61537
3600.01/3611.90 c #Conflicts: 972000 | #Constraints: 62537
3600.01/3611.90 c #Conflicts: 973000 | #Constraints: 63537
3600.01/3611.90 c #Conflicts: 974000 | #Constraints: 64537
3600.01/3611.90 c #Conflicts: 975000 | #Constraints: 65537
3600.01/3611.90 c #Conflicts: 976000 | #Constraints: 66537
3600.01/3611.90 c #Conflicts: 977000 | #Constraints: 67537
3600.01/3611.90 c #Conflicts: 978000 | #Constraints: 68537
3600.01/3611.90 c #Conflicts: 979000 | #Constraints: 69537
3600.01/3611.90 c #Conflicts: 980000 | #Constraints: 70537
3600.01/3611.90 c #Conflicts: 981000 | #Constraints: 71537
3600.01/3611.90 c INPROCESSING
3600.01/3611.90 c GARBAGE COLLECT
3600.01/3611.90 c #Conflicts: 982000 | #Constraints: 52939
3600.01/3611.90 c #Conflicts: 983000 | #Constraints: 53939
3600.01/3611.90 c #Conflicts: 984000 | #Constraints: 54939
3600.01/3611.90 c #Conflicts: 985000 | #Constraints: 55939
3600.01/3611.90 c #Conflicts: 986000 | #Constraints: 56939
3600.01/3611.90 c #Conflicts: 987000 | #Constraints: 57939
3600.01/3611.90 c #Conflicts: 988000 | #Constraints: 58939
3600.01/3611.90 c #Conflicts: 989000 | #Constraints: 59939
3600.01/3611.90 c #Conflicts: 990000 | #Constraints: 60939
3600.01/3611.90 c #Conflicts: 991000 | #Constraints: 61939
3600.01/3611.90 c #Conflicts: 992000 | #Constraints: 62939
3600.01/3611.90 c #Conflicts: 993000 | #Constraints: 63939
3600.01/3611.90 c #Conflicts: 994000 | #Constraints: 64939
3600.01/3611.90 c #Conflicts: 995000 | #Constraints: 65939
3600.01/3611.90 c #Conflicts: 996000 | #Constraints: 66939
3600.01/3611.90 c #Conflicts: 997000 | #Constraints: 67939
3600.01/3611.90 c #Conflicts: 998000 | #Constraints: 68939
3600.01/3611.90 c #Conflicts: 999000 | #Constraints: 69939
3600.01/3611.90 c Program interrupted by user.
3600.01/3611.90 c cpu time 3589.22 s
3600.01/3611.90 c deterministic time 858686968926 8.59e+11
3600.01/3611.90 c optimization time 59.4648 s
3600.01/3611.90 c total solve time 3230.63 s
3600.01/3611.90 c core-guided solve time 3230.63 s
3600.01/3611.90 c propagation time 2255.2 s
3600.01/3611.90 c conflict analysis time 946.667 s
3600.01/3611.90 c propagations 623698711
3600.01/3611.90 c resolve steps 37548540
3600.01/3611.90 c decisions 6410557
3600.01/3611.90 c conflicts 999099
3600.01/3611.90 c restarts 2045
3600.01/3611.90 c inprocessing phases 90
3600.01/3611.90 c input clauses 32242
3600.01/3611.90 c input cardinalities 6
3600.01/3611.90 c input general constraints 0
3600.01/3611.90 c input average constraint length 2.68
3600.01/3611.90 c input average constraint degree 1.05
3600.01/3611.90 c learned clauses 722184
3600.01/3611.90 c learned cardinalities 7198
3600.01/3611.90 c learned general constraints 269720
3600.01/3611.90 c learned average constraint length 2101.61
3600.01/3611.90 c learned average constraint degree 2958683.27
3600.01/3611.90 c watched constraints 229208
3600.01/3611.90 c counting constraints 40512
3600.01/3611.90 c gcd simplifications 6164
3600.01/3611.90 c detected cardinalities 13
3600.01/3611.90 c weakened non-implied lits 355618677
3600.01/3611.90 c weakened non-implying lits 162203
3600.01/3611.90 c original variables 8901
3600.01/3611.90 c clausal propagations 552853771
3600.01/3611.90 c cardinality propagations 18662036
3600.01/3611.90 c watched propagations 13553318
3600.01/3611.90 c counting propagations 34735669
3600.01/3611.90 c watch lookups 15745587957
3600.01/3611.90 c watch backjump lookups 12272284071
3600.01/3611.90 c watch checks 761943367396
3600.01/3611.90 c propagation checks 61814607765
3600.01/3611.90 c constraint additions 5649910037
3600.01/3611.90 c trail pops 631102431
3600.01/3611.90 c formula constraints 32242
3600.01/3611.90 c learned constraints 999102
3600.01/3611.90 c bound constraints 6
3600.01/3611.90 c core-guided constraints 0
3600.01/3611.90 c encountered formula constraints 34325467
3600.01/3611.90 c encountered learned constraints 4222079
3600.01/3611.90 c encountered bound constraints 93
3600.01/3611.90 c encountered core-guided constraints 0
3600.01/3611.90 c LP total time 0 s
3600.01/3611.90 c LP solve time 0 s
3600.01/3611.90 c LP constraints added 0
3600.01/3611.90 c LP constraints removed 0
3600.01/3611.90 c LP pivots internal 0
3600.01/3611.90 c LP pivots root 0
3600.01/3611.90 c LP calls 0
3600.01/3611.90 c LP optimalities 0
3600.01/3611.90 c LP no pivot count 0
3600.01/3611.90 c LP infeasibilities 0
3600.01/3611.90 c LP valid Farkas constraints 0
3600.01/3611.90 c LP learned Farkas constraints 0
3600.01/3611.90 c LP basis resets 0
3600.01/3611.90 c LP cycling count 0
3600.01/3611.90 c LP singular count 0
3600.01/3611.90 c LP no primal count 0
3600.01/3611.90 c LP no farkas count 0
3600.01/3611.90 c LP other issue count 0
3600.01/3611.90 c LP Gomory cuts 0
3600.01/3611.90 c LP learned cuts 0
3600.01/3611.90 c LP deleted cuts 0
3600.01/3611.90 c LP encountered Gomory constraints 0
3600.01/3611.90 c LP encountered Farkas constraints 0
3600.01/3611.90 c LP encountered learned Farkas constraints 0
3600.01/3611.90 c CG auxiliary variables introduced 0
3600.01/3611.90 c CG solutions found 0
3600.01/3611.90 c CG cores constructed 5
3600.01/3611.90 c CG core cardinality constraints returned 0
3600.01/3611.90 c CG unit cores 0
3600.01/3611.90 c CG single cores 5
3600.01/3611.90 c CG blocks removed during cardinality reduction 0
3600.01/3611.90 c CG first core best 0
3600.01/3611.90 c CG decision core best 0
3600.01/3611.90 c CG core reduction tie 0
3600.01/3611.90 c CG core degree average 1.00
3600.01/3611.90 c CG core slack average 82.20
3600.01/3611.90 c CG exhausted 0
3600.01/3611.90 c CG exhaust time 0 s
3600.01/3611.90 c CG trimmed 0
3600.01/3611.90 c CG trim time 0.001371 s
3600.01/3611.90 c CG minimized 0
3600.01/3611.90 c CG minimize time 0 s
3600.01/3611.90 c CG am1 prop time 0.001534 s
3600.01/3611.90 c CG # am1s reformulated 0
3600.01/3611.90 c CG lower bound derived from am1s 0
3600.01/3611.90 c CG # clausal cores 5
3600.01/3611.90 c CG # cardinality cores 0
3600.01/3611.90 c CG # pb cores 0
3600.01/3611.90 c CG # pb reforms 0
3600.01/3611.90 c CG # cores discarded because of pb reform 0
3600.01/3611.90 d LOWERBOUND 5
3600.01/3611.90 d NCORES 5
3600.01/3611.90 d NPBCORES 0
3600.01/3611.90 d NPBREFORM 0
3600.01/3611.90 d NTRIMMED 0
3600.01/3611.90 d NEXHAUSTED 0
3600.01/3611.90 d NAM1S 0
3600.01/3611.90 d AM1LB 0
3600.01/3611.90 c [Papilo Statistics]
3600.01/3611.90 c prepro time 0.038521s
3600.01/3611.90 c # tsx applied 51
3600.01/3611.90 c # tsx conflicts 0
3600.01/3611.90 c # bound changes 5
3600.01/3611.90 c # side changes 34
3600.01/3611.90 c # coef changes 119
3600.01/3611.90 c # rounds 2
3600.01/3611.90 c # deted vars 22
3600.01/3611.90 c # deted constrs 56
3600.01/3611.90 c # consecutive rounds of only bound changes 0
3600.01/3611.90 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: 63968 MiB (61356 MiB free)
memory of node 1: 64473 MiB (62881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435553-1721106932/watcher-4435553-1721106932 -o /tmp/evaluation-result-4435553-1721106932/solver-4435553-1721106932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840500 --watchdog 3760 mixed-bag HOME/instance-4435553-1721106932.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=842689, runsolver pid=842686
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.12 4.11 4.06 5/255 842690
/proc/meminfo: memFree=127195588/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=105120 memory=30532 CPUtime=0.09 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 7240 0 0 0 9 0 0 0 20 0 1 0 162864007 107642880 7633 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 26280 7633 1820 3002 0 10031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105120 KiB
Current children cumulated memory: 30532 KiB
[startup+0.205769 s]*
/proc/loadavg: 4.12 4.11 4.06 5/255 842690
/proc/meminfo: memFree=127142752/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=160856 memory=91900 CPUtime=0.2 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 21268 0 0 0 18 2 0 0 20 0 1 0 162864007 164716544 22975 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 40214 22975 3832 3002 0 23965 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 160856 KiB
Current children cumulated memory: 91900 KiB
[startup+0.305502 s]*
/proc/loadavg: 4.12 4.11 4.06 5/255 842690
/proc/meminfo: memFree=127125340/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=177208 memory=108148 CPUtime=0.29 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 27357 0 0 0 26 3 0 0 20 0 1 0 162864007 181460992 27037 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 44302 27037 3832 3002 0 28053 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 177208 KiB
Current children cumulated memory: 108148 KiB
[startup+0.70022 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842690
/proc/meminfo: memFree=127114584/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=233640 memory=153132 CPUtime=0.68 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 38496 0 0 0 63 5 0 0 20 0 1 0 162864007 239247360 38283 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 58410 38283 3944 3002 0 42161 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 233640 KiB
Current children cumulated memory: 153132 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.11 4.05 5/255 842690
/proc/meminfo: memFree=127077248/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=301944 memory=218412 CPUtime=1.48 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 54704 0 0 0 140 8 0 0 20 0 1 0 162864007 309190656 54603 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 75486 54603 4072 3002 0 59237 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 301944 KiB
Current children cumulated memory: 218412 KiB
[startup+3.10554 s]
/proc/loadavg: 4.11 4.11 4.05 5/255 842690
/proc/meminfo: memFree=127000876/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=317100 memory=233484 CPUtime=3.08 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 58555 0 0 0 300 8 0 0 20 0 1 0 162864007 324710400 58371 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 79275 58371 4094 3002 0 63026 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 317100 KiB
Current children cumulated memory: 233484 KiB
[startup+6.30023 s]
/proc/loadavg: 4.10 4.11 4.05 5/255 842690
/proc/meminfo: memFree=126964448/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=341468 memory=254868 CPUtime=6.26 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 63920 0 0 0 617 9 0 0 20 0 1 0 162864007 349663232 63717 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 85367 63717 4094 3002 0 69118 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 341468 KiB
Current children cumulated memory: 254868 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.05 5/255 842691
/proc/meminfo: memFree=126945828/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=370844 memory=266748 CPUtime=12.64 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 66843 0 0 0 1254 10 0 0 20 0 1 0 162864007 379744256 66687 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 92711 66687 4094 3002 0 76462 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 370844 KiB
Current children cumulated memory: 266748 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.05 5/255 842693
/proc/meminfo: memFree=126882164/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=386176 memory=280940 CPUtime=25.39 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 70450 0 0 0 2528 11 0 0 20 0 1 0 162864007 395444224 70235 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 96544 70235 4094 3002 0 80295 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 386176 KiB
Current children cumulated memory: 280940 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.06 5/255 842697
/proc/meminfo: memFree=126127076/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=449612 memory=344484 CPUtime=50.89 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 86333 0 0 0 5076 13 0 0 20 0 1 0 162864007 460402688 86121 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 112403 86121 4094 3002 0 96154 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 449612 KiB
Current children cumulated memory: 344484 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/254 842707
/proc/meminfo: memFree=126103984/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=449612 memory=344896 CPUtime=101.9 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 87152 0 0 0 10176 14 0 0 20 0 1 0 162864007 460402688 86224 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 112403 86224 4110 3002 0 96154 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 449612 KiB
Current children cumulated memory: 344896 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/254 842717
/proc/meminfo: memFree=126034396/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=449612 memory=345008 CPUtime=161.68 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 87156 0 0 0 16154 14 0 0 20 0 1 0 162864007 460402688 86252 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 112403 86252 4110 3002 0 96154 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 449612 KiB
Current children cumulated memory: 345008 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/255 842728
/proc/meminfo: memFree=125989076/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=449612 memory=345008 CPUtime=221.48 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 87177 0 0 0 22134 14 0 0 20 0 1 0 162864007 460402688 86252 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 112403 86252 4110 3002 0 96154 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 449612 KiB
Current children cumulated memory: 345008 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/258 842743
/proc/meminfo: memFree=125915576/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=449612 memory=345008 CPUtime=281.27 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 87177 0 0 0 28113 14 0 0 20 0 1 0 162864007 460402688 86252 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 112403 86252 4110 3002 0 96154 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 449612 KiB
Current children cumulated memory: 345008 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.15 4.09 5/259 842758
/proc/meminfo: memFree=125787684/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=507232 memory=389976 CPUtime=341.07 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 91240 0 0 0 34063 44 0 0 20 0 1 0 162864007 519405568 97494 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 126808 97494 4221 3002 0 110559 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 507232 KiB
Current children cumulated memory: 389976 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/259 842769
/proc/meminfo: memFree=125677932/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=507232 memory=408672 CPUtime=400.88 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 91295 0 0 0 40016 72 0 0 20 0 1 0 162864007 519405568 102168 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 126808 102168 4221 3002 0 110559 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 507232 KiB
Current children cumulated memory: 408672 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/259 842779
/proc/meminfo: memFree=125634400/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=557320 memory=424172 CPUtime=460.69 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 92134 0 0 0 45969 100 0 0 20 0 1 0 162864007 570695680 106043 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 139330 106043 4221 3002 0 123081 0
################
# More data... #
################
Current children cumulated memory: 633404 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 844408
/proc/meminfo: memFree=124596332/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=2912.6 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 96416 0 0 0 290354 906 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 2912.6 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 844418
/proc/meminfo: memFree=124595600/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=2972.41 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 96603 0 0 0 296317 924 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 2972.41 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 844428
/proc/meminfo: memFree=124594808/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3032.23 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 96792 0 0 0 302286 937 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3032.23 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 844439
/proc/meminfo: memFree=124587992/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3092.03 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 96994 0 0 0 308251 952 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3092.03 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 844449
/proc/meminfo: memFree=124576788/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3151.84 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 97178 0 0 0 314215 969 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3151.84 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/254 844460
/proc/meminfo: memFree=124576364/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3211.65 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 97347 0 0 0 320179 986 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 844475
/proc/meminfo: memFree=124548896/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3271.46 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 97554 0 0 0 326141 1005 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3271.46 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 844486
/proc/meminfo: memFree=124511108/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3331.26 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 97756 0 0 0 332102 1024 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3331.26 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 844497
/proc/meminfo: memFree=124510404/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3391.06 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 97949 0 0 0 338069 1037 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3391.06 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 844507
/proc/meminfo: memFree=124509708/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3450.88 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 98165 0 0 0 344041 1047 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.37 4.15 4.11 5/257 844519
/proc/meminfo: memFree=124508856/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3510.69 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 98345 0 0 0 350011 1058 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3510.69 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.16 4.12 5/254 844529
/proc/meminfo: memFree=124508108/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3570.49 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 98530 0 0 0 355977 1072 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3570.49 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.15 4.15 4.11 5/254 844718
/proc/meminfo: memFree=128129396/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3600.01 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 98626 0 0 0 358922 1079 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 842689 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.23 s, system=10.7944 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.15 4.15 4.11 5/254 844718
/proc/meminfo: memFree=128129396/131524600 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=770968 memory=633404 CPUtime=3600.01 cores=0,2
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 840490 0 -1 4194304 98626 0 0 0 358922 1079 0 0 20 0 1 0 162864007 789471232 158351 134679101440 4194304 16487941 140724737890928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49684480 140724737897495 140724737897572 140724737897572 140724737904587 0
/proc/842689/statm: 192742 158351 4221 3002 0 176493 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 770968 KiB
Current children cumulated memory: 633404 KiB
Child status: 0
Real time (s): 3611.91
CPU time (s): 3600.02
CPU user time (s): 3589.23
CPU system time (s): 10.7944
CPU usage (%): 99.6709
Max. virtual memory (cumulated for all children) (KiB): 770968
Max. memory (cumulated for all children) (KiB): 633404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.23
system time used= 10.7944
maximum resident set size= 634244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98647
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= 137
involuntary context switches= 24924
# summary of solver processes directly reported to runsolver:
# pid: 842689
# total CPU time (s): 3600.02
# total CPU user time (s): 3589.23
# total CPU system time (s): 10.7944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75935 second user time and 16.818 second system time
The end
Begin job on nodeC035 at 2024-07-16 07:15:44
IDJOB=4435553
IDBENCH=148193
IDSOLVER=3066
FILE ID=nodeC035/4435553-1721106932
RUNJOBID= nodeC035-1721103319-840500
SLURM_JOB_ID= 7505619
Free space on /tmp= 890008 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435553-1721106932/watcher-4435553-1721106932 -o /tmp/evaluation-result-4435553-1721106932/solver-4435553-1721106932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840500 --watchdog 3760 mixed-bag HOME/instance-4435553-1721106932.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1431127557
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.719
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3674.795
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3660.289
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.859
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3661.873
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3674.867
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3610.868
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3600.138
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127219732 kB
MemAvailable: 127832520 kB
Buffers: 381432 kB
Cached: 1070516 kB
SwapCached: 0 kB
Active: 704212 kB
Inactive: 3007652 kB
Active(anon): 1560 kB
Inactive(anon): 2296380 kB
Active(file): 702652 kB
Inactive(file): 711272 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 78484 kB
Writeback: 8 kB
AnonPages: 2258880 kB
Mapped: 136616 kB
Shmem: 37724 kB
KReclaimable: 77376 kB
Slab: 180776 kB
SReclaimable: 77376 kB
SUnreclaim: 103400 kB
KernelStack: 4048 kB
PageTables: 13968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2713408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 638976 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC035 at 2024-07-16 08:15:56