0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
1.82/1.90 c #variables 3486 #constraints 381136
1.82/1.90 c objective is ce32
2.43/2.57 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.43/2.57 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.43/2.57 c GLOBAL bounds - >= -2940 @ 1.91491
2.43/2.58 c GLOBAL bounds - >= -2940 @ 1.93057
2.43/2.59 c GLOBAL bounds - >= -2940 @ 1.93823
2.43/2.59 c GLOBAL bounds - >= -2940 @ 1.94184
2.52/2.60 c GLOBAL bounds - >= -2940 @ 1.94633
2.52/2.60 c GLOBAL bounds - >= -2940 @ 1.95004
2.52/2.61 c GLOBAL bounds - >= -2940 @ 1.9546
2.52/2.61 c GLOBAL bounds - >= -2940 @ 1.95953
2.52/2.62 c GLOBAL bounds - >= -2940 @ 1.96443
2.52/2.62 c GLOBAL bounds - >= -2940 @ 1.96822
2.52/2.63 c GLOBAL bounds - >= -2940 @ 1.97209
2.52/2.63 c GLOBAL bounds - >= -2940 @ 1.97625
2.52/2.64 c GLOBAL bounds - >= -2940 @ 1.98132
2.52/2.64 c GLOBAL bounds - >= -2940 @ 1.98631
2.52/2.65 c GLOBAL bounds - >= -2940 @ 1.99128
2.52/2.65 c GLOBAL bounds - >= -2940 @ 1.9968
2.52/2.66 c GLOBAL bounds - >= -2940 @ 2.00422
2.52/2.68 c GLOBAL bounds - >= -2940 @ 2.02628
2.63/2.70 c GLOBAL bounds - >= -2940 @ 2.04813
2.63/2.74 c GLOBAL bounds - >= -2940 @ 2.0798
2.63/2.77 c GLOBAL bounds - >= -2940 @ 2.10812
2.63/2.78 c GLOBAL bounds - >= -2940 @ 2.12439
2.72/2.80 c GLOBAL bounds - >= -2940 @ 2.14424
2.72/2.82 c GLOBAL bounds - >= -2940 @ 2.15684
2.72/2.83 c GLOBAL bounds - >= -2940 @ 2.1706
2.72/2.84 c GLOBAL bounds - >= -2940 @ 2.18277
2.72/2.86 c GLOBAL bounds - >= -2940 @ 2.19782
3.13/3.27 c GLOBAL bounds - >= -2940 @ 2.60802
3.32/3.43 c GLOBAL bounds - >= -2940 @ 2.76554
3.32/3.46 c GLOBAL bounds - >= -2940 @ 2.78865
3.32/3.49 c GLOBAL bounds - >= -2940 @ 2.8216
3.42/3.50 c GLOBAL bounds - >= -2940 @ 2.82989
3.42/3.51 c GLOBAL bounds - >= -2940 @ 2.83877
3.42/3.52 c GLOBAL bounds - >= -2940 @ 2.84526
3.42/3.52 c GLOBAL bounds - >= -2940 @ 2.85202
3.42/3.53 c GLOBAL bounds - >= -2940 @ 2.85929
3.42/3.54 c GLOBAL bounds - >= -2940 @ 2.86599
3.42/3.55 c GLOBAL bounds - >= -2940 @ 2.87352
3.52/3.62 c GLOBAL bounds - >= -2940 @ 2.94636
3.72/3.86 c GLOBAL bounds - >= -2940 @ 3.17889
70.65/70.99 c #Conflicts: 1000 | #Constraints: 220596
70.65/70.99 c #Conflicts: 2000 | #Constraints: 221596
70.65/70.99 c INPROCESSING
70.65/70.99 c GARBAGE COLLECT
70.65/70.99 c #Conflicts: 3000 | #Constraints: 221598
70.65/70.99 c #Conflicts: 4000 | #Constraints: 222598
70.65/70.99 c INPROCESSING
70.65/70.99 c GARBAGE COLLECT
70.65/70.99 c #Conflicts: 5000 | #Constraints: 222000
70.65/70.99 c #Conflicts: 6000 | #Constraints: 223000
70.65/70.99 c INPROCESSING
70.65/70.99 c GARBAGE COLLECT
70.65/70.99 c #Conflicts: 7000 | #Constraints: 222001
70.65/70.99 c #Conflicts: 8000 | #Constraints: 223001
70.65/70.99 c #Conflicts: 9000 | #Constraints: 224001
70.65/70.99 c INPROCESSING
70.65/70.99 c GARBAGE COLLECT
70.65/70.99 c #Conflicts: 10000 | #Constraints: 222703
70.65/70.99 c #Conflicts: 11000 | #Constraints: 223703
70.65/70.99 c #Conflicts: 12000 | #Constraints: 224703
70.65/70.99 c INPROCESSING
70.65/70.99 c GARBAGE COLLECT
70.65/70.99 c #Conflicts: 13000 | #Constraints: 223153
70.65/70.99 c #Conflicts: 14000 | #Constraints: 224153
70.65/70.99 c #Conflicts: 15000 | #Constraints: 225153
70.65/70.99 c INPROCESSING
70.65/70.99 c GARBAGE COLLECT
70.65/70.99 c #Conflicts: 16000 | #Constraints: 223378
70.65/70.99 c #Conflicts: 17000 | #Constraints: 224378
70.65/70.99 c #Conflicts: 18000 | #Constraints: 225378
70.65/70.99 c INPROCESSING
70.65/70.99 c GARBAGE COLLECT
70.65/70.99 c GLOBAL bounds - >= -2940 @ 69.8946
135.61/136.01 c #Conflicts: 19000 | #Constraints: 223393
135.61/136.01 c #Conflicts: 20000 | #Constraints: 224393
135.61/136.01 c #Conflicts: 21000 | #Constraints: 225393
135.61/136.01 c INPROCESSING
135.61/136.01 c GARBAGE COLLECT
135.61/136.01 c #Conflicts: 22000 | #Constraints: 223200
135.61/136.01 c #Conflicts: 23000 | #Constraints: 224200
135.61/136.01 c #Conflicts: 24000 | #Constraints: 225200
135.61/136.01 c #Conflicts: 25000 | #Constraints: 226200
135.61/136.01 c INPROCESSING
135.61/136.01 c GARBAGE COLLECT
135.61/136.01 c #Conflicts: 26000 | #Constraints: 223803
135.61/136.01 c #Conflicts: 27000 | #Constraints: 224803
135.61/136.01 c #Conflicts: 28000 | #Constraints: 225803
135.61/136.01 c #Conflicts: 29000 | #Constraints: 226803
135.61/136.01 c INPROCESSING
135.61/136.01 c GARBAGE COLLECT
135.61/136.01 c #Conflicts: 30000 | #Constraints: 224204
135.61/136.01 c #Conflicts: 31000 | #Constraints: 225204
135.61/136.01 c #Conflicts: 32000 | #Constraints: 226204
135.61/136.01 c #Conflicts: 33000 | #Constraints: 227204
135.61/136.01 c INPROCESSING
135.61/136.01 c GARBAGE COLLECT
135.61/136.01 c #Conflicts: 34000 | #Constraints: 224404
135.61/136.01 c #Conflicts: 35000 | #Constraints: 225404
135.61/136.01 c #Conflicts: 36000 | #Constraints: 226404
135.61/136.01 c #Conflicts: 37000 | #Constraints: 227404
135.61/136.01 c INPROCESSING
135.61/136.01 c GARBAGE COLLECT
135.61/136.01 c GLOBAL bounds - >= -2940 @ 134.52
183.68/184.21 c #Conflicts: 38000 | #Constraints: 224407
183.68/184.21 c #Conflicts: 39000 | #Constraints: 225407
183.68/184.21 c #Conflicts: 40000 | #Constraints: 226407
183.68/184.21 c #Conflicts: 41000 | #Constraints: 227407
183.68/184.21 c INPROCESSING
183.68/184.21 c GARBAGE COLLECT
183.68/184.21 c #Conflicts: 42000 | #Constraints: 224209
183.68/184.21 c #Conflicts: 43000 | #Constraints: 225209
183.68/184.21 c #Conflicts: 44000 | #Constraints: 226209
183.68/184.21 c #Conflicts: 45000 | #Constraints: 227209
183.68/184.21 c #Conflicts: 46000 | #Constraints: 228209
183.68/184.21 c INPROCESSING
183.68/184.21 c GARBAGE COLLECT
183.68/184.21 c #Conflicts: 47000 | #Constraints: 224808
183.68/184.21 c #Conflicts: 48000 | #Constraints: 225808
183.68/184.21 c #Conflicts: 49000 | #Constraints: 226808
183.68/184.21 c #Conflicts: 50000 | #Constraints: 227808
183.68/184.21 c GLOBAL bounds - >= -2940 @ 182.467
409.05/410.12 c #Conflicts: 51000 | #Constraints: 228810
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 52000 | #Constraints: 225210
409.05/410.12 c #Conflicts: 53000 | #Constraints: 226210
409.05/410.12 c #Conflicts: 54000 | #Constraints: 227210
409.05/410.12 c #Conflicts: 55000 | #Constraints: 228210
409.05/410.12 c #Conflicts: 56000 | #Constraints: 229210
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 57000 | #Constraints: 225408
409.05/410.12 c #Conflicts: 58000 | #Constraints: 226408
409.05/410.12 c #Conflicts: 59000 | #Constraints: 227408
409.05/410.12 c #Conflicts: 60000 | #Constraints: 228408
409.05/410.12 c #Conflicts: 61000 | #Constraints: 229408
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 62000 | #Constraints: 225409
409.05/410.12 c #Conflicts: 63000 | #Constraints: 226409
409.05/410.12 c #Conflicts: 64000 | #Constraints: 227409
409.05/410.12 c #Conflicts: 65000 | #Constraints: 228409
409.05/410.12 c #Conflicts: 66000 | #Constraints: 229409
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 67000 | #Constraints: 225209
409.05/410.12 c #Conflicts: 68000 | #Constraints: 226209
409.05/410.12 c #Conflicts: 69000 | #Constraints: 227209
409.05/410.12 c #Conflicts: 70000 | #Constraints: 228209
409.05/410.12 c #Conflicts: 71000 | #Constraints: 229209
409.05/410.12 c #Conflicts: 72000 | #Constraints: 230209
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 73000 | #Constraints: 225809
409.05/410.12 c #Conflicts: 74000 | #Constraints: 226809
409.05/410.12 c #Conflicts: 75000 | #Constraints: 227809
409.05/410.12 c #Conflicts: 76000 | #Constraints: 228809
409.05/410.12 c #Conflicts: 77000 | #Constraints: 229809
409.05/410.12 c #Conflicts: 78000 | #Constraints: 230809
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 79000 | #Constraints: 226209
409.05/410.12 c #Conflicts: 80000 | #Constraints: 227209
409.05/410.12 c #Conflicts: 81000 | #Constraints: 228209
409.05/410.12 c #Conflicts: 82000 | #Constraints: 229209
409.05/410.12 c #Conflicts: 83000 | #Constraints: 230209
409.05/410.12 c #Conflicts: 84000 | #Constraints: 231209
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 85000 | #Constraints: 226409
409.05/410.12 c #Conflicts: 86000 | #Constraints: 227409
409.05/410.12 c #Conflicts: 87000 | #Constraints: 228409
409.05/410.12 c #Conflicts: 88000 | #Constraints: 229409
409.05/410.12 c #Conflicts: 89000 | #Constraints: 230409
409.05/410.12 c #Conflicts: 90000 | #Constraints: 231409
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 91000 | #Constraints: 226411
409.05/410.12 c #Conflicts: 92000 | #Constraints: 227411
409.05/410.12 c #Conflicts: 93000 | #Constraints: 228411
409.05/410.12 c #Conflicts: 94000 | #Constraints: 229411
409.05/410.12 c #Conflicts: 95000 | #Constraints: 230411
409.05/410.12 c #Conflicts: 96000 | #Constraints: 231411
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 97000 | #Constraints: 226214
409.05/410.12 c #Conflicts: 98000 | #Constraints: 227214
409.05/410.12 c #Conflicts: 99000 | #Constraints: 228214
409.05/410.12 c #Conflicts: 100000 | #Constraints: 229214
409.05/410.12 c #Conflicts: 101000 | #Constraints: 230214
409.05/410.12 c #Conflicts: 102000 | #Constraints: 231214
409.05/410.12 c #Conflicts: 103000 | #Constraints: 232214
409.05/410.12 c INPROCESSING
409.05/410.12 c GARBAGE COLLECT
409.05/410.12 c #Conflicts: 104000 | #Constraints: 226810
409.05/410.12 c #Conflicts: 105000 | #Constraints: 227810
409.05/410.12 c #Conflicts: 106000 | #Constraints: 228810
409.05/410.12 c #Conflicts: 107000 | #Constraints: 229810
409.05/410.12 c #Conflicts: 108000 | #Constraints: 230810
409.05/410.12 c #Conflicts: 109000 | #Constraints: 231810
409.05/410.12 c GLOBAL bounds - >= -2940 @ 407.019
409.14/410.29 c GLOBAL bounds - >= -2940 @ 407.195
675.30/677.05 c #Conflicts: 110000 | #Constraints: 232814
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 111000 | #Constraints: 227212
675.30/677.05 c #Conflicts: 112000 | #Constraints: 228212
675.30/677.05 c #Conflicts: 113000 | #Constraints: 229212
675.30/677.05 c #Conflicts: 114000 | #Constraints: 230212
675.30/677.05 c #Conflicts: 115000 | #Constraints: 231212
675.30/677.05 c #Conflicts: 116000 | #Constraints: 232212
675.30/677.05 c #Conflicts: 117000 | #Constraints: 233212
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 118000 | #Constraints: 227412
675.30/677.05 c #Conflicts: 119000 | #Constraints: 228412
675.30/677.05 c #Conflicts: 120000 | #Constraints: 229412
675.30/677.05 c #Conflicts: 121000 | #Constraints: 230412
675.30/677.05 c #Conflicts: 122000 | #Constraints: 231412
675.30/677.05 c #Conflicts: 123000 | #Constraints: 232412
675.30/677.05 c #Conflicts: 124000 | #Constraints: 233412
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 125000 | #Constraints: 227413
675.30/677.05 c #Conflicts: 126000 | #Constraints: 228413
675.30/677.05 c #Conflicts: 127000 | #Constraints: 229413
675.30/677.05 c #Conflicts: 128000 | #Constraints: 230413
675.30/677.05 c #Conflicts: 129000 | #Constraints: 231413
675.30/677.05 c #Conflicts: 130000 | #Constraints: 232413
675.30/677.05 c #Conflicts: 131000 | #Constraints: 233413
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 132000 | #Constraints: 227211
675.30/677.05 c #Conflicts: 133000 | #Constraints: 228211
675.30/677.05 c #Conflicts: 134000 | #Constraints: 229211
675.30/677.05 c #Conflicts: 135000 | #Constraints: 230211
675.30/677.05 c #Conflicts: 136000 | #Constraints: 231211
675.30/677.05 c #Conflicts: 137000 | #Constraints: 232211
675.30/677.05 c #Conflicts: 138000 | #Constraints: 233211
675.30/677.05 c #Conflicts: 139000 | #Constraints: 234211
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 140000 | #Constraints: 227813
675.30/677.05 c #Conflicts: 141000 | #Constraints: 228813
675.30/677.05 c #Conflicts: 142000 | #Constraints: 229813
675.30/677.05 c #Conflicts: 143000 | #Constraints: 230813
675.30/677.05 c #Conflicts: 144000 | #Constraints: 231813
675.30/677.05 c #Conflicts: 145000 | #Constraints: 232813
675.30/677.05 c #Conflicts: 146000 | #Constraints: 233813
675.30/677.05 c #Conflicts: 147000 | #Constraints: 234813
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 148000 | #Constraints: 228215
675.30/677.05 c #Conflicts: 149000 | #Constraints: 229215
675.30/677.05 c #Conflicts: 150000 | #Constraints: 230215
675.30/677.05 c #Conflicts: 151000 | #Constraints: 231215
675.30/677.05 c #Conflicts: 152000 | #Constraints: 232215
675.30/677.05 c #Conflicts: 153000 | #Constraints: 233215
675.30/677.05 c #Conflicts: 154000 | #Constraints: 234215
675.30/677.05 c #Conflicts: 155000 | #Constraints: 235215
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 156000 | #Constraints: 228416
675.30/677.05 c #Conflicts: 157000 | #Constraints: 229416
675.30/677.05 c #Conflicts: 158000 | #Constraints: 230416
675.30/677.05 c #Conflicts: 159000 | #Constraints: 231416
675.30/677.05 c #Conflicts: 160000 | #Constraints: 232416
675.30/677.05 c #Conflicts: 161000 | #Constraints: 233416
675.30/677.05 c #Conflicts: 162000 | #Constraints: 234416
675.30/677.05 c #Conflicts: 163000 | #Constraints: 235416
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 164000 | #Constraints: 228416
675.30/677.05 c #Conflicts: 165000 | #Constraints: 229416
675.30/677.05 c #Conflicts: 166000 | #Constraints: 230416
675.30/677.05 c #Conflicts: 167000 | #Constraints: 231416
675.30/677.05 c #Conflicts: 168000 | #Constraints: 232416
675.30/677.05 c #Conflicts: 169000 | #Constraints: 233416
675.30/677.05 c #Conflicts: 170000 | #Constraints: 234416
675.30/677.05 c #Conflicts: 171000 | #Constraints: 235416
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 172000 | #Constraints: 228215
675.30/677.05 c #Conflicts: 173000 | #Constraints: 229215
675.30/677.05 c #Conflicts: 174000 | #Constraints: 230215
675.30/677.05 c #Conflicts: 175000 | #Constraints: 231215
675.30/677.05 c #Conflicts: 176000 | #Constraints: 232215
675.30/677.05 c #Conflicts: 177000 | #Constraints: 233215
675.30/677.05 c #Conflicts: 178000 | #Constraints: 234215
675.30/677.05 c #Conflicts: 179000 | #Constraints: 235215
675.30/677.05 c #Conflicts: 180000 | #Constraints: 236215
675.30/677.05 c INPROCESSING
675.30/677.05 c GARBAGE COLLECT
675.30/677.05 c #Conflicts: 181000 | #Constraints: 228815
675.30/677.05 c #Conflicts: 182000 | #Constraints: 229815
901.64/903.90 c #Conflicts: 183000 | #Constraints: 230815
901.64/903.90 c #Conflicts: 184000 | #Constraints: 231815
901.64/903.90 c #Conflicts: 185000 | #Constraints: 232815
901.64/903.90 c #Conflicts: 186000 | #Constraints: 233815
901.64/903.90 c #Conflicts: 187000 | #Constraints: 234815
901.64/903.90 c #Conflicts: 188000 | #Constraints: 235815
901.64/903.90 c #Conflicts: 189000 | #Constraints: 236815
901.64/903.90 c INPROCESSING
901.64/903.90 c GARBAGE COLLECT
901.64/903.90 c #Conflicts: 190000 | #Constraints: 229214
901.64/903.90 c #Conflicts: 191000 | #Constraints: 230214
901.64/903.90 c #Conflicts: 192000 | #Constraints: 231214
901.64/903.90 c #Conflicts: 193000 | #Constraints: 232214
901.64/903.90 c #Conflicts: 194000 | #Constraints: 233214
901.64/903.90 c #Conflicts: 195000 | #Constraints: 234214
901.64/903.90 c #Conflicts: 196000 | #Constraints: 235214
901.64/903.90 c #Conflicts: 197000 | #Constraints: 236214
901.64/903.90 c #Conflicts: 198000 | #Constraints: 237214
901.64/903.90 c INPROCESSING
901.64/903.90 c GARBAGE COLLECT
901.64/903.90 c #Conflicts: 199000 | #Constraints: 229414
901.64/903.90 c #Conflicts: 200000 | #Constraints: 230414
901.64/903.90 c #Conflicts: 201000 | #Constraints: 231414
901.64/903.90 c #Conflicts: 202000 | #Constraints: 232414
901.64/903.90 c #Conflicts: 203000 | #Constraints: 233414
901.64/903.90 c #Conflicts: 204000 | #Constraints: 234414
901.64/903.90 c #Conflicts: 205000 | #Constraints: 235414
901.64/903.90 c #Conflicts: 206000 | #Constraints: 236414
901.64/903.90 c #Conflicts: 207000 | #Constraints: 237414
901.64/903.90 c INPROCESSING
901.64/903.90 c GARBAGE COLLECT
901.64/903.90 c #Conflicts: 208000 | #Constraints: 229416
901.64/903.90 c #Conflicts: 209000 | #Constraints: 230416
901.64/903.90 c #Conflicts: 210000 | #Constraints: 231416
901.64/903.90 c #Conflicts: 211000 | #Constraints: 232416
901.64/903.90 c #Conflicts: 212000 | #Constraints: 233416
901.64/903.90 c #Conflicts: 213000 | #Constraints: 234416
901.64/903.90 c #Conflicts: 214000 | #Constraints: 235416
901.64/903.90 c #Conflicts: 215000 | #Constraints: 236416
901.64/903.90 c #Conflicts: 216000 | #Constraints: 237416
901.64/903.90 c INPROCESSING
901.64/903.90 c GARBAGE COLLECT
901.64/903.90 c #Conflicts: 217000 | #Constraints: 229218
901.64/903.90 c #Conflicts: 218000 | #Constraints: 230218
901.64/903.90 c #Conflicts: 219000 | #Constraints: 231218
901.64/903.90 c #Conflicts: 220000 | #Constraints: 232218
901.64/903.90 c #Conflicts: 221000 | #Constraints: 233218
901.64/903.90 c #Conflicts: 222000 | #Constraints: 234218
901.64/903.90 c #Conflicts: 223000 | #Constraints: 235218
901.64/903.90 c #Conflicts: 224000 | #Constraints: 236218
901.64/903.90 c #Conflicts: 225000 | #Constraints: 237218
901.64/903.90 c #Conflicts: 226000 | #Constraints: 238218
901.64/903.90 c INPROCESSING
901.64/903.90 c GARBAGE COLLECT
901.64/903.90 c #Conflicts: 227000 | #Constraints: 229817
901.64/903.90 c #Conflicts: 228000 | #Constraints: 230817
901.64/903.90 c #Conflicts: 229000 | #Constraints: 231817
901.64/903.90 c #Conflicts: 230000 | #Constraints: 232817
901.64/903.90 c #Conflicts: 231000 | #Constraints: 233817
901.64/903.90 c #Conflicts: 232000 | #Constraints: 234817
901.64/903.90 c #Conflicts: 233000 | #Constraints: 235817
901.64/903.90 c #Conflicts: 234000 | #Constraints: 236817
901.64/903.90 c #Conflicts: 235000 | #Constraints: 237817
901.64/903.90 c #Conflicts: 236000 | #Constraints: 238817
901.64/903.90 c INPROCESSING
901.64/903.90 c GARBAGE COLLECT
901.64/903.90 c #Conflicts: 237000 | #Constraints: 230215
901.64/903.90 c #Conflicts: 238000 | #Constraints: 231215
901.64/903.90 c #Conflicts: 239000 | #Constraints: 232215
901.64/903.90 c GLOBAL bounds - >= -2940 @ 897.869
901.84/904.15 c GLOBAL bounds - >= -2940 @ 898.114
1184.85/1187.83 c #Conflicts: 240000 | #Constraints: 233219
1184.85/1187.83 c #Conflicts: 241000 | #Constraints: 234219
1184.85/1187.83 c #Conflicts: 242000 | #Constraints: 235219
1184.85/1187.83 c #Conflicts: 243000 | #Constraints: 236219
1184.85/1187.83 c #Conflicts: 244000 | #Constraints: 237219
1184.85/1187.83 c #Conflicts: 245000 | #Constraints: 238219
1184.85/1187.83 c #Conflicts: 246000 | #Constraints: 239219
1184.85/1187.83 c INPROCESSING
1184.85/1187.83 c GARBAGE COLLECT
1184.85/1187.83 c #Conflicts: 247000 | #Constraints: 230418
1184.85/1187.83 c #Conflicts: 248000 | #Constraints: 231418
1184.85/1187.83 c #Conflicts: 249000 | #Constraints: 232418
1184.85/1187.83 c #Conflicts: 250000 | #Constraints: 233418
1184.85/1187.83 c #Conflicts: 251000 | #Constraints: 234418
1184.85/1187.83 c #Conflicts: 252000 | #Constraints: 235418
1184.85/1187.83 c #Conflicts: 253000 | #Constraints: 236418
1184.85/1187.83 c #Conflicts: 254000 | #Constraints: 237418
1184.85/1187.83 c #Conflicts: 255000 | #Constraints: 238418
1184.85/1187.83 c #Conflicts: 256000 | #Constraints: 239418
1184.85/1187.83 c INPROCESSING
1184.85/1187.83 c GARBAGE COLLECT
1184.85/1187.83 c #Conflicts: 257000 | #Constraints: 230419
1184.85/1187.83 c #Conflicts: 258000 | #Constraints: 231419
1184.85/1187.83 c #Conflicts: 259000 | #Constraints: 232419
1184.85/1187.83 c #Conflicts: 260000 | #Constraints: 233419
1184.85/1187.83 c #Conflicts: 261000 | #Constraints: 234419
1184.85/1187.83 c #Conflicts: 262000 | #Constraints: 235419
1184.85/1187.83 c #Conflicts: 263000 | #Constraints: 236419
1184.85/1187.83 c #Conflicts: 264000 | #Constraints: 237419
1184.85/1187.83 c #Conflicts: 265000 | #Constraints: 238419
1184.85/1187.83 c #Conflicts: 266000 | #Constraints: 239419
1184.85/1187.83 c INPROCESSING
1184.85/1187.83 c GARBAGE COLLECT
1184.85/1187.83 c #Conflicts: 267000 | #Constraints: 230218
1184.85/1187.83 c #Conflicts: 268000 | #Constraints: 231218
1184.85/1187.83 c #Conflicts: 269000 | #Constraints: 232218
1184.85/1187.83 c #Conflicts: 270000 | #Constraints: 233218
1184.85/1187.83 c #Conflicts: 271000 | #Constraints: 234218
1184.85/1187.83 c #Conflicts: 272000 | #Constraints: 235218
1184.85/1187.83 c #Conflicts: 273000 | #Constraints: 236218
1184.85/1187.83 c #Conflicts: 274000 | #Constraints: 237218
1184.85/1187.83 c #Conflicts: 275000 | #Constraints: 238218
1184.85/1187.83 c #Conflicts: 276000 | #Constraints: 239218
1184.85/1187.83 c #Conflicts: 277000 | #Constraints: 240218
1184.85/1187.83 c INPROCESSING
1184.85/1187.83 c GARBAGE COLLECT
1184.85/1187.83 c #Conflicts: 278000 | #Constraints: 230820
1184.85/1187.83 c #Conflicts: 279000 | #Constraints: 231820
1184.85/1187.83 c #Conflicts: 280000 | #Constraints: 232820
1184.85/1187.83 c #Conflicts: 281000 | #Constraints: 233820
1184.85/1187.83 c #Conflicts: 282000 | #Constraints: 234820
1184.85/1187.83 c #Conflicts: 283000 | #Constraints: 235820
1184.85/1187.83 c #Conflicts: 284000 | #Constraints: 236820
1184.85/1187.83 c #Conflicts: 285000 | #Constraints: 237820
1184.85/1187.83 c #Conflicts: 286000 | #Constraints: 238820
1184.85/1187.83 c #Conflicts: 287000 | #Constraints: 239820
1184.85/1187.83 c #Conflicts: 288000 | #Constraints: 240820
1184.85/1187.83 c INPROCESSING
1184.85/1187.83 c GARBAGE COLLECT
1184.85/1187.83 c #Conflicts: 289000 | #Constraints: 231219
1184.85/1187.83 c #Conflicts: 290000 | #Constraints: 232219
1184.85/1187.83 c #Conflicts: 291000 | #Constraints: 233219
1184.85/1187.83 c #Conflicts: 292000 | #Constraints: 234219
1184.85/1187.83 c #Conflicts: 293000 | #Constraints: 235219
1184.85/1187.83 c #Conflicts: 294000 | #Constraints: 236219
1184.85/1187.83 c #Conflicts: 295000 | #Constraints: 237219
1184.85/1187.83 c #Conflicts: 296000 | #Constraints: 238219
1184.85/1187.83 c #Conflicts: 297000 | #Constraints: 239219
1184.85/1187.83 c #Conflicts: 298000 | #Constraints: 240219
1184.85/1187.83 c #Conflicts: 299000 | #Constraints: 241219
1184.85/1187.83 c INPROCESSING
1184.85/1187.83 c GARBAGE COLLECT
1184.85/1187.83 c #Conflicts: 300000 | #Constraints: 231421
1184.85/1187.83 c #Conflicts: 301000 | #Constraints: 232421
1184.85/1187.83 c #Conflicts: 302000 | #Constraints: 233421
1184.85/1187.83 c #Conflicts: 303000 | #Constraints: 234421
1184.85/1187.83 c #Conflicts: 304000 | #Constraints: 235421
1184.85/1187.83 c #Conflicts: 305000 | #Constraints: 236421
1184.85/1187.83 c #Conflicts: 306000 | #Constraints: 237421
1184.85/1187.83 c #Conflicts: 307000 | #Constraints: 238421
1184.85/1187.83 c #Conflicts: 308000 | #Constraints: 239421
1184.85/1187.83 c #Conflicts: 309000 | #Constraints: 240421
1184.85/1187.83 c #Conflicts: 310000 | #Constraints: 241421
1184.85/1187.83 c INPROCESSING
1184.85/1187.83 c GARBAGE COLLECT
1184.85/1187.83 c #Conflicts: 311000 | #Constraints: 231421
1184.85/1187.83 c #Conflicts: 312000 | #Constraints: 232421
1184.85/1187.83 c #Conflicts: 313000 | #Constraints: 233421
1184.85/1187.83 c #Conflicts: 314000 | #Constraints: 234421
1467.85/1471.55 c #Conflicts: 315000 | #Constraints: 235421
1467.85/1471.55 c #Conflicts: 316000 | #Constraints: 236421
1467.85/1471.55 c #Conflicts: 317000 | #Constraints: 237421
1467.85/1471.55 c #Conflicts: 318000 | #Constraints: 238421
1467.85/1471.55 c #Conflicts: 319000 | #Constraints: 239421
1467.85/1471.55 c #Conflicts: 320000 | #Constraints: 240421
1467.85/1471.55 c #Conflicts: 321000 | #Constraints: 241421
1467.85/1471.55 c INPROCESSING
1467.85/1471.55 c GARBAGE COLLECT
1467.85/1471.55 c #Conflicts: 322000 | #Constraints: 231220
1467.85/1471.55 c #Conflicts: 323000 | #Constraints: 232220
1467.85/1471.55 c #Conflicts: 324000 | #Constraints: 233220
1467.85/1471.55 c #Conflicts: 325000 | #Constraints: 234220
1467.85/1471.55 c #Conflicts: 326000 | #Constraints: 235220
1467.85/1471.55 c #Conflicts: 327000 | #Constraints: 236220
1467.85/1471.55 c #Conflicts: 328000 | #Constraints: 237220
1467.85/1471.55 c #Conflicts: 329000 | #Constraints: 238220
1467.85/1471.55 c #Conflicts: 330000 | #Constraints: 239220
1467.85/1471.55 c #Conflicts: 331000 | #Constraints: 240220
1467.85/1471.55 c #Conflicts: 332000 | #Constraints: 241220
1467.85/1471.55 c #Conflicts: 333000 | #Constraints: 242220
1467.85/1471.55 c INPROCESSING
1467.85/1471.55 c GARBAGE COLLECT
1467.85/1471.55 c #Conflicts: 334000 | #Constraints: 231819
1467.85/1471.55 c #Conflicts: 335000 | #Constraints: 232819
1467.85/1471.55 c #Conflicts: 336000 | #Constraints: 233819
1467.85/1471.55 c #Conflicts: 337000 | #Constraints: 234819
1467.85/1471.55 c #Conflicts: 338000 | #Constraints: 235819
1467.85/1471.55 c #Conflicts: 339000 | #Constraints: 236819
1467.85/1471.55 c #Conflicts: 340000 | #Constraints: 237819
1467.85/1471.55 c #Conflicts: 341000 | #Constraints: 238819
1467.85/1471.55 c #Conflicts: 342000 | #Constraints: 239819
1467.85/1471.55 c #Conflicts: 343000 | #Constraints: 240819
1467.85/1471.55 c #Conflicts: 344000 | #Constraints: 241819
1467.85/1471.55 c #Conflicts: 345000 | #Constraints: 242819
1467.85/1471.55 c INPROCESSING
1467.85/1471.55 c GARBAGE COLLECT
1467.85/1471.55 c #Conflicts: 346000 | #Constraints: 232222
1467.85/1471.55 c #Conflicts: 347000 | #Constraints: 233222
1467.85/1471.55 c #Conflicts: 348000 | #Constraints: 234222
1467.85/1471.55 c #Conflicts: 349000 | #Constraints: 235222
1467.85/1471.55 c #Conflicts: 350000 | #Constraints: 236222
1467.85/1471.55 c #Conflicts: 351000 | #Constraints: 237222
1467.85/1471.55 c #Conflicts: 352000 | #Constraints: 238222
1467.85/1471.55 c #Conflicts: 353000 | #Constraints: 239222
1467.85/1471.55 c #Conflicts: 354000 | #Constraints: 240222
1467.85/1471.55 c #Conflicts: 355000 | #Constraints: 241222
1467.85/1471.55 c #Conflicts: 356000 | #Constraints: 242222
1467.85/1471.55 c #Conflicts: 357000 | #Constraints: 243222
1467.85/1471.55 c INPROCESSING
1467.85/1471.55 c GARBAGE COLLECT
1467.85/1471.55 c #Conflicts: 358000 | #Constraints: 232422
1467.85/1471.55 c #Conflicts: 359000 | #Constraints: 233422
1467.85/1471.55 c #Conflicts: 360000 | #Constraints: 234422
1467.85/1471.55 c #Conflicts: 361000 | #Constraints: 235422
1467.85/1471.55 c #Conflicts: 362000 | #Constraints: 236422
1467.85/1471.55 c #Conflicts: 363000 | #Constraints: 237422
1467.85/1471.55 c #Conflicts: 364000 | #Constraints: 238422
1467.85/1471.55 c #Conflicts: 365000 | #Constraints: 239422
1467.85/1471.55 c #Conflicts: 366000 | #Constraints: 240422
1467.85/1471.55 c #Conflicts: 367000 | #Constraints: 241422
1467.85/1471.55 c #Conflicts: 368000 | #Constraints: 242422
1467.85/1471.55 c #Conflicts: 369000 | #Constraints: 243422
1467.85/1471.55 c INPROCESSING
1467.85/1471.55 c GARBAGE COLLECT
1467.85/1471.55 c #Conflicts: 370000 | #Constraints: 232422
1467.85/1471.55 c #Conflicts: 371000 | #Constraints: 233422
1467.85/1471.55 c #Conflicts: 372000 | #Constraints: 234422
1467.85/1471.55 c #Conflicts: 373000 | #Constraints: 235422
1467.85/1471.55 c #Conflicts: 374000 | #Constraints: 236422
1467.85/1471.55 c #Conflicts: 375000 | #Constraints: 237422
1467.85/1471.55 c #Conflicts: 376000 | #Constraints: 238422
1467.85/1471.55 c #Conflicts: 377000 | #Constraints: 239422
1467.85/1471.55 c #Conflicts: 378000 | #Constraints: 240422
1467.85/1471.55 c #Conflicts: 379000 | #Constraints: 241422
1467.85/1471.55 c #Conflicts: 380000 | #Constraints: 242422
1467.85/1471.55 c #Conflicts: 381000 | #Constraints: 243422
1467.85/1471.55 c INPROCESSING
1467.85/1471.55 c GARBAGE COLLECT
1467.85/1471.55 c #Conflicts: 382000 | #Constraints: 232222
1467.85/1471.55 c #Conflicts: 383000 | #Constraints: 233222
1467.85/1471.55 c #Conflicts: 384000 | #Constraints: 234222
1467.85/1471.55 c #Conflicts: 385000 | #Constraints: 235222
1467.85/1471.55 c #Conflicts: 386000 | #Constraints: 236222
1467.85/1471.55 c #Conflicts: 387000 | #Constraints: 237222
1467.85/1471.55 c #Conflicts: 388000 | #Constraints: 238222
1467.85/1471.55 c #Conflicts: 389000 | #Constraints: 239222
1675.52/1679.78 c #Conflicts: 390000 | #Constraints: 240222
1675.52/1679.78 c #Conflicts: 391000 | #Constraints: 241222
1675.52/1679.78 c #Conflicts: 392000 | #Constraints: 242222
1675.52/1679.78 c #Conflicts: 393000 | #Constraints: 243222
1675.52/1679.78 c #Conflicts: 394000 | #Constraints: 244222
1675.52/1679.78 c INPROCESSING
1675.52/1679.78 c GARBAGE COLLECT
1675.52/1679.78 c #Conflicts: 395000 | #Constraints: 232825
1675.52/1679.78 c #Conflicts: 396000 | #Constraints: 233825
1675.52/1679.78 c #Conflicts: 397000 | #Constraints: 234825
1675.52/1679.78 c #Conflicts: 398000 | #Constraints: 235825
1675.52/1679.78 c #Conflicts: 399000 | #Constraints: 236825
1675.52/1679.78 c #Conflicts: 400000 | #Constraints: 237825
1675.52/1679.78 c #Conflicts: 401000 | #Constraints: 238825
1675.52/1679.78 c #Conflicts: 402000 | #Constraints: 239825
1675.52/1679.78 c #Conflicts: 403000 | #Constraints: 240825
1675.52/1679.78 c #Conflicts: 404000 | #Constraints: 241825
1675.52/1679.78 c #Conflicts: 405000 | #Constraints: 242825
1675.52/1679.78 c #Conflicts: 406000 | #Constraints: 243825
1675.52/1679.78 c #Conflicts: 407000 | #Constraints: 244825
1675.52/1679.78 c INPROCESSING
1675.52/1679.78 c GARBAGE COLLECT
1675.52/1679.78 c #Conflicts: 408000 | #Constraints: 233224
1675.52/1679.78 c #Conflicts: 409000 | #Constraints: 234224
1675.52/1679.78 c #Conflicts: 410000 | #Constraints: 235224
1675.52/1679.78 c #Conflicts: 411000 | #Constraints: 236224
1675.52/1679.78 c #Conflicts: 412000 | #Constraints: 237224
1675.52/1679.78 c #Conflicts: 413000 | #Constraints: 238224
1675.52/1679.78 c #Conflicts: 414000 | #Constraints: 239224
1675.52/1679.78 c #Conflicts: 415000 | #Constraints: 240224
1675.52/1679.78 c #Conflicts: 416000 | #Constraints: 241224
1675.52/1679.78 c #Conflicts: 417000 | #Constraints: 242224
1675.52/1679.78 c #Conflicts: 418000 | #Constraints: 243224
1675.52/1679.78 c #Conflicts: 419000 | #Constraints: 244224
1675.52/1679.78 c #Conflicts: 420000 | #Constraints: 245224
1675.52/1679.78 c INPROCESSING
1675.52/1679.78 c GARBAGE COLLECT
1675.52/1679.78 c #Conflicts: 421000 | #Constraints: 233424
1675.52/1679.78 c #Conflicts: 422000 | #Constraints: 234424
1675.52/1679.78 c #Conflicts: 423000 | #Constraints: 235424
1675.52/1679.78 c #Conflicts: 424000 | #Constraints: 236424
1675.52/1679.78 c #Conflicts: 425000 | #Constraints: 237424
1675.52/1679.78 c #Conflicts: 426000 | #Constraints: 238424
1675.52/1679.78 c #Conflicts: 427000 | #Constraints: 239424
1675.52/1679.78 c #Conflicts: 428000 | #Constraints: 240424
1675.52/1679.78 c #Conflicts: 429000 | #Constraints: 241424
1675.52/1679.78 c #Conflicts: 430000 | #Constraints: 242424
1675.52/1679.78 c #Conflicts: 431000 | #Constraints: 243424
1675.52/1679.78 c #Conflicts: 432000 | #Constraints: 244424
1675.52/1679.78 c #Conflicts: 433000 | #Constraints: 245424
1675.52/1679.78 c INPROCESSING
1675.52/1679.78 c GARBAGE COLLECT
1675.52/1679.78 c #Conflicts: 434000 | #Constraints: 233424
1675.52/1679.78 c #Conflicts: 435000 | #Constraints: 234424
1675.52/1679.78 c #Conflicts: 436000 | #Constraints: 235424
1675.52/1679.78 c #Conflicts: 437000 | #Constraints: 236424
1675.52/1679.78 c #Conflicts: 438000 | #Constraints: 237424
1675.52/1679.78 c #Conflicts: 439000 | #Constraints: 238424
1675.52/1679.78 c #Conflicts: 440000 | #Constraints: 239424
1675.52/1679.78 c #Conflicts: 441000 | #Constraints: 240424
1675.52/1679.78 c #Conflicts: 442000 | #Constraints: 241424
1675.52/1679.78 c #Conflicts: 443000 | #Constraints: 242424
1675.52/1679.78 c #Conflicts: 444000 | #Constraints: 243424
1675.52/1679.78 c #Conflicts: 445000 | #Constraints: 244424
1675.52/1679.78 c #Conflicts: 446000 | #Constraints: 245424
1675.52/1679.78 c INPROCESSING
1675.52/1679.78 c GARBAGE COLLECT
1675.52/1679.78 c #Conflicts: 447000 | #Constraints: 233226
1675.52/1679.78 c #Conflicts: 448000 | #Constraints: 234226
1675.52/1679.78 c #Conflicts: 449000 | #Constraints: 235226
1675.52/1679.78 c #Conflicts: 450000 | #Constraints: 236226
1675.52/1679.78 c #Conflicts: 451000 | #Constraints: 237226
1675.52/1679.78 c #Conflicts: 452000 | #Constraints: 238226
1675.52/1679.78 c #Conflicts: 453000 | #Constraints: 239226
1675.52/1679.78 c #Conflicts: 454000 | #Constraints: 240226
1675.52/1679.78 c #Conflicts: 455000 | #Constraints: 241226
1675.52/1679.78 c #Conflicts: 456000 | #Constraints: 242226
1675.52/1679.78 c #Conflicts: 457000 | #Constraints: 243226
1675.52/1679.78 c #Conflicts: 458000 | #Constraints: 244226
1675.52/1679.78 c #Conflicts: 459000 | #Constraints: 245226
1675.52/1679.78 c #Conflicts: 460000 | #Constraints: 246226
1675.52/1679.78 c INPROCESSING
1675.52/1679.78 c GARBAGE COLLECT
1675.52/1679.78 c #Conflicts: 461000 | #Constraints: 233828
1675.52/1679.78 c #Conflicts: 462000 | #Constraints: 234828
1675.52/1679.78 c #Conflicts: 463000 | #Constraints: 235828
1675.52/1679.78 c #Conflicts: 464000 | #Constraints: 236828
1847.98/1852.61 c #Conflicts: 465000 | #Constraints: 237828
1847.98/1852.61 c #Conflicts: 466000 | #Constraints: 238828
1847.98/1852.61 c #Conflicts: 467000 | #Constraints: 239828
1847.98/1852.61 c #Conflicts: 468000 | #Constraints: 240828
1847.98/1852.61 c #Conflicts: 469000 | #Constraints: 241828
1847.98/1852.61 c #Conflicts: 470000 | #Constraints: 242828
1847.98/1852.61 c #Conflicts: 471000 | #Constraints: 243828
1847.98/1852.61 c #Conflicts: 472000 | #Constraints: 244828
1847.98/1852.61 c #Conflicts: 473000 | #Constraints: 245828
1847.98/1852.61 c #Conflicts: 474000 | #Constraints: 246828
1847.98/1852.61 c INPROCESSING
1847.98/1852.61 c GARBAGE COLLECT
1847.98/1852.61 c #Conflicts: 475000 | #Constraints: 234229
1847.98/1852.61 c #Conflicts: 476000 | #Constraints: 235229
1847.98/1852.61 c #Conflicts: 477000 | #Constraints: 236229
1847.98/1852.61 c #Conflicts: 478000 | #Constraints: 237229
1847.98/1852.61 c #Conflicts: 479000 | #Constraints: 238229
1847.98/1852.61 c #Conflicts: 480000 | #Constraints: 239229
1847.98/1852.61 c #Conflicts: 481000 | #Constraints: 240229
1847.98/1852.61 c #Conflicts: 482000 | #Constraints: 241229
1847.98/1852.61 c #Conflicts: 483000 | #Constraints: 242229
1847.98/1852.61 c #Conflicts: 484000 | #Constraints: 243229
1847.98/1852.61 c #Conflicts: 485000 | #Constraints: 244229
1847.98/1852.61 c #Conflicts: 486000 | #Constraints: 245229
1847.98/1852.61 c #Conflicts: 487000 | #Constraints: 246229
1847.98/1852.61 c #Conflicts: 488000 | #Constraints: 247229
1847.98/1852.61 c INPROCESSING
1847.98/1852.61 c GARBAGE COLLECT
1847.98/1852.61 c #Conflicts: 489000 | #Constraints: 234431
1847.98/1852.61 c #Conflicts: 490000 | #Constraints: 235431
1847.98/1852.61 c #Conflicts: 491000 | #Constraints: 236431
1847.98/1852.61 c #Conflicts: 492000 | #Constraints: 237431
1847.98/1852.61 c #Conflicts: 493000 | #Constraints: 238431
1847.98/1852.61 c #Conflicts: 494000 | #Constraints: 239431
1847.98/1852.61 c #Conflicts: 495000 | #Constraints: 240431
1847.98/1852.61 c #Conflicts: 496000 | #Constraints: 241431
1847.98/1852.61 c #Conflicts: 497000 | #Constraints: 242431
1847.98/1852.61 c #Conflicts: 498000 | #Constraints: 243431
1847.98/1852.61 c #Conflicts: 499000 | #Constraints: 244431
1847.98/1852.61 c #Conflicts: 500000 | #Constraints: 245431
1847.98/1852.61 c #Conflicts: 501000 | #Constraints: 246431
1847.98/1852.61 c #Conflicts: 502000 | #Constraints: 247431
1847.98/1852.61 c INPROCESSING
1847.98/1852.61 c GARBAGE COLLECT
1847.98/1852.61 c #Conflicts: 503000 | #Constraints: 234428
1847.98/1852.61 c #Conflicts: 504000 | #Constraints: 235428
1847.98/1852.61 c #Conflicts: 505000 | #Constraints: 236428
1847.98/1852.61 c #Conflicts: 506000 | #Constraints: 237428
1847.98/1852.61 c #Conflicts: 507000 | #Constraints: 238428
1847.98/1852.61 c #Conflicts: 508000 | #Constraints: 239428
1847.98/1852.61 c #Conflicts: 509000 | #Constraints: 240428
1847.98/1852.61 c #Conflicts: 510000 | #Constraints: 241428
1847.98/1852.61 c #Conflicts: 511000 | #Constraints: 242428
1847.98/1852.61 c #Conflicts: 512000 | #Constraints: 243428
1847.98/1852.61 c #Conflicts: 513000 | #Constraints: 244428
1847.98/1852.61 c #Conflicts: 514000 | #Constraints: 245428
1847.98/1852.61 c #Conflicts: 515000 | #Constraints: 246428
1847.98/1852.61 c #Conflicts: 516000 | #Constraints: 247428
1847.98/1852.61 c INPROCESSING
1847.98/1852.61 c GARBAGE COLLECT
1847.98/1852.61 c #Conflicts: 517000 | #Constraints: 234227
1847.98/1852.61 c #Conflicts: 518000 | #Constraints: 235227
1847.98/1852.61 c #Conflicts: 519000 | #Constraints: 236227
1847.98/1852.61 c #Conflicts: 520000 | #Constraints: 237227
1847.98/1852.61 c #Conflicts: 521000 | #Constraints: 238227
1847.98/1852.61 c #Conflicts: 522000 | #Constraints: 239227
1847.98/1852.61 c #Conflicts: 523000 | #Constraints: 240227
1847.98/1852.61 c #Conflicts: 524000 | #Constraints: 241227
1847.98/1852.61 c #Conflicts: 525000 | #Constraints: 242227
1847.98/1852.61 c #Conflicts: 526000 | #Constraints: 243227
1847.98/1852.61 c #Conflicts: 527000 | #Constraints: 244227
1847.98/1852.61 c #Conflicts: 528000 | #Constraints: 245227
1847.98/1852.61 c #Conflicts: 529000 | #Constraints: 246227
1847.98/1852.61 c #Conflicts: 530000 | #Constraints: 247227
1847.98/1852.61 c #Conflicts: 531000 | #Constraints: 248227
1847.98/1852.61 c INPROCESSING
1847.98/1852.61 c GARBAGE COLLECT
1847.98/1852.61 c #Conflicts: 532000 | #Constraints: 234832
1847.98/1852.61 c #Conflicts: 533000 | #Constraints: 235832
1847.98/1852.61 c #Conflicts: 534000 | #Constraints: 236832
1847.98/1852.61 c #Conflicts: 535000 | #Constraints: 237832
1847.98/1852.61 c #Conflicts: 536000 | #Constraints: 238832
1847.98/1852.61 c #Conflicts: 537000 | #Constraints: 239832
1847.98/1852.61 c #Conflicts: 538000 | #Constraints: 240832
1847.98/1852.61 c #Conflicts: 539000 | #Constraints: 241832
2019.76/2024.81 c #Conflicts: 540000 | #Constraints: 242832
2019.76/2024.81 c #Conflicts: 541000 | #Constraints: 243832
2019.76/2024.81 c #Conflicts: 542000 | #Constraints: 244832
2019.76/2024.81 c #Conflicts: 543000 | #Constraints: 245832
2019.76/2024.81 c #Conflicts: 544000 | #Constraints: 246832
2019.76/2024.81 c #Conflicts: 545000 | #Constraints: 247832
2019.76/2024.81 c #Conflicts: 546000 | #Constraints: 248832
2019.76/2024.81 c INPROCESSING
2019.76/2024.81 c GARBAGE COLLECT
2019.76/2024.81 c #Conflicts: 547000 | #Constraints: 235232
2019.76/2024.81 c #Conflicts: 548000 | #Constraints: 236232
2019.76/2024.81 c #Conflicts: 549000 | #Constraints: 237232
2019.76/2024.81 c #Conflicts: 550000 | #Constraints: 238232
2019.76/2024.81 c #Conflicts: 551000 | #Constraints: 239232
2019.76/2024.81 c #Conflicts: 552000 | #Constraints: 240232
2019.76/2024.81 c #Conflicts: 553000 | #Constraints: 241232
2019.76/2024.81 c #Conflicts: 554000 | #Constraints: 242232
2019.76/2024.81 c #Conflicts: 555000 | #Constraints: 243232
2019.76/2024.81 c #Conflicts: 556000 | #Constraints: 244232
2019.76/2024.81 c #Conflicts: 557000 | #Constraints: 245232
2019.76/2024.81 c #Conflicts: 558000 | #Constraints: 246232
2019.76/2024.81 c #Conflicts: 559000 | #Constraints: 247232
2019.76/2024.81 c #Conflicts: 560000 | #Constraints: 248232
2019.76/2024.81 c #Conflicts: 561000 | #Constraints: 249232
2019.76/2024.81 c INPROCESSING
2019.76/2024.81 c GARBAGE COLLECT
2019.76/2024.81 c #Conflicts: 562000 | #Constraints: 235434
2019.76/2024.81 c #Conflicts: 563000 | #Constraints: 236434
2019.76/2024.81 c #Conflicts: 564000 | #Constraints: 237434
2019.76/2024.81 c #Conflicts: 565000 | #Constraints: 238434
2019.76/2024.81 c #Conflicts: 566000 | #Constraints: 239434
2019.76/2024.81 c #Conflicts: 567000 | #Constraints: 240434
2019.76/2024.81 c #Conflicts: 568000 | #Constraints: 241434
2019.76/2024.81 c #Conflicts: 569000 | #Constraints: 242434
2019.76/2024.81 c #Conflicts: 570000 | #Constraints: 243434
2019.76/2024.81 c #Conflicts: 571000 | #Constraints: 244434
2019.76/2024.81 c #Conflicts: 572000 | #Constraints: 245434
2019.76/2024.81 c #Conflicts: 573000 | #Constraints: 246434
2019.76/2024.81 c #Conflicts: 574000 | #Constraints: 247434
2019.76/2024.81 c #Conflicts: 575000 | #Constraints: 248434
2019.76/2024.81 c #Conflicts: 576000 | #Constraints: 249434
2019.76/2024.81 c INPROCESSING
2019.76/2024.81 c GARBAGE COLLECT
2019.76/2024.81 c #Conflicts: 577000 | #Constraints: 235439
2019.76/2024.81 c #Conflicts: 578000 | #Constraints: 236439
2019.76/2024.81 c #Conflicts: 579000 | #Constraints: 237439
2019.76/2024.81 c #Conflicts: 580000 | #Constraints: 238439
2019.76/2024.81 c #Conflicts: 581000 | #Constraints: 239439
2019.76/2024.81 c #Conflicts: 582000 | #Constraints: 240439
2019.76/2024.81 c #Conflicts: 583000 | #Constraints: 241439
2019.76/2024.81 c #Conflicts: 584000 | #Constraints: 242439
2019.76/2024.81 c #Conflicts: 585000 | #Constraints: 243439
2019.76/2024.81 c #Conflicts: 586000 | #Constraints: 244439
2019.76/2024.81 c #Conflicts: 587000 | #Constraints: 245439
2019.76/2024.81 c #Conflicts: 588000 | #Constraints: 246439
2019.76/2024.81 c #Conflicts: 589000 | #Constraints: 247439
2019.76/2024.81 c #Conflicts: 590000 | #Constraints: 248439
2019.76/2024.81 c #Conflicts: 591000 | #Constraints: 249439
2019.76/2024.81 c INPROCESSING
2019.76/2024.81 c GARBAGE COLLECT
2019.76/2024.81 c #Conflicts: 592000 | #Constraints: 235238
2019.76/2024.81 c #Conflicts: 593000 | #Constraints: 236238
2019.76/2024.81 c #Conflicts: 594000 | #Constraints: 237238
2019.76/2024.81 c #Conflicts: 595000 | #Constraints: 238238
2019.76/2024.81 c #Conflicts: 596000 | #Constraints: 239238
2019.76/2024.81 c #Conflicts: 597000 | #Constraints: 240238
2019.76/2024.81 c #Conflicts: 598000 | #Constraints: 241238
2019.76/2024.81 c #Conflicts: 599000 | #Constraints: 242238
2019.76/2024.81 c #Conflicts: 600000 | #Constraints: 243238
2019.76/2024.81 c #Conflicts: 601000 | #Constraints: 244238
2019.76/2024.81 c #Conflicts: 602000 | #Constraints: 245238
2019.76/2024.81 c #Conflicts: 603000 | #Constraints: 246238
2019.76/2024.81 c #Conflicts: 604000 | #Constraints: 247238
2019.76/2024.81 c #Conflicts: 605000 | #Constraints: 248238
2019.76/2024.81 c #Conflicts: 606000 | #Constraints: 249238
2019.76/2024.81 c #Conflicts: 607000 | #Constraints: 250238
2019.76/2024.81 c INPROCESSING
2019.76/2024.81 c GARBAGE COLLECT
2019.76/2024.81 c #Conflicts: 608000 | #Constraints: 235839
2019.76/2024.81 c #Conflicts: 609000 | #Constraints: 236839
2019.76/2024.81 c #Conflicts: 610000 | #Constraints: 237839
2019.76/2024.81 c #Conflicts: 611000 | #Constraints: 238839
2019.76/2024.81 c #Conflicts: 612000 | #Constraints: 239839
2019.76/2024.81 c #Conflicts: 613000 | #Constraints: 240839
2019.76/2024.81 c #Conflicts: 614000 | #Constraints: 241839
2019.76/2024.81 c #Conflicts: 615000 | #Constraints: 242839
2191.93/2197.48 c #Conflicts: 616000 | #Constraints: 243839
2191.93/2197.48 c #Conflicts: 617000 | #Constraints: 244839
2191.93/2197.48 c #Conflicts: 618000 | #Constraints: 245839
2191.93/2197.48 c #Conflicts: 619000 | #Constraints: 246839
2191.93/2197.48 c #Conflicts: 620000 | #Constraints: 247839
2191.93/2197.48 c #Conflicts: 621000 | #Constraints: 248839
2191.93/2197.48 c #Conflicts: 622000 | #Constraints: 249839
2191.93/2197.48 c #Conflicts: 623000 | #Constraints: 250839
2191.93/2197.48 c INPROCESSING
2191.93/2197.48 c GARBAGE COLLECT
2191.93/2197.48 c #Conflicts: 624000 | #Constraints: 236238
2191.93/2197.48 c #Conflicts: 625000 | #Constraints: 237238
2191.93/2197.48 c #Conflicts: 626000 | #Constraints: 238238
2191.93/2197.48 c #Conflicts: 627000 | #Constraints: 239238
2191.93/2197.48 c #Conflicts: 628000 | #Constraints: 240238
2191.93/2197.48 c #Conflicts: 629000 | #Constraints: 241238
2191.93/2197.48 c #Conflicts: 630000 | #Constraints: 242238
2191.93/2197.48 c #Conflicts: 631000 | #Constraints: 243238
2191.93/2197.48 c #Conflicts: 632000 | #Constraints: 244238
2191.93/2197.48 c #Conflicts: 633000 | #Constraints: 245238
2191.93/2197.48 c #Conflicts: 634000 | #Constraints: 246238
2191.93/2197.48 c #Conflicts: 635000 | #Constraints: 247238
2191.93/2197.48 c #Conflicts: 636000 | #Constraints: 248238
2191.93/2197.48 c #Conflicts: 637000 | #Constraints: 249238
2191.93/2197.48 c #Conflicts: 638000 | #Constraints: 250238
2191.93/2197.48 c #Conflicts: 639000 | #Constraints: 251238
2191.93/2197.48 c INPROCESSING
2191.93/2197.48 c GARBAGE COLLECT
2191.93/2197.48 c #Conflicts: 640000 | #Constraints: 236441
2191.93/2197.48 c #Conflicts: 641000 | #Constraints: 237441
2191.93/2197.48 c #Conflicts: 642000 | #Constraints: 238441
2191.93/2197.48 c #Conflicts: 643000 | #Constraints: 239441
2191.93/2197.48 c #Conflicts: 644000 | #Constraints: 240441
2191.93/2197.48 c #Conflicts: 645000 | #Constraints: 241441
2191.93/2197.48 c #Conflicts: 646000 | #Constraints: 242441
2191.93/2197.48 c #Conflicts: 647000 | #Constraints: 243441
2191.93/2197.48 c #Conflicts: 648000 | #Constraints: 244441
2191.93/2197.48 c #Conflicts: 649000 | #Constraints: 245441
2191.93/2197.48 c #Conflicts: 650000 | #Constraints: 246441
2191.93/2197.48 c #Conflicts: 651000 | #Constraints: 247441
2191.93/2197.48 c #Conflicts: 652000 | #Constraints: 248441
2191.93/2197.48 c #Conflicts: 653000 | #Constraints: 249441
2191.93/2197.48 c #Conflicts: 654000 | #Constraints: 250441
2191.93/2197.48 c #Conflicts: 655000 | #Constraints: 251441
2191.93/2197.48 c INPROCESSING
2191.93/2197.48 c GARBAGE COLLECT
2191.93/2197.48 c #Conflicts: 656000 | #Constraints: 236438
2191.93/2197.48 c #Conflicts: 657000 | #Constraints: 237438
2191.93/2197.48 c #Conflicts: 658000 | #Constraints: 238438
2191.93/2197.48 c #Conflicts: 659000 | #Constraints: 239438
2191.93/2197.48 c #Conflicts: 660000 | #Constraints: 240438
2191.93/2197.48 c #Conflicts: 661000 | #Constraints: 241438
2191.93/2197.48 c #Conflicts: 662000 | #Constraints: 242438
2191.93/2197.48 c #Conflicts: 663000 | #Constraints: 243438
2191.93/2197.48 c #Conflicts: 664000 | #Constraints: 244438
2191.93/2197.48 c #Conflicts: 665000 | #Constraints: 245438
2191.93/2197.48 c #Conflicts: 666000 | #Constraints: 246438
2191.93/2197.48 c #Conflicts: 667000 | #Constraints: 247438
2191.93/2197.48 c #Conflicts: 668000 | #Constraints: 248438
2191.93/2197.48 c #Conflicts: 669000 | #Constraints: 249438
2191.93/2197.48 c #Conflicts: 670000 | #Constraints: 250438
2191.93/2197.48 c #Conflicts: 671000 | #Constraints: 251438
2191.93/2197.48 c INPROCESSING
2191.93/2197.48 c GARBAGE COLLECT
2191.93/2197.48 c #Conflicts: 672000 | #Constraints: 236239
2191.93/2197.48 c #Conflicts: 673000 | #Constraints: 237239
2191.93/2197.48 c #Conflicts: 674000 | #Constraints: 238239
2191.93/2197.48 c #Conflicts: 675000 | #Constraints: 239239
2191.93/2197.48 c #Conflicts: 676000 | #Constraints: 240239
2191.93/2197.48 c #Conflicts: 677000 | #Constraints: 241239
2191.93/2197.48 c #Conflicts: 678000 | #Constraints: 242239
2191.93/2197.48 c #Conflicts: 679000 | #Constraints: 243239
2191.93/2197.48 c #Conflicts: 680000 | #Constraints: 244239
2191.93/2197.48 c #Conflicts: 681000 | #Constraints: 245239
2191.93/2197.48 c #Conflicts: 682000 | #Constraints: 246239
2191.93/2197.48 c #Conflicts: 683000 | #Constraints: 247239
2191.93/2197.48 c #Conflicts: 684000 | #Constraints: 248239
2191.93/2197.48 c #Conflicts: 685000 | #Constraints: 249239
2191.93/2197.48 c #Conflicts: 686000 | #Constraints: 250239
2191.93/2197.48 c #Conflicts: 687000 | #Constraints: 251239
2191.93/2197.48 c #Conflicts: 688000 | #Constraints: 252239
2191.93/2197.48 c INPROCESSING
2191.93/2197.48 c GARBAGE COLLECT
2191.93/2197.48 c #Conflicts: 689000 | #Constraints: 236834
2191.93/2197.48 c #Conflicts: 690000 | #Constraints: 237834
2191.93/2197.48 c #Conflicts: 691000 | #Constraints: 238834
2367.25/2373.29 c #Conflicts: 692000 | #Constraints: 239834
2367.25/2373.29 c #Conflicts: 693000 | #Constraints: 240834
2367.25/2373.29 c #Conflicts: 694000 | #Constraints: 241834
2367.25/2373.29 c #Conflicts: 695000 | #Constraints: 242834
2367.25/2373.29 c #Conflicts: 696000 | #Constraints: 243834
2367.25/2373.29 c #Conflicts: 697000 | #Constraints: 244834
2367.25/2373.29 c #Conflicts: 698000 | #Constraints: 245834
2367.25/2373.29 c #Conflicts: 699000 | #Constraints: 246834
2367.25/2373.29 c #Conflicts: 700000 | #Constraints: 247834
2367.25/2373.29 c #Conflicts: 701000 | #Constraints: 248834
2367.25/2373.29 c #Conflicts: 702000 | #Constraints: 249834
2367.25/2373.29 c #Conflicts: 703000 | #Constraints: 250834
2367.25/2373.29 c #Conflicts: 704000 | #Constraints: 251834
2367.25/2373.29 c #Conflicts: 705000 | #Constraints: 252834
2367.25/2373.29 c INPROCESSING
2367.25/2373.29 c GARBAGE COLLECT
2367.25/2373.29 c #Conflicts: 706000 | #Constraints: 237238
2367.25/2373.29 c #Conflicts: 707000 | #Constraints: 238238
2367.25/2373.29 c #Conflicts: 708000 | #Constraints: 239238
2367.25/2373.29 c #Conflicts: 709000 | #Constraints: 240238
2367.25/2373.29 c #Conflicts: 710000 | #Constraints: 241238
2367.25/2373.29 c #Conflicts: 711000 | #Constraints: 242238
2367.25/2373.29 c #Conflicts: 712000 | #Constraints: 243238
2367.25/2373.29 c #Conflicts: 713000 | #Constraints: 244238
2367.25/2373.29 c #Conflicts: 714000 | #Constraints: 245238
2367.25/2373.29 c #Conflicts: 715000 | #Constraints: 246238
2367.25/2373.29 c #Conflicts: 716000 | #Constraints: 247238
2367.25/2373.29 c #Conflicts: 717000 | #Constraints: 248238
2367.25/2373.29 c #Conflicts: 718000 | #Constraints: 249238
2367.25/2373.29 c #Conflicts: 719000 | #Constraints: 250238
2367.25/2373.29 c #Conflicts: 720000 | #Constraints: 251238
2367.25/2373.29 c #Conflicts: 721000 | #Constraints: 252238
2367.25/2373.29 c #Conflicts: 722000 | #Constraints: 253238
2367.25/2373.29 c INPROCESSING
2367.25/2373.29 c GARBAGE COLLECT
2367.25/2373.29 c #Conflicts: 723000 | #Constraints: 237441
2367.25/2373.29 c #Conflicts: 724000 | #Constraints: 238441
2367.25/2373.29 c #Conflicts: 725000 | #Constraints: 239441
2367.25/2373.29 c #Conflicts: 726000 | #Constraints: 240441
2367.25/2373.29 c #Conflicts: 727000 | #Constraints: 241441
2367.25/2373.29 c #Conflicts: 728000 | #Constraints: 242441
2367.25/2373.29 c #Conflicts: 729000 | #Constraints: 243441
2367.25/2373.29 c #Conflicts: 730000 | #Constraints: 244441
2367.25/2373.29 c #Conflicts: 731000 | #Constraints: 245441
2367.25/2373.29 c #Conflicts: 732000 | #Constraints: 246441
2367.25/2373.29 c #Conflicts: 733000 | #Constraints: 247441
2367.25/2373.29 c #Conflicts: 734000 | #Constraints: 248441
2367.25/2373.29 c #Conflicts: 735000 | #Constraints: 249441
2367.25/2373.29 c #Conflicts: 736000 | #Constraints: 250441
2367.25/2373.29 c #Conflicts: 737000 | #Constraints: 251441
2367.25/2373.29 c #Conflicts: 738000 | #Constraints: 252441
2367.25/2373.29 c #Conflicts: 739000 | #Constraints: 253441
2367.25/2373.29 c INPROCESSING
2367.25/2373.29 c GARBAGE COLLECT
2367.25/2373.29 c #Conflicts: 740000 | #Constraints: 237437
2367.25/2373.29 c #Conflicts: 741000 | #Constraints: 238437
2367.25/2373.29 c #Conflicts: 742000 | #Constraints: 239437
2367.25/2373.29 c #Conflicts: 743000 | #Constraints: 240437
2367.25/2373.29 c #Conflicts: 744000 | #Constraints: 241437
2367.25/2373.29 c #Conflicts: 745000 | #Constraints: 242437
2367.25/2373.29 c #Conflicts: 746000 | #Constraints: 243437
2367.25/2373.29 c #Conflicts: 747000 | #Constraints: 244437
2367.25/2373.29 c #Conflicts: 748000 | #Constraints: 245437
2367.25/2373.29 c #Conflicts: 749000 | #Constraints: 246437
2367.25/2373.29 c #Conflicts: 750000 | #Constraints: 247437
2367.25/2373.29 c #Conflicts: 751000 | #Constraints: 248437
2367.25/2373.29 c #Conflicts: 752000 | #Constraints: 249437
2367.25/2373.29 c #Conflicts: 753000 | #Constraints: 250437
2367.25/2373.29 c #Conflicts: 754000 | #Constraints: 251437
2367.25/2373.29 c #Conflicts: 755000 | #Constraints: 252437
2367.25/2373.29 c #Conflicts: 756000 | #Constraints: 253437
2367.25/2373.29 c INPROCESSING
2367.25/2373.29 c GARBAGE COLLECT
2367.25/2373.29 c #Conflicts: 757000 | #Constraints: 237240
2367.25/2373.29 c #Conflicts: 758000 | #Constraints: 238240
2367.25/2373.29 c #Conflicts: 759000 | #Constraints: 239240
2367.25/2373.29 c #Conflicts: 760000 | #Constraints: 240240
2367.25/2373.29 c #Conflicts: 761000 | #Constraints: 241240
2367.25/2373.29 c #Conflicts: 762000 | #Constraints: 242240
2367.25/2373.29 c #Conflicts: 763000 | #Constraints: 243240
2367.25/2373.29 c #Conflicts: 764000 | #Constraints: 244240
2367.25/2373.29 c #Conflicts: 765000 | #Constraints: 245240
2367.25/2373.29 c #Conflicts: 766000 | #Constraints: 246240
2367.25/2373.29 c #Conflicts: 767000 | #Constraints: 247240
2540.46/2546.99 c #Conflicts: 768000 | #Constraints: 248240
2540.46/2546.99 c #Conflicts: 769000 | #Constraints: 249240
2540.46/2546.99 c #Conflicts: 770000 | #Constraints: 250240
2540.46/2546.99 c #Conflicts: 771000 | #Constraints: 251240
2540.46/2546.99 c #Conflicts: 772000 | #Constraints: 252240
2540.46/2546.99 c #Conflicts: 773000 | #Constraints: 253240
2540.46/2546.99 c #Conflicts: 774000 | #Constraints: 254240
2540.46/2546.99 c INPROCESSING
2540.46/2546.99 c GARBAGE COLLECT
2540.46/2546.99 c #Conflicts: 775000 | #Constraints: 237844
2540.46/2546.99 c #Conflicts: 776000 | #Constraints: 238844
2540.46/2546.99 c #Conflicts: 777000 | #Constraints: 239844
2540.46/2546.99 c #Conflicts: 778000 | #Constraints: 240844
2540.46/2546.99 c #Conflicts: 779000 | #Constraints: 241844
2540.46/2546.99 c #Conflicts: 780000 | #Constraints: 242844
2540.46/2546.99 c #Conflicts: 781000 | #Constraints: 243844
2540.46/2546.99 c #Conflicts: 782000 | #Constraints: 244844
2540.46/2546.99 c #Conflicts: 783000 | #Constraints: 245844
2540.46/2546.99 c #Conflicts: 784000 | #Constraints: 246844
2540.46/2546.99 c #Conflicts: 785000 | #Constraints: 247844
2540.46/2546.99 c #Conflicts: 786000 | #Constraints: 248844
2540.46/2546.99 c #Conflicts: 787000 | #Constraints: 249844
2540.46/2546.99 c #Conflicts: 788000 | #Constraints: 250844
2540.46/2546.99 c #Conflicts: 789000 | #Constraints: 251844
2540.46/2546.99 c #Conflicts: 790000 | #Constraints: 252844
2540.46/2546.99 c #Conflicts: 791000 | #Constraints: 253844
2540.46/2546.99 c #Conflicts: 792000 | #Constraints: 254844
2540.46/2546.99 c INPROCESSING
2540.46/2546.99 c GARBAGE COLLECT
2540.46/2546.99 c #Conflicts: 793000 | #Constraints: 238237
2540.46/2546.99 c #Conflicts: 794000 | #Constraints: 239237
2540.46/2546.99 c #Conflicts: 795000 | #Constraints: 240237
2540.46/2546.99 c #Conflicts: 796000 | #Constraints: 241237
2540.46/2546.99 c #Conflicts: 797000 | #Constraints: 242237
2540.46/2546.99 c #Conflicts: 798000 | #Constraints: 243237
2540.46/2546.99 c #Conflicts: 799000 | #Constraints: 244237
2540.46/2546.99 c #Conflicts: 800000 | #Constraints: 245237
2540.46/2546.99 c #Conflicts: 801000 | #Constraints: 246237
2540.46/2546.99 c #Conflicts: 802000 | #Constraints: 247237
2540.46/2546.99 c #Conflicts: 803000 | #Constraints: 248237
2540.46/2546.99 c #Conflicts: 804000 | #Constraints: 249237
2540.46/2546.99 c #Conflicts: 805000 | #Constraints: 250237
2540.46/2546.99 c #Conflicts: 806000 | #Constraints: 251237
2540.46/2546.99 c #Conflicts: 807000 | #Constraints: 252237
2540.46/2546.99 c #Conflicts: 808000 | #Constraints: 253237
2540.46/2546.99 c #Conflicts: 809000 | #Constraints: 254237
2540.46/2546.99 c #Conflicts: 810000 | #Constraints: 255237
2540.46/2546.99 c INPROCESSING
2540.46/2546.99 c GARBAGE COLLECT
2540.46/2546.99 c #Conflicts: 811000 | #Constraints: 238438
2540.46/2546.99 c #Conflicts: 812000 | #Constraints: 239438
2540.46/2546.99 c #Conflicts: 813000 | #Constraints: 240438
2540.46/2546.99 c #Conflicts: 814000 | #Constraints: 241438
2540.46/2546.99 c #Conflicts: 815000 | #Constraints: 242438
2540.46/2546.99 c #Conflicts: 816000 | #Constraints: 243438
2540.46/2546.99 c #Conflicts: 817000 | #Constraints: 244438
2540.46/2546.99 c #Conflicts: 818000 | #Constraints: 245438
2540.46/2546.99 c #Conflicts: 819000 | #Constraints: 246438
2540.46/2546.99 c #Conflicts: 820000 | #Constraints: 247438
2540.46/2546.99 c #Conflicts: 821000 | #Constraints: 248438
2540.46/2546.99 c #Conflicts: 822000 | #Constraints: 249438
2540.46/2546.99 c #Conflicts: 823000 | #Constraints: 250438
2540.46/2546.99 c #Conflicts: 824000 | #Constraints: 251438
2540.46/2546.99 c #Conflicts: 825000 | #Constraints: 252438
2540.46/2546.99 c #Conflicts: 826000 | #Constraints: 253438
2540.46/2546.99 c #Conflicts: 827000 | #Constraints: 254438
2540.46/2546.99 c #Conflicts: 828000 | #Constraints: 255438
2540.46/2546.99 c INPROCESSING
2540.46/2546.99 c GARBAGE COLLECT
2540.46/2546.99 c #Conflicts: 829000 | #Constraints: 238440
2540.46/2546.99 c #Conflicts: 830000 | #Constraints: 239440
2540.46/2546.99 c #Conflicts: 831000 | #Constraints: 240440
2540.46/2546.99 c #Conflicts: 832000 | #Constraints: 241440
2540.46/2546.99 c #Conflicts: 833000 | #Constraints: 242440
2540.46/2546.99 c #Conflicts: 834000 | #Constraints: 243440
2540.46/2546.99 c #Conflicts: 835000 | #Constraints: 244440
2540.46/2546.99 c #Conflicts: 836000 | #Constraints: 245440
2540.46/2546.99 c #Conflicts: 837000 | #Constraints: 246440
2540.46/2546.99 c #Conflicts: 838000 | #Constraints: 247440
2540.46/2546.99 c #Conflicts: 839000 | #Constraints: 248440
2540.46/2546.99 c #Conflicts: 840000 | #Constraints: 249440
2540.46/2546.99 c #Conflicts: 841000 | #Constraints: 250440
2540.46/2546.99 c #Conflicts: 842000 | #Constraints: 251440
2540.46/2546.99 c #Conflicts: 843000 | #Constraints: 252440
2721.15/2728.19 c #Conflicts: 844000 | #Constraints: 253440
2721.15/2728.19 c #Conflicts: 845000 | #Constraints: 254440
2721.15/2728.19 c #Conflicts: 846000 | #Constraints: 255440
2721.15/2728.19 c INPROCESSING
2721.15/2728.19 c GARBAGE COLLECT
2721.15/2728.19 c #Conflicts: 847000 | #Constraints: 238238
2721.15/2728.19 c #Conflicts: 848000 | #Constraints: 239238
2721.15/2728.19 c #Conflicts: 849000 | #Constraints: 240238
2721.15/2728.19 c #Conflicts: 850000 | #Constraints: 241238
2721.15/2728.19 c #Conflicts: 851000 | #Constraints: 242238
2721.15/2728.19 c #Conflicts: 852000 | #Constraints: 243238
2721.15/2728.19 c #Conflicts: 853000 | #Constraints: 244238
2721.15/2728.19 c #Conflicts: 854000 | #Constraints: 245238
2721.15/2728.19 c #Conflicts: 855000 | #Constraints: 246238
2721.15/2728.19 c #Conflicts: 856000 | #Constraints: 247238
2721.15/2728.19 c #Conflicts: 857000 | #Constraints: 248238
2721.15/2728.19 c #Conflicts: 858000 | #Constraints: 249238
2721.15/2728.19 c #Conflicts: 859000 | #Constraints: 250238
2721.15/2728.19 c #Conflicts: 860000 | #Constraints: 251238
2721.15/2728.19 c #Conflicts: 861000 | #Constraints: 252238
2721.15/2728.19 c #Conflicts: 862000 | #Constraints: 253238
2721.15/2728.19 c #Conflicts: 863000 | #Constraints: 254238
2721.15/2728.19 c #Conflicts: 864000 | #Constraints: 255238
2721.15/2728.19 c #Conflicts: 865000 | #Constraints: 256238
2721.15/2728.19 c INPROCESSING
2721.15/2728.19 c GARBAGE COLLECT
2721.15/2728.19 c #Conflicts: 866000 | #Constraints: 238844
2721.15/2728.19 c #Conflicts: 867000 | #Constraints: 239844
2721.15/2728.19 c #Conflicts: 868000 | #Constraints: 240844
2721.15/2728.19 c #Conflicts: 869000 | #Constraints: 241844
2721.15/2728.19 c #Conflicts: 870000 | #Constraints: 242844
2721.15/2728.19 c #Conflicts: 871000 | #Constraints: 243844
2721.15/2728.19 c #Conflicts: 872000 | #Constraints: 244844
2721.15/2728.19 c #Conflicts: 873000 | #Constraints: 245844
2721.15/2728.19 c #Conflicts: 874000 | #Constraints: 246844
2721.15/2728.19 c #Conflicts: 875000 | #Constraints: 247844
2721.15/2728.19 c #Conflicts: 876000 | #Constraints: 248844
2721.15/2728.19 c #Conflicts: 877000 | #Constraints: 249844
2721.15/2728.19 c #Conflicts: 878000 | #Constraints: 250844
2721.15/2728.19 c #Conflicts: 879000 | #Constraints: 251844
2721.15/2728.19 c #Conflicts: 880000 | #Constraints: 252844
2721.15/2728.19 c #Conflicts: 881000 | #Constraints: 253844
2721.15/2728.19 c #Conflicts: 882000 | #Constraints: 254844
2721.15/2728.19 c #Conflicts: 883000 | #Constraints: 255844
2721.15/2728.19 c #Conflicts: 884000 | #Constraints: 256844
2721.15/2728.19 c INPROCESSING
2721.15/2728.19 c GARBAGE COLLECT
2721.15/2728.19 c #Conflicts: 885000 | #Constraints: 239241
2721.15/2728.19 c #Conflicts: 886000 | #Constraints: 240241
2721.15/2728.19 c #Conflicts: 887000 | #Constraints: 241241
2721.15/2728.19 c #Conflicts: 888000 | #Constraints: 242241
2721.15/2728.19 c #Conflicts: 889000 | #Constraints: 243241
2721.15/2728.19 c #Conflicts: 890000 | #Constraints: 244241
2721.15/2728.19 c #Conflicts: 891000 | #Constraints: 245241
2721.15/2728.19 c #Conflicts: 892000 | #Constraints: 246241
2721.15/2728.19 c #Conflicts: 893000 | #Constraints: 247241
2721.15/2728.19 c #Conflicts: 894000 | #Constraints: 248241
2721.15/2728.19 c #Conflicts: 895000 | #Constraints: 249241
2721.15/2728.19 c #Conflicts: 896000 | #Constraints: 250241
2721.15/2728.19 c #Conflicts: 897000 | #Constraints: 251241
2721.15/2728.19 c #Conflicts: 898000 | #Constraints: 252241
2721.15/2728.19 c #Conflicts: 899000 | #Constraints: 253241
2721.15/2728.19 c #Conflicts: 900000 | #Constraints: 254241
2721.15/2728.19 c #Conflicts: 901000 | #Constraints: 255241
2721.15/2728.19 c #Conflicts: 902000 | #Constraints: 256241
2721.15/2728.19 c #Conflicts: 903000 | #Constraints: 257241
2721.15/2728.19 c INPROCESSING
2721.15/2728.19 c GARBAGE COLLECT
2721.15/2728.19 c #Conflicts: 904000 | #Constraints: 239440
2721.15/2728.19 c #Conflicts: 905000 | #Constraints: 240440
2721.15/2728.19 c #Conflicts: 906000 | #Constraints: 241440
2721.15/2728.19 c #Conflicts: 907000 | #Constraints: 242440
2721.15/2728.19 c #Conflicts: 908000 | #Constraints: 243440
2721.15/2728.19 c #Conflicts: 909000 | #Constraints: 244440
2721.15/2728.19 c #Conflicts: 910000 | #Constraints: 245440
2721.15/2728.19 c #Conflicts: 911000 | #Constraints: 246440
2721.15/2728.19 c #Conflicts: 912000 | #Constraints: 247440
2721.15/2728.19 c #Conflicts: 913000 | #Constraints: 248440
2721.15/2728.19 c #Conflicts: 914000 | #Constraints: 249440
2721.15/2728.19 c #Conflicts: 915000 | #Constraints: 250440
2721.15/2728.19 c #Conflicts: 916000 | #Constraints: 251440
2721.15/2728.19 c #Conflicts: 917000 | #Constraints: 252440
2721.15/2728.19 c #Conflicts: 918000 | #Constraints: 253440
2721.15/2728.19 c #Conflicts: 919000 | #Constraints: 254440
2905.61/2913.15 c #Conflicts: 920000 | #Constraints: 255440
2905.61/2913.15 c #Conflicts: 921000 | #Constraints: 256440
2905.61/2913.15 c #Conflicts: 922000 | #Constraints: 257440
2905.61/2913.15 c INPROCESSING
2905.61/2913.15 c GARBAGE COLLECT
2905.61/2913.15 c #Conflicts: 923000 | #Constraints: 239438
2905.61/2913.15 c #Conflicts: 924000 | #Constraints: 240438
2905.61/2913.15 c #Conflicts: 925000 | #Constraints: 241438
2905.61/2913.15 c #Conflicts: 926000 | #Constraints: 242438
2905.61/2913.15 c #Conflicts: 927000 | #Constraints: 243438
2905.61/2913.15 c #Conflicts: 928000 | #Constraints: 244438
2905.61/2913.15 c #Conflicts: 929000 | #Constraints: 245438
2905.61/2913.15 c #Conflicts: 930000 | #Constraints: 246438
2905.61/2913.15 c #Conflicts: 931000 | #Constraints: 247438
2905.61/2913.15 c #Conflicts: 932000 | #Constraints: 248438
2905.61/2913.15 c #Conflicts: 933000 | #Constraints: 249438
2905.61/2913.15 c #Conflicts: 934000 | #Constraints: 250438
2905.61/2913.15 c #Conflicts: 935000 | #Constraints: 251438
2905.61/2913.15 c #Conflicts: 936000 | #Constraints: 252438
2905.61/2913.15 c #Conflicts: 937000 | #Constraints: 253438
2905.61/2913.15 c #Conflicts: 938000 | #Constraints: 254438
2905.61/2913.15 c #Conflicts: 939000 | #Constraints: 255438
2905.61/2913.15 c #Conflicts: 940000 | #Constraints: 256438
2905.61/2913.15 c #Conflicts: 941000 | #Constraints: 257438
2905.61/2913.15 c INPROCESSING
2905.61/2913.15 c GARBAGE COLLECT
2905.61/2913.15 c #Conflicts: 942000 | #Constraints: 239240
2905.61/2913.15 c #Conflicts: 943000 | #Constraints: 240240
2905.61/2913.15 c #Conflicts: 944000 | #Constraints: 241240
2905.61/2913.15 c #Conflicts: 945000 | #Constraints: 242240
2905.61/2913.15 c #Conflicts: 946000 | #Constraints: 243240
2905.61/2913.15 c #Conflicts: 947000 | #Constraints: 244240
2905.61/2913.15 c #Conflicts: 948000 | #Constraints: 245240
2905.61/2913.15 c #Conflicts: 949000 | #Constraints: 246240
2905.61/2913.15 c #Conflicts: 950000 | #Constraints: 247240
2905.61/2913.15 c #Conflicts: 951000 | #Constraints: 248240
2905.61/2913.15 c #Conflicts: 952000 | #Constraints: 249240
2905.61/2913.15 c #Conflicts: 953000 | #Constraints: 250240
2905.61/2913.15 c #Conflicts: 954000 | #Constraints: 251240
2905.61/2913.15 c #Conflicts: 955000 | #Constraints: 252240
2905.61/2913.15 c #Conflicts: 956000 | #Constraints: 253240
2905.61/2913.15 c #Conflicts: 957000 | #Constraints: 254240
2905.61/2913.15 c #Conflicts: 958000 | #Constraints: 255240
2905.61/2913.15 c #Conflicts: 959000 | #Constraints: 256240
2905.61/2913.15 c #Conflicts: 960000 | #Constraints: 257240
2905.61/2913.15 c #Conflicts: 961000 | #Constraints: 258240
2905.61/2913.15 c INPROCESSING
2905.61/2913.15 c GARBAGE COLLECT
2905.61/2913.15 c #Conflicts: 962000 | #Constraints: 239839
2905.61/2913.15 c #Conflicts: 963000 | #Constraints: 240839
2905.61/2913.15 c #Conflicts: 964000 | #Constraints: 241839
2905.61/2913.15 c #Conflicts: 965000 | #Constraints: 242839
2905.61/2913.15 c #Conflicts: 966000 | #Constraints: 243839
2905.61/2913.15 c #Conflicts: 967000 | #Constraints: 244839
2905.61/2913.15 c #Conflicts: 968000 | #Constraints: 245839
2905.61/2913.15 c #Conflicts: 969000 | #Constraints: 246839
2905.61/2913.15 c #Conflicts: 970000 | #Constraints: 247839
2905.61/2913.15 c #Conflicts: 971000 | #Constraints: 248839
2905.61/2913.15 c #Conflicts: 972000 | #Constraints: 249839
2905.61/2913.15 c #Conflicts: 973000 | #Constraints: 250839
2905.61/2913.15 c #Conflicts: 974000 | #Constraints: 251839
2905.61/2913.15 c #Conflicts: 975000 | #Constraints: 252839
2905.61/2913.15 c #Conflicts: 976000 | #Constraints: 253839
2905.61/2913.15 c #Conflicts: 977000 | #Constraints: 254839
2905.61/2913.15 c #Conflicts: 978000 | #Constraints: 255839
2905.61/2913.15 c #Conflicts: 979000 | #Constraints: 256839
2905.61/2913.15 c #Conflicts: 980000 | #Constraints: 257839
2905.61/2913.15 c #Conflicts: 981000 | #Constraints: 258839
2905.61/2913.15 c INPROCESSING
2905.61/2913.15 c GARBAGE COLLECT
2905.61/2913.15 c #Conflicts: 982000 | #Constraints: 240242
2905.61/2913.15 c #Conflicts: 983000 | #Constraints: 241242
2905.61/2913.15 c #Conflicts: 984000 | #Constraints: 242242
2905.61/2913.15 c #Conflicts: 985000 | #Constraints: 243242
2905.61/2913.15 c #Conflicts: 986000 | #Constraints: 244242
2905.61/2913.15 c #Conflicts: 987000 | #Constraints: 245242
2905.61/2913.15 c #Conflicts: 988000 | #Constraints: 246242
2905.61/2913.15 c #Conflicts: 989000 | #Constraints: 247242
2905.61/2913.15 c #Conflicts: 990000 | #Constraints: 248242
2905.61/2913.15 c #Conflicts: 991000 | #Constraints: 249242
2905.61/2913.15 c #Conflicts: 992000 | #Constraints: 250242
2905.61/2913.15 c #Conflicts: 993000 | #Constraints: 251242
2905.61/2913.15 c #Conflicts: 994000 | #Constraints: 252242
2905.61/2913.15 c #Conflicts: 995000 | #Constraints: 253242
3078.82/3086.82 c #Conflicts: 996000 | #Constraints: 254242
3078.82/3086.82 c #Conflicts: 997000 | #Constraints: 255242
3078.82/3086.82 c #Conflicts: 998000 | #Constraints: 256242
3078.82/3086.82 c #Conflicts: 999000 | #Constraints: 257242
3078.82/3086.82 c #Conflicts: 1000000 | #Constraints: 258242
3078.82/3086.82 c #Conflicts: 1001000 | #Constraints: 259242
3078.82/3086.82 c INPROCESSING
3078.82/3086.82 c GARBAGE COLLECT
3078.82/3086.82 c #Conflicts: 1002000 | #Constraints: 240443
3078.82/3086.82 c #Conflicts: 1003000 | #Constraints: 241443
3078.82/3086.82 c #Conflicts: 1004000 | #Constraints: 242443
3078.82/3086.82 c #Conflicts: 1005000 | #Constraints: 243443
3078.82/3086.82 c #Conflicts: 1006000 | #Constraints: 244443
3078.82/3086.82 c #Conflicts: 1007000 | #Constraints: 245443
3078.82/3086.82 c #Conflicts: 1008000 | #Constraints: 246443
3078.82/3086.82 c #Conflicts: 1009000 | #Constraints: 247443
3078.82/3086.82 c #Conflicts: 1010000 | #Constraints: 248443
3078.82/3086.82 c #Conflicts: 1011000 | #Constraints: 249443
3078.82/3086.82 c #Conflicts: 1012000 | #Constraints: 250443
3078.82/3086.82 c #Conflicts: 1013000 | #Constraints: 251443
3078.82/3086.82 c #Conflicts: 1014000 | #Constraints: 252443
3078.82/3086.82 c #Conflicts: 1015000 | #Constraints: 253443
3078.82/3086.82 c #Conflicts: 1016000 | #Constraints: 254443
3078.82/3086.82 c #Conflicts: 1017000 | #Constraints: 255443
3078.82/3086.82 c #Conflicts: 1018000 | #Constraints: 256443
3078.82/3086.82 c #Conflicts: 1019000 | #Constraints: 257443
3078.82/3086.82 c #Conflicts: 1020000 | #Constraints: 258443
3078.82/3086.82 c #Conflicts: 1021000 | #Constraints: 259443
3078.82/3086.82 c INPROCESSING
3078.82/3086.82 c GARBAGE COLLECT
3078.82/3086.82 c #Conflicts: 1022000 | #Constraints: 240444
3078.82/3086.82 c #Conflicts: 1023000 | #Constraints: 241444
3078.82/3086.82 c #Conflicts: 1024000 | #Constraints: 242444
3078.82/3086.82 c #Conflicts: 1025000 | #Constraints: 243444
3078.82/3086.82 c #Conflicts: 1026000 | #Constraints: 244444
3078.82/3086.82 c #Conflicts: 1027000 | #Constraints: 245444
3078.82/3086.82 c #Conflicts: 1028000 | #Constraints: 246444
3078.82/3086.82 c #Conflicts: 1029000 | #Constraints: 247444
3078.82/3086.82 c #Conflicts: 1030000 | #Constraints: 248444
3078.82/3086.82 c #Conflicts: 1031000 | #Constraints: 249444
3078.82/3086.82 c #Conflicts: 1032000 | #Constraints: 250444
3078.82/3086.82 c #Conflicts: 1033000 | #Constraints: 251444
3078.82/3086.82 c #Conflicts: 1034000 | #Constraints: 252444
3078.82/3086.82 c #Conflicts: 1035000 | #Constraints: 253444
3078.82/3086.82 c #Conflicts: 1036000 | #Constraints: 254444
3078.82/3086.82 c #Conflicts: 1037000 | #Constraints: 255444
3078.82/3086.82 c #Conflicts: 1038000 | #Constraints: 256444
3078.82/3086.82 c #Conflicts: 1039000 | #Constraints: 257444
3078.82/3086.82 c #Conflicts: 1040000 | #Constraints: 258444
3078.82/3086.82 c #Conflicts: 1041000 | #Constraints: 259444
3078.82/3086.82 c INPROCESSING
3078.82/3086.82 c GARBAGE COLLECT
3078.82/3086.82 c #Conflicts: 1042000 | #Constraints: 240240
3078.82/3086.82 c #Conflicts: 1043000 | #Constraints: 241240
3078.82/3086.82 c #Conflicts: 1044000 | #Constraints: 242240
3078.82/3086.82 c #Conflicts: 1045000 | #Constraints: 243240
3078.82/3086.82 c #Conflicts: 1046000 | #Constraints: 244240
3078.82/3086.82 c #Conflicts: 1047000 | #Constraints: 245240
3078.82/3086.82 c #Conflicts: 1048000 | #Constraints: 246240
3078.82/3086.82 c #Conflicts: 1049000 | #Constraints: 247240
3078.82/3086.82 c #Conflicts: 1050000 | #Constraints: 248240
3078.82/3086.82 c #Conflicts: 1051000 | #Constraints: 249240
3078.82/3086.82 c #Conflicts: 1052000 | #Constraints: 250240
3078.82/3086.82 c #Conflicts: 1053000 | #Constraints: 251240
3078.82/3086.82 c #Conflicts: 1054000 | #Constraints: 252240
3078.82/3086.82 c #Conflicts: 1055000 | #Constraints: 253240
3078.82/3086.82 c #Conflicts: 1056000 | #Constraints: 254240
3078.82/3086.82 c #Conflicts: 1057000 | #Constraints: 255240
3078.82/3086.82 c #Conflicts: 1058000 | #Constraints: 256240
3078.82/3086.82 c #Conflicts: 1059000 | #Constraints: 257240
3078.82/3086.82 c #Conflicts: 1060000 | #Constraints: 258240
3078.82/3086.82 c #Conflicts: 1061000 | #Constraints: 259240
3078.82/3086.82 c #Conflicts: 1062000 | #Constraints: 260240
3078.82/3086.82 c INPROCESSING
3078.82/3086.82 c GARBAGE COLLECT
3078.82/3086.82 c #Conflicts: 1063000 | #Constraints: 240843
3078.82/3086.82 c #Conflicts: 1064000 | #Constraints: 241843
3078.82/3086.82 c #Conflicts: 1065000 | #Constraints: 242843
3078.82/3086.82 c #Conflicts: 1066000 | #Constraints: 243843
3078.82/3086.82 c #Conflicts: 1067000 | #Constraints: 244843
3078.82/3086.82 c #Conflicts: 1068000 | #Constraints: 245843
3078.82/3086.82 c #Conflicts: 1069000 | #Constraints: 246843
3078.82/3086.82 c #Conflicts: 1070000 | #Constraints: 247843
3078.82/3086.82 c #Conflicts: 1071000 | #Constraints: 248843
3078.82/3086.82 c #Conflicts: 1072000 | #Constraints: 249843
3278.55/3287.16 c #Conflicts: 1073000 | #Constraints: 250843
3278.55/3287.16 c #Conflicts: 1074000 | #Constraints: 251843
3278.55/3287.16 c #Conflicts: 1075000 | #Constraints: 252843
3278.55/3287.16 c #Conflicts: 1076000 | #Constraints: 253843
3278.55/3287.16 c #Conflicts: 1077000 | #Constraints: 254843
3278.55/3287.16 c #Conflicts: 1078000 | #Constraints: 255843
3278.55/3287.16 c #Conflicts: 1079000 | #Constraints: 256843
3278.55/3287.16 c #Conflicts: 1080000 | #Constraints: 257843
3278.55/3287.16 c #Conflicts: 1081000 | #Constraints: 258843
3278.55/3287.16 c #Conflicts: 1082000 | #Constraints: 259843
3278.55/3287.16 c #Conflicts: 1083000 | #Constraints: 260843
3278.55/3287.16 c INPROCESSING
3278.55/3287.16 c GARBAGE COLLECT
3278.55/3287.16 c #Conflicts: 1084000 | #Constraints: 241246
3278.55/3287.16 c #Conflicts: 1085000 | #Constraints: 242246
3278.55/3287.16 c #Conflicts: 1086000 | #Constraints: 243246
3278.55/3287.16 c #Conflicts: 1087000 | #Constraints: 244246
3278.55/3287.16 c #Conflicts: 1088000 | #Constraints: 245246
3278.55/3287.16 c #Conflicts: 1089000 | #Constraints: 246246
3278.55/3287.16 c #Conflicts: 1090000 | #Constraints: 247246
3278.55/3287.16 c #Conflicts: 1091000 | #Constraints: 248246
3278.55/3287.16 c #Conflicts: 1092000 | #Constraints: 249246
3278.55/3287.16 c #Conflicts: 1093000 | #Constraints: 250246
3278.55/3287.16 c #Conflicts: 1094000 | #Constraints: 251246
3278.55/3287.16 c #Conflicts: 1095000 | #Constraints: 252246
3278.55/3287.16 c #Conflicts: 1096000 | #Constraints: 253246
3278.55/3287.16 c #Conflicts: 1097000 | #Constraints: 254246
3278.55/3287.16 c #Conflicts: 1098000 | #Constraints: 255246
3278.55/3287.16 c #Conflicts: 1099000 | #Constraints: 256246
3278.55/3287.16 c #Conflicts: 1100000 | #Constraints: 257246
3278.55/3287.16 c #Conflicts: 1101000 | #Constraints: 258246
3278.55/3287.16 c #Conflicts: 1102000 | #Constraints: 259246
3278.55/3287.16 c #Conflicts: 1103000 | #Constraints: 260246
3278.55/3287.16 c #Conflicts: 1104000 | #Constraints: 261246
3278.55/3287.16 c INPROCESSING
3278.55/3287.16 c GARBAGE COLLECT
3278.55/3287.16 c #Conflicts: 1105000 | #Constraints: 241441
3278.55/3287.16 c #Conflicts: 1106000 | #Constraints: 242441
3278.55/3287.16 c #Conflicts: 1107000 | #Constraints: 243441
3278.55/3287.16 c #Conflicts: 1108000 | #Constraints: 244441
3278.55/3287.16 c #Conflicts: 1109000 | #Constraints: 245441
3278.55/3287.16 c #Conflicts: 1110000 | #Constraints: 246441
3278.55/3287.16 c #Conflicts: 1111000 | #Constraints: 247441
3278.55/3287.16 c #Conflicts: 1112000 | #Constraints: 248441
3278.55/3287.16 c #Conflicts: 1113000 | #Constraints: 249441
3278.55/3287.16 c #Conflicts: 1114000 | #Constraints: 250441
3278.55/3287.16 c #Conflicts: 1115000 | #Constraints: 251441
3278.55/3287.16 c #Conflicts: 1116000 | #Constraints: 252441
3278.55/3287.16 c #Conflicts: 1117000 | #Constraints: 253441
3278.55/3287.16 c #Conflicts: 1118000 | #Constraints: 254441
3278.55/3287.16 c #Conflicts: 1119000 | #Constraints: 255441
3278.55/3287.16 c #Conflicts: 1120000 | #Constraints: 256441
3278.55/3287.16 c #Conflicts: 1121000 | #Constraints: 257441
3278.55/3287.16 c #Conflicts: 1122000 | #Constraints: 258441
3278.55/3287.16 c #Conflicts: 1123000 | #Constraints: 259441
3278.55/3287.16 c #Conflicts: 1124000 | #Constraints: 260441
3278.55/3287.16 c #Conflicts: 1125000 | #Constraints: 261441
3278.55/3287.16 c INPROCESSING
3278.55/3287.16 c GARBAGE COLLECT
3278.55/3287.16 c #Conflicts: 1126000 | #Constraints: 241444
3278.55/3287.16 c #Conflicts: 1127000 | #Constraints: 242444
3278.55/3287.16 c #Conflicts: 1128000 | #Constraints: 243444
3278.55/3287.16 c #Conflicts: 1129000 | #Constraints: 244444
3278.55/3287.16 c #Conflicts: 1130000 | #Constraints: 245444
3278.55/3287.16 c #Conflicts: 1131000 | #Constraints: 246444
3278.55/3287.16 c #Conflicts: 1132000 | #Constraints: 247444
3278.55/3287.16 c #Conflicts: 1133000 | #Constraints: 248444
3278.55/3287.16 c #Conflicts: 1134000 | #Constraints: 249444
3278.55/3287.16 c #Conflicts: 1135000 | #Constraints: 250444
3278.55/3287.16 c #Conflicts: 1136000 | #Constraints: 251444
3278.55/3287.16 c #Conflicts: 1137000 | #Constraints: 252444
3278.55/3287.16 c #Conflicts: 1138000 | #Constraints: 253444
3278.55/3287.16 c #Conflicts: 1139000 | #Constraints: 254444
3278.55/3287.16 c #Conflicts: 1140000 | #Constraints: 255444
3278.55/3287.16 c #Conflicts: 1141000 | #Constraints: 256444
3278.55/3287.16 c #Conflicts: 1142000 | #Constraints: 257444
3278.55/3287.16 c #Conflicts: 1143000 | #Constraints: 258444
3278.55/3287.16 c #Conflicts: 1144000 | #Constraints: 259444
3278.55/3287.16 c #Conflicts: 1145000 | #Constraints: 260444
3278.55/3287.16 c #Conflicts: 1146000 | #Constraints: 261444
3278.55/3287.16 c INPROCESSING
3278.55/3287.16 c GARBAGE COLLECT
3278.55/3287.16 c #Conflicts: 1147000 | #Constraints: 241242
3278.55/3287.16 c #Conflicts: 1148000 | #Constraints: 242242
3465.62/3474.73 c #Conflicts: 1149000 | #Constraints: 243242
3465.62/3474.73 c #Conflicts: 1150000 | #Constraints: 244242
3465.62/3474.73 c #Conflicts: 1151000 | #Constraints: 245242
3465.62/3474.73 c #Conflicts: 1152000 | #Constraints: 246242
3465.62/3474.73 c #Conflicts: 1153000 | #Constraints: 247242
3465.62/3474.73 c #Conflicts: 1154000 | #Constraints: 248242
3465.62/3474.73 c #Conflicts: 1155000 | #Constraints: 249242
3465.62/3474.73 c #Conflicts: 1156000 | #Constraints: 250242
3465.62/3474.73 c #Conflicts: 1157000 | #Constraints: 251242
3465.62/3474.73 c #Conflicts: 1158000 | #Constraints: 252242
3465.62/3474.73 c #Conflicts: 1159000 | #Constraints: 253242
3465.62/3474.73 c #Conflicts: 1160000 | #Constraints: 254242
3465.62/3474.73 c #Conflicts: 1161000 | #Constraints: 255242
3465.62/3474.73 c #Conflicts: 1162000 | #Constraints: 256242
3465.62/3474.73 c #Conflicts: 1163000 | #Constraints: 257242
3465.62/3474.73 c #Conflicts: 1164000 | #Constraints: 258242
3465.62/3474.73 c #Conflicts: 1165000 | #Constraints: 259242
3465.62/3474.73 c #Conflicts: 1166000 | #Constraints: 260242
3465.62/3474.73 c #Conflicts: 1167000 | #Constraints: 261242
3465.62/3474.73 c #Conflicts: 1168000 | #Constraints: 262242
3465.62/3474.73 c INPROCESSING
3465.62/3474.73 c GARBAGE COLLECT
3465.62/3474.73 c #Conflicts: 1169000 | #Constraints: 241845
3465.62/3474.73 c #Conflicts: 1170000 | #Constraints: 242845
3465.62/3474.73 c #Conflicts: 1171000 | #Constraints: 243845
3465.62/3474.73 c #Conflicts: 1172000 | #Constraints: 244845
3465.62/3474.73 c #Conflicts: 1173000 | #Constraints: 245845
3465.62/3474.73 c #Conflicts: 1174000 | #Constraints: 246845
3465.62/3474.73 c #Conflicts: 1175000 | #Constraints: 247845
3465.62/3474.73 c #Conflicts: 1176000 | #Constraints: 248845
3465.62/3474.73 c #Conflicts: 1177000 | #Constraints: 249845
3465.62/3474.73 c #Conflicts: 1178000 | #Constraints: 250845
3465.62/3474.73 c #Conflicts: 1179000 | #Constraints: 251845
3465.62/3474.73 c #Conflicts: 1180000 | #Constraints: 252845
3465.62/3474.73 c #Conflicts: 1181000 | #Constraints: 253845
3465.62/3474.73 c #Conflicts: 1182000 | #Constraints: 254845
3465.62/3474.73 c #Conflicts: 1183000 | #Constraints: 255845
3465.62/3474.73 c #Conflicts: 1184000 | #Constraints: 256845
3465.62/3474.73 c #Conflicts: 1185000 | #Constraints: 257845
3465.62/3474.73 c #Conflicts: 1186000 | #Constraints: 258845
3465.62/3474.73 c #Conflicts: 1187000 | #Constraints: 259845
3465.62/3474.73 c #Conflicts: 1188000 | #Constraints: 260845
3465.62/3474.73 c #Conflicts: 1189000 | #Constraints: 261845
3465.62/3474.73 c #Conflicts: 1190000 | #Constraints: 262845
3465.62/3474.73 c INPROCESSING
3465.62/3474.73 c GARBAGE COLLECT
3465.62/3474.73 c #Conflicts: 1191000 | #Constraints: 242243
3465.62/3474.73 c #Conflicts: 1192000 | #Constraints: 243243
3465.62/3474.73 c #Conflicts: 1193000 | #Constraints: 244243
3465.62/3474.73 c #Conflicts: 1194000 | #Constraints: 245243
3465.62/3474.73 c #Conflicts: 1195000 | #Constraints: 246243
3465.62/3474.73 c #Conflicts: 1196000 | #Constraints: 247243
3465.62/3474.73 c #Conflicts: 1197000 | #Constraints: 248243
3465.62/3474.73 c #Conflicts: 1198000 | #Constraints: 249243
3465.62/3474.73 c #Conflicts: 1199000 | #Constraints: 250243
3465.62/3474.73 c #Conflicts: 1200000 | #Constraints: 251243
3465.62/3474.73 c #Conflicts: 1201000 | #Constraints: 252243
3465.62/3474.73 c #Conflicts: 1202000 | #Constraints: 253243
3465.62/3474.73 c #Conflicts: 1203000 | #Constraints: 254243
3465.62/3474.73 c #Conflicts: 1204000 | #Constraints: 255243
3465.62/3474.73 c #Conflicts: 1205000 | #Constraints: 256243
3465.62/3474.73 c #Conflicts: 1206000 | #Constraints: 257243
3465.62/3474.73 c #Conflicts: 1207000 | #Constraints: 258243
3465.62/3474.73 c #Conflicts: 1208000 | #Constraints: 259243
3465.62/3474.73 c #Conflicts: 1209000 | #Constraints: 260243
3465.62/3474.73 c #Conflicts: 1210000 | #Constraints: 261243
3465.62/3474.73 c #Conflicts: 1211000 | #Constraints: 262243
3465.62/3474.73 c #Conflicts: 1212000 | #Constraints: 263243
3465.62/3474.73 c INPROCESSING
3465.62/3474.73 c GARBAGE COLLECT
3465.62/3474.73 c #Conflicts: 1213000 | #Constraints: 242445
3465.62/3474.73 c #Conflicts: 1214000 | #Constraints: 243445
3465.62/3474.73 c #Conflicts: 1215000 | #Constraints: 244445
3465.62/3474.73 c #Conflicts: 1216000 | #Constraints: 245445
3465.62/3474.73 c #Conflicts: 1217000 | #Constraints: 246445
3465.62/3474.73 c #Conflicts: 1218000 | #Constraints: 247445
3465.62/3474.73 c #Conflicts: 1219000 | #Constraints: 248445
3465.62/3474.73 c #Conflicts: 1220000 | #Constraints: 249445
3465.62/3474.73 c #Conflicts: 1221000 | #Constraints: 250445
3465.62/3474.73 c #Conflicts: 1222000 | #Constraints: 251445
3465.62/3474.73 c #Conflicts: 1223000 | #Constraints: 252445
3465.62/3474.73 c #Conflicts: 1224000 | #Constraints: 253445
3465.62/3474.73 c #Conflicts: 1225000 | #Constraints: 254445
3600.08/3609.50 c #Conflicts: 1226000 | #Constraints: 255445
3600.08/3609.50 c #Conflicts: 1227000 | #Constraints: 256445
3600.08/3609.50 c #Conflicts: 1228000 | #Constraints: 257445
3600.08/3609.50 c #Conflicts: 1229000 | #Constraints: 258445
3600.08/3609.50 c #Conflicts: 1230000 | #Constraints: 259445
3600.08/3609.50 c #Conflicts: 1231000 | #Constraints: 260445
3600.08/3609.50 c #Conflicts: 1232000 | #Constraints: 261445
3600.08/3609.50 c #Conflicts: 1233000 | #Constraints: 262445
3600.08/3609.50 c #Conflicts: 1234000 | #Constraints: 263445
3600.08/3609.50 c INPROCESSING
3600.08/3609.50 c GARBAGE COLLECT
3600.08/3609.50 c #Conflicts: 1235000 | #Constraints: 242445
3600.08/3609.50 c #Conflicts: 1236000 | #Constraints: 243445
3600.08/3609.50 c #Conflicts: 1237000 | #Constraints: 244445
3600.08/3609.50 c #Conflicts: 1238000 | #Constraints: 245445
3600.08/3609.50 c #Conflicts: 1239000 | #Constraints: 246445
3600.08/3609.50 c #Conflicts: 1240000 | #Constraints: 247445
3600.08/3609.50 c #Conflicts: 1241000 | #Constraints: 248445
3600.08/3609.50 c #Conflicts: 1242000 | #Constraints: 249445
3600.08/3609.50 c #Conflicts: 1243000 | #Constraints: 250445
3600.08/3609.50 c #Conflicts: 1244000 | #Constraints: 251445
3600.08/3609.50 c #Conflicts: 1245000 | #Constraints: 252445
3600.08/3609.50 c #Conflicts: 1246000 | #Constraints: 253445
3600.08/3609.50 c #Conflicts: 1247000 | #Constraints: 254445
3600.08/3609.50 c #Conflicts: 1248000 | #Constraints: 255445
3600.08/3609.50 c #Conflicts: 1249000 | #Constraints: 256445
3600.08/3609.50 c #Conflicts: 1250000 | #Constraints: 257445
3600.08/3609.50 c #Conflicts: 1251000 | #Constraints: 258445
3600.08/3609.50 c #Conflicts: 1252000 | #Constraints: 259445
3600.08/3609.50 c #Conflicts: 1253000 | #Constraints: 260445
3600.08/3609.50 c #Conflicts: 1254000 | #Constraints: 261445
3600.08/3609.50 c #Conflicts: 1255000 | #Constraints: 262445
3600.08/3609.50 c #Conflicts: 1256000 | #Constraints: 263445
3600.08/3609.50 c INPROCESSING
3600.08/3609.50 c GARBAGE COLLECT
3600.08/3609.50 c #Conflicts: 1257000 | #Constraints: 242251
3600.08/3609.50 c #Conflicts: 1258000 | #Constraints: 243251
3600.08/3609.50 c #Conflicts: 1259000 | #Constraints: 244251
3600.08/3609.50 c #Conflicts: 1260000 | #Constraints: 245251
3600.08/3609.50 c #Conflicts: 1261000 | #Constraints: 246251
3600.08/3609.50 c #Conflicts: 1262000 | #Constraints: 247251
3600.08/3609.50 c #Conflicts: 1263000 | #Constraints: 248251
3600.08/3609.50 c #Conflicts: 1264000 | #Constraints: 249251
3600.08/3609.50 c #Conflicts: 1265000 | #Constraints: 250251
3600.08/3609.50 c #Conflicts: 1266000 | #Constraints: 251251
3600.08/3609.50 c #Conflicts: 1267000 | #Constraints: 252251
3600.08/3609.50 c #Conflicts: 1268000 | #Constraints: 253251
3600.08/3609.50 c #Conflicts: 1269000 | #Constraints: 254251
3600.08/3609.50 c #Conflicts: 1270000 | #Constraints: 255251
3600.08/3609.50 c #Conflicts: 1271000 | #Constraints: 256251
3600.08/3609.50 c #Conflicts: 1272000 | #Constraints: 257251
3600.08/3609.50 c #Conflicts: 1273000 | #Constraints: 258251
3600.08/3609.50 c #Conflicts: 1274000 | #Constraints: 259251
3600.08/3609.50 c #Conflicts: 1275000 | #Constraints: 260251
3600.08/3609.50 c #Conflicts: 1276000 | #Constraints: 261251
3600.08/3609.50 c #Conflicts: 1277000 | #Constraints: 262251
3600.08/3609.50 c #Conflicts: 1278000 | #Constraints: 263251
3600.08/3609.50 c #Conflicts: 1279000 | #Constraints: 264251
3600.08/3609.50 c INPROCESSING
3600.08/3609.50 c GARBAGE COLLECT
3600.08/3609.50 c cpu time 3585.42 s
3600.08/3609.50 c deterministic time 1 1.00e+00
3600.08/3609.50 c optimization time 3583.98 s
3600.08/3609.50 c total solve time 0 s
3600.08/3609.50 c core-guided solve time 0 s
3600.08/3609.50 c propagation time 0.120005 s
3600.08/3609.50 c conflict analysis time 0 s
3600.08/3609.50 c propagations 0
3600.08/3609.50 c resolve steps 0
3600.08/3609.50 c decisions 0
3600.08/3609.50 c conflicts 0
3600.08/3609.50 c restarts 0
3600.08/3609.50 c inprocessing phases 0
3600.08/3609.50 c garbage collections 0 ,( -nan )
3600.08/3609.50 c input clauses 381136 ,( 100.00 )
3600.08/3609.50 c input cardinalities 0 ,( 0.00 )
3600.08/3609.50 c input general constraints 0 ,( 0.00 )
3600.08/3609.50 c input average constraint length 3.00
3600.08/3609.50 c input average constraint degree 1.00
3600.08/3609.50 c learned clauses 0 ,( 0.00 )
3600.08/3609.50 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.50 c learned general constraints 0 ,( 0.00 )
3600.08/3609.50 c learned average constraint length 0.00
3600.08/3609.50 c learned average constraint degree 0.00
3600.08/3609.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.50 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3609.50 c watched constraints 0 ,( -nan )
3600.08/3609.50 c counting constraints 0 ,( -nan )
3600.08/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.50 c gcd simplifications 0
3600.08/3609.50 c detected cardinalities 0
3600.08/3609.50 c weakened non-implied lits 0
3600.08/3609.50 c weakened non-implying lits 0
3600.08/3609.50 c original variables 3486
3600.08/3609.50 c clausal propagations 0
3600.08/3609.50 c cardinality propagations 0
3600.08/3609.50 c watched propagations 0
3600.08/3609.50 c counting propagations 0
3600.08/3609.50 c watch lookups 0
3600.08/3609.50 c watch backjump lookups 0
3600.08/3609.50 c watch checks 0
3600.08/3609.50 c propagation checks 0
3600.08/3609.50 c constraint additions 0
3600.08/3609.50 c trail pops 0
3600.08/3609.50 c formula constraints 381136
3600.08/3609.50 c learned constraints 0
3600.08/3609.50 c bound constraints 0
3600.08/3609.50 c core-guided constraints 0
3600.08/3609.50 c encountered formula constraints 0
3600.08/3609.50 c encountered learned constraints 0
3600.08/3609.50 c encountered bound constraints 0
3600.08/3609.50 c encountered core-guided constraints 0
3600.08/3609.50 c LP total time 0 s
3600.08/3609.50 c LP solve time 0 s
3600.08/3609.50 c LP constraints added 0
3600.08/3609.50 c LP constraints removed 0
3600.08/3609.50 c LP pivots internal 0
3600.08/3609.50 c LP pivots root 0
3600.08/3609.50 c LP calls 0
3600.08/3609.50 c LP optimalities 0
3600.08/3609.50 c LP no pivot count 0
3600.08/3609.50 c LP infeasibilities 0
3600.08/3609.50 c LP valid Farkas constraints 0
3600.08/3609.50 c LP learned Farkas constraints 0
3600.08/3609.50 c LP basis resets 0
3600.08/3609.50 c LP cycling count 0
3600.08/3609.50 c LP singular count 0
3600.08/3609.50 c LP no primal count 0
3600.08/3609.50 c LP no farkas count 0
3600.08/3609.50 c LP other issue count 0
3600.08/3609.50 c LP Gomory cuts 0
3600.08/3609.50 c LP learned cuts 0
3600.08/3609.50 c LP deleted cuts 0
3600.08/3609.50 c LP encountered Gomory constraints 0
3600.08/3609.50 c LP encountered Farkas constraints 0
3600.08/3609.50 c LP encountered learned Farkas constraints 0
3600.08/3609.50 c CG auxiliary variables introduced 0
3600.08/3609.50 c CG solutions found 0
3600.08/3609.50 c CG cores constructed 0
3600.08/3609.50 c CG core cardinality constraints returned 0
3600.08/3609.50 c CG unit cores 0
3600.08/3609.50 c CG single cores 0
3600.08/3609.50 c CG blocks removed during cardinality reduction 0
3600.08/3609.50 c CG first core best 0
3600.08/3609.50 c CG decision core best 0
3600.08/3609.50 c CG core reduction tie 0
3600.08/3609.50 c CG core degree average 0.00
3600.08/3609.50 c CG core slack average 0.00
3600.08/3609.50 c CG core upper bound improvements 0
3600.08/3609.50 c STR number of successful calls 0
3600.08/3609.50 c STR number of unsuccessful calls 0
3600.08/3609.50 c STR number of inconclusive calls 0
3600.08/3609.50 c STR number of successful attempts 0
3600.08/3609.50 c STR number of unsuccessful attempts 0
3600.08/3609.50 c STR number of inconclusive attempts 0
3600.08/3609.50 c STR average degree increase per successful call inf
3600.08/3609.50 c STR average degree increase per successful attempt inf
3600.08/3609.50 c STR total number of conflicts for successful attempts 0
3600.08/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.50 c STR average number of conflicts per successful attempt inf
3600.08/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.50 c AVG.sumWPerc -nan
3600.08/3609.50 c bigint constraints 0
3600.08/3609.50 s UNKNOWN
3600.08/3609.50 c Program interrupted by user.
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 (38491 MiB free)
memory of node 1: 64465 MiB (62996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521217-1751582678/watcher-4521217-1751582678 -o /tmp/evaluation-result-4521217-1751582678/solver-4521217-1751582678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83031 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521217-1751582678.opb PROOFDIR/proof-4521217-1751582678
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=83533, runsolver pid=83530
[startup+0.100063 s]*
/proc/loadavg: 4.15 4.12 4.06 4/270 83535
/proc/meminfo: memFree=103917932/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=58016 memory=11608 CPUtime=0.05 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 1251 0 0 0 4 1 0 0 20 0 1 0 73945451 59408384 2902 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 14504 2902 1952 1147 0 1931 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 62208 KiB
Current children cumulated memory: 14552 KiB
[startup+0.205633 s]*
/proc/loadavg: 4.15 4.12 4.06 4/270 83535
/proc/meminfo: memFree=103912964/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=61576 memory=18776 CPUtime=0.15 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 2623 0 0 0 12 3 0 0 20 0 1 0 73945451 63053824 4694 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 15394 4694 1952 1147 0 2821 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 65768 KiB
Current children cumulated memory: 21720 KiB
[startup+0.306457 s]*
/proc/loadavg: 4.15 4.12 4.06 4/270 83535
/proc/meminfo: memFree=103906608/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=65564 memory=22428 CPUtime=0.25 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 3813 0 0 0 19 6 0 0 20 0 1 0 73945451 67137536 5575 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 16424 5607 1952 1147 0 3851 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 69756 KiB
Current children cumulated memory: 25372 KiB
[startup+0.700312 s]
/proc/loadavg: 4.15 4.12 4.06 4/270 83535
/proc/meminfo: memFree=103896712/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=85768 memory=40592 CPUtime=0.63 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 8216 0 0 0 46 17 0 0 20 0 1 0 73945451 87826432 10148 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 21442 10148 1952 1147 0 8869 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 89960 KiB
Current children cumulated memory: 43536 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.12 4.06 6/270 83535
/proc/meminfo: memFree=103877720/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=270144 memory=172108 CPUtime=1.43 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 21831 0 0 0 109 34 0 0 20 0 1 0 73945451 276627456 43027 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 67536 43027 2240 1147 0 54963 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 274336 KiB
Current children cumulated memory: 175052 KiB
[startup+3.10536 s]
/proc/loadavg: 4.15 4.12 4.06 4/266 83561
/proc/meminfo: memFree=109255708/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=576308 memory=459716 CPUtime=3.02 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 61395 0 0 0 243 59 0 0 20 0 1 0 73945451 590139392 114929 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 144077 114929 2336 1147 0 131504 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 580500 KiB
Current children cumulated memory: 462660 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.12 4.06 5/272 83581
/proc/meminfo: memFree=128325320/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=576308 memory=459716 CPUtime=6.21 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 61400 0 0 0 559 62 0 0 20 0 1 0 73945451 590139392 114929 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 144077 114929 2336 1147 0 131504 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 580500 KiB
Current children cumulated memory: 462660 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.12 4.06 5/272 83581
/proc/meminfo: memFree=128087608/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=576308 memory=459716 CPUtime=12.59 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 61404 0 0 0 1194 65 0 0 20 0 1 0 73945451 590139392 114929 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 144077 114929 2336 1147 0 131504 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 580500 KiB
Current children cumulated memory: 462660 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.06 5/272 83581
/proc/meminfo: memFree=127841432/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=576308 memory=459716 CPUtime=25.36 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 61404 0 0 0 2467 69 0 0 20 0 1 0 73945451 590139392 114929 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 144077 114929 2336 1147 0 131504 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 580500 KiB
Current children cumulated memory: 462660 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.12 4.06 5/272 83581
/proc/meminfo: memFree=127479152/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=576308 memory=460100 CPUtime=50.91 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 61486 0 0 0 5012 79 0 0 20 0 1 0 73945451 590139392 115025 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 144077 115025 2336 1147 0 131504 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 580500 KiB
Current children cumulated memory: 463044 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/273 83584
/proc/meminfo: memFree=126644008/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=576308 memory=460100 CPUtime=101.98 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 61490 0 0 0 10101 97 0 0 20 0 1 0 73945451 590139392 115025 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 144077 115025 2336 1147 0 131504 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 580500 KiB
Current children cumulated memory: 463044 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/274 83593
/proc/meminfo: memFree=125614644/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=656448 memory=513132 CPUtime=161.84 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 61996 0 0 0 16066 118 0 0 20 0 1 0 73945451 672202752 128283 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 164112 128283 2336 1147 0 151539 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 660640 KiB
Current children cumulated memory: 516076 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/274 83595
/proc/meminfo: memFree=124751936/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=656448 memory=521324 CPUtime=221.69 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 62004 0 0 0 22031 138 0 0 20 0 1 0 73945451 672202752 130331 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 164112 130331 2336 1147 0 151539 0
################
# More data... #
################
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=611860 CPUtime=3094.27 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 62977 0 0 0 308160 1267 0 0 20 0 1 0 73945451 806834176 152965 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 152965 2336 1147 0 184408 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 614804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/272 83761
/proc/meminfo: memFree=87883040/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=611860 CPUtime=3154.1 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 62977 0 0 0 314121 1289 0 0 20 0 1 0 73945451 806834176 152965 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 152965 2336 1147 0 184408 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 614804 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/273 83764
/proc/meminfo: memFree=87210728/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=611860 CPUtime=3213.94 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 62977 0 0 0 320083 1311 0 0 20 0 1 0 73945451 806834176 152965 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 152965 2336 1147 0 184408 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 614804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/273 83766
/proc/meminfo: memFree=86519680/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=620052 CPUtime=3273.76 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 62982 0 0 0 326038 1338 0 0 20 0 1 0 73945451 806834176 155013 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 155013 2336 1147 0 184408 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 622996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/273 83768
/proc/meminfo: memFree=85801068/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=622100 CPUtime=3333.59 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 62999 0 0 0 331998 1361 0 0 20 0 1 0 73945451 806834176 155525 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 155525 2336 1147 0 184408 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 625044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/272 83770
/proc/meminfo: memFree=85119888/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=624148 CPUtime=3393.42 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 63000 0 0 0 337957 1385 0 0 20 0 1 0 73945451 806834176 156037 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 156037 2336 1147 0 184408 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 627092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/273 83773
/proc/meminfo: memFree=84445980/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=626196 CPUtime=3453.26 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 63017 0 0 0 343916 1410 0 0 20 0 1 0 73945451 806834176 156549 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 156549 2336 1147 0 184408 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 629140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/273 83775
/proc/meminfo: memFree=83791544/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=626196 CPUtime=3513.1 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 63085 0 0 0 349878 1432 0 0 20 0 1 0 73945451 806834176 156549 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 156549 2336 1147 0 184408 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 629140 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/273 83777
/proc/meminfo: memFree=83146776/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=632340 CPUtime=3572.95 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 63091 0 0 0 355838 1457 0 0 20 0 1 0 73945451 806834176 158085 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 158085 2336 1147 0 184408 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 635284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.13 4.10 3/273 83869
/proc/meminfo: memFree=108046956/131249988 swapFree=33010160/33010684
[pid=83533] ppid=83530 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83533/stat : 83533 (run-opt-log.sh) S 83530 83533 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73945450 4292608 736 18446744073709551615 94150779744256 94150780638789 140735239411296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94150780877840 94150780925584 94150784475136 140735239416097 140735239416292 140735239416292 140735239421894 0
/proc/83533/statm: 1048 736 672 219 0 110 0
[pid=83535] ppid=83533 vsize=787924 memory=632340 CPUtime=3600.08 cores=0,2
/proc/83535/stat : 83535 (roundingsat) R 83533 83533 83021 0 -1 4194304 63091 0 0 0 358541 1467 0 0 20 0 1 0 73945451 806834176 158085 18446744073709551615 4227072 8923433 140735316805696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15970304 140735316810066 140735316810280 140735316810280 140735316815850 0
/proc/83535/statm: 196981 158085 2336 1147 0 184408 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 792116 KiB
Current children cumulated memory: 635284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 83533 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002406 s
[startup+3609.61 s]
# the end of solver process 83535 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.48 s, system=14.6845 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]*
/proc/loadavg: 4.10 4.13 4.10 3/272 83869
/proc/meminfo: memFree=108417724/131249988 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002406 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3609.61
CPU time (s): 3600.16
CPU user time (s): 3585.48
CPU system time (s): 14.6845
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 792116
Max. memory (cumulated for all children) (KiB): 635284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.48
system time used= 14.6845
maximum resident set size= 632724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24285928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 631
involuntary context switches= 5437
# summary of solver processes directly reported to runsolver:
# pid: 83533,83535
# total CPU time (s): 3600.16
# total CPU user time (s): 3585.48
# total CPU system time (s): 14.6845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00983 second user time and 15.422 second system time
The end
Begin job on nodeC020 at 2025-07-04 00:44:39
IDJOB=4521217
IDBENCH=178243
IDSOLVER=3351
FILE ID=nodeC020/4521217-1751582678
RUNJOBID= nodeC020-1751579055-83031
SLURM_JOB_ID= 9598813
Free space on /tmp= 431724 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521217-1751582678/watcher-4521217-1751582678 -o /tmp/evaluation-result-4521217-1751582678/solver-4521217-1751582678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83031 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521217-1751582678.opb PROOFDIR/proof-4521217-1751582678
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56a55a6a376bce11ab58c02a823aeaa9
RANDOM SEED=1389317034
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.899
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.585
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 : 3599.919
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 : 3599.905
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.945
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 : 3700.000
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 : 3600.126
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 : 3599.896
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: 103924236 kB
MemAvailable: 123045888 kB
Buffers: 2128 kB
Cached: 19894516 kB
SwapCached: 8 kB
Active: 7081700 kB
Inactive: 19329044 kB
Active(anon): 6507632 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 19304476 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62304 kB
Writeback: 6953076 kB
AnonPages: 6516728 kB
Mapped: 117616 kB
Shmem: 18044 kB
KReclaimable: 164692 kB
Slab: 486232 kB
SReclaimable: 164692 kB
SUnreclaim: 321540 kB
KernelStack: 4352 kB
PageTables: 17528 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 7794772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1468416 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= 431736 MiB
End job on nodeC020 at 2025-07-04 01:44:49