0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 3945 #constraints 8582
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 2802 @ 0.018791
0.00/0.02 c stratification level: 2072
0.00/0.03 c bounds 55914 >= 2802 @ 0.019646
0.00/0.03 c stratification level: 2049
46.44/46.65 c #Conflicts: 1000 | #Constraints: 9582
46.44/46.65 c #Conflicts: 2000 | #Constraints: 10582
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 3000 | #Constraints: 9524
46.44/46.65 c #Conflicts: 4000 | #Constraints: 10524
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 5000 | #Constraints: 9929
46.44/46.65 c #Conflicts: 6000 | #Constraints: 10929
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 7000 | #Constraints: 9937
46.44/46.65 c #Conflicts: 8000 | #Constraints: 10937
46.44/46.65 c #Conflicts: 9000 | #Constraints: 11937
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 10000 | #Constraints: 10639
46.44/46.65 c #Conflicts: 11000 | #Constraints: 11639
46.44/46.65 c #Conflicts: 12000 | #Constraints: 12639
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 13000 | #Constraints: 11082
46.44/46.65 c #Conflicts: 14000 | #Constraints: 12082
46.44/46.65 c #Conflicts: 15000 | #Constraints: 13082
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 16000 | #Constraints: 11305
46.44/46.65 c #Conflicts: 17000 | #Constraints: 12305
46.44/46.65 c #Conflicts: 18000 | #Constraints: 13305
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 19000 | #Constraints: 11332
46.44/46.65 c #Conflicts: 20000 | #Constraints: 12332
46.44/46.65 c #Conflicts: 21000 | #Constraints: 13332
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 22000 | #Constraints: 11134
46.44/46.65 c #Conflicts: 23000 | #Constraints: 12134
46.44/46.65 c #Conflicts: 24000 | #Constraints: 13134
46.44/46.65 c #Conflicts: 25000 | #Constraints: 14134
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 26000 | #Constraints: 11734
46.44/46.65 c #Conflicts: 27000 | #Constraints: 12734
46.44/46.65 c #Conflicts: 28000 | #Constraints: 13734
46.44/46.65 c #Conflicts: 29000 | #Constraints: 14734
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 30000 | #Constraints: 12140
46.44/46.65 c #Conflicts: 31000 | #Constraints: 13140
46.44/46.65 c #Conflicts: 32000 | #Constraints: 14140
46.44/46.65 c #Conflicts: 33000 | #Constraints: 15140
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 34000 | #Constraints: 12336
46.44/46.65 c #Conflicts: 35000 | #Constraints: 13336
46.44/46.65 c #Conflicts: 36000 | #Constraints: 14336
46.44/46.65 c #Conflicts: 37000 | #Constraints: 15336
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 38000 | #Constraints: 12342
46.44/46.65 c #Conflicts: 39000 | #Constraints: 13342
46.44/46.65 c #Conflicts: 40000 | #Constraints: 14342
46.44/46.65 c #Conflicts: 41000 | #Constraints: 15342
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 42000 | #Constraints: 12148
46.44/46.65 c #Conflicts: 43000 | #Constraints: 13148
46.44/46.65 c #Conflicts: 44000 | #Constraints: 14148
46.44/46.65 c #Conflicts: 45000 | #Constraints: 15148
46.44/46.65 c #Conflicts: 46000 | #Constraints: 16148
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 47000 | #Constraints: 12773
46.44/46.65 c #Conflicts: 48000 | #Constraints: 13773
46.44/46.65 c #Conflicts: 49000 | #Constraints: 14773
46.44/46.65 c #Conflicts: 50000 | #Constraints: 15773
46.44/46.65 c #Conflicts: 51000 | #Constraints: 16773
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 52000 | #Constraints: 13158
46.44/46.65 c #Conflicts: 53000 | #Constraints: 14158
46.44/46.65 c #Conflicts: 54000 | #Constraints: 15158
46.44/46.65 c #Conflicts: 55000 | #Constraints: 16158
46.44/46.65 c #Conflicts: 56000 | #Constraints: 17158
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 57000 | #Constraints: 13349
46.44/46.65 c #Conflicts: 58000 | #Constraints: 14349
46.44/46.65 c #Conflicts: 59000 | #Constraints: 15349
46.44/46.65 c #Conflicts: 60000 | #Constraints: 16349
46.44/46.65 c #Conflicts: 61000 | #Constraints: 17349
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 62000 | #Constraints: 13352
46.44/46.65 c #Conflicts: 63000 | #Constraints: 14352
46.44/46.65 c #Conflicts: 64000 | #Constraints: 15352
46.44/46.65 c #Conflicts: 65000 | #Constraints: 16352
46.44/46.65 c #Conflicts: 66000 | #Constraints: 17352
46.44/46.65 c INPROCESSING
46.44/46.65 c GARBAGE COLLECT
46.44/46.65 c #Conflicts: 67000 | #Constraints: 13165
46.44/46.65 c #Conflicts: 68000 | #Constraints: 14165
133.97/134.44 c #Conflicts: 69000 | #Constraints: 15165
133.97/134.44 c #Conflicts: 70000 | #Constraints: 16165
133.97/134.44 c #Conflicts: 71000 | #Constraints: 17165
133.97/134.44 c #Conflicts: 72000 | #Constraints: 18165
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 73000 | #Constraints: 13768
133.97/134.44 c #Conflicts: 74000 | #Constraints: 14768
133.97/134.44 c #Conflicts: 75000 | #Constraints: 15768
133.97/134.44 c #Conflicts: 76000 | #Constraints: 16768
133.97/134.44 c #Conflicts: 77000 | #Constraints: 17768
133.97/134.44 c #Conflicts: 78000 | #Constraints: 18768
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 79000 | #Constraints: 14155
133.97/134.44 c #Conflicts: 80000 | #Constraints: 15155
133.97/134.44 c #Conflicts: 81000 | #Constraints: 16155
133.97/134.44 c #Conflicts: 82000 | #Constraints: 17155
133.97/134.44 c #Conflicts: 83000 | #Constraints: 18155
133.97/134.44 c #Conflicts: 84000 | #Constraints: 19155
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 85000 | #Constraints: 14348
133.97/134.44 c #Conflicts: 86000 | #Constraints: 15348
133.97/134.44 c #Conflicts: 87000 | #Constraints: 16348
133.97/134.44 c #Conflicts: 88000 | #Constraints: 17348
133.97/134.44 c #Conflicts: 89000 | #Constraints: 18348
133.97/134.44 c #Conflicts: 90000 | #Constraints: 19348
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 91000 | #Constraints: 14374
133.97/134.44 c #Conflicts: 92000 | #Constraints: 15374
133.97/134.44 c #Conflicts: 93000 | #Constraints: 16374
133.97/134.44 c #Conflicts: 94000 | #Constraints: 17374
133.97/134.44 c #Conflicts: 95000 | #Constraints: 18374
133.97/134.44 c #Conflicts: 96000 | #Constraints: 19374
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 97000 | #Constraints: 14262
133.97/134.44 c #Conflicts: 98000 | #Constraints: 15262
133.97/134.44 c #Conflicts: 99000 | #Constraints: 16262
133.97/134.44 c #Conflicts: 100000 | #Constraints: 17262
133.97/134.44 c #Conflicts: 101000 | #Constraints: 18262
133.97/134.44 c #Conflicts: 102000 | #Constraints: 19262
133.97/134.44 c #Conflicts: 103000 | #Constraints: 20262
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 104000 | #Constraints: 14802
133.97/134.44 c #Conflicts: 105000 | #Constraints: 15802
133.97/134.44 c #Conflicts: 106000 | #Constraints: 16802
133.97/134.44 c #Conflicts: 107000 | #Constraints: 17802
133.97/134.44 c #Conflicts: 108000 | #Constraints: 18802
133.97/134.44 c #Conflicts: 109000 | #Constraints: 19802
133.97/134.44 c #Conflicts: 110000 | #Constraints: 20802
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 111000 | #Constraints: 15204
133.97/134.44 c #Conflicts: 112000 | #Constraints: 16204
133.97/134.44 c #Conflicts: 113000 | #Constraints: 17204
133.97/134.44 c #Conflicts: 114000 | #Constraints: 18204
133.97/134.44 c #Conflicts: 115000 | #Constraints: 19204
133.97/134.44 c #Conflicts: 116000 | #Constraints: 20204
133.97/134.44 c #Conflicts: 117000 | #Constraints: 21204
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 118000 | #Constraints: 15383
133.97/134.44 c #Conflicts: 119000 | #Constraints: 16383
133.97/134.44 c #Conflicts: 120000 | #Constraints: 17383
133.97/134.44 c #Conflicts: 121000 | #Constraints: 18383
133.97/134.44 c #Conflicts: 122000 | #Constraints: 19383
133.97/134.44 c #Conflicts: 123000 | #Constraints: 20383
133.97/134.44 c #Conflicts: 124000 | #Constraints: 21383
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 125000 | #Constraints: 15372
133.97/134.44 c #Conflicts: 126000 | #Constraints: 16372
133.97/134.44 c #Conflicts: 127000 | #Constraints: 17372
133.97/134.44 c #Conflicts: 128000 | #Constraints: 18372
133.97/134.44 c #Conflicts: 129000 | #Constraints: 19372
133.97/134.44 c #Conflicts: 130000 | #Constraints: 20372
133.97/134.44 c #Conflicts: 131000 | #Constraints: 21372
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 132000 | #Constraints: 15176
133.97/134.44 c #Conflicts: 133000 | #Constraints: 16176
133.97/134.44 c #Conflicts: 134000 | #Constraints: 17176
133.97/134.44 c #Conflicts: 135000 | #Constraints: 18176
133.97/134.44 c #Conflicts: 136000 | #Constraints: 19176
133.97/134.44 c #Conflicts: 137000 | #Constraints: 20176
133.97/134.44 c #Conflicts: 138000 | #Constraints: 21176
133.97/134.44 c #Conflicts: 139000 | #Constraints: 22176
133.97/134.44 c INPROCESSING
133.97/134.44 c GARBAGE COLLECT
133.97/134.44 c #Conflicts: 140000 | #Constraints: 15767
228.22/229.01 c #Conflicts: 141000 | #Constraints: 16767
228.22/229.01 c #Conflicts: 142000 | #Constraints: 17767
228.22/229.01 c #Conflicts: 143000 | #Constraints: 18767
228.22/229.01 c #Conflicts: 144000 | #Constraints: 19767
228.22/229.01 c #Conflicts: 145000 | #Constraints: 20767
228.22/229.01 c #Conflicts: 146000 | #Constraints: 21767
228.22/229.01 c #Conflicts: 147000 | #Constraints: 22767
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 148000 | #Constraints: 16209
228.22/229.01 c #Conflicts: 149000 | #Constraints: 17209
228.22/229.01 c #Conflicts: 150000 | #Constraints: 18209
228.22/229.01 c #Conflicts: 151000 | #Constraints: 19209
228.22/229.01 c #Conflicts: 152000 | #Constraints: 20209
228.22/229.01 c #Conflicts: 153000 | #Constraints: 21209
228.22/229.01 c #Conflicts: 154000 | #Constraints: 22209
228.22/229.01 c #Conflicts: 155000 | #Constraints: 23209
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 156000 | #Constraints: 16399
228.22/229.01 c #Conflicts: 157000 | #Constraints: 17399
228.22/229.01 c #Conflicts: 158000 | #Constraints: 18399
228.22/229.01 c #Conflicts: 159000 | #Constraints: 19399
228.22/229.01 c #Conflicts: 160000 | #Constraints: 20399
228.22/229.01 c #Conflicts: 161000 | #Constraints: 21399
228.22/229.01 c #Conflicts: 162000 | #Constraints: 22399
228.22/229.01 c #Conflicts: 163000 | #Constraints: 23399
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 164000 | #Constraints: 16405
228.22/229.01 c #Conflicts: 165000 | #Constraints: 17405
228.22/229.01 c #Conflicts: 166000 | #Constraints: 18405
228.22/229.01 c #Conflicts: 167000 | #Constraints: 19405
228.22/229.01 c #Conflicts: 168000 | #Constraints: 20405
228.22/229.01 c #Conflicts: 169000 | #Constraints: 21405
228.22/229.01 c #Conflicts: 170000 | #Constraints: 22405
228.22/229.01 c #Conflicts: 171000 | #Constraints: 23405
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 172000 | #Constraints: 16182
228.22/229.01 c #Conflicts: 173000 | #Constraints: 17182
228.22/229.01 c #Conflicts: 174000 | #Constraints: 18182
228.22/229.01 c #Conflicts: 175000 | #Constraints: 19182
228.22/229.01 c #Conflicts: 176000 | #Constraints: 20182
228.22/229.01 c #Conflicts: 177000 | #Constraints: 21182
228.22/229.01 c #Conflicts: 178000 | #Constraints: 22182
228.22/229.01 c #Conflicts: 179000 | #Constraints: 23182
228.22/229.01 c #Conflicts: 180000 | #Constraints: 24182
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 181000 | #Constraints: 16760
228.22/229.01 c #Conflicts: 182000 | #Constraints: 17760
228.22/229.01 c #Conflicts: 183000 | #Constraints: 18760
228.22/229.01 c #Conflicts: 184000 | #Constraints: 19760
228.22/229.01 c #Conflicts: 185000 | #Constraints: 20760
228.22/229.01 c #Conflicts: 186000 | #Constraints: 21760
228.22/229.01 c #Conflicts: 187000 | #Constraints: 22760
228.22/229.01 c #Conflicts: 188000 | #Constraints: 23760
228.22/229.01 c #Conflicts: 189000 | #Constraints: 24760
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 190000 | #Constraints: 17170
228.22/229.01 c #Conflicts: 191000 | #Constraints: 18170
228.22/229.01 c #Conflicts: 192000 | #Constraints: 19170
228.22/229.01 c #Conflicts: 193000 | #Constraints: 20170
228.22/229.01 c #Conflicts: 194000 | #Constraints: 21170
228.22/229.01 c #Conflicts: 195000 | #Constraints: 22170
228.22/229.01 c #Conflicts: 196000 | #Constraints: 23170
228.22/229.01 c #Conflicts: 197000 | #Constraints: 24170
228.22/229.01 c #Conflicts: 198000 | #Constraints: 25170
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 199000 | #Constraints: 17369
228.22/229.01 c #Conflicts: 200000 | #Constraints: 18369
228.22/229.01 c #Conflicts: 201000 | #Constraints: 19369
228.22/229.01 c #Conflicts: 202000 | #Constraints: 20369
228.22/229.01 c #Conflicts: 203000 | #Constraints: 21369
228.22/229.01 c #Conflicts: 204000 | #Constraints: 22369
228.22/229.01 c #Conflicts: 205000 | #Constraints: 23369
228.22/229.01 c #Conflicts: 206000 | #Constraints: 24369
228.22/229.01 c #Conflicts: 207000 | #Constraints: 25369
228.22/229.01 c INPROCESSING
228.22/229.01 c GARBAGE COLLECT
228.22/229.01 c #Conflicts: 208000 | #Constraints: 17362
228.22/229.01 c #Conflicts: 209000 | #Constraints: 18362
228.22/229.01 c #Conflicts: 210000 | #Constraints: 19362
228.22/229.01 c #Conflicts: 211000 | #Constraints: 20362
228.22/229.01 c #Conflicts: 212000 | #Constraints: 21362
228.22/229.01 c #Conflicts: 213000 | #Constraints: 22362
335.66/336.66 c #Conflicts: 214000 | #Constraints: 23362
335.66/336.66 c #Conflicts: 215000 | #Constraints: 24362
335.66/336.66 c #Conflicts: 216000 | #Constraints: 25362
335.66/336.66 c INPROCESSING
335.66/336.66 c GARBAGE COLLECT
335.66/336.66 c #Conflicts: 217000 | #Constraints: 17180
335.66/336.66 c #Conflicts: 218000 | #Constraints: 18180
335.66/336.66 c #Conflicts: 219000 | #Constraints: 19180
335.66/336.66 c #Conflicts: 220000 | #Constraints: 20180
335.66/336.66 c #Conflicts: 221000 | #Constraints: 21180
335.66/336.66 c #Conflicts: 222000 | #Constraints: 22180
335.66/336.66 c #Conflicts: 223000 | #Constraints: 23180
335.66/336.66 c #Conflicts: 224000 | #Constraints: 24180
335.66/336.66 c #Conflicts: 225000 | #Constraints: 25180
335.66/336.66 c #Conflicts: 226000 | #Constraints: 26180
335.66/336.66 c INPROCESSING
335.66/336.66 c GARBAGE COLLECT
335.66/336.66 c #Conflicts: 227000 | #Constraints: 17766
335.66/336.66 c #Conflicts: 228000 | #Constraints: 18766
335.66/336.66 c #Conflicts: 229000 | #Constraints: 19766
335.66/336.66 c #Conflicts: 230000 | #Constraints: 20766
335.66/336.66 c #Conflicts: 231000 | #Constraints: 21766
335.66/336.66 c #Conflicts: 232000 | #Constraints: 22766
335.66/336.66 c #Conflicts: 233000 | #Constraints: 23766
335.66/336.66 c #Conflicts: 234000 | #Constraints: 24766
335.66/336.66 c #Conflicts: 235000 | #Constraints: 25766
335.66/336.66 c #Conflicts: 236000 | #Constraints: 26766
335.66/336.66 c INPROCESSING
335.66/336.66 c GARBAGE COLLECT
335.66/336.66 c #Conflicts: 237000 | #Constraints: 18172
335.66/336.66 c #Conflicts: 238000 | #Constraints: 19172
335.66/336.66 c #Conflicts: 239000 | #Constraints: 20172
335.66/336.66 c #Conflicts: 240000 | #Constraints: 21172
335.66/336.66 c #Conflicts: 241000 | #Constraints: 22172
335.66/336.66 c #Conflicts: 242000 | #Constraints: 23172
335.66/336.66 c #Conflicts: 243000 | #Constraints: 24172
335.66/336.66 c #Conflicts: 244000 | #Constraints: 25172
335.66/336.66 c #Conflicts: 245000 | #Constraints: 26172
335.66/336.66 c #Conflicts: 246000 | #Constraints: 27172
335.66/336.66 c INPROCESSING
335.66/336.66 c GARBAGE COLLECT
335.66/336.66 c #Conflicts: 247000 | #Constraints: 18390
335.66/336.66 c #Conflicts: 248000 | #Constraints: 19390
335.66/336.66 c #Conflicts: 249000 | #Constraints: 20390
335.66/336.66 c #Conflicts: 250000 | #Constraints: 21390
335.66/336.66 c #Conflicts: 251000 | #Constraints: 22390
335.66/336.66 c #Conflicts: 252000 | #Constraints: 23390
335.66/336.66 c #Conflicts: 253000 | #Constraints: 24390
335.66/336.66 c #Conflicts: 254000 | #Constraints: 25390
335.66/336.66 c #Conflicts: 255000 | #Constraints: 26390
335.66/336.66 c #Conflicts: 256000 | #Constraints: 27390
335.66/336.66 c INPROCESSING
335.66/336.66 c GARBAGE COLLECT
335.66/336.66 c #Conflicts: 257000 | #Constraints: 18388
335.66/336.66 c #Conflicts: 258000 | #Constraints: 19388
335.66/336.66 c #Conflicts: 259000 | #Constraints: 20388
335.66/336.66 c #Conflicts: 260000 | #Constraints: 21388
335.66/336.66 c #Conflicts: 261000 | #Constraints: 22388
335.66/336.66 c #Conflicts: 262000 | #Constraints: 23388
335.66/336.66 c #Conflicts: 263000 | #Constraints: 24388
335.66/336.66 c #Conflicts: 264000 | #Constraints: 25388
335.66/336.66 c #Conflicts: 265000 | #Constraints: 26388
335.66/336.66 c #Conflicts: 266000 | #Constraints: 27388
335.66/336.66 c INPROCESSING
335.66/336.66 c GARBAGE COLLECT
335.66/336.66 c #Conflicts: 267000 | #Constraints: 18187
335.66/336.66 c #Conflicts: 268000 | #Constraints: 19187
335.66/336.66 c #Conflicts: 269000 | #Constraints: 20187
335.66/336.66 c #Conflicts: 270000 | #Constraints: 21187
335.66/336.66 c #Conflicts: 271000 | #Constraints: 22187
335.66/336.66 c #Conflicts: 272000 | #Constraints: 23187
335.66/336.66 c #Conflicts: 273000 | #Constraints: 24187
335.66/336.66 c #Conflicts: 274000 | #Constraints: 25187
335.66/336.66 c #Conflicts: 275000 | #Constraints: 26187
335.66/336.66 c #Conflicts: 276000 | #Constraints: 27187
335.66/336.66 c #Conflicts: 277000 | #Constraints: 28187
335.66/336.66 c INPROCESSING
335.66/336.66 c GARBAGE COLLECT
335.66/336.66 c #Conflicts: 278000 | #Constraints: 18777
335.66/336.66 c #Conflicts: 279000 | #Constraints: 19777
335.66/336.66 c #Conflicts: 280000 | #Constraints: 20777
335.66/336.66 c #Conflicts: 281000 | #Constraints: 21777
335.66/336.66 c #Conflicts: 282000 | #Constraints: 22777
335.66/336.66 c #Conflicts: 283000 | #Constraints: 23777
335.66/336.66 c #Conflicts: 284000 | #Constraints: 24777
335.66/336.66 c #Conflicts: 285000 | #Constraints: 25777
335.66/336.66 c #Conflicts: 286000 | #Constraints: 26777
335.66/336.66 c #Conflicts: 287000 | #Constraints: 27777
335.66/336.66 c #Conflicts: 288000 | #Constraints: 28777
446.08/447.31 c INPROCESSING
446.08/447.31 c GARBAGE COLLECT
446.08/447.31 c #Conflicts: 289000 | #Constraints: 19161
446.08/447.31 c #Conflicts: 290000 | #Constraints: 20161
446.08/447.31 c #Conflicts: 291000 | #Constraints: 21161
446.08/447.31 c #Conflicts: 292000 | #Constraints: 22161
446.08/447.31 c #Conflicts: 293000 | #Constraints: 23161
446.08/447.31 c #Conflicts: 294000 | #Constraints: 24161
446.08/447.31 c #Conflicts: 295000 | #Constraints: 25161
446.08/447.31 c #Conflicts: 296000 | #Constraints: 26161
446.08/447.31 c #Conflicts: 297000 | #Constraints: 27161
446.08/447.31 c #Conflicts: 298000 | #Constraints: 28161
446.08/447.31 c #Conflicts: 299000 | #Constraints: 29161
446.08/447.31 c INPROCESSING
446.08/447.31 c GARBAGE COLLECT
446.08/447.31 c #Conflicts: 300000 | #Constraints: 19370
446.08/447.31 c #Conflicts: 301000 | #Constraints: 20370
446.08/447.31 c #Conflicts: 302000 | #Constraints: 21370
446.08/447.31 c #Conflicts: 303000 | #Constraints: 22370
446.08/447.31 c #Conflicts: 304000 | #Constraints: 23370
446.08/447.31 c #Conflicts: 305000 | #Constraints: 24370
446.08/447.31 c #Conflicts: 306000 | #Constraints: 25370
446.08/447.31 c #Conflicts: 307000 | #Constraints: 26370
446.08/447.31 c #Conflicts: 308000 | #Constraints: 27370
446.08/447.31 c #Conflicts: 309000 | #Constraints: 28370
446.08/447.31 c #Conflicts: 310000 | #Constraints: 29370
446.08/447.31 c INPROCESSING
446.08/447.31 c GARBAGE COLLECT
446.08/447.31 c #Conflicts: 311000 | #Constraints: 19391
446.08/447.31 c #Conflicts: 312000 | #Constraints: 20391
446.08/447.31 c #Conflicts: 313000 | #Constraints: 21391
446.08/447.31 c #Conflicts: 314000 | #Constraints: 22391
446.08/447.31 c #Conflicts: 315000 | #Constraints: 23391
446.08/447.31 c #Conflicts: 316000 | #Constraints: 24391
446.08/447.31 c #Conflicts: 317000 | #Constraints: 25391
446.08/447.31 c #Conflicts: 318000 | #Constraints: 26391
446.08/447.31 c #Conflicts: 319000 | #Constraints: 27391
446.08/447.31 c #Conflicts: 320000 | #Constraints: 28391
446.08/447.31 c #Conflicts: 321000 | #Constraints: 29391
446.08/447.31 c INPROCESSING
446.08/447.31 c GARBAGE COLLECT
446.08/447.31 c #Conflicts: 322000 | #Constraints: 19240
446.08/447.31 c #Conflicts: 323000 | #Constraints: 20240
446.08/447.31 c #Conflicts: 324000 | #Constraints: 21240
446.08/447.31 c #Conflicts: 325000 | #Constraints: 22240
446.08/447.31 c #Conflicts: 326000 | #Constraints: 23240
446.08/447.31 c #Conflicts: 327000 | #Constraints: 24240
446.08/447.31 c #Conflicts: 328000 | #Constraints: 25240
446.08/447.31 c #Conflicts: 329000 | #Constraints: 26240
446.08/447.31 c #Conflicts: 330000 | #Constraints: 27240
446.08/447.31 c #Conflicts: 331000 | #Constraints: 28240
446.08/447.31 c #Conflicts: 332000 | #Constraints: 29240
446.08/447.31 c #Conflicts: 333000 | #Constraints: 30240
446.08/447.31 c INPROCESSING
446.08/447.31 c GARBAGE COLLECT
446.08/447.31 c #Conflicts: 334000 | #Constraints: 19797
446.08/447.31 c #Conflicts: 335000 | #Constraints: 20797
446.08/447.31 c #Conflicts: 336000 | #Constraints: 21797
446.08/447.31 c #Conflicts: 337000 | #Constraints: 22797
446.08/447.31 c #Conflicts: 338000 | #Constraints: 23797
446.08/447.31 c #Conflicts: 339000 | #Constraints: 24797
446.08/447.31 c #Conflicts: 340000 | #Constraints: 25797
446.08/447.31 c #Conflicts: 341000 | #Constraints: 26797
446.08/447.31 c #Conflicts: 342000 | #Constraints: 27797
446.08/447.31 c #Conflicts: 343000 | #Constraints: 28797
446.08/447.31 c #Conflicts: 344000 | #Constraints: 29797
446.08/447.31 c #Conflicts: 345000 | #Constraints: 30797
446.08/447.31 c INPROCESSING
446.08/447.31 c GARBAGE COLLECT
446.08/447.31 c #Conflicts: 346000 | #Constraints: 20179
446.08/447.31 c #Conflicts: 347000 | #Constraints: 21179
446.08/447.31 c #Conflicts: 348000 | #Constraints: 22179
446.08/447.31 c #Conflicts: 349000 | #Constraints: 23179
446.08/447.31 c #Conflicts: 350000 | #Constraints: 24179
446.08/447.31 c #Conflicts: 351000 | #Constraints: 25179
446.08/447.31 c #Conflicts: 352000 | #Constraints: 26179
446.08/447.31 c #Conflicts: 353000 | #Constraints: 27179
446.08/447.31 c #Conflicts: 354000 | #Constraints: 28179
446.08/447.31 c #Conflicts: 355000 | #Constraints: 29179
446.08/447.31 c #Conflicts: 356000 | #Constraints: 30179
446.08/447.31 c #Conflicts: 357000 | #Constraints: 31179
446.08/447.31 c INPROCESSING
446.08/447.31 c GARBAGE COLLECT
446.08/447.31 c #Conflicts: 358000 | #Constraints: 20378
446.08/447.31 c #Conflicts: 359000 | #Constraints: 21378
446.08/447.31 c #Conflicts: 360000 | #Constraints: 22378
446.08/447.31 c #Conflicts: 361000 | #Constraints: 23378
446.08/447.31 c #Conflicts: 362000 | #Constraints: 24378
613.57/615.21 c #Conflicts: 363000 | #Constraints: 25378
613.57/615.21 c #Conflicts: 364000 | #Constraints: 26378
613.57/615.21 c #Conflicts: 365000 | #Constraints: 27378
613.57/615.21 c #Conflicts: 366000 | #Constraints: 28378
613.57/615.21 c #Conflicts: 367000 | #Constraints: 29378
613.57/615.21 c #Conflicts: 368000 | #Constraints: 30378
613.57/615.21 c #Conflicts: 369000 | #Constraints: 31378
613.57/615.21 c INPROCESSING
613.57/615.21 c GARBAGE COLLECT
613.57/615.21 c #Conflicts: 370000 | #Constraints: 20367
613.57/615.21 c #Conflicts: 371000 | #Constraints: 21367
613.57/615.21 c #Conflicts: 372000 | #Constraints: 22367
613.57/615.21 c #Conflicts: 373000 | #Constraints: 23367
613.57/615.21 c #Conflicts: 374000 | #Constraints: 24367
613.57/615.21 c #Conflicts: 375000 | #Constraints: 25367
613.57/615.21 c #Conflicts: 376000 | #Constraints: 26367
613.57/615.21 c #Conflicts: 377000 | #Constraints: 27367
613.57/615.21 c #Conflicts: 378000 | #Constraints: 28367
613.57/615.21 c #Conflicts: 379000 | #Constraints: 29367
613.57/615.21 c #Conflicts: 380000 | #Constraints: 30367
613.57/615.21 c #Conflicts: 381000 | #Constraints: 31367
613.57/615.21 c INPROCESSING
613.57/615.21 c GARBAGE COLLECT
613.57/615.21 c #Conflicts: 382000 | #Constraints: 20163
613.57/615.21 c #Conflicts: 383000 | #Constraints: 21163
613.57/615.21 c #Conflicts: 384000 | #Constraints: 22163
613.57/615.21 c #Conflicts: 385000 | #Constraints: 23163
613.57/615.21 c #Conflicts: 386000 | #Constraints: 24163
613.57/615.21 c #Conflicts: 387000 | #Constraints: 25163
613.57/615.21 c #Conflicts: 388000 | #Constraints: 26163
613.57/615.21 c #Conflicts: 389000 | #Constraints: 27163
613.57/615.21 c #Conflicts: 390000 | #Constraints: 28163
613.57/615.21 c #Conflicts: 391000 | #Constraints: 29163
613.57/615.21 c #Conflicts: 392000 | #Constraints: 30163
613.57/615.21 c #Conflicts: 393000 | #Constraints: 31163
613.57/615.21 c #Conflicts: 394000 | #Constraints: 32163
613.57/615.21 c INPROCESSING
613.57/615.21 c GARBAGE COLLECT
613.57/615.21 c #Conflicts: 395000 | #Constraints: 20763
613.57/615.21 c #Conflicts: 396000 | #Constraints: 21763
613.57/615.21 c #Conflicts: 397000 | #Constraints: 22763
613.57/615.21 c #Conflicts: 398000 | #Constraints: 23763
613.57/615.21 c #Conflicts: 399000 | #Constraints: 24763
613.57/615.21 c #Conflicts: 400000 | #Constraints: 25763
613.57/615.21 c #Conflicts: 401000 | #Constraints: 26763
613.57/615.21 c #Conflicts: 402000 | #Constraints: 27763
613.57/615.21 c #Conflicts: 403000 | #Constraints: 28763
613.57/615.21 c #Conflicts: 404000 | #Constraints: 29763
613.57/615.21 c #Conflicts: 405000 | #Constraints: 30763
613.57/615.21 c #Conflicts: 406000 | #Constraints: 31763
613.57/615.21 c #Conflicts: 407000 | #Constraints: 32763
613.57/615.21 c INPROCESSING
613.57/615.21 c GARBAGE COLLECT
613.57/615.21 c #Conflicts: 408000 | #Constraints: 21167
613.57/615.21 c #Conflicts: 409000 | #Constraints: 22167
613.57/615.21 c #Conflicts: 410000 | #Constraints: 23167
613.57/615.21 c #Conflicts: 411000 | #Constraints: 24167
613.57/615.21 c #Conflicts: 412000 | #Constraints: 25167
613.57/615.21 c #Conflicts: 413000 | #Constraints: 26167
613.57/615.21 c #Conflicts: 414000 | #Constraints: 27167
613.57/615.21 c #Conflicts: 415000 | #Constraints: 28167
613.57/615.21 c #Conflicts: 416000 | #Constraints: 29167
613.57/615.21 c #Conflicts: 417000 | #Constraints: 30167
613.57/615.21 c #Conflicts: 418000 | #Constraints: 31167
613.57/615.21 c #Conflicts: 419000 | #Constraints: 32167
613.57/615.21 c #Conflicts: 420000 | #Constraints: 33167
613.57/615.21 c INPROCESSING
613.57/615.21 c GARBAGE COLLECT
613.57/615.21 c #Conflicts: 421000 | #Constraints: 21498
613.57/615.21 c #Conflicts: 422000 | #Constraints: 22498
613.57/615.21 c #Conflicts: 423000 | #Constraints: 23498
613.57/615.21 c #Conflicts: 424000 | #Constraints: 24498
613.57/615.21 c #Conflicts: 425000 | #Constraints: 25498
613.57/615.21 c #Conflicts: 426000 | #Constraints: 26498
613.57/615.21 c #Conflicts: 427000 | #Constraints: 27498
613.57/615.21 c #Conflicts: 428000 | #Constraints: 28498
613.57/615.21 c #Conflicts: 429000 | #Constraints: 29498
613.57/615.21 c #Conflicts: 430000 | #Constraints: 30498
613.57/615.21 c #Conflicts: 431000 | #Constraints: 31498
613.57/615.21 c #Conflicts: 432000 | #Constraints: 32498
613.57/615.21 c #Conflicts: 433000 | #Constraints: 33498
613.57/615.21 c INPROCESSING
613.57/615.21 c GARBAGE COLLECT
613.57/615.21 c #Conflicts: 434000 | #Constraints: 21517
613.57/615.21 c #Conflicts: 435000 | #Constraints: 22517
613.57/615.21 c #Conflicts: 436000 | #Constraints: 23517
613.57/615.21 c #Conflicts: 437000 | #Constraints: 24517
777.57/779.66 c #Conflicts: 438000 | #Constraints: 25517
777.57/779.66 c #Conflicts: 439000 | #Constraints: 26517
777.57/779.66 c #Conflicts: 440000 | #Constraints: 27517
777.57/779.66 c #Conflicts: 441000 | #Constraints: 28517
777.57/779.66 c #Conflicts: 442000 | #Constraints: 29517
777.57/779.66 c #Conflicts: 443000 | #Constraints: 30517
777.57/779.66 c #Conflicts: 444000 | #Constraints: 31517
777.57/779.66 c #Conflicts: 445000 | #Constraints: 32517
777.57/779.66 c #Conflicts: 446000 | #Constraints: 33517
777.57/779.66 c INPROCESSING
777.57/779.66 c GARBAGE COLLECT
777.57/779.66 c #Conflicts: 447000 | #Constraints: 21281
777.57/779.66 c #Conflicts: 448000 | #Constraints: 22281
777.57/779.66 c #Conflicts: 449000 | #Constraints: 23281
777.57/779.66 c #Conflicts: 450000 | #Constraints: 24281
777.57/779.66 c #Conflicts: 451000 | #Constraints: 25281
777.57/779.66 c #Conflicts: 452000 | #Constraints: 26281
777.57/779.66 c #Conflicts: 453000 | #Constraints: 27281
777.57/779.66 c #Conflicts: 454000 | #Constraints: 28281
777.57/779.66 c #Conflicts: 455000 | #Constraints: 29281
777.57/779.66 c #Conflicts: 456000 | #Constraints: 30281
777.57/779.66 c #Conflicts: 457000 | #Constraints: 31281
777.57/779.66 c #Conflicts: 458000 | #Constraints: 32281
777.57/779.66 c #Conflicts: 459000 | #Constraints: 33281
777.57/779.66 c #Conflicts: 460000 | #Constraints: 34281
777.57/779.66 c INPROCESSING
777.57/779.66 c GARBAGE COLLECT
777.57/779.66 c #Conflicts: 461000 | #Constraints: 21969
777.57/779.66 c #Conflicts: 462000 | #Constraints: 22969
777.57/779.66 c #Conflicts: 463000 | #Constraints: 23969
777.57/779.66 c #Conflicts: 464000 | #Constraints: 24969
777.57/779.66 c #Conflicts: 465000 | #Constraints: 25969
777.57/779.66 c #Conflicts: 466000 | #Constraints: 26969
777.57/779.66 c #Conflicts: 467000 | #Constraints: 27969
777.57/779.66 c #Conflicts: 468000 | #Constraints: 28969
777.57/779.66 c #Conflicts: 469000 | #Constraints: 29969
777.57/779.66 c #Conflicts: 470000 | #Constraints: 30969
777.57/779.66 c #Conflicts: 471000 | #Constraints: 31969
777.57/779.66 c #Conflicts: 472000 | #Constraints: 32969
777.57/779.66 c #Conflicts: 473000 | #Constraints: 33969
777.57/779.66 c #Conflicts: 474000 | #Constraints: 34969
777.57/779.66 c INPROCESSING
777.57/779.66 c GARBAGE COLLECT
777.57/779.66 c #Conflicts: 475000 | #Constraints: 22327
777.57/779.66 c #Conflicts: 476000 | #Constraints: 23327
777.57/779.66 c #Conflicts: 477000 | #Constraints: 24327
777.57/779.66 c #Conflicts: 478000 | #Constraints: 25327
777.57/779.66 c #Conflicts: 479000 | #Constraints: 26327
777.57/779.66 c #Conflicts: 480000 | #Constraints: 27327
777.57/779.66 c #Conflicts: 481000 | #Constraints: 28327
777.57/779.66 c #Conflicts: 482000 | #Constraints: 29327
777.57/779.66 c #Conflicts: 483000 | #Constraints: 30327
777.57/779.66 c #Conflicts: 484000 | #Constraints: 31327
777.57/779.66 c #Conflicts: 485000 | #Constraints: 32327
777.57/779.66 c #Conflicts: 486000 | #Constraints: 33327
777.57/779.66 c #Conflicts: 487000 | #Constraints: 34327
777.57/779.66 c #Conflicts: 488000 | #Constraints: 35327
777.57/779.66 c INPROCESSING
777.57/779.66 c GARBAGE COLLECT
777.57/779.66 c #Conflicts: 489000 | #Constraints: 22468
777.57/779.66 c #Conflicts: 490000 | #Constraints: 23468
777.57/779.66 c #Conflicts: 491000 | #Constraints: 24468
777.57/779.66 c #Conflicts: 492000 | #Constraints: 25468
777.57/779.66 c #Conflicts: 493000 | #Constraints: 26468
777.57/779.66 c #Conflicts: 494000 | #Constraints: 27468
777.57/779.66 c #Conflicts: 495000 | #Constraints: 28468
777.57/779.66 c #Conflicts: 496000 | #Constraints: 29468
777.57/779.66 c #Conflicts: 497000 | #Constraints: 30468
777.57/779.66 c #Conflicts: 498000 | #Constraints: 31468
777.57/779.66 c #Conflicts: 499000 | #Constraints: 32468
777.57/779.66 c #Conflicts: 500000 | #Constraints: 33468
777.57/779.66 c #Conflicts: 501000 | #Constraints: 34468
777.57/779.66 c #Conflicts: 502000 | #Constraints: 35468
777.57/779.66 c INPROCESSING
777.57/779.66 c GARBAGE COLLECT
777.57/779.66 c #Conflicts: 503000 | #Constraints: 22440
777.57/779.66 c #Conflicts: 504000 | #Constraints: 23440
777.57/779.66 c #Conflicts: 505000 | #Constraints: 24440
777.57/779.66 c #Conflicts: 506000 | #Constraints: 25440
777.57/779.66 c #Conflicts: 507000 | #Constraints: 26440
777.57/779.66 c #Conflicts: 508000 | #Constraints: 27440
777.57/779.66 c #Conflicts: 509000 | #Constraints: 28440
777.57/779.66 c #Conflicts: 510000 | #Constraints: 29440
777.57/779.66 c #Conflicts: 511000 | #Constraints: 30440
777.57/779.66 c #Conflicts: 512000 | #Constraints: 31440
777.57/779.66 c #Conflicts: 513000 | #Constraints: 32440
969.65/972.27 c #Conflicts: 514000 | #Constraints: 33440
969.65/972.27 c #Conflicts: 515000 | #Constraints: 34440
969.65/972.27 c #Conflicts: 516000 | #Constraints: 35440
969.65/972.27 c INPROCESSING
969.65/972.27 c GARBAGE COLLECT
969.65/972.27 c #Conflicts: 517000 | #Constraints: 22230
969.65/972.27 c #Conflicts: 518000 | #Constraints: 23230
969.65/972.27 c #Conflicts: 519000 | #Constraints: 24230
969.65/972.27 c #Conflicts: 520000 | #Constraints: 25230
969.65/972.27 c #Conflicts: 521000 | #Constraints: 26230
969.65/972.27 c #Conflicts: 522000 | #Constraints: 27230
969.65/972.27 c #Conflicts: 523000 | #Constraints: 28230
969.65/972.27 c #Conflicts: 524000 | #Constraints: 29230
969.65/972.27 c #Conflicts: 525000 | #Constraints: 30230
969.65/972.27 c #Conflicts: 526000 | #Constraints: 31230
969.65/972.27 c #Conflicts: 527000 | #Constraints: 32230
969.65/972.27 c #Conflicts: 528000 | #Constraints: 33230
969.65/972.27 c #Conflicts: 529000 | #Constraints: 34230
969.65/972.27 c #Conflicts: 530000 | #Constraints: 35230
969.65/972.27 c #Conflicts: 531000 | #Constraints: 36230
969.65/972.27 c INPROCESSING
969.65/972.27 c GARBAGE COLLECT
969.65/972.27 c #Conflicts: 532000 | #Constraints: 22862
969.65/972.27 c #Conflicts: 533000 | #Constraints: 23862
969.65/972.27 c #Conflicts: 534000 | #Constraints: 24862
969.65/972.27 c #Conflicts: 535000 | #Constraints: 25862
969.65/972.27 c #Conflicts: 536000 | #Constraints: 26862
969.65/972.27 c #Conflicts: 537000 | #Constraints: 27862
969.65/972.27 c #Conflicts: 538000 | #Constraints: 28862
969.65/972.27 c #Conflicts: 539000 | #Constraints: 29862
969.65/972.27 c #Conflicts: 540000 | #Constraints: 30862
969.65/972.27 c #Conflicts: 541000 | #Constraints: 31862
969.65/972.27 c #Conflicts: 542000 | #Constraints: 32862
969.65/972.27 c #Conflicts: 543000 | #Constraints: 33862
969.65/972.27 c #Conflicts: 544000 | #Constraints: 34862
969.65/972.27 c #Conflicts: 545000 | #Constraints: 35862
969.65/972.27 c #Conflicts: 546000 | #Constraints: 36862
969.65/972.27 c INPROCESSING
969.65/972.27 c GARBAGE COLLECT
969.65/972.27 c #Conflicts: 547000 | #Constraints: 23211
969.65/972.27 c #Conflicts: 548000 | #Constraints: 24211
969.65/972.27 c #Conflicts: 549000 | #Constraints: 25211
969.65/972.27 c #Conflicts: 550000 | #Constraints: 26211
969.65/972.27 c #Conflicts: 551000 | #Constraints: 27211
969.65/972.27 c #Conflicts: 552000 | #Constraints: 28211
969.65/972.27 c #Conflicts: 553000 | #Constraints: 29211
969.65/972.27 c #Conflicts: 554000 | #Constraints: 30211
969.65/972.27 c #Conflicts: 555000 | #Constraints: 31211
969.65/972.27 c #Conflicts: 556000 | #Constraints: 32211
969.65/972.27 c #Conflicts: 557000 | #Constraints: 33211
969.65/972.27 c #Conflicts: 558000 | #Constraints: 34211
969.65/972.27 c #Conflicts: 559000 | #Constraints: 35211
969.65/972.27 c #Conflicts: 560000 | #Constraints: 36211
969.65/972.27 c #Conflicts: 561000 | #Constraints: 37211
969.65/972.27 c INPROCESSING
969.65/972.27 c GARBAGE COLLECT
969.65/972.27 c #Conflicts: 562000 | #Constraints: 23385
969.65/972.27 c #Conflicts: 563000 | #Constraints: 24385
969.65/972.27 c #Conflicts: 564000 | #Constraints: 25385
969.65/972.27 c #Conflicts: 565000 | #Constraints: 26385
969.65/972.27 c #Conflicts: 566000 | #Constraints: 27385
969.65/972.27 c #Conflicts: 567000 | #Constraints: 28385
969.65/972.27 c #Conflicts: 568000 | #Constraints: 29385
969.65/972.27 c #Conflicts: 569000 | #Constraints: 30385
969.65/972.27 c #Conflicts: 570000 | #Constraints: 31385
969.65/972.27 c #Conflicts: 571000 | #Constraints: 32385
969.65/972.27 c #Conflicts: 572000 | #Constraints: 33385
969.65/972.27 c #Conflicts: 573000 | #Constraints: 34385
969.65/972.27 c #Conflicts: 574000 | #Constraints: 35385
969.65/972.27 c #Conflicts: 575000 | #Constraints: 36385
969.65/972.27 c #Conflicts: 576000 | #Constraints: 37385
969.65/972.27 c INPROCESSING
969.65/972.27 c GARBAGE COLLECT
969.65/972.27 c #Conflicts: 577000 | #Constraints: 23399
969.65/972.27 c #Conflicts: 578000 | #Constraints: 24399
969.65/972.27 c #Conflicts: 579000 | #Constraints: 25399
969.65/972.27 c #Conflicts: 580000 | #Constraints: 26399
969.65/972.27 c #Conflicts: 581000 | #Constraints: 27399
969.65/972.27 c #Conflicts: 582000 | #Constraints: 28399
969.65/972.27 c #Conflicts: 583000 | #Constraints: 29399
969.65/972.27 c #Conflicts: 584000 | #Constraints: 30399
969.65/972.27 c #Conflicts: 585000 | #Constraints: 31399
969.65/972.27 c #Conflicts: 586000 | #Constraints: 32399
969.65/972.27 c #Conflicts: 587000 | #Constraints: 33399
969.65/972.27 c #Conflicts: 588000 | #Constraints: 34399
1261.30/1264.76 c #Conflicts: 589000 | #Constraints: 35399
1261.30/1264.76 c #Conflicts: 590000 | #Constraints: 36399
1261.30/1264.76 c #Conflicts: 591000 | #Constraints: 37399
1261.30/1264.76 c INPROCESSING
1261.30/1264.76 c GARBAGE COLLECT
1261.30/1264.76 c #Conflicts: 592000 | #Constraints: 23193
1261.30/1264.76 c #Conflicts: 593000 | #Constraints: 24193
1261.30/1264.76 c #Conflicts: 594000 | #Constraints: 25193
1261.30/1264.76 c #Conflicts: 595000 | #Constraints: 26193
1261.30/1264.76 c #Conflicts: 596000 | #Constraints: 27193
1261.30/1264.76 c #Conflicts: 597000 | #Constraints: 28193
1261.30/1264.76 c #Conflicts: 598000 | #Constraints: 29193
1261.30/1264.76 c #Conflicts: 599000 | #Constraints: 30193
1261.30/1264.76 c #Conflicts: 600000 | #Constraints: 31193
1261.30/1264.76 c #Conflicts: 601000 | #Constraints: 32193
1261.30/1264.76 c #Conflicts: 602000 | #Constraints: 33193
1261.30/1264.76 c #Conflicts: 603000 | #Constraints: 34193
1261.30/1264.76 c #Conflicts: 604000 | #Constraints: 35193
1261.30/1264.76 c #Conflicts: 605000 | #Constraints: 36193
1261.30/1264.76 c #Conflicts: 606000 | #Constraints: 37193
1261.30/1264.76 c #Conflicts: 607000 | #Constraints: 38193
1261.30/1264.76 c INPROCESSING
1261.30/1264.76 c GARBAGE COLLECT
1261.30/1264.76 c #Conflicts: 608000 | #Constraints: 23780
1261.30/1264.76 c #Conflicts: 609000 | #Constraints: 24780
1261.30/1264.76 c #Conflicts: 610000 | #Constraints: 25780
1261.30/1264.76 c #Conflicts: 611000 | #Constraints: 26780
1261.30/1264.76 c #Conflicts: 612000 | #Constraints: 27780
1261.30/1264.76 c #Conflicts: 613000 | #Constraints: 28780
1261.30/1264.76 c #Conflicts: 614000 | #Constraints: 29780
1261.30/1264.76 c #Conflicts: 615000 | #Constraints: 30780
1261.30/1264.76 c #Conflicts: 616000 | #Constraints: 31780
1261.30/1264.76 c #Conflicts: 617000 | #Constraints: 32780
1261.30/1264.76 c #Conflicts: 618000 | #Constraints: 33780
1261.30/1264.76 c #Conflicts: 619000 | #Constraints: 34780
1261.30/1264.76 c #Conflicts: 620000 | #Constraints: 35780
1261.30/1264.76 c #Conflicts: 621000 | #Constraints: 36780
1261.30/1264.76 c #Conflicts: 622000 | #Constraints: 37780
1261.30/1264.76 c #Conflicts: 623000 | #Constraints: 38780
1261.30/1264.76 c INPROCESSING
1261.30/1264.76 c GARBAGE COLLECT
1261.30/1264.76 c #Conflicts: 624000 | #Constraints: 24203
1261.30/1264.76 c #Conflicts: 625000 | #Constraints: 25203
1261.30/1264.76 c #Conflicts: 626000 | #Constraints: 26203
1261.30/1264.76 c #Conflicts: 627000 | #Constraints: 27203
1261.30/1264.76 c #Conflicts: 628000 | #Constraints: 28203
1261.30/1264.76 c #Conflicts: 629000 | #Constraints: 29203
1261.30/1264.76 c #Conflicts: 630000 | #Constraints: 30203
1261.30/1264.76 c #Conflicts: 631000 | #Constraints: 31203
1261.30/1264.76 c #Conflicts: 632000 | #Constraints: 32203
1261.30/1264.76 c #Conflicts: 633000 | #Constraints: 33203
1261.30/1264.76 c #Conflicts: 634000 | #Constraints: 34203
1261.30/1264.76 c #Conflicts: 635000 | #Constraints: 35203
1261.30/1264.76 c #Conflicts: 636000 | #Constraints: 36203
1261.30/1264.76 c #Conflicts: 637000 | #Constraints: 37203
1261.30/1264.76 c #Conflicts: 638000 | #Constraints: 38203
1261.30/1264.76 c #Conflicts: 639000 | #Constraints: 39203
1261.30/1264.76 c INPROCESSING
1261.30/1264.76 c GARBAGE COLLECT
1261.30/1264.76 c #Conflicts: 640000 | #Constraints: 24413
1261.30/1264.76 c #Conflicts: 641000 | #Constraints: 25413
1261.30/1264.76 c #Conflicts: 642000 | #Constraints: 26413
1261.30/1264.76 c #Conflicts: 643000 | #Constraints: 27413
1261.30/1264.76 c #Conflicts: 644000 | #Constraints: 28413
1261.30/1264.76 c #Conflicts: 645000 | #Constraints: 29413
1261.30/1264.76 c #Conflicts: 646000 | #Constraints: 30413
1261.30/1264.76 c #Conflicts: 647000 | #Constraints: 31413
1261.30/1264.76 c #Conflicts: 648000 | #Constraints: 32413
1261.30/1264.76 c #Conflicts: 649000 | #Constraints: 33413
1261.30/1264.76 c #Conflicts: 650000 | #Constraints: 34413
1261.30/1264.76 c #Conflicts: 651000 | #Constraints: 35413
1261.30/1264.76 c #Conflicts: 652000 | #Constraints: 36413
1261.30/1264.76 c #Conflicts: 653000 | #Constraints: 37413
1261.30/1264.76 c #Conflicts: 654000 | #Constraints: 38413
1261.30/1264.76 c #Conflicts: 655000 | #Constraints: 39413
1261.30/1264.76 c INPROCESSING
1261.30/1264.76 c GARBAGE COLLECT
1261.30/1264.76 c #Conflicts: 656000 | #Constraints: 24428
1261.30/1264.76 c #Conflicts: 657000 | #Constraints: 25428
1261.30/1264.76 c #Conflicts: 658000 | #Constraints: 26428
1261.30/1264.76 c #Conflicts: 659000 | #Constraints: 27428
1261.30/1264.76 c #Conflicts: 660000 | #Constraints: 28428
1261.30/1264.76 c #Conflicts: 661000 | #Constraints: 29428
1261.30/1264.76 c #Conflicts: 662000 | #Constraints: 30428
1261.30/1264.76 c #Conflicts: 663000 | #Constraints: 31428
1261.30/1264.76 c #Conflicts: 664000 | #Constraints: 32428
1631.95/1636.59 c #Conflicts: 665000 | #Constraints: 33428
1631.95/1636.59 c #Conflicts: 666000 | #Constraints: 34428
1631.95/1636.59 c #Conflicts: 667000 | #Constraints: 35428
1631.95/1636.59 c #Conflicts: 668000 | #Constraints: 36428
1631.95/1636.59 c #Conflicts: 669000 | #Constraints: 37428
1631.95/1636.59 c #Conflicts: 670000 | #Constraints: 38428
1631.95/1636.59 c #Conflicts: 671000 | #Constraints: 39428
1631.95/1636.59 c INPROCESSING
1631.95/1636.59 c GARBAGE COLLECT
1631.95/1636.59 c #Conflicts: 672000 | #Constraints: 24192
1631.95/1636.59 c #Conflicts: 673000 | #Constraints: 25192
1631.95/1636.59 c #Conflicts: 674000 | #Constraints: 26192
1631.95/1636.59 c #Conflicts: 675000 | #Constraints: 27192
1631.95/1636.59 c #Conflicts: 676000 | #Constraints: 28192
1631.95/1636.59 c #Conflicts: 677000 | #Constraints: 29192
1631.95/1636.59 c #Conflicts: 678000 | #Constraints: 30192
1631.95/1636.59 c #Conflicts: 679000 | #Constraints: 31192
1631.95/1636.59 c #Conflicts: 680000 | #Constraints: 32192
1631.95/1636.59 c #Conflicts: 681000 | #Constraints: 33192
1631.95/1636.59 c #Conflicts: 682000 | #Constraints: 34192
1631.95/1636.59 c #Conflicts: 683000 | #Constraints: 35192
1631.95/1636.59 c #Conflicts: 684000 | #Constraints: 36192
1631.95/1636.59 c #Conflicts: 685000 | #Constraints: 37192
1631.95/1636.59 c #Conflicts: 686000 | #Constraints: 38192
1631.95/1636.59 c #Conflicts: 687000 | #Constraints: 39192
1631.95/1636.59 c #Conflicts: 688000 | #Constraints: 40192
1631.95/1636.59 c INPROCESSING
1631.95/1636.59 c GARBAGE COLLECT
1631.95/1636.59 c #Conflicts: 689000 | #Constraints: 24788
1631.95/1636.59 c #Conflicts: 690000 | #Constraints: 25788
1631.95/1636.59 c #Conflicts: 691000 | #Constraints: 26788
1631.95/1636.59 c #Conflicts: 692000 | #Constraints: 27788
1631.95/1636.59 c #Conflicts: 693000 | #Constraints: 28788
1631.95/1636.59 c #Conflicts: 694000 | #Constraints: 29788
1631.95/1636.59 c #Conflicts: 695000 | #Constraints: 30788
1631.95/1636.59 c #Conflicts: 696000 | #Constraints: 31788
1631.95/1636.59 c #Conflicts: 697000 | #Constraints: 32788
1631.95/1636.59 c #Conflicts: 698000 | #Constraints: 33788
1631.95/1636.59 c #Conflicts: 699000 | #Constraints: 34788
1631.95/1636.59 c #Conflicts: 700000 | #Constraints: 35788
1631.95/1636.59 c #Conflicts: 701000 | #Constraints: 36788
1631.95/1636.59 c #Conflicts: 702000 | #Constraints: 37788
1631.95/1636.59 c #Conflicts: 703000 | #Constraints: 38788
1631.95/1636.59 c #Conflicts: 704000 | #Constraints: 39788
1631.95/1636.59 c #Conflicts: 705000 | #Constraints: 40788
1631.95/1636.59 c INPROCESSING
1631.95/1636.59 c GARBAGE COLLECT
1631.95/1636.59 c #Conflicts: 706000 | #Constraints: 25178
1631.95/1636.59 c #Conflicts: 707000 | #Constraints: 26178
1631.95/1636.59 c #Conflicts: 708000 | #Constraints: 27178
1631.95/1636.59 c #Conflicts: 709000 | #Constraints: 28178
1631.95/1636.59 c #Conflicts: 710000 | #Constraints: 29178
1631.95/1636.59 c #Conflicts: 711000 | #Constraints: 30178
1631.95/1636.59 c #Conflicts: 712000 | #Constraints: 31178
1631.95/1636.59 c #Conflicts: 713000 | #Constraints: 32178
1631.95/1636.59 c #Conflicts: 714000 | #Constraints: 33178
1631.95/1636.59 c #Conflicts: 715000 | #Constraints: 34178
1631.95/1636.59 c #Conflicts: 716000 | #Constraints: 35178
1631.95/1636.59 c #Conflicts: 717000 | #Constraints: 36178
1631.95/1636.59 c #Conflicts: 718000 | #Constraints: 37178
1631.95/1636.59 c #Conflicts: 719000 | #Constraints: 38178
1631.95/1636.59 c #Conflicts: 720000 | #Constraints: 39178
1631.95/1636.59 c #Conflicts: 721000 | #Constraints: 40178
1631.95/1636.59 c #Conflicts: 722000 | #Constraints: 41178
1631.95/1636.59 c INPROCESSING
1631.95/1636.59 c GARBAGE COLLECT
1631.95/1636.59 c #Conflicts: 723000 | #Constraints: 25377
1631.95/1636.59 c #Conflicts: 724000 | #Constraints: 26377
1631.95/1636.59 c #Conflicts: 725000 | #Constraints: 27377
1631.95/1636.59 c #Conflicts: 726000 | #Constraints: 28377
1631.95/1636.59 c #Conflicts: 727000 | #Constraints: 29377
1631.95/1636.59 c #Conflicts: 728000 | #Constraints: 30377
1631.95/1636.59 c #Conflicts: 729000 | #Constraints: 31377
1631.95/1636.59 c #Conflicts: 730000 | #Constraints: 32377
1631.95/1636.59 c #Conflicts: 731000 | #Constraints: 33377
1631.95/1636.59 c #Conflicts: 732000 | #Constraints: 34377
1631.95/1636.59 c #Conflicts: 733000 | #Constraints: 35377
1631.95/1636.59 c #Conflicts: 734000 | #Constraints: 36377
1631.95/1636.59 c #Conflicts: 735000 | #Constraints: 37377
1631.95/1636.59 c #Conflicts: 736000 | #Constraints: 38377
1631.95/1636.59 c #Conflicts: 737000 | #Constraints: 39377
1631.95/1636.59 c #Conflicts: 738000 | #Constraints: 40377
1631.95/1636.59 c #Conflicts: 739000 | #Constraints: 41377
1631.95/1636.59 c INPROCESSING
1631.95/1636.59 c GARBAGE COLLECT
1932.26/1937.67 c #Conflicts: 740000 | #Constraints: 25471
1932.26/1937.67 c #Conflicts: 741000 | #Constraints: 26471
1932.26/1937.67 c #Conflicts: 742000 | #Constraints: 27471
1932.26/1937.67 c #Conflicts: 743000 | #Constraints: 28471
1932.26/1937.67 c #Conflicts: 744000 | #Constraints: 29471
1932.26/1937.67 c #Conflicts: 745000 | #Constraints: 30471
1932.26/1937.67 c #Conflicts: 746000 | #Constraints: 31471
1932.26/1937.67 c #Conflicts: 747000 | #Constraints: 32471
1932.26/1937.67 c #Conflicts: 748000 | #Constraints: 33471
1932.26/1937.67 c #Conflicts: 749000 | #Constraints: 34471
1932.26/1937.67 c #Conflicts: 750000 | #Constraints: 35471
1932.26/1937.67 c #Conflicts: 751000 | #Constraints: 36471
1932.26/1937.67 c #Conflicts: 752000 | #Constraints: 37471
1932.26/1937.67 c #Conflicts: 753000 | #Constraints: 38471
1932.26/1937.67 c #Conflicts: 754000 | #Constraints: 39471
1932.26/1937.67 c #Conflicts: 755000 | #Constraints: 40471
1932.26/1937.67 c #Conflicts: 756000 | #Constraints: 41471
1932.26/1937.67 c INPROCESSING
1932.26/1937.67 c GARBAGE COLLECT
1932.26/1937.67 c #Conflicts: 757000 | #Constraints: 25210
1932.26/1937.67 c #Conflicts: 758000 | #Constraints: 26210
1932.26/1937.67 c #Conflicts: 759000 | #Constraints: 27210
1932.26/1937.67 c #Conflicts: 760000 | #Constraints: 28210
1932.26/1937.67 c #Conflicts: 761000 | #Constraints: 29210
1932.26/1937.67 c #Conflicts: 762000 | #Constraints: 30210
1932.26/1937.67 c #Conflicts: 763000 | #Constraints: 31210
1932.26/1937.67 c #Conflicts: 764000 | #Constraints: 32210
1932.26/1937.67 c #Conflicts: 765000 | #Constraints: 33210
1932.26/1937.67 c #Conflicts: 766000 | #Constraints: 34210
1932.26/1937.67 c #Conflicts: 767000 | #Constraints: 35210
1932.26/1937.67 c #Conflicts: 768000 | #Constraints: 36210
1932.26/1937.67 c #Conflicts: 769000 | #Constraints: 37210
1932.26/1937.67 c #Conflicts: 770000 | #Constraints: 38210
1932.26/1937.67 c #Conflicts: 771000 | #Constraints: 39210
1932.26/1937.67 c #Conflicts: 772000 | #Constraints: 40210
1932.26/1937.67 c #Conflicts: 773000 | #Constraints: 41210
1932.26/1937.67 c #Conflicts: 774000 | #Constraints: 42210
1932.26/1937.67 c INPROCESSING
1932.26/1937.67 c GARBAGE COLLECT
1932.26/1937.67 c #Conflicts: 775000 | #Constraints: 25795
1932.26/1937.67 c #Conflicts: 776000 | #Constraints: 26795
1932.26/1937.67 c #Conflicts: 777000 | #Constraints: 27795
1932.26/1937.67 c #Conflicts: 778000 | #Constraints: 28795
1932.26/1937.67 c #Conflicts: 779000 | #Constraints: 29795
1932.26/1937.67 c #Conflicts: 780000 | #Constraints: 30795
1932.26/1937.67 c #Conflicts: 781000 | #Constraints: 31795
1932.26/1937.67 c #Conflicts: 782000 | #Constraints: 32795
1932.26/1937.67 c #Conflicts: 783000 | #Constraints: 33795
1932.26/1937.67 c #Conflicts: 784000 | #Constraints: 34795
1932.26/1937.67 c #Conflicts: 785000 | #Constraints: 35795
1932.26/1937.67 c #Conflicts: 786000 | #Constraints: 36795
1932.26/1937.67 c #Conflicts: 787000 | #Constraints: 37795
1932.26/1937.67 c #Conflicts: 788000 | #Constraints: 38795
1932.26/1937.67 c #Conflicts: 789000 | #Constraints: 39795
1932.26/1937.67 c #Conflicts: 790000 | #Constraints: 40795
1932.26/1937.67 c #Conflicts: 791000 | #Constraints: 41795
1932.26/1937.67 c #Conflicts: 792000 | #Constraints: 42795
1932.26/1937.67 c INPROCESSING
1932.26/1937.67 c GARBAGE COLLECT
1932.26/1937.67 c #Conflicts: 793000 | #Constraints: 26188
1932.26/1937.67 c #Conflicts: 794000 | #Constraints: 27188
1932.26/1937.67 c #Conflicts: 795000 | #Constraints: 28188
1932.26/1937.67 c #Conflicts: 796000 | #Constraints: 29188
1932.26/1937.67 c #Conflicts: 797000 | #Constraints: 30188
1932.26/1937.67 c #Conflicts: 798000 | #Constraints: 31188
1932.26/1937.67 c #Conflicts: 799000 | #Constraints: 32188
1932.26/1937.67 c #Conflicts: 800000 | #Constraints: 33188
1932.26/1937.67 c #Conflicts: 801000 | #Constraints: 34188
1932.26/1937.67 c #Conflicts: 802000 | #Constraints: 35188
1932.26/1937.67 c #Conflicts: 803000 | #Constraints: 36188
1932.26/1937.67 c #Conflicts: 804000 | #Constraints: 37188
1932.26/1937.67 c #Conflicts: 805000 | #Constraints: 38188
1932.26/1937.67 c #Conflicts: 806000 | #Constraints: 39188
1932.26/1937.67 c #Conflicts: 807000 | #Constraints: 40188
1932.26/1937.67 c #Conflicts: 808000 | #Constraints: 41188
1932.26/1937.67 c #Conflicts: 809000 | #Constraints: 42188
1932.26/1937.67 c #Conflicts: 810000 | #Constraints: 43188
1932.26/1937.67 c INPROCESSING
1932.26/1937.67 c GARBAGE COLLECT
1932.26/1937.67 c #Conflicts: 811000 | #Constraints: 26374
1932.26/1937.67 c #Conflicts: 812000 | #Constraints: 27374
1932.26/1937.67 c #Conflicts: 813000 | #Constraints: 28374
1932.26/1937.67 c #Conflicts: 814000 | #Constraints: 29374
1932.26/1937.67 c #Conflicts: 815000 | #Constraints: 30374
1932.26/1937.67 c #Conflicts: 816000 | #Constraints: 31374
2286.58/2292.92 c #Conflicts: 817000 | #Constraints: 32374
2286.58/2292.92 c #Conflicts: 818000 | #Constraints: 33374
2286.58/2292.92 c #Conflicts: 819000 | #Constraints: 34374
2286.58/2292.92 c #Conflicts: 820000 | #Constraints: 35374
2286.58/2292.92 c #Conflicts: 821000 | #Constraints: 36374
2286.58/2292.92 c #Conflicts: 822000 | #Constraints: 37374
2286.58/2292.92 c #Conflicts: 823000 | #Constraints: 38374
2286.58/2292.92 c #Conflicts: 824000 | #Constraints: 39374
2286.58/2292.92 c #Conflicts: 825000 | #Constraints: 40374
2286.58/2292.92 c #Conflicts: 826000 | #Constraints: 41374
2286.58/2292.92 c #Conflicts: 827000 | #Constraints: 42374
2286.58/2292.92 c #Conflicts: 828000 | #Constraints: 43374
2286.58/2292.92 c INPROCESSING
2286.58/2292.92 c GARBAGE COLLECT
2286.58/2292.92 c #Conflicts: 829000 | #Constraints: 26393
2286.58/2292.92 c #Conflicts: 830000 | #Constraints: 27393
2286.58/2292.92 c #Conflicts: 831000 | #Constraints: 28393
2286.58/2292.92 c #Conflicts: 832000 | #Constraints: 29393
2286.58/2292.92 c #Conflicts: 833000 | #Constraints: 30393
2286.58/2292.92 c #Conflicts: 834000 | #Constraints: 31393
2286.58/2292.92 c #Conflicts: 835000 | #Constraints: 32393
2286.58/2292.92 c #Conflicts: 836000 | #Constraints: 33393
2286.58/2292.92 c #Conflicts: 837000 | #Constraints: 34393
2286.58/2292.92 c #Conflicts: 838000 | #Constraints: 35393
2286.58/2292.92 c #Conflicts: 839000 | #Constraints: 36393
2286.58/2292.92 c #Conflicts: 840000 | #Constraints: 37393
2286.58/2292.92 c #Conflicts: 841000 | #Constraints: 38393
2286.58/2292.92 c #Conflicts: 842000 | #Constraints: 39393
2286.58/2292.92 c #Conflicts: 843000 | #Constraints: 40393
2286.58/2292.92 c #Conflicts: 844000 | #Constraints: 41393
2286.58/2292.92 c #Conflicts: 845000 | #Constraints: 42393
2286.58/2292.92 c #Conflicts: 846000 | #Constraints: 43393
2286.58/2292.92 c INPROCESSING
2286.58/2292.92 c GARBAGE COLLECT
2286.58/2292.92 c #Conflicts: 847000 | #Constraints: 26268
2286.58/2292.92 c #Conflicts: 848000 | #Constraints: 27268
2286.58/2292.92 c #Conflicts: 849000 | #Constraints: 28268
2286.58/2292.92 c #Conflicts: 850000 | #Constraints: 29268
2286.58/2292.92 c #Conflicts: 851000 | #Constraints: 30268
2286.58/2292.92 c #Conflicts: 852000 | #Constraints: 31268
2286.58/2292.92 c #Conflicts: 853000 | #Constraints: 32268
2286.58/2292.92 c #Conflicts: 854000 | #Constraints: 33268
2286.58/2292.92 c #Conflicts: 855000 | #Constraints: 34268
2286.58/2292.92 c #Conflicts: 856000 | #Constraints: 35268
2286.58/2292.92 c #Conflicts: 857000 | #Constraints: 36268
2286.58/2292.92 c #Conflicts: 858000 | #Constraints: 37268
2286.58/2292.92 c #Conflicts: 859000 | #Constraints: 38268
2286.58/2292.92 c #Conflicts: 860000 | #Constraints: 39268
2286.58/2292.92 c #Conflicts: 861000 | #Constraints: 40268
2286.58/2292.92 c #Conflicts: 862000 | #Constraints: 41268
2286.58/2292.92 c #Conflicts: 863000 | #Constraints: 42268
2286.58/2292.92 c #Conflicts: 864000 | #Constraints: 43268
2286.58/2292.92 c #Conflicts: 865000 | #Constraints: 44268
2286.58/2292.92 c INPROCESSING
2286.58/2292.92 c GARBAGE COLLECT
2286.58/2292.92 c #Conflicts: 866000 | #Constraints: 26824
2286.58/2292.92 c #Conflicts: 867000 | #Constraints: 27824
2286.58/2292.92 c #Conflicts: 868000 | #Constraints: 28824
2286.58/2292.92 c #Conflicts: 869000 | #Constraints: 29824
2286.58/2292.92 c #Conflicts: 870000 | #Constraints: 30824
2286.58/2292.92 c #Conflicts: 871000 | #Constraints: 31824
2286.58/2292.92 c #Conflicts: 872000 | #Constraints: 32824
2286.58/2292.92 c #Conflicts: 873000 | #Constraints: 33824
2286.58/2292.92 c #Conflicts: 874000 | #Constraints: 34824
2286.58/2292.92 c #Conflicts: 875000 | #Constraints: 35824
2286.58/2292.92 c #Conflicts: 876000 | #Constraints: 36824
2286.58/2292.92 c #Conflicts: 877000 | #Constraints: 37824
2286.58/2292.92 c #Conflicts: 878000 | #Constraints: 38824
2286.58/2292.92 c #Conflicts: 879000 | #Constraints: 39824
2286.58/2292.92 c #Conflicts: 880000 | #Constraints: 40824
2286.58/2292.92 c #Conflicts: 881000 | #Constraints: 41824
2286.58/2292.92 c #Conflicts: 882000 | #Constraints: 42824
2286.58/2292.92 c #Conflicts: 883000 | #Constraints: 43824
2286.58/2292.92 c #Conflicts: 884000 | #Constraints: 44824
2286.58/2292.92 c INPROCESSING
2286.58/2292.92 c GARBAGE COLLECT
2286.58/2292.92 c #Conflicts: 885000 | #Constraints: 27192
2286.58/2292.92 c #Conflicts: 886000 | #Constraints: 28192
2286.58/2292.92 c #Conflicts: 887000 | #Constraints: 29192
2286.58/2292.92 c #Conflicts: 888000 | #Constraints: 30192
2286.58/2292.92 c #Conflicts: 889000 | #Constraints: 31192
2286.58/2292.92 c #Conflicts: 890000 | #Constraints: 32192
2286.58/2292.92 c #Conflicts: 891000 | #Constraints: 33192
2286.58/2292.92 c #Conflicts: 892000 | #Constraints: 34192
2757.60/2765.20 c #Conflicts: 893000 | #Constraints: 35192
2757.60/2765.20 c #Conflicts: 894000 | #Constraints: 36192
2757.60/2765.20 c #Conflicts: 895000 | #Constraints: 37192
2757.60/2765.20 c #Conflicts: 896000 | #Constraints: 38192
2757.60/2765.20 c #Conflicts: 897000 | #Constraints: 39192
2757.60/2765.20 c #Conflicts: 898000 | #Constraints: 40192
2757.60/2765.20 c #Conflicts: 899000 | #Constraints: 41192
2757.60/2765.20 c #Conflicts: 900000 | #Constraints: 42192
2757.60/2765.20 c #Conflicts: 901000 | #Constraints: 43192
2757.60/2765.20 c #Conflicts: 902000 | #Constraints: 44192
2757.60/2765.20 c #Conflicts: 903000 | #Constraints: 45192
2757.60/2765.20 c INPROCESSING
2757.60/2765.20 c GARBAGE COLLECT
2757.60/2765.20 c #Conflicts: 904000 | #Constraints: 27385
2757.60/2765.20 c #Conflicts: 905000 | #Constraints: 28385
2757.60/2765.20 c #Conflicts: 906000 | #Constraints: 29385
2757.60/2765.20 c #Conflicts: 907000 | #Constraints: 30385
2757.60/2765.20 c #Conflicts: 908000 | #Constraints: 31385
2757.60/2765.20 c #Conflicts: 909000 | #Constraints: 32385
2757.60/2765.20 c #Conflicts: 910000 | #Constraints: 33385
2757.60/2765.20 c #Conflicts: 911000 | #Constraints: 34385
2757.60/2765.20 c #Conflicts: 912000 | #Constraints: 35385
2757.60/2765.20 c #Conflicts: 913000 | #Constraints: 36385
2757.60/2765.20 c #Conflicts: 914000 | #Constraints: 37385
2757.60/2765.20 c #Conflicts: 915000 | #Constraints: 38385
2757.60/2765.20 c #Conflicts: 916000 | #Constraints: 39385
2757.60/2765.20 c #Conflicts: 917000 | #Constraints: 40385
2757.60/2765.20 c #Conflicts: 918000 | #Constraints: 41385
2757.60/2765.20 c #Conflicts: 919000 | #Constraints: 42385
2757.60/2765.20 c #Conflicts: 920000 | #Constraints: 43385
2757.60/2765.20 c #Conflicts: 921000 | #Constraints: 44385
2757.60/2765.20 c #Conflicts: 922000 | #Constraints: 45385
2757.60/2765.20 c INPROCESSING
2757.60/2765.20 c GARBAGE COLLECT
2757.60/2765.20 c #Conflicts: 923000 | #Constraints: 27405
2757.60/2765.20 c #Conflicts: 924000 | #Constraints: 28405
2757.60/2765.20 c #Conflicts: 925000 | #Constraints: 29405
2757.60/2765.20 c #Conflicts: 926000 | #Constraints: 30405
2757.60/2765.20 c #Conflicts: 927000 | #Constraints: 31405
2757.60/2765.20 c #Conflicts: 928000 | #Constraints: 32405
2757.60/2765.20 c #Conflicts: 929000 | #Constraints: 33405
2757.60/2765.20 c #Conflicts: 930000 | #Constraints: 34405
2757.60/2765.20 c #Conflicts: 931000 | #Constraints: 35405
2757.60/2765.20 c #Conflicts: 932000 | #Constraints: 36405
2757.60/2765.20 c #Conflicts: 933000 | #Constraints: 37405
2757.60/2765.20 c #Conflicts: 934000 | #Constraints: 38405
2757.60/2765.20 c #Conflicts: 935000 | #Constraints: 39405
2757.60/2765.20 c #Conflicts: 936000 | #Constraints: 40405
2757.60/2765.20 c #Conflicts: 937000 | #Constraints: 41405
2757.60/2765.20 c #Conflicts: 938000 | #Constraints: 42405
2757.60/2765.20 c #Conflicts: 939000 | #Constraints: 43405
2757.60/2765.20 c #Conflicts: 940000 | #Constraints: 44405
2757.60/2765.20 c #Conflicts: 941000 | #Constraints: 45405
2757.60/2765.20 c INPROCESSING
2757.60/2765.20 c GARBAGE COLLECT
2757.60/2765.20 c #Conflicts: 942000 | #Constraints: 27232
2757.60/2765.20 c #Conflicts: 943000 | #Constraints: 28232
2757.60/2765.20 c #Conflicts: 944000 | #Constraints: 29232
2757.60/2765.20 c #Conflicts: 945000 | #Constraints: 30232
2757.60/2765.20 c #Conflicts: 946000 | #Constraints: 31232
2757.60/2765.20 c #Conflicts: 947000 | #Constraints: 32232
2757.60/2765.20 c #Conflicts: 948000 | #Constraints: 33232
2757.60/2765.20 c #Conflicts: 949000 | #Constraints: 34232
2757.60/2765.20 c #Conflicts: 950000 | #Constraints: 35232
2757.60/2765.20 c #Conflicts: 951000 | #Constraints: 36232
2757.60/2765.20 c #Conflicts: 952000 | #Constraints: 37232
2757.60/2765.20 c #Conflicts: 953000 | #Constraints: 38232
2757.60/2765.20 c #Conflicts: 954000 | #Constraints: 39232
2757.60/2765.20 c #Conflicts: 955000 | #Constraints: 40232
2757.60/2765.20 c #Conflicts: 956000 | #Constraints: 41232
2757.60/2765.20 c #Conflicts: 957000 | #Constraints: 42232
2757.60/2765.20 c #Conflicts: 958000 | #Constraints: 43232
2757.60/2765.20 c #Conflicts: 959000 | #Constraints: 44232
2757.60/2765.20 c #Conflicts: 960000 | #Constraints: 45232
2757.60/2765.20 c #Conflicts: 961000 | #Constraints: 46232
2757.60/2765.20 c INPROCESSING
2757.60/2765.20 c GARBAGE COLLECT
2757.60/2765.20 c #Conflicts: 962000 | #Constraints: 27816
2757.60/2765.20 c #Conflicts: 963000 | #Constraints: 28816
2757.60/2765.20 c #Conflicts: 964000 | #Constraints: 29816
2757.60/2765.20 c #Conflicts: 965000 | #Constraints: 30816
2757.60/2765.20 c #Conflicts: 966000 | #Constraints: 31816
2757.60/2765.20 c #Conflicts: 967000 | #Constraints: 32816
2757.60/2765.20 c #Conflicts: 968000 | #Constraints: 33816
3240.54/3249.43 c #Conflicts: 969000 | #Constraints: 34816
3240.54/3249.43 c #Conflicts: 970000 | #Constraints: 35816
3240.54/3249.43 c #Conflicts: 971000 | #Constraints: 36816
3240.54/3249.43 c #Conflicts: 972000 | #Constraints: 37816
3240.54/3249.43 c #Conflicts: 973000 | #Constraints: 38816
3240.54/3249.43 c #Conflicts: 974000 | #Constraints: 39816
3240.54/3249.43 c #Conflicts: 975000 | #Constraints: 40816
3240.54/3249.43 c #Conflicts: 976000 | #Constraints: 41816
3240.54/3249.43 c #Conflicts: 977000 | #Constraints: 42816
3240.54/3249.43 c #Conflicts: 978000 | #Constraints: 43816
3240.54/3249.43 c #Conflicts: 979000 | #Constraints: 44816
3240.54/3249.43 c #Conflicts: 980000 | #Constraints: 45816
3240.54/3249.43 c #Conflicts: 981000 | #Constraints: 46816
3240.54/3249.43 c INPROCESSING
3240.54/3249.43 c GARBAGE COLLECT
3240.54/3249.43 c #Conflicts: 982000 | #Constraints: 28247
3240.54/3249.43 c #Conflicts: 983000 | #Constraints: 29247
3240.54/3249.43 c #Conflicts: 984000 | #Constraints: 30247
3240.54/3249.43 c #Conflicts: 985000 | #Constraints: 31247
3240.54/3249.43 c #Conflicts: 986000 | #Constraints: 32247
3240.54/3249.43 c #Conflicts: 987000 | #Constraints: 33247
3240.54/3249.43 c #Conflicts: 988000 | #Constraints: 34247
3240.54/3249.43 c #Conflicts: 989000 | #Constraints: 35247
3240.54/3249.43 c #Conflicts: 990000 | #Constraints: 36247
3240.54/3249.43 c #Conflicts: 991000 | #Constraints: 37247
3240.54/3249.43 c #Conflicts: 992000 | #Constraints: 38247
3240.54/3249.43 c #Conflicts: 993000 | #Constraints: 39247
3240.54/3249.43 c #Conflicts: 994000 | #Constraints: 40247
3240.54/3249.43 c #Conflicts: 995000 | #Constraints: 41247
3240.54/3249.43 c #Conflicts: 996000 | #Constraints: 42247
3240.54/3249.43 c #Conflicts: 997000 | #Constraints: 43247
3240.54/3249.43 c #Conflicts: 998000 | #Constraints: 44247
3240.54/3249.43 c #Conflicts: 999000 | #Constraints: 45247
3240.54/3249.43 c #Conflicts: 1000000 | #Constraints: 46247
3240.54/3249.43 c #Conflicts: 1001000 | #Constraints: 47247
3240.54/3249.43 c INPROCESSING
3240.54/3249.43 c GARBAGE COLLECT
3240.54/3249.43 c #Conflicts: 1002000 | #Constraints: 28429
3240.54/3249.43 c #Conflicts: 1003000 | #Constraints: 29429
3240.54/3249.43 c #Conflicts: 1004000 | #Constraints: 30429
3240.54/3249.43 c #Conflicts: 1005000 | #Constraints: 31429
3240.54/3249.43 c #Conflicts: 1006000 | #Constraints: 32429
3240.54/3249.43 c #Conflicts: 1007000 | #Constraints: 33429
3240.54/3249.43 c #Conflicts: 1008000 | #Constraints: 34429
3240.54/3249.43 c #Conflicts: 1009000 | #Constraints: 35429
3240.54/3249.43 c #Conflicts: 1010000 | #Constraints: 36429
3240.54/3249.43 c #Conflicts: 1011000 | #Constraints: 37429
3240.54/3249.43 c #Conflicts: 1012000 | #Constraints: 38429
3240.54/3249.43 c #Conflicts: 1013000 | #Constraints: 39429
3240.54/3249.43 c #Conflicts: 1014000 | #Constraints: 40429
3240.54/3249.43 c #Conflicts: 1015000 | #Constraints: 41429
3240.54/3249.43 c #Conflicts: 1016000 | #Constraints: 42429
3240.54/3249.43 c #Conflicts: 1017000 | #Constraints: 43429
3240.54/3249.43 c #Conflicts: 1018000 | #Constraints: 44429
3240.54/3249.43 c #Conflicts: 1019000 | #Constraints: 45429
3240.54/3249.43 c #Conflicts: 1020000 | #Constraints: 46429
3240.54/3249.43 c #Conflicts: 1021000 | #Constraints: 47429
3240.54/3249.43 c INPROCESSING
3240.54/3249.43 c GARBAGE COLLECT
3240.54/3249.43 c #Conflicts: 1022000 | #Constraints: 28406
3240.54/3249.43 c #Conflicts: 1023000 | #Constraints: 29406
3240.54/3249.43 c #Conflicts: 1024000 | #Constraints: 30406
3240.54/3249.43 c #Conflicts: 1025000 | #Constraints: 31406
3240.54/3249.43 c #Conflicts: 1026000 | #Constraints: 32406
3240.54/3249.43 c #Conflicts: 1027000 | #Constraints: 33406
3240.54/3249.43 c #Conflicts: 1028000 | #Constraints: 34406
3240.54/3249.43 c #Conflicts: 1029000 | #Constraints: 35406
3240.54/3249.43 c #Conflicts: 1030000 | #Constraints: 36406
3240.54/3249.43 c #Conflicts: 1031000 | #Constraints: 37406
3240.54/3249.43 c #Conflicts: 1032000 | #Constraints: 38406
3240.54/3249.43 c #Conflicts: 1033000 | #Constraints: 39406
3240.54/3249.43 c #Conflicts: 1034000 | #Constraints: 40406
3240.54/3249.43 c #Conflicts: 1035000 | #Constraints: 41406
3240.54/3249.43 c #Conflicts: 1036000 | #Constraints: 42406
3240.54/3249.43 c #Conflicts: 1037000 | #Constraints: 43406
3240.54/3249.43 c #Conflicts: 1038000 | #Constraints: 44406
3240.54/3249.43 c #Conflicts: 1039000 | #Constraints: 45406
3240.54/3249.43 c #Conflicts: 1040000 | #Constraints: 46406
3240.54/3249.43 c #Conflicts: 1041000 | #Constraints: 47406
3240.54/3249.43 c INPROCESSING
3240.54/3249.43 c GARBAGE COLLECT
3240.54/3249.43 c #Conflicts: 1042000 | #Constraints: 28221
3240.54/3249.43 c #Conflicts: 1043000 | #Constraints: 29221
3240.54/3249.43 c #Conflicts: 1044000 | #Constraints: 30221
3600.07/3610.01 c #Conflicts: 1045000 | #Constraints: 31221
3600.07/3610.01 c #Conflicts: 1046000 | #Constraints: 32221
3600.07/3610.01 c #Conflicts: 1047000 | #Constraints: 33221
3600.07/3610.01 c #Conflicts: 1048000 | #Constraints: 34221
3600.07/3610.01 c #Conflicts: 1049000 | #Constraints: 35221
3600.07/3610.01 c #Conflicts: 1050000 | #Constraints: 36221
3600.07/3610.01 c #Conflicts: 1051000 | #Constraints: 37221
3600.07/3610.01 c #Conflicts: 1052000 | #Constraints: 38221
3600.07/3610.01 c #Conflicts: 1053000 | #Constraints: 39221
3600.07/3610.01 c #Conflicts: 1054000 | #Constraints: 40221
3600.07/3610.01 c #Conflicts: 1055000 | #Constraints: 41221
3600.07/3610.01 c #Conflicts: 1056000 | #Constraints: 42221
3600.07/3610.01 c #Conflicts: 1057000 | #Constraints: 43221
3600.07/3610.01 c #Conflicts: 1058000 | #Constraints: 44221
3600.07/3610.01 c #Conflicts: 1059000 | #Constraints: 45221
3600.07/3610.01 c #Conflicts: 1060000 | #Constraints: 46221
3600.07/3610.01 c #Conflicts: 1061000 | #Constraints: 47221
3600.07/3610.01 c #Conflicts: 1062000 | #Constraints: 48221
3600.07/3610.01 c INPROCESSING
3600.07/3610.01 c GARBAGE COLLECT
3600.07/3610.01 c #Conflicts: 1063000 | #Constraints: 28805
3600.07/3610.01 c #Conflicts: 1064000 | #Constraints: 29805
3600.07/3610.01 c #Conflicts: 1065000 | #Constraints: 30805
3600.07/3610.01 c #Conflicts: 1066000 | #Constraints: 31805
3600.07/3610.01 c #Conflicts: 1067000 | #Constraints: 32805
3600.07/3610.01 c #Conflicts: 1068000 | #Constraints: 33805
3600.07/3610.01 c #Conflicts: 1069000 | #Constraints: 34805
3600.07/3610.01 c #Conflicts: 1070000 | #Constraints: 35805
3600.07/3610.01 c #Conflicts: 1071000 | #Constraints: 36805
3600.07/3610.01 c #Conflicts: 1072000 | #Constraints: 37805
3600.07/3610.01 c #Conflicts: 1073000 | #Constraints: 38805
3600.07/3610.01 c #Conflicts: 1074000 | #Constraints: 39805
3600.07/3610.01 c #Conflicts: 1075000 | #Constraints: 40805
3600.07/3610.01 c #Conflicts: 1076000 | #Constraints: 41805
3600.07/3610.01 c #Conflicts: 1077000 | #Constraints: 42805
3600.07/3610.01 c #Conflicts: 1078000 | #Constraints: 43805
3600.07/3610.01 c #Conflicts: 1079000 | #Constraints: 44805
3600.07/3610.01 c #Conflicts: 1080000 | #Constraints: 45805
3600.07/3610.01 c #Conflicts: 1081000 | #Constraints: 46805
3600.07/3610.01 c #Conflicts: 1082000 | #Constraints: 47805
3600.07/3610.01 c #Conflicts: 1083000 | #Constraints: 48805
3600.07/3610.01 c INPROCESSING
3600.07/3610.01 c GARBAGE COLLECT
3600.07/3610.01 c #Conflicts: 1084000 | #Constraints: 29213
3600.07/3610.01 c #Conflicts: 1085000 | #Constraints: 30213
3600.07/3610.01 c #Conflicts: 1086000 | #Constraints: 31213
3600.07/3610.01 c #Conflicts: 1087000 | #Constraints: 32213
3600.07/3610.01 c #Conflicts: 1088000 | #Constraints: 33213
3600.07/3610.01 c #Conflicts: 1089000 | #Constraints: 34213
3600.07/3610.01 c #Conflicts: 1090000 | #Constraints: 35213
3600.07/3610.01 c #Conflicts: 1091000 | #Constraints: 36213
3600.07/3610.01 c #Conflicts: 1092000 | #Constraints: 37213
3600.07/3610.01 c #Conflicts: 1093000 | #Constraints: 38213
3600.07/3610.01 c #Conflicts: 1094000 | #Constraints: 39213
3600.07/3610.01 c #Conflicts: 1095000 | #Constraints: 40213
3600.07/3610.01 c #Conflicts: 1096000 | #Constraints: 41213
3600.07/3610.01 c #Conflicts: 1097000 | #Constraints: 42213
3600.07/3610.01 c #Conflicts: 1098000 | #Constraints: 43213
3600.07/3610.01 c #Conflicts: 1099000 | #Constraints: 44213
3600.07/3610.01 c Program interrupted by user.
3600.07/3610.01 c cpu time 3573.46 s
3600.07/3610.01 c deterministic time 357513328346 3.58e+11
3600.07/3610.01 c optimization time 83.1474 s
3600.07/3610.01 c total solve time 3490.3 s
3600.07/3610.01 c core-guided solve time 3490.3 s
3600.07/3610.01 c propagation time 2468.69 s
3600.07/3610.01 c conflict analysis time 1017.18 s
3600.07/3610.01 c propagations 856031522
3600.07/3610.01 c resolve steps 22921173
3600.07/3610.01 c decisions 26291345
3600.07/3610.01 c conflicts 1099860
3600.07/3610.01 c restarts 2046
3600.07/3610.01 c inprocessing phases 95
3600.07/3610.01 c input clauses 8582
3600.07/3610.01 c input cardinalities 0
3600.07/3610.01 c input general constraints 1
3600.07/3610.01 c input average constraint length 2.79
3600.07/3610.01 c input average constraint degree 348.23
3600.07/3610.01 c learned clauses 528957
3600.07/3610.01 c learned cardinalities 75
3600.07/3610.01 c learned general constraints 570828
3600.07/3610.01 c learned average constraint length 984.70
3600.07/3610.01 c learned average constraint degree 25012460.25
3600.07/3610.01 c watched constraints 126083
3600.07/3610.01 c counting constraints 444746
3600.07/3610.01 c gcd simplifications 31250
3600.07/3610.01 c detected cardinalities 31
3600.07/3610.01 c weakened non-implied lits 555000649
3600.07/3610.01 c weakened non-implying lits 26119
3600.07/3610.01 c original variables 3945
3600.07/3610.01 c clausal propagations 361534468
3600.07/3610.01 c cardinality propagations 105
3600.07/3610.01 c watched propagations 5548079
3600.07/3610.01 c counting propagations 483110722
3600.07/3610.01 c watch lookups 81170448585
3600.07/3610.01 c watch backjump lookups 80116582819
3600.07/3610.01 c watch checks 128432757694
3600.07/3610.01 c propagation checks 62505012888
3600.07/3610.01 c constraint additions 3522781260
3600.07/3610.01 c trail pops 883422232
3600.07/3610.01 c formula constraints 8582
3600.07/3610.01 c learned constraints 1099860
3600.07/3610.01 c bound constraints 1
3600.07/3610.01 c core-guided constraints 0
3600.07/3610.01 c encountered formula constraints 20531261
3600.07/3610.01 c encountered learned constraints 3489098
3600.07/3610.01 c encountered bound constraints 674
3600.07/3610.01 c encountered core-guided constraints 0
3600.07/3610.01 c LP total time 0 s
3600.07/3610.01 c LP solve time 0 s
3600.07/3610.01 c LP constraints added 0
3600.07/3610.01 c LP constraints removed 0
3600.07/3610.01 c LP pivots internal 0
3600.07/3610.01 c LP pivots root 0
3600.07/3610.01 c LP calls 0
3600.07/3610.01 c LP optimalities 0
3600.07/3610.01 c LP no pivot count 0
3600.07/3610.01 c LP infeasibilities 0
3600.07/3610.01 c LP valid Farkas constraints 0
3600.07/3610.01 c LP learned Farkas constraints 0
3600.07/3610.01 c LP basis resets 0
3600.07/3610.01 c LP cycling count 0
3600.07/3610.01 c LP singular count 0
3600.07/3610.01 c LP no primal count 0
3600.07/3610.01 c LP no farkas count 0
3600.07/3610.01 c LP other issue count 0
3600.07/3610.01 c LP Gomory cuts 0
3600.07/3610.01 c LP learned cuts 0
3600.07/3610.01 c LP deleted cuts 0
3600.07/3610.01 c LP encountered Gomory constraints 0
3600.07/3610.01 c LP encountered Farkas constraints 0
3600.07/3610.01 c LP encountered learned Farkas constraints 0
3600.07/3610.01 c CG auxiliary variables introduced 0
3600.07/3610.01 c CG solutions found 1
3600.07/3610.01 c CG cores constructed 0
3600.07/3610.01 c CG core cardinality constraints returned 0
3600.07/3610.01 c CG unit cores 0
3600.07/3610.01 c CG single cores 0
3600.07/3610.01 c CG blocks removed during cardinality reduction 0
3600.07/3610.01 c CG first core best 0
3600.07/3610.01 c CG decision core best 0
3600.07/3610.01 c CG core reduction tie 0
3600.07/3610.01 c CG core degree average 0.00
3600.07/3610.01 c CG core slack average 0.00
3600.07/3610.01 c CG exhausted 0
3600.07/3610.01 c CG exhaust time 0 s
3600.07/3610.01 c CG trimmed 0
3600.07/3610.01 c CG trim time 0 s
3600.07/3610.01 c CG minimized 0
3600.07/3610.01 c CG minimize time 0 s
3600.07/3610.01 c CG am1 prop time 2e-06 s
3600.07/3610.01 c CG # am1s reformulated 0
3600.07/3610.01 c CG lower bound derived from am1s 0
3600.07/3610.01 c CG # clausal cores 0
3600.07/3610.01 c CG # cardinality cores 0
3600.07/3610.01 c CG # pb cores 0
3600.07/3610.01 c CG # pb reforms 0
3600.07/3610.01 c CG # cores discarded because of pb reform 0
3600.07/3610.01 d LOWERBOUND 2802
3600.07/3610.01 d NCORES 0
3600.07/3610.01 d NPBCORES 0
3600.07/3610.01 d NPBREFORM 0
3600.07/3610.01 d NTRIMMED 0
3600.07/3610.01 d NEXHAUSTED 0
3600.07/3610.01 d NAM1S 0
3600.07/3610.01 d AM1LB 0
3600.07/3610.01 o 55914
3600.07/3610.01 s SATISFIABLE
3600.07/3610.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 x211 -x212 x213 x214 x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 -x3636 -x3637 -x3638 -x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 x3868 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 -x3942 -x3943 x3944 x3945
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: 64059 MiB (62279 MiB free)
memory of node 1: 64510 MiB (62216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454414-1721472257/watcher-4454414-1721472257 -o /tmp/evaluation-result-4454414-1721472257/solver-4454414-1721472257 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056041 --watchdog 3760 pb-oll-rs HOME/instance-4454414-1721472257.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1058024, runsolver pid=1058021
[startup+0.100106 s]*
/proc/loadavg: 4.35 4.63 4.34 6/244 1058025
/proc/meminfo: memFree=127476692/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=41508 memory=11548 CPUtime=0.1 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 1149 0 0 0 9 1 0 0 20 0 1 0 199384394 42504192 2887 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 10377 2887 1410 291 0 1911 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41508 KiB
Current children cumulated memory: 11548 KiB
[startup+0.212978 s]*
/proc/loadavg: 4.35 4.63 4.34 5/244 1058025
/proc/meminfo: memFree=127469188/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=44112 memory=14028 CPUtime=0.21 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 1814 0 0 0 19 2 0 0 20 0 1 0 199384394 45170688 3507 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 11028 3507 1410 291 0 2562 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44112 KiB
Current children cumulated memory: 14028 KiB
[startup+0.312838 s]*
/proc/loadavg: 4.35 4.63 4.34 5/244 1058025
/proc/meminfo: memFree=127466024/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=46436 memory=17624 CPUtime=0.31 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 2699 0 0 0 28 3 0 0 20 0 1 0 199384394 47550464 4406 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 11609 4406 1410 291 0 3143 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46436 KiB
Current children cumulated memory: 17624 KiB
[startup+0.700271 s]
/proc/loadavg: 4.35 4.63 4.34 4/242 1058025
/proc/meminfo: memFree=128100976/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=59116 memory=28156 CPUtime=0.68 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 4827 0 0 0 64 4 0 0 20 0 1 0 199384394 60534784 7039 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 14779 7039 1410 291 0 6313 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59116 KiB
Current children cumulated memory: 28156 KiB
[startup+1.50027 s]
/proc/loadavg: 4.35 4.63 4.34 6/244 1058071
/proc/meminfo: memFree=128081828/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=78940 memory=47972 CPUtime=1.48 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 8213 0 0 0 140 8 0 0 20 0 1 0 199384394 80834560 11993 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 19735 11993 1410 291 0 11269 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78940 KiB
Current children cumulated memory: 47972 KiB
[startup+3.11324 s]
/proc/loadavg: 4.35 4.63 4.34 5/238 1058200
/proc/meminfo: memFree=128725960/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=98624 memory=62488 CPUtime=3.09 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 10776 0 0 0 293 16 0 0 20 0 1 0 199384394 100990976 15622 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 24656 15622 1464 291 0 16190 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98624 KiB
Current children cumulated memory: 62488 KiB
[startup+6.30027 s]
/proc/loadavg: 4.32 4.62 4.33 5/244 1058211
/proc/meminfo: memFree=128585964/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=112436 memory=76660 CPUtime=6.27 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 13299 0 0 0 601 26 0 0 20 0 1 0 199384394 115134464 19165 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 28109 19165 1464 291 0 19643 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 76660 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 4.61 4.33 5/244 1058213
/proc/meminfo: memFree=128478456/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=122556 memory=87092 CPUtime=12.65 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 15521 0 0 0 1217 48 0 0 20 0 1 0 199384394 125497344 21773 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 30639 21773 1464 291 0 22173 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 122556 KiB
Current children cumulated memory: 87092 KiB
[startup+25.5003 s]
/proc/loadavg: 4.30 4.59 4.33 5/244 1058214
/proc/meminfo: memFree=127852776/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=123800 memory=88920 CPUtime=25.41 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 16178 0 0 0 2440 101 0 0 20 0 1 0 199384394 126771200 22230 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 30950 22230 1464 291 0 22484 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 123800 KiB
Current children cumulated memory: 88920 KiB
[startup+51.1128 s]
/proc/loadavg: 4.19 4.54 4.32 5/244 1058217
/proc/meminfo: memFree=127149992/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=150796 memory=111668 CPUtime=50.94 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 19534 0 0 0 4925 169 0 0 20 0 1 0 199384394 154415104 27917 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 37699 27917 1464 291 0 29233 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 150796 KiB
Current children cumulated memory: 111668 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.49 4.32 5/242 1058274
/proc/meminfo: memFree=126285328/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=213324 memory=150588 CPUtime=101.97 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 25866 0 0 0 9935 262 0 0 20 0 1 0 199384394 218443776 37647 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 53331 37647 1464 291 0 44865 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 213324 KiB
Current children cumulated memory: 150588 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.43 4.30 5/242 1058284
/proc/meminfo: memFree=126150172/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=225808 memory=175000 CPUtime=161.78 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 28171 0 0 0 15822 356 0 0 20 0 1 0 199384394 231227392 43750 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 56452 43750 1464 291 0 47986 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 225808 KiB
Current children cumulated memory: 175000 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.36 4.29 5/241 1058294
/proc/meminfo: memFree=125080140/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=239316 memory=190592 CPUtime=221.64 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 30839 0 0 0 21690 474 0 0 20 0 1 0 199384394 245059584 47648 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 59829 47648 1464 291 0 51363 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 239316 KiB
Current children cumulated memory: 190592 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.36 4.29 5/241 1058305
/proc/meminfo: memFree=124910928/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=307176 memory=232364 CPUtime=281.49 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 35826 0 0 0 27584 565 0 0 20 0 1 0 199384394 314548224 58091 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 76794 58091 1464 291 0 68328 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 307176 KiB
Current children cumulated memory: 232364 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.31 4.27 5/242 1058316
/proc/meminfo: memFree=124597488/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=307180 memory=232376 CPUtime=341.34 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 35972 0 0 0 33467 667 0 0 20 0 1 0 199384394 314552320 58094 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 76795 58094 1464 291 0 68329 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 307180 KiB
Current children cumulated memory: 232376 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.26 4.26 5/244 1058330
/proc/meminfo: memFree=124293236/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=311348 memory=235396 CPUtime=401.19 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 36816 0 0 0 39379 740 0 0 20 0 1 0 199384394 318820352 58849 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 77837 58849 1464 291 0 69371 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 311348 KiB
Current children cumulated memory: 235396 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.23 4.25 5/244 1058340
/proc/meminfo: memFree=124268848/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=311676 memory=235676 CPUtime=461.05 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 37088 0 0 0 45268 837 0 0 20 0 1 0 199384394 319156224 58919 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 77919 58919 1464 291 0 69453 0
################
# More data... #
################
Current children cumulated memory: 531188 KiB
[startup+2862.3 s]
/proc/loadavg: 4.21 4.24 4.19 5/247 1060043
/proc/meminfo: memFree=127424092/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=704024 memory=547204 CPUtime=2854.45 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 77440 0 0 0 283030 2415 0 0 20 0 1 0 199384394 720920576 136801 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 176006 136801 1464 291 0 167540 0
Current children cumulated CPU time: 2854.45 s
Current children cumulated vsize: 704024 KiB
Current children cumulated memory: 547204 KiB
[startup+2922.3 s]
/proc/loadavg: 4.70 4.36 4.24 5/247 1060054
/proc/meminfo: memFree=127387748/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=713752 memory=579724 CPUtime=2914.3 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 79712 0 0 0 289007 2423 0 0 20 0 1 0 199384394 730882048 144931 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 178438 144931 1464 291 0 169972 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 713752 KiB
Current children cumulated memory: 579724 KiB
[startup+2982.3 s]
/proc/loadavg: 4.45 4.37 4.25 5/245 1060064
/proc/meminfo: memFree=127380812/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=714264 memory=580236 CPUtime=2974.15 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 80171 0 0 0 294969 2446 0 0 20 0 1 0 199384394 731406336 145059 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 178566 145059 1464 291 0 170100 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 714264 KiB
Current children cumulated memory: 580236 KiB
[startup+3042.3 s]
/proc/loadavg: 4.26 4.33 4.25 5/245 1060075
/proc/meminfo: memFree=127372064/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=715800 memory=581356 CPUtime=3034.01 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 80753 0 0 0 300930 2471 0 0 20 0 1 0 199384394 732979200 145339 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 178950 145339 1464 291 0 170484 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 715800 KiB
Current children cumulated memory: 581356 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.30 4.24 5/241 1060087
/proc/meminfo: memFree=127367456/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=715800 memory=581356 CPUtime=3093.86 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 81005 0 0 0 306898 2488 0 0 20 0 1 0 199384394 732979200 145339 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 178950 145339 1464 291 0 170484 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 715800 KiB
Current children cumulated memory: 581356 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.27 4.23 5/241 1060097
/proc/meminfo: memFree=127347304/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=718616 memory=583036 CPUtime=3153.69 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 81796 0 0 0 312870 2499 0 0 20 0 1 0 199384394 735862784 145759 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 179654 145759 1464 291 0 171188 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 718616 KiB
Current children cumulated memory: 583036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.25 4.23 5/241 1060107
/proc/meminfo: memFree=127340168/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=718616 memory=583036 CPUtime=3213.52 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 82012 0 0 0 318828 2524 0 0 20 0 1 0 199384394 735862784 145759 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 179654 145759 1464 291 0 171188 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 718616 KiB
Current children cumulated memory: 583036 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.20 4.21 5/241 1060117
/proc/meminfo: memFree=127318600/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=718948 memory=583240 CPUtime=3273.34 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 82261 0 0 0 324782 2552 0 0 20 0 1 0 199384394 736202752 145810 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 179737 145810 1464 291 0 171271 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 718948 KiB
Current children cumulated memory: 583240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.21 4.21 5/241 1060128
/proc/meminfo: memFree=127297248/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=718948 memory=583240 CPUtime=3333.17 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 82483 0 0 0 330741 2576 0 0 20 0 1 0 199384394 736202752 145810 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 179737 145810 1464 291 0 171271 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 718948 KiB
Current children cumulated memory: 583240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.19 4.20 5/243 1060142
/proc/meminfo: memFree=127280116/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=722972 memory=585644 CPUtime=3392.99 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 83393 0 0 0 336696 2603 0 0 20 0 1 0 199384394 740323328 146411 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 180743 146411 1464 291 0 172277 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 722972 KiB
Current children cumulated memory: 585644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.61 4.31 4.24 5/244 1060153
/proc/meminfo: memFree=127234080/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=722972 memory=585644 CPUtime=3452.81 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 83625 0 0 0 342663 2618 0 0 20 0 1 0 199384394 740323328 146411 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 180743 146411 1464 291 0 172277 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 722972 KiB
Current children cumulated memory: 585644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.34 4.26 5/244 1060164
/proc/meminfo: memFree=127183592/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=725532 memory=587428 CPUtime=3512.63 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 84315 0 0 0 348633 2630 0 0 20 0 1 0 199384394 742944768 146857 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 181383 146857 1464 291 0 172917 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 725532 KiB
Current children cumulated memory: 587428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.29 4.24 5/244 1060174
/proc/meminfo: memFree=127122832/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=725532 memory=587580 CPUtime=3572.45 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 84677 0 0 0 354588 2657 0 0 20 0 1 0 199384394 742944768 146895 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 181383 146895 1464 291 0 172917 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 725532 KiB
Current children cumulated memory: 587580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.20 4.28 4.24 5/240 1060213
/proc/meminfo: memFree=127392372/131655788 swapFree=131071996/131071996
[pid=1058024] ppid=1058021 vsize=726556 memory=588096 CPUtime=3600.07 cores=1,3
/proc/1058024/stat : 1058024 (pb-oll-rs) R 1058021 1058024 1056029 0 -1 4194304 84828 0 0 0 357345 2662 0 0 20 0 1 0 199384394 743993344 147024 134679101440 4194304 5384485 140732114109808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8548352 140732114113557 140732114113634 140732114113634 140732114120651 0
/proc/1058024/statm: 181639 147024 1464 291 0 173173 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 726556 KiB
Current children cumulated memory: 588096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 1058024 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.46 s, system=26.6335 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.1
CPU user time (s): 3573.46
CPU system time (s): 26.6335
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 726556
Max. memory (cumulated for all children) (KiB): 588096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.46
system time used= 26.6335
maximum resident set size= 588216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84845
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= 115
involuntary context switches= 2439
# summary of solver processes directly reported to runsolver:
# pid: 1058024
# total CPU time (s): 3600.1
# total CPU user time (s): 3573.46
# total CPU system time (s): 26.6335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2634 second user time and 35.7294 second system time
The end
Begin job on nodeC006 at 2024-07-20 12:44:29
IDJOB=4454414
IDBENCH=148155
IDSOLVER=3082
FILE ID=nodeC006/4454414-1721472257
RUNJOBID= nodeC006-1721468658-1056041
SLURM_JOB_ID= 7545725
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454414-1721472257/watcher-4454414-1721472257 -o /tmp/evaluation-result-4454414-1721472257/solver-4454414-1721472257 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056041 --watchdog 3760 pb-oll-rs HOME/instance-4454414-1721472257.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1425330535
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3642.082
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.007
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.414
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.807
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3537.061
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1396.788
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.423
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127484668 kB
MemAvailable: 128543448 kB
Buffers: 569808 kB
Cached: 1329912 kB
SwapCached: 0 kB
Active: 1060400 kB
Inactive: 2537832 kB
Active(anon): 1476 kB
Inactive(anon): 1742928 kB
Active(file): 1058924 kB
Inactive(file): 794904 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4256 kB
Writeback: 0 kB
AnonPages: 1693140 kB
Mapped: 111116 kB
Shmem: 45896 kB
KReclaimable: 89968 kB
Slab: 194308 kB
SReclaimable: 89968 kB
SUnreclaim: 104340 kB
KernelStack: 3968 kB
PageTables: 12780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2337588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1409024 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: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC006 at 2024-07-20 13:44:39