0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.08 c [STEP] solving
0.00/0.08 c #variables 3945 #constraints 8582
0.00/0.08 c SMALL=int, LARGE=long long
0.00/0.08 c bounds - >= 2802 @ 0.052451
0.00/0.08 c stratification level: 2072
0.00/0.09 c bounds 55914 >= 2802 @ 0.058087
0.00/0.09 c stratification level: 2049
53.04/53.30 c #Conflicts: 1000 | #Constraints: 9582
53.04/53.30 c #Conflicts: 2000 | #Constraints: 10582
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 3000 | #Constraints: 9524
53.04/53.30 c #Conflicts: 4000 | #Constraints: 10524
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 5000 | #Constraints: 9929
53.04/53.30 c #Conflicts: 6000 | #Constraints: 10929
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 7000 | #Constraints: 9937
53.04/53.30 c #Conflicts: 8000 | #Constraints: 10937
53.04/53.30 c #Conflicts: 9000 | #Constraints: 11937
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 10000 | #Constraints: 10639
53.04/53.30 c #Conflicts: 11000 | #Constraints: 11639
53.04/53.30 c #Conflicts: 12000 | #Constraints: 12639
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 13000 | #Constraints: 11082
53.04/53.30 c #Conflicts: 14000 | #Constraints: 12082
53.04/53.30 c #Conflicts: 15000 | #Constraints: 13082
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 16000 | #Constraints: 11305
53.04/53.30 c #Conflicts: 17000 | #Constraints: 12305
53.04/53.30 c #Conflicts: 18000 | #Constraints: 13305
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 19000 | #Constraints: 11332
53.04/53.30 c #Conflicts: 20000 | #Constraints: 12332
53.04/53.30 c #Conflicts: 21000 | #Constraints: 13332
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 22000 | #Constraints: 11134
53.04/53.30 c #Conflicts: 23000 | #Constraints: 12134
53.04/53.30 c #Conflicts: 24000 | #Constraints: 13134
53.04/53.30 c #Conflicts: 25000 | #Constraints: 14134
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 26000 | #Constraints: 11734
53.04/53.30 c #Conflicts: 27000 | #Constraints: 12734
53.04/53.30 c #Conflicts: 28000 | #Constraints: 13734
53.04/53.30 c #Conflicts: 29000 | #Constraints: 14734
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 30000 | #Constraints: 12140
53.04/53.30 c #Conflicts: 31000 | #Constraints: 13140
53.04/53.30 c #Conflicts: 32000 | #Constraints: 14140
53.04/53.30 c #Conflicts: 33000 | #Constraints: 15140
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 34000 | #Constraints: 12336
53.04/53.30 c #Conflicts: 35000 | #Constraints: 13336
53.04/53.30 c #Conflicts: 36000 | #Constraints: 14336
53.04/53.30 c #Conflicts: 37000 | #Constraints: 15336
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 38000 | #Constraints: 12342
53.04/53.30 c #Conflicts: 39000 | #Constraints: 13342
53.04/53.30 c #Conflicts: 40000 | #Constraints: 14342
53.04/53.30 c #Conflicts: 41000 | #Constraints: 15342
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 42000 | #Constraints: 12148
53.04/53.30 c #Conflicts: 43000 | #Constraints: 13148
53.04/53.30 c #Conflicts: 44000 | #Constraints: 14148
53.04/53.30 c #Conflicts: 45000 | #Constraints: 15148
53.04/53.30 c #Conflicts: 46000 | #Constraints: 16148
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 47000 | #Constraints: 12773
53.04/53.30 c #Conflicts: 48000 | #Constraints: 13773
53.04/53.30 c #Conflicts: 49000 | #Constraints: 14773
53.04/53.30 c #Conflicts: 50000 | #Constraints: 15773
53.04/53.30 c #Conflicts: 51000 | #Constraints: 16773
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 52000 | #Constraints: 13158
53.04/53.30 c #Conflicts: 53000 | #Constraints: 14158
53.04/53.30 c #Conflicts: 54000 | #Constraints: 15158
53.04/53.30 c #Conflicts: 55000 | #Constraints: 16158
53.04/53.30 c #Conflicts: 56000 | #Constraints: 17158
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 57000 | #Constraints: 13349
53.04/53.30 c #Conflicts: 58000 | #Constraints: 14349
53.04/53.30 c #Conflicts: 59000 | #Constraints: 15349
53.04/53.30 c #Conflicts: 60000 | #Constraints: 16349
53.04/53.30 c #Conflicts: 61000 | #Constraints: 17349
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 62000 | #Constraints: 13352
53.04/53.30 c #Conflicts: 63000 | #Constraints: 14352
53.04/53.30 c #Conflicts: 64000 | #Constraints: 15352
53.04/53.30 c #Conflicts: 65000 | #Constraints: 16352
53.04/53.30 c #Conflicts: 66000 | #Constraints: 17352
53.04/53.30 c INPROCESSING
53.04/53.30 c GARBAGE COLLECT
53.04/53.30 c #Conflicts: 67000 | #Constraints: 13165
53.04/53.30 c #Conflicts: 68000 | #Constraints: 14165
148.19/148.62 c #Conflicts: 69000 | #Constraints: 15165
148.19/148.62 c #Conflicts: 70000 | #Constraints: 16165
148.19/148.62 c #Conflicts: 71000 | #Constraints: 17165
148.19/148.62 c #Conflicts: 72000 | #Constraints: 18165
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 73000 | #Constraints: 13768
148.19/148.62 c #Conflicts: 74000 | #Constraints: 14768
148.19/148.62 c #Conflicts: 75000 | #Constraints: 15768
148.19/148.62 c #Conflicts: 76000 | #Constraints: 16768
148.19/148.62 c #Conflicts: 77000 | #Constraints: 17768
148.19/148.62 c #Conflicts: 78000 | #Constraints: 18768
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 79000 | #Constraints: 14155
148.19/148.62 c #Conflicts: 80000 | #Constraints: 15155
148.19/148.62 c #Conflicts: 81000 | #Constraints: 16155
148.19/148.62 c #Conflicts: 82000 | #Constraints: 17155
148.19/148.62 c #Conflicts: 83000 | #Constraints: 18155
148.19/148.62 c #Conflicts: 84000 | #Constraints: 19155
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 85000 | #Constraints: 14348
148.19/148.62 c #Conflicts: 86000 | #Constraints: 15348
148.19/148.62 c #Conflicts: 87000 | #Constraints: 16348
148.19/148.62 c #Conflicts: 88000 | #Constraints: 17348
148.19/148.62 c #Conflicts: 89000 | #Constraints: 18348
148.19/148.62 c #Conflicts: 90000 | #Constraints: 19348
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 91000 | #Constraints: 14374
148.19/148.62 c #Conflicts: 92000 | #Constraints: 15374
148.19/148.62 c #Conflicts: 93000 | #Constraints: 16374
148.19/148.62 c #Conflicts: 94000 | #Constraints: 17374
148.19/148.62 c #Conflicts: 95000 | #Constraints: 18374
148.19/148.62 c #Conflicts: 96000 | #Constraints: 19374
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 97000 | #Constraints: 14262
148.19/148.62 c #Conflicts: 98000 | #Constraints: 15262
148.19/148.62 c #Conflicts: 99000 | #Constraints: 16262
148.19/148.62 c #Conflicts: 100000 | #Constraints: 17262
148.19/148.62 c #Conflicts: 101000 | #Constraints: 18262
148.19/148.62 c #Conflicts: 102000 | #Constraints: 19262
148.19/148.62 c #Conflicts: 103000 | #Constraints: 20262
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 104000 | #Constraints: 14802
148.19/148.62 c #Conflicts: 105000 | #Constraints: 15802
148.19/148.62 c #Conflicts: 106000 | #Constraints: 16802
148.19/148.62 c #Conflicts: 107000 | #Constraints: 17802
148.19/148.62 c #Conflicts: 108000 | #Constraints: 18802
148.19/148.62 c #Conflicts: 109000 | #Constraints: 19802
148.19/148.62 c #Conflicts: 110000 | #Constraints: 20802
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 111000 | #Constraints: 15204
148.19/148.62 c #Conflicts: 112000 | #Constraints: 16204
148.19/148.62 c #Conflicts: 113000 | #Constraints: 17204
148.19/148.62 c #Conflicts: 114000 | #Constraints: 18204
148.19/148.62 c #Conflicts: 115000 | #Constraints: 19204
148.19/148.62 c #Conflicts: 116000 | #Constraints: 20204
148.19/148.62 c #Conflicts: 117000 | #Constraints: 21204
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 118000 | #Constraints: 15383
148.19/148.62 c #Conflicts: 119000 | #Constraints: 16383
148.19/148.62 c #Conflicts: 120000 | #Constraints: 17383
148.19/148.62 c #Conflicts: 121000 | #Constraints: 18383
148.19/148.62 c #Conflicts: 122000 | #Constraints: 19383
148.19/148.62 c #Conflicts: 123000 | #Constraints: 20383
148.19/148.62 c #Conflicts: 124000 | #Constraints: 21383
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 125000 | #Constraints: 15372
148.19/148.62 c #Conflicts: 126000 | #Constraints: 16372
148.19/148.62 c #Conflicts: 127000 | #Constraints: 17372
148.19/148.62 c #Conflicts: 128000 | #Constraints: 18372
148.19/148.62 c #Conflicts: 129000 | #Constraints: 19372
148.19/148.62 c #Conflicts: 130000 | #Constraints: 20372
148.19/148.62 c #Conflicts: 131000 | #Constraints: 21372
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 132000 | #Constraints: 15176
148.19/148.62 c #Conflicts: 133000 | #Constraints: 16176
148.19/148.62 c #Conflicts: 134000 | #Constraints: 17176
148.19/148.62 c #Conflicts: 135000 | #Constraints: 18176
148.19/148.62 c #Conflicts: 136000 | #Constraints: 19176
148.19/148.62 c #Conflicts: 137000 | #Constraints: 20176
148.19/148.62 c #Conflicts: 138000 | #Constraints: 21176
148.19/148.62 c #Conflicts: 139000 | #Constraints: 22176
148.19/148.62 c INPROCESSING
148.19/148.62 c GARBAGE COLLECT
148.19/148.62 c #Conflicts: 140000 | #Constraints: 15767
263.99/264.76 c #Conflicts: 141000 | #Constraints: 16767
263.99/264.76 c #Conflicts: 142000 | #Constraints: 17767
263.99/264.76 c #Conflicts: 143000 | #Constraints: 18767
263.99/264.76 c #Conflicts: 144000 | #Constraints: 19767
263.99/264.76 c #Conflicts: 145000 | #Constraints: 20767
263.99/264.76 c #Conflicts: 146000 | #Constraints: 21767
263.99/264.76 c #Conflicts: 147000 | #Constraints: 22767
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 148000 | #Constraints: 16209
263.99/264.76 c #Conflicts: 149000 | #Constraints: 17209
263.99/264.76 c #Conflicts: 150000 | #Constraints: 18209
263.99/264.76 c #Conflicts: 151000 | #Constraints: 19209
263.99/264.76 c #Conflicts: 152000 | #Constraints: 20209
263.99/264.76 c #Conflicts: 153000 | #Constraints: 21209
263.99/264.76 c #Conflicts: 154000 | #Constraints: 22209
263.99/264.76 c #Conflicts: 155000 | #Constraints: 23209
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 156000 | #Constraints: 16399
263.99/264.76 c #Conflicts: 157000 | #Constraints: 17399
263.99/264.76 c #Conflicts: 158000 | #Constraints: 18399
263.99/264.76 c #Conflicts: 159000 | #Constraints: 19399
263.99/264.76 c #Conflicts: 160000 | #Constraints: 20399
263.99/264.76 c #Conflicts: 161000 | #Constraints: 21399
263.99/264.76 c #Conflicts: 162000 | #Constraints: 22399
263.99/264.76 c #Conflicts: 163000 | #Constraints: 23399
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 164000 | #Constraints: 16405
263.99/264.76 c #Conflicts: 165000 | #Constraints: 17405
263.99/264.76 c #Conflicts: 166000 | #Constraints: 18405
263.99/264.76 c #Conflicts: 167000 | #Constraints: 19405
263.99/264.76 c #Conflicts: 168000 | #Constraints: 20405
263.99/264.76 c #Conflicts: 169000 | #Constraints: 21405
263.99/264.76 c #Conflicts: 170000 | #Constraints: 22405
263.99/264.76 c #Conflicts: 171000 | #Constraints: 23405
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 172000 | #Constraints: 16182
263.99/264.76 c #Conflicts: 173000 | #Constraints: 17182
263.99/264.76 c #Conflicts: 174000 | #Constraints: 18182
263.99/264.76 c #Conflicts: 175000 | #Constraints: 19182
263.99/264.76 c #Conflicts: 176000 | #Constraints: 20182
263.99/264.76 c #Conflicts: 177000 | #Constraints: 21182
263.99/264.76 c #Conflicts: 178000 | #Constraints: 22182
263.99/264.76 c #Conflicts: 179000 | #Constraints: 23182
263.99/264.76 c #Conflicts: 180000 | #Constraints: 24182
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 181000 | #Constraints: 16760
263.99/264.76 c #Conflicts: 182000 | #Constraints: 17760
263.99/264.76 c #Conflicts: 183000 | #Constraints: 18760
263.99/264.76 c #Conflicts: 184000 | #Constraints: 19760
263.99/264.76 c #Conflicts: 185000 | #Constraints: 20760
263.99/264.76 c #Conflicts: 186000 | #Constraints: 21760
263.99/264.76 c #Conflicts: 187000 | #Constraints: 22760
263.99/264.76 c #Conflicts: 188000 | #Constraints: 23760
263.99/264.76 c #Conflicts: 189000 | #Constraints: 24760
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 190000 | #Constraints: 17170
263.99/264.76 c #Conflicts: 191000 | #Constraints: 18170
263.99/264.76 c #Conflicts: 192000 | #Constraints: 19170
263.99/264.76 c #Conflicts: 193000 | #Constraints: 20170
263.99/264.76 c #Conflicts: 194000 | #Constraints: 21170
263.99/264.76 c #Conflicts: 195000 | #Constraints: 22170
263.99/264.76 c #Conflicts: 196000 | #Constraints: 23170
263.99/264.76 c #Conflicts: 197000 | #Constraints: 24170
263.99/264.76 c #Conflicts: 198000 | #Constraints: 25170
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 199000 | #Constraints: 17369
263.99/264.76 c #Conflicts: 200000 | #Constraints: 18369
263.99/264.76 c #Conflicts: 201000 | #Constraints: 19369
263.99/264.76 c #Conflicts: 202000 | #Constraints: 20369
263.99/264.76 c #Conflicts: 203000 | #Constraints: 21369
263.99/264.76 c #Conflicts: 204000 | #Constraints: 22369
263.99/264.76 c #Conflicts: 205000 | #Constraints: 23369
263.99/264.76 c #Conflicts: 206000 | #Constraints: 24369
263.99/264.76 c #Conflicts: 207000 | #Constraints: 25369
263.99/264.76 c INPROCESSING
263.99/264.76 c GARBAGE COLLECT
263.99/264.76 c #Conflicts: 208000 | #Constraints: 17362
263.99/264.76 c #Conflicts: 209000 | #Constraints: 18362
263.99/264.76 c #Conflicts: 210000 | #Constraints: 19362
263.99/264.76 c #Conflicts: 211000 | #Constraints: 20362
263.99/264.76 c #Conflicts: 212000 | #Constraints: 21362
263.99/264.76 c #Conflicts: 213000 | #Constraints: 22362
397.85/398.97 c #Conflicts: 214000 | #Constraints: 23362
397.85/398.97 c #Conflicts: 215000 | #Constraints: 24362
397.85/398.97 c #Conflicts: 216000 | #Constraints: 25362
397.85/398.97 c INPROCESSING
397.85/398.97 c GARBAGE COLLECT
397.85/398.97 c #Conflicts: 217000 | #Constraints: 17180
397.85/398.97 c #Conflicts: 218000 | #Constraints: 18180
397.85/398.97 c #Conflicts: 219000 | #Constraints: 19180
397.85/398.97 c #Conflicts: 220000 | #Constraints: 20180
397.85/398.97 c #Conflicts: 221000 | #Constraints: 21180
397.85/398.97 c #Conflicts: 222000 | #Constraints: 22180
397.85/398.97 c #Conflicts: 223000 | #Constraints: 23180
397.85/398.97 c #Conflicts: 224000 | #Constraints: 24180
397.85/398.97 c #Conflicts: 225000 | #Constraints: 25180
397.85/398.97 c #Conflicts: 226000 | #Constraints: 26180
397.85/398.97 c INPROCESSING
397.85/398.97 c GARBAGE COLLECT
397.85/398.97 c #Conflicts: 227000 | #Constraints: 17766
397.85/398.97 c #Conflicts: 228000 | #Constraints: 18766
397.85/398.97 c #Conflicts: 229000 | #Constraints: 19766
397.85/398.97 c #Conflicts: 230000 | #Constraints: 20766
397.85/398.97 c #Conflicts: 231000 | #Constraints: 21766
397.85/398.97 c #Conflicts: 232000 | #Constraints: 22766
397.85/398.97 c #Conflicts: 233000 | #Constraints: 23766
397.85/398.97 c #Conflicts: 234000 | #Constraints: 24766
397.85/398.97 c #Conflicts: 235000 | #Constraints: 25766
397.85/398.97 c #Conflicts: 236000 | #Constraints: 26766
397.85/398.97 c INPROCESSING
397.85/398.97 c GARBAGE COLLECT
397.85/398.97 c #Conflicts: 237000 | #Constraints: 18172
397.85/398.97 c #Conflicts: 238000 | #Constraints: 19172
397.85/398.97 c #Conflicts: 239000 | #Constraints: 20172
397.85/398.97 c #Conflicts: 240000 | #Constraints: 21172
397.85/398.97 c #Conflicts: 241000 | #Constraints: 22172
397.85/398.97 c #Conflicts: 242000 | #Constraints: 23172
397.85/398.97 c #Conflicts: 243000 | #Constraints: 24172
397.85/398.97 c #Conflicts: 244000 | #Constraints: 25172
397.85/398.97 c #Conflicts: 245000 | #Constraints: 26172
397.85/398.97 c #Conflicts: 246000 | #Constraints: 27172
397.85/398.97 c INPROCESSING
397.85/398.97 c GARBAGE COLLECT
397.85/398.97 c #Conflicts: 247000 | #Constraints: 18390
397.85/398.97 c #Conflicts: 248000 | #Constraints: 19390
397.85/398.97 c #Conflicts: 249000 | #Constraints: 20390
397.85/398.97 c #Conflicts: 250000 | #Constraints: 21390
397.85/398.97 c #Conflicts: 251000 | #Constraints: 22390
397.85/398.97 c #Conflicts: 252000 | #Constraints: 23390
397.85/398.97 c #Conflicts: 253000 | #Constraints: 24390
397.85/398.97 c #Conflicts: 254000 | #Constraints: 25390
397.85/398.97 c #Conflicts: 255000 | #Constraints: 26390
397.85/398.97 c #Conflicts: 256000 | #Constraints: 27390
397.85/398.97 c INPROCESSING
397.85/398.97 c GARBAGE COLLECT
397.85/398.97 c #Conflicts: 257000 | #Constraints: 18388
397.85/398.97 c #Conflicts: 258000 | #Constraints: 19388
397.85/398.97 c #Conflicts: 259000 | #Constraints: 20388
397.85/398.97 c #Conflicts: 260000 | #Constraints: 21388
397.85/398.97 c #Conflicts: 261000 | #Constraints: 22388
397.85/398.97 c #Conflicts: 262000 | #Constraints: 23388
397.85/398.97 c #Conflicts: 263000 | #Constraints: 24388
397.85/398.97 c #Conflicts: 264000 | #Constraints: 25388
397.85/398.97 c #Conflicts: 265000 | #Constraints: 26388
397.85/398.97 c #Conflicts: 266000 | #Constraints: 27388
397.85/398.97 c INPROCESSING
397.85/398.97 c GARBAGE COLLECT
397.85/398.97 c #Conflicts: 267000 | #Constraints: 18187
397.85/398.97 c #Conflicts: 268000 | #Constraints: 19187
397.85/398.97 c #Conflicts: 269000 | #Constraints: 20187
397.85/398.97 c #Conflicts: 270000 | #Constraints: 21187
397.85/398.97 c #Conflicts: 271000 | #Constraints: 22187
397.85/398.97 c #Conflicts: 272000 | #Constraints: 23187
397.85/398.97 c #Conflicts: 273000 | #Constraints: 24187
397.85/398.97 c #Conflicts: 274000 | #Constraints: 25187
397.85/398.97 c #Conflicts: 275000 | #Constraints: 26187
397.85/398.97 c #Conflicts: 276000 | #Constraints: 27187
397.85/398.97 c #Conflicts: 277000 | #Constraints: 28187
397.85/398.97 c INPROCESSING
397.85/398.97 c GARBAGE COLLECT
397.85/398.97 c #Conflicts: 278000 | #Constraints: 18777
397.85/398.97 c #Conflicts: 279000 | #Constraints: 19777
397.85/398.97 c #Conflicts: 280000 | #Constraints: 20777
397.85/398.97 c #Conflicts: 281000 | #Constraints: 21777
397.85/398.97 c #Conflicts: 282000 | #Constraints: 22777
397.85/398.97 c #Conflicts: 283000 | #Constraints: 23777
397.85/398.97 c #Conflicts: 284000 | #Constraints: 24777
397.85/398.97 c #Conflicts: 285000 | #Constraints: 25777
397.85/398.97 c #Conflicts: 286000 | #Constraints: 26777
397.85/398.97 c #Conflicts: 287000 | #Constraints: 27777
397.85/398.97 c #Conflicts: 288000 | #Constraints: 28777
537.78/539.22 c INPROCESSING
537.78/539.22 c GARBAGE COLLECT
537.78/539.22 c #Conflicts: 289000 | #Constraints: 19161
537.78/539.22 c #Conflicts: 290000 | #Constraints: 20161
537.78/539.22 c #Conflicts: 291000 | #Constraints: 21161
537.78/539.22 c #Conflicts: 292000 | #Constraints: 22161
537.78/539.22 c #Conflicts: 293000 | #Constraints: 23161
537.78/539.22 c #Conflicts: 294000 | #Constraints: 24161
537.78/539.22 c #Conflicts: 295000 | #Constraints: 25161
537.78/539.22 c #Conflicts: 296000 | #Constraints: 26161
537.78/539.22 c #Conflicts: 297000 | #Constraints: 27161
537.78/539.22 c #Conflicts: 298000 | #Constraints: 28161
537.78/539.22 c #Conflicts: 299000 | #Constraints: 29161
537.78/539.22 c INPROCESSING
537.78/539.22 c GARBAGE COLLECT
537.78/539.22 c #Conflicts: 300000 | #Constraints: 19370
537.78/539.22 c #Conflicts: 301000 | #Constraints: 20370
537.78/539.22 c #Conflicts: 302000 | #Constraints: 21370
537.78/539.22 c #Conflicts: 303000 | #Constraints: 22370
537.78/539.22 c #Conflicts: 304000 | #Constraints: 23370
537.78/539.22 c #Conflicts: 305000 | #Constraints: 24370
537.78/539.22 c #Conflicts: 306000 | #Constraints: 25370
537.78/539.22 c #Conflicts: 307000 | #Constraints: 26370
537.78/539.22 c #Conflicts: 308000 | #Constraints: 27370
537.78/539.22 c #Conflicts: 309000 | #Constraints: 28370
537.78/539.22 c #Conflicts: 310000 | #Constraints: 29370
537.78/539.22 c INPROCESSING
537.78/539.22 c GARBAGE COLLECT
537.78/539.22 c #Conflicts: 311000 | #Constraints: 19391
537.78/539.22 c #Conflicts: 312000 | #Constraints: 20391
537.78/539.22 c #Conflicts: 313000 | #Constraints: 21391
537.78/539.22 c #Conflicts: 314000 | #Constraints: 22391
537.78/539.22 c #Conflicts: 315000 | #Constraints: 23391
537.78/539.22 c #Conflicts: 316000 | #Constraints: 24391
537.78/539.22 c #Conflicts: 317000 | #Constraints: 25391
537.78/539.22 c #Conflicts: 318000 | #Constraints: 26391
537.78/539.22 c #Conflicts: 319000 | #Constraints: 27391
537.78/539.22 c #Conflicts: 320000 | #Constraints: 28391
537.78/539.22 c #Conflicts: 321000 | #Constraints: 29391
537.78/539.22 c INPROCESSING
537.78/539.22 c GARBAGE COLLECT
537.78/539.22 c #Conflicts: 322000 | #Constraints: 19240
537.78/539.22 c #Conflicts: 323000 | #Constraints: 20240
537.78/539.22 c #Conflicts: 324000 | #Constraints: 21240
537.78/539.22 c #Conflicts: 325000 | #Constraints: 22240
537.78/539.22 c #Conflicts: 326000 | #Constraints: 23240
537.78/539.22 c #Conflicts: 327000 | #Constraints: 24240
537.78/539.22 c #Conflicts: 328000 | #Constraints: 25240
537.78/539.22 c #Conflicts: 329000 | #Constraints: 26240
537.78/539.22 c #Conflicts: 330000 | #Constraints: 27240
537.78/539.22 c #Conflicts: 331000 | #Constraints: 28240
537.78/539.22 c #Conflicts: 332000 | #Constraints: 29240
537.78/539.22 c #Conflicts: 333000 | #Constraints: 30240
537.78/539.22 c INPROCESSING
537.78/539.22 c GARBAGE COLLECT
537.78/539.22 c #Conflicts: 334000 | #Constraints: 19797
537.78/539.22 c #Conflicts: 335000 | #Constraints: 20797
537.78/539.22 c #Conflicts: 336000 | #Constraints: 21797
537.78/539.22 c #Conflicts: 337000 | #Constraints: 22797
537.78/539.22 c #Conflicts: 338000 | #Constraints: 23797
537.78/539.22 c #Conflicts: 339000 | #Constraints: 24797
537.78/539.22 c #Conflicts: 340000 | #Constraints: 25797
537.78/539.22 c #Conflicts: 341000 | #Constraints: 26797
537.78/539.22 c #Conflicts: 342000 | #Constraints: 27797
537.78/539.22 c #Conflicts: 343000 | #Constraints: 28797
537.78/539.22 c #Conflicts: 344000 | #Constraints: 29797
537.78/539.22 c #Conflicts: 345000 | #Constraints: 30797
537.78/539.22 c INPROCESSING
537.78/539.22 c GARBAGE COLLECT
537.78/539.22 c #Conflicts: 346000 | #Constraints: 20179
537.78/539.22 c #Conflicts: 347000 | #Constraints: 21179
537.78/539.22 c #Conflicts: 348000 | #Constraints: 22179
537.78/539.22 c #Conflicts: 349000 | #Constraints: 23179
537.78/539.22 c #Conflicts: 350000 | #Constraints: 24179
537.78/539.22 c #Conflicts: 351000 | #Constraints: 25179
537.78/539.22 c #Conflicts: 352000 | #Constraints: 26179
537.78/539.22 c #Conflicts: 353000 | #Constraints: 27179
537.78/539.22 c #Conflicts: 354000 | #Constraints: 28179
537.78/539.22 c #Conflicts: 355000 | #Constraints: 29179
537.78/539.22 c #Conflicts: 356000 | #Constraints: 30179
537.78/539.22 c #Conflicts: 357000 | #Constraints: 31179
537.78/539.22 c INPROCESSING
537.78/539.22 c GARBAGE COLLECT
537.78/539.22 c #Conflicts: 358000 | #Constraints: 20378
537.78/539.22 c #Conflicts: 359000 | #Constraints: 21378
537.78/539.22 c #Conflicts: 360000 | #Constraints: 22378
537.78/539.22 c #Conflicts: 361000 | #Constraints: 23378
537.78/539.22 c #Conflicts: 362000 | #Constraints: 24378
750.21/752.21 c #Conflicts: 363000 | #Constraints: 25378
750.21/752.21 c #Conflicts: 364000 | #Constraints: 26378
750.21/752.21 c #Conflicts: 365000 | #Constraints: 27378
750.21/752.21 c #Conflicts: 366000 | #Constraints: 28378
750.21/752.21 c #Conflicts: 367000 | #Constraints: 29378
750.21/752.21 c #Conflicts: 368000 | #Constraints: 30378
750.21/752.21 c #Conflicts: 369000 | #Constraints: 31378
750.21/752.21 c INPROCESSING
750.21/752.21 c GARBAGE COLLECT
750.21/752.21 c #Conflicts: 370000 | #Constraints: 20367
750.21/752.21 c #Conflicts: 371000 | #Constraints: 21367
750.21/752.21 c #Conflicts: 372000 | #Constraints: 22367
750.21/752.21 c #Conflicts: 373000 | #Constraints: 23367
750.21/752.21 c #Conflicts: 374000 | #Constraints: 24367
750.21/752.21 c #Conflicts: 375000 | #Constraints: 25367
750.21/752.21 c #Conflicts: 376000 | #Constraints: 26367
750.21/752.21 c #Conflicts: 377000 | #Constraints: 27367
750.21/752.21 c #Conflicts: 378000 | #Constraints: 28367
750.21/752.21 c #Conflicts: 379000 | #Constraints: 29367
750.21/752.21 c #Conflicts: 380000 | #Constraints: 30367
750.21/752.21 c #Conflicts: 381000 | #Constraints: 31367
750.21/752.21 c INPROCESSING
750.21/752.21 c GARBAGE COLLECT
750.21/752.21 c #Conflicts: 382000 | #Constraints: 20163
750.21/752.21 c #Conflicts: 383000 | #Constraints: 21163
750.21/752.21 c #Conflicts: 384000 | #Constraints: 22163
750.21/752.21 c #Conflicts: 385000 | #Constraints: 23163
750.21/752.21 c #Conflicts: 386000 | #Constraints: 24163
750.21/752.21 c #Conflicts: 387000 | #Constraints: 25163
750.21/752.21 c #Conflicts: 388000 | #Constraints: 26163
750.21/752.21 c #Conflicts: 389000 | #Constraints: 27163
750.21/752.21 c #Conflicts: 390000 | #Constraints: 28163
750.21/752.21 c #Conflicts: 391000 | #Constraints: 29163
750.21/752.21 c #Conflicts: 392000 | #Constraints: 30163
750.21/752.21 c #Conflicts: 393000 | #Constraints: 31163
750.21/752.21 c #Conflicts: 394000 | #Constraints: 32163
750.21/752.21 c INPROCESSING
750.21/752.21 c GARBAGE COLLECT
750.21/752.21 c #Conflicts: 395000 | #Constraints: 20763
750.21/752.21 c #Conflicts: 396000 | #Constraints: 21763
750.21/752.21 c #Conflicts: 397000 | #Constraints: 22763
750.21/752.21 c #Conflicts: 398000 | #Constraints: 23763
750.21/752.21 c #Conflicts: 399000 | #Constraints: 24763
750.21/752.21 c #Conflicts: 400000 | #Constraints: 25763
750.21/752.21 c #Conflicts: 401000 | #Constraints: 26763
750.21/752.21 c #Conflicts: 402000 | #Constraints: 27763
750.21/752.21 c #Conflicts: 403000 | #Constraints: 28763
750.21/752.21 c #Conflicts: 404000 | #Constraints: 29763
750.21/752.21 c #Conflicts: 405000 | #Constraints: 30763
750.21/752.21 c #Conflicts: 406000 | #Constraints: 31763
750.21/752.21 c #Conflicts: 407000 | #Constraints: 32763
750.21/752.21 c INPROCESSING
750.21/752.21 c GARBAGE COLLECT
750.21/752.21 c #Conflicts: 408000 | #Constraints: 21167
750.21/752.21 c #Conflicts: 409000 | #Constraints: 22167
750.21/752.21 c #Conflicts: 410000 | #Constraints: 23167
750.21/752.21 c #Conflicts: 411000 | #Constraints: 24167
750.21/752.21 c #Conflicts: 412000 | #Constraints: 25167
750.21/752.21 c #Conflicts: 413000 | #Constraints: 26167
750.21/752.21 c #Conflicts: 414000 | #Constraints: 27167
750.21/752.21 c #Conflicts: 415000 | #Constraints: 28167
750.21/752.21 c #Conflicts: 416000 | #Constraints: 29167
750.21/752.21 c #Conflicts: 417000 | #Constraints: 30167
750.21/752.21 c #Conflicts: 418000 | #Constraints: 31167
750.21/752.21 c #Conflicts: 419000 | #Constraints: 32167
750.21/752.21 c #Conflicts: 420000 | #Constraints: 33167
750.21/752.21 c INPROCESSING
750.21/752.21 c GARBAGE COLLECT
750.21/752.21 c #Conflicts: 421000 | #Constraints: 21498
750.21/752.21 c #Conflicts: 422000 | #Constraints: 22498
750.21/752.21 c #Conflicts: 423000 | #Constraints: 23498
750.21/752.21 c #Conflicts: 424000 | #Constraints: 24498
750.21/752.21 c #Conflicts: 425000 | #Constraints: 25498
750.21/752.21 c #Conflicts: 426000 | #Constraints: 26498
750.21/752.21 c #Conflicts: 427000 | #Constraints: 27498
750.21/752.21 c #Conflicts: 428000 | #Constraints: 28498
750.21/752.21 c #Conflicts: 429000 | #Constraints: 29498
750.21/752.21 c #Conflicts: 430000 | #Constraints: 30498
750.21/752.21 c #Conflicts: 431000 | #Constraints: 31498
750.21/752.21 c #Conflicts: 432000 | #Constraints: 32498
750.21/752.21 c #Conflicts: 433000 | #Constraints: 33498
750.21/752.21 c INPROCESSING
750.21/752.21 c GARBAGE COLLECT
750.21/752.21 c #Conflicts: 434000 | #Constraints: 21517
750.21/752.21 c #Conflicts: 435000 | #Constraints: 22517
750.21/752.21 c #Conflicts: 436000 | #Constraints: 23517
750.21/752.21 c #Conflicts: 437000 | #Constraints: 24517
939.21/941.73 c #Conflicts: 438000 | #Constraints: 25517
939.21/941.73 c #Conflicts: 439000 | #Constraints: 26517
939.21/941.73 c #Conflicts: 440000 | #Constraints: 27517
939.21/941.73 c #Conflicts: 441000 | #Constraints: 28517
939.21/941.73 c #Conflicts: 442000 | #Constraints: 29517
939.21/941.73 c #Conflicts: 443000 | #Constraints: 30517
939.21/941.73 c #Conflicts: 444000 | #Constraints: 31517
939.21/941.73 c #Conflicts: 445000 | #Constraints: 32517
939.21/941.73 c #Conflicts: 446000 | #Constraints: 33517
939.21/941.73 c INPROCESSING
939.21/941.73 c GARBAGE COLLECT
939.21/941.73 c #Conflicts: 447000 | #Constraints: 21281
939.21/941.73 c #Conflicts: 448000 | #Constraints: 22281
939.21/941.73 c #Conflicts: 449000 | #Constraints: 23281
939.21/941.73 c #Conflicts: 450000 | #Constraints: 24281
939.21/941.73 c #Conflicts: 451000 | #Constraints: 25281
939.21/941.73 c #Conflicts: 452000 | #Constraints: 26281
939.21/941.73 c #Conflicts: 453000 | #Constraints: 27281
939.21/941.73 c #Conflicts: 454000 | #Constraints: 28281
939.21/941.73 c #Conflicts: 455000 | #Constraints: 29281
939.21/941.73 c #Conflicts: 456000 | #Constraints: 30281
939.21/941.73 c #Conflicts: 457000 | #Constraints: 31281
939.21/941.73 c #Conflicts: 458000 | #Constraints: 32281
939.21/941.73 c #Conflicts: 459000 | #Constraints: 33281
939.21/941.73 c #Conflicts: 460000 | #Constraints: 34281
939.21/941.73 c INPROCESSING
939.21/941.73 c GARBAGE COLLECT
939.21/941.73 c #Conflicts: 461000 | #Constraints: 21969
939.21/941.73 c #Conflicts: 462000 | #Constraints: 22969
939.21/941.73 c #Conflicts: 463000 | #Constraints: 23969
939.21/941.73 c #Conflicts: 464000 | #Constraints: 24969
939.21/941.73 c #Conflicts: 465000 | #Constraints: 25969
939.21/941.73 c #Conflicts: 466000 | #Constraints: 26969
939.21/941.73 c #Conflicts: 467000 | #Constraints: 27969
939.21/941.73 c #Conflicts: 468000 | #Constraints: 28969
939.21/941.73 c #Conflicts: 469000 | #Constraints: 29969
939.21/941.73 c #Conflicts: 470000 | #Constraints: 30969
939.21/941.73 c #Conflicts: 471000 | #Constraints: 31969
939.21/941.73 c #Conflicts: 472000 | #Constraints: 32969
939.21/941.73 c #Conflicts: 473000 | #Constraints: 33969
939.21/941.73 c #Conflicts: 474000 | #Constraints: 34969
939.21/941.73 c INPROCESSING
939.21/941.73 c GARBAGE COLLECT
939.21/941.73 c #Conflicts: 475000 | #Constraints: 22327
939.21/941.73 c #Conflicts: 476000 | #Constraints: 23327
939.21/941.73 c #Conflicts: 477000 | #Constraints: 24327
939.21/941.73 c #Conflicts: 478000 | #Constraints: 25327
939.21/941.73 c #Conflicts: 479000 | #Constraints: 26327
939.21/941.73 c #Conflicts: 480000 | #Constraints: 27327
939.21/941.73 c #Conflicts: 481000 | #Constraints: 28327
939.21/941.73 c #Conflicts: 482000 | #Constraints: 29327
939.21/941.73 c #Conflicts: 483000 | #Constraints: 30327
939.21/941.73 c #Conflicts: 484000 | #Constraints: 31327
939.21/941.73 c #Conflicts: 485000 | #Constraints: 32327
939.21/941.73 c #Conflicts: 486000 | #Constraints: 33327
939.21/941.73 c #Conflicts: 487000 | #Constraints: 34327
939.21/941.73 c #Conflicts: 488000 | #Constraints: 35327
939.21/941.73 c INPROCESSING
939.21/941.73 c GARBAGE COLLECT
939.21/941.73 c #Conflicts: 489000 | #Constraints: 22468
939.21/941.73 c #Conflicts: 490000 | #Constraints: 23468
939.21/941.73 c #Conflicts: 491000 | #Constraints: 24468
939.21/941.73 c #Conflicts: 492000 | #Constraints: 25468
939.21/941.73 c #Conflicts: 493000 | #Constraints: 26468
939.21/941.73 c #Conflicts: 494000 | #Constraints: 27468
939.21/941.73 c #Conflicts: 495000 | #Constraints: 28468
939.21/941.73 c #Conflicts: 496000 | #Constraints: 29468
939.21/941.73 c #Conflicts: 497000 | #Constraints: 30468
939.21/941.73 c #Conflicts: 498000 | #Constraints: 31468
939.21/941.73 c #Conflicts: 499000 | #Constraints: 32468
939.21/941.73 c #Conflicts: 500000 | #Constraints: 33468
939.21/941.73 c #Conflicts: 501000 | #Constraints: 34468
939.21/941.73 c #Conflicts: 502000 | #Constraints: 35468
939.21/941.73 c INPROCESSING
939.21/941.73 c GARBAGE COLLECT
939.21/941.73 c #Conflicts: 503000 | #Constraints: 22440
939.21/941.73 c #Conflicts: 504000 | #Constraints: 23440
939.21/941.73 c #Conflicts: 505000 | #Constraints: 24440
939.21/941.73 c #Conflicts: 506000 | #Constraints: 25440
939.21/941.73 c #Conflicts: 507000 | #Constraints: 26440
939.21/941.73 c #Conflicts: 508000 | #Constraints: 27440
939.21/941.73 c #Conflicts: 509000 | #Constraints: 28440
939.21/941.73 c #Conflicts: 510000 | #Constraints: 29440
939.21/941.73 c #Conflicts: 511000 | #Constraints: 30440
939.21/941.73 c #Conflicts: 512000 | #Constraints: 31440
939.21/941.73 c #Conflicts: 513000 | #Constraints: 32440
1158.53/1161.69 c #Conflicts: 514000 | #Constraints: 33440
1158.53/1161.69 c #Conflicts: 515000 | #Constraints: 34440
1158.53/1161.69 c #Conflicts: 516000 | #Constraints: 35440
1158.53/1161.69 c INPROCESSING
1158.53/1161.69 c GARBAGE COLLECT
1158.53/1161.69 c #Conflicts: 517000 | #Constraints: 22230
1158.53/1161.69 c #Conflicts: 518000 | #Constraints: 23230
1158.53/1161.69 c #Conflicts: 519000 | #Constraints: 24230
1158.53/1161.69 c #Conflicts: 520000 | #Constraints: 25230
1158.53/1161.69 c #Conflicts: 521000 | #Constraints: 26230
1158.53/1161.69 c #Conflicts: 522000 | #Constraints: 27230
1158.53/1161.69 c #Conflicts: 523000 | #Constraints: 28230
1158.53/1161.69 c #Conflicts: 524000 | #Constraints: 29230
1158.53/1161.69 c #Conflicts: 525000 | #Constraints: 30230
1158.53/1161.69 c #Conflicts: 526000 | #Constraints: 31230
1158.53/1161.69 c #Conflicts: 527000 | #Constraints: 32230
1158.53/1161.69 c #Conflicts: 528000 | #Constraints: 33230
1158.53/1161.69 c #Conflicts: 529000 | #Constraints: 34230
1158.53/1161.69 c #Conflicts: 530000 | #Constraints: 35230
1158.53/1161.69 c #Conflicts: 531000 | #Constraints: 36230
1158.53/1161.69 c INPROCESSING
1158.53/1161.69 c GARBAGE COLLECT
1158.53/1161.69 c #Conflicts: 532000 | #Constraints: 22862
1158.53/1161.69 c #Conflicts: 533000 | #Constraints: 23862
1158.53/1161.69 c #Conflicts: 534000 | #Constraints: 24862
1158.53/1161.69 c #Conflicts: 535000 | #Constraints: 25862
1158.53/1161.69 c #Conflicts: 536000 | #Constraints: 26862
1158.53/1161.69 c #Conflicts: 537000 | #Constraints: 27862
1158.53/1161.69 c #Conflicts: 538000 | #Constraints: 28862
1158.53/1161.69 c #Conflicts: 539000 | #Constraints: 29862
1158.53/1161.69 c #Conflicts: 540000 | #Constraints: 30862
1158.53/1161.69 c #Conflicts: 541000 | #Constraints: 31862
1158.53/1161.69 c #Conflicts: 542000 | #Constraints: 32862
1158.53/1161.69 c #Conflicts: 543000 | #Constraints: 33862
1158.53/1161.69 c #Conflicts: 544000 | #Constraints: 34862
1158.53/1161.69 c #Conflicts: 545000 | #Constraints: 35862
1158.53/1161.69 c #Conflicts: 546000 | #Constraints: 36862
1158.53/1161.69 c INPROCESSING
1158.53/1161.69 c GARBAGE COLLECT
1158.53/1161.69 c #Conflicts: 547000 | #Constraints: 23211
1158.53/1161.69 c #Conflicts: 548000 | #Constraints: 24211
1158.53/1161.69 c #Conflicts: 549000 | #Constraints: 25211
1158.53/1161.69 c #Conflicts: 550000 | #Constraints: 26211
1158.53/1161.69 c #Conflicts: 551000 | #Constraints: 27211
1158.53/1161.69 c #Conflicts: 552000 | #Constraints: 28211
1158.53/1161.69 c #Conflicts: 553000 | #Constraints: 29211
1158.53/1161.69 c #Conflicts: 554000 | #Constraints: 30211
1158.53/1161.69 c #Conflicts: 555000 | #Constraints: 31211
1158.53/1161.69 c #Conflicts: 556000 | #Constraints: 32211
1158.53/1161.69 c #Conflicts: 557000 | #Constraints: 33211
1158.53/1161.69 c #Conflicts: 558000 | #Constraints: 34211
1158.53/1161.69 c #Conflicts: 559000 | #Constraints: 35211
1158.53/1161.69 c #Conflicts: 560000 | #Constraints: 36211
1158.53/1161.69 c #Conflicts: 561000 | #Constraints: 37211
1158.53/1161.69 c INPROCESSING
1158.53/1161.69 c GARBAGE COLLECT
1158.53/1161.69 c #Conflicts: 562000 | #Constraints: 23385
1158.53/1161.69 c #Conflicts: 563000 | #Constraints: 24385
1158.53/1161.69 c #Conflicts: 564000 | #Constraints: 25385
1158.53/1161.69 c #Conflicts: 565000 | #Constraints: 26385
1158.53/1161.69 c #Conflicts: 566000 | #Constraints: 27385
1158.53/1161.69 c #Conflicts: 567000 | #Constraints: 28385
1158.53/1161.69 c #Conflicts: 568000 | #Constraints: 29385
1158.53/1161.69 c #Conflicts: 569000 | #Constraints: 30385
1158.53/1161.69 c #Conflicts: 570000 | #Constraints: 31385
1158.53/1161.69 c #Conflicts: 571000 | #Constraints: 32385
1158.53/1161.69 c #Conflicts: 572000 | #Constraints: 33385
1158.53/1161.69 c #Conflicts: 573000 | #Constraints: 34385
1158.53/1161.69 c #Conflicts: 574000 | #Constraints: 35385
1158.53/1161.69 c #Conflicts: 575000 | #Constraints: 36385
1158.53/1161.69 c #Conflicts: 576000 | #Constraints: 37385
1158.53/1161.69 c INPROCESSING
1158.53/1161.69 c GARBAGE COLLECT
1158.53/1161.69 c #Conflicts: 577000 | #Constraints: 23399
1158.53/1161.69 c #Conflicts: 578000 | #Constraints: 24399
1158.53/1161.69 c #Conflicts: 579000 | #Constraints: 25399
1158.53/1161.69 c #Conflicts: 580000 | #Constraints: 26399
1158.53/1161.69 c #Conflicts: 581000 | #Constraints: 27399
1158.53/1161.69 c #Conflicts: 582000 | #Constraints: 28399
1158.53/1161.69 c #Conflicts: 583000 | #Constraints: 29399
1158.53/1161.69 c #Conflicts: 584000 | #Constraints: 30399
1158.53/1161.69 c #Conflicts: 585000 | #Constraints: 31399
1158.53/1161.69 c #Conflicts: 586000 | #Constraints: 32399
1158.53/1161.69 c #Conflicts: 587000 | #Constraints: 33399
1158.53/1161.69 c #Conflicts: 588000 | #Constraints: 34399
1478.84/1482.80 c #Conflicts: 589000 | #Constraints: 35399
1478.84/1482.80 c #Conflicts: 590000 | #Constraints: 36399
1478.84/1482.80 c #Conflicts: 591000 | #Constraints: 37399
1478.84/1482.80 c INPROCESSING
1478.84/1482.80 c GARBAGE COLLECT
1478.84/1482.80 c #Conflicts: 592000 | #Constraints: 23193
1478.84/1482.80 c #Conflicts: 593000 | #Constraints: 24193
1478.84/1482.80 c #Conflicts: 594000 | #Constraints: 25193
1478.84/1482.80 c #Conflicts: 595000 | #Constraints: 26193
1478.84/1482.80 c #Conflicts: 596000 | #Constraints: 27193
1478.84/1482.80 c #Conflicts: 597000 | #Constraints: 28193
1478.84/1482.80 c #Conflicts: 598000 | #Constraints: 29193
1478.84/1482.80 c #Conflicts: 599000 | #Constraints: 30193
1478.84/1482.80 c #Conflicts: 600000 | #Constraints: 31193
1478.84/1482.80 c #Conflicts: 601000 | #Constraints: 32193
1478.84/1482.80 c #Conflicts: 602000 | #Constraints: 33193
1478.84/1482.80 c #Conflicts: 603000 | #Constraints: 34193
1478.84/1482.80 c #Conflicts: 604000 | #Constraints: 35193
1478.84/1482.80 c #Conflicts: 605000 | #Constraints: 36193
1478.84/1482.80 c #Conflicts: 606000 | #Constraints: 37193
1478.84/1482.80 c #Conflicts: 607000 | #Constraints: 38193
1478.84/1482.80 c INPROCESSING
1478.84/1482.80 c GARBAGE COLLECT
1478.84/1482.80 c #Conflicts: 608000 | #Constraints: 23780
1478.84/1482.80 c #Conflicts: 609000 | #Constraints: 24780
1478.84/1482.80 c #Conflicts: 610000 | #Constraints: 25780
1478.84/1482.80 c #Conflicts: 611000 | #Constraints: 26780
1478.84/1482.80 c #Conflicts: 612000 | #Constraints: 27780
1478.84/1482.80 c #Conflicts: 613000 | #Constraints: 28780
1478.84/1482.80 c #Conflicts: 614000 | #Constraints: 29780
1478.84/1482.80 c #Conflicts: 615000 | #Constraints: 30780
1478.84/1482.80 c #Conflicts: 616000 | #Constraints: 31780
1478.84/1482.80 c #Conflicts: 617000 | #Constraints: 32780
1478.84/1482.80 c #Conflicts: 618000 | #Constraints: 33780
1478.84/1482.80 c #Conflicts: 619000 | #Constraints: 34780
1478.84/1482.80 c #Conflicts: 620000 | #Constraints: 35780
1478.84/1482.80 c #Conflicts: 621000 | #Constraints: 36780
1478.84/1482.80 c #Conflicts: 622000 | #Constraints: 37780
1478.84/1482.80 c #Conflicts: 623000 | #Constraints: 38780
1478.84/1482.80 c INPROCESSING
1478.84/1482.80 c GARBAGE COLLECT
1478.84/1482.80 c #Conflicts: 624000 | #Constraints: 24203
1478.84/1482.80 c #Conflicts: 625000 | #Constraints: 25203
1478.84/1482.80 c #Conflicts: 626000 | #Constraints: 26203
1478.84/1482.80 c #Conflicts: 627000 | #Constraints: 27203
1478.84/1482.80 c #Conflicts: 628000 | #Constraints: 28203
1478.84/1482.80 c #Conflicts: 629000 | #Constraints: 29203
1478.84/1482.80 c #Conflicts: 630000 | #Constraints: 30203
1478.84/1482.80 c #Conflicts: 631000 | #Constraints: 31203
1478.84/1482.80 c #Conflicts: 632000 | #Constraints: 32203
1478.84/1482.80 c #Conflicts: 633000 | #Constraints: 33203
1478.84/1482.80 c #Conflicts: 634000 | #Constraints: 34203
1478.84/1482.80 c #Conflicts: 635000 | #Constraints: 35203
1478.84/1482.80 c #Conflicts: 636000 | #Constraints: 36203
1478.84/1482.80 c #Conflicts: 637000 | #Constraints: 37203
1478.84/1482.80 c #Conflicts: 638000 | #Constraints: 38203
1478.84/1482.80 c #Conflicts: 639000 | #Constraints: 39203
1478.84/1482.80 c INPROCESSING
1478.84/1482.80 c GARBAGE COLLECT
1478.84/1482.80 c #Conflicts: 640000 | #Constraints: 24413
1478.84/1482.80 c #Conflicts: 641000 | #Constraints: 25413
1478.84/1482.80 c #Conflicts: 642000 | #Constraints: 26413
1478.84/1482.80 c #Conflicts: 643000 | #Constraints: 27413
1478.84/1482.80 c #Conflicts: 644000 | #Constraints: 28413
1478.84/1482.80 c #Conflicts: 645000 | #Constraints: 29413
1478.84/1482.80 c #Conflicts: 646000 | #Constraints: 30413
1478.84/1482.80 c #Conflicts: 647000 | #Constraints: 31413
1478.84/1482.80 c #Conflicts: 648000 | #Constraints: 32413
1478.84/1482.80 c #Conflicts: 649000 | #Constraints: 33413
1478.84/1482.80 c #Conflicts: 650000 | #Constraints: 34413
1478.84/1482.80 c #Conflicts: 651000 | #Constraints: 35413
1478.84/1482.80 c #Conflicts: 652000 | #Constraints: 36413
1478.84/1482.80 c #Conflicts: 653000 | #Constraints: 37413
1478.84/1482.80 c #Conflicts: 654000 | #Constraints: 38413
1478.84/1482.80 c #Conflicts: 655000 | #Constraints: 39413
1478.84/1482.80 c INPROCESSING
1478.84/1482.80 c GARBAGE COLLECT
1478.84/1482.80 c #Conflicts: 656000 | #Constraints: 24428
1478.84/1482.80 c #Conflicts: 657000 | #Constraints: 25428
1478.84/1482.80 c #Conflicts: 658000 | #Constraints: 26428
1478.84/1482.80 c #Conflicts: 659000 | #Constraints: 27428
1478.84/1482.80 c #Conflicts: 660000 | #Constraints: 28428
1478.84/1482.80 c #Conflicts: 661000 | #Constraints: 29428
1478.84/1482.80 c #Conflicts: 662000 | #Constraints: 30428
1478.84/1482.80 c #Conflicts: 663000 | #Constraints: 31428
1478.84/1482.80 c #Conflicts: 664000 | #Constraints: 32428
1852.07/1857.08 c #Conflicts: 665000 | #Constraints: 33428
1852.07/1857.08 c #Conflicts: 666000 | #Constraints: 34428
1852.07/1857.08 c #Conflicts: 667000 | #Constraints: 35428
1852.07/1857.08 c #Conflicts: 668000 | #Constraints: 36428
1852.07/1857.08 c #Conflicts: 669000 | #Constraints: 37428
1852.07/1857.08 c #Conflicts: 670000 | #Constraints: 38428
1852.07/1857.08 c #Conflicts: 671000 | #Constraints: 39428
1852.07/1857.08 c INPROCESSING
1852.07/1857.08 c GARBAGE COLLECT
1852.07/1857.08 c #Conflicts: 672000 | #Constraints: 24192
1852.07/1857.08 c #Conflicts: 673000 | #Constraints: 25192
1852.07/1857.08 c #Conflicts: 674000 | #Constraints: 26192
1852.07/1857.08 c #Conflicts: 675000 | #Constraints: 27192
1852.07/1857.08 c #Conflicts: 676000 | #Constraints: 28192
1852.07/1857.08 c #Conflicts: 677000 | #Constraints: 29192
1852.07/1857.08 c #Conflicts: 678000 | #Constraints: 30192
1852.07/1857.08 c #Conflicts: 679000 | #Constraints: 31192
1852.07/1857.08 c #Conflicts: 680000 | #Constraints: 32192
1852.07/1857.08 c #Conflicts: 681000 | #Constraints: 33192
1852.07/1857.08 c #Conflicts: 682000 | #Constraints: 34192
1852.07/1857.08 c #Conflicts: 683000 | #Constraints: 35192
1852.07/1857.08 c #Conflicts: 684000 | #Constraints: 36192
1852.07/1857.08 c #Conflicts: 685000 | #Constraints: 37192
1852.07/1857.08 c #Conflicts: 686000 | #Constraints: 38192
1852.07/1857.08 c #Conflicts: 687000 | #Constraints: 39192
1852.07/1857.08 c #Conflicts: 688000 | #Constraints: 40192
1852.07/1857.08 c INPROCESSING
1852.07/1857.08 c GARBAGE COLLECT
1852.07/1857.08 c #Conflicts: 689000 | #Constraints: 24788
1852.07/1857.08 c #Conflicts: 690000 | #Constraints: 25788
1852.07/1857.08 c #Conflicts: 691000 | #Constraints: 26788
1852.07/1857.08 c #Conflicts: 692000 | #Constraints: 27788
1852.07/1857.08 c #Conflicts: 693000 | #Constraints: 28788
1852.07/1857.08 c #Conflicts: 694000 | #Constraints: 29788
1852.07/1857.08 c #Conflicts: 695000 | #Constraints: 30788
1852.07/1857.08 c #Conflicts: 696000 | #Constraints: 31788
1852.07/1857.08 c #Conflicts: 697000 | #Constraints: 32788
1852.07/1857.08 c #Conflicts: 698000 | #Constraints: 33788
1852.07/1857.08 c #Conflicts: 699000 | #Constraints: 34788
1852.07/1857.08 c #Conflicts: 700000 | #Constraints: 35788
1852.07/1857.08 c #Conflicts: 701000 | #Constraints: 36788
1852.07/1857.08 c #Conflicts: 702000 | #Constraints: 37788
1852.07/1857.08 c #Conflicts: 703000 | #Constraints: 38788
1852.07/1857.08 c #Conflicts: 704000 | #Constraints: 39788
1852.07/1857.08 c #Conflicts: 705000 | #Constraints: 40788
1852.07/1857.08 c INPROCESSING
1852.07/1857.08 c GARBAGE COLLECT
1852.07/1857.08 c #Conflicts: 706000 | #Constraints: 25178
1852.07/1857.08 c #Conflicts: 707000 | #Constraints: 26178
1852.07/1857.08 c #Conflicts: 708000 | #Constraints: 27178
1852.07/1857.08 c #Conflicts: 709000 | #Constraints: 28178
1852.07/1857.08 c #Conflicts: 710000 | #Constraints: 29178
1852.07/1857.08 c #Conflicts: 711000 | #Constraints: 30178
1852.07/1857.08 c #Conflicts: 712000 | #Constraints: 31178
1852.07/1857.08 c #Conflicts: 713000 | #Constraints: 32178
1852.07/1857.08 c #Conflicts: 714000 | #Constraints: 33178
1852.07/1857.08 c #Conflicts: 715000 | #Constraints: 34178
1852.07/1857.08 c #Conflicts: 716000 | #Constraints: 35178
1852.07/1857.08 c #Conflicts: 717000 | #Constraints: 36178
1852.07/1857.08 c #Conflicts: 718000 | #Constraints: 37178
1852.07/1857.08 c #Conflicts: 719000 | #Constraints: 38178
1852.07/1857.08 c #Conflicts: 720000 | #Constraints: 39178
1852.07/1857.08 c #Conflicts: 721000 | #Constraints: 40178
1852.07/1857.08 c #Conflicts: 722000 | #Constraints: 41178
1852.07/1857.08 c INPROCESSING
1852.07/1857.08 c GARBAGE COLLECT
1852.07/1857.08 c #Conflicts: 723000 | #Constraints: 25377
1852.07/1857.08 c #Conflicts: 724000 | #Constraints: 26377
1852.07/1857.08 c #Conflicts: 725000 | #Constraints: 27377
1852.07/1857.08 c #Conflicts: 726000 | #Constraints: 28377
1852.07/1857.08 c #Conflicts: 727000 | #Constraints: 29377
1852.07/1857.08 c #Conflicts: 728000 | #Constraints: 30377
1852.07/1857.08 c #Conflicts: 729000 | #Constraints: 31377
1852.07/1857.08 c #Conflicts: 730000 | #Constraints: 32377
1852.07/1857.08 c #Conflicts: 731000 | #Constraints: 33377
1852.07/1857.08 c #Conflicts: 732000 | #Constraints: 34377
1852.07/1857.08 c #Conflicts: 733000 | #Constraints: 35377
1852.07/1857.08 c #Conflicts: 734000 | #Constraints: 36377
1852.07/1857.08 c #Conflicts: 735000 | #Constraints: 37377
1852.07/1857.08 c #Conflicts: 736000 | #Constraints: 38377
1852.07/1857.08 c #Conflicts: 737000 | #Constraints: 39377
1852.07/1857.08 c #Conflicts: 738000 | #Constraints: 40377
1852.07/1857.08 c #Conflicts: 739000 | #Constraints: 41377
1852.07/1857.08 c INPROCESSING
1852.07/1857.08 c GARBAGE COLLECT
2179.07/2184.90 c #Conflicts: 740000 | #Constraints: 25471
2179.07/2184.90 c #Conflicts: 741000 | #Constraints: 26471
2179.07/2184.90 c #Conflicts: 742000 | #Constraints: 27471
2179.07/2184.90 c #Conflicts: 743000 | #Constraints: 28471
2179.07/2184.90 c #Conflicts: 744000 | #Constraints: 29471
2179.07/2184.90 c #Conflicts: 745000 | #Constraints: 30471
2179.07/2184.90 c #Conflicts: 746000 | #Constraints: 31471
2179.07/2184.90 c #Conflicts: 747000 | #Constraints: 32471
2179.07/2184.90 c #Conflicts: 748000 | #Constraints: 33471
2179.07/2184.90 c #Conflicts: 749000 | #Constraints: 34471
2179.07/2184.90 c #Conflicts: 750000 | #Constraints: 35471
2179.07/2184.90 c #Conflicts: 751000 | #Constraints: 36471
2179.07/2184.90 c #Conflicts: 752000 | #Constraints: 37471
2179.07/2184.90 c #Conflicts: 753000 | #Constraints: 38471
2179.07/2184.90 c #Conflicts: 754000 | #Constraints: 39471
2179.07/2184.90 c #Conflicts: 755000 | #Constraints: 40471
2179.07/2184.90 c #Conflicts: 756000 | #Constraints: 41471
2179.07/2184.90 c INPROCESSING
2179.07/2184.90 c GARBAGE COLLECT
2179.07/2184.90 c #Conflicts: 757000 | #Constraints: 25210
2179.07/2184.90 c #Conflicts: 758000 | #Constraints: 26210
2179.07/2184.90 c #Conflicts: 759000 | #Constraints: 27210
2179.07/2184.90 c #Conflicts: 760000 | #Constraints: 28210
2179.07/2184.90 c #Conflicts: 761000 | #Constraints: 29210
2179.07/2184.90 c #Conflicts: 762000 | #Constraints: 30210
2179.07/2184.90 c #Conflicts: 763000 | #Constraints: 31210
2179.07/2184.90 c #Conflicts: 764000 | #Constraints: 32210
2179.07/2184.90 c #Conflicts: 765000 | #Constraints: 33210
2179.07/2184.90 c #Conflicts: 766000 | #Constraints: 34210
2179.07/2184.90 c #Conflicts: 767000 | #Constraints: 35210
2179.07/2184.90 c #Conflicts: 768000 | #Constraints: 36210
2179.07/2184.90 c #Conflicts: 769000 | #Constraints: 37210
2179.07/2184.90 c #Conflicts: 770000 | #Constraints: 38210
2179.07/2184.90 c #Conflicts: 771000 | #Constraints: 39210
2179.07/2184.90 c #Conflicts: 772000 | #Constraints: 40210
2179.07/2184.90 c #Conflicts: 773000 | #Constraints: 41210
2179.07/2184.90 c #Conflicts: 774000 | #Constraints: 42210
2179.07/2184.90 c INPROCESSING
2179.07/2184.90 c GARBAGE COLLECT
2179.07/2184.90 c #Conflicts: 775000 | #Constraints: 25795
2179.07/2184.90 c #Conflicts: 776000 | #Constraints: 26795
2179.07/2184.90 c #Conflicts: 777000 | #Constraints: 27795
2179.07/2184.90 c #Conflicts: 778000 | #Constraints: 28795
2179.07/2184.90 c #Conflicts: 779000 | #Constraints: 29795
2179.07/2184.90 c #Conflicts: 780000 | #Constraints: 30795
2179.07/2184.90 c #Conflicts: 781000 | #Constraints: 31795
2179.07/2184.90 c #Conflicts: 782000 | #Constraints: 32795
2179.07/2184.90 c #Conflicts: 783000 | #Constraints: 33795
2179.07/2184.90 c #Conflicts: 784000 | #Constraints: 34795
2179.07/2184.90 c #Conflicts: 785000 | #Constraints: 35795
2179.07/2184.90 c #Conflicts: 786000 | #Constraints: 36795
2179.07/2184.90 c #Conflicts: 787000 | #Constraints: 37795
2179.07/2184.90 c #Conflicts: 788000 | #Constraints: 38795
2179.07/2184.90 c #Conflicts: 789000 | #Constraints: 39795
2179.07/2184.90 c #Conflicts: 790000 | #Constraints: 40795
2179.07/2184.90 c #Conflicts: 791000 | #Constraints: 41795
2179.07/2184.90 c #Conflicts: 792000 | #Constraints: 42795
2179.07/2184.90 c INPROCESSING
2179.07/2184.90 c GARBAGE COLLECT
2179.07/2184.90 c #Conflicts: 793000 | #Constraints: 26188
2179.07/2184.90 c #Conflicts: 794000 | #Constraints: 27188
2179.07/2184.90 c #Conflicts: 795000 | #Constraints: 28188
2179.07/2184.90 c #Conflicts: 796000 | #Constraints: 29188
2179.07/2184.90 c #Conflicts: 797000 | #Constraints: 30188
2179.07/2184.90 c #Conflicts: 798000 | #Constraints: 31188
2179.07/2184.90 c #Conflicts: 799000 | #Constraints: 32188
2179.07/2184.90 c #Conflicts: 800000 | #Constraints: 33188
2179.07/2184.90 c #Conflicts: 801000 | #Constraints: 34188
2179.07/2184.90 c #Conflicts: 802000 | #Constraints: 35188
2179.07/2184.90 c #Conflicts: 803000 | #Constraints: 36188
2179.07/2184.90 c #Conflicts: 804000 | #Constraints: 37188
2179.07/2184.90 c #Conflicts: 805000 | #Constraints: 38188
2179.07/2184.90 c #Conflicts: 806000 | #Constraints: 39188
2179.07/2184.90 c #Conflicts: 807000 | #Constraints: 40188
2179.07/2184.90 c #Conflicts: 808000 | #Constraints: 41188
2179.07/2184.90 c #Conflicts: 809000 | #Constraints: 42188
2179.07/2184.90 c #Conflicts: 810000 | #Constraints: 43188
2179.07/2184.90 c INPROCESSING
2179.07/2184.90 c GARBAGE COLLECT
2179.07/2184.90 c #Conflicts: 811000 | #Constraints: 26374
2179.07/2184.90 c #Conflicts: 812000 | #Constraints: 27374
2179.07/2184.90 c #Conflicts: 813000 | #Constraints: 28374
2179.07/2184.90 c #Conflicts: 814000 | #Constraints: 29374
2179.07/2184.90 c #Conflicts: 815000 | #Constraints: 30374
2179.07/2184.90 c #Conflicts: 816000 | #Constraints: 31374
2555.61/2562.65 c #Conflicts: 817000 | #Constraints: 32374
2555.61/2562.65 c #Conflicts: 818000 | #Constraints: 33374
2555.61/2562.65 c #Conflicts: 819000 | #Constraints: 34374
2555.61/2562.65 c #Conflicts: 820000 | #Constraints: 35374
2555.61/2562.65 c #Conflicts: 821000 | #Constraints: 36374
2555.61/2562.65 c #Conflicts: 822000 | #Constraints: 37374
2555.61/2562.65 c #Conflicts: 823000 | #Constraints: 38374
2555.61/2562.65 c #Conflicts: 824000 | #Constraints: 39374
2555.61/2562.65 c #Conflicts: 825000 | #Constraints: 40374
2555.61/2562.65 c #Conflicts: 826000 | #Constraints: 41374
2555.61/2562.65 c #Conflicts: 827000 | #Constraints: 42374
2555.61/2562.65 c #Conflicts: 828000 | #Constraints: 43374
2555.61/2562.65 c INPROCESSING
2555.61/2562.65 c GARBAGE COLLECT
2555.61/2562.65 c #Conflicts: 829000 | #Constraints: 26393
2555.61/2562.65 c #Conflicts: 830000 | #Constraints: 27393
2555.61/2562.65 c #Conflicts: 831000 | #Constraints: 28393
2555.61/2562.65 c #Conflicts: 832000 | #Constraints: 29393
2555.61/2562.65 c #Conflicts: 833000 | #Constraints: 30393
2555.61/2562.65 c #Conflicts: 834000 | #Constraints: 31393
2555.61/2562.65 c #Conflicts: 835000 | #Constraints: 32393
2555.61/2562.65 c #Conflicts: 836000 | #Constraints: 33393
2555.61/2562.65 c #Conflicts: 837000 | #Constraints: 34393
2555.61/2562.65 c #Conflicts: 838000 | #Constraints: 35393
2555.61/2562.65 c #Conflicts: 839000 | #Constraints: 36393
2555.61/2562.65 c #Conflicts: 840000 | #Constraints: 37393
2555.61/2562.65 c #Conflicts: 841000 | #Constraints: 38393
2555.61/2562.65 c #Conflicts: 842000 | #Constraints: 39393
2555.61/2562.65 c #Conflicts: 843000 | #Constraints: 40393
2555.61/2562.65 c #Conflicts: 844000 | #Constraints: 41393
2555.61/2562.65 c #Conflicts: 845000 | #Constraints: 42393
2555.61/2562.65 c #Conflicts: 846000 | #Constraints: 43393
2555.61/2562.65 c INPROCESSING
2555.61/2562.65 c GARBAGE COLLECT
2555.61/2562.65 c #Conflicts: 847000 | #Constraints: 26268
2555.61/2562.65 c #Conflicts: 848000 | #Constraints: 27268
2555.61/2562.65 c #Conflicts: 849000 | #Constraints: 28268
2555.61/2562.65 c #Conflicts: 850000 | #Constraints: 29268
2555.61/2562.65 c #Conflicts: 851000 | #Constraints: 30268
2555.61/2562.65 c #Conflicts: 852000 | #Constraints: 31268
2555.61/2562.65 c #Conflicts: 853000 | #Constraints: 32268
2555.61/2562.65 c #Conflicts: 854000 | #Constraints: 33268
2555.61/2562.65 c #Conflicts: 855000 | #Constraints: 34268
2555.61/2562.65 c #Conflicts: 856000 | #Constraints: 35268
2555.61/2562.65 c #Conflicts: 857000 | #Constraints: 36268
2555.61/2562.65 c #Conflicts: 858000 | #Constraints: 37268
2555.61/2562.65 c #Conflicts: 859000 | #Constraints: 38268
2555.61/2562.65 c #Conflicts: 860000 | #Constraints: 39268
2555.61/2562.65 c #Conflicts: 861000 | #Constraints: 40268
2555.61/2562.65 c #Conflicts: 862000 | #Constraints: 41268
2555.61/2562.65 c #Conflicts: 863000 | #Constraints: 42268
2555.61/2562.65 c #Conflicts: 864000 | #Constraints: 43268
2555.61/2562.65 c #Conflicts: 865000 | #Constraints: 44268
2555.61/2562.65 c INPROCESSING
2555.61/2562.65 c GARBAGE COLLECT
2555.61/2562.65 c #Conflicts: 866000 | #Constraints: 26824
2555.61/2562.65 c #Conflicts: 867000 | #Constraints: 27824
2555.61/2562.65 c #Conflicts: 868000 | #Constraints: 28824
2555.61/2562.65 c #Conflicts: 869000 | #Constraints: 29824
2555.61/2562.65 c #Conflicts: 870000 | #Constraints: 30824
2555.61/2562.65 c #Conflicts: 871000 | #Constraints: 31824
2555.61/2562.65 c #Conflicts: 872000 | #Constraints: 32824
2555.61/2562.65 c #Conflicts: 873000 | #Constraints: 33824
2555.61/2562.65 c #Conflicts: 874000 | #Constraints: 34824
2555.61/2562.65 c #Conflicts: 875000 | #Constraints: 35824
2555.61/2562.65 c #Conflicts: 876000 | #Constraints: 36824
2555.61/2562.65 c #Conflicts: 877000 | #Constraints: 37824
2555.61/2562.65 c #Conflicts: 878000 | #Constraints: 38824
2555.61/2562.65 c #Conflicts: 879000 | #Constraints: 39824
2555.61/2562.65 c #Conflicts: 880000 | #Constraints: 40824
2555.61/2562.65 c #Conflicts: 881000 | #Constraints: 41824
2555.61/2562.65 c #Conflicts: 882000 | #Constraints: 42824
2555.61/2562.65 c #Conflicts: 883000 | #Constraints: 43824
2555.61/2562.65 c #Conflicts: 884000 | #Constraints: 44824
2555.61/2562.65 c INPROCESSING
2555.61/2562.65 c GARBAGE COLLECT
2555.61/2562.65 c #Conflicts: 885000 | #Constraints: 27192
2555.61/2562.65 c #Conflicts: 886000 | #Constraints: 28192
2555.61/2562.65 c #Conflicts: 887000 | #Constraints: 29192
2555.61/2562.65 c #Conflicts: 888000 | #Constraints: 30192
2555.61/2562.65 c #Conflicts: 889000 | #Constraints: 31192
2555.61/2562.65 c #Conflicts: 890000 | #Constraints: 32192
2555.61/2562.65 c #Conflicts: 891000 | #Constraints: 33192
2555.61/2562.65 c #Conflicts: 892000 | #Constraints: 34192
2983.13/2991.17 c #Conflicts: 893000 | #Constraints: 35192
2983.13/2991.17 c #Conflicts: 894000 | #Constraints: 36192
2983.13/2991.17 c #Conflicts: 895000 | #Constraints: 37192
2983.13/2991.17 c #Conflicts: 896000 | #Constraints: 38192
2983.13/2991.17 c #Conflicts: 897000 | #Constraints: 39192
2983.13/2991.17 c #Conflicts: 898000 | #Constraints: 40192
2983.13/2991.17 c #Conflicts: 899000 | #Constraints: 41192
2983.13/2991.17 c #Conflicts: 900000 | #Constraints: 42192
2983.13/2991.17 c #Conflicts: 901000 | #Constraints: 43192
2983.13/2991.17 c #Conflicts: 902000 | #Constraints: 44192
2983.13/2991.17 c #Conflicts: 903000 | #Constraints: 45192
2983.13/2991.17 c INPROCESSING
2983.13/2991.17 c GARBAGE COLLECT
2983.13/2991.17 c #Conflicts: 904000 | #Constraints: 27385
2983.13/2991.17 c #Conflicts: 905000 | #Constraints: 28385
2983.13/2991.17 c #Conflicts: 906000 | #Constraints: 29385
2983.13/2991.17 c #Conflicts: 907000 | #Constraints: 30385
2983.13/2991.17 c #Conflicts: 908000 | #Constraints: 31385
2983.13/2991.17 c #Conflicts: 909000 | #Constraints: 32385
2983.13/2991.17 c #Conflicts: 910000 | #Constraints: 33385
2983.13/2991.17 c #Conflicts: 911000 | #Constraints: 34385
2983.13/2991.17 c #Conflicts: 912000 | #Constraints: 35385
2983.13/2991.17 c #Conflicts: 913000 | #Constraints: 36385
2983.13/2991.17 c #Conflicts: 914000 | #Constraints: 37385
2983.13/2991.17 c #Conflicts: 915000 | #Constraints: 38385
2983.13/2991.17 c #Conflicts: 916000 | #Constraints: 39385
2983.13/2991.17 c #Conflicts: 917000 | #Constraints: 40385
2983.13/2991.17 c #Conflicts: 918000 | #Constraints: 41385
2983.13/2991.17 c #Conflicts: 919000 | #Constraints: 42385
2983.13/2991.17 c #Conflicts: 920000 | #Constraints: 43385
2983.13/2991.17 c #Conflicts: 921000 | #Constraints: 44385
2983.13/2991.17 c #Conflicts: 922000 | #Constraints: 45385
2983.13/2991.17 c INPROCESSING
2983.13/2991.17 c GARBAGE COLLECT
2983.13/2991.17 c #Conflicts: 923000 | #Constraints: 27405
2983.13/2991.17 c #Conflicts: 924000 | #Constraints: 28405
2983.13/2991.17 c #Conflicts: 925000 | #Constraints: 29405
2983.13/2991.17 c #Conflicts: 926000 | #Constraints: 30405
2983.13/2991.17 c #Conflicts: 927000 | #Constraints: 31405
2983.13/2991.17 c #Conflicts: 928000 | #Constraints: 32405
2983.13/2991.17 c #Conflicts: 929000 | #Constraints: 33405
2983.13/2991.17 c #Conflicts: 930000 | #Constraints: 34405
2983.13/2991.17 c #Conflicts: 931000 | #Constraints: 35405
2983.13/2991.17 c #Conflicts: 932000 | #Constraints: 36405
2983.13/2991.17 c #Conflicts: 933000 | #Constraints: 37405
2983.13/2991.17 c #Conflicts: 934000 | #Constraints: 38405
2983.13/2991.17 c #Conflicts: 935000 | #Constraints: 39405
2983.13/2991.17 c #Conflicts: 936000 | #Constraints: 40405
2983.13/2991.17 c #Conflicts: 937000 | #Constraints: 41405
2983.13/2991.17 c #Conflicts: 938000 | #Constraints: 42405
2983.13/2991.17 c #Conflicts: 939000 | #Constraints: 43405
2983.13/2991.17 c #Conflicts: 940000 | #Constraints: 44405
2983.13/2991.17 c #Conflicts: 941000 | #Constraints: 45405
2983.13/2991.17 c INPROCESSING
2983.13/2991.17 c GARBAGE COLLECT
2983.13/2991.17 c #Conflicts: 942000 | #Constraints: 27232
2983.13/2991.17 c #Conflicts: 943000 | #Constraints: 28232
2983.13/2991.17 c #Conflicts: 944000 | #Constraints: 29232
2983.13/2991.17 c #Conflicts: 945000 | #Constraints: 30232
2983.13/2991.17 c #Conflicts: 946000 | #Constraints: 31232
2983.13/2991.17 c #Conflicts: 947000 | #Constraints: 32232
2983.13/2991.17 c #Conflicts: 948000 | #Constraints: 33232
2983.13/2991.17 c #Conflicts: 949000 | #Constraints: 34232
2983.13/2991.17 c #Conflicts: 950000 | #Constraints: 35232
2983.13/2991.17 c #Conflicts: 951000 | #Constraints: 36232
2983.13/2991.17 c #Conflicts: 952000 | #Constraints: 37232
2983.13/2991.17 c #Conflicts: 953000 | #Constraints: 38232
2983.13/2991.17 c #Conflicts: 954000 | #Constraints: 39232
2983.13/2991.17 c #Conflicts: 955000 | #Constraints: 40232
2983.13/2991.17 c #Conflicts: 956000 | #Constraints: 41232
2983.13/2991.17 c #Conflicts: 957000 | #Constraints: 42232
2983.13/2991.17 c #Conflicts: 958000 | #Constraints: 43232
2983.13/2991.17 c #Conflicts: 959000 | #Constraints: 44232
2983.13/2991.17 c #Conflicts: 960000 | #Constraints: 45232
2983.13/2991.17 c #Conflicts: 961000 | #Constraints: 46232
2983.13/2991.17 c INPROCESSING
2983.13/2991.17 c GARBAGE COLLECT
2983.13/2991.17 c #Conflicts: 962000 | #Constraints: 27816
2983.13/2991.17 c #Conflicts: 963000 | #Constraints: 28816
2983.13/2991.17 c #Conflicts: 964000 | #Constraints: 29816
2983.13/2991.17 c #Conflicts: 965000 | #Constraints: 30816
2983.13/2991.17 c #Conflicts: 966000 | #Constraints: 31816
2983.13/2991.17 c #Conflicts: 967000 | #Constraints: 32816
2983.13/2991.17 c #Conflicts: 968000 | #Constraints: 33816
3419.01/3428.19 c #Conflicts: 969000 | #Constraints: 34816
3419.01/3428.19 c #Conflicts: 970000 | #Constraints: 35816
3419.01/3428.19 c #Conflicts: 971000 | #Constraints: 36816
3419.01/3428.19 c #Conflicts: 972000 | #Constraints: 37816
3419.01/3428.19 c #Conflicts: 973000 | #Constraints: 38816
3419.01/3428.19 c #Conflicts: 974000 | #Constraints: 39816
3419.01/3428.19 c #Conflicts: 975000 | #Constraints: 40816
3419.01/3428.19 c #Conflicts: 976000 | #Constraints: 41816
3419.01/3428.19 c #Conflicts: 977000 | #Constraints: 42816
3419.01/3428.19 c #Conflicts: 978000 | #Constraints: 43816
3419.01/3428.19 c #Conflicts: 979000 | #Constraints: 44816
3419.01/3428.19 c #Conflicts: 980000 | #Constraints: 45816
3419.01/3428.19 c #Conflicts: 981000 | #Constraints: 46816
3419.01/3428.19 c INPROCESSING
3419.01/3428.19 c GARBAGE COLLECT
3419.01/3428.19 c #Conflicts: 982000 | #Constraints: 28247
3419.01/3428.19 c #Conflicts: 983000 | #Constraints: 29247
3419.01/3428.19 c #Conflicts: 984000 | #Constraints: 30247
3419.01/3428.19 c #Conflicts: 985000 | #Constraints: 31247
3419.01/3428.19 c #Conflicts: 986000 | #Constraints: 32247
3419.01/3428.19 c #Conflicts: 987000 | #Constraints: 33247
3419.01/3428.19 c #Conflicts: 988000 | #Constraints: 34247
3419.01/3428.19 c #Conflicts: 989000 | #Constraints: 35247
3419.01/3428.19 c #Conflicts: 990000 | #Constraints: 36247
3419.01/3428.19 c #Conflicts: 991000 | #Constraints: 37247
3419.01/3428.19 c #Conflicts: 992000 | #Constraints: 38247
3419.01/3428.19 c #Conflicts: 993000 | #Constraints: 39247
3419.01/3428.19 c #Conflicts: 994000 | #Constraints: 40247
3419.01/3428.19 c #Conflicts: 995000 | #Constraints: 41247
3419.01/3428.19 c #Conflicts: 996000 | #Constraints: 42247
3419.01/3428.19 c #Conflicts: 997000 | #Constraints: 43247
3419.01/3428.19 c #Conflicts: 998000 | #Constraints: 44247
3419.01/3428.19 c #Conflicts: 999000 | #Constraints: 45247
3419.01/3428.19 c #Conflicts: 1000000 | #Constraints: 46247
3419.01/3428.19 c #Conflicts: 1001000 | #Constraints: 47247
3419.01/3428.19 c INPROCESSING
3419.01/3428.19 c GARBAGE COLLECT
3419.01/3428.19 c #Conflicts: 1002000 | #Constraints: 28429
3419.01/3428.19 c #Conflicts: 1003000 | #Constraints: 29429
3419.01/3428.19 c #Conflicts: 1004000 | #Constraints: 30429
3419.01/3428.19 c #Conflicts: 1005000 | #Constraints: 31429
3419.01/3428.19 c #Conflicts: 1006000 | #Constraints: 32429
3419.01/3428.19 c #Conflicts: 1007000 | #Constraints: 33429
3419.01/3428.19 c #Conflicts: 1008000 | #Constraints: 34429
3419.01/3428.19 c #Conflicts: 1009000 | #Constraints: 35429
3419.01/3428.19 c #Conflicts: 1010000 | #Constraints: 36429
3419.01/3428.19 c #Conflicts: 1011000 | #Constraints: 37429
3419.01/3428.19 c #Conflicts: 1012000 | #Constraints: 38429
3419.01/3428.19 c #Conflicts: 1013000 | #Constraints: 39429
3419.01/3428.19 c #Conflicts: 1014000 | #Constraints: 40429
3419.01/3428.19 c #Conflicts: 1015000 | #Constraints: 41429
3419.01/3428.19 c #Conflicts: 1016000 | #Constraints: 42429
3419.01/3428.19 c #Conflicts: 1017000 | #Constraints: 43429
3419.01/3428.19 c #Conflicts: 1018000 | #Constraints: 44429
3419.01/3428.19 c #Conflicts: 1019000 | #Constraints: 45429
3419.01/3428.19 c #Conflicts: 1020000 | #Constraints: 46429
3419.01/3428.19 c #Conflicts: 1021000 | #Constraints: 47429
3419.01/3428.19 c INPROCESSING
3419.01/3428.19 c GARBAGE COLLECT
3419.01/3428.19 c #Conflicts: 1022000 | #Constraints: 28406
3419.01/3428.19 c #Conflicts: 1023000 | #Constraints: 29406
3419.01/3428.19 c #Conflicts: 1024000 | #Constraints: 30406
3419.01/3428.19 c #Conflicts: 1025000 | #Constraints: 31406
3419.01/3428.19 c #Conflicts: 1026000 | #Constraints: 32406
3419.01/3428.19 c #Conflicts: 1027000 | #Constraints: 33406
3419.01/3428.19 c #Conflicts: 1028000 | #Constraints: 34406
3419.01/3428.19 c #Conflicts: 1029000 | #Constraints: 35406
3419.01/3428.19 c #Conflicts: 1030000 | #Constraints: 36406
3419.01/3428.19 c #Conflicts: 1031000 | #Constraints: 37406
3419.01/3428.19 c #Conflicts: 1032000 | #Constraints: 38406
3419.01/3428.19 c #Conflicts: 1033000 | #Constraints: 39406
3419.01/3428.19 c #Conflicts: 1034000 | #Constraints: 40406
3419.01/3428.19 c #Conflicts: 1035000 | #Constraints: 41406
3419.01/3428.19 c #Conflicts: 1036000 | #Constraints: 42406
3419.01/3428.19 c #Conflicts: 1037000 | #Constraints: 43406
3419.01/3428.19 c #Conflicts: 1038000 | #Constraints: 44406
3419.01/3428.19 c #Conflicts: 1039000 | #Constraints: 45406
3419.01/3428.19 c #Conflicts: 1040000 | #Constraints: 46406
3419.01/3428.19 c #Conflicts: 1041000 | #Constraints: 47406
3419.01/3428.19 c INPROCESSING
3419.01/3428.19 c GARBAGE COLLECT
3419.01/3428.19 c #Conflicts: 1042000 | #Constraints: 28221
3419.01/3428.19 c #Conflicts: 1043000 | #Constraints: 29221
3419.01/3428.19 c #Conflicts: 1044000 | #Constraints: 30221
3600.02/3609.50 c #Conflicts: 1045000 | #Constraints: 31221
3600.02/3609.50 c #Conflicts: 1046000 | #Constraints: 32221
3600.02/3609.50 c #Conflicts: 1047000 | #Constraints: 33221
3600.02/3609.50 c #Conflicts: 1048000 | #Constraints: 34221
3600.02/3609.50 c #Conflicts: 1049000 | #Constraints: 35221
3600.02/3609.50 c #Conflicts: 1050000 | #Constraints: 36221
3600.02/3609.50 c #Conflicts: 1051000 | #Constraints: 37221
3600.02/3609.50 c #Conflicts: 1052000 | #Constraints: 38221
3600.02/3609.50 c #Conflicts: 1053000 | #Constraints: 39221
3600.02/3609.50 c #Conflicts: 1054000 | #Constraints: 40221
3600.02/3609.50 c #Conflicts: 1055000 | #Constraints: 41221
3600.02/3609.50 c #Conflicts: 1056000 | #Constraints: 42221
3600.02/3609.50 c #Conflicts: 1057000 | #Constraints: 43221
3600.02/3609.50 c #Conflicts: 1058000 | #Constraints: 44221
3600.02/3609.50 c #Conflicts: 1059000 | #Constraints: 45221
3600.02/3609.50 c #Conflicts: 1060000 | #Constraints: 46221
3600.02/3609.50 c #Conflicts: 1061000 | #Constraints: 47221
3600.02/3609.50 c #Conflicts: 1062000 | #Constraints: 48221
3600.02/3609.50 c INPROCESSING
3600.02/3609.50 c GARBAGE COLLECT
3600.02/3609.50 c #Conflicts: 1063000 | #Constraints: 28805
3600.02/3609.50 c #Conflicts: 1064000 | #Constraints: 29805
3600.02/3609.50 c #Conflicts: 1065000 | #Constraints: 30805
3600.02/3609.50 c #Conflicts: 1066000 | #Constraints: 31805
3600.02/3609.50 c #Conflicts: 1067000 | #Constraints: 32805
3600.02/3609.50 c #Conflicts: 1068000 | #Constraints: 33805
3600.02/3609.50 c #Conflicts: 1069000 | #Constraints: 34805
3600.02/3609.50 c #Conflicts: 1070000 | #Constraints: 35805
3600.02/3609.50 c #Conflicts: 1071000 | #Constraints: 36805
3600.02/3609.50 c #Conflicts: 1072000 | #Constraints: 37805
3600.02/3609.50 c #Conflicts: 1073000 | #Constraints: 38805
3600.02/3609.50 c #Conflicts: 1074000 | #Constraints: 39805
3600.02/3609.50 c #Conflicts: 1075000 | #Constraints: 40805
3600.02/3609.50 c #Conflicts: 1076000 | #Constraints: 41805
3600.02/3609.50 c Program interrupted by user.
3600.02/3609.50 c cpu time 3573.43 s
3600.02/3609.50 c deterministic time 340620314897 3.41e+11
3600.02/3609.50 c optimization time 66.7181 s
3600.02/3609.50 c total solve time 3506.66 s
3600.02/3609.50 c core-guided solve time 3506.66 s
3600.02/3609.50 c propagation time 2374.11 s
3600.02/3609.50 c conflict analysis time 1106.18 s
3600.02/3609.50 c propagations 831218545
3600.02/3609.50 c resolve steps 22193479
3600.02/3609.50 c decisions 25938239
3600.02/3609.50 c conflicts 1076680
3600.02/3609.50 c restarts 2046
3600.02/3609.50 c inprocessing phases 94
3600.02/3609.50 c input clauses 8582
3600.02/3609.50 c input cardinalities 0
3600.02/3609.50 c input general constraints 1
3600.02/3609.50 c input average constraint length 2.79
3600.02/3609.50 c input average constraint degree 348.23
3600.02/3609.50 c learned clauses 517308
3600.02/3609.50 c learned cardinalities 66
3600.02/3609.50 c learned general constraints 559306
3600.02/3609.50 c learned average constraint length 981.91
3600.02/3609.50 c learned average constraint degree 24697572.63
3600.02/3609.50 c watched constraints 120507
3600.02/3609.50 c counting constraints 438800
3600.02/3609.50 c gcd simplifications 30592
3600.02/3609.50 c detected cardinalities 24
3600.02/3609.50 c weakened non-implied lits 545382305
3600.02/3609.50 c weakened non-implying lits 25667
3600.02/3609.50 c original variables 3945
3600.02/3609.50 c clausal propagations 351942745
3600.02/3609.50 c cardinality propagations 93
3600.02/3609.50 c watched propagations 5286611
3600.02/3609.50 c counting propagations 468207470
3600.02/3609.50 c watch lookups 77994906073
3600.02/3609.50 c watch backjump lookups 77007188856
3600.02/3609.50 c watch checks 119853348273
3600.02/3609.50 c propagation checks 60615094029
3600.02/3609.50 c constraint additions 3434388646
3600.02/3609.50 c trail pops 858232235
3600.02/3609.50 c formula constraints 8582
3600.02/3609.50 c learned constraints 1076680
3600.02/3609.50 c bound constraints 1
3600.02/3609.50 c core-guided constraints 0
3600.02/3609.50 c encountered formula constraints 19879829
3600.02/3609.50 c encountered learned constraints 3389656
3600.02/3609.50 c encountered bound constraints 674
3600.02/3609.50 c encountered core-guided constraints 0
3600.02/3609.50 c LP total time 0 s
3600.02/3609.50 c LP solve time 0 s
3600.02/3609.50 c LP constraints added 0
3600.02/3609.50 c LP constraints removed 0
3600.02/3609.50 c LP pivots internal 0
3600.02/3609.50 c LP pivots root 0
3600.02/3609.50 c LP calls 0
3600.02/3609.50 c LP optimalities 0
3600.02/3609.50 c LP no pivot count 0
3600.02/3609.50 c LP infeasibilities 0
3600.02/3609.50 c LP valid Farkas constraints 0
3600.02/3609.50 c LP learned Farkas constraints 0
3600.02/3609.50 c LP basis resets 0
3600.02/3609.50 c LP cycling count 0
3600.02/3609.50 c LP singular count 0
3600.02/3609.50 c LP no primal count 0
3600.02/3609.50 c LP no farkas count 0
3600.02/3609.50 c LP other issue count 0
3600.02/3609.50 c LP Gomory cuts 0
3600.02/3609.50 c LP learned cuts 0
3600.02/3609.50 c LP deleted cuts 0
3600.02/3609.50 c LP encountered Gomory constraints 0
3600.02/3609.50 c LP encountered Farkas constraints 0
3600.02/3609.50 c LP encountered learned Farkas constraints 0
3600.02/3609.50 c CG auxiliary variables introduced 0
3600.02/3609.50 c CG solutions found 1
3600.02/3609.50 c CG cores constructed 0
3600.02/3609.50 c CG core cardinality constraints returned 0
3600.02/3609.50 c CG unit cores 0
3600.02/3609.50 c CG single cores 0
3600.02/3609.50 c CG blocks removed during cardinality reduction 0
3600.02/3609.50 c CG first core best 0
3600.02/3609.50 c CG decision core best 0
3600.02/3609.50 c CG core reduction tie 0
3600.02/3609.50 c CG core degree average 0.00
3600.02/3609.50 c CG core slack average 0.00
3600.02/3609.50 c CG exhausted 0
3600.02/3609.50 c CG exhaust time 0 s
3600.02/3609.50 c CG trimmed 0
3600.02/3609.50 c CG trim time 0 s
3600.02/3609.50 c CG minimized 0
3600.02/3609.50 c CG minimize time 0 s
3600.02/3609.50 c CG am1 prop time 5.4e-05 s
3600.02/3609.50 c CG # am1s reformulated 0
3600.02/3609.50 c CG lower bound derived from am1s 0
3600.02/3609.50 c CG # clausal cores 0
3600.02/3609.50 c CG # cardinality cores 0
3600.02/3609.50 c CG # pb cores 0
3600.02/3609.50 c CG # pb reforms 0
3600.02/3609.50 c CG # cores discarded because of pb reform 0
3600.02/3609.50 d LOWERBOUND 2802
3600.02/3609.50 d NCORES 0
3600.02/3609.50 d NPBCORES 0
3600.02/3609.50 d NPBREFORM 0
3600.02/3609.50 d NTRIMMED 0
3600.02/3609.50 d NEXHAUSTED 0
3600.02/3609.50 d NAM1S 0
3600.02/3609.50 d AM1LB 0
3600.02/3609.50 o 55914
3600.02/3609.50 s SATISFIABLE
3600.02/3609.50 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: 63837 MiB (60589 MiB free)
memory of node 1: 64465 MiB (63597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497188-1751391658/watcher-4497188-1751391658 -o /tmp/evaluation-result-4497188-1751391658/solver-4497188-1751391658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4497188-1751391658.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=50359, runsolver pid=50356
[startup+0.100069 s]*
/proc/loadavg: 4.31 4.29 4.19 5/250 50360
/proc/meminfo: memFree=127167476/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=21488 memory=7424 CPUtime=0.09 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 823 0 0 0 7 2 0 0 20 0 1 0 54844593 22003712 1856 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 5372 1856 1312 243 0 1621 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21488 KiB
Current children cumulated memory: 7424 KiB
[startup+0.213278 s]*
/proc/loadavg: 4.31 4.29 4.19 5/250 50360
/proc/meminfo: memFree=127167476/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=21764 memory=7936 CPUtime=0.21 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 931 0 0 0 18 3 0 0 20 0 1 0 54844593 22286336 1984 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 5441 1984 1312 243 0 1690 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21764 KiB
Current children cumulated memory: 7936 KiB
[startup+0.313238 s]*
/proc/loadavg: 4.31 4.29 4.19 5/250 50360
/proc/meminfo: memFree=127167476/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=22536 memory=9216 CPUtime=0.31 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 1275 0 0 0 27 4 0 0 20 0 1 0 54844593 23076864 2304 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 5634 2304 1312 243 0 1883 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22536 KiB
Current children cumulated memory: 9216 KiB
[startup+0.700329 s]
/proc/loadavg: 4.31 4.29 4.19 5/250 50360
/proc/meminfo: memFree=127167476/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=25272 memory=14052 CPUtime=0.67 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 1964 0 0 0 62 5 0 0 20 0 1 0 54844593 25878528 3513 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 6318 3513 1312 243 0 2567 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 25272 KiB
Current children cumulated memory: 14052 KiB
[startup+1.50031 s]
/proc/loadavg: 4.31 4.29 4.19 5/250 50360
/proc/meminfo: memFree=127167748/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=43148 memory=30984 CPUtime=1.47 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 5690 0 0 0 139 8 0 0 20 0 1 0 54844593 44183552 7746 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 10787 7746 1312 243 0 7036 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43148 KiB
Current children cumulated memory: 30984 KiB
[startup+3.11296 s]
/proc/loadavg: 4.31 4.29 4.19 5/250 50360
/proc/meminfo: memFree=127148092/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=62336 memory=49752 CPUtime=3.08 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 8842 0 0 0 293 15 0 0 20 0 1 0 54844593 63832064 12438 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 15584 12438 1312 243 0 11833 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 62336 KiB
Current children cumulated memory: 49752 KiB
[startup+6.30033 s]
/proc/loadavg: 4.29 4.28 4.18 5/250 50360
/proc/meminfo: memFree=127124136/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=85252 memory=66012 CPUtime=6.26 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 11902 0 0 0 603 23 0 0 20 0 1 0 54844593 87298048 16503 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 21313 16503 1312 243 0 17562 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 85252 KiB
Current children cumulated memory: 66012 KiB
[startup+12.7003 s]
/proc/loadavg: 4.26 4.28 4.18 5/250 50360
/proc/meminfo: memFree=127096936/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=102316 memory=85568 CPUtime=12.65 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 15294 0 0 0 1226 39 0 0 20 0 1 0 54844593 104771584 21392 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 25579 21392 1312 243 0 21828 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 102316 KiB
Current children cumulated memory: 85568 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.26 4.18 5/250 50360
/proc/meminfo: memFree=127085916/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=104200 memory=87488 CPUtime=25.41 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 15927 0 0 0 2455 86 0 0 20 0 1 0 54844593 106700800 21872 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 26050 21872 1312 243 0 22299 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 104200 KiB
Current children cumulated memory: 87488 KiB
[startup+51.1133 s]
/proc/loadavg: 4.20 4.26 4.18 5/250 50360
/proc/meminfo: memFree=127022840/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=131312 memory=110356 CPUtime=50.96 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 19360 0 0 0 4951 145 0 0 20 0 1 0 54844593 134463488 27589 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 32828 27589 1312 243 0 29077 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 131312 KiB
Current children cumulated memory: 110356 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.23 4.18 5/250 50362
/proc/meminfo: memFree=126930604/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=192236 memory=148092 CPUtime=102.01 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 25423 0 0 0 9968 233 0 0 20 0 1 0 54844593 196849664 37023 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 48059 37023 1312 243 0 44308 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 192236 KiB
Current children cumulated memory: 148092 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/251 50365
/proc/meminfo: memFree=126871184/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=201332 memory=155644 CPUtime=161.86 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 27485 0 0 0 15859 327 0 0 20 0 1 0 54844593 206163968 38911 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 50333 38911 1312 243 0 46582 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 201332 KiB
Current children cumulated memory: 155644 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.18 4.16 5/251 50367
/proc/meminfo: memFree=126693396/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=219392 memory=181088 CPUtime=221.7 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 31927 0 0 0 21753 417 0 0 20 0 1 0 54844593 224657408 45272 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 54848 45272 1312 243 0 51097 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 219392 KiB
Current children cumulated memory: 181088 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/251 50369
/proc/meminfo: memFree=126588868/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=287284 memory=228780 CPUtime=281.55 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 38364 0 0 0 27650 505 0 0 20 0 1 0 54844593 294178816 57195 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 71821 57195 1312 243 0 68070 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 287284 KiB
Current children cumulated memory: 228780 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/251 50371
/proc/meminfo: memFree=126544260/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=288632 memory=230060 CPUtime=341.39 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 38747 0 0 0 33546 593 0 0 20 0 1 0 54844593 295559168 57515 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 72158 57515 1312 243 0 68407 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 288632 KiB
Current children cumulated memory: 230060 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/251 50373
/proc/meminfo: memFree=126486496/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=288528 memory=230020 CPUtime=401.24 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 38883 0 0 0 39436 688 0 0 20 0 1 0 54844593 295452672 57505 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 72132 57505 1312 243 0 68381 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 288528 KiB
Current children cumulated memory: 230020 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.12 4.14 5/249 50377
/proc/meminfo: memFree=126447008/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=292368 memory=232708 CPUtime=461.08 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 39661 0 0 0 45350 758 0 0 20 0 1 0 54844593 299384832 58177 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 73092 58177 1312 243 0 69341 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
Current children cumulated memory: 461964 KiB
[startup+2922.3 s]
/proc/loadavg: 2.12 2.68 3.28 3/238 50747
/proc/meminfo: memFree=129302220/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=501308 memory=472504 CPUtime=2914.47 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 65675 0 0 0 289016 2431 0 0 20 0 1 0 54844593 513339392 118126 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 125327 118126 1312 243 0 121576 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 501308 KiB
Current children cumulated memory: 472504 KiB
[startup+2982.3 s]
/proc/loadavg: 2.14 2.58 3.20 3/238 50749
/proc/meminfo: memFree=129228136/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=661540 memory=525252 CPUtime=2974.34 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 70815 0 0 0 294982 2452 0 0 20 0 1 0 54844593 677416960 131313 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 165385 131313 1312 243 0 161634 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 661540 KiB
Current children cumulated memory: 525252 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.49 3.13 3/238 50756
/proc/meminfo: memFree=129229428/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=669608 memory=529988 CPUtime=3034.18 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 72018 0 0 0 300943 2475 0 0 20 0 1 0 54844593 685678592 132497 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 167402 132497 1312 243 0 163651 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 669608 KiB
Current children cumulated memory: 529988 KiB
[startup+3102.3 s]
/proc/loadavg: 2.15 2.43 3.07 3/238 50758
/proc/meminfo: memFree=129203060/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=687528 memory=556952 CPUtime=3094 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 75178 0 0 0 306918 2482 0 0 20 0 1 0 54844593 704028672 139238 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 171882 139238 1312 243 0 168131 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 687528 KiB
Current children cumulated memory: 556952 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.36 3.00 3/239 50761
/proc/meminfo: memFree=129181384/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=694696 memory=576756 CPUtime=3153.84 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 76668 0 0 0 312880 2504 0 0 20 0 1 0 54844593 711368704 144189 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 173674 144189 1312 243 0 169923 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 694696 KiB
Current children cumulated memory: 576756 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.31 2.94 3/239 50763
/proc/meminfo: memFree=129179384/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=696232 memory=577740 CPUtime=3213.67 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 77044 0 0 0 318845 2522 0 0 20 0 1 0 54844593 712941568 144435 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 174058 144435 1312 243 0 170307 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 696232 KiB
Current children cumulated memory: 577740 KiB
[startup+3282.3 s]
/proc/loadavg: 2.13 2.28 2.89 3/239 50765
/proc/meminfo: memFree=129180160/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=696232 memory=577740 CPUtime=3273.51 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 77128 0 0 0 324809 2542 0 0 20 0 1 0 54844593 712941568 144435 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 174058 144435 1312 243 0 170307 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 696232 KiB
Current children cumulated memory: 577740 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.24 2.84 3/239 50767
/proc/meminfo: memFree=129124652/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=699052 memory=603852 CPUtime=3333.36 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 77567 0 0 0 330784 2552 0 0 20 0 1 0 54844593 715829248 150963 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 174763 150963 1312 243 0 171012 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 699052 KiB
Current children cumulated memory: 603852 KiB
[startup+3402.3 s]
/proc/loadavg: 2.23 2.25 2.80 3/239 50769
/proc/meminfo: memFree=129125424/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=699308 memory=604136 CPUtime=3393.25 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 77748 0 0 0 336751 2574 0 0 20 0 1 0 54844593 716091392 151034 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 174827 151034 1312 243 0 171076 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 699308 KiB
Current children cumulated memory: 604136 KiB
[startup+3462.3 s]
/proc/loadavg: 1.92 2.16 2.74 2/233 50801
/proc/meminfo: memFree=129484612/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=699308 memory=604136 CPUtime=3453.12 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 77879 0 0 0 342709 2603 0 0 20 0 1 0 54844593 716091392 151034 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 174827 151034 1312 243 0 171076 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 699308 KiB
Current children cumulated memory: 604136 KiB
[startup+3522.3 s]
/proc/loadavg: 1.34 1.95 2.63 2/232 50803
/proc/meminfo: memFree=129484900/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=701356 memory=605160 CPUtime=3513 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 78143 0 0 0 348672 2628 0 0 20 0 1 0 54844593 718188544 151290 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 175339 151290 1312 243 0 171588 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 701356 KiB
Current children cumulated memory: 605160 KiB
[startup+3582.3 s]
/proc/loadavg: 1.22 1.81 2.53 2/231 50807
/proc/meminfo: memFree=129482396/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=704916 memory=607336 CPUtime=3572.87 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 78706 0 0 0 354638 2649 0 0 20 0 1 0 54844593 721833984 151834 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 176229 151834 1312 243 0 172478 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 704916 KiB
Current children cumulated memory: 607336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 1.15 1.74 2.49 2/231 50807
/proc/meminfo: memFree=129482396/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=704916 memory=607336 CPUtime=3600.02 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 78706 0 0 0 357343 2659 0 0 20 0 1 0 54844593 721833984 151834 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 176229 151834 1312 243 0 172478 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 704916 KiB
Current children cumulated memory: 607336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 50359 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.44 s, system=26.5946 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 1.15 1.74 2.49 2/231 50807
/proc/meminfo: memFree=129482396/131382120 swapFree=33010416/33010684
[pid=50359] ppid=50356 vsize=704916 memory=607336 CPUtime=3600.02 cores=4,6
/proc/50359/stat : 50359 (pb-oll-rs) R 50356 50359 48617 0 -1 4194304 78706 0 0 0 357343 2659 0 0 20 0 1 0 54844593 721833984 151834 18446744073709551615 4218880 5211445 140722098927216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9084928 140722098936220 140722098936297 140722098936297 140722098941899 0
/proc/50359/statm: 176229 151834 1312 243 0 172478 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 704916 KiB
Current children cumulated memory: 607336 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.03
CPU user time (s): 3573.44
CPU system time (s): 26.5946
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 704916
Max. memory (cumulated for all children) (KiB): 607336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.44
system time used= 26.5946
maximum resident set size= 607720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78722
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= 209
involuntary context switches= 2388
# summary of solver processes directly reported to runsolver:
# pid: 50359
# total CPU time (s): 3600.03
# total CPU user time (s): 3573.44
# total CPU system time (s): 26.5946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7644 second user time and 35.9494 second system time
The end
Begin job on nodeC002 at 2025-07-01 19:40:58
IDJOB=4497188
IDBENCH=148155
IDSOLVER=3345
FILE ID=nodeC002/4497188-1751391658
RUNJOBID= nodeC002-1751383217-48628
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4497188-1751391658/watcher-4497188-1751391658 -o /tmp/evaluation-result-4497188-1751391658/solver-4497188-1751391658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4497188-1751391658.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=308878686
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3491.908
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.576
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.800
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.231
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3591.675
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.405
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 1196.985
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127167412 kB
MemAvailable: 126961332 kB
Buffers: 2128 kB
Cached: 602860 kB
SwapCached: 28 kB
Active: 3344760 kB
Inactive: 300276 kB
Active(anon): 3051580 kB
Inactive(anon): 6404 kB
Active(file): 293180 kB
Inactive(file): 293872 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1912 kB
Writeback: 0 kB
AnonPages: 3043140 kB
Mapped: 106856 kB
Shmem: 17932 kB
KReclaimable: 92992 kB
Slab: 176336 kB
SReclaimable: 92992 kB
SUnreclaim: 83344 kB
KernelStack: 4048 kB
PageTables: 9600 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4287660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1402880 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433060 MiB
End job on nodeC002 at 2025-07-01 20:41:08