0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4531943-1752683080.opb'
0.00/0.04 c read 2.08MB (27.43ms)
0.00/0.04 c [cnf: #variables 2025 #clauses 62276 #duplicates 0 #arr 185790]
0.00/0.04 c output proof to '/tmp/proof-4531943-1752683080'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 0] (20.02ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (2.72ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 70484 #edges 383946]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 1.00*10^0 #generators 0] (4.52ms)
0.00/0.06 c
0.00/0.06 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 0 #add_vars 0]
0.00/0.06 c
0.00/0.06 c write result to 'HOME/instance-4531943-1752683080.opb.pre'
0.00/0.07 c wrote 2.08MB (4.50ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 27.43ms 45.80% parse
0.00/0.07 c 20.02ms 33.43% approx_orbits
0.00/0.07 c 4.52ms 7.55% detect_generic
0.00/0.07 c 4.50ms 7.52% output
0.00/0.07 c 2.72ms 4.55% detect_special
0.00/0.07 c 0.63ms 1.05% other
0.00/0.07 c 0.06ms 0.11% finalize_order
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 59.90ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.08 c RoundingSat 2
0.00/0.08 c branch pb25
0.00/0.08 c commit 0f876b3
0.38/0.45 c #variables 2025 #constraints 62275
0.38/0.45 c objective is ce32
0.38/0.49 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.38/0.49 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.38/0.49 c bounds -91 >= -341 @ 0.345459
1.76/1.81 c bounds -94 >= -341 @ 1.64472
1.76/1.81 c bounds -94 >= -338 @ 1.64518
1.76/1.81 c bounds -94 >= -335 @ 1.64537
1.76/1.81 c bounds -94 >= -331 @ 1.64555
1.76/1.81 c bounds -94 >= -327 @ 1.64578
1.76/1.81 c bounds -94 >= -324 @ 1.64588
1.76/1.81 c bounds -94 >= -321 @ 1.64596
1.76/1.81 c bounds -94 >= -317 @ 1.64605
1.76/1.81 c bounds -94 >= -313 @ 1.64613
1.76/1.81 c bounds -94 >= -310 @ 1.64621
1.76/1.81 c bounds -94 >= -307 @ 1.64633
1.76/1.81 c bounds -94 >= -304 @ 1.64642
1.76/1.81 c bounds -94 >= -301 @ 1.64664
1.76/1.81 c bounds -94 >= -298 @ 1.64678
4.55/4.69 c bounds -100 >= -298 @ 4.50961
4.55/4.69 c bounds -100 >= -295 @ 4.50975
4.55/4.69 c bounds -100 >= -292 @ 4.5099
4.55/4.69 c bounds -100 >= -289 @ 4.51004
4.55/4.69 c bounds -100 >= -286 @ 4.51017
4.55/4.69 c bounds -100 >= -283 @ 4.5103
4.55/4.69 c bounds -100 >= -280 @ 4.51052
4.55/4.69 c bounds -100 >= -277 @ 4.51064
4.55/4.69 c bounds -100 >= -274 @ 4.51082
4.55/4.69 c bounds -100 >= -271 @ 4.51097
4.55/4.69 c bounds -100 >= -268 @ 4.5111
4.55/4.69 c bounds -100 >= -265 @ 4.51243
4.55/4.69 c bounds -100 >= -262 @ 4.51284
4.55/4.69 c bounds -100 >= -259 @ 4.51284
14.33/14.41 c bounds -101 >= -259 @ 14.1796
14.33/14.41 c bounds -101 >= -256 @ 14.1817
14.33/14.41 c bounds -101 >= -253 @ 14.1841
44.34/44.51 c bounds -103 >= -253 @ 44.1318
111.96/112.32 c bounds -108 >= -253 @ 111.625
111.96/112.33 c bounds -108 >= -250 @ 111.633
219.34/220.05 c bounds -110 >= -250 @ 218.85
379.88/381.02 c bounds -111 >= -250 @ 378.952
379.88/381.04 c bounds -111 >= -246 @ 378.968
653.26/655.13 c bounds -115 >= -246 @ 651.502
1054.38/1057.38 c bounds -118 >= -246 @ 1051.31
1054.48/1057.41 c bounds -118 >= -243 @ 1051.34
1392.58/1396.50 c rational objective -243
1393.28/1397.11 c bounds -120 >= -243 @ 1389.04
1393.28/1397.11 c bounds -122 >= -243 @ 1389.04
1393.28/1397.11 c bounds -123 >= -243 @ 1389.04
1393.28/1397.11 c bounds -126 >= -243 @ 1389.04
1393.28/1397.11 c bounds -127 >= -243 @ 1389.04
1393.28/1397.12 c bounds -130 >= -243 @ 1389.04
1393.28/1397.12 c bounds -131 >= -243 @ 1389.05
1393.28/1397.12 c bounds -132 >= -243 @ 1389.05
1393.28/1397.12 c bounds -134 >= -243 @ 1389.05
1393.28/1397.16 c #Conflicts: 1000 | #Constraints: 63489
1393.28/1397.16 c bounds -154 >= -243 @ 1389.09
1393.28/1397.17 c bounds -156 >= -243 @ 1389.09
1393.28/1397.17 c bounds -158 >= -243 @ 1389.1
1393.28/1397.17 c bounds -160 >= -243 @ 1389.1
1393.38/1397.26 c #Conflicts: 2000 | #Constraints: 64493
1393.38/1397.26 c INPROCESSING
1393.38/1397.26 c bounds -160 >= -239 @ 1389.18
1393.38/1397.26 c bounds -160 >= -237 @ 1389.18
1393.38/1397.26 c bounds -160 >= -235 @ 1389.18
1393.38/1397.26 c bounds -160 >= -233 @ 1389.18
1393.38/1397.26 c bounds -160 >= -231 @ 1389.18
1393.38/1397.26 c bounds -160 >= -229 @ 1389.18
1393.38/1397.26 c bounds -160 >= -227 @ 1389.18
1393.38/1397.26 c bounds -160 >= -225 @ 1389.18
1393.38/1397.26 c bounds -160 >= -223 @ 1389.18
1393.38/1397.26 c bounds -160 >= -221 @ 1389.18
1393.38/1397.26 c bounds -160 >= -219 @ 1389.18
1393.38/1397.26 c bounds -160 >= -217 @ 1389.18
1393.38/1397.26 c bounds -160 >= -215 @ 1389.19
1393.38/1397.26 c bounds -160 >= -213 @ 1389.19
1393.38/1397.27 c bounds -160 >= -211 @ 1389.19
1393.38/1397.27 c bounds -160 >= -209 @ 1389.2
1393.38/1397.28 c bounds -160 >= -207 @ 1389.2
1396.47/1400.32 c #Conflicts: 3000 | #Constraints: 64553
1396.47/1400.32 c bounds -161 >= -207 @ 1392.2
1396.47/1400.39 c #Conflicts: 4000 | #Constraints: 65554
1396.47/1400.39 c INPROCESSING
1396.47/1400.39 c GARBAGE COLLECT
1396.47/1400.39 c bounds -161 >= -205 @ 1392.27
1396.56/1400.46 c #Conflicts: 5000 | #Constraints: 64945
1396.56/1400.46 c bounds -161 >= -203 @ 1392.34
1396.76/1400.60 c #Conflicts: 6000 | #Constraints: 65960
1396.76/1400.60 c bounds -161 >= -201 @ 1392.47
1396.76/1400.60 c bounds -162 >= -201 @ 1392.47
1464.49/1468.50 c INPROCESSING
1464.49/1468.50 c #Conflicts: 7000 | #Constraints: 64946
1464.49/1468.50 c #Conflicts: 8000 | #Constraints: 65947
1464.49/1468.50 c #Conflicts: 9000 | #Constraints: 66947
1464.49/1468.50 c INPROCESSING
1464.49/1468.50 c GARBAGE COLLECT
1464.49/1468.50 c #Conflicts: 10000 | #Constraints: 65642
1464.49/1468.50 c #Conflicts: 11000 | #Constraints: 66642
1464.49/1468.50 c #Conflicts: 12000 | #Constraints: 67642
1464.49/1468.50 c INPROCESSING
1464.49/1468.50 c #Conflicts: 13000 | #Constraints: 66101
1464.49/1468.50 c #Conflicts: 14000 | #Constraints: 67101
1464.49/1468.50 c #Conflicts: 15000 | #Constraints: 68101
1464.49/1468.50 c INPROCESSING
1464.49/1468.50 c GARBAGE COLLECT
1464.49/1468.50 c bounds -162 >= -197 @ 1459.98
1466.98/1471.09 c #Conflicts: 16000 | #Constraints: 66346
1466.98/1471.09 c #Conflicts: 17000 | #Constraints: 67346
1466.98/1471.09 c #Conflicts: 18000 | #Constraints: 68346
1466.98/1471.09 c INPROCESSING
1466.98/1471.09 c GARBAGE COLLECT
1466.98/1471.09 c #Conflicts: 19000 | #Constraints: 66362
1466.98/1471.09 c #Conflicts: 20000 | #Constraints: 67362
1466.98/1471.09 c #Conflicts: 21000 | #Constraints: 68362
1466.98/1471.09 c INPROCESSING
1466.98/1471.09 c #Conflicts: 22000 | #Constraints: 66181
1466.98/1471.09 c #Conflicts: 23000 | #Constraints: 67181
1466.98/1471.09 c #Conflicts: 24000 | #Constraints: 68181
1466.98/1471.09 c #Conflicts: 25000 | #Constraints: 69181
1466.98/1471.09 c INPROCESSING
1466.98/1471.09 c GARBAGE COLLECT
1466.98/1471.09 c #Conflicts: 26000 | #Constraints: 66787
1466.98/1471.09 c #Conflicts: 27000 | #Constraints: 67787
1466.98/1471.09 c #Conflicts: 28000 | #Constraints: 68787
1466.98/1471.09 c #Conflicts: 29000 | #Constraints: 69787
1466.98/1471.09 c INPROCESSING
1466.98/1471.09 c GARBAGE COLLECT
1466.98/1471.09 c #Conflicts: 30000 | #Constraints: 67200
1466.98/1471.09 c #Conflicts: 31000 | #Constraints: 68200
1466.98/1471.09 c #Conflicts: 32000 | #Constraints: 69200
1466.98/1471.09 c #Conflicts: 33000 | #Constraints: 70200
1466.98/1471.09 c INPROCESSING
1466.98/1471.09 c GARBAGE COLLECT
1466.98/1471.09 c #Conflicts: 34000 | #Constraints: 67394
1466.98/1471.09 c #Conflicts: 35000 | #Constraints: 68394
1466.98/1471.09 c #Conflicts: 36000 | #Constraints: 69394
1466.98/1471.09 c bounds -162 >= -195 @ 1462.49
1604.51/1608.91 c #Conflicts: 37000 | #Constraints: 70412
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 38000 | #Constraints: 67396
1604.51/1608.91 c #Conflicts: 39000 | #Constraints: 68396
1604.51/1608.91 c #Conflicts: 40000 | #Constraints: 69396
1604.51/1608.91 c #Conflicts: 41000 | #Constraints: 70396
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 42000 | #Constraints: 67197
1604.51/1608.91 c #Conflicts: 43000 | #Constraints: 68197
1604.51/1608.91 c #Conflicts: 44000 | #Constraints: 69197
1604.51/1608.91 c #Conflicts: 45000 | #Constraints: 70197
1604.51/1608.91 c #Conflicts: 46000 | #Constraints: 71197
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 47000 | #Constraints: 67810
1604.51/1608.91 c #Conflicts: 48000 | #Constraints: 68810
1604.51/1608.91 c #Conflicts: 49000 | #Constraints: 69810
1604.51/1608.91 c #Conflicts: 50000 | #Constraints: 70810
1604.51/1608.91 c #Conflicts: 51000 | #Constraints: 71810
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 52000 | #Constraints: 68213
1604.51/1608.91 c #Conflicts: 53000 | #Constraints: 69213
1604.51/1608.91 c #Conflicts: 54000 | #Constraints: 70213
1604.51/1608.91 c #Conflicts: 55000 | #Constraints: 71213
1604.51/1608.91 c #Conflicts: 56000 | #Constraints: 72213
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 57000 | #Constraints: 68427
1604.51/1608.91 c #Conflicts: 58000 | #Constraints: 69428
1604.51/1608.91 c #Conflicts: 59000 | #Constraints: 70429
1604.51/1608.91 c #Conflicts: 60000 | #Constraints: 71429
1604.51/1608.91 c #Conflicts: 61000 | #Constraints: 72429
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 62000 | #Constraints: 68424
1604.51/1608.91 c #Conflicts: 63000 | #Constraints: 69424
1604.51/1608.91 c #Conflicts: 64000 | #Constraints: 70424
1604.51/1608.91 c #Conflicts: 65000 | #Constraints: 71424
1604.51/1608.91 c #Conflicts: 66000 | #Constraints: 72424
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 67000 | #Constraints: 68224
1604.51/1608.91 c #Conflicts: 68000 | #Constraints: 69224
1604.51/1608.91 c #Conflicts: 69000 | #Constraints: 70224
1604.51/1608.91 c #Conflicts: 70000 | #Constraints: 71225
1604.51/1608.91 c #Conflicts: 71000 | #Constraints: 72225
1604.51/1608.91 c #Conflicts: 72000 | #Constraints: 73225
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 73000 | #Constraints: 68826
1604.51/1608.91 c #Conflicts: 74000 | #Constraints: 69826
1604.51/1608.91 c #Conflicts: 75000 | #Constraints: 70826
1604.51/1608.91 c #Conflicts: 76000 | #Constraints: 71826
1604.51/1608.91 c #Conflicts: 77000 | #Constraints: 72826
1604.51/1608.91 c #Conflicts: 78000 | #Constraints: 73826
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 79000 | #Constraints: 69228
1604.51/1608.91 c #Conflicts: 80000 | #Constraints: 70228
1604.51/1608.91 c #Conflicts: 81000 | #Constraints: 71228
1604.51/1608.91 c #Conflicts: 82000 | #Constraints: 72228
1604.51/1608.91 c #Conflicts: 83000 | #Constraints: 73228
1604.51/1608.91 c #Conflicts: 84000 | #Constraints: 74228
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 85000 | #Constraints: 69435
1604.51/1608.91 c #Conflicts: 86000 | #Constraints: 70435
1604.51/1608.91 c #Conflicts: 87000 | #Constraints: 71435
1604.51/1608.91 c #Conflicts: 88000 | #Constraints: 72435
1604.51/1608.91 c #Conflicts: 89000 | #Constraints: 73435
1604.51/1608.91 c #Conflicts: 90000 | #Constraints: 74435
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 91000 | #Constraints: 69426
1604.51/1608.91 c #Conflicts: 92000 | #Constraints: 70426
1604.51/1608.91 c #Conflicts: 93000 | #Constraints: 71426
1604.51/1608.91 c #Conflicts: 94000 | #Constraints: 72426
1604.51/1608.91 c #Conflicts: 95000 | #Constraints: 73426
1604.51/1608.91 c #Conflicts: 96000 | #Constraints: 74426
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 97000 | #Constraints: 69226
1604.51/1608.91 c #Conflicts: 98000 | #Constraints: 70226
1604.51/1608.91 c #Conflicts: 99000 | #Constraints: 71226
1604.51/1608.91 c #Conflicts: 100000 | #Constraints: 72226
1604.51/1608.91 c #Conflicts: 101000 | #Constraints: 73226
1604.51/1608.91 c #Conflicts: 102000 | #Constraints: 74226
1604.51/1608.91 c #Conflicts: 103000 | #Constraints: 75226
1604.51/1608.91 c INPROCESSING
1604.51/1608.91 c GARBAGE COLLECT
1604.51/1608.91 c #Conflicts: 104000 | #Constraints: 69830
1604.51/1608.91 c #Conflicts: 105000 | #Constraints: 70830
1604.51/1608.91 c #Conflicts: 106000 | #Constraints: 71830
1604.51/1608.91 c #Conflicts: 107000 | #Constraints: 72830
1609.89/1614.32 c #Conflicts: 108000 | #Constraints: 73830
1609.89/1614.32 c #Conflicts: 109000 | #Constraints: 74830
1609.89/1614.32 c #Conflicts: 110000 | #Constraints: 75830
1609.89/1614.32 c INPROCESSING
1609.89/1614.32 c GARBAGE COLLECT
1609.89/1614.32 c #Conflicts: 111000 | #Constraints: 70247
1609.89/1614.32 c #Conflicts: 112000 | #Constraints: 71247
1609.89/1614.32 c #Conflicts: 113000 | #Constraints: 72247
1609.89/1614.32 c #Conflicts: 114000 | #Constraints: 73247
1609.89/1614.32 c #Conflicts: 115000 | #Constraints: 74247
1609.89/1614.32 c #Conflicts: 116000 | #Constraints: 75247
1609.89/1614.32 c #Conflicts: 117000 | #Constraints: 76247
1609.89/1614.32 c INPROCESSING
1609.89/1614.32 c GARBAGE COLLECT
1609.89/1614.32 c #Conflicts: 118000 | #Constraints: 70432
1609.89/1614.32 c #Conflicts: 119000 | #Constraints: 71432
1609.89/1614.32 c #Conflicts: 120000 | #Constraints: 72432
1609.89/1614.32 c #Conflicts: 121000 | #Constraints: 73432
1609.89/1614.32 c #Conflicts: 122000 | #Constraints: 74432
1609.89/1614.32 c #Conflicts: 123000 | #Constraints: 75432
1609.89/1614.32 c #Conflicts: 124000 | #Constraints: 76432
1609.89/1614.32 c INPROCESSING
1609.89/1614.32 c GARBAGE COLLECT
1609.89/1614.32 c #Conflicts: 125000 | #Constraints: 70442
1609.89/1614.32 c #Conflicts: 126000 | #Constraints: 71442
1609.89/1614.32 c #Conflicts: 127000 | #Constraints: 72442
1609.89/1614.32 c #Conflicts: 128000 | #Constraints: 73442
1609.89/1614.32 c #Conflicts: 129000 | #Constraints: 74442
1609.89/1614.32 c #Conflicts: 130000 | #Constraints: 75442
1609.89/1614.32 c #Conflicts: 131000 | #Constraints: 76442
1609.89/1614.32 c INPROCESSING
1609.89/1614.32 c GARBAGE COLLECT
1609.89/1614.32 c #Conflicts: 132000 | #Constraints: 70238
1609.89/1614.32 c #Conflicts: 133000 | #Constraints: 71238
1609.89/1614.32 c #Conflicts: 134000 | #Constraints: 72238
1609.89/1614.32 c #Conflicts: 135000 | #Constraints: 73238
1609.89/1614.32 c #Conflicts: 136000 | #Constraints: 74238
1609.89/1614.32 c #Conflicts: 137000 | #Constraints: 75238
1609.89/1614.32 c #Conflicts: 138000 | #Constraints: 76238
1609.89/1614.32 c #Conflicts: 139000 | #Constraints: 77238
1609.89/1614.32 c INPROCESSING
1609.89/1614.32 c GARBAGE COLLECT
1609.89/1614.32 c #Conflicts: 140000 | #Constraints: 70834
1609.89/1614.32 c #Conflicts: 141000 | #Constraints: 71834
1609.89/1614.32 c #Conflicts: 142000 | #Constraints: 72834
1609.89/1614.32 c #Conflicts: 143000 | #Constraints: 73834
1609.89/1614.32 c bounds -162 >= -193 @ 1604.51
1996.65/2002.19 c #Conflicts: 144000 | #Constraints: 74855
1996.65/2002.19 c #Conflicts: 145000 | #Constraints: 75855
1996.65/2002.19 c #Conflicts: 146000 | #Constraints: 76855
1996.65/2002.19 c #Conflicts: 147000 | #Constraints: 77855
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 148000 | #Constraints: 71238
1996.65/2002.19 c #Conflicts: 149000 | #Constraints: 72238
1996.65/2002.19 c #Conflicts: 150000 | #Constraints: 73238
1996.65/2002.19 c #Conflicts: 151000 | #Constraints: 74238
1996.65/2002.19 c #Conflicts: 152000 | #Constraints: 75238
1996.65/2002.19 c #Conflicts: 153000 | #Constraints: 76238
1996.65/2002.19 c #Conflicts: 154000 | #Constraints: 77238
1996.65/2002.19 c #Conflicts: 155000 | #Constraints: 78238
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 156000 | #Constraints: 71453
1996.65/2002.19 c #Conflicts: 157000 | #Constraints: 72453
1996.65/2002.19 c #Conflicts: 158000 | #Constraints: 73453
1996.65/2002.19 c #Conflicts: 159000 | #Constraints: 74453
1996.65/2002.19 c #Conflicts: 160000 | #Constraints: 75453
1996.65/2002.19 c #Conflicts: 161000 | #Constraints: 76453
1996.65/2002.19 c #Conflicts: 162000 | #Constraints: 77453
1996.65/2002.19 c #Conflicts: 163000 | #Constraints: 78453
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 164000 | #Constraints: 71452
1996.65/2002.19 c #Conflicts: 165000 | #Constraints: 72452
1996.65/2002.19 c #Conflicts: 166000 | #Constraints: 73452
1996.65/2002.19 c #Conflicts: 167000 | #Constraints: 74452
1996.65/2002.19 c #Conflicts: 168000 | #Constraints: 75452
1996.65/2002.19 c #Conflicts: 169000 | #Constraints: 76452
1996.65/2002.19 c #Conflicts: 170000 | #Constraints: 77452
1996.65/2002.19 c #Conflicts: 171000 | #Constraints: 78452
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 172000 | #Constraints: 71246
1996.65/2002.19 c #Conflicts: 173000 | #Constraints: 72246
1996.65/2002.19 c #Conflicts: 174000 | #Constraints: 73246
1996.65/2002.19 c #Conflicts: 175000 | #Constraints: 74246
1996.65/2002.19 c #Conflicts: 176000 | #Constraints: 75246
1996.65/2002.19 c #Conflicts: 177000 | #Constraints: 76246
1996.65/2002.19 c #Conflicts: 178000 | #Constraints: 77246
1996.65/2002.19 c #Conflicts: 179000 | #Constraints: 78246
1996.65/2002.19 c #Conflicts: 180000 | #Constraints: 79246
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 181000 | #Constraints: 71852
1996.65/2002.19 c #Conflicts: 182000 | #Constraints: 72852
1996.65/2002.19 c #Conflicts: 183000 | #Constraints: 73852
1996.65/2002.19 c #Conflicts: 184000 | #Constraints: 74852
1996.65/2002.19 c #Conflicts: 185000 | #Constraints: 75852
1996.65/2002.19 c #Conflicts: 186000 | #Constraints: 76854
1996.65/2002.19 c #Conflicts: 187000 | #Constraints: 77854
1996.65/2002.19 c #Conflicts: 188000 | #Constraints: 78854
1996.65/2002.19 c #Conflicts: 189000 | #Constraints: 79854
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 190000 | #Constraints: 72242
1996.65/2002.19 c #Conflicts: 191000 | #Constraints: 73243
1996.65/2002.19 c #Conflicts: 192000 | #Constraints: 74243
1996.65/2002.19 c #Conflicts: 193000 | #Constraints: 75243
1996.65/2002.19 c #Conflicts: 194000 | #Constraints: 76243
1996.65/2002.19 c #Conflicts: 195000 | #Constraints: 77243
1996.65/2002.19 c #Conflicts: 196000 | #Constraints: 78243
1996.65/2002.19 c #Conflicts: 197000 | #Constraints: 79243
1996.65/2002.19 c #Conflicts: 198000 | #Constraints: 80243
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 199000 | #Constraints: 72457
1996.65/2002.19 c #Conflicts: 200000 | #Constraints: 73457
1996.65/2002.19 c #Conflicts: 201000 | #Constraints: 74457
1996.65/2002.19 c #Conflicts: 202000 | #Constraints: 75457
1996.65/2002.19 c #Conflicts: 203000 | #Constraints: 76457
1996.65/2002.19 c #Conflicts: 204000 | #Constraints: 77457
1996.65/2002.19 c #Conflicts: 205000 | #Constraints: 78457
1996.65/2002.19 c #Conflicts: 206000 | #Constraints: 79457
1996.65/2002.19 c #Conflicts: 207000 | #Constraints: 80457
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 208000 | #Constraints: 72454
1996.65/2002.19 c #Conflicts: 209000 | #Constraints: 73454
1996.65/2002.19 c #Conflicts: 210000 | #Constraints: 74454
1996.65/2002.19 c #Conflicts: 211000 | #Constraints: 75454
1996.65/2002.19 c #Conflicts: 212000 | #Constraints: 76454
1996.65/2002.19 c #Conflicts: 213000 | #Constraints: 77454
1996.65/2002.19 c #Conflicts: 214000 | #Constraints: 78454
1996.65/2002.19 c #Conflicts: 215000 | #Constraints: 79454
1996.65/2002.19 c #Conflicts: 216000 | #Constraints: 80454
1996.65/2002.19 c INPROCESSING
1996.65/2002.19 c GARBAGE COLLECT
1996.65/2002.19 c #Conflicts: 217000 | #Constraints: 72256
2008.91/2014.40 c #Conflicts: 218000 | #Constraints: 73256
2008.91/2014.40 c #Conflicts: 219000 | #Constraints: 74256
2008.91/2014.40 c #Conflicts: 220000 | #Constraints: 75256
2008.91/2014.40 c #Conflicts: 221000 | #Constraints: 76256
2008.91/2014.40 c #Conflicts: 222000 | #Constraints: 77256
2008.91/2014.40 c #Conflicts: 223000 | #Constraints: 78256
2008.91/2014.40 c #Conflicts: 224000 | #Constraints: 79256
2008.91/2014.40 c #Conflicts: 225000 | #Constraints: 80256
2008.91/2014.40 c #Conflicts: 226000 | #Constraints: 81256
2008.91/2014.40 c INPROCESSING
2008.91/2014.40 c GARBAGE COLLECT
2008.91/2014.40 c #Conflicts: 227000 | #Constraints: 72861
2008.91/2014.40 c #Conflicts: 228000 | #Constraints: 73861
2008.91/2014.40 c #Conflicts: 229000 | #Constraints: 74861
2008.91/2014.40 c #Conflicts: 230000 | #Constraints: 75861
2008.91/2014.40 c #Conflicts: 231000 | #Constraints: 76861
2008.91/2014.40 c #Conflicts: 232000 | #Constraints: 77861
2008.91/2014.40 c #Conflicts: 233000 | #Constraints: 78861
2008.91/2014.40 c #Conflicts: 234000 | #Constraints: 79861
2008.91/2014.40 c #Conflicts: 235000 | #Constraints: 80861
2008.91/2014.40 c #Conflicts: 236000 | #Constraints: 81861
2008.91/2014.40 c INPROCESSING
2008.91/2014.40 c GARBAGE COLLECT
2008.91/2014.40 c #Conflicts: 237000 | #Constraints: 73258
2008.91/2014.40 c #Conflicts: 238000 | #Constraints: 74258
2008.91/2014.40 c #Conflicts: 239000 | #Constraints: 75258
2008.91/2014.40 c #Conflicts: 240000 | #Constraints: 76258
2008.91/2014.40 c #Conflicts: 241000 | #Constraints: 77258
2008.91/2014.40 c #Conflicts: 242000 | #Constraints: 78258
2008.91/2014.40 c #Conflicts: 243000 | #Constraints: 79258
2008.91/2014.40 c #Conflicts: 244000 | #Constraints: 80258
2008.91/2014.40 c #Conflicts: 245000 | #Constraints: 81258
2008.91/2014.40 c #Conflicts: 246000 | #Constraints: 82258
2008.91/2014.40 c INPROCESSING
2008.91/2014.40 c GARBAGE COLLECT
2008.91/2014.40 c #Conflicts: 247000 | #Constraints: 73460
2008.91/2014.40 c #Conflicts: 248000 | #Constraints: 74460
2008.91/2014.40 c #Conflicts: 249000 | #Constraints: 75460
2008.91/2014.40 c #Conflicts: 250000 | #Constraints: 76460
2008.91/2014.40 c #Conflicts: 251000 | #Constraints: 77460
2008.91/2014.40 c #Conflicts: 252000 | #Constraints: 78460
2008.91/2014.40 c #Conflicts: 253000 | #Constraints: 79460
2008.91/2014.40 c #Conflicts: 254000 | #Constraints: 80460
2008.91/2014.40 c #Conflicts: 255000 | #Constraints: 81460
2008.91/2014.40 c #Conflicts: 256000 | #Constraints: 82460
2008.91/2014.40 c INPROCESSING
2008.91/2014.40 c GARBAGE COLLECT
2008.91/2014.40 c #Conflicts: 257000 | #Constraints: 73488
2008.91/2014.40 c #Conflicts: 258000 | #Constraints: 74488
2008.91/2014.40 c #Conflicts: 259000 | #Constraints: 75488
2008.91/2014.40 c #Conflicts: 260000 | #Constraints: 76488
2008.91/2014.40 c #Conflicts: 261000 | #Constraints: 77488
2008.91/2014.40 c #Conflicts: 262000 | #Constraints: 78488
2008.91/2014.40 c #Conflicts: 263000 | #Constraints: 79488
2008.91/2014.40 c #Conflicts: 264000 | #Constraints: 80488
2008.91/2014.40 c #Conflicts: 265000 | #Constraints: 81488
2008.91/2014.40 c #Conflicts: 266000 | #Constraints: 82488
2008.91/2014.40 c INPROCESSING
2008.91/2014.40 c GARBAGE COLLECT
2008.91/2014.40 c #Conflicts: 267000 | #Constraints: 73272
2008.91/2014.40 c #Conflicts: 268000 | #Constraints: 74272
2008.91/2014.40 c #Conflicts: 269000 | #Constraints: 75272
2008.91/2014.40 c #Conflicts: 270000 | #Constraints: 76272
2008.91/2014.40 c #Conflicts: 271000 | #Constraints: 77272
2008.91/2014.40 c #Conflicts: 272000 | #Constraints: 78272
2008.91/2014.40 c #Conflicts: 273000 | #Constraints: 79272
2008.91/2014.40 c #Conflicts: 274000 | #Constraints: 80272
2008.91/2014.40 c #Conflicts: 275000 | #Constraints: 81272
2008.91/2014.40 c #Conflicts: 276000 | #Constraints: 82272
2008.91/2014.40 c #Conflicts: 277000 | #Constraints: 83272
2008.91/2014.40 c INPROCESSING
2008.91/2014.40 c GARBAGE COLLECT
2008.91/2014.40 c #Conflicts: 278000 | #Constraints: 73872
2008.91/2014.40 c #Conflicts: 279000 | #Constraints: 74872
2008.91/2014.40 c #Conflicts: 280000 | #Constraints: 75872
2008.91/2014.40 c #Conflicts: 281000 | #Constraints: 76872
2008.91/2014.40 c #Conflicts: 282000 | #Constraints: 77872
2008.91/2014.40 c #Conflicts: 283000 | #Constraints: 78872
2008.91/2014.40 c #Conflicts: 284000 | #Constraints: 79872
2008.91/2014.40 c #Conflicts: 285000 | #Constraints: 80872
2008.91/2014.40 c #Conflicts: 286000 | #Constraints: 81872
2008.91/2014.40 c #Conflicts: 287000 | #Constraints: 82872
2008.91/2014.40 c #Conflicts: 288000 | #Constraints: 83872
2008.91/2014.40 c INPROCESSING
2008.91/2014.40 c GARBAGE COLLECT
2008.91/2014.40 c #Conflicts: 289000 | #Constraints: 74261
2008.91/2014.40 c #Conflicts: 290000 | #Constraints: 75261
2008.91/2014.40 c #Conflicts: 291000 | #Constraints: 76261
2021.38/2026.98 c #Conflicts: 292000 | #Constraints: 77261
2021.38/2026.98 c #Conflicts: 293000 | #Constraints: 78261
2021.38/2026.98 c #Conflicts: 294000 | #Constraints: 79261
2021.38/2026.98 c #Conflicts: 295000 | #Constraints: 80261
2021.38/2026.98 c #Conflicts: 296000 | #Constraints: 81261
2021.38/2026.98 c #Conflicts: 297000 | #Constraints: 82261
2021.38/2026.98 c #Conflicts: 298000 | #Constraints: 83261
2021.38/2026.98 c #Conflicts: 299000 | #Constraints: 84261
2021.38/2026.98 c INPROCESSING
2021.38/2026.98 c GARBAGE COLLECT
2021.38/2026.98 c #Conflicts: 300000 | #Constraints: 74475
2021.38/2026.98 c #Conflicts: 301000 | #Constraints: 75475
2021.38/2026.98 c #Conflicts: 302000 | #Constraints: 76475
2021.38/2026.98 c #Conflicts: 303000 | #Constraints: 77475
2021.38/2026.98 c #Conflicts: 304000 | #Constraints: 78475
2021.38/2026.98 c #Conflicts: 305000 | #Constraints: 79475
2021.38/2026.98 c #Conflicts: 306000 | #Constraints: 80475
2021.38/2026.98 c #Conflicts: 307000 | #Constraints: 81475
2021.38/2026.98 c #Conflicts: 308000 | #Constraints: 82475
2021.38/2026.98 c #Conflicts: 309000 | #Constraints: 83475
2021.38/2026.98 c #Conflicts: 310000 | #Constraints: 84475
2021.38/2026.98 c INPROCESSING
2021.38/2026.98 c GARBAGE COLLECT
2021.38/2026.98 c #Conflicts: 311000 | #Constraints: 74477
2021.38/2026.98 c #Conflicts: 312000 | #Constraints: 75477
2021.38/2026.98 c #Conflicts: 313000 | #Constraints: 76477
2021.38/2026.98 c #Conflicts: 314000 | #Constraints: 77477
2021.38/2026.98 c #Conflicts: 315000 | #Constraints: 78477
2021.38/2026.98 c #Conflicts: 316000 | #Constraints: 79477
2021.38/2026.98 c #Conflicts: 317000 | #Constraints: 80477
2021.38/2026.98 c #Conflicts: 318000 | #Constraints: 81477
2021.38/2026.98 c #Conflicts: 319000 | #Constraints: 82477
2021.38/2026.98 c #Conflicts: 320000 | #Constraints: 83477
2021.38/2026.98 c #Conflicts: 321000 | #Constraints: 84477
2021.38/2026.98 c INPROCESSING
2021.38/2026.98 c GARBAGE COLLECT
2021.38/2026.98 c #Conflicts: 322000 | #Constraints: 74283
2021.38/2026.98 c #Conflicts: 323000 | #Constraints: 75283
2021.38/2026.98 c #Conflicts: 324000 | #Constraints: 76283
2021.38/2026.98 c #Conflicts: 325000 | #Constraints: 77283
2021.38/2026.98 c #Conflicts: 326000 | #Constraints: 78283
2021.38/2026.98 c #Conflicts: 327000 | #Constraints: 79283
2021.38/2026.98 c #Conflicts: 328000 | #Constraints: 80283
2021.38/2026.98 c #Conflicts: 329000 | #Constraints: 81283
2021.38/2026.98 c #Conflicts: 330000 | #Constraints: 82283
2021.38/2026.98 c #Conflicts: 331000 | #Constraints: 83283
2021.38/2026.98 c #Conflicts: 332000 | #Constraints: 84283
2021.38/2026.98 c #Conflicts: 333000 | #Constraints: 85283
2021.38/2026.98 c INPROCESSING
2021.38/2026.98 c GARBAGE COLLECT
2021.38/2026.98 c #Conflicts: 334000 | #Constraints: 74890
2021.38/2026.98 c #Conflicts: 335000 | #Constraints: 75890
2021.38/2026.98 c #Conflicts: 336000 | #Constraints: 76890
2021.38/2026.98 c #Conflicts: 337000 | #Constraints: 77890
2021.38/2026.98 c #Conflicts: 338000 | #Constraints: 78890
2021.38/2026.98 c #Conflicts: 339000 | #Constraints: 79890
2021.38/2026.98 c #Conflicts: 340000 | #Constraints: 80890
2021.38/2026.98 c #Conflicts: 341000 | #Constraints: 81890
2021.38/2026.98 c #Conflicts: 342000 | #Constraints: 82890
2021.38/2026.98 c #Conflicts: 343000 | #Constraints: 83890
2021.38/2026.98 c #Conflicts: 344000 | #Constraints: 84890
2021.38/2026.98 c #Conflicts: 345000 | #Constraints: 85890
2021.38/2026.98 c INPROCESSING
2021.38/2026.98 c GARBAGE COLLECT
2021.38/2026.98 c #Conflicts: 346000 | #Constraints: 75280
2021.38/2026.98 c #Conflicts: 347000 | #Constraints: 76280
2021.38/2026.98 c #Conflicts: 348000 | #Constraints: 77280
2021.38/2026.98 c #Conflicts: 349000 | #Constraints: 78280
2021.38/2026.98 c #Conflicts: 350000 | #Constraints: 79280
2021.38/2026.98 c #Conflicts: 351000 | #Constraints: 80280
2021.38/2026.98 c #Conflicts: 352000 | #Constraints: 81280
2021.38/2026.98 c #Conflicts: 353000 | #Constraints: 82280
2021.38/2026.98 c #Conflicts: 354000 | #Constraints: 83280
2021.38/2026.98 c #Conflicts: 355000 | #Constraints: 84280
2021.38/2026.98 c #Conflicts: 356000 | #Constraints: 85280
2021.38/2026.98 c #Conflicts: 357000 | #Constraints: 86280
2021.38/2026.98 c INPROCESSING
2021.38/2026.98 c GARBAGE COLLECT
2021.38/2026.98 c #Conflicts: 358000 | #Constraints: 75487
2021.38/2026.98 c #Conflicts: 359000 | #Constraints: 76487
2021.38/2026.98 c #Conflicts: 360000 | #Constraints: 77487
2021.38/2026.98 c #Conflicts: 361000 | #Constraints: 78487
2021.38/2026.98 c #Conflicts: 362000 | #Constraints: 79487
2021.38/2026.98 c #Conflicts: 363000 | #Constraints: 80487
2021.38/2026.98 c #Conflicts: 364000 | #Constraints: 81487
2021.38/2026.98 c #Conflicts: 365000 | #Constraints: 82487
2021.38/2026.98 c #Conflicts: 366000 | #Constraints: 83487
2034.74/2040.38 c #Conflicts: 367000 | #Constraints: 84487
2034.74/2040.38 c #Conflicts: 368000 | #Constraints: 85487
2034.74/2040.38 c #Conflicts: 369000 | #Constraints: 86487
2034.74/2040.38 c INPROCESSING
2034.74/2040.38 c GARBAGE COLLECT
2034.74/2040.38 c #Conflicts: 370000 | #Constraints: 75489
2034.74/2040.38 c #Conflicts: 371000 | #Constraints: 76489
2034.74/2040.38 c #Conflicts: 372000 | #Constraints: 77489
2034.74/2040.38 c #Conflicts: 373000 | #Constraints: 78489
2034.74/2040.38 c #Conflicts: 374000 | #Constraints: 79489
2034.74/2040.38 c #Conflicts: 375000 | #Constraints: 80489
2034.74/2040.38 c #Conflicts: 376000 | #Constraints: 81489
2034.74/2040.38 c #Conflicts: 377000 | #Constraints: 82489
2034.74/2040.38 c #Conflicts: 378000 | #Constraints: 83489
2034.74/2040.38 c #Conflicts: 379000 | #Constraints: 84489
2034.74/2040.38 c #Conflicts: 380000 | #Constraints: 85489
2034.74/2040.38 c #Conflicts: 381000 | #Constraints: 86489
2034.74/2040.38 c INPROCESSING
2034.74/2040.38 c GARBAGE COLLECT
2034.74/2040.38 c #Conflicts: 382000 | #Constraints: 75286
2034.74/2040.38 c #Conflicts: 383000 | #Constraints: 76286
2034.74/2040.38 c #Conflicts: 384000 | #Constraints: 77286
2034.74/2040.38 c #Conflicts: 385000 | #Constraints: 78286
2034.74/2040.38 c #Conflicts: 386000 | #Constraints: 79286
2034.74/2040.38 c #Conflicts: 387000 | #Constraints: 80286
2034.74/2040.38 c #Conflicts: 388000 | #Constraints: 81286
2034.74/2040.38 c #Conflicts: 389000 | #Constraints: 82286
2034.74/2040.38 c #Conflicts: 390000 | #Constraints: 83286
2034.74/2040.38 c #Conflicts: 391000 | #Constraints: 84286
2034.74/2040.38 c #Conflicts: 392000 | #Constraints: 85286
2034.74/2040.38 c #Conflicts: 393000 | #Constraints: 86286
2034.74/2040.38 c #Conflicts: 394000 | #Constraints: 87286
2034.74/2040.38 c INPROCESSING
2034.74/2040.38 c GARBAGE COLLECT
2034.74/2040.38 c #Conflicts: 395000 | #Constraints: 75882
2034.74/2040.38 c #Conflicts: 396000 | #Constraints: 76882
2034.74/2040.38 c #Conflicts: 397000 | #Constraints: 77882
2034.74/2040.38 c #Conflicts: 398000 | #Constraints: 78882
2034.74/2040.38 c #Conflicts: 399000 | #Constraints: 79882
2034.74/2040.38 c #Conflicts: 400000 | #Constraints: 80882
2034.74/2040.38 c #Conflicts: 401000 | #Constraints: 81882
2034.74/2040.38 c #Conflicts: 402000 | #Constraints: 82882
2034.74/2040.38 c #Conflicts: 403000 | #Constraints: 83882
2034.74/2040.38 c #Conflicts: 404000 | #Constraints: 84882
2034.74/2040.38 c #Conflicts: 405000 | #Constraints: 85882
2034.74/2040.38 c #Conflicts: 406000 | #Constraints: 86882
2034.74/2040.38 c #Conflicts: 407000 | #Constraints: 87882
2034.74/2040.38 c INPROCESSING
2034.74/2040.38 c GARBAGE COLLECT
2034.74/2040.38 c #Conflicts: 408000 | #Constraints: 76303
2034.74/2040.38 c #Conflicts: 409000 | #Constraints: 77303
2034.74/2040.38 c #Conflicts: 410000 | #Constraints: 78303
2034.74/2040.38 c #Conflicts: 411000 | #Constraints: 79303
2034.74/2040.38 c #Conflicts: 412000 | #Constraints: 80303
2034.74/2040.38 c #Conflicts: 413000 | #Constraints: 81303
2034.74/2040.38 c #Conflicts: 414000 | #Constraints: 82303
2034.74/2040.38 c #Conflicts: 415000 | #Constraints: 83303
2034.74/2040.38 c #Conflicts: 416000 | #Constraints: 84303
2034.74/2040.38 c #Conflicts: 417000 | #Constraints: 85303
2034.74/2040.38 c #Conflicts: 418000 | #Constraints: 86303
2034.74/2040.38 c #Conflicts: 419000 | #Constraints: 87303
2034.74/2040.38 c #Conflicts: 420000 | #Constraints: 88303
2034.74/2040.38 c INPROCESSING
2034.74/2040.38 c GARBAGE COLLECT
2034.74/2040.38 c #Conflicts: 421000 | #Constraints: 76499
2034.74/2040.38 c #Conflicts: 422000 | #Constraints: 77499
2034.74/2040.38 c #Conflicts: 423000 | #Constraints: 78499
2034.74/2040.38 c #Conflicts: 424000 | #Constraints: 79499
2034.74/2040.38 c #Conflicts: 425000 | #Constraints: 80499
2034.74/2040.38 c #Conflicts: 426000 | #Constraints: 81499
2034.74/2040.38 c #Conflicts: 427000 | #Constraints: 82499
2034.74/2040.38 c #Conflicts: 428000 | #Constraints: 83499
2034.74/2040.38 c #Conflicts: 429000 | #Constraints: 84499
2034.74/2040.38 c #Conflicts: 430000 | #Constraints: 85499
2034.74/2040.38 c #Conflicts: 431000 | #Constraints: 86499
2034.74/2040.38 c #Conflicts: 432000 | #Constraints: 87499
2034.74/2040.38 c #Conflicts: 433000 | #Constraints: 88499
2034.74/2040.38 c INPROCESSING
2034.74/2040.38 c GARBAGE COLLECT
2034.74/2040.38 c #Conflicts: 434000 | #Constraints: 76515
2034.74/2040.38 c #Conflicts: 435000 | #Constraints: 77515
2034.74/2040.38 c #Conflicts: 436000 | #Constraints: 78515
2034.74/2040.38 c #Conflicts: 437000 | #Constraints: 79515
2034.74/2040.38 c #Conflicts: 438000 | #Constraints: 80515
2034.74/2040.38 c #Conflicts: 439000 | #Constraints: 81515
2034.74/2040.38 c #Conflicts: 440000 | #Constraints: 82515
2034.74/2040.38 c #Conflicts: 441000 | #Constraints: 83515
2047.60/2053.29 c #Conflicts: 442000 | #Constraints: 84515
2047.60/2053.29 c #Conflicts: 443000 | #Constraints: 85515
2047.60/2053.29 c #Conflicts: 444000 | #Constraints: 86515
2047.60/2053.29 c #Conflicts: 445000 | #Constraints: 87515
2047.60/2053.29 c #Conflicts: 446000 | #Constraints: 88515
2047.60/2053.29 c INPROCESSING
2047.60/2053.29 c GARBAGE COLLECT
2047.60/2053.29 c #Conflicts: 447000 | #Constraints: 76307
2047.60/2053.29 c #Conflicts: 448000 | #Constraints: 77307
2047.60/2053.29 c #Conflicts: 449000 | #Constraints: 78307
2047.60/2053.29 c #Conflicts: 450000 | #Constraints: 79307
2047.60/2053.29 c #Conflicts: 451000 | #Constraints: 80307
2047.60/2053.29 c #Conflicts: 452000 | #Constraints: 81307
2047.60/2053.29 c #Conflicts: 453000 | #Constraints: 82307
2047.60/2053.29 c #Conflicts: 454000 | #Constraints: 83307
2047.60/2053.29 c #Conflicts: 455000 | #Constraints: 84307
2047.60/2053.29 c #Conflicts: 456000 | #Constraints: 85307
2047.60/2053.29 c #Conflicts: 457000 | #Constraints: 86307
2047.60/2053.29 c #Conflicts: 458000 | #Constraints: 87307
2047.60/2053.29 c #Conflicts: 459000 | #Constraints: 88307
2047.60/2053.29 c #Conflicts: 460000 | #Constraints: 89307
2047.60/2053.29 c INPROCESSING
2047.60/2053.29 c GARBAGE COLLECT
2047.60/2053.29 c #Conflicts: 461000 | #Constraints: 76884
2047.60/2053.29 c #Conflicts: 462000 | #Constraints: 77884
2047.60/2053.29 c #Conflicts: 463000 | #Constraints: 78884
2047.60/2053.29 c #Conflicts: 464000 | #Constraints: 79884
2047.60/2053.29 c #Conflicts: 465000 | #Constraints: 80884
2047.60/2053.29 c #Conflicts: 466000 | #Constraints: 81884
2047.60/2053.29 c #Conflicts: 467000 | #Constraints: 82884
2047.60/2053.29 c #Conflicts: 468000 | #Constraints: 83884
2047.60/2053.29 c #Conflicts: 469000 | #Constraints: 84884
2047.60/2053.29 c #Conflicts: 470000 | #Constraints: 85884
2047.60/2053.29 c #Conflicts: 471000 | #Constraints: 86884
2047.60/2053.29 c #Conflicts: 472000 | #Constraints: 87884
2047.60/2053.29 c #Conflicts: 473000 | #Constraints: 88884
2047.60/2053.29 c #Conflicts: 474000 | #Constraints: 89884
2047.60/2053.29 c INPROCESSING
2047.60/2053.29 c GARBAGE COLLECT
2047.60/2053.29 c #Conflicts: 475000 | #Constraints: 77286
2047.60/2053.29 c #Conflicts: 476000 | #Constraints: 78286
2047.60/2053.29 c #Conflicts: 477000 | #Constraints: 79286
2047.60/2053.29 c #Conflicts: 478000 | #Constraints: 80286
2047.60/2053.29 c #Conflicts: 479000 | #Constraints: 81286
2047.60/2053.29 c #Conflicts: 480000 | #Constraints: 82286
2047.60/2053.29 c #Conflicts: 481000 | #Constraints: 83286
2047.60/2053.29 c #Conflicts: 482000 | #Constraints: 84286
2047.60/2053.29 c #Conflicts: 483000 | #Constraints: 85286
2047.60/2053.29 c #Conflicts: 484000 | #Constraints: 86286
2047.60/2053.29 c #Conflicts: 485000 | #Constraints: 87286
2047.60/2053.29 c #Conflicts: 486000 | #Constraints: 88286
2047.60/2053.29 c #Conflicts: 487000 | #Constraints: 89286
2047.60/2053.29 c #Conflicts: 488000 | #Constraints: 90286
2047.60/2053.29 c INPROCESSING
2047.60/2053.29 c GARBAGE COLLECT
2047.60/2053.29 c #Conflicts: 489000 | #Constraints: 77483
2047.60/2053.29 c #Conflicts: 490000 | #Constraints: 78483
2047.60/2053.29 c #Conflicts: 491000 | #Constraints: 79483
2047.60/2053.29 c #Conflicts: 492000 | #Constraints: 80483
2047.60/2053.29 c #Conflicts: 493000 | #Constraints: 81483
2047.60/2053.29 c #Conflicts: 494000 | #Constraints: 82483
2047.60/2053.29 c #Conflicts: 495000 | #Constraints: 83483
2047.60/2053.29 c #Conflicts: 496000 | #Constraints: 84483
2047.60/2053.29 c #Conflicts: 497000 | #Constraints: 85483
2047.60/2053.29 c #Conflicts: 498000 | #Constraints: 86483
2047.60/2053.29 c #Conflicts: 499000 | #Constraints: 87483
2047.60/2053.29 c #Conflicts: 500000 | #Constraints: 88483
2047.60/2053.29 c #Conflicts: 501000 | #Constraints: 89483
2047.60/2053.29 c #Conflicts: 502000 | #Constraints: 90483
2047.60/2053.29 c INPROCESSING
2047.60/2053.29 c GARBAGE COLLECT
2047.60/2053.29 c #Conflicts: 503000 | #Constraints: 77480
2047.60/2053.29 c #Conflicts: 504000 | #Constraints: 78480
2047.60/2053.29 c #Conflicts: 505000 | #Constraints: 79480
2047.60/2053.29 c #Conflicts: 506000 | #Constraints: 80480
2047.60/2053.29 c #Conflicts: 507000 | #Constraints: 81480
2047.60/2053.29 c #Conflicts: 508000 | #Constraints: 82480
2047.60/2053.29 c #Conflicts: 509000 | #Constraints: 83480
2047.60/2053.29 c #Conflicts: 510000 | #Constraints: 84480
2047.60/2053.29 c #Conflicts: 511000 | #Constraints: 85480
2047.60/2053.29 c #Conflicts: 512000 | #Constraints: 86480
2047.60/2053.29 c #Conflicts: 513000 | #Constraints: 87480
2047.60/2053.29 c #Conflicts: 514000 | #Constraints: 88480
2047.60/2053.29 c #Conflicts: 515000 | #Constraints: 89480
2047.60/2053.29 c #Conflicts: 516000 | #Constraints: 90480
2062.26/2067.94 c INPROCESSING
2062.26/2067.94 c GARBAGE COLLECT
2062.26/2067.94 c #Conflicts: 517000 | #Constraints: 77281
2062.26/2067.94 c #Conflicts: 518000 | #Constraints: 78281
2062.26/2067.94 c #Conflicts: 519000 | #Constraints: 79281
2062.26/2067.94 c #Conflicts: 520000 | #Constraints: 80281
2062.26/2067.94 c #Conflicts: 521000 | #Constraints: 81281
2062.26/2067.94 c #Conflicts: 522000 | #Constraints: 82281
2062.26/2067.94 c #Conflicts: 523000 | #Constraints: 83281
2062.26/2067.94 c #Conflicts: 524000 | #Constraints: 84281
2062.26/2067.94 c #Conflicts: 525000 | #Constraints: 85281
2062.26/2067.94 c #Conflicts: 526000 | #Constraints: 86281
2062.26/2067.94 c #Conflicts: 527000 | #Constraints: 87281
2062.26/2067.94 c #Conflicts: 528000 | #Constraints: 88281
2062.26/2067.94 c #Conflicts: 529000 | #Constraints: 89281
2062.26/2067.94 c #Conflicts: 530000 | #Constraints: 90281
2062.26/2067.94 c #Conflicts: 531000 | #Constraints: 91281
2062.26/2067.94 c INPROCESSING
2062.26/2067.94 c GARBAGE COLLECT
2062.26/2067.94 c #Conflicts: 532000 | #Constraints: 77898
2062.26/2067.94 c #Conflicts: 533000 | #Constraints: 78898
2062.26/2067.94 c #Conflicts: 534000 | #Constraints: 79898
2062.26/2067.94 c #Conflicts: 535000 | #Constraints: 80898
2062.26/2067.94 c #Conflicts: 536000 | #Constraints: 81898
2062.26/2067.94 c #Conflicts: 537000 | #Constraints: 82898
2062.26/2067.94 c #Conflicts: 538000 | #Constraints: 83898
2062.26/2067.94 c #Conflicts: 539000 | #Constraints: 84898
2062.26/2067.94 c #Conflicts: 540000 | #Constraints: 85898
2062.26/2067.94 c #Conflicts: 541000 | #Constraints: 86898
2062.26/2067.94 c #Conflicts: 542000 | #Constraints: 87898
2062.26/2067.94 c #Conflicts: 543000 | #Constraints: 88898
2062.26/2067.94 c #Conflicts: 544000 | #Constraints: 89898
2062.26/2067.94 c #Conflicts: 545000 | #Constraints: 90898
2062.26/2067.94 c #Conflicts: 546000 | #Constraints: 91898
2062.26/2067.94 c INPROCESSING
2062.26/2067.94 c GARBAGE COLLECT
2062.26/2067.94 c #Conflicts: 547000 | #Constraints: 78307
2062.26/2067.94 c #Conflicts: 548000 | #Constraints: 79307
2062.26/2067.94 c #Conflicts: 549000 | #Constraints: 80307
2062.26/2067.94 c #Conflicts: 550000 | #Constraints: 81307
2062.26/2067.94 c #Conflicts: 551000 | #Constraints: 82307
2062.26/2067.94 c #Conflicts: 552000 | #Constraints: 83307
2062.26/2067.94 c #Conflicts: 553000 | #Constraints: 84307
2062.26/2067.94 c #Conflicts: 554000 | #Constraints: 85307
2062.26/2067.94 c #Conflicts: 555000 | #Constraints: 86307
2062.26/2067.94 c #Conflicts: 556000 | #Constraints: 87307
2062.26/2067.94 c #Conflicts: 557000 | #Constraints: 88307
2062.26/2067.94 c #Conflicts: 558000 | #Constraints: 89307
2062.26/2067.94 c #Conflicts: 559000 | #Constraints: 90307
2062.26/2067.94 c #Conflicts: 560000 | #Constraints: 91307
2062.26/2067.94 c #Conflicts: 561000 | #Constraints: 92307
2062.26/2067.94 c INPROCESSING
2062.26/2067.94 c GARBAGE COLLECT
2062.26/2067.94 c #Conflicts: 562000 | #Constraints: 78511
2062.26/2067.94 c #Conflicts: 563000 | #Constraints: 79511
2062.26/2067.94 c #Conflicts: 564000 | #Constraints: 80511
2062.26/2067.94 c #Conflicts: 565000 | #Constraints: 81511
2062.26/2067.94 c #Conflicts: 566000 | #Constraints: 82511
2062.26/2067.94 c #Conflicts: 567000 | #Constraints: 83511
2062.26/2067.94 c #Conflicts: 568000 | #Constraints: 84511
2062.26/2067.94 c #Conflicts: 569000 | #Constraints: 85511
2062.26/2067.94 c #Conflicts: 570000 | #Constraints: 86511
2062.26/2067.94 c #Conflicts: 571000 | #Constraints: 87511
2062.26/2067.94 c #Conflicts: 572000 | #Constraints: 88511
2062.26/2067.94 c #Conflicts: 573000 | #Constraints: 89511
2062.26/2067.94 c #Conflicts: 574000 | #Constraints: 90511
2062.26/2067.94 c #Conflicts: 575000 | #Constraints: 91511
2062.26/2067.94 c #Conflicts: 576000 | #Constraints: 92511
2062.26/2067.94 c INPROCESSING
2062.26/2067.94 c GARBAGE COLLECT
2062.26/2067.94 c #Conflicts: 577000 | #Constraints: 78519
2062.26/2067.94 c #Conflicts: 578000 | #Constraints: 79519
2062.26/2067.94 c #Conflicts: 579000 | #Constraints: 80519
2062.26/2067.94 c #Conflicts: 580000 | #Constraints: 81519
2062.26/2067.94 c #Conflicts: 581000 | #Constraints: 82519
2062.26/2067.94 c #Conflicts: 582000 | #Constraints: 83519
2062.26/2067.94 c #Conflicts: 583000 | #Constraints: 84519
2062.26/2067.94 c #Conflicts: 584000 | #Constraints: 85519
2062.26/2067.94 c #Conflicts: 585000 | #Constraints: 86519
2062.26/2067.94 c #Conflicts: 586000 | #Constraints: 87519
2062.26/2067.94 c #Conflicts: 587000 | #Constraints: 88519
2062.26/2067.94 c #Conflicts: 588000 | #Constraints: 89519
2062.26/2067.94 c #Conflicts: 589000 | #Constraints: 90519
2062.26/2067.94 c #Conflicts: 590000 | #Constraints: 91519
2062.26/2067.94 c #Conflicts: 591000 | #Constraints: 92519
2062.26/2067.94 c INPROCESSING
2062.26/2067.94 c GARBAGE COLLECT
2594.65/2601.75 c #Conflicts: 592000 | #Constraints: 78320
2594.65/2601.75 c #Conflicts: 593000 | #Constraints: 79320
2594.65/2601.75 c #Conflicts: 594000 | #Constraints: 80320
2594.65/2601.75 c #Conflicts: 595000 | #Constraints: 81320
2594.65/2601.75 c #Conflicts: 596000 | #Constraints: 82320
2594.65/2601.75 c #Conflicts: 597000 | #Constraints: 83320
2594.65/2601.75 c #Conflicts: 598000 | #Constraints: 84320
2594.65/2601.75 c #Conflicts: 599000 | #Constraints: 85320
2594.65/2601.75 c #Conflicts: 600000 | #Constraints: 86320
2594.65/2601.75 c #Conflicts: 601000 | #Constraints: 87320
2594.65/2601.75 c #Conflicts: 602000 | #Constraints: 88320
2594.65/2601.75 c #Conflicts: 603000 | #Constraints: 89320
2594.65/2601.75 c #Conflicts: 604000 | #Constraints: 90320
2594.65/2601.75 c #Conflicts: 605000 | #Constraints: 91320
2594.65/2601.75 c #Conflicts: 606000 | #Constraints: 92320
2594.65/2601.75 c #Conflicts: 607000 | #Constraints: 93320
2594.65/2601.75 c INPROCESSING
2594.65/2601.75 c GARBAGE COLLECT
2594.65/2601.75 c #Conflicts: 608000 | #Constraints: 78914
2594.65/2601.75 c #Conflicts: 609000 | #Constraints: 79914
2594.65/2601.75 c #Conflicts: 610000 | #Constraints: 80914
2594.65/2601.75 c #Conflicts: 611000 | #Constraints: 81914
2594.65/2601.75 c #Conflicts: 612000 | #Constraints: 82914
2594.65/2601.75 c #Conflicts: 613000 | #Constraints: 83914
2594.65/2601.75 c #Conflicts: 614000 | #Constraints: 84914
2594.65/2601.75 c #Conflicts: 615000 | #Constraints: 85914
2594.65/2601.75 c #Conflicts: 616000 | #Constraints: 86914
2594.65/2601.75 c #Conflicts: 617000 | #Constraints: 87914
2594.65/2601.75 c #Conflicts: 618000 | #Constraints: 88914
2594.65/2601.75 c #Conflicts: 619000 | #Constraints: 89914
2594.65/2601.75 c #Conflicts: 620000 | #Constraints: 90914
2594.65/2601.75 c #Conflicts: 621000 | #Constraints: 91914
2594.65/2601.75 c #Conflicts: 622000 | #Constraints: 92914
2594.65/2601.75 c #Conflicts: 623000 | #Constraints: 93914
2594.65/2601.75 c INPROCESSING
2594.65/2601.75 c GARBAGE COLLECT
2594.65/2601.75 c #Conflicts: 624000 | #Constraints: 79313
2594.65/2601.75 c #Conflicts: 625000 | #Constraints: 80313
2594.65/2601.75 c #Conflicts: 626000 | #Constraints: 81313
2594.65/2601.75 c #Conflicts: 627000 | #Constraints: 82313
2594.65/2601.75 c #Conflicts: 628000 | #Constraints: 83313
2594.65/2601.75 c #Conflicts: 629000 | #Constraints: 84313
2594.65/2601.75 c #Conflicts: 630000 | #Constraints: 85313
2594.65/2601.75 c #Conflicts: 631000 | #Constraints: 86313
2594.65/2601.75 c #Conflicts: 632000 | #Constraints: 87313
2594.65/2601.75 c #Conflicts: 633000 | #Constraints: 88313
2594.65/2601.75 c #Conflicts: 634000 | #Constraints: 89313
2594.65/2601.75 c #Conflicts: 635000 | #Constraints: 90313
2594.65/2601.75 c #Conflicts: 636000 | #Constraints: 91313
2594.65/2601.75 c #Conflicts: 637000 | #Constraints: 92313
2594.65/2601.75 c #Conflicts: 638000 | #Constraints: 93313
2594.65/2601.75 c #Conflicts: 639000 | #Constraints: 94313
2594.65/2601.75 c INPROCESSING
2594.65/2601.75 c GARBAGE COLLECT
2594.65/2601.75 c #Conflicts: 640000 | #Constraints: 79516
2594.65/2601.75 c #Conflicts: 641000 | #Constraints: 80516
2594.65/2601.75 c #Conflicts: 642000 | #Constraints: 81516
2594.65/2601.75 c #Conflicts: 643000 | #Constraints: 82516
2594.65/2601.75 c #Conflicts: 644000 | #Constraints: 83516
2594.65/2601.75 c #Conflicts: 645000 | #Constraints: 84516
2594.65/2601.75 c #Conflicts: 646000 | #Constraints: 85516
2594.65/2601.75 c #Conflicts: 647000 | #Constraints: 86516
2594.65/2601.75 c #Conflicts: 648000 | #Constraints: 87516
2594.65/2601.75 c #Conflicts: 649000 | #Constraints: 88516
2594.65/2601.75 c #Conflicts: 650000 | #Constraints: 89516
2594.65/2601.75 c #Conflicts: 651000 | #Constraints: 90516
2594.65/2601.75 c #Conflicts: 652000 | #Constraints: 91516
2594.65/2601.75 c #Conflicts: 653000 | #Constraints: 92516
2594.65/2601.75 c #Conflicts: 654000 | #Constraints: 93516
2594.65/2601.75 c #Conflicts: 655000 | #Constraints: 94516
2594.65/2601.75 c INPROCESSING
2594.65/2601.75 c GARBAGE COLLECT
2594.65/2601.75 c #Conflicts: 656000 | #Constraints: 79505
2594.65/2601.75 c #Conflicts: 657000 | #Constraints: 80505
2594.65/2601.75 c #Conflicts: 658000 | #Constraints: 81505
2594.65/2601.75 c #Conflicts: 659000 | #Constraints: 82505
2594.65/2601.75 c #Conflicts: 660000 | #Constraints: 83505
2594.65/2601.75 c #Conflicts: 661000 | #Constraints: 84505
2594.65/2601.75 c #Conflicts: 662000 | #Constraints: 85505
2594.65/2601.75 c #Conflicts: 663000 | #Constraints: 86505
2594.65/2601.75 c #Conflicts: 664000 | #Constraints: 87505
2594.65/2601.75 c #Conflicts: 665000 | #Constraints: 88505
2594.65/2601.75 c #Conflicts: 666000 | #Constraints: 89505
2594.65/2601.75 c #Conflicts: 667000 | #Constraints: 90505
2594.65/2601.75 c #Conflicts: 668000 | #Constraints: 91505
2608.11/2615.28 c #Conflicts: 669000 | #Constraints: 92505
2608.11/2615.28 c #Conflicts: 670000 | #Constraints: 93505
2608.11/2615.28 c #Conflicts: 671000 | #Constraints: 94505
2608.11/2615.28 c INPROCESSING
2608.11/2615.28 c GARBAGE COLLECT
2608.11/2615.28 c #Conflicts: 672000 | #Constraints: 79321
2608.11/2615.28 c #Conflicts: 673000 | #Constraints: 80321
2608.11/2615.28 c #Conflicts: 674000 | #Constraints: 81321
2608.11/2615.28 c #Conflicts: 675000 | #Constraints: 82321
2608.11/2615.28 c #Conflicts: 676000 | #Constraints: 83321
2608.11/2615.28 c #Conflicts: 677000 | #Constraints: 84321
2608.11/2615.28 c #Conflicts: 678000 | #Constraints: 85321
2608.11/2615.28 c #Conflicts: 679000 | #Constraints: 86321
2608.11/2615.28 c #Conflicts: 680000 | #Constraints: 87321
2608.11/2615.28 c #Conflicts: 681000 | #Constraints: 88321
2608.11/2615.28 c #Conflicts: 682000 | #Constraints: 89321
2608.11/2615.28 c #Conflicts: 683000 | #Constraints: 90321
2608.11/2615.28 c #Conflicts: 684000 | #Constraints: 91321
2608.11/2615.28 c #Conflicts: 685000 | #Constraints: 92321
2608.11/2615.28 c #Conflicts: 686000 | #Constraints: 93321
2608.11/2615.28 c #Conflicts: 687000 | #Constraints: 94321
2608.11/2615.28 c #Conflicts: 688000 | #Constraints: 95321
2608.11/2615.28 c INPROCESSING
2608.11/2615.28 c GARBAGE COLLECT
2608.11/2615.28 c #Conflicts: 689000 | #Constraints: 79922
2608.11/2615.28 c #Conflicts: 690000 | #Constraints: 80922
2608.11/2615.28 c #Conflicts: 691000 | #Constraints: 81922
2608.11/2615.28 c #Conflicts: 692000 | #Constraints: 82922
2608.11/2615.28 c #Conflicts: 693000 | #Constraints: 83922
2608.11/2615.28 c #Conflicts: 694000 | #Constraints: 84922
2608.11/2615.28 c #Conflicts: 695000 | #Constraints: 85922
2608.11/2615.28 c #Conflicts: 696000 | #Constraints: 86922
2608.11/2615.28 c #Conflicts: 697000 | #Constraints: 87922
2608.11/2615.28 c #Conflicts: 698000 | #Constraints: 88922
2608.11/2615.28 c #Conflicts: 699000 | #Constraints: 89922
2608.11/2615.28 c #Conflicts: 700000 | #Constraints: 90922
2608.11/2615.28 c #Conflicts: 701000 | #Constraints: 91922
2608.11/2615.28 c #Conflicts: 702000 | #Constraints: 92922
2608.11/2615.28 c #Conflicts: 703000 | #Constraints: 93922
2608.11/2615.28 c #Conflicts: 704000 | #Constraints: 94922
2608.11/2615.28 c #Conflicts: 705000 | #Constraints: 95922
2608.11/2615.28 c INPROCESSING
2608.11/2615.28 c GARBAGE COLLECT
2608.11/2615.28 c #Conflicts: 706000 | #Constraints: 80329
2608.11/2615.28 c #Conflicts: 707000 | #Constraints: 81329
2608.11/2615.28 c #Conflicts: 708000 | #Constraints: 82329
2608.11/2615.28 c #Conflicts: 709000 | #Constraints: 83329
2608.11/2615.28 c #Conflicts: 710000 | #Constraints: 84329
2608.11/2615.28 c #Conflicts: 711000 | #Constraints: 85329
2608.11/2615.28 c #Conflicts: 712000 | #Constraints: 86329
2608.11/2615.28 c #Conflicts: 713000 | #Constraints: 87329
2608.11/2615.28 c #Conflicts: 714000 | #Constraints: 88329
2608.11/2615.28 c #Conflicts: 715000 | #Constraints: 89329
2608.11/2615.28 c #Conflicts: 716000 | #Constraints: 90329
2608.11/2615.28 c #Conflicts: 717000 | #Constraints: 91329
2608.11/2615.28 c #Conflicts: 718000 | #Constraints: 92329
2608.11/2615.28 c #Conflicts: 719000 | #Constraints: 93329
2608.11/2615.28 c #Conflicts: 720000 | #Constraints: 94329
2608.11/2615.28 c #Conflicts: 721000 | #Constraints: 95329
2608.11/2615.28 c #Conflicts: 722000 | #Constraints: 96329
2608.11/2615.28 c INPROCESSING
2608.11/2615.28 c GARBAGE COLLECT
2608.11/2615.28 c #Conflicts: 723000 | #Constraints: 80521
2608.11/2615.28 c #Conflicts: 724000 | #Constraints: 81521
2608.11/2615.28 c #Conflicts: 725000 | #Constraints: 82521
2608.11/2615.28 c #Conflicts: 726000 | #Constraints: 83521
2608.11/2615.28 c #Conflicts: 727000 | #Constraints: 84521
2608.11/2615.28 c #Conflicts: 728000 | #Constraints: 85521
2608.11/2615.28 c #Conflicts: 729000 | #Constraints: 86521
2608.11/2615.28 c #Conflicts: 730000 | #Constraints: 87521
2608.11/2615.28 c #Conflicts: 731000 | #Constraints: 88521
2608.11/2615.28 c #Conflicts: 732000 | #Constraints: 89521
2608.11/2615.28 c #Conflicts: 733000 | #Constraints: 90521
2608.11/2615.28 c #Conflicts: 734000 | #Constraints: 91521
2608.11/2615.28 c #Conflicts: 735000 | #Constraints: 92521
2608.11/2615.28 c #Conflicts: 736000 | #Constraints: 93521
2608.11/2615.28 c #Conflicts: 737000 | #Constraints: 94521
2608.11/2615.28 c #Conflicts: 738000 | #Constraints: 95521
2608.11/2615.28 c #Conflicts: 739000 | #Constraints: 96521
2608.11/2615.28 c INPROCESSING
2608.11/2615.28 c GARBAGE COLLECT
2608.11/2615.28 c #Conflicts: 740000 | #Constraints: 80526
2608.11/2615.28 c #Conflicts: 741000 | #Constraints: 81526
2608.11/2615.28 c #Conflicts: 742000 | #Constraints: 82526
2608.11/2615.28 c #Conflicts: 743000 | #Constraints: 83526
2623.76/2630.96 c #Conflicts: 744000 | #Constraints: 84526
2623.76/2630.96 c #Conflicts: 745000 | #Constraints: 85526
2623.76/2630.96 c #Conflicts: 746000 | #Constraints: 86526
2623.76/2630.96 c #Conflicts: 747000 | #Constraints: 87526
2623.76/2630.96 c #Conflicts: 748000 | #Constraints: 88526
2623.76/2630.96 c #Conflicts: 749000 | #Constraints: 89526
2623.76/2630.96 c #Conflicts: 750000 | #Constraints: 90526
2623.76/2630.96 c #Conflicts: 751000 | #Constraints: 91526
2623.76/2630.96 c #Conflicts: 752000 | #Constraints: 92526
2623.76/2630.96 c #Conflicts: 753000 | #Constraints: 93526
2623.76/2630.96 c #Conflicts: 754000 | #Constraints: 94526
2623.76/2630.96 c #Conflicts: 755000 | #Constraints: 95526
2623.76/2630.96 c #Conflicts: 756000 | #Constraints: 96526
2623.76/2630.96 c INPROCESSING
2623.76/2630.96 c GARBAGE COLLECT
2623.76/2630.96 c #Conflicts: 757000 | #Constraints: 80326
2623.76/2630.96 c #Conflicts: 758000 | #Constraints: 81326
2623.76/2630.96 c #Conflicts: 759000 | #Constraints: 82326
2623.76/2630.96 c #Conflicts: 760000 | #Constraints: 83326
2623.76/2630.96 c #Conflicts: 761000 | #Constraints: 84326
2623.76/2630.96 c #Conflicts: 762000 | #Constraints: 85326
2623.76/2630.96 c #Conflicts: 763000 | #Constraints: 86326
2623.76/2630.96 c #Conflicts: 764000 | #Constraints: 87326
2623.76/2630.96 c #Conflicts: 765000 | #Constraints: 88326
2623.76/2630.96 c #Conflicts: 766000 | #Constraints: 89326
2623.76/2630.96 c #Conflicts: 767000 | #Constraints: 90326
2623.76/2630.96 c #Conflicts: 768000 | #Constraints: 91326
2623.76/2630.96 c #Conflicts: 769000 | #Constraints: 92326
2623.76/2630.96 c #Conflicts: 770000 | #Constraints: 93326
2623.76/2630.96 c #Conflicts: 771000 | #Constraints: 94326
2623.76/2630.96 c #Conflicts: 772000 | #Constraints: 95326
2623.76/2630.96 c #Conflicts: 773000 | #Constraints: 96326
2623.76/2630.96 c #Conflicts: 774000 | #Constraints: 97326
2623.76/2630.96 c INPROCESSING
2623.76/2630.96 c GARBAGE COLLECT
2623.76/2630.96 c #Conflicts: 775000 | #Constraints: 80930
2623.76/2630.96 c #Conflicts: 776000 | #Constraints: 81930
2623.76/2630.96 c #Conflicts: 777000 | #Constraints: 82930
2623.76/2630.96 c #Conflicts: 778000 | #Constraints: 83930
2623.76/2630.96 c #Conflicts: 779000 | #Constraints: 84930
2623.76/2630.96 c #Conflicts: 780000 | #Constraints: 85930
2623.76/2630.96 c #Conflicts: 781000 | #Constraints: 86930
2623.76/2630.96 c #Conflicts: 782000 | #Constraints: 87930
2623.76/2630.96 c #Conflicts: 783000 | #Constraints: 88930
2623.76/2630.96 c #Conflicts: 784000 | #Constraints: 89930
2623.76/2630.96 c #Conflicts: 785000 | #Constraints: 90930
2623.76/2630.96 c #Conflicts: 786000 | #Constraints: 91930
2623.76/2630.96 c #Conflicts: 787000 | #Constraints: 92930
2623.76/2630.96 c #Conflicts: 788000 | #Constraints: 93930
2623.76/2630.96 c #Conflicts: 789000 | #Constraints: 94930
2623.76/2630.96 c #Conflicts: 790000 | #Constraints: 95930
2623.76/2630.96 c #Conflicts: 791000 | #Constraints: 96930
2623.76/2630.96 c #Conflicts: 792000 | #Constraints: 97930
2623.76/2630.96 c INPROCESSING
2623.76/2630.96 c GARBAGE COLLECT
2623.76/2630.96 c #Conflicts: 793000 | #Constraints: 81342
2623.76/2630.96 c #Conflicts: 794000 | #Constraints: 82342
2623.76/2630.96 c #Conflicts: 795000 | #Constraints: 83342
2623.76/2630.96 c #Conflicts: 796000 | #Constraints: 84342
2623.76/2630.96 c #Conflicts: 797000 | #Constraints: 85342
2623.76/2630.96 c #Conflicts: 798000 | #Constraints: 86342
2623.76/2630.96 c #Conflicts: 799000 | #Constraints: 87342
2623.76/2630.96 c #Conflicts: 800000 | #Constraints: 88342
2623.76/2630.96 c #Conflicts: 801000 | #Constraints: 89342
2623.76/2630.96 c #Conflicts: 802000 | #Constraints: 90342
2623.76/2630.96 c #Conflicts: 803000 | #Constraints: 91342
2623.76/2630.96 c #Conflicts: 804000 | #Constraints: 92342
2623.76/2630.96 c #Conflicts: 805000 | #Constraints: 93342
2623.76/2630.96 c #Conflicts: 806000 | #Constraints: 94342
2623.76/2630.96 c #Conflicts: 807000 | #Constraints: 95342
2623.76/2630.96 c #Conflicts: 808000 | #Constraints: 96342
2623.76/2630.96 c #Conflicts: 809000 | #Constraints: 97342
2623.76/2630.96 c #Conflicts: 810000 | #Constraints: 98342
2623.76/2630.96 c INPROCESSING
2623.76/2630.96 c GARBAGE COLLECT
2623.76/2630.96 c #Conflicts: 811000 | #Constraints: 81520
2623.76/2630.96 c #Conflicts: 812000 | #Constraints: 82520
2623.76/2630.96 c #Conflicts: 813000 | #Constraints: 83520
2623.76/2630.96 c #Conflicts: 814000 | #Constraints: 84520
2623.76/2630.96 c #Conflicts: 815000 | #Constraints: 85520
2623.76/2630.96 c #Conflicts: 816000 | #Constraints: 86520
2623.76/2630.96 c #Conflicts: 817000 | #Constraints: 87520
2623.76/2630.96 c #Conflicts: 818000 | #Constraints: 88520
2623.76/2630.96 c #Conflicts: 819000 | #Constraints: 89520
2638.82/2646.03 c #Conflicts: 820000 | #Constraints: 90520
2638.82/2646.03 c #Conflicts: 821000 | #Constraints: 91520
2638.82/2646.03 c #Conflicts: 822000 | #Constraints: 92520
2638.82/2646.03 c #Conflicts: 823000 | #Constraints: 93520
2638.82/2646.03 c #Conflicts: 824000 | #Constraints: 94520
2638.82/2646.03 c #Conflicts: 825000 | #Constraints: 95520
2638.82/2646.03 c #Conflicts: 826000 | #Constraints: 96520
2638.82/2646.03 c #Conflicts: 827000 | #Constraints: 97520
2638.82/2646.03 c #Conflicts: 828000 | #Constraints: 98520
2638.82/2646.03 c INPROCESSING
2638.82/2646.03 c GARBAGE COLLECT
2638.82/2646.03 c #Conflicts: 829000 | #Constraints: 81507
2638.82/2646.03 c #Conflicts: 830000 | #Constraints: 82507
2638.82/2646.03 c #Conflicts: 831000 | #Constraints: 83507
2638.82/2646.03 c #Conflicts: 832000 | #Constraints: 84507
2638.82/2646.03 c #Conflicts: 833000 | #Constraints: 85507
2638.82/2646.03 c #Conflicts: 834000 | #Constraints: 86507
2638.82/2646.03 c #Conflicts: 835000 | #Constraints: 87507
2638.82/2646.03 c #Conflicts: 836000 | #Constraints: 88507
2638.82/2646.03 c #Conflicts: 837000 | #Constraints: 89507
2638.82/2646.03 c #Conflicts: 838000 | #Constraints: 90507
2638.82/2646.03 c #Conflicts: 839000 | #Constraints: 91507
2638.82/2646.03 c #Conflicts: 840000 | #Constraints: 92507
2638.82/2646.03 c #Conflicts: 841000 | #Constraints: 93507
2638.82/2646.03 c #Conflicts: 842000 | #Constraints: 94507
2638.82/2646.03 c #Conflicts: 843000 | #Constraints: 95507
2638.82/2646.03 c #Conflicts: 844000 | #Constraints: 96507
2638.82/2646.03 c #Conflicts: 845000 | #Constraints: 97507
2638.82/2646.03 c #Conflicts: 846000 | #Constraints: 98507
2638.82/2646.03 c INPROCESSING
2638.82/2646.03 c GARBAGE COLLECT
2638.82/2646.03 c #Conflicts: 847000 | #Constraints: 81316
2638.82/2646.03 c #Conflicts: 848000 | #Constraints: 82316
2638.82/2646.03 c #Conflicts: 849000 | #Constraints: 83316
2638.82/2646.03 c #Conflicts: 850000 | #Constraints: 84316
2638.82/2646.03 c #Conflicts: 851000 | #Constraints: 85316
2638.82/2646.03 c #Conflicts: 852000 | #Constraints: 86316
2638.82/2646.03 c #Conflicts: 853000 | #Constraints: 87316
2638.82/2646.03 c #Conflicts: 854000 | #Constraints: 88316
2638.82/2646.03 c #Conflicts: 855000 | #Constraints: 89316
2638.82/2646.03 c #Conflicts: 856000 | #Constraints: 90316
2638.82/2646.03 c #Conflicts: 857000 | #Constraints: 91316
2638.82/2646.03 c #Conflicts: 858000 | #Constraints: 92316
2638.82/2646.03 c #Conflicts: 859000 | #Constraints: 93316
2638.82/2646.03 c #Conflicts: 860000 | #Constraints: 94316
2638.82/2646.03 c #Conflicts: 861000 | #Constraints: 95316
2638.82/2646.03 c #Conflicts: 862000 | #Constraints: 96316
2638.82/2646.03 c #Conflicts: 863000 | #Constraints: 97316
2638.82/2646.03 c #Conflicts: 864000 | #Constraints: 98316
2638.82/2646.03 c #Conflicts: 865000 | #Constraints: 99316
2638.82/2646.03 c INPROCESSING
2638.82/2646.03 c GARBAGE COLLECT
2638.82/2646.03 c #Conflicts: 866000 | #Constraints: 81941
2638.82/2646.03 c #Conflicts: 867000 | #Constraints: 82941
2638.82/2646.03 c #Conflicts: 868000 | #Constraints: 83941
2638.82/2646.03 c #Conflicts: 869000 | #Constraints: 84941
2638.82/2646.03 c #Conflicts: 870000 | #Constraints: 85941
2638.82/2646.03 c #Conflicts: 871000 | #Constraints: 86941
2638.82/2646.03 c #Conflicts: 872000 | #Constraints: 87941
2638.82/2646.03 c #Conflicts: 873000 | #Constraints: 88941
2638.82/2646.03 c #Conflicts: 874000 | #Constraints: 89941
2638.82/2646.03 c #Conflicts: 875000 | #Constraints: 90941
2638.82/2646.03 c #Conflicts: 876000 | #Constraints: 91941
2638.82/2646.03 c #Conflicts: 877000 | #Constraints: 92941
2638.82/2646.03 c #Conflicts: 878000 | #Constraints: 93941
2638.82/2646.03 c #Conflicts: 879000 | #Constraints: 94941
2638.82/2646.03 c #Conflicts: 880000 | #Constraints: 95941
2638.82/2646.03 c #Conflicts: 881000 | #Constraints: 96941
2638.82/2646.03 c #Conflicts: 882000 | #Constraints: 97941
2638.82/2646.03 c #Conflicts: 883000 | #Constraints: 98941
2638.82/2646.03 c #Conflicts: 884000 | #Constraints: 99941
2638.82/2646.03 c INPROCESSING
2638.82/2646.03 c GARBAGE COLLECT
2638.82/2646.03 c #Conflicts: 885000 | #Constraints: 82344
2638.82/2646.03 c #Conflicts: 886000 | #Constraints: 83344
2638.82/2646.03 c #Conflicts: 887000 | #Constraints: 84344
2638.82/2646.03 c #Conflicts: 888000 | #Constraints: 85344
2638.82/2646.03 c #Conflicts: 889000 | #Constraints: 86344
2638.82/2646.03 c #Conflicts: 890000 | #Constraints: 87344
2638.82/2646.03 c #Conflicts: 891000 | #Constraints: 88344
2638.82/2646.03 c #Conflicts: 892000 | #Constraints: 89344
2638.82/2646.03 c #Conflicts: 893000 | #Constraints: 90344
2638.82/2646.03 c #Conflicts: 894000 | #Constraints: 91344
2638.82/2646.03 c #Conflicts: 895000 | #Constraints: 92344
2638.82/2646.03 c #Conflicts: 896000 | #Constraints: 93344
2650.98/2658.28 c #Conflicts: 897000 | #Constraints: 94344
2650.98/2658.28 c #Conflicts: 898000 | #Constraints: 95344
2650.98/2658.28 c #Conflicts: 899000 | #Constraints: 96344
2650.98/2658.28 c #Conflicts: 900000 | #Constraints: 97344
2650.98/2658.28 c #Conflicts: 901000 | #Constraints: 98344
2650.98/2658.28 c #Conflicts: 902000 | #Constraints: 99344
2650.98/2658.28 c #Conflicts: 903000 | #Constraints: 100344
2650.98/2658.28 c INPROCESSING
2650.98/2658.28 c GARBAGE COLLECT
2650.98/2658.28 c #Conflicts: 904000 | #Constraints: 82540
2650.98/2658.28 c #Conflicts: 905000 | #Constraints: 83540
2650.98/2658.28 c #Conflicts: 906000 | #Constraints: 84540
2650.98/2658.28 c #Conflicts: 907000 | #Constraints: 85540
2650.98/2658.28 c #Conflicts: 908000 | #Constraints: 86540
2650.98/2658.28 c #Conflicts: 909000 | #Constraints: 87540
2650.98/2658.28 c #Conflicts: 910000 | #Constraints: 88540
2650.98/2658.28 c #Conflicts: 911000 | #Constraints: 89540
2650.98/2658.28 c #Conflicts: 912000 | #Constraints: 90540
2650.98/2658.28 c #Conflicts: 913000 | #Constraints: 91540
2650.98/2658.28 c #Conflicts: 914000 | #Constraints: 92540
2650.98/2658.28 c #Conflicts: 915000 | #Constraints: 93540
2650.98/2658.28 c #Conflicts: 916000 | #Constraints: 94540
2650.98/2658.28 c #Conflicts: 917000 | #Constraints: 95540
2650.98/2658.28 c #Conflicts: 918000 | #Constraints: 96540
2650.98/2658.28 c #Conflicts: 919000 | #Constraints: 97540
2650.98/2658.28 c #Conflicts: 920000 | #Constraints: 98540
2650.98/2658.28 c #Conflicts: 921000 | #Constraints: 99540
2650.98/2658.28 c #Conflicts: 922000 | #Constraints: 100540
2650.98/2658.28 c INPROCESSING
2650.98/2658.28 c GARBAGE COLLECT
2650.98/2658.28 c #Conflicts: 923000 | #Constraints: 82549
2650.98/2658.28 c #Conflicts: 924000 | #Constraints: 83549
2650.98/2658.28 c #Conflicts: 925000 | #Constraints: 84549
2650.98/2658.28 c #Conflicts: 926000 | #Constraints: 85549
2650.98/2658.28 c #Conflicts: 927000 | #Constraints: 86549
2650.98/2658.28 c #Conflicts: 928000 | #Constraints: 87549
2650.98/2658.28 c #Conflicts: 929000 | #Constraints: 88549
2650.98/2658.28 c #Conflicts: 930000 | #Constraints: 89549
2650.98/2658.28 c #Conflicts: 931000 | #Constraints: 90549
2650.98/2658.28 c #Conflicts: 932000 | #Constraints: 91549
2650.98/2658.28 c #Conflicts: 933000 | #Constraints: 92549
2650.98/2658.28 c #Conflicts: 934000 | #Constraints: 93549
2650.98/2658.28 c #Conflicts: 935000 | #Constraints: 94549
2650.98/2658.28 c #Conflicts: 936000 | #Constraints: 95549
2650.98/2658.28 c #Conflicts: 937000 | #Constraints: 96549
2650.98/2658.28 c #Conflicts: 938000 | #Constraints: 97549
2650.98/2658.28 c #Conflicts: 939000 | #Constraints: 98549
2650.98/2658.28 c #Conflicts: 940000 | #Constraints: 99549
2650.98/2658.28 c #Conflicts: 941000 | #Constraints: 100549
2650.98/2658.28 c INPROCESSING
2650.98/2658.28 c GARBAGE COLLECT
2650.98/2658.28 c #Conflicts: 942000 | #Constraints: 82344
2650.98/2658.28 c #Conflicts: 943000 | #Constraints: 83344
2650.98/2658.28 c #Conflicts: 944000 | #Constraints: 84344
2650.98/2658.28 c #Conflicts: 945000 | #Constraints: 85344
2650.98/2658.28 c #Conflicts: 946000 | #Constraints: 86344
2650.98/2658.28 c #Conflicts: 947000 | #Constraints: 87344
2650.98/2658.28 c #Conflicts: 948000 | #Constraints: 88344
2650.98/2658.28 c #Conflicts: 949000 | #Constraints: 89344
2650.98/2658.28 c #Conflicts: 950000 | #Constraints: 90344
2650.98/2658.28 c #Conflicts: 951000 | #Constraints: 91344
2650.98/2658.28 c #Conflicts: 952000 | #Constraints: 92344
2650.98/2658.28 c #Conflicts: 953000 | #Constraints: 93344
2650.98/2658.28 c #Conflicts: 954000 | #Constraints: 94344
2650.98/2658.28 c #Conflicts: 955000 | #Constraints: 95344
2650.98/2658.28 c bounds -162 >= -191 @ 2639.51
2664.85/2672.18 c #Conflicts: 956000 | #Constraints: 96365
2664.85/2672.18 c #Conflicts: 957000 | #Constraints: 97365
2664.85/2672.18 c #Conflicts: 958000 | #Constraints: 98365
2664.85/2672.18 c #Conflicts: 959000 | #Constraints: 99365
2664.85/2672.18 c #Conflicts: 960000 | #Constraints: 100365
2664.85/2672.18 c #Conflicts: 961000 | #Constraints: 101365
2664.85/2672.18 c INPROCESSING
2664.85/2672.18 c GARBAGE COLLECT
2664.85/2672.18 c #Conflicts: 962000 | #Constraints: 81203
2664.85/2672.18 c #Conflicts: 963000 | #Constraints: 82203
2664.85/2672.18 c #Conflicts: 964000 | #Constraints: 83203
2664.85/2672.18 c #Conflicts: 965000 | #Constraints: 84203
2664.85/2672.18 c #Conflicts: 966000 | #Constraints: 85203
2664.85/2672.18 c #Conflicts: 967000 | #Constraints: 86203
2664.85/2672.18 c #Conflicts: 968000 | #Constraints: 87203
2664.85/2672.18 c #Conflicts: 969000 | #Constraints: 88203
2664.85/2672.18 c #Conflicts: 970000 | #Constraints: 89203
2664.85/2672.18 c #Conflicts: 971000 | #Constraints: 90203
2664.85/2672.18 c #Conflicts: 972000 | #Constraints: 91203
2664.85/2672.18 c #Conflicts: 973000 | #Constraints: 92203
2664.85/2672.18 c #Conflicts: 974000 | #Constraints: 93203
2664.85/2672.18 c #Conflicts: 975000 | #Constraints: 94203
2664.85/2672.18 c #Conflicts: 976000 | #Constraints: 95203
2664.85/2672.18 c #Conflicts: 977000 | #Constraints: 96203
2664.85/2672.18 c #Conflicts: 978000 | #Constraints: 97203
2664.85/2672.18 c #Conflicts: 979000 | #Constraints: 98203
2664.85/2672.18 c #Conflicts: 980000 | #Constraints: 99203
2664.85/2672.18 c #Conflicts: 981000 | #Constraints: 100203
2664.85/2672.18 c INPROCESSING
2664.85/2672.18 c GARBAGE COLLECT
2664.85/2672.18 c #Conflicts: 982000 | #Constraints: 82480
2664.85/2672.18 c #Conflicts: 983000 | #Constraints: 83480
2664.85/2672.18 c #Conflicts: 984000 | #Constraints: 84480
2664.85/2672.18 c #Conflicts: 985000 | #Constraints: 85480
2664.85/2672.18 c #Conflicts: 986000 | #Constraints: 86480
2664.85/2672.18 c #Conflicts: 987000 | #Constraints: 87480
2664.85/2672.18 c #Conflicts: 988000 | #Constraints: 88480
2664.85/2672.18 c #Conflicts: 989000 | #Constraints: 89480
2664.85/2672.18 c #Conflicts: 990000 | #Constraints: 90480
2664.85/2672.18 c #Conflicts: 991000 | #Constraints: 91480
2664.85/2672.18 c #Conflicts: 992000 | #Constraints: 92480
2664.85/2672.18 c #Conflicts: 993000 | #Constraints: 93480
2664.85/2672.18 c #Conflicts: 994000 | #Constraints: 94480
2664.85/2672.18 c #Conflicts: 995000 | #Constraints: 95480
2664.85/2672.18 c #Conflicts: 996000 | #Constraints: 96480
2664.85/2672.18 c #Conflicts: 997000 | #Constraints: 97480
2664.85/2672.18 c #Conflicts: 998000 | #Constraints: 98480
2664.85/2672.18 c #Conflicts: 999000 | #Constraints: 99480
2664.85/2672.18 c #Conflicts: 1000000 | #Constraints: 100480
2664.85/2672.18 c #Conflicts: 1001000 | #Constraints: 101480
2664.85/2672.18 c INPROCESSING
2664.85/2672.18 c GARBAGE COLLECT
2664.85/2672.18 c #Conflicts: 1002000 | #Constraints: 83100
2664.85/2672.18 c #Conflicts: 1003000 | #Constraints: 84100
2664.85/2672.18 c #Conflicts: 1004000 | #Constraints: 85100
2664.85/2672.18 c #Conflicts: 1005000 | #Constraints: 86100
2664.85/2672.18 c #Conflicts: 1006000 | #Constraints: 87100
2664.85/2672.18 c #Conflicts: 1007000 | #Constraints: 88100
2664.85/2672.18 c #Conflicts: 1008000 | #Constraints: 89100
2664.85/2672.18 c #Conflicts: 1009000 | #Constraints: 90100
2664.85/2672.18 c #Conflicts: 1010000 | #Constraints: 91100
2664.85/2672.18 c #Conflicts: 1011000 | #Constraints: 92100
2664.85/2672.18 c #Conflicts: 1012000 | #Constraints: 93100
2664.85/2672.18 c #Conflicts: 1013000 | #Constraints: 94100
2664.85/2672.18 c #Conflicts: 1014000 | #Constraints: 95100
2664.85/2672.18 c #Conflicts: 1015000 | #Constraints: 96100
2664.85/2672.18 c #Conflicts: 1016000 | #Constraints: 97100
2664.85/2672.18 c #Conflicts: 1017000 | #Constraints: 98100
2664.85/2672.18 c #Conflicts: 1018000 | #Constraints: 99100
2664.85/2672.18 c #Conflicts: 1019000 | #Constraints: 100100
2664.85/2672.18 c #Conflicts: 1020000 | #Constraints: 101100
2664.85/2672.18 c #Conflicts: 1021000 | #Constraints: 102100
2664.85/2672.18 c INPROCESSING
2664.85/2672.18 c GARBAGE COLLECT
2664.85/2672.18 c #Conflicts: 1022000 | #Constraints: 83339
2664.85/2672.18 c #Conflicts: 1023000 | #Constraints: 84339
2664.85/2672.18 c #Conflicts: 1024000 | #Constraints: 85339
2664.85/2672.18 c #Conflicts: 1025000 | #Constraints: 86339
2664.85/2672.18 c #Conflicts: 1026000 | #Constraints: 87339
2664.85/2672.18 c #Conflicts: 1027000 | #Constraints: 88339
2664.85/2672.18 c #Conflicts: 1028000 | #Constraints: 89339
2664.85/2672.18 c #Conflicts: 1029000 | #Constraints: 90339
2664.85/2672.18 c #Conflicts: 1030000 | #Constraints: 91339
2664.85/2672.18 c #Conflicts: 1031000 | #Constraints: 92339
2664.85/2672.18 c #Conflicts: 1032000 | #Constraints: 93339
2679.41/2686.74 c #Conflicts: 1033000 | #Constraints: 94339
2679.41/2686.74 c #Conflicts: 1034000 | #Constraints: 95339
2679.41/2686.74 c #Conflicts: 1035000 | #Constraints: 96339
2679.41/2686.74 c #Conflicts: 1036000 | #Constraints: 97339
2679.41/2686.74 c #Conflicts: 1037000 | #Constraints: 98339
2679.41/2686.74 c #Conflicts: 1038000 | #Constraints: 99339
2679.41/2686.74 c #Conflicts: 1039000 | #Constraints: 100339
2679.41/2686.74 c #Conflicts: 1040000 | #Constraints: 101339
2679.41/2686.74 c #Conflicts: 1041000 | #Constraints: 102339
2679.41/2686.74 c INPROCESSING
2679.41/2686.74 c GARBAGE COLLECT
2679.41/2686.74 c #Conflicts: 1042000 | #Constraints: 83240
2679.41/2686.74 c #Conflicts: 1043000 | #Constraints: 84240
2679.41/2686.74 c #Conflicts: 1044000 | #Constraints: 85240
2679.41/2686.74 c #Conflicts: 1045000 | #Constraints: 86240
2679.41/2686.74 c #Conflicts: 1046000 | #Constraints: 87240
2679.41/2686.74 c #Conflicts: 1047000 | #Constraints: 88240
2679.41/2686.74 c #Conflicts: 1048000 | #Constraints: 89240
2679.41/2686.74 c #Conflicts: 1049000 | #Constraints: 90240
2679.41/2686.74 c #Conflicts: 1050000 | #Constraints: 91240
2679.41/2686.74 c #Conflicts: 1051000 | #Constraints: 92240
2679.41/2686.74 c #Conflicts: 1052000 | #Constraints: 93240
2679.41/2686.74 c #Conflicts: 1053000 | #Constraints: 94240
2679.41/2686.74 c #Conflicts: 1054000 | #Constraints: 95240
2679.41/2686.74 c #Conflicts: 1055000 | #Constraints: 96240
2679.41/2686.74 c #Conflicts: 1056000 | #Constraints: 97240
2679.41/2686.74 c #Conflicts: 1057000 | #Constraints: 98240
2679.41/2686.74 c #Conflicts: 1058000 | #Constraints: 99240
2679.41/2686.74 c #Conflicts: 1059000 | #Constraints: 100240
2679.41/2686.74 c #Conflicts: 1060000 | #Constraints: 101240
2679.41/2686.74 c #Conflicts: 1061000 | #Constraints: 102240
2679.41/2686.74 c #Conflicts: 1062000 | #Constraints: 103240
2679.41/2686.74 c INPROCESSING
2679.41/2686.74 c GARBAGE COLLECT
2679.41/2686.74 c #Conflicts: 1063000 | #Constraints: 83904
2679.41/2686.74 c #Conflicts: 1064000 | #Constraints: 84904
2679.41/2686.74 c #Conflicts: 1065000 | #Constraints: 85904
2679.41/2686.74 c #Conflicts: 1066000 | #Constraints: 86904
2679.41/2686.74 c #Conflicts: 1067000 | #Constraints: 87904
2679.41/2686.74 c #Conflicts: 1068000 | #Constraints: 88904
2679.41/2686.74 c #Conflicts: 1069000 | #Constraints: 89904
2679.41/2686.74 c #Conflicts: 1070000 | #Constraints: 90904
2679.41/2686.74 c #Conflicts: 1071000 | #Constraints: 91904
2679.41/2686.74 c #Conflicts: 1072000 | #Constraints: 92904
2679.41/2686.74 c #Conflicts: 1073000 | #Constraints: 93904
2679.41/2686.74 c #Conflicts: 1074000 | #Constraints: 94904
2679.41/2686.74 c #Conflicts: 1075000 | #Constraints: 95904
2679.41/2686.74 c #Conflicts: 1076000 | #Constraints: 96904
2679.41/2686.74 c #Conflicts: 1077000 | #Constraints: 97904
2679.41/2686.74 c #Conflicts: 1078000 | #Constraints: 98904
2679.41/2686.74 c #Conflicts: 1079000 | #Constraints: 99904
2679.41/2686.74 c #Conflicts: 1080000 | #Constraints: 100904
2679.41/2686.74 c #Conflicts: 1081000 | #Constraints: 101904
2679.41/2686.74 c #Conflicts: 1082000 | #Constraints: 102904
2679.41/2686.74 c #Conflicts: 1083000 | #Constraints: 103904
2679.41/2686.74 c INPROCESSING
2679.41/2686.74 c GARBAGE COLLECT
2679.41/2686.74 c #Conflicts: 1084000 | #Constraints: 84326
2679.41/2686.74 c #Conflicts: 1085000 | #Constraints: 85326
2679.41/2686.74 c #Conflicts: 1086000 | #Constraints: 86326
2679.41/2686.74 c #Conflicts: 1087000 | #Constraints: 87326
2679.41/2686.74 c #Conflicts: 1088000 | #Constraints: 88326
2679.41/2686.74 c #Conflicts: 1089000 | #Constraints: 89326
2679.41/2686.74 c #Conflicts: 1090000 | #Constraints: 90326
2679.41/2686.74 c #Conflicts: 1091000 | #Constraints: 91326
2679.41/2686.74 c #Conflicts: 1092000 | #Constraints: 92326
2679.41/2686.74 c #Conflicts: 1093000 | #Constraints: 93326
2679.41/2686.74 c #Conflicts: 1094000 | #Constraints: 94326
2679.41/2686.74 c #Conflicts: 1095000 | #Constraints: 95326
2679.41/2686.74 c #Conflicts: 1096000 | #Constraints: 96326
2679.41/2686.74 c #Conflicts: 1097000 | #Constraints: 97326
2679.41/2686.74 c #Conflicts: 1098000 | #Constraints: 98326
2679.41/2686.74 c #Conflicts: 1099000 | #Constraints: 99326
2679.41/2686.74 c #Conflicts: 1100000 | #Constraints: 100326
2679.41/2686.74 c #Conflicts: 1101000 | #Constraints: 101326
2679.41/2686.74 c #Conflicts: 1102000 | #Constraints: 102326
2679.41/2686.74 c #Conflicts: 1103000 | #Constraints: 103326
2679.41/2686.74 c #Conflicts: 1104000 | #Constraints: 104326
2679.41/2686.74 c INPROCESSING
2679.41/2686.74 c GARBAGE COLLECT
2679.41/2686.74 c #Conflicts: 1105000 | #Constraints: 84548
2679.41/2686.74 c #Conflicts: 1106000 | #Constraints: 85548
2679.41/2686.74 c #Conflicts: 1107000 | #Constraints: 86548
2679.41/2686.74 c #Conflicts: 1108000 | #Constraints: 87548
2889.94/2897.87 c #Conflicts: 1109000 | #Constraints: 88549
2889.94/2897.87 c #Conflicts: 1110000 | #Constraints: 89550
2889.94/2897.87 c #Conflicts: 1111000 | #Constraints: 90550
2889.94/2897.87 c #Conflicts: 1112000 | #Constraints: 91550
2889.94/2897.87 c #Conflicts: 1113000 | #Constraints: 92550
2889.94/2897.87 c #Conflicts: 1114000 | #Constraints: 93550
2889.94/2897.87 c #Conflicts: 1115000 | #Constraints: 94550
2889.94/2897.87 c #Conflicts: 1116000 | #Constraints: 95550
2889.94/2897.87 c #Conflicts: 1117000 | #Constraints: 96550
2889.94/2897.87 c #Conflicts: 1118000 | #Constraints: 97550
2889.94/2897.87 c #Conflicts: 1119000 | #Constraints: 98550
2889.94/2897.87 c #Conflicts: 1120000 | #Constraints: 99550
2889.94/2897.87 c #Conflicts: 1121000 | #Constraints: 100550
2889.94/2897.87 c #Conflicts: 1122000 | #Constraints: 101550
2889.94/2897.87 c #Conflicts: 1123000 | #Constraints: 102550
2889.94/2897.87 c #Conflicts: 1124000 | #Constraints: 103550
2889.94/2897.87 c #Conflicts: 1125000 | #Constraints: 104550
2889.94/2897.87 c INPROCESSING
2889.94/2897.87 c GARBAGE COLLECT
2889.94/2897.87 c #Conflicts: 1126000 | #Constraints: 84551
2889.94/2897.87 c #Conflicts: 1127000 | #Constraints: 85551
2889.94/2897.87 c #Conflicts: 1128000 | #Constraints: 86551
2889.94/2897.87 c #Conflicts: 1129000 | #Constraints: 87551
2889.94/2897.87 c #Conflicts: 1130000 | #Constraints: 88551
2889.94/2897.87 c #Conflicts: 1131000 | #Constraints: 89551
2889.94/2897.87 c #Conflicts: 1132000 | #Constraints: 90551
2889.94/2897.87 c #Conflicts: 1133000 | #Constraints: 91551
2889.94/2897.87 c #Conflicts: 1134000 | #Constraints: 92551
2889.94/2897.87 c #Conflicts: 1135000 | #Constraints: 93551
2889.94/2897.87 c #Conflicts: 1136000 | #Constraints: 94551
2889.94/2897.87 c #Conflicts: 1137000 | #Constraints: 95551
2889.94/2897.87 c #Conflicts: 1138000 | #Constraints: 96551
2889.94/2897.87 c #Conflicts: 1139000 | #Constraints: 97551
2889.94/2897.87 c #Conflicts: 1140000 | #Constraints: 98551
2889.94/2897.87 c #Conflicts: 1141000 | #Constraints: 99551
2889.94/2897.87 c #Conflicts: 1142000 | #Constraints: 100551
2889.94/2897.87 c #Conflicts: 1143000 | #Constraints: 101551
2889.94/2897.87 c #Conflicts: 1144000 | #Constraints: 102551
2889.94/2897.87 c #Conflicts: 1145000 | #Constraints: 103551
2889.94/2897.87 c #Conflicts: 1146000 | #Constraints: 104551
2889.94/2897.87 c INPROCESSING
2889.94/2897.87 c GARBAGE COLLECT
2889.94/2897.87 c #Conflicts: 1147000 | #Constraints: 84364
2889.94/2897.87 c #Conflicts: 1148000 | #Constraints: 85364
2889.94/2897.87 c #Conflicts: 1149000 | #Constraints: 86364
2889.94/2897.87 c #Conflicts: 1150000 | #Constraints: 87364
2889.94/2897.87 c #Conflicts: 1151000 | #Constraints: 88364
2889.94/2897.87 c #Conflicts: 1152000 | #Constraints: 89364
2889.94/2897.87 c #Conflicts: 1153000 | #Constraints: 90364
2889.94/2897.87 c #Conflicts: 1154000 | #Constraints: 91364
2889.94/2897.87 c #Conflicts: 1155000 | #Constraints: 92364
2889.94/2897.87 c #Conflicts: 1156000 | #Constraints: 93364
2889.94/2897.87 c #Conflicts: 1157000 | #Constraints: 94364
2889.94/2897.87 c #Conflicts: 1158000 | #Constraints: 95364
2889.94/2897.87 c #Conflicts: 1159000 | #Constraints: 96364
2889.94/2897.87 c #Conflicts: 1160000 | #Constraints: 97364
2889.94/2897.87 c #Conflicts: 1161000 | #Constraints: 98364
2889.94/2897.87 c #Conflicts: 1162000 | #Constraints: 99364
2889.94/2897.87 c #Conflicts: 1163000 | #Constraints: 100365
2889.94/2897.87 c #Conflicts: 1164000 | #Constraints: 101365
2889.94/2897.87 c #Conflicts: 1165000 | #Constraints: 102365
2889.94/2897.87 c #Conflicts: 1166000 | #Constraints: 103365
2889.94/2897.87 c #Conflicts: 1167000 | #Constraints: 104365
2889.94/2897.87 c #Conflicts: 1168000 | #Constraints: 105365
2889.94/2897.87 c INPROCESSING
2889.94/2897.87 c GARBAGE COLLECT
2889.94/2897.87 c #Conflicts: 1169000 | #Constraints: 84972
2889.94/2897.87 c #Conflicts: 1170000 | #Constraints: 85972
2889.94/2897.87 c #Conflicts: 1171000 | #Constraints: 86972
2889.94/2897.87 c #Conflicts: 1172000 | #Constraints: 87972
2889.94/2897.87 c #Conflicts: 1173000 | #Constraints: 88972
2889.94/2897.87 c #Conflicts: 1174000 | #Constraints: 89972
2889.94/2897.87 c #Conflicts: 1175000 | #Constraints: 90972
2889.94/2897.87 c #Conflicts: 1176000 | #Constraints: 91972
2889.94/2897.87 c #Conflicts: 1177000 | #Constraints: 92972
2889.94/2897.87 c #Conflicts: 1178000 | #Constraints: 93972
2889.94/2897.87 c #Conflicts: 1179000 | #Constraints: 94972
2889.94/2897.87 c #Conflicts: 1180000 | #Constraints: 95972
2889.94/2897.87 c #Conflicts: 1181000 | #Constraints: 96972
2889.94/2897.87 c #Conflicts: 1182000 | #Constraints: 97972
2889.94/2897.87 c #Conflicts: 1183000 | #Constraints: 98972
2889.94/2897.87 c #Conflicts: 1184000 | #Constraints: 99972
2889.94/2897.87 c #Conflicts: 1185000 | #Constraints: 100972
2901.70/2909.60 c #Conflicts: 1186000 | #Constraints: 101972
2901.70/2909.60 c #Conflicts: 1187000 | #Constraints: 102972
2901.70/2909.60 c #Conflicts: 1188000 | #Constraints: 103972
2901.70/2909.60 c #Conflicts: 1189000 | #Constraints: 104972
2901.70/2909.60 c #Conflicts: 1190000 | #Constraints: 105972
2901.70/2909.60 c INPROCESSING
2901.70/2909.60 c GARBAGE COLLECT
2901.70/2909.60 c #Conflicts: 1191000 | #Constraints: 85367
2901.70/2909.60 c #Conflicts: 1192000 | #Constraints: 86367
2901.70/2909.60 c #Conflicts: 1193000 | #Constraints: 87367
2901.70/2909.60 c #Conflicts: 1194000 | #Constraints: 88367
2901.70/2909.60 c #Conflicts: 1195000 | #Constraints: 89367
2901.70/2909.60 c #Conflicts: 1196000 | #Constraints: 90367
2901.70/2909.60 c #Conflicts: 1197000 | #Constraints: 91367
2901.70/2909.60 c #Conflicts: 1198000 | #Constraints: 92367
2901.70/2909.60 c #Conflicts: 1199000 | #Constraints: 93367
2901.70/2909.60 c #Conflicts: 1200000 | #Constraints: 94367
2901.70/2909.60 c #Conflicts: 1201000 | #Constraints: 95367
2901.70/2909.60 c #Conflicts: 1202000 | #Constraints: 96367
2901.70/2909.60 c #Conflicts: 1203000 | #Constraints: 97367
2901.70/2909.60 c #Conflicts: 1204000 | #Constraints: 98367
2901.70/2909.60 c #Conflicts: 1205000 | #Constraints: 99367
2901.70/2909.60 c #Conflicts: 1206000 | #Constraints: 100367
2901.70/2909.60 c #Conflicts: 1207000 | #Constraints: 101367
2901.70/2909.60 c #Conflicts: 1208000 | #Constraints: 102367
2901.70/2909.60 c #Conflicts: 1209000 | #Constraints: 103367
2901.70/2909.60 c #Conflicts: 1210000 | #Constraints: 104367
2901.70/2909.60 c #Conflicts: 1211000 | #Constraints: 105367
2901.70/2909.60 c #Conflicts: 1212000 | #Constraints: 106367
2901.70/2909.60 c INPROCESSING
2901.70/2909.60 c GARBAGE COLLECT
2901.70/2909.60 c #Conflicts: 1213000 | #Constraints: 85571
2901.70/2909.60 c #Conflicts: 1214000 | #Constraints: 86571
2901.70/2909.60 c #Conflicts: 1215000 | #Constraints: 87571
2901.70/2909.60 c #Conflicts: 1216000 | #Constraints: 88571
2901.70/2909.60 c #Conflicts: 1217000 | #Constraints: 89571
2901.70/2909.60 c #Conflicts: 1218000 | #Constraints: 90571
2901.70/2909.60 c #Conflicts: 1219000 | #Constraints: 91571
2901.70/2909.60 c #Conflicts: 1220000 | #Constraints: 92571
2901.70/2909.60 c #Conflicts: 1221000 | #Constraints: 93571
2901.70/2909.60 c #Conflicts: 1222000 | #Constraints: 94571
2901.70/2909.60 c #Conflicts: 1223000 | #Constraints: 95571
2901.70/2909.60 c #Conflicts: 1224000 | #Constraints: 96571
2901.70/2909.60 c #Conflicts: 1225000 | #Constraints: 97571
2901.70/2909.60 c #Conflicts: 1226000 | #Constraints: 98571
2901.70/2909.60 c #Conflicts: 1227000 | #Constraints: 99571
2901.70/2909.60 c #Conflicts: 1228000 | #Constraints: 100571
2901.70/2909.60 c #Conflicts: 1229000 | #Constraints: 101571
2901.70/2909.60 c #Conflicts: 1230000 | #Constraints: 102571
2901.70/2909.60 c #Conflicts: 1231000 | #Constraints: 103571
2901.70/2909.60 c #Conflicts: 1232000 | #Constraints: 104571
2901.70/2909.60 c #Conflicts: 1233000 | #Constraints: 105571
2901.70/2909.60 c #Conflicts: 1234000 | #Constraints: 106571
2901.70/2909.60 c INPROCESSING
2901.70/2909.60 c GARBAGE COLLECT
2901.70/2909.60 c #Conflicts: 1235000 | #Constraints: 85564
2901.70/2909.60 c #Conflicts: 1236000 | #Constraints: 86564
2901.70/2909.60 c #Conflicts: 1237000 | #Constraints: 87564
2901.70/2909.60 c #Conflicts: 1238000 | #Constraints: 88564
2901.70/2909.60 c #Conflicts: 1239000 | #Constraints: 89564
2901.70/2909.60 c bounds -162 >= -189 @ 2888.39
3600.09/3610.00 c #Conflicts: 1240000 | #Constraints: 90582
3600.09/3610.00 c #Conflicts: 1241000 | #Constraints: 91582
3600.09/3610.00 c #Conflicts: 1242000 | #Constraints: 92582
3600.09/3610.00 c #Conflicts: 1243000 | #Constraints: 93582
3600.09/3610.00 c #Conflicts: 1244000 | #Constraints: 94582
3600.09/3610.00 c #Conflicts: 1245000 | #Constraints: 95582
3600.09/3610.00 c #Conflicts: 1246000 | #Constraints: 96582
3600.09/3610.00 c #Conflicts: 1247000 | #Constraints: 97582
3600.09/3610.00 c #Conflicts: 1248000 | #Constraints: 98582
3600.09/3610.00 c #Conflicts: 1249000 | #Constraints: 99582
3600.09/3610.00 c #Conflicts: 1250000 | #Constraints: 100582
3600.09/3610.00 c #Conflicts: 1251000 | #Constraints: 101582
3600.09/3610.00 c #Conflicts: 1252000 | #Constraints: 102582
3600.09/3610.00 c #Conflicts: 1253000 | #Constraints: 103582
3600.09/3610.00 c #Conflicts: 1254000 | #Constraints: 104582
3600.09/3610.00 c #Conflicts: 1255000 | #Constraints: 105582
3600.09/3610.00 c #Conflicts: 1256000 | #Constraints: 106582
3600.09/3610.00 c INPROCESSING
3600.09/3610.00 c GARBAGE COLLECT
3600.09/3610.00 c #Conflicts: 1257000 | #Constraints: 85378
3600.09/3610.00 c #Conflicts: 1258000 | #Constraints: 86378
3600.09/3610.00 c #Conflicts: 1259000 | #Constraints: 87378
3600.09/3610.00 c #Conflicts: 1260000 | #Constraints: 88378
3600.09/3610.00 c #Conflicts: 1261000 | #Constraints: 89378
3600.09/3610.00 c #Conflicts: 1262000 | #Constraints: 90378
3600.09/3610.00 c #Conflicts: 1263000 | #Constraints: 91378
3600.09/3610.00 c #Conflicts: 1264000 | #Constraints: 92378
3600.09/3610.00 c #Conflicts: 1265000 | #Constraints: 93378
3600.09/3610.00 c #Conflicts: 1266000 | #Constraints: 94378
3600.09/3610.00 c #Conflicts: 1267000 | #Constraints: 95378
3600.09/3610.00 c #Conflicts: 1268000 | #Constraints: 96379
3600.09/3610.00 c #Conflicts: 1269000 | #Constraints: 97380
3600.09/3610.00 c #Conflicts: 1270000 | #Constraints: 98380
3600.09/3610.00 c #Conflicts: 1271000 | #Constraints: 99380
3600.09/3610.00 c #Conflicts: 1272000 | #Constraints: 100380
3600.09/3610.00 c #Conflicts: 1273000 | #Constraints: 101380
3600.09/3610.00 c #Conflicts: 1274000 | #Constraints: 102380
3600.09/3610.00 c #Conflicts: 1275000 | #Constraints: 103380
3600.09/3610.00 c #Conflicts: 1276000 | #Constraints: 104380
3600.09/3610.00 c #Conflicts: 1277000 | #Constraints: 105380
3600.09/3610.00 c #Conflicts: 1278000 | #Constraints: 106381
3600.09/3610.00 c #Conflicts: 1279000 | #Constraints: 107381
3600.09/3610.00 c INPROCESSING
3600.09/3610.00 c GARBAGE COLLECT
3600.09/3610.00 c Disabling crashed LP
3600.09/3610.00 c cpu time 3584.36 s
3600.09/3610.00 c deterministic time 10266759406 1.03e+10
3600.09/3610.00 c optimization time 0.045029 s
3600.09/3610.00 c total solve time 3584.01 s
3600.09/3610.00 c core-guided solve time 600.608 s
3600.09/3610.00 c propagation time 1854.02 s
3600.09/3610.00 c conflict analysis time 69.7394 s
3600.09/3610.00 c propagations 145537313
3600.09/3610.00 c resolve steps 16141435
3600.09/3610.00 c decisions 1515397
3600.09/3610.00 c conflicts 1279201
3600.09/3610.00 c restarts 2446
3600.09/3610.00 c inprocessing phases 104
3600.09/3610.00 c garbage collections 100 ,( 96.15 )
3600.09/3610.00 c input clauses 62390 ,( 99.39 )
3600.09/3610.00 c input cardinalities 183 ,( 0.29 )
3600.09/3610.00 c input general constraints 197 ,( 0.31 )
3600.09/3610.00 c input average constraint length 3.17
3600.09/3610.00 c input average constraint degree 1.13
3600.09/3610.00 c learned clauses 1129146 ,( 88.27 )
3600.09/3610.00 c learned cardinalities 4359 ,( 0.34 )
3600.09/3610.00 c learned general constraints 145722 ,( 11.39 )
3600.09/3610.00 c learned average constraint length 53.01
3600.09/3610.00 c learned average constraint degree 89817.87
3600.09/3610.00 c watched CF 32, 64, 128, Arb: 112426 , 0 , 0 , 0
3600.09/3610.00 c counting CF 32, 64, 128, Arb: 33494 , 0 , 0 , 0
3600.09/3610.00 c watched constraints 112426 ,( 77.05 )
3600.09/3610.00 c counting constraints 33493 ,( 22.95 )
3600.09/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1020794970 , 47075945 , 364515997 ,( 50446131 , 314069866 )
3600.09/3610.00 c gcd simplifications 182420
3600.09/3610.00 c detected cardinalities 78
3600.09/3610.00 c weakened non-implied lits 32291318
3600.09/3610.00 c weakened non-implying lits 466093
3600.09/3610.00 c original variables 2025
3600.09/3610.00 c clausal propagations 100361550
3600.09/3610.00 c cardinality propagations 3951718
3600.09/3610.00 c watched propagations 331000
3600.09/3610.00 c counting propagations 38710648
3600.09/3610.00 c watch lookups 6763340438
3600.09/3610.00 c watch backjump lookups 0
3600.09/3610.00 c watch checks 2114864868
3600.09/3610.00 c propagation checks 836372970
3600.09/3610.00 c constraint additions 253797831
3600.09/3610.00 c trail pops 148331873
3600.09/3610.00 c formula constraints 62275
3600.09/3610.00 c learned constraints 1279192
3600.09/3610.00 c bound constraints 81
3600.09/3610.00 c core-guided constraints 414
3600.09/3610.00 c encountered formula constraints 6482494
3600.09/3610.00 c encountered learned constraints 9316500
3600.09/3610.00 c encountered bound constraints 36917
3600.09/3610.00 c encountered core-guided constraints 1584568
3600.09/3610.00 c LP total time 3095.95 s
3600.09/3610.00 c LP solve time 3094.8 s
3600.09/3610.00 c LP constraints added 62294
3600.09/3610.00 c LP constraints removed 0
3600.09/3610.00 c LP pivots internal 1738463
3600.09/3610.00 c LP pivots root 1260252
3600.09/3610.00 c LP calls 30
3600.09/3610.00 c LP optimalities 1
3600.09/3610.00 c LP no pivot count 0
3600.09/3610.00 c LP infeasibilities 19
3600.09/3610.00 c LP valid Farkas constraints 19
3600.09/3610.00 c LP learned Farkas constraints 16
3600.09/3610.00 c LP basis resets 0
3600.09/3610.00 c LP cycling count 0
3600.09/3610.00 c LP singular count 0
3600.09/3610.00 c LP no primal count 0
3600.09/3610.00 c LP no farkas count 0
3600.09/3610.00 c LP other issue count 0
3600.09/3610.00 c LP Gomory cuts 0
3600.09/3610.00 c LP learned cuts 19
3600.09/3610.00 c LP deleted cuts 0
3600.09/3610.00 c LP encountered Gomory constraints 0
3600.09/3610.00 c LP encountered Farkas constraints 122
3600.09/3610.00 c LP encountered learned Farkas constraints 19
3600.09/3610.00 c CG auxiliary variables introduced 154
3600.09/3610.00 c CG solutions found 24
3600.09/3610.00 c CG cores constructed 56
3600.09/3610.00 c CG core cardinality constraints returned 0
3600.09/3610.00 c CG unit cores 0
3600.09/3610.00 c CG single cores 56
3600.09/3610.00 c CG blocks removed during cardinality reduction 0
3600.09/3610.00 c CG first core best 0
3600.09/3610.00 c CG decision core best 0
3600.09/3610.00 c CG core reduction tie 0
3600.09/3610.00 c CG core degree average 1.00
3600.09/3610.00 c CG core slack average 3.59
3600.09/3610.00 c CG core upper bound improvements 0
3600.09/3610.00 c STR number of successful calls 0
3600.09/3610.00 c STR number of unsuccessful calls 0
3600.09/3610.00 c STR number of inconclusive calls 0
3600.09/3610.00 c STR number of successful attempts 0
3600.09/3610.00 c STR number of unsuccessful attempts 0
3600.09/3610.00 c STR number of inconclusive attempts 0
3600.09/3610.00 c STR average degree increase per successful call inf
3600.09/3610.00 c STR average degree increase per successful attempt inf
3600.09/3610.00 c STR total number of conflicts for successful attempts 0
3600.09/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.00 c STR average number of conflicts per successful attempt inf
3600.09/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.00 c AVG.sumWPerc 34.77
3600.09/3610.00 c bigint constraints 0
3600.09/3610.00 o -162
3600.09/3610.00 s SATISFIABLE
3600.09/3610.00 v x1 -x2 -x3 x4 -x5 x6 x7 -x8 -x9 x10 x11 x12 -x13 x14 x15 x16 x17 -x18 x19 -x20 x21 -x22 x23 x24 -x25 x26 -x27 x28 -x29 x30 -x31 x32 x33 -x34 x35 x36 x37 x38 x39 -x40 x41 x42 x43 -x44 x45 x46 -x47 x48 -x49 -x50 x51 -x52 -x53 x54 x55 -x56 x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 x67 x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 -x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 x94 x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 x108 x109 -x110 x111 x112 -x113 -x114 x115 -x116 x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 x155 x156 x157 x158 -x159 x160 -x161 -x162 -x163 x164 x165 x166 -x167 x168 x169 x170 -x171 x172 x173 -x174 x175 x176 -x177 x178 -x179 x180 -x181 x182 -x183 -x184 -x185 x186 x187 -x188 x189 x190 x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 x204 -x205 x206 -x207 -x208 x209 x210 -x211 -x212 x213 -x214 -x215 x216 x217 x218 x219 -x220 -x221 -x222 x223 x224 -x225 x226 -x227 x228 -x229 x230 x231 x232 -x233 x234 -x235 -x236 x237 x238 -x239 -x240 x241 -x242 x243 x244 -x245 x246 -x247 x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259 -x260 x261 x262 x263 -x264 x265 -x266 x267 x268 x269 -x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 x280 x281 x282 x283 x284 -x285 -x286 -x287 -x288 x289 x290 x291 x292 -x293 -x294 x295 x296 -x297 -x298 -x299 x300 x301 x302 -x303 x304 -x305 x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 x315 x316 x317 -x318 x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 x333 x334 -x335 x336 -x337 -x338 -x339 x340 -x341 x342 x343 x344 -x345 -x346 x347 -x348 -x349 x350 -x351 -x352 x353 -x354 x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 x365 x366 x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 x377 -x378 x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 x396 x397 -x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 x414 -x415 x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 x437 x438 x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 -x491 -x492 -x493 x494 x495 -x496 -x497 x498 x499 -x500 x501 -x502 x503 -x504 x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 x513 -x514 x515 -x516 x517 -x518 x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 x548 x549 -x550 x551 -x552 -x553 x554 -x555 x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 -x587 x588 x589 -x590 x591 -x592 x593 x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 -x607 -x608 -x609 -x610 x611 -x612 x613 -x614 x615 -x616 x617 -x618 x619 x620 -x621 x622 -x623 x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 -x714 x715 -x716 x717 -x718 x719 -x720 -x721 x722 -x723 -x724 x725 -x726 -x727 x728 x729 x730 -x731 -x732 -x733 x734 -x735 -x736 x737 -x738 x739 -x740 x741 x742 -x743 x744 -x745 x746 x747 -x748 -x749 x750 x751 -x752 -x753 x754 -x755 -x756 x757 -x758 -x759 x760 -x761 x762 -x763 x764 -x765 x766 -x767 -x768 -x769 x770 -x771 x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 -x784 x785 -x786 x787 -x788 x789 -x790 x791 -x792 -x793 x794 -x795 x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 -x821 x822 -x823 -x824 x825 -x826 x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 x860 -x861 -x862 -x863 x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 x901 x902 -x903 x904 x905 -x906 x907 -x908 -x909 x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 x926 -x927 x928 -x929 x930 x931 -x932 -x933 x934 -x935 x936 x937 -x938 -x939 x940 x941 -x942 x943 -x944 -x945 x946 -x947 x948 -x949 -x950 x951 -x952 -x953 x954 x955 -x956 -x957 -x958 x959 -x960 x961 -x962 -x963 x964 -x965 -x966 x967 x968 -x969 x970 -x971 x972 -x973 -x974 x975 -x976 x977 -x978 -x979 x980 -x981 x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 -x994 -x995 x996 x997 -x998 x999 -x1000 x1001 -x1002 -x1003 x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 x1014 -x1015 x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 x1023 -x1024 x1025 -x1026 x1027 -x1028 -x1029 x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 x1039 -x1040 x1041 -x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 x1053 -x1054 x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 x1069 -x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 x1077 x1078 -x1079 x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 x1088 -x1089 -x1090 x1091 -x1092 x1093 x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 x1103 x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 -x1116 x1117 -x1118 x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 x1177 x1178 -x1179 x1180 -x1181 x1182 -x1183 x1184 x1185 -x1186 x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 x1206 -x1207 x1208 -x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 -x1216 x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 x1226 -x1227 -x1228 x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 x1236 -x1237 x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 x1248 x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 x1258 -x1259 x1260 -x1261 x1262 -x1263 x1264 x1265 -x1266 -x1267 x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 x1317 -x1318 -x1319 x1320 x1321 -x1322 x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 x1330 -x1331 x1332 -x1333 x1334 -x1335 x1336 -x1337 x1338 -x1339 x1340 -x1341 x1342 -x1343 -x1344 -x1345 x1346 -x1347 x1348 -x1349 x1350 -x1351 x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 x1359 -x1360 x1361 -x1362 x1363 -x1364 x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 x1388 -x1389 -x1390 x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 x1417 -x1418 x1419 -x1420 x1421 -x1422 x1423 -x1424 x1425 x1426 -x1427 x1428 -x1429 x1430 -x1431 x1432 -x1433 x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 x1443 -x1444 x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 -x1460 x1461 -x1462 x1463 -x1464 x1465 -x1466 -x1467 x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 x1475 -x1476 x1477 x1478 -x1479 x1480 x1481 -x1482 x1483 -x1484 x1485 -x1486 x1487 -x1488 x1489 x1490 -x1491 x1492 -x1493 x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 x1520 x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 x1535 -x1536 -x1537 x1538 -x1539 x1540 -x1541 -x1542 x1543 x1544 -x1545 -x1546 x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 x1592 -x1593 -x1594 x1595 -x1596 x1597 -x1598 x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 x1614 x1615 -x1616 -x1617 x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 x1635 -x1636 x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 x1644 -x1645 x1646 x1647 -x1648 -x1649 x1650 -x1651 x1652 x1653 -x1654 -x1655 x1656 x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 x1677 -x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 x1692 -x1693 x1694 x1695 -x1696 x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 -x1715 -x1716 x1717 -x1718 x1719 x1720 -x1721 -x1722 x1723 x1724 -x1725 x1726 -x1727 -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 x1739 x1740 x1741 -x1742 x1743 -x1744 -x1745 x1746 -x1747 x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 x1839 -x1840 -x1841 x1842 -x1843 x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 x1858 -x1859 x1860 -x1861 x1862 -x1863 x1864 -x1865 x1866 -x1867 x1868 -x1869 -x1870 x1871 x1872 -x1873 x1874 -x1875 x1876 -x1877 -x1878 x1879 x1880 -x1881 x1882 -x1883 -x1884 -x1885 x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 x1896 -x1897 -x1898 x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 x1918 -x1919 x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 -x1927 x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 x1939 -x1940 x1941 -x1942 x1943 -x1944 -x1945 x1946 -x1947 x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 x2011 -x2012 -x2013 x2014 -x2015 x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025
3600.09/3610.00 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: 63665 MiB (48582 MiB free)
memory of node 1: 64507 MiB (49688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531943-1752683080/watcher-4531943-1752683080 -o /tmp/evaluation-result-4531943-1752683080/solver-4531943-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752683053-135155 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531943-1752683080.opb /tmp/proof-4531943-1752683080
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=135424, runsolver pid=135421
[startup+0.100058 s]*
/proc/loadavg: 1.94 0.55 0.25 5/262 135427
/proc/meminfo: memFree=100609680/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=57140 memory=10624 CPUtime=0.01 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 852 0 0 0 1 0 0 0 20 0 1 0 183987860 58511360 2656 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 14285 2656 2016 1147 0 1711 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61332 KiB
Current children cumulated memory: 13568 KiB
[startup+0.205462 s]*
/proc/loadavg: 1.94 0.55 0.25 5/262 135427
/proc/meminfo: memFree=100609856/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=65132 memory=20552 CPUtime=0.12 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 2982 0 0 0 10 2 0 0 20 0 1 0 183987860 66695168 5138 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 16283 5138 2016 1147 0 3709 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69324 KiB
Current children cumulated memory: 23496 KiB
[startup+0.305322 s]*
/proc/loadavg: 1.94 0.55 0.25 5/262 135427
/proc/meminfo: memFree=100615308/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=73248 memory=28452 CPUtime=0.22 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 5222 0 0 0 18 4 0 0 20 0 1 0 183987860 75005952 7113 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 18312 7113 2016 1147 0 5738 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77440 KiB
Current children cumulated memory: 31396 KiB
[startup+0.700193 s]
/proc/loadavg: 1.94 0.55 0.25 5/262 135427
/proc/meminfo: memFree=100583556/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=146852 memory=103276 CPUtime=0.61 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 16123 0 0 0 54 7 0 0 20 0 1 0 183987860 150376448 25819 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 36713 25819 2336 1147 0 24139 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 151044 KiB
Current children cumulated memory: 106220 KiB
[startup+1.50016 s]
/proc/loadavg: 1.94 0.55 0.25 5/262 135427
/proc/meminfo: memFree=100567428/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=146852 memory=103276 CPUtime=1.4 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 16123 0 0 0 133 7 0 0 20 0 1 0 183987860 150376448 25819 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 36713 25819 2336 1147 0 24139 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 151044 KiB
Current children cumulated memory: 106220 KiB
[startup+3.10531 s]
/proc/loadavg: 1.94 0.55 0.25 5/262 135427
/proc/meminfo: memFree=100552996/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=146852 memory=103404 CPUtime=3.01 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 16134 0 0 0 293 8 0 0 20 0 1 0 183987860 150376448 25851 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 36713 25851 2368 1147 0 24139 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 151044 KiB
Current children cumulated memory: 106348 KiB
[startup+6.30014 s]
/proc/loadavg: 2.10 0.61 0.27 5/262 135427
/proc/meminfo: memFree=100544972/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=146852 memory=103532 CPUtime=6.19 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 16144 0 0 0 610 9 0 0 20 0 1 0 183987860 150376448 25883 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 36713 25883 2368 1147 0 24139 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 151044 KiB
Current children cumulated memory: 106476 KiB
[startup+12.7002 s]
/proc/loadavg: 2.34 0.68 0.29 5/263 135478
/proc/meminfo: memFree=101124272/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=149788 memory=105324 CPUtime=12.57 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 16615 0 0 0 1247 10 0 0 20 0 1 0 183987860 153382912 26331 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 37447 26331 2368 1147 0 24873 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 153980 KiB
Current children cumulated memory: 108268 KiB
[startup+25.5002 s]
/proc/loadavg: 2.78 0.86 0.36 5/271 135522
/proc/meminfo: memFree=101426268/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=149788 memory=105580 CPUtime=25.34 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 16631 0 0 0 2521 13 0 0 20 0 1 0 183987860 153382912 26395 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 37447 26395 2400 1147 0 24873 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 153980 KiB
Current children cumulated memory: 108524 KiB
[startup+51.1056 s]
/proc/loadavg: 3.27 1.13 0.46 5/271 135523
/proc/meminfo: memFree=99708168/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=160964 memory=115200 CPUtime=50.86 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 17476 0 0 0 5067 19 0 0 20 0 1 0 183987860 164827136 28800 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 40241 28800 2400 1147 0 27667 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 165156 KiB
Current children cumulated memory: 118144 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 1.66 0.68 5/271 135525
/proc/meminfo: memFree=97120100/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=160964 memory=116736 CPUtime=101.93 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 17477 0 0 0 10165 28 0 0 20 0 1 0 183987860 164827136 29184 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 40241 29184 2400 1147 0 27667 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 165156 KiB
Current children cumulated memory: 119680 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 2.18 0.92 5/271 135527
/proc/meminfo: memFree=94397572/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=160964 memory=116736 CPUtime=161.75 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 17478 0 0 0 16138 37 0 0 20 0 1 0 183987860 164827136 29184 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 40241 29184 2400 1147 0 27667 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 165156 KiB
Current children cumulated memory: 119680 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 2.58 1.14 5/271 135529
/proc/meminfo: memFree=92152468/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=160964 memory=116736 CPUtime=221.57 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 17480 0 0 0 22108 49 0 0 20 0 1 0 183987860 164827136 29184 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 40241 29184 2400 1147 0 27667 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.32 4.39 4.24 5/271 135693
/proc/meminfo: memFree=3645504/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3093.82 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22729 0 0 0 307989 1393 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.29 4.38 4.24 5/269 135694
/proc/meminfo: memFree=1836984/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3153.66 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22729 0 0 0 313951 1415 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.43 4.40 4.26 5/270 135697
/proc/meminfo: memFree=962708/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3213.5 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22729 0 0 0 319912 1438 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.37 4.26 5/270 135699
/proc/meminfo: memFree=896788/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3273.33 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22729 0 0 0 325871 1462 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.38 4.38 4.27 5/270 135701
/proc/meminfo: memFree=904716/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3333.15 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22729 0 0 0 331831 1484 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.39 4.37 4.28 5/270 135703
/proc/meminfo: memFree=841456/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3392.97 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22733 0 0 0 337801 1496 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.37 4.28 5/270 135705
/proc/meminfo: memFree=814480/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3452.78 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22733 0 0 0 343766 1512 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.45 4.38 4.29 5/269 135707
/proc/meminfo: memFree=904252/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3512.6 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22733 0 0 0 349723 1537 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.35 4.28 5/270 135716
/proc/meminfo: memFree=966184/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3572.42 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22733 0 0 0 355685 1557 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.33 4.35 4.28 5/269 135717
/proc/meminfo: memFree=868392/131250000 swapFree=33010416/33010684
[pid=135424] ppid=135421 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/135424/stat : 135424 (run-opt-ls-log.) S 135421 135424 135079 0 -1 4194304 237 8423 0 0 0 0 5 1 20 0 1 0 183987852 4292608 736 18446744073709551615 94714637688832 94714638583365 140720638057680 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94714638822416 94714638870160 94714651897856 140720638060863 140720638061023 140720638061023 140720638066627 0
/proc/135424/statm: 1048 736 672 219 0 110 0
[pid=135427] ppid=135424 vsize=203264 memory=154276 CPUtime=3600.03 cores=5,7
/proc/135427/stat : 135427 (roundingsat) R 135424 135424 135079 0 -1 4194304 22733 0 0 0 358435 1568 0 0 20 0 1 0 183987860 208142336 38569 18446744073709551615 4227072 8923577 140731250484048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38281216 140731250489626 140731250489894 140731250489894 140731250495466 0
/proc/135427/statm: 50816 38569 2528 1147 0 38242 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 207456 KiB
Current children cumulated memory: 157220 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 135424 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.054067 s, system=0.013563 s
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 135427 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.43 s, system=15.7024 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
Child status: 2
Real time (s): 3610.02
CPU time (s): 3600.13
CPU user time (s): 3584.43
CPU system time (s): 15.7024
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 207456
Max. memory (cumulated for all children) (KiB): 157220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.43
system time used= 15.7024
maximum resident set size= 154532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218
involuntary context switches= 3863
# summary of solver processes directly reported to runsolver:
# pid: 135424,135427
# total CPU time (s): 3600.13
# total CPU user time (s): 3584.43
# total CPU system time (s): 15.7024
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16265 second user time and 17.1309 second system time
The end
Begin job on nodeC027 at 2025-07-16 18:24:40
IDJOB=4531943
IDBENCH=148780
IDSOLVER=3392
FILE ID=nodeC027/4531943-1752683080
RUNJOBID= nodeC027-1752683053-135155
SLURM_JOB_ID= 9686922
Free space on /tmp= 431700 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531943-1752683080/watcher-4531943-1752683080 -o /tmp/evaluation-result-4531943-1752683080/solver-4531943-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752683053-135155 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531943-1752683080.opb /tmp/proof-4531943-1752683080
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 574dfa7826774941f0083ceba62feb56
RANDOM SEED=1007935037
nodeC027 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.638
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.29
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 : 3600.561
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.29
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 : 3598.724
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.29
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.641
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.29
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.644
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.29
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 : 3381.871
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.29
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 : 3602.417
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.29
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.642
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 100628880 kB
MemAvailable: 129130736 kB
Buffers: 2488 kB
Cached: 29269864 kB
SwapCached: 12 kB
Active: 1362988 kB
Inactive: 28441960 kB
Active(anon): 556112 kB
Inactive(anon): 2792 kB
Active(file): 806876 kB
Inactive(file): 28439168 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1022420 kB
Writeback: 120 kB
AnonPages: 535732 kB
Mapped: 114156 kB
Shmem: 26248 kB
KReclaimable: 189700 kB
Slab: 288324 kB
SReclaimable: 189700 kB
SUnreclaim: 98624 kB
KernelStack: 4240 kB
PageTables: 4040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 867080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 120832 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 322856 MiB
End job on nodeC027 at 2025-07-16 19:24:50