0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 435 #constraints 501
0.00/0.01 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.003024
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.003251
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.004038
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.00437
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.007474
0.00/0.03 c GLOBAL bounds - >= -282 @ 0.011419
0.00/0.03 c GLOBAL bounds - >= -282 @ 0.016394
0.00/0.05 c GLOBAL bounds - >= -282 @ 0.030586
0.00/0.05 c GLOBAL bounds - >= -282 @ 0.031352
0.00/0.05 c GLOBAL bounds - >= -282 @ 0.032864
0.00/0.05 c GLOBAL bounds - >= -282 @ 0.037002
0.00/0.06 c GLOBAL bounds - >= -282 @ 0.040343
0.00/0.06 c GLOBAL bounds - >= -282 @ 0.045528
0.00/0.06 c GLOBAL bounds - >= -282 @ 0.04802
0.00/0.07 c GLOBAL bounds - >= -282 @ 0.050275
0.00/0.07 c GLOBAL bounds - >= -282 @ 0.052313
0.00/0.10 c GLOBAL bounds - >= -282 @ 0.081691
0.08/0.11 c GLOBAL bounds - >= -282 @ 0.091076
0.08/0.11 c GLOBAL bounds - >= -282 @ 0.097652
0.08/0.12 c GLOBAL bounds - >= -282 @ 0.100158
0.08/0.14 c GLOBAL bounds - >= -282 @ 0.119668
20.12/20.21 c #Conflicts: 1000 | #Constraints: 1539
20.12/20.21 c #Conflicts: 2000 | #Constraints: 2539
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 3000 | #Constraints: 2556
20.12/20.21 c #Conflicts: 4000 | #Constraints: 3556
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 5000 | #Constraints: 2964
20.12/20.21 c #Conflicts: 6000 | #Constraints: 3964
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 7000 | #Constraints: 2968
20.12/20.21 c #Conflicts: 8000 | #Constraints: 3968
20.12/20.21 c #Conflicts: 9000 | #Constraints: 4968
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 10000 | #Constraints: 3670
20.12/20.21 c #Conflicts: 11000 | #Constraints: 4670
20.12/20.21 c #Conflicts: 12000 | #Constraints: 5670
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 13000 | #Constraints: 4122
20.12/20.21 c #Conflicts: 14000 | #Constraints: 5122
20.12/20.21 c #Conflicts: 15000 | #Constraints: 6122
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 16000 | #Constraints: 4354
20.12/20.21 c #Conflicts: 17000 | #Constraints: 5354
20.12/20.21 c #Conflicts: 18000 | #Constraints: 6354
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 19000 | #Constraints: 4373
20.12/20.21 c #Conflicts: 20000 | #Constraints: 5373
20.12/20.21 c #Conflicts: 21000 | #Constraints: 6373
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 22000 | #Constraints: 4175
20.12/20.21 c #Conflicts: 23000 | #Constraints: 5175
20.12/20.21 c #Conflicts: 24000 | #Constraints: 6175
20.12/20.21 c #Conflicts: 25000 | #Constraints: 7175
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 26000 | #Constraints: 4783
20.12/20.21 c #Conflicts: 27000 | #Constraints: 5783
20.12/20.21 c #Conflicts: 28000 | #Constraints: 6783
20.12/20.21 c #Conflicts: 29000 | #Constraints: 7783
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 30000 | #Constraints: 5184
20.12/20.21 c #Conflicts: 31000 | #Constraints: 6184
20.12/20.21 c #Conflicts: 32000 | #Constraints: 7184
20.12/20.21 c #Conflicts: 33000 | #Constraints: 8184
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 34000 | #Constraints: 5385
20.12/20.21 c #Conflicts: 35000 | #Constraints: 6385
20.12/20.21 c #Conflicts: 36000 | #Constraints: 7385
20.12/20.21 c #Conflicts: 37000 | #Constraints: 8385
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 38000 | #Constraints: 5387
20.12/20.21 c #Conflicts: 39000 | #Constraints: 6387
20.12/20.21 c #Conflicts: 40000 | #Constraints: 7387
20.12/20.21 c #Conflicts: 41000 | #Constraints: 8387
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 42000 | #Constraints: 5191
20.12/20.21 c #Conflicts: 43000 | #Constraints: 6191
20.12/20.21 c #Conflicts: 44000 | #Constraints: 7191
20.12/20.21 c #Conflicts: 45000 | #Constraints: 8191
20.12/20.21 c #Conflicts: 46000 | #Constraints: 9191
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 47000 | #Constraints: 5786
20.12/20.21 c #Conflicts: 48000 | #Constraints: 6786
20.12/20.21 c #Conflicts: 49000 | #Constraints: 7786
20.12/20.21 c #Conflicts: 50000 | #Constraints: 8786
20.12/20.21 c #Conflicts: 51000 | #Constraints: 9786
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 52000 | #Constraints: 6195
20.12/20.21 c #Conflicts: 53000 | #Constraints: 7195
20.12/20.21 c #Conflicts: 54000 | #Constraints: 8195
20.12/20.21 c #Conflicts: 55000 | #Constraints: 9195
20.12/20.21 c #Conflicts: 56000 | #Constraints: 10195
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 57000 | #Constraints: 6394
20.12/20.21 c #Conflicts: 58000 | #Constraints: 7394
20.12/20.21 c #Conflicts: 59000 | #Constraints: 8394
20.12/20.21 c #Conflicts: 60000 | #Constraints: 9394
20.12/20.21 c #Conflicts: 61000 | #Constraints: 10394
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 62000 | #Constraints: 6393
20.12/20.21 c #Conflicts: 63000 | #Constraints: 7393
20.12/20.21 c #Conflicts: 64000 | #Constraints: 8393
20.12/20.21 c #Conflicts: 65000 | #Constraints: 9393
20.12/20.21 c #Conflicts: 66000 | #Constraints: 10393
20.12/20.21 c INPROCESSING
20.12/20.21 c GARBAGE COLLECT
20.12/20.21 c #Conflicts: 67000 | #Constraints: 6194
20.12/20.21 c #Conflicts: 68000 | #Constraints: 7194
55.22/55.49 c #Conflicts: 69000 | #Constraints: 8194
55.22/55.49 c #Conflicts: 70000 | #Constraints: 9194
55.22/55.49 c #Conflicts: 71000 | #Constraints: 10194
55.22/55.49 c #Conflicts: 72000 | #Constraints: 11194
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 73000 | #Constraints: 6788
55.22/55.49 c #Conflicts: 74000 | #Constraints: 7788
55.22/55.49 c #Conflicts: 75000 | #Constraints: 8788
55.22/55.49 c #Conflicts: 76000 | #Constraints: 9788
55.22/55.49 c #Conflicts: 77000 | #Constraints: 10788
55.22/55.49 c #Conflicts: 78000 | #Constraints: 11788
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 79000 | #Constraints: 7187
55.22/55.49 c #Conflicts: 80000 | #Constraints: 8187
55.22/55.49 c #Conflicts: 81000 | #Constraints: 9187
55.22/55.49 c #Conflicts: 82000 | #Constraints: 10187
55.22/55.49 c #Conflicts: 83000 | #Constraints: 11187
55.22/55.49 c #Conflicts: 84000 | #Constraints: 12187
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 85000 | #Constraints: 7392
55.22/55.49 c #Conflicts: 86000 | #Constraints: 8392
55.22/55.49 c #Conflicts: 87000 | #Constraints: 9392
55.22/55.49 c #Conflicts: 88000 | #Constraints: 10392
55.22/55.49 c #Conflicts: 89000 | #Constraints: 11392
55.22/55.49 c #Conflicts: 90000 | #Constraints: 12392
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 91000 | #Constraints: 7394
55.22/55.49 c #Conflicts: 92000 | #Constraints: 8394
55.22/55.49 c #Conflicts: 93000 | #Constraints: 9394
55.22/55.49 c #Conflicts: 94000 | #Constraints: 10394
55.22/55.49 c #Conflicts: 95000 | #Constraints: 11394
55.22/55.49 c #Conflicts: 96000 | #Constraints: 12394
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 97000 | #Constraints: 7201
55.22/55.49 c #Conflicts: 98000 | #Constraints: 8201
55.22/55.49 c #Conflicts: 99000 | #Constraints: 9201
55.22/55.49 c #Conflicts: 100000 | #Constraints: 10201
55.22/55.49 c #Conflicts: 101000 | #Constraints: 11201
55.22/55.49 c #Conflicts: 102000 | #Constraints: 12201
55.22/55.49 c #Conflicts: 103000 | #Constraints: 13201
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 104000 | #Constraints: 7798
55.22/55.49 c #Conflicts: 105000 | #Constraints: 8798
55.22/55.49 c #Conflicts: 106000 | #Constraints: 9798
55.22/55.49 c #Conflicts: 107000 | #Constraints: 10798
55.22/55.49 c #Conflicts: 108000 | #Constraints: 11798
55.22/55.49 c #Conflicts: 109000 | #Constraints: 12798
55.22/55.49 c #Conflicts: 110000 | #Constraints: 13798
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 111000 | #Constraints: 8201
55.22/55.49 c #Conflicts: 112000 | #Constraints: 9201
55.22/55.49 c #Conflicts: 113000 | #Constraints: 10201
55.22/55.49 c #Conflicts: 114000 | #Constraints: 11201
55.22/55.49 c #Conflicts: 115000 | #Constraints: 12201
55.22/55.49 c #Conflicts: 116000 | #Constraints: 13201
55.22/55.49 c #Conflicts: 117000 | #Constraints: 14201
55.22/55.49 c INPROCESSING
55.22/55.49 c GARBAGE COLLECT
55.22/55.49 c #Conflicts: 118000 | #Constraints: 8392
55.22/55.49 c #Conflicts: 119000 | #Constraints: 9392
55.22/55.49 c #Conflicts: 120000 | #Constraints: 10392
55.22/55.49 c #Conflicts: 121000 | #Constraints: 11392
55.22/55.49 c #Conflicts: 122000 | #Constraints: 12392
55.22/55.50 c #Conflicts: 123000 | #Constraints: 13392
55.22/55.50 c #Conflicts: 124000 | #Constraints: 14392
55.22/55.50 c INPROCESSING
55.22/55.50 c GARBAGE COLLECT
55.22/55.50 c #Conflicts: 125000 | #Constraints: 8390
55.22/55.50 c #Conflicts: 126000 | #Constraints: 9390
55.22/55.50 c #Conflicts: 127000 | #Constraints: 10390
55.22/55.50 c #Conflicts: 128000 | #Constraints: 11390
55.22/55.50 c #Conflicts: 129000 | #Constraints: 12390
55.22/55.50 c #Conflicts: 130000 | #Constraints: 13390
55.22/55.50 c #Conflicts: 131000 | #Constraints: 14390
55.22/55.50 c INPROCESSING
55.22/55.50 c GARBAGE COLLECT
55.22/55.50 c #Conflicts: 132000 | #Constraints: 8186
55.22/55.50 c #Conflicts: 133000 | #Constraints: 9186
55.22/55.50 c #Conflicts: 134000 | #Constraints: 10186
55.22/55.50 c #Conflicts: 135000 | #Constraints: 11186
55.22/55.50 c #Conflicts: 136000 | #Constraints: 12186
55.22/55.50 c #Conflicts: 137000 | #Constraints: 13186
55.22/55.50 c #Conflicts: 138000 | #Constraints: 14186
55.22/55.50 c #Conflicts: 139000 | #Constraints: 15186
55.22/55.50 c INPROCESSING
55.22/55.50 c GARBAGE COLLECT
55.22/55.50 c #Conflicts: 140000 | #Constraints: 8788
96.31/96.60 c #Conflicts: 141000 | #Constraints: 9788
96.31/96.60 c #Conflicts: 142000 | #Constraints: 10788
96.31/96.60 c #Conflicts: 143000 | #Constraints: 11788
96.31/96.60 c #Conflicts: 144000 | #Constraints: 12788
96.31/96.60 c #Conflicts: 145000 | #Constraints: 13788
96.31/96.60 c #Conflicts: 146000 | #Constraints: 14788
96.31/96.60 c #Conflicts: 147000 | #Constraints: 15788
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 148000 | #Constraints: 9199
96.31/96.60 c #Conflicts: 149000 | #Constraints: 10199
96.31/96.60 c #Conflicts: 150000 | #Constraints: 11199
96.31/96.60 c #Conflicts: 151000 | #Constraints: 12199
96.31/96.60 c #Conflicts: 152000 | #Constraints: 13199
96.31/96.60 c #Conflicts: 153000 | #Constraints: 14199
96.31/96.60 c #Conflicts: 154000 | #Constraints: 15199
96.31/96.60 c #Conflicts: 155000 | #Constraints: 16199
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 156000 | #Constraints: 9405
96.31/96.60 c #Conflicts: 157000 | #Constraints: 10405
96.31/96.60 c #Conflicts: 158000 | #Constraints: 11405
96.31/96.60 c #Conflicts: 159000 | #Constraints: 12405
96.31/96.60 c #Conflicts: 160000 | #Constraints: 13405
96.31/96.60 c #Conflicts: 161000 | #Constraints: 14405
96.31/96.60 c #Conflicts: 162000 | #Constraints: 15405
96.31/96.60 c #Conflicts: 163000 | #Constraints: 16405
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 164000 | #Constraints: 9400
96.31/96.60 c #Conflicts: 165000 | #Constraints: 10400
96.31/96.60 c #Conflicts: 166000 | #Constraints: 11400
96.31/96.60 c #Conflicts: 167000 | #Constraints: 12400
96.31/96.60 c #Conflicts: 168000 | #Constraints: 13400
96.31/96.60 c #Conflicts: 169000 | #Constraints: 14400
96.31/96.60 c #Conflicts: 170000 | #Constraints: 15400
96.31/96.60 c #Conflicts: 171000 | #Constraints: 16400
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 172000 | #Constraints: 9196
96.31/96.60 c #Conflicts: 173000 | #Constraints: 10196
96.31/96.60 c #Conflicts: 174000 | #Constraints: 11196
96.31/96.60 c #Conflicts: 175000 | #Constraints: 12196
96.31/96.60 c #Conflicts: 176000 | #Constraints: 13196
96.31/96.60 c #Conflicts: 177000 | #Constraints: 14196
96.31/96.60 c #Conflicts: 178000 | #Constraints: 15196
96.31/96.60 c #Conflicts: 179000 | #Constraints: 16196
96.31/96.60 c #Conflicts: 180000 | #Constraints: 17196
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 181000 | #Constraints: 9793
96.31/96.60 c #Conflicts: 182000 | #Constraints: 10793
96.31/96.60 c #Conflicts: 183000 | #Constraints: 11793
96.31/96.60 c #Conflicts: 184000 | #Constraints: 12793
96.31/96.60 c #Conflicts: 185000 | #Constraints: 13793
96.31/96.60 c #Conflicts: 186000 | #Constraints: 14793
96.31/96.60 c #Conflicts: 187000 | #Constraints: 15793
96.31/96.60 c #Conflicts: 188000 | #Constraints: 16793
96.31/96.60 c #Conflicts: 189000 | #Constraints: 17793
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 190000 | #Constraints: 10196
96.31/96.60 c #Conflicts: 191000 | #Constraints: 11196
96.31/96.60 c #Conflicts: 192000 | #Constraints: 12196
96.31/96.60 c #Conflicts: 193000 | #Constraints: 13196
96.31/96.60 c #Conflicts: 194000 | #Constraints: 14196
96.31/96.60 c #Conflicts: 195000 | #Constraints: 15196
96.31/96.60 c #Conflicts: 196000 | #Constraints: 16196
96.31/96.60 c #Conflicts: 197000 | #Constraints: 17196
96.31/96.60 c #Conflicts: 198000 | #Constraints: 18196
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 199000 | #Constraints: 10390
96.31/96.60 c #Conflicts: 200000 | #Constraints: 11390
96.31/96.60 c #Conflicts: 201000 | #Constraints: 12390
96.31/96.60 c #Conflicts: 202000 | #Constraints: 13390
96.31/96.60 c #Conflicts: 203000 | #Constraints: 14390
96.31/96.60 c #Conflicts: 204000 | #Constraints: 15390
96.31/96.60 c #Conflicts: 205000 | #Constraints: 16390
96.31/96.60 c #Conflicts: 206000 | #Constraints: 17390
96.31/96.60 c #Conflicts: 207000 | #Constraints: 18390
96.31/96.60 c INPROCESSING
96.31/96.60 c GARBAGE COLLECT
96.31/96.60 c #Conflicts: 208000 | #Constraints: 10393
96.31/96.60 c #Conflicts: 209000 | #Constraints: 11393
96.31/96.60 c #Conflicts: 210000 | #Constraints: 12393
96.31/96.60 c #Conflicts: 211000 | #Constraints: 13393
96.31/96.60 c #Conflicts: 212000 | #Constraints: 14393
96.31/96.60 c #Conflicts: 213000 | #Constraints: 15393
141.47/141.91 c #Conflicts: 214000 | #Constraints: 16393
141.47/141.91 c #Conflicts: 215000 | #Constraints: 17393
141.47/141.91 c #Conflicts: 216000 | #Constraints: 18393
141.47/141.91 c INPROCESSING
141.47/141.91 c GARBAGE COLLECT
141.47/141.91 c #Conflicts: 217000 | #Constraints: 10194
141.47/141.91 c #Conflicts: 218000 | #Constraints: 11194
141.47/141.91 c #Conflicts: 219000 | #Constraints: 12194
141.47/141.91 c #Conflicts: 220000 | #Constraints: 13194
141.47/141.91 c #Conflicts: 221000 | #Constraints: 14194
141.47/141.91 c #Conflicts: 222000 | #Constraints: 15194
141.47/141.91 c #Conflicts: 223000 | #Constraints: 16194
141.47/141.91 c #Conflicts: 224000 | #Constraints: 17194
141.47/141.91 c #Conflicts: 225000 | #Constraints: 18194
141.47/141.91 c #Conflicts: 226000 | #Constraints: 19194
141.47/141.91 c INPROCESSING
141.47/141.91 c GARBAGE COLLECT
141.47/141.91 c #Conflicts: 227000 | #Constraints: 10790
141.47/141.91 c #Conflicts: 228000 | #Constraints: 11790
141.47/141.91 c #Conflicts: 229000 | #Constraints: 12790
141.47/141.91 c #Conflicts: 230000 | #Constraints: 13790
141.47/141.91 c #Conflicts: 231000 | #Constraints: 14790
141.47/141.91 c #Conflicts: 232000 | #Constraints: 15790
141.47/141.91 c #Conflicts: 233000 | #Constraints: 16790
141.47/141.91 c #Conflicts: 234000 | #Constraints: 17790
141.47/141.91 c #Conflicts: 235000 | #Constraints: 18790
141.47/141.91 c #Conflicts: 236000 | #Constraints: 19790
141.47/141.91 c INPROCESSING
141.47/141.91 c GARBAGE COLLECT
141.47/141.91 c #Conflicts: 237000 | #Constraints: 11193
141.47/141.91 c #Conflicts: 238000 | #Constraints: 12193
141.47/141.91 c #Conflicts: 239000 | #Constraints: 13193
141.47/141.91 c #Conflicts: 240000 | #Constraints: 14193
141.47/141.91 c #Conflicts: 241000 | #Constraints: 15193
141.47/141.91 c #Conflicts: 242000 | #Constraints: 16193
141.47/141.91 c #Conflicts: 243000 | #Constraints: 17193
141.47/141.91 c #Conflicts: 244000 | #Constraints: 18193
141.47/141.91 c #Conflicts: 245000 | #Constraints: 19193
141.47/141.91 c #Conflicts: 246000 | #Constraints: 20193
141.47/141.91 c INPROCESSING
141.47/141.91 c GARBAGE COLLECT
141.47/141.91 c #Conflicts: 247000 | #Constraints: 11398
141.47/141.91 c #Conflicts: 248000 | #Constraints: 12398
141.47/141.91 c #Conflicts: 249000 | #Constraints: 13398
141.47/141.91 c #Conflicts: 250000 | #Constraints: 14398
141.47/141.91 c #Conflicts: 251000 | #Constraints: 15398
141.47/141.91 c #Conflicts: 252000 | #Constraints: 16398
141.47/141.91 c #Conflicts: 253000 | #Constraints: 17398
141.47/141.91 c #Conflicts: 254000 | #Constraints: 18398
141.47/141.91 c #Conflicts: 255000 | #Constraints: 19398
141.47/141.91 c #Conflicts: 256000 | #Constraints: 20398
141.47/141.91 c INPROCESSING
141.47/141.91 c GARBAGE COLLECT
141.47/141.91 c #Conflicts: 257000 | #Constraints: 11398
141.47/141.91 c #Conflicts: 258000 | #Constraints: 12398
141.47/141.91 c #Conflicts: 259000 | #Constraints: 13398
141.47/141.91 c #Conflicts: 260000 | #Constraints: 14398
141.47/141.91 c #Conflicts: 261000 | #Constraints: 15398
141.47/141.91 c #Conflicts: 262000 | #Constraints: 16398
141.47/141.91 c #Conflicts: 263000 | #Constraints: 17398
141.47/141.91 c #Conflicts: 264000 | #Constraints: 18398
141.47/141.91 c #Conflicts: 265000 | #Constraints: 19398
141.47/141.91 c #Conflicts: 266000 | #Constraints: 20398
141.47/141.91 c INPROCESSING
141.47/141.91 c GARBAGE COLLECT
141.47/141.91 c #Conflicts: 267000 | #Constraints: 11195
141.47/141.91 c #Conflicts: 268000 | #Constraints: 12195
141.47/141.91 c #Conflicts: 269000 | #Constraints: 13195
141.47/141.91 c #Conflicts: 270000 | #Constraints: 14195
141.47/141.91 c #Conflicts: 271000 | #Constraints: 15195
141.47/141.91 c #Conflicts: 272000 | #Constraints: 16195
141.47/141.91 c #Conflicts: 273000 | #Constraints: 17195
141.47/141.91 c #Conflicts: 274000 | #Constraints: 18195
141.47/141.91 c #Conflicts: 275000 | #Constraints: 19195
141.47/141.91 c #Conflicts: 276000 | #Constraints: 20195
141.47/141.91 c #Conflicts: 277000 | #Constraints: 21195
141.47/141.91 c INPROCESSING
141.47/141.91 c GARBAGE COLLECT
141.47/141.91 c #Conflicts: 278000 | #Constraints: 11794
141.47/141.91 c #Conflicts: 279000 | #Constraints: 12794
141.47/141.91 c #Conflicts: 280000 | #Constraints: 13794
141.47/141.91 c #Conflicts: 281000 | #Constraints: 14794
141.47/141.91 c #Conflicts: 282000 | #Constraints: 15794
141.47/141.91 c #Conflicts: 283000 | #Constraints: 16794
141.47/141.91 c #Conflicts: 284000 | #Constraints: 17794
141.47/141.91 c #Conflicts: 285000 | #Constraints: 18794
141.47/141.91 c #Conflicts: 286000 | #Constraints: 19794
141.47/141.91 c #Conflicts: 287000 | #Constraints: 20794
141.47/141.91 c #Conflicts: 288000 | #Constraints: 21794
194.22/194.84 c INPROCESSING
194.22/194.84 c GARBAGE COLLECT
194.22/194.84 c #Conflicts: 289000 | #Constraints: 12197
194.22/194.84 c #Conflicts: 290000 | #Constraints: 13197
194.22/194.84 c #Conflicts: 291000 | #Constraints: 14197
194.22/194.84 c #Conflicts: 292000 | #Constraints: 15197
194.22/194.84 c #Conflicts: 293000 | #Constraints: 16197
194.22/194.84 c #Conflicts: 294000 | #Constraints: 17197
194.22/194.84 c #Conflicts: 295000 | #Constraints: 18197
194.22/194.84 c #Conflicts: 296000 | #Constraints: 19197
194.22/194.84 c #Conflicts: 297000 | #Constraints: 20197
194.22/194.84 c #Conflicts: 298000 | #Constraints: 21197
194.22/194.84 c #Conflicts: 299000 | #Constraints: 22197
194.22/194.84 c INPROCESSING
194.22/194.84 c GARBAGE COLLECT
194.22/194.84 c #Conflicts: 300000 | #Constraints: 12399
194.22/194.84 c #Conflicts: 301000 | #Constraints: 13399
194.22/194.84 c #Conflicts: 302000 | #Constraints: 14399
194.22/194.84 c #Conflicts: 303000 | #Constraints: 15399
194.22/194.84 c #Conflicts: 304000 | #Constraints: 16399
194.22/194.84 c #Conflicts: 305000 | #Constraints: 17399
194.22/194.84 c #Conflicts: 306000 | #Constraints: 18399
194.22/194.84 c #Conflicts: 307000 | #Constraints: 19399
194.22/194.84 c #Conflicts: 308000 | #Constraints: 20399
194.22/194.84 c #Conflicts: 309000 | #Constraints: 21399
194.22/194.84 c #Conflicts: 310000 | #Constraints: 22399
194.22/194.84 c INPROCESSING
194.22/194.84 c GARBAGE COLLECT
194.22/194.84 c #Conflicts: 311000 | #Constraints: 12407
194.22/194.84 c #Conflicts: 312000 | #Constraints: 13407
194.22/194.84 c #Conflicts: 313000 | #Constraints: 14407
194.22/194.84 c #Conflicts: 314000 | #Constraints: 15407
194.22/194.84 c #Conflicts: 315000 | #Constraints: 16407
194.22/194.84 c #Conflicts: 316000 | #Constraints: 17407
194.22/194.84 c #Conflicts: 317000 | #Constraints: 18407
194.22/194.84 c #Conflicts: 318000 | #Constraints: 19407
194.22/194.84 c #Conflicts: 319000 | #Constraints: 20407
194.22/194.84 c #Conflicts: 320000 | #Constraints: 21407
194.22/194.84 c #Conflicts: 321000 | #Constraints: 22407
194.22/194.84 c INPROCESSING
194.22/194.84 c GARBAGE COLLECT
194.22/194.84 c #Conflicts: 322000 | #Constraints: 12199
194.22/194.84 c #Conflicts: 323000 | #Constraints: 13199
194.22/194.84 c #Conflicts: 324000 | #Constraints: 14199
194.22/194.84 c #Conflicts: 325000 | #Constraints: 15199
194.22/194.84 c #Conflicts: 326000 | #Constraints: 16199
194.22/194.84 c #Conflicts: 327000 | #Constraints: 17199
194.22/194.84 c #Conflicts: 328000 | #Constraints: 18199
194.22/194.84 c #Conflicts: 329000 | #Constraints: 19199
194.22/194.84 c #Conflicts: 330000 | #Constraints: 20199
194.22/194.84 c #Conflicts: 331000 | #Constraints: 21199
194.22/194.84 c #Conflicts: 332000 | #Constraints: 22199
194.22/194.84 c #Conflicts: 333000 | #Constraints: 23199
194.22/194.84 c INPROCESSING
194.22/194.84 c GARBAGE COLLECT
194.22/194.84 c #Conflicts: 334000 | #Constraints: 12804
194.22/194.84 c #Conflicts: 335000 | #Constraints: 13804
194.22/194.84 c #Conflicts: 336000 | #Constraints: 14804
194.22/194.84 c #Conflicts: 337000 | #Constraints: 15804
194.22/194.84 c #Conflicts: 338000 | #Constraints: 16804
194.22/194.84 c #Conflicts: 339000 | #Constraints: 17804
194.22/194.84 c #Conflicts: 340000 | #Constraints: 18804
194.22/194.84 c #Conflicts: 341000 | #Constraints: 19804
194.22/194.84 c #Conflicts: 342000 | #Constraints: 20804
194.22/194.84 c #Conflicts: 343000 | #Constraints: 21804
194.22/194.84 c #Conflicts: 344000 | #Constraints: 22804
194.22/194.84 c #Conflicts: 345000 | #Constraints: 23804
194.22/194.84 c INPROCESSING
194.22/194.84 c GARBAGE COLLECT
194.22/194.84 c #Conflicts: 346000 | #Constraints: 13198
194.22/194.84 c #Conflicts: 347000 | #Constraints: 14198
194.22/194.84 c #Conflicts: 348000 | #Constraints: 15198
194.22/194.84 c #Conflicts: 349000 | #Constraints: 16198
194.22/194.84 c #Conflicts: 350000 | #Constraints: 17198
194.22/194.84 c #Conflicts: 351000 | #Constraints: 18198
194.22/194.84 c #Conflicts: 352000 | #Constraints: 19198
194.22/194.84 c #Conflicts: 353000 | #Constraints: 20198
194.22/194.84 c #Conflicts: 354000 | #Constraints: 21198
194.22/194.84 c #Conflicts: 355000 | #Constraints: 22198
194.22/194.84 c #Conflicts: 356000 | #Constraints: 23198
194.22/194.84 c #Conflicts: 357000 | #Constraints: 24198
194.22/194.84 c INPROCESSING
194.22/194.84 c GARBAGE COLLECT
194.22/194.84 c #Conflicts: 358000 | #Constraints: 13398
194.22/194.84 c #Conflicts: 359000 | #Constraints: 14398
194.22/194.84 c #Conflicts: 360000 | #Constraints: 15398
194.22/194.84 c #Conflicts: 361000 | #Constraints: 16398
194.22/194.84 c #Conflicts: 362000 | #Constraints: 17398
249.04/249.88 c #Conflicts: 363000 | #Constraints: 18398
249.04/249.88 c #Conflicts: 364000 | #Constraints: 19398
249.04/249.88 c #Conflicts: 365000 | #Constraints: 20398
249.04/249.88 c #Conflicts: 366000 | #Constraints: 21398
249.04/249.88 c #Conflicts: 367000 | #Constraints: 22398
249.04/249.88 c #Conflicts: 368000 | #Constraints: 23398
249.04/249.88 c #Conflicts: 369000 | #Constraints: 24398
249.04/249.88 c INPROCESSING
249.04/249.88 c GARBAGE COLLECT
249.04/249.88 c #Conflicts: 370000 | #Constraints: 13403
249.04/249.88 c #Conflicts: 371000 | #Constraints: 14403
249.04/249.88 c #Conflicts: 372000 | #Constraints: 15403
249.04/249.88 c #Conflicts: 373000 | #Constraints: 16403
249.04/249.88 c #Conflicts: 374000 | #Constraints: 17403
249.04/249.88 c #Conflicts: 375000 | #Constraints: 18403
249.04/249.88 c #Conflicts: 376000 | #Constraints: 19403
249.04/249.88 c #Conflicts: 377000 | #Constraints: 20403
249.04/249.88 c #Conflicts: 378000 | #Constraints: 21403
249.04/249.88 c #Conflicts: 379000 | #Constraints: 22403
249.04/249.88 c #Conflicts: 380000 | #Constraints: 23403
249.04/249.88 c #Conflicts: 381000 | #Constraints: 24403
249.04/249.88 c INPROCESSING
249.04/249.88 c GARBAGE COLLECT
249.04/249.88 c #Conflicts: 382000 | #Constraints: 13200
249.04/249.88 c #Conflicts: 383000 | #Constraints: 14200
249.04/249.88 c #Conflicts: 384000 | #Constraints: 15200
249.04/249.88 c #Conflicts: 385000 | #Constraints: 16200
249.04/249.88 c #Conflicts: 386000 | #Constraints: 17200
249.04/249.88 c #Conflicts: 387000 | #Constraints: 18200
249.04/249.88 c #Conflicts: 388000 | #Constraints: 19200
249.04/249.88 c #Conflicts: 389000 | #Constraints: 20200
249.04/249.88 c #Conflicts: 390000 | #Constraints: 21200
249.04/249.88 c #Conflicts: 391000 | #Constraints: 22200
249.04/249.88 c #Conflicts: 392000 | #Constraints: 23200
249.04/249.88 c #Conflicts: 393000 | #Constraints: 24200
249.04/249.88 c #Conflicts: 394000 | #Constraints: 25200
249.04/249.88 c INPROCESSING
249.04/249.88 c GARBAGE COLLECT
249.04/249.88 c #Conflicts: 395000 | #Constraints: 13799
249.04/249.88 c #Conflicts: 396000 | #Constraints: 14799
249.04/249.88 c #Conflicts: 397000 | #Constraints: 15799
249.04/249.88 c #Conflicts: 398000 | #Constraints: 16799
249.04/249.88 c #Conflicts: 399000 | #Constraints: 17799
249.04/249.88 c #Conflicts: 400000 | #Constraints: 18799
249.04/249.88 c #Conflicts: 401000 | #Constraints: 19799
249.04/249.88 c #Conflicts: 402000 | #Constraints: 20799
249.04/249.88 c #Conflicts: 403000 | #Constraints: 21799
249.04/249.88 c #Conflicts: 404000 | #Constraints: 22799
249.04/249.88 c #Conflicts: 405000 | #Constraints: 23799
249.04/249.88 c #Conflicts: 406000 | #Constraints: 24799
249.04/249.88 c #Conflicts: 407000 | #Constraints: 25799
249.04/249.88 c INPROCESSING
249.04/249.88 c GARBAGE COLLECT
249.04/249.88 c #Conflicts: 408000 | #Constraints: 14198
249.04/249.88 c #Conflicts: 409000 | #Constraints: 15198
249.04/249.88 c #Conflicts: 410000 | #Constraints: 16198
249.04/249.88 c #Conflicts: 411000 | #Constraints: 17198
249.04/249.88 c #Conflicts: 412000 | #Constraints: 18198
249.04/249.88 c #Conflicts: 413000 | #Constraints: 19198
249.04/249.88 c #Conflicts: 414000 | #Constraints: 20198
249.04/249.88 c #Conflicts: 415000 | #Constraints: 21198
249.04/249.88 c #Conflicts: 416000 | #Constraints: 22198
249.04/249.88 c #Conflicts: 417000 | #Constraints: 23198
249.04/249.88 c #Conflicts: 418000 | #Constraints: 24198
249.04/249.88 c #Conflicts: 419000 | #Constraints: 25198
249.04/249.88 c #Conflicts: 420000 | #Constraints: 26198
249.04/249.88 c INPROCESSING
249.04/249.88 c GARBAGE COLLECT
249.04/249.88 c #Conflicts: 421000 | #Constraints: 14401
249.04/249.88 c #Conflicts: 422000 | #Constraints: 15401
249.04/249.88 c #Conflicts: 423000 | #Constraints: 16401
249.04/249.88 c #Conflicts: 424000 | #Constraints: 17401
249.04/249.88 c #Conflicts: 425000 | #Constraints: 18401
249.04/249.88 c #Conflicts: 426000 | #Constraints: 19401
249.04/249.88 c #Conflicts: 427000 | #Constraints: 20401
249.04/249.88 c #Conflicts: 428000 | #Constraints: 21401
249.04/249.88 c #Conflicts: 429000 | #Constraints: 22401
249.04/249.88 c #Conflicts: 430000 | #Constraints: 23401
249.04/249.88 c #Conflicts: 431000 | #Constraints: 24401
249.04/249.88 c #Conflicts: 432000 | #Constraints: 25401
249.04/249.88 c #Conflicts: 433000 | #Constraints: 26401
249.04/249.88 c INPROCESSING
249.04/249.88 c GARBAGE COLLECT
249.04/249.88 c #Conflicts: 434000 | #Constraints: 14406
249.04/249.88 c #Conflicts: 435000 | #Constraints: 15406
249.04/249.88 c #Conflicts: 436000 | #Constraints: 16406
249.04/249.88 c #Conflicts: 437000 | #Constraints: 17406
316.44/317.47 c #Conflicts: 438000 | #Constraints: 18406
316.44/317.47 c #Conflicts: 439000 | #Constraints: 19406
316.44/317.47 c #Conflicts: 440000 | #Constraints: 20406
316.44/317.47 c #Conflicts: 441000 | #Constraints: 21406
316.44/317.47 c #Conflicts: 442000 | #Constraints: 22406
316.44/317.47 c #Conflicts: 443000 | #Constraints: 23406
316.44/317.47 c #Conflicts: 444000 | #Constraints: 24406
316.44/317.47 c #Conflicts: 445000 | #Constraints: 25406
316.44/317.47 c #Conflicts: 446000 | #Constraints: 26406
316.44/317.47 c INPROCESSING
316.44/317.47 c GARBAGE COLLECT
316.44/317.47 c #Conflicts: 447000 | #Constraints: 14208
316.44/317.47 c #Conflicts: 448000 | #Constraints: 15208
316.44/317.47 c #Conflicts: 449000 | #Constraints: 16208
316.44/317.47 c #Conflicts: 450000 | #Constraints: 17208
316.44/317.47 c #Conflicts: 451000 | #Constraints: 18208
316.44/317.47 c #Conflicts: 452000 | #Constraints: 19208
316.44/317.47 c #Conflicts: 453000 | #Constraints: 20208
316.44/317.47 c #Conflicts: 454000 | #Constraints: 21208
316.44/317.47 c #Conflicts: 455000 | #Constraints: 22208
316.44/317.47 c #Conflicts: 456000 | #Constraints: 23208
316.44/317.47 c #Conflicts: 457000 | #Constraints: 24208
316.44/317.47 c #Conflicts: 458000 | #Constraints: 25208
316.44/317.47 c #Conflicts: 459000 | #Constraints: 26208
316.44/317.47 c #Conflicts: 460000 | #Constraints: 27208
316.44/317.47 c INPROCESSING
316.44/317.47 c GARBAGE COLLECT
316.44/317.47 c #Conflicts: 461000 | #Constraints: 14810
316.44/317.47 c #Conflicts: 462000 | #Constraints: 15810
316.44/317.47 c #Conflicts: 463000 | #Constraints: 16810
316.44/317.47 c #Conflicts: 464000 | #Constraints: 17810
316.44/317.47 c #Conflicts: 465000 | #Constraints: 18810
316.44/317.47 c #Conflicts: 466000 | #Constraints: 19810
316.44/317.47 c #Conflicts: 467000 | #Constraints: 20810
316.44/317.47 c #Conflicts: 468000 | #Constraints: 21810
316.44/317.47 c #Conflicts: 469000 | #Constraints: 22810
316.44/317.47 c #Conflicts: 470000 | #Constraints: 23810
316.44/317.47 c #Conflicts: 471000 | #Constraints: 24810
316.44/317.47 c #Conflicts: 472000 | #Constraints: 25810
316.44/317.47 c #Conflicts: 473000 | #Constraints: 26810
316.44/317.47 c #Conflicts: 474000 | #Constraints: 27810
316.44/317.47 c INPROCESSING
316.44/317.47 c GARBAGE COLLECT
316.44/317.47 c #Conflicts: 475000 | #Constraints: 15208
316.44/317.47 c #Conflicts: 476000 | #Constraints: 16208
316.44/317.47 c #Conflicts: 477000 | #Constraints: 17208
316.44/317.47 c #Conflicts: 478000 | #Constraints: 18208
316.44/317.47 c #Conflicts: 479000 | #Constraints: 19208
316.44/317.47 c #Conflicts: 480000 | #Constraints: 20208
316.44/317.47 c #Conflicts: 481000 | #Constraints: 21208
316.44/317.47 c #Conflicts: 482000 | #Constraints: 22208
316.44/317.47 c #Conflicts: 483000 | #Constraints: 23208
316.44/317.47 c #Conflicts: 484000 | #Constraints: 24208
316.44/317.47 c #Conflicts: 485000 | #Constraints: 25208
316.44/317.47 c #Conflicts: 486000 | #Constraints: 26208
316.44/317.47 c #Conflicts: 487000 | #Constraints: 27208
316.44/317.47 c #Conflicts: 488000 | #Constraints: 28208
316.44/317.47 c INPROCESSING
316.44/317.47 c GARBAGE COLLECT
316.44/317.47 c #Conflicts: 489000 | #Constraints: 15411
316.44/317.47 c #Conflicts: 490000 | #Constraints: 16411
316.44/317.47 c #Conflicts: 491000 | #Constraints: 17411
316.44/317.47 c #Conflicts: 492000 | #Constraints: 18411
316.44/317.47 c #Conflicts: 493000 | #Constraints: 19411
316.44/317.47 c #Conflicts: 494000 | #Constraints: 20411
316.44/317.47 c #Conflicts: 495000 | #Constraints: 21411
316.44/317.47 c #Conflicts: 496000 | #Constraints: 22411
316.44/317.47 c #Conflicts: 497000 | #Constraints: 23411
316.44/317.47 c #Conflicts: 498000 | #Constraints: 24411
316.44/317.47 c #Conflicts: 499000 | #Constraints: 25411
316.44/317.47 c #Conflicts: 500000 | #Constraints: 26411
316.44/317.47 c #Conflicts: 501000 | #Constraints: 27411
316.44/317.47 c #Conflicts: 502000 | #Constraints: 28411
316.44/317.47 c INPROCESSING
316.44/317.47 c GARBAGE COLLECT
316.44/317.47 c #Conflicts: 503000 | #Constraints: 15412
316.44/317.47 c #Conflicts: 504000 | #Constraints: 16412
316.44/317.47 c #Conflicts: 505000 | #Constraints: 17412
316.44/317.47 c #Conflicts: 506000 | #Constraints: 18412
316.44/317.47 c #Conflicts: 507000 | #Constraints: 19412
316.44/317.47 c #Conflicts: 508000 | #Constraints: 20412
316.44/317.47 c #Conflicts: 509000 | #Constraints: 21412
316.44/317.47 c #Conflicts: 510000 | #Constraints: 22412
316.44/317.47 c #Conflicts: 511000 | #Constraints: 23412
316.44/317.47 c #Conflicts: 512000 | #Constraints: 24412
316.44/317.47 c #Conflicts: 513000 | #Constraints: 25412
393.01/394.29 c #Conflicts: 514000 | #Constraints: 26412
393.01/394.29 c #Conflicts: 515000 | #Constraints: 27412
393.01/394.29 c #Conflicts: 516000 | #Constraints: 28412
393.01/394.29 c INPROCESSING
393.01/394.29 c GARBAGE COLLECT
393.01/394.29 c #Conflicts: 517000 | #Constraints: 15208
393.01/394.29 c #Conflicts: 518000 | #Constraints: 16208
393.01/394.29 c #Conflicts: 519000 | #Constraints: 17208
393.01/394.29 c #Conflicts: 520000 | #Constraints: 18208
393.01/394.29 c #Conflicts: 521000 | #Constraints: 19208
393.01/394.29 c #Conflicts: 522000 | #Constraints: 20208
393.01/394.29 c #Conflicts: 523000 | #Constraints: 21208
393.01/394.29 c #Conflicts: 524000 | #Constraints: 22208
393.01/394.29 c #Conflicts: 525000 | #Constraints: 23208
393.01/394.29 c #Conflicts: 526000 | #Constraints: 24208
393.01/394.29 c #Conflicts: 527000 | #Constraints: 25208
393.01/394.29 c #Conflicts: 528000 | #Constraints: 26208
393.01/394.29 c #Conflicts: 529000 | #Constraints: 27208
393.01/394.29 c #Conflicts: 530000 | #Constraints: 28208
393.01/394.29 c #Conflicts: 531000 | #Constraints: 29208
393.01/394.29 c INPROCESSING
393.01/394.29 c GARBAGE COLLECT
393.01/394.29 c #Conflicts: 532000 | #Constraints: 15802
393.01/394.29 c #Conflicts: 533000 | #Constraints: 16802
393.01/394.29 c #Conflicts: 534000 | #Constraints: 17802
393.01/394.29 c #Conflicts: 535000 | #Constraints: 18802
393.01/394.29 c #Conflicts: 536000 | #Constraints: 19802
393.01/394.29 c #Conflicts: 537000 | #Constraints: 20802
393.01/394.29 c #Conflicts: 538000 | #Constraints: 21802
393.01/394.29 c #Conflicts: 539000 | #Constraints: 22802
393.01/394.29 c #Conflicts: 540000 | #Constraints: 23802
393.01/394.29 c #Conflicts: 541000 | #Constraints: 24802
393.01/394.29 c #Conflicts: 542000 | #Constraints: 25802
393.01/394.29 c #Conflicts: 543000 | #Constraints: 26802
393.01/394.29 c #Conflicts: 544000 | #Constraints: 27802
393.01/394.29 c #Conflicts: 545000 | #Constraints: 28802
393.01/394.29 c #Conflicts: 546000 | #Constraints: 29802
393.01/394.29 c INPROCESSING
393.01/394.29 c GARBAGE COLLECT
393.01/394.29 c #Conflicts: 547000 | #Constraints: 16201
393.01/394.29 c #Conflicts: 548000 | #Constraints: 17201
393.01/394.29 c #Conflicts: 549000 | #Constraints: 18201
393.01/394.29 c #Conflicts: 550000 | #Constraints: 19201
393.01/394.29 c #Conflicts: 551000 | #Constraints: 20201
393.01/394.29 c #Conflicts: 552000 | #Constraints: 21201
393.01/394.29 c #Conflicts: 553000 | #Constraints: 22201
393.01/394.29 c #Conflicts: 554000 | #Constraints: 23201
393.01/394.29 c #Conflicts: 555000 | #Constraints: 24201
393.01/394.29 c #Conflicts: 556000 | #Constraints: 25201
393.01/394.29 c #Conflicts: 557000 | #Constraints: 26201
393.01/394.29 c #Conflicts: 558000 | #Constraints: 27201
393.01/394.29 c #Conflicts: 559000 | #Constraints: 28201
393.01/394.29 c #Conflicts: 560000 | #Constraints: 29201
393.01/394.29 c #Conflicts: 561000 | #Constraints: 30201
393.01/394.29 c INPROCESSING
393.01/394.29 c GARBAGE COLLECT
393.01/394.29 c #Conflicts: 562000 | #Constraints: 16402
393.01/394.29 c #Conflicts: 563000 | #Constraints: 17402
393.01/394.29 c #Conflicts: 564000 | #Constraints: 18402
393.01/394.29 c #Conflicts: 565000 | #Constraints: 19402
393.01/394.29 c #Conflicts: 566000 | #Constraints: 20402
393.01/394.29 c #Conflicts: 567000 | #Constraints: 21402
393.01/394.29 c #Conflicts: 568000 | #Constraints: 22402
393.01/394.29 c #Conflicts: 569000 | #Constraints: 23402
393.01/394.29 c #Conflicts: 570000 | #Constraints: 24402
393.01/394.29 c #Conflicts: 571000 | #Constraints: 25402
393.01/394.29 c #Conflicts: 572000 | #Constraints: 26402
393.01/394.29 c #Conflicts: 573000 | #Constraints: 27402
393.01/394.29 c #Conflicts: 574000 | #Constraints: 28402
393.01/394.29 c #Conflicts: 575000 | #Constraints: 29402
393.01/394.29 c #Conflicts: 576000 | #Constraints: 30402
393.01/394.29 c INPROCESSING
393.01/394.29 c GARBAGE COLLECT
393.01/394.29 c #Conflicts: 577000 | #Constraints: 16403
393.01/394.29 c #Conflicts: 578000 | #Constraints: 17403
393.01/394.29 c #Conflicts: 579000 | #Constraints: 18403
393.01/394.29 c #Conflicts: 580000 | #Constraints: 19403
393.01/394.29 c #Conflicts: 581000 | #Constraints: 20403
393.01/394.29 c #Conflicts: 582000 | #Constraints: 21403
393.01/394.29 c #Conflicts: 583000 | #Constraints: 22403
393.01/394.29 c #Conflicts: 584000 | #Constraints: 23403
393.01/394.29 c #Conflicts: 585000 | #Constraints: 24403
393.01/394.29 c #Conflicts: 586000 | #Constraints: 25403
393.01/394.29 c #Conflicts: 587000 | #Constraints: 26403
393.01/394.29 c #Conflicts: 588000 | #Constraints: 27403
472.48/473.99 c #Conflicts: 589000 | #Constraints: 28403
472.48/473.99 c #Conflicts: 590000 | #Constraints: 29403
472.48/473.99 c #Conflicts: 591000 | #Constraints: 30403
472.48/473.99 c INPROCESSING
472.48/473.99 c GARBAGE COLLECT
472.48/473.99 c #Conflicts: 592000 | #Constraints: 16197
472.48/473.99 c #Conflicts: 593000 | #Constraints: 17197
472.48/473.99 c #Conflicts: 594000 | #Constraints: 18197
472.48/473.99 c #Conflicts: 595000 | #Constraints: 19197
472.48/473.99 c #Conflicts: 596000 | #Constraints: 20197
472.48/473.99 c #Conflicts: 597000 | #Constraints: 21197
472.48/473.99 c #Conflicts: 598000 | #Constraints: 22197
472.48/473.99 c #Conflicts: 599000 | #Constraints: 23197
472.48/473.99 c #Conflicts: 600000 | #Constraints: 24197
472.48/473.99 c #Conflicts: 601000 | #Constraints: 25197
472.48/473.99 c #Conflicts: 602000 | #Constraints: 26197
472.48/473.99 c #Conflicts: 603000 | #Constraints: 27197
472.48/473.99 c #Conflicts: 604000 | #Constraints: 28197
472.48/473.99 c #Conflicts: 605000 | #Constraints: 29197
472.48/473.99 c #Conflicts: 606000 | #Constraints: 30197
472.48/473.99 c #Conflicts: 607000 | #Constraints: 31197
472.48/473.99 c INPROCESSING
472.48/473.99 c GARBAGE COLLECT
472.48/473.99 c #Conflicts: 608000 | #Constraints: 16802
472.48/473.99 c #Conflicts: 609000 | #Constraints: 17802
472.48/473.99 c #Conflicts: 610000 | #Constraints: 18802
472.48/473.99 c #Conflicts: 611000 | #Constraints: 19802
472.48/473.99 c #Conflicts: 612000 | #Constraints: 20802
472.48/473.99 c #Conflicts: 613000 | #Constraints: 21802
472.48/473.99 c #Conflicts: 614000 | #Constraints: 22802
472.48/473.99 c #Conflicts: 615000 | #Constraints: 23802
472.48/473.99 c #Conflicts: 616000 | #Constraints: 24802
472.48/473.99 c #Conflicts: 617000 | #Constraints: 25802
472.48/473.99 c #Conflicts: 618000 | #Constraints: 26802
472.48/473.99 c #Conflicts: 619000 | #Constraints: 27802
472.48/473.99 c #Conflicts: 620000 | #Constraints: 28802
472.48/473.99 c #Conflicts: 621000 | #Constraints: 29802
472.48/473.99 c #Conflicts: 622000 | #Constraints: 30802
472.48/473.99 c #Conflicts: 623000 | #Constraints: 31802
472.48/473.99 c INPROCESSING
472.48/473.99 c GARBAGE COLLECT
472.48/473.99 c #Conflicts: 624000 | #Constraints: 17204
472.48/473.99 c #Conflicts: 625000 | #Constraints: 18204
472.48/473.99 c #Conflicts: 626000 | #Constraints: 19204
472.48/473.99 c #Conflicts: 627000 | #Constraints: 20204
472.48/473.99 c #Conflicts: 628000 | #Constraints: 21204
472.48/473.99 c #Conflicts: 629000 | #Constraints: 22204
472.48/473.99 c #Conflicts: 630000 | #Constraints: 23204
472.48/473.99 c #Conflicts: 631000 | #Constraints: 24204
472.48/473.99 c #Conflicts: 632000 | #Constraints: 25204
472.48/473.99 c #Conflicts: 633000 | #Constraints: 26204
472.48/473.99 c #Conflicts: 634000 | #Constraints: 27204
472.48/473.99 c #Conflicts: 635000 | #Constraints: 28204
472.48/473.99 c #Conflicts: 636000 | #Constraints: 29204
472.48/473.99 c #Conflicts: 637000 | #Constraints: 30204
472.48/473.99 c #Conflicts: 638000 | #Constraints: 31204
472.48/473.99 c #Conflicts: 639000 | #Constraints: 32204
472.48/473.99 c INPROCESSING
472.48/473.99 c GARBAGE COLLECT
472.48/473.99 c #Conflicts: 640000 | #Constraints: 17405
472.48/473.99 c #Conflicts: 641000 | #Constraints: 18405
472.48/473.99 c #Conflicts: 642000 | #Constraints: 19405
472.48/473.99 c #Conflicts: 643000 | #Constraints: 20405
472.48/473.99 c #Conflicts: 644000 | #Constraints: 21405
472.48/473.99 c #Conflicts: 645000 | #Constraints: 22405
472.48/473.99 c #Conflicts: 646000 | #Constraints: 23405
472.48/473.99 c #Conflicts: 647000 | #Constraints: 24405
472.48/473.99 c #Conflicts: 648000 | #Constraints: 25405
472.48/473.99 c #Conflicts: 649000 | #Constraints: 26405
472.48/473.99 c #Conflicts: 650000 | #Constraints: 27405
472.48/473.99 c #Conflicts: 651000 | #Constraints: 28405
472.48/473.99 c #Conflicts: 652000 | #Constraints: 29405
472.48/473.99 c #Conflicts: 653000 | #Constraints: 30405
472.48/473.99 c #Conflicts: 654000 | #Constraints: 31405
472.48/473.99 c #Conflicts: 655000 | #Constraints: 32405
472.48/473.99 c INPROCESSING
472.48/473.99 c GARBAGE COLLECT
472.48/473.99 c #Conflicts: 656000 | #Constraints: 17402
472.48/473.99 c #Conflicts: 657000 | #Constraints: 18402
472.48/473.99 c #Conflicts: 658000 | #Constraints: 19402
472.48/473.99 c #Conflicts: 659000 | #Constraints: 20402
472.48/473.99 c #Conflicts: 660000 | #Constraints: 21402
472.48/473.99 c #Conflicts: 661000 | #Constraints: 22402
472.48/473.99 c #Conflicts: 662000 | #Constraints: 23402
472.48/473.99 c #Conflicts: 663000 | #Constraints: 24402
472.48/473.99 c #Conflicts: 664000 | #Constraints: 25402
569.47/571.26 c #Conflicts: 665000 | #Constraints: 26402
569.47/571.26 c #Conflicts: 666000 | #Constraints: 27402
569.47/571.26 c #Conflicts: 667000 | #Constraints: 28402
569.47/571.26 c #Conflicts: 668000 | #Constraints: 29402
569.47/571.26 c #Conflicts: 669000 | #Constraints: 30402
569.47/571.26 c #Conflicts: 670000 | #Constraints: 31402
569.47/571.26 c #Conflicts: 671000 | #Constraints: 32402
569.47/571.26 c INPROCESSING
569.47/571.26 c GARBAGE COLLECT
569.47/571.26 c #Conflicts: 672000 | #Constraints: 17206
569.47/571.26 c #Conflicts: 673000 | #Constraints: 18206
569.47/571.26 c #Conflicts: 674000 | #Constraints: 19206
569.47/571.26 c #Conflicts: 675000 | #Constraints: 20206
569.47/571.26 c #Conflicts: 676000 | #Constraints: 21206
569.47/571.26 c #Conflicts: 677000 | #Constraints: 22206
569.47/571.26 c #Conflicts: 678000 | #Constraints: 23206
569.47/571.26 c #Conflicts: 679000 | #Constraints: 24206
569.47/571.26 c #Conflicts: 680000 | #Constraints: 25206
569.47/571.26 c #Conflicts: 681000 | #Constraints: 26206
569.47/571.26 c #Conflicts: 682000 | #Constraints: 27206
569.47/571.26 c #Conflicts: 683000 | #Constraints: 28206
569.47/571.26 c #Conflicts: 684000 | #Constraints: 29206
569.47/571.26 c #Conflicts: 685000 | #Constraints: 30206
569.47/571.26 c #Conflicts: 686000 | #Constraints: 31206
569.47/571.26 c #Conflicts: 687000 | #Constraints: 32206
569.47/571.26 c #Conflicts: 688000 | #Constraints: 33206
569.47/571.26 c INPROCESSING
569.47/571.26 c GARBAGE COLLECT
569.47/571.26 c #Conflicts: 689000 | #Constraints: 17804
569.47/571.26 c #Conflicts: 690000 | #Constraints: 18804
569.47/571.26 c #Conflicts: 691000 | #Constraints: 19804
569.47/571.26 c #Conflicts: 692000 | #Constraints: 20804
569.47/571.26 c #Conflicts: 693000 | #Constraints: 21804
569.47/571.26 c #Conflicts: 694000 | #Constraints: 22804
569.47/571.26 c #Conflicts: 695000 | #Constraints: 23804
569.47/571.26 c #Conflicts: 696000 | #Constraints: 24804
569.47/571.26 c #Conflicts: 697000 | #Constraints: 25804
569.47/571.26 c #Conflicts: 698000 | #Constraints: 26804
569.47/571.26 c #Conflicts: 699000 | #Constraints: 27804
569.47/571.26 c #Conflicts: 700000 | #Constraints: 28804
569.47/571.26 c #Conflicts: 701000 | #Constraints: 29804
569.47/571.26 c #Conflicts: 702000 | #Constraints: 30804
569.47/571.26 c #Conflicts: 703000 | #Constraints: 31804
569.47/571.26 c #Conflicts: 704000 | #Constraints: 32804
569.47/571.26 c #Conflicts: 705000 | #Constraints: 33804
569.47/571.26 c INPROCESSING
569.47/571.26 c GARBAGE COLLECT
569.47/571.26 c #Conflicts: 706000 | #Constraints: 18206
569.47/571.26 c #Conflicts: 707000 | #Constraints: 19206
569.47/571.26 c #Conflicts: 708000 | #Constraints: 20206
569.47/571.26 c #Conflicts: 709000 | #Constraints: 21206
569.47/571.26 c #Conflicts: 710000 | #Constraints: 22206
569.47/571.26 c #Conflicts: 711000 | #Constraints: 23206
569.47/571.26 c #Conflicts: 712000 | #Constraints: 24206
569.47/571.26 c #Conflicts: 713000 | #Constraints: 25206
569.47/571.26 c #Conflicts: 714000 | #Constraints: 26206
569.47/571.26 c #Conflicts: 715000 | #Constraints: 27206
569.47/571.26 c #Conflicts: 716000 | #Constraints: 28206
569.47/571.26 c #Conflicts: 717000 | #Constraints: 29206
569.47/571.26 c #Conflicts: 718000 | #Constraints: 30206
569.47/571.26 c #Conflicts: 719000 | #Constraints: 31206
569.47/571.26 c #Conflicts: 720000 | #Constraints: 32206
569.47/571.26 c #Conflicts: 721000 | #Constraints: 33206
569.47/571.26 c #Conflicts: 722000 | #Constraints: 34206
569.47/571.26 c INPROCESSING
569.47/571.26 c GARBAGE COLLECT
569.47/571.26 c #Conflicts: 723000 | #Constraints: 18413
569.47/571.26 c #Conflicts: 724000 | #Constraints: 19413
569.47/571.26 c #Conflicts: 725000 | #Constraints: 20413
569.47/571.26 c #Conflicts: 726000 | #Constraints: 21413
569.47/571.26 c #Conflicts: 727000 | #Constraints: 22413
569.47/571.26 c #Conflicts: 728000 | #Constraints: 23413
569.47/571.26 c #Conflicts: 729000 | #Constraints: 24413
569.47/571.26 c #Conflicts: 730000 | #Constraints: 25413
569.47/571.26 c #Conflicts: 731000 | #Constraints: 26413
569.47/571.26 c #Conflicts: 732000 | #Constraints: 27413
569.47/571.26 c #Conflicts: 733000 | #Constraints: 28413
569.47/571.26 c #Conflicts: 734000 | #Constraints: 29413
569.47/571.26 c #Conflicts: 735000 | #Constraints: 30413
569.47/571.26 c #Conflicts: 736000 | #Constraints: 31413
569.47/571.26 c #Conflicts: 737000 | #Constraints: 32413
569.47/571.26 c #Conflicts: 738000 | #Constraints: 33413
569.47/571.26 c #Conflicts: 739000 | #Constraints: 34413
569.47/571.26 c INPROCESSING
569.47/571.26 c GARBAGE COLLECT
665.08/667.14 c #Conflicts: 740000 | #Constraints: 18414
665.08/667.14 c #Conflicts: 741000 | #Constraints: 19414
665.08/667.14 c #Conflicts: 742000 | #Constraints: 20414
665.08/667.14 c #Conflicts: 743000 | #Constraints: 21414
665.08/667.14 c #Conflicts: 744000 | #Constraints: 22414
665.08/667.14 c #Conflicts: 745000 | #Constraints: 23414
665.08/667.14 c #Conflicts: 746000 | #Constraints: 24414
665.08/667.14 c #Conflicts: 747000 | #Constraints: 25414
665.08/667.14 c #Conflicts: 748000 | #Constraints: 26414
665.08/667.14 c #Conflicts: 749000 | #Constraints: 27414
665.08/667.14 c #Conflicts: 750000 | #Constraints: 28414
665.08/667.14 c #Conflicts: 751000 | #Constraints: 29414
665.08/667.14 c #Conflicts: 752000 | #Constraints: 30414
665.08/667.14 c #Conflicts: 753000 | #Constraints: 31414
665.08/667.14 c #Conflicts: 754000 | #Constraints: 32414
665.08/667.14 c #Conflicts: 755000 | #Constraints: 33414
665.08/667.14 c #Conflicts: 756000 | #Constraints: 34414
665.08/667.14 c INPROCESSING
665.08/667.14 c GARBAGE COLLECT
665.08/667.14 c #Conflicts: 757000 | #Constraints: 18212
665.08/667.14 c #Conflicts: 758000 | #Constraints: 19212
665.08/667.14 c #Conflicts: 759000 | #Constraints: 20212
665.08/667.14 c #Conflicts: 760000 | #Constraints: 21212
665.08/667.14 c #Conflicts: 761000 | #Constraints: 22212
665.08/667.14 c #Conflicts: 762000 | #Constraints: 23212
665.08/667.14 c #Conflicts: 763000 | #Constraints: 24212
665.08/667.14 c #Conflicts: 764000 | #Constraints: 25212
665.08/667.14 c #Conflicts: 765000 | #Constraints: 26212
665.08/667.14 c #Conflicts: 766000 | #Constraints: 27212
665.08/667.14 c #Conflicts: 767000 | #Constraints: 28212
665.08/667.14 c #Conflicts: 768000 | #Constraints: 29212
665.08/667.14 c #Conflicts: 769000 | #Constraints: 30212
665.08/667.14 c #Conflicts: 770000 | #Constraints: 31212
665.08/667.14 c #Conflicts: 771000 | #Constraints: 32212
665.08/667.14 c #Conflicts: 772000 | #Constraints: 33212
665.08/667.14 c #Conflicts: 773000 | #Constraints: 34212
665.08/667.14 c #Conflicts: 774000 | #Constraints: 35212
665.08/667.14 c INPROCESSING
665.08/667.14 c GARBAGE COLLECT
665.08/667.14 c #Conflicts: 775000 | #Constraints: 18809
665.08/667.14 c #Conflicts: 776000 | #Constraints: 19809
665.08/667.14 c #Conflicts: 777000 | #Constraints: 20809
665.08/667.14 c #Conflicts: 778000 | #Constraints: 21809
665.08/667.14 c #Conflicts: 779000 | #Constraints: 22809
665.08/667.14 c #Conflicts: 780000 | #Constraints: 23809
665.08/667.14 c #Conflicts: 781000 | #Constraints: 24809
665.08/667.14 c #Conflicts: 782000 | #Constraints: 25809
665.08/667.14 c #Conflicts: 783000 | #Constraints: 26809
665.08/667.14 c #Conflicts: 784000 | #Constraints: 27809
665.08/667.14 c #Conflicts: 785000 | #Constraints: 28809
665.08/667.14 c #Conflicts: 786000 | #Constraints: 29809
665.08/667.14 c #Conflicts: 787000 | #Constraints: 30809
665.08/667.14 c #Conflicts: 788000 | #Constraints: 31809
665.08/667.14 c #Conflicts: 789000 | #Constraints: 32809
665.08/667.14 c #Conflicts: 790000 | #Constraints: 33809
665.08/667.14 c #Conflicts: 791000 | #Constraints: 34809
665.08/667.14 c #Conflicts: 792000 | #Constraints: 35809
665.08/667.14 c INPROCESSING
665.08/667.14 c GARBAGE COLLECT
665.08/667.14 c #Conflicts: 793000 | #Constraints: 19203
665.08/667.14 c #Conflicts: 794000 | #Constraints: 20203
665.08/667.14 c #Conflicts: 795000 | #Constraints: 21203
665.08/667.14 c #Conflicts: 796000 | #Constraints: 22203
665.08/667.14 c #Conflicts: 797000 | #Constraints: 23203
665.08/667.14 c #Conflicts: 798000 | #Constraints: 24203
665.08/667.14 c #Conflicts: 799000 | #Constraints: 25203
665.08/667.14 c #Conflicts: 800000 | #Constraints: 26203
665.08/667.14 c #Conflicts: 801000 | #Constraints: 27203
665.08/667.14 c #Conflicts: 802000 | #Constraints: 28203
665.08/667.14 c #Conflicts: 803000 | #Constraints: 29203
665.08/667.14 c #Conflicts: 804000 | #Constraints: 30203
665.08/667.14 c #Conflicts: 805000 | #Constraints: 31203
665.08/667.14 c #Conflicts: 806000 | #Constraints: 32203
665.08/667.14 c #Conflicts: 807000 | #Constraints: 33203
665.08/667.14 c #Conflicts: 808000 | #Constraints: 34203
665.08/667.14 c #Conflicts: 809000 | #Constraints: 35203
665.08/667.14 c #Conflicts: 810000 | #Constraints: 36203
665.08/667.14 c INPROCESSING
665.08/667.14 c GARBAGE COLLECT
665.08/667.14 c #Conflicts: 811000 | #Constraints: 19402
665.08/667.14 c #Conflicts: 812000 | #Constraints: 20402
665.08/667.14 c #Conflicts: 813000 | #Constraints: 21402
665.08/667.14 c #Conflicts: 814000 | #Constraints: 22402
665.08/667.14 c #Conflicts: 815000 | #Constraints: 23402
665.08/667.14 c #Conflicts: 816000 | #Constraints: 24402
771.15/773.54 c #Conflicts: 817000 | #Constraints: 25402
771.15/773.54 c #Conflicts: 818000 | #Constraints: 26402
771.15/773.54 c #Conflicts: 819000 | #Constraints: 27402
771.15/773.54 c #Conflicts: 820000 | #Constraints: 28402
771.15/773.54 c #Conflicts: 821000 | #Constraints: 29402
771.15/773.54 c #Conflicts: 822000 | #Constraints: 30402
771.15/773.54 c #Conflicts: 823000 | #Constraints: 31402
771.15/773.54 c #Conflicts: 824000 | #Constraints: 32402
771.15/773.54 c #Conflicts: 825000 | #Constraints: 33402
771.15/773.54 c #Conflicts: 826000 | #Constraints: 34402
771.15/773.54 c #Conflicts: 827000 | #Constraints: 35402
771.15/773.54 c #Conflicts: 828000 | #Constraints: 36402
771.15/773.54 c INPROCESSING
771.15/773.54 c GARBAGE COLLECT
771.15/773.54 c #Conflicts: 829000 | #Constraints: 19404
771.15/773.54 c #Conflicts: 830000 | #Constraints: 20404
771.15/773.54 c #Conflicts: 831000 | #Constraints: 21404
771.15/773.54 c #Conflicts: 832000 | #Constraints: 22404
771.15/773.54 c #Conflicts: 833000 | #Constraints: 23404
771.15/773.54 c #Conflicts: 834000 | #Constraints: 24404
771.15/773.54 c #Conflicts: 835000 | #Constraints: 25404
771.15/773.54 c #Conflicts: 836000 | #Constraints: 26404
771.15/773.54 c #Conflicts: 837000 | #Constraints: 27404
771.15/773.54 c #Conflicts: 838000 | #Constraints: 28404
771.15/773.54 c #Conflicts: 839000 | #Constraints: 29404
771.15/773.54 c #Conflicts: 840000 | #Constraints: 30404
771.15/773.54 c #Conflicts: 841000 | #Constraints: 31404
771.15/773.54 c #Conflicts: 842000 | #Constraints: 32404
771.15/773.54 c #Conflicts: 843000 | #Constraints: 33404
771.15/773.54 c #Conflicts: 844000 | #Constraints: 34404
771.15/773.54 c #Conflicts: 845000 | #Constraints: 35404
771.15/773.54 c #Conflicts: 846000 | #Constraints: 36404
771.15/773.54 c INPROCESSING
771.15/773.54 c GARBAGE COLLECT
771.15/773.54 c #Conflicts: 847000 | #Constraints: 19203
771.15/773.54 c #Conflicts: 848000 | #Constraints: 20203
771.15/773.54 c #Conflicts: 849000 | #Constraints: 21203
771.15/773.54 c #Conflicts: 850000 | #Constraints: 22203
771.15/773.54 c #Conflicts: 851000 | #Constraints: 23203
771.15/773.54 c #Conflicts: 852000 | #Constraints: 24203
771.15/773.54 c #Conflicts: 853000 | #Constraints: 25203
771.15/773.54 c #Conflicts: 854000 | #Constraints: 26203
771.15/773.54 c #Conflicts: 855000 | #Constraints: 27203
771.15/773.54 c #Conflicts: 856000 | #Constraints: 28203
771.15/773.54 c #Conflicts: 857000 | #Constraints: 29203
771.15/773.54 c #Conflicts: 858000 | #Constraints: 30203
771.15/773.54 c #Conflicts: 859000 | #Constraints: 31203
771.15/773.54 c #Conflicts: 860000 | #Constraints: 32203
771.15/773.54 c #Conflicts: 861000 | #Constraints: 33203
771.15/773.54 c #Conflicts: 862000 | #Constraints: 34203
771.15/773.54 c #Conflicts: 863000 | #Constraints: 35203
771.15/773.54 c #Conflicts: 864000 | #Constraints: 36203
771.15/773.54 c #Conflicts: 865000 | #Constraints: 37203
771.15/773.54 c INPROCESSING
771.15/773.54 c GARBAGE COLLECT
771.15/773.54 c #Conflicts: 866000 | #Constraints: 19801
771.15/773.54 c #Conflicts: 867000 | #Constraints: 20801
771.15/773.54 c #Conflicts: 868000 | #Constraints: 21801
771.15/773.54 c #Conflicts: 869000 | #Constraints: 22801
771.15/773.54 c #Conflicts: 870000 | #Constraints: 23801
771.15/773.54 c #Conflicts: 871000 | #Constraints: 24801
771.15/773.54 c #Conflicts: 872000 | #Constraints: 25801
771.15/773.54 c #Conflicts: 873000 | #Constraints: 26801
771.15/773.54 c #Conflicts: 874000 | #Constraints: 27801
771.15/773.54 c #Conflicts: 875000 | #Constraints: 28801
771.15/773.54 c #Conflicts: 876000 | #Constraints: 29801
771.15/773.54 c #Conflicts: 877000 | #Constraints: 30801
771.15/773.54 c #Conflicts: 878000 | #Constraints: 31801
771.15/773.54 c #Conflicts: 879000 | #Constraints: 32801
771.15/773.54 c #Conflicts: 880000 | #Constraints: 33801
771.15/773.54 c #Conflicts: 881000 | #Constraints: 34801
771.15/773.54 c #Conflicts: 882000 | #Constraints: 35801
771.15/773.54 c #Conflicts: 883000 | #Constraints: 36801
771.15/773.54 c #Conflicts: 884000 | #Constraints: 37801
771.15/773.54 c INPROCESSING
771.15/773.54 c GARBAGE COLLECT
771.15/773.54 c #Conflicts: 885000 | #Constraints: 20200
771.15/773.54 c #Conflicts: 886000 | #Constraints: 21200
771.15/773.54 c #Conflicts: 887000 | #Constraints: 22200
771.15/773.54 c #Conflicts: 888000 | #Constraints: 23200
771.15/773.54 c #Conflicts: 889000 | #Constraints: 24200
771.15/773.54 c #Conflicts: 890000 | #Constraints: 25200
771.15/773.54 c #Conflicts: 891000 | #Constraints: 26200
771.15/773.54 c #Conflicts: 892000 | #Constraints: 27200
862.18/864.83 c #Conflicts: 893000 | #Constraints: 28200
862.18/864.83 c #Conflicts: 894000 | #Constraints: 29200
862.18/864.83 c #Conflicts: 895000 | #Constraints: 30200
862.18/864.83 c #Conflicts: 896000 | #Constraints: 31200
862.18/864.83 c #Conflicts: 897000 | #Constraints: 32200
862.18/864.83 c #Conflicts: 898000 | #Constraints: 33200
862.18/864.83 c #Conflicts: 899000 | #Constraints: 34200
862.18/864.83 c #Conflicts: 900000 | #Constraints: 35200
862.18/864.83 c #Conflicts: 901000 | #Constraints: 36200
862.18/864.83 c #Conflicts: 902000 | #Constraints: 37200
862.18/864.83 c #Conflicts: 903000 | #Constraints: 38200
862.18/864.83 c INPROCESSING
862.18/864.83 c GARBAGE COLLECT
862.18/864.83 c #Conflicts: 904000 | #Constraints: 20401
862.18/864.83 c #Conflicts: 905000 | #Constraints: 21401
862.18/864.83 c #Conflicts: 906000 | #Constraints: 22401
862.18/864.83 c #Conflicts: 907000 | #Constraints: 23401
862.18/864.83 c #Conflicts: 908000 | #Constraints: 24401
862.18/864.83 c #Conflicts: 909000 | #Constraints: 25401
862.18/864.83 c #Conflicts: 910000 | #Constraints: 26401
862.18/864.83 c #Conflicts: 911000 | #Constraints: 27401
862.18/864.83 c #Conflicts: 912000 | #Constraints: 28401
862.18/864.83 c #Conflicts: 913000 | #Constraints: 29401
862.18/864.83 c #Conflicts: 914000 | #Constraints: 30401
862.18/864.83 c #Conflicts: 915000 | #Constraints: 31401
862.18/864.83 c #Conflicts: 916000 | #Constraints: 32401
862.18/864.83 c #Conflicts: 917000 | #Constraints: 33401
862.18/864.83 c #Conflicts: 918000 | #Constraints: 34401
862.18/864.83 c #Conflicts: 919000 | #Constraints: 35401
862.18/864.83 c #Conflicts: 920000 | #Constraints: 36401
862.18/864.83 c #Conflicts: 921000 | #Constraints: 37401
862.18/864.83 c #Conflicts: 922000 | #Constraints: 38401
862.18/864.83 c INPROCESSING
862.18/864.83 c GARBAGE COLLECT
862.18/864.83 c #Conflicts: 923000 | #Constraints: 20407
862.18/864.83 c #Conflicts: 924000 | #Constraints: 21407
862.18/864.83 c #Conflicts: 925000 | #Constraints: 22407
862.18/864.83 c #Conflicts: 926000 | #Constraints: 23407
862.18/864.83 c #Conflicts: 927000 | #Constraints: 24407
862.18/864.83 c #Conflicts: 928000 | #Constraints: 25407
862.18/864.83 c #Conflicts: 929000 | #Constraints: 26407
862.18/864.83 c #Conflicts: 930000 | #Constraints: 27407
862.18/864.83 c #Conflicts: 931000 | #Constraints: 28407
862.18/864.83 c #Conflicts: 932000 | #Constraints: 29407
862.18/864.83 c #Conflicts: 933000 | #Constraints: 30407
862.18/864.83 c #Conflicts: 934000 | #Constraints: 31407
862.18/864.83 c #Conflicts: 935000 | #Constraints: 32407
862.18/864.83 c #Conflicts: 936000 | #Constraints: 33407
862.18/864.83 c #Conflicts: 937000 | #Constraints: 34407
862.18/864.83 c #Conflicts: 938000 | #Constraints: 35407
862.18/864.83 c #Conflicts: 939000 | #Constraints: 36407
862.18/864.83 c #Conflicts: 940000 | #Constraints: 37407
862.18/864.83 c #Conflicts: 941000 | #Constraints: 38407
862.18/864.83 c INPROCESSING
862.18/864.83 c GARBAGE COLLECT
862.18/864.83 c #Conflicts: 942000 | #Constraints: 20202
862.18/864.83 c #Conflicts: 943000 | #Constraints: 21202
862.18/864.83 c #Conflicts: 944000 | #Constraints: 22202
862.18/864.83 c #Conflicts: 945000 | #Constraints: 23202
862.18/864.83 c #Conflicts: 946000 | #Constraints: 24202
862.18/864.83 c #Conflicts: 947000 | #Constraints: 25202
862.18/864.83 c #Conflicts: 948000 | #Constraints: 26202
862.18/864.83 c #Conflicts: 949000 | #Constraints: 27202
862.18/864.83 c #Conflicts: 950000 | #Constraints: 28202
862.18/864.83 c #Conflicts: 951000 | #Constraints: 29202
862.18/864.83 c #Conflicts: 952000 | #Constraints: 30202
862.18/864.83 c #Conflicts: 953000 | #Constraints: 31202
862.18/864.83 c #Conflicts: 954000 | #Constraints: 32202
862.18/864.83 c #Conflicts: 955000 | #Constraints: 33202
862.18/864.83 c #Conflicts: 956000 | #Constraints: 34202
862.18/864.83 c #Conflicts: 957000 | #Constraints: 35202
862.18/864.83 c #Conflicts: 958000 | #Constraints: 36202
862.18/864.83 c #Conflicts: 959000 | #Constraints: 37202
862.18/864.83 c #Conflicts: 960000 | #Constraints: 38202
862.18/864.83 c #Conflicts: 961000 | #Constraints: 39202
862.18/864.83 c INPROCESSING
862.18/864.83 c GARBAGE COLLECT
862.18/864.83 c #Conflicts: 962000 | #Constraints: 20806
862.18/864.83 c #Conflicts: 963000 | #Constraints: 21806
862.18/864.83 c #Conflicts: 964000 | #Constraints: 22806
862.18/864.83 c #Conflicts: 965000 | #Constraints: 23806
862.18/864.83 c #Conflicts: 966000 | #Constraints: 24806
862.18/864.83 c #Conflicts: 967000 | #Constraints: 25806
862.18/864.83 c #Conflicts: 968000 | #Constraints: 26806
964.56/967.58 c #Conflicts: 969000 | #Constraints: 27806
964.56/967.58 c #Conflicts: 970000 | #Constraints: 28806
964.56/967.58 c #Conflicts: 971000 | #Constraints: 29806
964.56/967.58 c #Conflicts: 972000 | #Constraints: 30806
964.56/967.58 c #Conflicts: 973000 | #Constraints: 31806
964.56/967.58 c #Conflicts: 974000 | #Constraints: 32806
964.56/967.58 c #Conflicts: 975000 | #Constraints: 33806
964.56/967.58 c #Conflicts: 976000 | #Constraints: 34806
964.56/967.58 c #Conflicts: 977000 | #Constraints: 35806
964.56/967.58 c #Conflicts: 978000 | #Constraints: 36806
964.56/967.58 c #Conflicts: 979000 | #Constraints: 37806
964.56/967.58 c #Conflicts: 980000 | #Constraints: 38806
964.56/967.58 c #Conflicts: 981000 | #Constraints: 39806
964.56/967.58 c INPROCESSING
964.56/967.58 c GARBAGE COLLECT
964.56/967.58 c #Conflicts: 982000 | #Constraints: 21207
964.56/967.58 c #Conflicts: 983000 | #Constraints: 22207
964.56/967.58 c #Conflicts: 984000 | #Constraints: 23207
964.56/967.58 c #Conflicts: 985000 | #Constraints: 24207
964.56/967.58 c #Conflicts: 986000 | #Constraints: 25207
964.56/967.58 c #Conflicts: 987000 | #Constraints: 26207
964.56/967.58 c #Conflicts: 988000 | #Constraints: 27207
964.56/967.58 c #Conflicts: 989000 | #Constraints: 28207
964.56/967.58 c #Conflicts: 990000 | #Constraints: 29207
964.56/967.58 c #Conflicts: 991000 | #Constraints: 30207
964.56/967.58 c #Conflicts: 992000 | #Constraints: 31207
964.56/967.58 c #Conflicts: 993000 | #Constraints: 32207
964.56/967.58 c #Conflicts: 994000 | #Constraints: 33207
964.56/967.58 c #Conflicts: 995000 | #Constraints: 34207
964.56/967.58 c #Conflicts: 996000 | #Constraints: 35207
964.56/967.58 c #Conflicts: 997000 | #Constraints: 36207
964.56/967.58 c #Conflicts: 998000 | #Constraints: 37207
964.56/967.58 c #Conflicts: 999000 | #Constraints: 38207
964.56/967.58 c #Conflicts: 1000000 | #Constraints: 39207
964.56/967.58 c #Conflicts: 1001000 | #Constraints: 40207
964.56/967.58 c INPROCESSING
964.56/967.58 c GARBAGE COLLECT
964.56/967.58 c #Conflicts: 1002000 | #Constraints: 21412
964.56/967.58 c #Conflicts: 1003000 | #Constraints: 22412
964.56/967.58 c #Conflicts: 1004000 | #Constraints: 23412
964.56/967.58 c #Conflicts: 1005000 | #Constraints: 24412
964.56/967.58 c #Conflicts: 1006000 | #Constraints: 25412
964.56/967.58 c #Conflicts: 1007000 | #Constraints: 26412
964.56/967.58 c #Conflicts: 1008000 | #Constraints: 27412
964.56/967.58 c #Conflicts: 1009000 | #Constraints: 28412
964.56/967.58 c #Conflicts: 1010000 | #Constraints: 29412
964.56/967.58 c #Conflicts: 1011000 | #Constraints: 30412
964.56/967.58 c #Conflicts: 1012000 | #Constraints: 31412
964.56/967.58 c #Conflicts: 1013000 | #Constraints: 32412
964.56/967.58 c #Conflicts: 1014000 | #Constraints: 33412
964.56/967.58 c #Conflicts: 1015000 | #Constraints: 34412
964.56/967.58 c #Conflicts: 1016000 | #Constraints: 35412
964.56/967.58 c #Conflicts: 1017000 | #Constraints: 36412
964.56/967.58 c #Conflicts: 1018000 | #Constraints: 37412
964.56/967.58 c #Conflicts: 1019000 | #Constraints: 38412
964.56/967.58 c #Conflicts: 1020000 | #Constraints: 39412
964.56/967.58 c #Conflicts: 1021000 | #Constraints: 40412
964.56/967.58 c INPROCESSING
964.56/967.58 c GARBAGE COLLECT
964.56/967.58 c #Conflicts: 1022000 | #Constraints: 21408
964.56/967.58 c #Conflicts: 1023000 | #Constraints: 22408
964.56/967.58 c #Conflicts: 1024000 | #Constraints: 23408
964.56/967.58 c #Conflicts: 1025000 | #Constraints: 24408
964.56/967.58 c #Conflicts: 1026000 | #Constraints: 25408
964.56/967.58 c #Conflicts: 1027000 | #Constraints: 26408
964.56/967.58 c #Conflicts: 1028000 | #Constraints: 27408
964.56/967.58 c #Conflicts: 1029000 | #Constraints: 28408
964.56/967.58 c #Conflicts: 1030000 | #Constraints: 29408
964.56/967.58 c #Conflicts: 1031000 | #Constraints: 30408
964.56/967.58 c #Conflicts: 1032000 | #Constraints: 31408
964.56/967.58 c #Conflicts: 1033000 | #Constraints: 32408
964.56/967.58 c #Conflicts: 1034000 | #Constraints: 33408
964.56/967.58 c #Conflicts: 1035000 | #Constraints: 34408
964.56/967.58 c #Conflicts: 1036000 | #Constraints: 35408
964.56/967.58 c #Conflicts: 1037000 | #Constraints: 36408
964.56/967.58 c #Conflicts: 1038000 | #Constraints: 37408
964.56/967.58 c #Conflicts: 1039000 | #Constraints: 38408
964.56/967.58 c #Conflicts: 1040000 | #Constraints: 39408
964.56/967.58 c #Conflicts: 1041000 | #Constraints: 40408
964.56/967.58 c INPROCESSING
964.56/967.58 c GARBAGE COLLECT
964.56/967.58 c #Conflicts: 1042000 | #Constraints: 21198
964.56/967.58 c #Conflicts: 1043000 | #Constraints: 22198
964.56/967.58 c #Conflicts: 1044000 | #Constraints: 23198
1056.18/1059.45 c #Conflicts: 1045000 | #Constraints: 24198
1056.18/1059.45 c #Conflicts: 1046000 | #Constraints: 25198
1056.18/1059.45 c #Conflicts: 1047000 | #Constraints: 26198
1056.18/1059.45 c #Conflicts: 1048000 | #Constraints: 27198
1056.18/1059.45 c #Conflicts: 1049000 | #Constraints: 28198
1056.18/1059.45 c #Conflicts: 1050000 | #Constraints: 29198
1056.18/1059.45 c #Conflicts: 1051000 | #Constraints: 30198
1056.18/1059.45 c #Conflicts: 1052000 | #Constraints: 31198
1056.18/1059.45 c #Conflicts: 1053000 | #Constraints: 32198
1056.18/1059.45 c #Conflicts: 1054000 | #Constraints: 33198
1056.18/1059.45 c #Conflicts: 1055000 | #Constraints: 34198
1056.18/1059.45 c #Conflicts: 1056000 | #Constraints: 35198
1056.18/1059.45 c #Conflicts: 1057000 | #Constraints: 36198
1056.18/1059.45 c #Conflicts: 1058000 | #Constraints: 37198
1056.18/1059.45 c #Conflicts: 1059000 | #Constraints: 38198
1056.18/1059.45 c #Conflicts: 1060000 | #Constraints: 39198
1056.18/1059.45 c #Conflicts: 1061000 | #Constraints: 40198
1056.18/1059.45 c #Conflicts: 1062000 | #Constraints: 41198
1056.18/1059.45 c INPROCESSING
1056.18/1059.45 c GARBAGE COLLECT
1056.18/1059.45 c #Conflicts: 1063000 | #Constraints: 21808
1056.18/1059.45 c #Conflicts: 1064000 | #Constraints: 22808
1056.18/1059.45 c #Conflicts: 1065000 | #Constraints: 23808
1056.18/1059.45 c #Conflicts: 1066000 | #Constraints: 24808
1056.18/1059.45 c #Conflicts: 1067000 | #Constraints: 25808
1056.18/1059.45 c #Conflicts: 1068000 | #Constraints: 26808
1056.18/1059.45 c #Conflicts: 1069000 | #Constraints: 27808
1056.18/1059.45 c #Conflicts: 1070000 | #Constraints: 28808
1056.18/1059.45 c #Conflicts: 1071000 | #Constraints: 29808
1056.18/1059.45 c #Conflicts: 1072000 | #Constraints: 30808
1056.18/1059.45 c #Conflicts: 1073000 | #Constraints: 31808
1056.18/1059.45 c #Conflicts: 1074000 | #Constraints: 32808
1056.18/1059.45 c #Conflicts: 1075000 | #Constraints: 33808
1056.18/1059.45 c #Conflicts: 1076000 | #Constraints: 34808
1056.18/1059.45 c #Conflicts: 1077000 | #Constraints: 35808
1056.18/1059.45 c #Conflicts: 1078000 | #Constraints: 36808
1056.18/1059.45 c #Conflicts: 1079000 | #Constraints: 37808
1056.18/1059.45 c #Conflicts: 1080000 | #Constraints: 38808
1056.18/1059.45 c #Conflicts: 1081000 | #Constraints: 39808
1056.18/1059.45 c #Conflicts: 1082000 | #Constraints: 40808
1056.18/1059.45 c #Conflicts: 1083000 | #Constraints: 41808
1056.18/1059.45 c INPROCESSING
1056.18/1059.45 c GARBAGE COLLECT
1056.18/1059.45 c #Conflicts: 1084000 | #Constraints: 22198
1056.18/1059.45 c #Conflicts: 1085000 | #Constraints: 23198
1056.18/1059.45 c #Conflicts: 1086000 | #Constraints: 24198
1056.18/1059.45 c #Conflicts: 1087000 | #Constraints: 25198
1056.18/1059.45 c #Conflicts: 1088000 | #Constraints: 26198
1056.18/1059.45 c #Conflicts: 1089000 | #Constraints: 27198
1056.18/1059.45 c #Conflicts: 1090000 | #Constraints: 28198
1056.18/1059.45 c #Conflicts: 1091000 | #Constraints: 29198
1056.18/1059.45 c #Conflicts: 1092000 | #Constraints: 30198
1056.18/1059.45 c #Conflicts: 1093000 | #Constraints: 31198
1056.18/1059.45 c #Conflicts: 1094000 | #Constraints: 32198
1056.18/1059.45 c #Conflicts: 1095000 | #Constraints: 33198
1056.18/1059.45 c #Conflicts: 1096000 | #Constraints: 34198
1056.18/1059.45 c #Conflicts: 1097000 | #Constraints: 35198
1056.18/1059.45 c #Conflicts: 1098000 | #Constraints: 36198
1056.18/1059.45 c #Conflicts: 1099000 | #Constraints: 37198
1056.18/1059.45 c #Conflicts: 1100000 | #Constraints: 38198
1056.18/1059.45 c #Conflicts: 1101000 | #Constraints: 39198
1056.18/1059.45 c #Conflicts: 1102000 | #Constraints: 40198
1056.18/1059.45 c #Conflicts: 1103000 | #Constraints: 41198
1056.18/1059.45 c #Conflicts: 1104000 | #Constraints: 42198
1056.18/1059.45 c INPROCESSING
1056.18/1059.45 c GARBAGE COLLECT
1056.18/1059.45 c #Conflicts: 1105000 | #Constraints: 22404
1056.18/1059.45 c #Conflicts: 1106000 | #Constraints: 23404
1056.18/1059.45 c #Conflicts: 1107000 | #Constraints: 24404
1056.18/1059.45 c #Conflicts: 1108000 | #Constraints: 25404
1056.18/1059.45 c #Conflicts: 1109000 | #Constraints: 26404
1056.18/1059.45 c #Conflicts: 1110000 | #Constraints: 27404
1056.18/1059.45 c #Conflicts: 1111000 | #Constraints: 28404
1056.18/1059.45 c #Conflicts: 1112000 | #Constraints: 29404
1056.18/1059.45 c #Conflicts: 1113000 | #Constraints: 30404
1056.18/1059.45 c #Conflicts: 1114000 | #Constraints: 31404
1056.18/1059.45 c #Conflicts: 1115000 | #Constraints: 32404
1056.18/1059.45 c #Conflicts: 1116000 | #Constraints: 33404
1056.18/1059.45 c #Conflicts: 1117000 | #Constraints: 34404
1056.18/1059.45 c #Conflicts: 1118000 | #Constraints: 35404
1056.18/1059.45 c #Conflicts: 1119000 | #Constraints: 36404
1056.18/1059.45 c #Conflicts: 1120000 | #Constraints: 37404
1056.18/1059.45 c #Conflicts: 1121000 | #Constraints: 38404
1088.38/1091.70 c #Conflicts: 1122000 | #Constraints: 39404
1088.38/1091.70 c #Conflicts: 1123000 | #Constraints: 40404
1088.38/1091.70 c #Conflicts: 1124000 | #Constraints: 41404
1088.38/1091.70 c #Conflicts: 1125000 | #Constraints: 42404
1088.38/1091.70 c INPROCESSING
1088.38/1091.70 c GARBAGE COLLECT
1088.38/1091.70 c #Conflicts: 1126000 | #Constraints: 22404
1088.38/1091.70 c #Conflicts: 1127000 | #Constraints: 23404
1088.38/1091.70 c #Conflicts: 1128000 | #Constraints: 24404
1088.38/1091.70 c #Conflicts: 1129000 | #Constraints: 25404
1088.38/1091.70 c #Conflicts: 1130000 | #Constraints: 26404
1088.38/1091.70 c #Conflicts: 1131000 | #Constraints: 27404
1088.38/1091.70 c #Conflicts: 1132000 | #Constraints: 28404
1088.38/1091.70 c #Conflicts: 1133000 | #Constraints: 29404
1088.38/1091.70 c #Conflicts: 1134000 | #Constraints: 30404
1088.38/1091.70 c #Conflicts: 1135000 | #Constraints: 31404
1088.38/1091.70 c #Conflicts: 1136000 | #Constraints: 32404
1088.38/1091.70 c #Conflicts: 1137000 | #Constraints: 33404
1088.38/1091.70 c #Conflicts: 1138000 | #Constraints: 34404
1088.38/1091.70 c #Conflicts: 1139000 | #Constraints: 35404
1088.38/1091.70 c #Conflicts: 1140000 | #Constraints: 36404
1088.38/1091.70 c #Conflicts: 1141000 | #Constraints: 37404
1088.38/1091.70 c #Conflicts: 1142000 | #Constraints: 38404
1088.38/1091.70 c GLOBAL bounds - >= 0 @ 1083.19
1088.38/1091.73 c rational objective 0
1088.38/1091.77 c Conflict after adding new constraint
1088.38/1091.77 c cpu time 1083.25 s
1088.38/1091.77 c deterministic time 4211 4.21e+03
1088.38/1091.77 c optimization time 1083.21 s
1088.38/1091.77 c total solve time 0.042626 s
1088.38/1091.77 c core-guided solve time 0 s
1088.38/1091.77 c propagation time 0.001564 s
1088.38/1091.77 c conflict analysis time 0 s
1088.38/1091.77 c propagations 206
1088.38/1091.77 c resolve steps 0
1088.38/1091.77 c decisions 249
1088.38/1091.77 c conflicts 0
1088.38/1091.77 c restarts 1
1088.38/1091.77 c inprocessing phases 0
1088.38/1091.77 c garbage collections 0 ,( -nan )
1088.38/1091.77 c input clauses 406 ,( 68.93 )
1088.38/1091.77 c input cardinalities 183 ,( 31.07 )
1088.38/1091.77 c input general constraints 0 ,( 0.00 )
1088.38/1091.77 c input average constraint length 4.18
1088.38/1091.77 c input average constraint degree 1.59
1088.38/1091.77 c learned clauses 0 ,( 0.00 )
1088.38/1091.77 c learned cardinalities 0 ,( 0.00 )
1088.38/1091.77 c learned general constraints 1 ,( 100.00 )
1088.38/1091.77 c learned average constraint length 144.00
1088.38/1091.77 c learned average constraint degree 7462468543.00
1088.38/1091.77 c watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1088.38/1091.77 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1088.38/1091.77 c watched constraints 1 ,( 100.00 )
1088.38/1091.77 c counting constraints 0 ,( 0.00 )
1088.38/1091.77 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 88 , 399 , 17 ,( 17 , 0 )
1088.38/1091.77 c gcd simplifications 0
1088.38/1091.77 c detected cardinalities 0
1088.38/1091.77 c weakened non-implied lits 0
1088.38/1091.77 c weakened non-implying lits 0
1088.38/1091.77 c original variables 435
1088.38/1091.77 c clausal propagations 87
1088.38/1091.77 c cardinality propagations 118
1088.38/1091.77 c watched propagations 0
1088.38/1091.77 c counting propagations 0
1088.38/1091.77 c watch lookups 520
1088.38/1091.77 c watch backjump lookups 0
1088.38/1091.77 c watch checks 1192
1088.38/1091.77 c propagation checks 800
1088.38/1091.77 c constraint additions 0
1088.38/1091.77 c trail pops 454
1088.38/1091.77 c formula constraints 501
1088.38/1091.77 c learned constraints 0
1088.38/1091.77 c bound constraints 0
1088.38/1091.77 c core-guided constraints 0
1088.38/1091.77 c encountered formula constraints 0
1088.38/1091.77 c encountered learned constraints 0
1088.38/1091.77 c encountered bound constraints 0
1088.38/1091.77 c encountered core-guided constraints 0
1088.38/1091.77 c LP total time 0.04223 s
1088.38/1091.77 c LP solve time 0.01 s
1088.38/1091.77 c LP constraints added 502
1088.38/1091.77 c LP constraints removed 0
1088.38/1091.77 c LP pivots internal 25
1088.38/1091.77 c LP pivots root 764
1088.38/1091.77 c LP calls 2
1088.38/1091.77 c LP optimalities 2
1088.38/1091.77 c LP no pivot count 0
1088.38/1091.77 c LP infeasibilities 0
1088.38/1091.77 c LP valid Farkas constraints 0
1088.38/1091.77 c LP learned Farkas constraints 0
1088.38/1091.77 c LP basis resets 0
1088.38/1091.77 c LP cycling count 0
1088.38/1091.77 c LP singular count 0
1088.38/1091.77 c LP no primal count 0
1088.38/1091.77 c LP no farkas count 0
1088.38/1091.77 c LP other issue count 0
1088.38/1091.77 c LP Gomory cuts 1
1088.38/1091.77 c LP learned cuts 0
1088.38/1091.77 c LP deleted cuts 0
1088.38/1091.77 c LP encountered Gomory constraints 0
1088.38/1091.77 c LP encountered Farkas constraints 0
1088.38/1091.77 c LP encountered learned Farkas constraints 0
1088.38/1091.77 c CG auxiliary variables introduced 20
1088.38/1091.77 c CG solutions found 1
1088.38/1091.77 c CG cores constructed 0
1088.38/1091.77 c CG core cardinality constraints returned 0
1088.38/1091.77 c CG unit cores 0
1088.38/1091.77 c CG single cores 0
1088.38/1091.77 c CG blocks removed during cardinality reduction 0
1088.38/1091.77 c CG first core best 0
1088.38/1091.77 c CG decision core best 0
1088.38/1091.77 c CG core reduction tie 0
1088.38/1091.77 c CG core degree average 0.00
1088.38/1091.77 c CG core slack average 0.00
1088.38/1091.77 c CG core upper bound improvements 0
1088.38/1091.77 c STR number of successful calls 0
1088.38/1091.77 c STR number of unsuccessful calls 0
1088.38/1091.77 c STR number of inconclusive calls 0
1088.38/1091.77 c STR number of successful attempts 0
1088.38/1091.77 c STR number of unsuccessful attempts 0
1088.38/1091.77 c STR number of inconclusive attempts 0
1088.38/1091.77 c STR average degree increase per successful call inf
1088.38/1091.77 c STR average degree increase per successful attempt inf
1088.38/1091.77 c STR total number of conflicts for successful attempts 0
1088.38/1091.77 c STR total number of conflicts for unsuccessful attempts 0
1088.38/1091.77 c STR total number of conflicts for inconclusive attempts 0
1088.38/1091.77 c STR average number of conflicts per successful attempt inf
1088.38/1091.77 c STR average number of conflicts per unsuccessful attempt inf
1088.38/1091.77 c STR average number of conflicts per inconclusive attempt inf
1088.38/1091.77 c AVG.sumWPerc 31.94
1088.38/1091.77 c bigint constraints 0
1088.38/1091.77 o 0
1088.38/1091.77 s OPTIMUM FOUND
1088.38/1091.77 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62813 MiB free)
memory of node 1: 64465 MiB (63173 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484262-1751287276/watcher-4484262-1751287276 -o /tmp/evaluation-result-4484262-1751287276/solver-4484262-1751287276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37511 --watchdog 3760 run-opt.sh HOME/instance-4484262-1751287276.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38317, runsolver pid=38314
[startup+0.100057 s]*
/proc/loadavg: 4.09 4.09 4.09 4/262 38319
/proc/meminfo: memFree=129001284/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=63344 memory=16028 CPUtime=0.08 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 1424 0 0 0 8 0 0 0 20 0 1 0 44405156 64864256 4007 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 15836 4007 2336 1147 0 3263 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67536 KiB
Current children cumulated memory: 18972 KiB
[startup+0.20559 s]*
/proc/loadavg: 4.09 4.09 4.09 4/264 38325
/proc/meminfo: memFree=128993528/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=66216 memory=18844 CPUtime=0.19 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 2116 0 0 0 18 1 0 0 20 0 1 0 44405156 67805184 4711 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 16554 4711 2336 1147 0 3981 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70408 KiB
Current children cumulated memory: 21788 KiB
[startup+0.305478 s]*
/proc/loadavg: 4.09 4.09 4.09 4/264 38328
/proc/meminfo: memFree=128993532/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=69532 memory=21660 CPUtime=0.28 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 2839 0 0 0 27 1 0 0 20 0 1 0 44405156 71200768 5415 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 17383 5415 2336 1147 0 4810 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73724 KiB
Current children cumulated memory: 24604 KiB
[startup+0.700212 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 38347
/proc/meminfo: memFree=128989704/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=74972 memory=27676 CPUtime=0.67 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 4335 0 0 0 65 2 0 0 20 0 1 0 44405156 76771328 6919 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 18743 6919 2336 1147 0 6170 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79164 KiB
Current children cumulated memory: 30620 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 38357
/proc/meminfo: memFree=128951972/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=79996 memory=30876 CPUtime=1.47 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 5121 0 0 0 143 4 0 0 20 0 1 0 44405156 81915904 7719 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 19999 7719 2336 1147 0 7426 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 33820 KiB
[startup+3.10542 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128830084/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=83132 memory=33564 CPUtime=3.08 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 5799 0 0 0 302 6 0 0 20 0 1 0 44405156 85127168 8391 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 20783 8391 2336 1147 0 8210 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87324 KiB
Current children cumulated memory: 36508 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128529248/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=88000 memory=38300 CPUtime=6.26 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 6978 0 0 0 615 11 0 0 20 0 1 0 44405156 90112000 9575 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 22000 9575 2336 1147 0 9427 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92192 KiB
Current children cumulated memory: 41244 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38357
/proc/meminfo: memFree=128183452/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=95492 memory=42396 CPUtime=12.64 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 8005 0 0 0 1246 18 0 0 20 0 1 0 44405156 97783808 10599 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 23873 10599 2336 1147 0 11300 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 99684 KiB
Current children cumulated memory: 45340 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 38357
/proc/meminfo: memFree=128057676/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=98608 memory=46492 CPUtime=25.41 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 9034 0 0 0 2509 32 0 0 20 0 1 0 44405156 100974592 11623 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 24652 11623 2336 1147 0 12079 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 102800 KiB
Current children cumulated memory: 49436 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 38403
/proc/meminfo: memFree=127582124/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=108460 memory=55476 CPUtime=50.93 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 10783 0 0 0 5040 53 0 0 20 0 1 0 44405156 111063040 13869 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 27115 13869 2336 1147 0 14542 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 112652 KiB
Current children cumulated memory: 58420 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 38405
/proc/meminfo: memFree=127011548/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=126684 memory=71796 CPUtime=101.99 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 13835 0 0 0 10105 94 0 0 20 0 1 0 44405156 129724416 17949 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 31671 17949 2336 1147 0 19098 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 130876 KiB
Current children cumulated memory: 74740 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.14 4.11 5/269 38409
/proc/meminfo: memFree=126190808/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=129084 memory=74012 CPUtime=161.81 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 14776 0 0 0 16047 134 0 0 20 0 1 0 44405156 132182016 18503 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 32271 18503 2336 1147 0 19698 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 133276 KiB
Current children cumulated memory: 76956 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/269 38411
/proc/meminfo: memFree=125597844/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=135252 memory=83004 CPUtime=221.63 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 16609 0 0 0 21993 170 0 0 20 0 1 0 44405156 138498048 20751 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 33813 20751 2336 1147 0 21240 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 27225 0 0 0 87523 440 0 0 20 0 1 0 44405156 187056128 29420 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 45668 29420 2336 1147 0 33095 0
Current children cumulated CPU time: 879.63 s
Current children cumulated vsize: 186864 KiB
Current children cumulated memory: 120624 KiB
[startup+942.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 38444
/proc/meminfo: memFree=122673792/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=214684 memory=134276 CPUtime=939.44 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 31082 0 0 0 93481 463 0 0 20 0 1 0 44405156 219836416 33569 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 53671 33569 2336 1147 0 41098 0
Current children cumulated CPU time: 939.44 s
Current children cumulated vsize: 218876 KiB
Current children cumulated memory: 137220 KiB
[startup+1002.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 38446
/proc/meminfo: memFree=121839124/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=221176 memory=140696 CPUtime=999.25 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 33508 0 0 0 99440 485 0 0 20 0 1 0 44405156 226484224 35174 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 55294 35174 2336 1147 0 42721 0
Current children cumulated CPU time: 999.25 s
Current children cumulated vsize: 225368 KiB
Current children cumulated memory: 143640 KiB
[startup+1062.3 s]
/proc/loadavg: 4.27 4.12 4.10 5/267 38455
/proc/meminfo: memFree=121698644/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1059.07 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34912 0 0 0 105398 509 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1059.07 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1091.78 s]
# the end of solver process 38317 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1083.26 s, system=5.21207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 4.36 4.15 4.11 5/267 38455
/proc/meminfo: memFree=121682852/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1071.93 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 106678 515 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1071.93 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1081.6 s]
/proc/loadavg: 4.41 4.17 4.12 5/267 38455
/proc/meminfo: memFree=121682872/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1078.31 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 107314 517 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1078.31 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1088 s]*
/proc/loadavg: 4.50 4.19 4.12 5/267 38455
/proc/meminfo: memFree=121671260/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1084.69 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 107950 519 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1084.69 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1089.6 s]
/proc/loadavg: 4.50 4.19 4.12 5/267 38455
/proc/meminfo: memFree=121671260/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1086.28 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 108109 519 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1086.28 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1090.4 s]
/proc/loadavg: 4.50 4.19 4.12 5/267 38455
/proc/meminfo: memFree=121671260/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1087.09 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 108189 520 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1087.09 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1091.2 s]
/proc/loadavg: 4.50 4.19 4.12 5/267 38455
/proc/meminfo: memFree=121671260/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1087.88 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 108268 520 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1087.88 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1091.6 s]
/proc/loadavg: 4.50 4.19 4.12 5/267 38455
/proc/meminfo: memFree=121671260/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1088.28 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 108308 520 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1088.28 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
[startup+1091.7 s]
/proc/loadavg: 4.50 4.19 4.12 5/267 38455
/proc/meminfo: memFree=121671260/131249988 swapFree=33010684/33010684
[pid=38317] ppid=38314 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/38317/stat : 38317 (run-opt.sh) S 38314 38317 37500 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44405155 4292608 736 18446744073709551615 94811692118016 94811693012549 140737175127152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94811693251600 94811693299344 94811723386880 140737175132525 140737175132648 140737175132648 140737175138250 0
/proc/38317/statm: 1048 736 672 219 0 110 0
[pid=38319] ppid=38317 vsize=228344 memory=148352 CPUtime=1088.38 cores=4,6
/proc/38319/stat : 38319 (roundingsat) R 38317 38317 37500 0 -1 4194304 34913 0 0 0 108318 520 0 0 20 0 1 0 44405156 233824256 37088 18446744073709551615 4227072 8923433 140722371166768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24432640 140722371168674 140722371168808 140722371168808 140722371174378 0
/proc/38319/statm: 57086 37088 2336 1147 0 44513 0
Current children cumulated CPU time: 1088.38 s
Current children cumulated vsize: 232536 KiB
Current children cumulated memory: 151296 KiB
Child status: 0
Real time (s): 1091.78
CPU time (s): 1088.47
CPU user time (s): 1083.26
CPU system time (s): 5.21207
CPU usage (%): 99.6966
Max. virtual memory (cumulated for all children) (KiB): 232536
Max. memory (cumulated for all children) (KiB): 151296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1083.26
system time used= 5.21207
maximum resident set size= 148608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35148
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= 167
involuntary context switches= 6014
# summary of solver processes directly reported to runsolver:
# pid: 38317
# total CPU time (s): 1088.47
# total CPU user time (s): 1083.26
# total CPU system time (s): 5.21207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15535 second user time and 5.17095 second system time
The end
Begin job on nodeC020 at 2025-06-30 14:41:16
IDJOB=4484262
IDBENCH=146653
IDSOLVER=3350
FILE ID=nodeC020/4484262-1751287276
RUNJOBID= nodeC020-1751280053-37511
SLURM_JOB_ID= 9594223
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484262-1751287276/watcher-4484262-1751287276 -o /tmp/evaluation-result-4484262-1751287276/solver-4484262-1751287276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37511 --watchdog 3760 run-opt.sh HOME/instance-4484262-1751287276.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=659327100
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.904
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.915
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3640.193
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.004
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.916
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.992
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.878
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129012864 kB
MemAvailable: 129175952 kB
Buffers: 3280 kB
Cached: 968460 kB
SwapCached: 0 kB
Active: 973144 kB
Inactive: 661156 kB
Active(anon): 680620 kB
Inactive(anon): 0 kB
Active(file): 292524 kB
Inactive(file): 661156 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22552 kB
Writeback: 0 kB
AnonPages: 656068 kB
Mapped: 112416 kB
Shmem: 18056 kB
KReclaimable: 97292 kB
Slab: 183980 kB
SReclaimable: 97292 kB
SUnreclaim: 86688 kB
KernelStack: 4224 kB
PageTables: 4520 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1127012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 303104 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC020 at 2025-06-30 14:59:28