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-4510765-1751197908.opb'
0.00/0.01 c read 0.03MB (0.49ms)
0.00/0.01 c [cnf: #variables 601 #clauses 602 #duplicates 236 #arr 2404]
0.00/0.01 c output proof to 'PROOFDIR/proof-4510765-1751197908'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 360] (0.58ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (8.19ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 3006 #edges 8414]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 4.00*10^0 #generators 2] (1.95ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c (0.00ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c add generic predicates (break_depth=10)
0.00/0.02 c added predicates for 2 generators (0.01ms)
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 56 #add_vars 18]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4510765-1751197908.opb.pre'
0.00/0.02 c wrote 0.03MB (0.12ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 8.19ms 59.52% detect_special
0.00/0.02 c 2.39ms 17.34% other
0.00/0.02 c 1.95ms 14.20% detect_generic
0.00/0.02 c 0.58ms 4.22% approx_orbits
0.00/0.02 c 0.49ms 3.52% parse
0.00/0.02 c 0.12ms 0.85% output
0.00/0.02 c 0.03ms 0.24% finalize_order
0.00/0.02 c 0.01ms 0.08% break_generic
0.00/0.02 c 0.00ms 0.03% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 13.77ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 619 #constraints 658
0.00/0.04 c rational objective 300.5
0.27/0.38 c #Conflicts: 1000 | #Constraints: 1666
0.27/0.38 c #Conflicts: 2000 | #Constraints: 2667
0.27/0.38 c INPROCESSING
0.27/0.38 c GARBAGE COLLECT
0.27/0.38 c #Conflicts: 3000 | #Constraints: 2696
0.27/0.38 c #Conflicts: 4000 | #Constraints: 3696
0.27/0.38 c INPROCESSING
0.27/0.38 c GARBAGE COLLECT
0.27/0.38 c #Conflicts: 5000 | #Constraints: 3116
0.27/0.38 c #Conflicts: 6000 | #Constraints: 4116
0.27/0.38 c INPROCESSING
0.27/0.38 c GARBAGE COLLECT
0.27/0.38 c #Conflicts: 7000 | #Constraints: 3128
0.27/0.38 c #Conflicts: 8000 | #Constraints: 4128
0.27/0.38 c #Conflicts: 9000 | #Constraints: 5128
0.27/0.38 c INPROCESSING
0.27/0.38 c GARBAGE COLLECT
0.27/0.38 c rational objective 300.5
0.38/0.50 c #Conflicts: 10000 | #Constraints: 3837
0.38/0.50 c #Conflicts: 11000 | #Constraints: 4837
0.38/0.50 c #Conflicts: 12000 | #Constraints: 5837
0.38/0.50 c INPROCESSING
0.38/0.50 c GARBAGE COLLECT
0.38/0.50 c rational objective 300.5
0.57/0.63 c #Conflicts: 13000 | #Constraints: 4292
0.57/0.63 c #Conflicts: 14000 | #Constraints: 5292
0.57/0.63 c #Conflicts: 15000 | #Constraints: 6292
0.57/0.63 c INPROCESSING
0.57/0.63 c GARBAGE COLLECT
0.57/0.63 c rational objective 300.5
0.66/0.78 c #Conflicts: 16000 | #Constraints: 4521
0.66/0.78 c #Conflicts: 17000 | #Constraints: 5521
0.66/0.78 c #Conflicts: 18000 | #Constraints: 6521
0.66/0.78 c INPROCESSING
0.66/0.78 c GARBAGE COLLECT
0.66/0.78 c rational objective 300.5
0.86/0.94 c #Conflicts: 19000 | #Constraints: 4539
0.86/0.94 c #Conflicts: 20000 | #Constraints: 5539
0.86/0.94 c #Conflicts: 21000 | #Constraints: 6539
0.86/0.94 c INPROCESSING
0.86/0.94 c GARBAGE COLLECT
0.86/0.94 c rational objective 300.5
0.97/1.08 c #Conflicts: 22000 | #Constraints: 4345
0.97/1.08 c #Conflicts: 23000 | #Constraints: 5346
0.97/1.08 c #Conflicts: 24000 | #Constraints: 6346
0.97/1.08 c #Conflicts: 25000 | #Constraints: 7347
0.97/1.08 c INPROCESSING
0.97/1.08 c GARBAGE COLLECT
0.97/1.08 c rational objective 300.5
1.17/1.24 c #Conflicts: 26000 | #Constraints: 4945
1.17/1.24 c #Conflicts: 27000 | #Constraints: 5945
1.17/1.24 c #Conflicts: 28000 | #Constraints: 6945
1.17/1.24 c #Conflicts: 29000 | #Constraints: 7945
1.17/1.24 c INPROCESSING
1.17/1.24 c GARBAGE COLLECT
1.17/1.24 c rational objective 300.5
1.37/1.40 c #Conflicts: 30000 | #Constraints: 5351
1.37/1.40 c #Conflicts: 31000 | #Constraints: 6351
1.37/1.40 c #Conflicts: 32000 | #Constraints: 7351
1.37/1.40 c #Conflicts: 33000 | #Constraints: 8351
1.37/1.40 c INPROCESSING
1.37/1.40 c GARBAGE COLLECT
1.37/1.40 c rational objective 300.5
1.46/1.57 c #Conflicts: 34000 | #Constraints: 5551
1.46/1.57 c #Conflicts: 35000 | #Constraints: 6551
1.46/1.57 c #Conflicts: 36000 | #Constraints: 7551
1.46/1.57 c #Conflicts: 37000 | #Constraints: 8551
1.46/1.57 c INPROCESSING
1.46/1.57 c GARBAGE COLLECT
1.46/1.57 c rational objective 300.5
1.66/1.74 c #Conflicts: 38000 | #Constraints: 5558
1.66/1.74 c #Conflicts: 39000 | #Constraints: 6558
1.66/1.74 c #Conflicts: 40000 | #Constraints: 7558
1.66/1.74 c #Conflicts: 41000 | #Constraints: 8558
1.66/1.74 c INPROCESSING
1.66/1.74 c GARBAGE COLLECT
1.66/1.74 c rational objective 300.5
1.87/1.92 c #Conflicts: 42000 | #Constraints: 5356
1.87/1.92 c #Conflicts: 43000 | #Constraints: 6356
1.87/1.92 c #Conflicts: 44000 | #Constraints: 7356
1.87/1.92 c #Conflicts: 45000 | #Constraints: 8356
1.87/1.92 c #Conflicts: 46000 | #Constraints: 9356
1.87/1.92 c INPROCESSING
1.87/1.92 c GARBAGE COLLECT
1.87/1.92 c rational objective 300.5
2.07/2.14 c #Conflicts: 47000 | #Constraints: 5959
2.07/2.14 c #Conflicts: 48000 | #Constraints: 6959
2.07/2.14 c #Conflicts: 49000 | #Constraints: 7959
2.07/2.14 c #Conflicts: 50000 | #Constraints: 8959
2.07/2.14 c #Conflicts: 51000 | #Constraints: 9959
2.07/2.14 c INPROCESSING
2.07/2.14 c GARBAGE COLLECT
2.07/2.14 c rational objective 300.5
2.27/2.38 c #Conflicts: 52000 | #Constraints: 6361
2.27/2.38 c #Conflicts: 53000 | #Constraints: 7361
2.27/2.38 c #Conflicts: 54000 | #Constraints: 8361
2.27/2.38 c #Conflicts: 55000 | #Constraints: 9361
2.27/2.38 c #Conflicts: 56000 | #Constraints: 10361
2.27/2.38 c INPROCESSING
2.27/2.38 c GARBAGE COLLECT
2.27/2.38 c rational objective 300.5
2.46/2.59 c #Conflicts: 57000 | #Constraints: 6555
2.46/2.59 c #Conflicts: 58000 | #Constraints: 7555
2.46/2.59 c #Conflicts: 59000 | #Constraints: 8555
2.46/2.59 c #Conflicts: 60000 | #Constraints: 9555
2.46/2.59 c #Conflicts: 61000 | #Constraints: 10555
2.46/2.59 c INPROCESSING
2.46/2.59 c GARBAGE COLLECT
2.46/2.59 c rational objective 300.5
2.76/2.83 c #Conflicts: 62000 | #Constraints: 6555
2.76/2.83 c #Conflicts: 63000 | #Constraints: 7556
2.76/2.83 c #Conflicts: 64000 | #Constraints: 8556
2.76/2.83 c #Conflicts: 65000 | #Constraints: 9556
2.76/2.83 c #Conflicts: 66000 | #Constraints: 10556
2.76/2.83 c INPROCESSING
2.76/2.83 c GARBAGE COLLECT
2.76/2.83 c rational objective 300.5
2.96/3.06 c #Conflicts: 67000 | #Constraints: 6362
2.96/3.06 c #Conflicts: 68000 | #Constraints: 7362
2.96/3.06 c #Conflicts: 69000 | #Constraints: 8362
2.96/3.06 c #Conflicts: 70000 | #Constraints: 9362
2.96/3.06 c #Conflicts: 71000 | #Constraints: 10362
2.96/3.06 c #Conflicts: 72000 | #Constraints: 11362
2.96/3.06 c INPROCESSING
2.96/3.06 c GARBAGE COLLECT
2.96/3.06 c rational objective 300.5
3.26/3.30 c #Conflicts: 73000 | #Constraints: 6964
3.26/3.30 c #Conflicts: 74000 | #Constraints: 7964
3.26/3.30 c #Conflicts: 75000 | #Constraints: 8964
3.26/3.30 c #Conflicts: 76000 | #Constraints: 9964
3.26/3.30 c #Conflicts: 77000 | #Constraints: 10964
3.26/3.30 c #Conflicts: 78000 | #Constraints: 11964
3.26/3.30 c INPROCESSING
3.26/3.30 c GARBAGE COLLECT
3.26/3.30 c rational objective 300.5
3.46/3.55 c #Conflicts: 79000 | #Constraints: 7366
3.46/3.55 c #Conflicts: 80000 | #Constraints: 8366
3.46/3.55 c #Conflicts: 81000 | #Constraints: 9366
3.46/3.55 c #Conflicts: 82000 | #Constraints: 10366
3.46/3.55 c #Conflicts: 83000 | #Constraints: 11366
3.46/3.55 c #Conflicts: 84000 | #Constraints: 12366
3.46/3.55 c INPROCESSING
3.46/3.55 c GARBAGE COLLECT
3.46/3.55 c rational objective 300.5
3.76/3.81 c #Conflicts: 85000 | #Constraints: 7565
3.76/3.81 c #Conflicts: 86000 | #Constraints: 8565
3.76/3.81 c #Conflicts: 87000 | #Constraints: 9565
3.76/3.81 c #Conflicts: 88000 | #Constraints: 10565
3.76/3.81 c #Conflicts: 89000 | #Constraints: 11565
3.76/3.81 c #Conflicts: 90000 | #Constraints: 12565
3.76/3.81 c INPROCESSING
3.76/3.81 c GARBAGE COLLECT
3.76/3.81 c rational objective 300.5
3.96/4.10 c #Conflicts: 91000 | #Constraints: 7566
3.96/4.10 c #Conflicts: 92000 | #Constraints: 8566
3.96/4.10 c #Conflicts: 93000 | #Constraints: 9566
3.96/4.10 c #Conflicts: 94000 | #Constraints: 10566
3.96/4.10 c #Conflicts: 95000 | #Constraints: 11566
3.96/4.10 c #Conflicts: 96000 | #Constraints: 12566
3.96/4.10 c INPROCESSING
3.96/4.10 c GARBAGE COLLECT
3.96/4.10 c rational objective 300.5
4.26/4.36 c #Conflicts: 97000 | #Constraints: 7367
4.26/4.36 c #Conflicts: 98000 | #Constraints: 8367
4.26/4.36 c #Conflicts: 99000 | #Constraints: 9367
4.26/4.36 c #Conflicts: 100000 | #Constraints: 10367
4.26/4.36 c #Conflicts: 101000 | #Constraints: 11367
4.26/4.36 c #Conflicts: 102000 | #Constraints: 12367
4.26/4.36 c #Conflicts: 103000 | #Constraints: 13367
4.26/4.36 c INPROCESSING
4.26/4.36 c GARBAGE COLLECT
4.26/4.36 c rational objective 300.5
4.55/4.62 c #Conflicts: 104000 | #Constraints: 7963
4.55/4.62 c #Conflicts: 105000 | #Constraints: 8963
4.55/4.62 c #Conflicts: 106000 | #Constraints: 9963
4.55/4.62 c #Conflicts: 107000 | #Constraints: 10963
4.55/4.62 c #Conflicts: 108000 | #Constraints: 11963
4.55/4.62 c #Conflicts: 109000 | #Constraints: 12963
4.55/4.62 c #Conflicts: 110000 | #Constraints: 13963
4.55/4.62 c INPROCESSING
4.55/4.62 c GARBAGE COLLECT
4.55/4.62 c rational objective 300.5
4.76/4.89 c #Conflicts: 111000 | #Constraints: 8365
4.76/4.89 c #Conflicts: 112000 | #Constraints: 9365
4.76/4.89 c #Conflicts: 113000 | #Constraints: 10365
4.76/4.89 c #Conflicts: 114000 | #Constraints: 11365
4.76/4.89 c #Conflicts: 115000 | #Constraints: 12365
4.76/4.89 c #Conflicts: 116000 | #Constraints: 13365
4.76/4.89 c #Conflicts: 117000 | #Constraints: 14365
4.76/4.89 c INPROCESSING
4.76/4.89 c GARBAGE COLLECT
4.76/4.89 c rational objective 300.5
5.06/5.18 c #Conflicts: 118000 | #Constraints: 8565
5.06/5.18 c #Conflicts: 119000 | #Constraints: 9565
5.06/5.18 c #Conflicts: 120000 | #Constraints: 10565
5.06/5.18 c #Conflicts: 121000 | #Constraints: 11565
5.06/5.18 c #Conflicts: 122000 | #Constraints: 12565
5.06/5.18 c #Conflicts: 123000 | #Constraints: 13565
5.06/5.18 c #Conflicts: 124000 | #Constraints: 14565
5.06/5.18 c INPROCESSING
5.06/5.18 c GARBAGE COLLECT
5.06/5.18 c rational objective 300.5
5.35/5.47 c #Conflicts: 125000 | #Constraints: 8571
5.35/5.47 c #Conflicts: 126000 | #Constraints: 9571
5.35/5.47 c #Conflicts: 127000 | #Constraints: 10571
5.35/5.47 c #Conflicts: 128000 | #Constraints: 11571
5.35/5.47 c #Conflicts: 129000 | #Constraints: 12571
5.35/5.47 c #Conflicts: 130000 | #Constraints: 13571
5.35/5.47 c #Conflicts: 131000 | #Constraints: 14571
5.35/5.47 c INPROCESSING
5.35/5.47 c GARBAGE COLLECT
5.35/5.47 c rational objective 300.5
5.65/5.75 c #Conflicts: 132000 | #Constraints: 8358
5.65/5.75 c #Conflicts: 133000 | #Constraints: 9358
5.65/5.75 c #Conflicts: 134000 | #Constraints: 10358
5.65/5.75 c #Conflicts: 135000 | #Constraints: 11358
5.65/5.75 c #Conflicts: 136000 | #Constraints: 12358
5.65/5.75 c #Conflicts: 137000 | #Constraints: 13358
5.65/5.75 c #Conflicts: 138000 | #Constraints: 14358
5.65/5.75 c #Conflicts: 139000 | #Constraints: 15358
5.65/5.75 c INPROCESSING
5.65/5.75 c GARBAGE COLLECT
5.65/5.75 c rational objective 300.5
5.96/6.05 c #Conflicts: 140000 | #Constraints: 8964
5.96/6.05 c #Conflicts: 141000 | #Constraints: 9964
5.96/6.05 c #Conflicts: 142000 | #Constraints: 10964
5.96/6.05 c #Conflicts: 143000 | #Constraints: 11964
5.96/6.05 c #Conflicts: 144000 | #Constraints: 12964
5.96/6.05 c #Conflicts: 145000 | #Constraints: 13964
5.96/6.05 c #Conflicts: 146000 | #Constraints: 14964
5.96/6.05 c #Conflicts: 147000 | #Constraints: 15964
5.96/6.05 c INPROCESSING
5.96/6.05 c GARBAGE COLLECT
5.96/6.05 c rational objective 300.5
6.25/6.36 c #Conflicts: 148000 | #Constraints: 9368
6.25/6.36 c #Conflicts: 149000 | #Constraints: 10368
6.25/6.36 c #Conflicts: 150000 | #Constraints: 11368
6.25/6.36 c #Conflicts: 151000 | #Constraints: 12368
6.25/6.36 c #Conflicts: 152000 | #Constraints: 13368
6.25/6.36 c #Conflicts: 153000 | #Constraints: 14368
6.25/6.36 c #Conflicts: 154000 | #Constraints: 15368
6.25/6.36 c #Conflicts: 155000 | #Constraints: 16368
6.25/6.36 c INPROCESSING
6.25/6.36 c GARBAGE COLLECT
6.25/6.36 c rational objective 300.5
6.55/6.65 c #Conflicts: 156000 | #Constraints: 9570
6.55/6.65 c #Conflicts: 157000 | #Constraints: 10570
6.55/6.65 c #Conflicts: 158000 | #Constraints: 11570
6.55/6.65 c #Conflicts: 159000 | #Constraints: 12570
6.55/6.65 c #Conflicts: 160000 | #Constraints: 13570
6.55/6.65 c #Conflicts: 161000 | #Constraints: 14570
6.55/6.65 c #Conflicts: 162000 | #Constraints: 15570
6.55/6.65 c #Conflicts: 163000 | #Constraints: 16570
6.55/6.65 c INPROCESSING
6.55/6.65 c GARBAGE COLLECT
6.55/6.65 c rational objective 300.5
6.85/6.98 c #Conflicts: 164000 | #Constraints: 9568
6.85/6.98 c #Conflicts: 165000 | #Constraints: 10568
6.85/6.98 c #Conflicts: 166000 | #Constraints: 11568
6.85/6.98 c #Conflicts: 167000 | #Constraints: 12568
6.85/6.98 c #Conflicts: 168000 | #Constraints: 13568
6.85/6.98 c #Conflicts: 169000 | #Constraints: 14568
6.85/6.98 c #Conflicts: 170000 | #Constraints: 15568
6.85/6.98 c #Conflicts: 171000 | #Constraints: 16568
6.85/6.98 c INPROCESSING
6.85/6.98 c GARBAGE COLLECT
6.85/6.98 c rational objective 300.5
7.25/7.30 c #Conflicts: 172000 | #Constraints: 9364
7.25/7.30 c #Conflicts: 173000 | #Constraints: 10364
7.25/7.30 c #Conflicts: 174000 | #Constraints: 11364
7.25/7.30 c #Conflicts: 175000 | #Constraints: 12364
7.25/7.30 c #Conflicts: 176000 | #Constraints: 13364
7.25/7.30 c #Conflicts: 177000 | #Constraints: 14364
7.25/7.30 c #Conflicts: 178000 | #Constraints: 15364
7.25/7.30 c #Conflicts: 179000 | #Constraints: 16364
7.25/7.30 c #Conflicts: 180000 | #Constraints: 17364
7.25/7.30 c INPROCESSING
7.25/7.30 c GARBAGE COLLECT
7.25/7.30 c rational objective 300.5
7.55/7.62 c #Conflicts: 181000 | #Constraints: 9962
7.55/7.62 c #Conflicts: 182000 | #Constraints: 10962
7.55/7.62 c #Conflicts: 183000 | #Constraints: 11962
7.55/7.62 c #Conflicts: 184000 | #Constraints: 12962
7.55/7.62 c #Conflicts: 185000 | #Constraints: 13962
7.55/7.62 c #Conflicts: 186000 | #Constraints: 14962
7.55/7.62 c #Conflicts: 187000 | #Constraints: 15962
7.55/7.62 c #Conflicts: 188000 | #Constraints: 16962
7.55/7.62 c #Conflicts: 189000 | #Constraints: 17962
7.55/7.62 c INPROCESSING
7.55/7.62 c GARBAGE COLLECT
7.55/7.62 c rational objective 300.5
7.85/7.97 c #Conflicts: 190000 | #Constraints: 10362
7.85/7.97 c #Conflicts: 191000 | #Constraints: 11362
7.85/7.97 c #Conflicts: 192000 | #Constraints: 12362
7.85/7.97 c #Conflicts: 193000 | #Constraints: 13362
7.85/7.97 c #Conflicts: 194000 | #Constraints: 14362
7.85/7.97 c #Conflicts: 195000 | #Constraints: 15362
7.85/7.97 c #Conflicts: 196000 | #Constraints: 16362
7.85/7.97 c #Conflicts: 197000 | #Constraints: 17362
7.85/7.97 c #Conflicts: 198000 | #Constraints: 18362
7.85/7.97 c INPROCESSING
7.85/7.97 c GARBAGE COLLECT
7.85/7.97 c rational objective 300.5
8.35/8.41 c #Conflicts: 199000 | #Constraints: 10560
8.35/8.41 c #Conflicts: 200000 | #Constraints: 11560
8.35/8.41 c #Conflicts: 201000 | #Constraints: 12560
8.35/8.41 c #Conflicts: 202000 | #Constraints: 13560
8.35/8.41 c #Conflicts: 203000 | #Constraints: 14560
8.35/8.41 c #Conflicts: 204000 | #Constraints: 15560
8.35/8.41 c #Conflicts: 205000 | #Constraints: 16560
8.35/8.41 c #Conflicts: 206000 | #Constraints: 17560
8.35/8.41 c #Conflicts: 207000 | #Constraints: 18560
8.35/8.41 c INPROCESSING
8.35/8.41 c GARBAGE COLLECT
8.35/8.41 c rational objective 300.5
8.65/8.79 c #Conflicts: 208000 | #Constraints: 10565
8.65/8.79 c #Conflicts: 209000 | #Constraints: 11565
8.65/8.79 c #Conflicts: 210000 | #Constraints: 12565
8.65/8.79 c #Conflicts: 211000 | #Constraints: 13565
8.65/8.79 c #Conflicts: 212000 | #Constraints: 14565
8.65/8.79 c #Conflicts: 213000 | #Constraints: 15565
8.65/8.79 c #Conflicts: 214000 | #Constraints: 16565
8.65/8.79 c #Conflicts: 215000 | #Constraints: 17565
8.65/8.79 c #Conflicts: 216000 | #Constraints: 18565
8.65/8.79 c INPROCESSING
8.65/8.79 c GARBAGE COLLECT
8.65/8.79 c rational objective 300.5
9.14/9.24 c #Conflicts: 217000 | #Constraints: 10376
9.14/9.24 c #Conflicts: 218000 | #Constraints: 11376
9.14/9.24 c #Conflicts: 219000 | #Constraints: 12376
9.14/9.24 c #Conflicts: 220000 | #Constraints: 13376
9.14/9.24 c #Conflicts: 221000 | #Constraints: 14376
9.14/9.24 c #Conflicts: 222000 | #Constraints: 15376
9.14/9.24 c #Conflicts: 223000 | #Constraints: 16376
9.14/9.24 c #Conflicts: 224000 | #Constraints: 17376
9.14/9.24 c #Conflicts: 225000 | #Constraints: 18376
9.14/9.24 c #Conflicts: 226000 | #Constraints: 19376
9.14/9.24 c INPROCESSING
9.14/9.24 c GARBAGE COLLECT
9.14/9.24 c rational objective 300.5
9.44/9.59 c #Conflicts: 227000 | #Constraints: 10979
9.44/9.59 c #Conflicts: 228000 | #Constraints: 11979
9.44/9.59 c #Conflicts: 229000 | #Constraints: 12979
9.44/9.59 c #Conflicts: 230000 | #Constraints: 13979
9.44/9.59 c #Conflicts: 231000 | #Constraints: 14979
9.44/9.59 c #Conflicts: 232000 | #Constraints: 15979
9.44/9.59 c #Conflicts: 233000 | #Constraints: 16979
9.44/9.59 c #Conflicts: 234000 | #Constraints: 17979
9.44/9.59 c #Conflicts: 235000 | #Constraints: 18979
9.44/9.59 c #Conflicts: 236000 | #Constraints: 19979
9.44/9.59 c INPROCESSING
9.44/9.59 c GARBAGE COLLECT
9.44/9.59 c rational objective 300.5
9.84/9.99 c #Conflicts: 237000 | #Constraints: 11370
9.84/9.99 c #Conflicts: 238000 | #Constraints: 12370
9.84/9.99 c #Conflicts: 239000 | #Constraints: 13370
9.84/9.99 c #Conflicts: 240000 | #Constraints: 14370
9.84/9.99 c #Conflicts: 241000 | #Constraints: 15370
9.84/9.99 c #Conflicts: 242000 | #Constraints: 16370
9.84/9.99 c #Conflicts: 243000 | #Constraints: 17370
9.84/9.99 c #Conflicts: 244000 | #Constraints: 18370
9.84/9.99 c #Conflicts: 245000 | #Constraints: 19370
9.84/9.99 c #Conflicts: 246000 | #Constraints: 20370
9.84/9.99 c INPROCESSING
9.84/9.99 c GARBAGE COLLECT
9.84/9.99 c rational objective 300.5
10.24/10.37 c #Conflicts: 247000 | #Constraints: 11564
10.24/10.37 c #Conflicts: 248000 | #Constraints: 12564
10.24/10.37 c #Conflicts: 249000 | #Constraints: 13564
10.24/10.37 c #Conflicts: 250000 | #Constraints: 14564
10.24/10.37 c #Conflicts: 251000 | #Constraints: 15564
10.24/10.37 c #Conflicts: 252000 | #Constraints: 16564
10.24/10.37 c #Conflicts: 253000 | #Constraints: 17564
10.24/10.37 c #Conflicts: 254000 | #Constraints: 18564
10.24/10.37 c #Conflicts: 255000 | #Constraints: 19564
10.24/10.37 c #Conflicts: 256000 | #Constraints: 20564
10.24/10.37 c INPROCESSING
10.24/10.37 c GARBAGE COLLECT
10.24/10.37 c rational objective 300.5
10.74/10.80 c #Conflicts: 257000 | #Constraints: 11564
10.74/10.80 c #Conflicts: 258000 | #Constraints: 12564
10.74/10.80 c #Conflicts: 259000 | #Constraints: 13564
10.74/10.80 c #Conflicts: 260000 | #Constraints: 14564
10.74/10.80 c #Conflicts: 261000 | #Constraints: 15564
10.74/10.80 c #Conflicts: 262000 | #Constraints: 16564
10.74/10.80 c #Conflicts: 263000 | #Constraints: 17564
10.74/10.80 c #Conflicts: 264000 | #Constraints: 18564
10.74/10.80 c #Conflicts: 265000 | #Constraints: 19564
10.74/10.80 c #Conflicts: 266000 | #Constraints: 20564
10.74/10.80 c INPROCESSING
10.74/10.80 c GARBAGE COLLECT
10.74/10.80 c rational objective 300.5
11.14/11.21 c #Conflicts: 267000 | #Constraints: 11367
11.14/11.21 c #Conflicts: 268000 | #Constraints: 12367
11.14/11.21 c #Conflicts: 269000 | #Constraints: 13367
11.14/11.21 c #Conflicts: 270000 | #Constraints: 14367
11.14/11.21 c #Conflicts: 271000 | #Constraints: 15367
11.14/11.21 c #Conflicts: 272000 | #Constraints: 16367
11.14/11.21 c #Conflicts: 273000 | #Constraints: 17367
11.14/11.21 c #Conflicts: 274000 | #Constraints: 18367
11.14/11.21 c #Conflicts: 275000 | #Constraints: 19367
11.14/11.21 c #Conflicts: 276000 | #Constraints: 20367
11.14/11.21 c #Conflicts: 277000 | #Constraints: 21367
11.14/11.21 c INPROCESSING
11.14/11.21 c GARBAGE COLLECT
11.14/11.21 c rational objective 300.5
11.44/11.59 c #Conflicts: 278000 | #Constraints: 11962
11.44/11.59 c #Conflicts: 279000 | #Constraints: 12962
11.44/11.59 c #Conflicts: 280000 | #Constraints: 13962
11.44/11.59 c #Conflicts: 281000 | #Constraints: 14962
11.44/11.59 c #Conflicts: 282000 | #Constraints: 15962
11.44/11.59 c #Conflicts: 283000 | #Constraints: 16962
11.44/11.59 c #Conflicts: 284000 | #Constraints: 17962
11.44/11.59 c #Conflicts: 285000 | #Constraints: 18962
11.44/11.59 c #Conflicts: 286000 | #Constraints: 19962
11.44/11.59 c #Conflicts: 287000 | #Constraints: 20962
11.44/11.59 c #Conflicts: 288000 | #Constraints: 21962
11.44/11.59 c INPROCESSING
11.44/11.59 c GARBAGE COLLECT
11.44/11.59 c rational objective 300.5
11.94/12.02 c #Conflicts: 289000 | #Constraints: 12361
11.94/12.02 c #Conflicts: 290000 | #Constraints: 13361
11.94/12.02 c #Conflicts: 291000 | #Constraints: 14361
11.94/12.02 c #Conflicts: 292000 | #Constraints: 15361
11.94/12.02 c #Conflicts: 293000 | #Constraints: 16361
11.94/12.02 c #Conflicts: 294000 | #Constraints: 17361
11.94/12.02 c #Conflicts: 295000 | #Constraints: 18361
11.94/12.02 c #Conflicts: 296000 | #Constraints: 19361
11.94/12.02 c #Conflicts: 297000 | #Constraints: 20361
11.94/12.02 c #Conflicts: 298000 | #Constraints: 21361
11.94/12.02 c #Conflicts: 299000 | #Constraints: 22361
11.94/12.02 c INPROCESSING
11.94/12.02 c GARBAGE COLLECT
11.94/12.02 c rational objective 300.5
12.34/12.44 c #Conflicts: 300000 | #Constraints: 12567
12.34/12.44 c #Conflicts: 301000 | #Constraints: 13567
12.34/12.44 c #Conflicts: 302000 | #Constraints: 14567
12.34/12.44 c #Conflicts: 303000 | #Constraints: 15567
12.34/12.44 c #Conflicts: 304000 | #Constraints: 16567
12.34/12.44 c #Conflicts: 305000 | #Constraints: 17567
12.34/12.44 c #Conflicts: 306000 | #Constraints: 18567
12.34/12.44 c #Conflicts: 307000 | #Constraints: 19568
12.34/12.44 c #Conflicts: 308000 | #Constraints: 20568
12.34/12.44 c #Conflicts: 309000 | #Constraints: 21568
12.34/12.44 c #Conflicts: 310000 | #Constraints: 22568
12.34/12.44 c INPROCESSING
12.34/12.44 c GARBAGE COLLECT
12.34/12.44 c rational objective 300.5
12.73/12.88 c #Conflicts: 311000 | #Constraints: 12568
12.73/12.88 c #Conflicts: 312000 | #Constraints: 13568
12.73/12.88 c #Conflicts: 313000 | #Constraints: 14568
12.73/12.88 c #Conflicts: 314000 | #Constraints: 15568
12.73/12.88 c #Conflicts: 315000 | #Constraints: 16568
12.73/12.88 c #Conflicts: 316000 | #Constraints: 17568
12.73/12.88 c #Conflicts: 317000 | #Constraints: 18568
12.73/12.88 c #Conflicts: 318000 | #Constraints: 19568
12.73/12.88 c #Conflicts: 319000 | #Constraints: 20568
12.73/12.88 c #Conflicts: 320000 | #Constraints: 21568
12.73/12.88 c #Conflicts: 321000 | #Constraints: 22568
12.73/12.88 c INPROCESSING
12.73/12.88 c GARBAGE COLLECT
12.73/12.88 c rational objective 300.5
13.23/13.34 c #Conflicts: 322000 | #Constraints: 12367
13.23/13.34 c #Conflicts: 323000 | #Constraints: 13367
13.23/13.34 c #Conflicts: 324000 | #Constraints: 14367
13.23/13.34 c #Conflicts: 325000 | #Constraints: 15367
13.23/13.34 c #Conflicts: 326000 | #Constraints: 16367
13.23/13.34 c #Conflicts: 327000 | #Constraints: 17367
13.23/13.34 c #Conflicts: 328000 | #Constraints: 18367
13.23/13.34 c #Conflicts: 329000 | #Constraints: 19367
13.23/13.34 c #Conflicts: 330000 | #Constraints: 20367
13.23/13.34 c #Conflicts: 331000 | #Constraints: 21367
13.23/13.34 c #Conflicts: 332000 | #Constraints: 22367
13.23/13.34 c #Conflicts: 333000 | #Constraints: 23367
13.23/13.34 c INPROCESSING
13.23/13.34 c GARBAGE COLLECT
13.23/13.34 c rational objective 300.5
13.63/13.77 c #Conflicts: 334000 | #Constraints: 12966
13.63/13.77 c #Conflicts: 335000 | #Constraints: 13966
13.63/13.77 c #Conflicts: 336000 | #Constraints: 14966
13.63/13.77 c #Conflicts: 337000 | #Constraints: 15966
13.63/13.77 c #Conflicts: 338000 | #Constraints: 16966
13.63/13.77 c #Conflicts: 339000 | #Constraints: 17966
13.63/13.77 c #Conflicts: 340000 | #Constraints: 18966
13.63/13.77 c #Conflicts: 341000 | #Constraints: 19966
13.63/13.77 c #Conflicts: 342000 | #Constraints: 20966
13.63/13.77 c #Conflicts: 343000 | #Constraints: 21966
13.63/13.77 c #Conflicts: 344000 | #Constraints: 22966
13.63/13.77 c #Conflicts: 345000 | #Constraints: 23966
13.63/13.77 c INPROCESSING
13.63/13.77 c GARBAGE COLLECT
13.63/13.77 c rational objective 300.5
14.04/14.19 c #Conflicts: 346000 | #Constraints: 13373
14.04/14.19 c #Conflicts: 347000 | #Constraints: 14373
14.04/14.19 c #Conflicts: 348000 | #Constraints: 15373
14.04/14.19 c #Conflicts: 349000 | #Constraints: 16373
14.04/14.19 c #Conflicts: 350000 | #Constraints: 17373
14.04/14.19 c #Conflicts: 351000 | #Constraints: 18373
14.04/14.19 c #Conflicts: 352000 | #Constraints: 19373
14.04/14.19 c #Conflicts: 353000 | #Constraints: 20373
14.04/14.19 c #Conflicts: 354000 | #Constraints: 21373
14.04/14.19 c #Conflicts: 355000 | #Constraints: 22373
14.04/14.19 c #Conflicts: 356000 | #Constraints: 23373
14.04/14.19 c #Conflicts: 357000 | #Constraints: 24373
14.04/14.19 c INPROCESSING
14.04/14.19 c GARBAGE COLLECT
14.04/14.19 c rational objective 300.5
14.53/14.64 c #Conflicts: 358000 | #Constraints: 13572
14.53/14.64 c #Conflicts: 359000 | #Constraints: 14572
14.53/14.64 c #Conflicts: 360000 | #Constraints: 15572
14.53/14.64 c #Conflicts: 361000 | #Constraints: 16572
14.53/14.64 c #Conflicts: 362000 | #Constraints: 17572
14.53/14.64 c #Conflicts: 363000 | #Constraints: 18572
14.53/14.64 c #Conflicts: 364000 | #Constraints: 19572
14.53/14.64 c #Conflicts: 365000 | #Constraints: 20572
14.53/14.64 c #Conflicts: 366000 | #Constraints: 21572
14.53/14.64 c #Conflicts: 367000 | #Constraints: 22572
14.53/14.64 c #Conflicts: 368000 | #Constraints: 23572
14.53/14.64 c #Conflicts: 369000 | #Constraints: 24572
14.53/14.64 c INPROCESSING
14.53/14.64 c GARBAGE COLLECT
14.53/14.64 c rational objective 300.5
15.03/15.12 c #Conflicts: 370000 | #Constraints: 13581
15.03/15.12 c #Conflicts: 371000 | #Constraints: 14581
15.03/15.12 c #Conflicts: 372000 | #Constraints: 15581
15.03/15.12 c #Conflicts: 373000 | #Constraints: 16581
15.03/15.12 c #Conflicts: 374000 | #Constraints: 17581
15.03/15.12 c #Conflicts: 375000 | #Constraints: 18581
15.03/15.12 c #Conflicts: 376000 | #Constraints: 19581
15.03/15.12 c #Conflicts: 377000 | #Constraints: 20581
15.03/15.12 c #Conflicts: 378000 | #Constraints: 21581
15.03/15.12 c #Conflicts: 379000 | #Constraints: 22581
15.03/15.12 c #Conflicts: 380000 | #Constraints: 23581
15.03/15.12 c #Conflicts: 381000 | #Constraints: 24581
15.03/15.12 c INPROCESSING
15.03/15.12 c GARBAGE COLLECT
15.03/15.12 c rational objective 300.5
15.43/15.56 c #Conflicts: 382000 | #Constraints: 13377
15.43/15.56 c #Conflicts: 383000 | #Constraints: 14377
15.43/15.56 c #Conflicts: 384000 | #Constraints: 15377
15.43/15.56 c #Conflicts: 385000 | #Constraints: 16377
15.43/15.56 c #Conflicts: 386000 | #Constraints: 17377
15.43/15.56 c #Conflicts: 387000 | #Constraints: 18377
15.43/15.56 c #Conflicts: 388000 | #Constraints: 19377
15.43/15.56 c #Conflicts: 389000 | #Constraints: 20377
15.43/15.56 c #Conflicts: 390000 | #Constraints: 21377
15.43/15.56 c #Conflicts: 391000 | #Constraints: 22377
15.43/15.56 c #Conflicts: 392000 | #Constraints: 23377
15.43/15.56 c #Conflicts: 393000 | #Constraints: 24377
15.43/15.56 c #Conflicts: 394000 | #Constraints: 25377
15.43/15.56 c INPROCESSING
15.43/15.56 c GARBAGE COLLECT
15.43/15.56 c rational objective 300.5
15.93/16.02 c #Conflicts: 395000 | #Constraints: 13978
15.93/16.02 c #Conflicts: 396000 | #Constraints: 14978
15.93/16.02 c #Conflicts: 397000 | #Constraints: 15978
15.93/16.02 c #Conflicts: 398000 | #Constraints: 16978
15.93/16.02 c #Conflicts: 399000 | #Constraints: 17978
15.93/16.02 c #Conflicts: 400000 | #Constraints: 18978
15.93/16.02 c #Conflicts: 401000 | #Constraints: 19978
15.93/16.02 c #Conflicts: 402000 | #Constraints: 20978
15.93/16.02 c #Conflicts: 403000 | #Constraints: 21978
15.93/16.02 c #Conflicts: 404000 | #Constraints: 22978
15.93/16.02 c #Conflicts: 405000 | #Constraints: 23978
15.93/16.02 c #Conflicts: 406000 | #Constraints: 24978
15.93/16.02 c #Conflicts: 407000 | #Constraints: 25978
15.93/16.02 c INPROCESSING
15.93/16.02 c GARBAGE COLLECT
15.93/16.02 c rational objective 300.5
16.43/16.53 c #Conflicts: 408000 | #Constraints: 14372
16.43/16.53 c #Conflicts: 409000 | #Constraints: 15372
16.43/16.53 c #Conflicts: 410000 | #Constraints: 16372
16.43/16.53 c #Conflicts: 411000 | #Constraints: 17372
16.43/16.53 c #Conflicts: 412000 | #Constraints: 18372
16.43/16.53 c #Conflicts: 413000 | #Constraints: 19372
16.43/16.53 c #Conflicts: 414000 | #Constraints: 20372
16.43/16.53 c #Conflicts: 415000 | #Constraints: 21372
16.43/16.53 c #Conflicts: 416000 | #Constraints: 22372
16.43/16.53 c #Conflicts: 417000 | #Constraints: 23372
16.43/16.53 c #Conflicts: 418000 | #Constraints: 24372
16.43/16.53 c #Conflicts: 419000 | #Constraints: 25372
16.43/16.53 c #Conflicts: 420000 | #Constraints: 26372
16.43/16.53 c INPROCESSING
16.43/16.53 c GARBAGE COLLECT
16.43/16.53 c rational objective 300.5
16.93/17.06 c #Conflicts: 421000 | #Constraints: 14574
16.93/17.06 c #Conflicts: 422000 | #Constraints: 15574
16.93/17.06 c #Conflicts: 423000 | #Constraints: 16574
16.93/17.06 c #Conflicts: 424000 | #Constraints: 17574
16.93/17.06 c #Conflicts: 425000 | #Constraints: 18574
16.93/17.06 c #Conflicts: 426000 | #Constraints: 19574
16.93/17.06 c #Conflicts: 427000 | #Constraints: 20574
16.93/17.06 c #Conflicts: 428000 | #Constraints: 21574
16.93/17.06 c #Conflicts: 429000 | #Constraints: 22574
16.93/17.06 c #Conflicts: 430000 | #Constraints: 23574
16.93/17.06 c #Conflicts: 431000 | #Constraints: 24574
16.93/17.06 c #Conflicts: 432000 | #Constraints: 25574
16.93/17.06 c #Conflicts: 433000 | #Constraints: 26574
16.93/17.06 c INPROCESSING
16.93/17.06 c GARBAGE COLLECT
16.93/17.06 c rational objective 300.5
17.52/17.60 c #Conflicts: 434000 | #Constraints: 14573
17.52/17.60 c #Conflicts: 435000 | #Constraints: 15573
17.52/17.60 c #Conflicts: 436000 | #Constraints: 16573
17.52/17.60 c #Conflicts: 437000 | #Constraints: 17573
17.52/17.60 c #Conflicts: 438000 | #Constraints: 18573
17.52/17.60 c #Conflicts: 439000 | #Constraints: 19573
17.52/17.60 c #Conflicts: 440000 | #Constraints: 20573
17.52/17.60 c #Conflicts: 441000 | #Constraints: 21573
17.52/17.60 c #Conflicts: 442000 | #Constraints: 22573
17.52/17.60 c #Conflicts: 443000 | #Constraints: 23573
17.52/17.60 c #Conflicts: 444000 | #Constraints: 24573
17.52/17.60 c #Conflicts: 445000 | #Constraints: 25573
17.52/17.60 c #Conflicts: 446000 | #Constraints: 26573
17.52/17.60 c INPROCESSING
17.52/17.60 c GARBAGE COLLECT
17.52/17.60 c rational objective 300.5
18.02/18.14 c #Conflicts: 447000 | #Constraints: 14375
18.02/18.14 c #Conflicts: 448000 | #Constraints: 15375
18.02/18.14 c #Conflicts: 449000 | #Constraints: 16375
18.02/18.14 c #Conflicts: 450000 | #Constraints: 17375
18.02/18.14 c #Conflicts: 451000 | #Constraints: 18375
18.02/18.14 c #Conflicts: 452000 | #Constraints: 19375
18.02/18.14 c #Conflicts: 453000 | #Constraints: 20375
18.02/18.14 c #Conflicts: 454000 | #Constraints: 21375
18.02/18.14 c #Conflicts: 455000 | #Constraints: 22375
18.02/18.14 c #Conflicts: 456000 | #Constraints: 23375
18.02/18.14 c #Conflicts: 457000 | #Constraints: 24375
18.02/18.14 c #Conflicts: 458000 | #Constraints: 25375
18.02/18.14 c #Conflicts: 459000 | #Constraints: 26375
18.02/18.14 c #Conflicts: 460000 | #Constraints: 27375
18.02/18.14 c INPROCESSING
18.02/18.14 c GARBAGE COLLECT
18.02/18.14 c rational objective 300.5
18.61/18.73 c #Conflicts: 461000 | #Constraints: 14977
18.61/18.73 c #Conflicts: 462000 | #Constraints: 15977
18.61/18.73 c #Conflicts: 463000 | #Constraints: 16977
18.61/18.73 c #Conflicts: 464000 | #Constraints: 17977
18.61/18.73 c #Conflicts: 465000 | #Constraints: 18977
18.61/18.73 c #Conflicts: 466000 | #Constraints: 19977
18.61/18.73 c #Conflicts: 467000 | #Constraints: 20977
18.61/18.73 c #Conflicts: 468000 | #Constraints: 21977
18.61/18.73 c #Conflicts: 469000 | #Constraints: 22977
18.61/18.73 c #Conflicts: 470000 | #Constraints: 23977
18.61/18.73 c #Conflicts: 471000 | #Constraints: 24977
18.61/18.73 c #Conflicts: 472000 | #Constraints: 25977
18.61/18.73 c #Conflicts: 473000 | #Constraints: 26977
18.61/18.73 c #Conflicts: 474000 | #Constraints: 27977
18.61/18.73 c INPROCESSING
18.61/18.73 c GARBAGE COLLECT
18.61/18.73 c rational objective 300.5
19.21/19.34 c #Conflicts: 475000 | #Constraints: 15375
19.21/19.34 c #Conflicts: 476000 | #Constraints: 16375
19.21/19.34 c #Conflicts: 477000 | #Constraints: 17375
19.21/19.34 c #Conflicts: 478000 | #Constraints: 18375
19.21/19.34 c #Conflicts: 479000 | #Constraints: 19375
19.21/19.34 c #Conflicts: 480000 | #Constraints: 20375
19.21/19.34 c #Conflicts: 481000 | #Constraints: 21375
19.21/19.34 c #Conflicts: 482000 | #Constraints: 22375
19.21/19.34 c #Conflicts: 483000 | #Constraints: 23375
19.21/19.34 c #Conflicts: 484000 | #Constraints: 24375
19.21/19.34 c #Conflicts: 485000 | #Constraints: 25375
19.21/19.34 c #Conflicts: 486000 | #Constraints: 26375
19.21/19.34 c #Conflicts: 487000 | #Constraints: 27375
19.21/19.34 c #Conflicts: 488000 | #Constraints: 28375
19.21/19.34 c INPROCESSING
19.21/19.34 c GARBAGE COLLECT
19.21/19.34 c rational objective 300.5
19.81/19.92 c #Conflicts: 489000 | #Constraints: 15584
19.81/19.92 c #Conflicts: 490000 | #Constraints: 16584
19.81/19.92 c #Conflicts: 491000 | #Constraints: 17584
19.81/19.92 c #Conflicts: 492000 | #Constraints: 18584
19.81/19.92 c #Conflicts: 493000 | #Constraints: 19584
19.81/19.92 c #Conflicts: 494000 | #Constraints: 20584
19.81/19.92 c #Conflicts: 495000 | #Constraints: 21584
19.81/19.92 c #Conflicts: 496000 | #Constraints: 22584
19.81/19.92 c #Conflicts: 497000 | #Constraints: 23584
19.81/19.92 c #Conflicts: 498000 | #Constraints: 24584
19.81/19.92 c #Conflicts: 499000 | #Constraints: 25584
19.81/19.92 c #Conflicts: 500000 | #Constraints: 26584
19.81/19.92 c #Conflicts: 501000 | #Constraints: 27584
19.81/19.92 c #Conflicts: 502000 | #Constraints: 28584
19.81/19.92 c INPROCESSING
19.81/19.92 c GARBAGE COLLECT
19.81/19.92 c rational objective 300.5
20.42/20.51 c #Conflicts: 503000 | #Constraints: 15582
20.42/20.51 c #Conflicts: 504000 | #Constraints: 16582
20.42/20.51 c #Conflicts: 505000 | #Constraints: 17582
20.42/20.51 c #Conflicts: 506000 | #Constraints: 18582
20.42/20.51 c #Conflicts: 507000 | #Constraints: 19582
20.42/20.51 c #Conflicts: 508000 | #Constraints: 20582
20.42/20.51 c #Conflicts: 509000 | #Constraints: 21582
20.42/20.51 c #Conflicts: 510000 | #Constraints: 22582
20.42/20.51 c #Conflicts: 511000 | #Constraints: 23582
20.42/20.51 c #Conflicts: 512000 | #Constraints: 24582
20.42/20.51 c #Conflicts: 513000 | #Constraints: 25582
20.42/20.51 c #Conflicts: 514000 | #Constraints: 26582
20.42/20.51 c #Conflicts: 515000 | #Constraints: 27582
20.42/20.51 c #Conflicts: 516000 | #Constraints: 28582
20.42/20.51 c INPROCESSING
20.42/20.51 c GARBAGE COLLECT
20.42/20.51 c rational objective 300.5
20.92/21.06 c #Conflicts: 517000 | #Constraints: 15384
20.92/21.06 c #Conflicts: 518000 | #Constraints: 16384
20.92/21.06 c #Conflicts: 519000 | #Constraints: 17384
20.92/21.06 c #Conflicts: 520000 | #Constraints: 18384
20.92/21.06 c #Conflicts: 521000 | #Constraints: 19384
20.92/21.06 c #Conflicts: 522000 | #Constraints: 20384
20.92/21.06 c #Conflicts: 523000 | #Constraints: 21384
20.92/21.06 c #Conflicts: 524000 | #Constraints: 22384
20.92/21.06 c #Conflicts: 525000 | #Constraints: 23384
20.92/21.06 c #Conflicts: 526000 | #Constraints: 24384
20.92/21.06 c #Conflicts: 527000 | #Constraints: 25384
20.92/21.06 c #Conflicts: 528000 | #Constraints: 26384
20.92/21.06 c #Conflicts: 529000 | #Constraints: 27384
20.92/21.06 c #Conflicts: 530000 | #Constraints: 28384
20.92/21.06 c #Conflicts: 531000 | #Constraints: 29384
20.92/21.06 c INPROCESSING
20.92/21.06 c GARBAGE COLLECT
20.92/21.06 c rational objective 300.5
21.51/21.61 c #Conflicts: 532000 | #Constraints: 15986
21.51/21.61 c #Conflicts: 533000 | #Constraints: 16986
21.51/21.61 c #Conflicts: 534000 | #Constraints: 17986
21.51/21.61 c #Conflicts: 535000 | #Constraints: 18986
21.51/21.61 c #Conflicts: 536000 | #Constraints: 19986
21.51/21.61 c #Conflicts: 537000 | #Constraints: 20986
21.51/21.61 c #Conflicts: 538000 | #Constraints: 21986
21.51/21.61 c #Conflicts: 539000 | #Constraints: 22986
21.51/21.61 c #Conflicts: 540000 | #Constraints: 23986
21.51/21.61 c #Conflicts: 541000 | #Constraints: 24986
21.51/21.61 c #Conflicts: 542000 | #Constraints: 25986
21.51/21.61 c #Conflicts: 543000 | #Constraints: 26986
21.51/21.61 c #Conflicts: 544000 | #Constraints: 27986
21.51/21.61 c #Conflicts: 545000 | #Constraints: 28986
21.51/21.61 c #Conflicts: 546000 | #Constraints: 29986
21.51/21.61 c INPROCESSING
21.51/21.61 c GARBAGE COLLECT
21.51/21.61 c rational objective 300.5
22.10/22.22 c #Conflicts: 547000 | #Constraints: 16387
22.10/22.22 c #Conflicts: 548000 | #Constraints: 17387
22.10/22.22 c #Conflicts: 549000 | #Constraints: 18387
22.10/22.22 c #Conflicts: 550000 | #Constraints: 19387
22.10/22.22 c #Conflicts: 551000 | #Constraints: 20387
22.10/22.22 c #Conflicts: 552000 | #Constraints: 21387
22.10/22.22 c #Conflicts: 553000 | #Constraints: 22387
22.10/22.22 c #Conflicts: 554000 | #Constraints: 23387
22.10/22.22 c #Conflicts: 555000 | #Constraints: 24387
22.10/22.22 c #Conflicts: 556000 | #Constraints: 25387
22.10/22.22 c #Conflicts: 557000 | #Constraints: 26387
22.10/22.22 c #Conflicts: 558000 | #Constraints: 27387
22.10/22.22 c #Conflicts: 559000 | #Constraints: 28387
22.10/22.22 c #Conflicts: 560000 | #Constraints: 29387
22.10/22.22 c #Conflicts: 561000 | #Constraints: 30387
22.10/22.22 c INPROCESSING
22.10/22.22 c GARBAGE COLLECT
22.10/22.22 c rational objective 300.5
22.71/22.81 c #Conflicts: 562000 | #Constraints: 16591
22.71/22.81 c #Conflicts: 563000 | #Constraints: 17591
22.71/22.81 c #Conflicts: 564000 | #Constraints: 18591
22.71/22.81 c #Conflicts: 565000 | #Constraints: 19591
22.71/22.81 c #Conflicts: 566000 | #Constraints: 20591
22.71/22.81 c #Conflicts: 567000 | #Constraints: 21591
22.71/22.81 c #Conflicts: 568000 | #Constraints: 22591
22.71/22.81 c #Conflicts: 569000 | #Constraints: 23591
22.71/22.81 c #Conflicts: 570000 | #Constraints: 24591
22.71/22.81 c #Conflicts: 571000 | #Constraints: 25591
22.71/22.81 c #Conflicts: 572000 | #Constraints: 26591
22.71/22.81 c #Conflicts: 573000 | #Constraints: 27591
22.71/22.81 c #Conflicts: 574000 | #Constraints: 28591
22.71/22.81 c #Conflicts: 575000 | #Constraints: 29591
22.71/22.81 c #Conflicts: 576000 | #Constraints: 30591
22.71/22.81 c INPROCESSING
22.71/22.81 c GARBAGE COLLECT
22.71/22.81 c rational objective 300.5
23.21/23.38 c #Conflicts: 577000 | #Constraints: 16597
23.21/23.38 c #Conflicts: 578000 | #Constraints: 17597
23.21/23.38 c #Conflicts: 579000 | #Constraints: 18597
23.21/23.38 c #Conflicts: 580000 | #Constraints: 19597
23.21/23.38 c #Conflicts: 581000 | #Constraints: 20597
23.21/23.38 c #Conflicts: 582000 | #Constraints: 21597
23.21/23.38 c #Conflicts: 583000 | #Constraints: 22597
23.21/23.38 c #Conflicts: 584000 | #Constraints: 23597
23.21/23.38 c #Conflicts: 585000 | #Constraints: 24597
23.21/23.38 c #Conflicts: 586000 | #Constraints: 25597
23.21/23.38 c #Conflicts: 587000 | #Constraints: 26597
23.21/23.38 c #Conflicts: 588000 | #Constraints: 27597
23.21/23.38 c #Conflicts: 589000 | #Constraints: 28597
23.21/23.38 c #Conflicts: 590000 | #Constraints: 29597
23.21/23.38 c #Conflicts: 591000 | #Constraints: 30597
23.21/23.38 c INPROCESSING
23.21/23.38 c GARBAGE COLLECT
23.21/23.38 c rational objective 300.5
23.90/24.02 c #Conflicts: 592000 | #Constraints: 16403
23.90/24.02 c #Conflicts: 593000 | #Constraints: 17403
23.90/24.02 c #Conflicts: 594000 | #Constraints: 18403
23.90/24.02 c #Conflicts: 595000 | #Constraints: 19403
23.90/24.02 c #Conflicts: 596000 | #Constraints: 20403
23.90/24.02 c #Conflicts: 597000 | #Constraints: 21403
23.90/24.02 c #Conflicts: 598000 | #Constraints: 22403
23.90/24.02 c #Conflicts: 599000 | #Constraints: 23403
23.90/24.02 c #Conflicts: 600000 | #Constraints: 24403
23.90/24.02 c #Conflicts: 601000 | #Constraints: 25403
23.90/24.02 c #Conflicts: 602000 | #Constraints: 26403
23.90/24.02 c #Conflicts: 603000 | #Constraints: 27403
23.90/24.02 c #Conflicts: 604000 | #Constraints: 28403
23.90/24.02 c #Conflicts: 605000 | #Constraints: 29403
23.90/24.02 c #Conflicts: 606000 | #Constraints: 30403
23.90/24.02 c #Conflicts: 607000 | #Constraints: 31403
23.90/24.02 c INPROCESSING
23.90/24.02 c GARBAGE COLLECT
23.90/24.02 c rational objective 300.5
24.51/24.64 c #Conflicts: 608000 | #Constraints: 17001
24.51/24.64 c #Conflicts: 609000 | #Constraints: 18001
24.51/24.64 c #Conflicts: 610000 | #Constraints: 19001
24.51/24.64 c #Conflicts: 611000 | #Constraints: 20001
24.51/24.64 c #Conflicts: 612000 | #Constraints: 21001
24.51/24.64 c #Conflicts: 613000 | #Constraints: 22001
24.51/24.64 c #Conflicts: 614000 | #Constraints: 23001
24.51/24.64 c #Conflicts: 615000 | #Constraints: 24001
24.51/24.64 c #Conflicts: 616000 | #Constraints: 25001
24.51/24.64 c #Conflicts: 617000 | #Constraints: 26001
24.51/24.64 c #Conflicts: 618000 | #Constraints: 27001
24.51/24.64 c #Conflicts: 619000 | #Constraints: 28001
24.51/24.64 c #Conflicts: 620000 | #Constraints: 29001
24.51/24.64 c #Conflicts: 621000 | #Constraints: 30001
24.51/24.64 c #Conflicts: 622000 | #Constraints: 31001
24.51/24.64 c #Conflicts: 623000 | #Constraints: 32001
24.51/24.64 c INPROCESSING
24.51/24.64 c GARBAGE COLLECT
24.51/24.64 c rational objective 300.5
25.10/25.28 c #Conflicts: 624000 | #Constraints: 17395
25.10/25.28 c #Conflicts: 625000 | #Constraints: 18395
25.10/25.28 c #Conflicts: 626000 | #Constraints: 19395
25.10/25.28 c #Conflicts: 627000 | #Constraints: 20395
25.10/25.28 c #Conflicts: 628000 | #Constraints: 21395
25.10/25.28 c #Conflicts: 629000 | #Constraints: 22395
25.10/25.28 c #Conflicts: 630000 | #Constraints: 23395
25.10/25.28 c #Conflicts: 631000 | #Constraints: 24395
25.10/25.28 c #Conflicts: 632000 | #Constraints: 25395
25.10/25.28 c #Conflicts: 633000 | #Constraints: 26395
25.10/25.28 c #Conflicts: 634000 | #Constraints: 27395
25.10/25.28 c #Conflicts: 635000 | #Constraints: 28395
25.10/25.28 c #Conflicts: 636000 | #Constraints: 29395
25.10/25.28 c #Conflicts: 637000 | #Constraints: 30395
25.10/25.28 c #Conflicts: 638000 | #Constraints: 31395
25.10/25.28 c #Conflicts: 639000 | #Constraints: 32395
25.10/25.28 c INPROCESSING
25.10/25.28 c GARBAGE COLLECT
25.10/25.28 c rational objective 300.5
25.70/25.88 c #Conflicts: 640000 | #Constraints: 17598
25.70/25.88 c #Conflicts: 641000 | #Constraints: 18598
25.70/25.88 c #Conflicts: 642000 | #Constraints: 19598
25.70/25.88 c #Conflicts: 643000 | #Constraints: 20598
25.70/25.88 c #Conflicts: 644000 | #Constraints: 21598
25.70/25.88 c #Conflicts: 645000 | #Constraints: 22598
25.70/25.88 c #Conflicts: 646000 | #Constraints: 23598
25.70/25.88 c #Conflicts: 647000 | #Constraints: 24598
25.70/25.88 c #Conflicts: 648000 | #Constraints: 25598
25.70/25.88 c #Conflicts: 649000 | #Constraints: 26598
25.70/25.88 c #Conflicts: 650000 | #Constraints: 27598
25.70/25.88 c #Conflicts: 651000 | #Constraints: 28598
25.70/25.88 c #Conflicts: 652000 | #Constraints: 29598
25.70/25.88 c #Conflicts: 653000 | #Constraints: 30598
25.70/25.88 c #Conflicts: 654000 | #Constraints: 31598
25.70/25.88 c #Conflicts: 655000 | #Constraints: 32598
25.70/25.88 c INPROCESSING
25.70/25.88 c GARBAGE COLLECT
25.70/25.88 c rational objective 300.5
26.39/26.55 c #Conflicts: 656000 | #Constraints: 17600
26.39/26.55 c #Conflicts: 657000 | #Constraints: 18600
26.39/26.55 c #Conflicts: 658000 | #Constraints: 19600
26.39/26.55 c #Conflicts: 659000 | #Constraints: 20600
26.39/26.55 c #Conflicts: 660000 | #Constraints: 21600
26.39/26.55 c #Conflicts: 661000 | #Constraints: 22600
26.39/26.55 c #Conflicts: 662000 | #Constraints: 23600
26.39/26.55 c #Conflicts: 663000 | #Constraints: 24600
26.39/26.55 c #Conflicts: 664000 | #Constraints: 25600
26.39/26.55 c #Conflicts: 665000 | #Constraints: 26600
26.39/26.55 c #Conflicts: 666000 | #Constraints: 27600
26.39/26.55 c #Conflicts: 667000 | #Constraints: 28600
26.39/26.55 c #Conflicts: 668000 | #Constraints: 29600
26.39/26.55 c #Conflicts: 669000 | #Constraints: 30600
26.39/26.55 c #Conflicts: 670000 | #Constraints: 31600
26.39/26.55 c #Conflicts: 671000 | #Constraints: 32600
26.39/26.55 c INPROCESSING
26.39/26.55 c GARBAGE COLLECT
26.39/26.55 c rational objective 300.5
27.10/27.20 c #Conflicts: 672000 | #Constraints: 17404
27.10/27.20 c #Conflicts: 673000 | #Constraints: 18404
27.10/27.20 c #Conflicts: 674000 | #Constraints: 19404
27.10/27.20 c #Conflicts: 675000 | #Constraints: 20404
27.10/27.20 c #Conflicts: 676000 | #Constraints: 21404
27.10/27.20 c #Conflicts: 677000 | #Constraints: 22404
27.10/27.20 c #Conflicts: 678000 | #Constraints: 23404
27.10/27.20 c #Conflicts: 679000 | #Constraints: 24404
27.10/27.20 c #Conflicts: 680000 | #Constraints: 25404
27.10/27.20 c #Conflicts: 681000 | #Constraints: 26404
27.10/27.20 c #Conflicts: 682000 | #Constraints: 27404
27.10/27.20 c #Conflicts: 683000 | #Constraints: 28404
27.10/27.20 c #Conflicts: 684000 | #Constraints: 29404
27.10/27.20 c #Conflicts: 685000 | #Constraints: 30404
27.10/27.20 c #Conflicts: 686000 | #Constraints: 31404
27.10/27.20 c #Conflicts: 687000 | #Constraints: 32404
27.10/27.20 c #Conflicts: 688000 | #Constraints: 33404
27.10/27.20 c INPROCESSING
27.10/27.20 c GARBAGE COLLECT
27.10/27.20 c rational objective 300.5
27.79/27.92 c #Conflicts: 689000 | #Constraints: 18010
27.79/27.92 c #Conflicts: 690000 | #Constraints: 19010
27.79/27.92 c #Conflicts: 691000 | #Constraints: 20010
27.79/27.92 c #Conflicts: 692000 | #Constraints: 21010
27.79/27.92 c #Conflicts: 693000 | #Constraints: 22010
27.79/27.92 c #Conflicts: 694000 | #Constraints: 23010
27.79/27.92 c #Conflicts: 695000 | #Constraints: 24010
27.79/27.92 c #Conflicts: 696000 | #Constraints: 25010
27.79/27.92 c #Conflicts: 697000 | #Constraints: 26010
27.79/27.92 c #Conflicts: 698000 | #Constraints: 27010
27.79/27.92 c #Conflicts: 699000 | #Constraints: 28010
27.79/27.92 c #Conflicts: 700000 | #Constraints: 29010
27.79/27.92 c #Conflicts: 701000 | #Constraints: 30010
27.79/27.92 c #Conflicts: 702000 | #Constraints: 31010
27.79/27.92 c #Conflicts: 703000 | #Constraints: 32010
27.79/27.92 c #Conflicts: 704000 | #Constraints: 33010
27.79/27.92 c #Conflicts: 705000 | #Constraints: 34010
27.79/27.92 c INPROCESSING
27.79/27.92 c GARBAGE COLLECT
27.79/27.92 c rational objective 300.5
28.49/28.66 c #Conflicts: 706000 | #Constraints: 18410
28.49/28.66 c #Conflicts: 707000 | #Constraints: 19410
28.49/28.66 c #Conflicts: 708000 | #Constraints: 20410
28.49/28.66 c #Conflicts: 709000 | #Constraints: 21410
28.49/28.66 c #Conflicts: 710000 | #Constraints: 22410
28.49/28.66 c #Conflicts: 711000 | #Constraints: 23410
28.49/28.66 c #Conflicts: 712000 | #Constraints: 24410
28.49/28.66 c #Conflicts: 713000 | #Constraints: 25410
28.49/28.66 c #Conflicts: 714000 | #Constraints: 26410
28.49/28.66 c #Conflicts: 715000 | #Constraints: 27410
28.49/28.66 c #Conflicts: 716000 | #Constraints: 28410
28.49/28.66 c #Conflicts: 717000 | #Constraints: 29410
28.49/28.66 c #Conflicts: 718000 | #Constraints: 30410
28.49/28.66 c #Conflicts: 719000 | #Constraints: 31410
28.49/28.66 c #Conflicts: 720000 | #Constraints: 32410
28.49/28.66 c #Conflicts: 721000 | #Constraints: 33410
28.49/28.66 c #Conflicts: 722000 | #Constraints: 34410
28.49/28.66 c INPROCESSING
28.49/28.66 c GARBAGE COLLECT
28.49/28.66 c rational objective 300.5
29.29/29.44 c #Conflicts: 723000 | #Constraints: 18612
29.29/29.44 c #Conflicts: 724000 | #Constraints: 19612
29.29/29.44 c #Conflicts: 725000 | #Constraints: 20612
29.29/29.44 c #Conflicts: 726000 | #Constraints: 21612
29.29/29.44 c #Conflicts: 727000 | #Constraints: 22612
29.29/29.44 c #Conflicts: 728000 | #Constraints: 23612
29.29/29.44 c #Conflicts: 729000 | #Constraints: 24612
29.29/29.44 c #Conflicts: 730000 | #Constraints: 25612
29.29/29.44 c #Conflicts: 731000 | #Constraints: 26612
29.29/29.44 c #Conflicts: 732000 | #Constraints: 27612
29.29/29.44 c #Conflicts: 733000 | #Constraints: 28612
29.29/29.44 c #Conflicts: 734000 | #Constraints: 29612
29.29/29.44 c #Conflicts: 735000 | #Constraints: 30612
29.29/29.44 c #Conflicts: 736000 | #Constraints: 31612
29.29/29.44 c #Conflicts: 737000 | #Constraints: 32612
29.29/29.44 c #Conflicts: 738000 | #Constraints: 33612
29.29/29.44 c #Conflicts: 739000 | #Constraints: 34612
29.29/29.44 c INPROCESSING
29.29/29.44 c GARBAGE COLLECT
29.29/29.44 c rational objective 300.5
29.99/30.15 c #Conflicts: 740000 | #Constraints: 18609
29.99/30.15 c #Conflicts: 741000 | #Constraints: 19609
29.99/30.15 c #Conflicts: 742000 | #Constraints: 20609
29.99/30.15 c #Conflicts: 743000 | #Constraints: 21609
29.99/30.15 c #Conflicts: 744000 | #Constraints: 22609
29.99/30.15 c #Conflicts: 745000 | #Constraints: 23609
29.99/30.15 c #Conflicts: 746000 | #Constraints: 24609
29.99/30.15 c #Conflicts: 747000 | #Constraints: 25609
29.99/30.15 c #Conflicts: 748000 | #Constraints: 26609
29.99/30.15 c #Conflicts: 749000 | #Constraints: 27609
29.99/30.15 c #Conflicts: 750000 | #Constraints: 28609
29.99/30.15 c #Conflicts: 751000 | #Constraints: 29609
29.99/30.15 c #Conflicts: 752000 | #Constraints: 30609
29.99/30.15 c #Conflicts: 753000 | #Constraints: 31609
29.99/30.15 c #Conflicts: 754000 | #Constraints: 32609
29.99/30.15 c #Conflicts: 755000 | #Constraints: 33609
29.99/30.15 c #Conflicts: 756000 | #Constraints: 34609
29.99/30.15 c INPROCESSING
29.99/30.15 c GARBAGE COLLECT
29.99/30.15 c rational objective 300.5
30.69/30.89 c #Conflicts: 757000 | #Constraints: 18401
30.69/30.89 c #Conflicts: 758000 | #Constraints: 19401
30.69/30.89 c #Conflicts: 759000 | #Constraints: 20401
30.69/30.89 c #Conflicts: 760000 | #Constraints: 21401
30.69/30.89 c #Conflicts: 761000 | #Constraints: 22401
30.69/30.89 c #Conflicts: 762000 | #Constraints: 23401
30.69/30.89 c #Conflicts: 763000 | #Constraints: 24401
30.69/30.89 c #Conflicts: 764000 | #Constraints: 25401
30.69/30.89 c #Conflicts: 765000 | #Constraints: 26401
30.69/30.89 c #Conflicts: 766000 | #Constraints: 27401
30.69/30.89 c #Conflicts: 767000 | #Constraints: 28401
30.69/30.89 c #Conflicts: 768000 | #Constraints: 29401
30.69/30.89 c #Conflicts: 769000 | #Constraints: 30401
30.69/30.89 c #Conflicts: 770000 | #Constraints: 31401
30.69/30.89 c #Conflicts: 771000 | #Constraints: 32401
30.69/30.89 c #Conflicts: 772000 | #Constraints: 33401
30.69/30.89 c #Conflicts: 773000 | #Constraints: 34401
30.69/30.89 c #Conflicts: 774000 | #Constraints: 35401
30.69/30.89 c INPROCESSING
30.69/30.89 c GARBAGE COLLECT
30.69/30.89 c rational objective 300.5
31.49/31.65 c #Conflicts: 775000 | #Constraints: 19004
31.49/31.65 c #Conflicts: 776000 | #Constraints: 20004
31.49/31.65 c #Conflicts: 777000 | #Constraints: 21004
31.49/31.65 c #Conflicts: 778000 | #Constraints: 22004
31.49/31.65 c #Conflicts: 779000 | #Constraints: 23004
31.49/31.65 c #Conflicts: 780000 | #Constraints: 24004
31.49/31.65 c #Conflicts: 781000 | #Constraints: 25004
31.49/31.65 c #Conflicts: 782000 | #Constraints: 26004
31.49/31.65 c #Conflicts: 783000 | #Constraints: 27004
31.49/31.65 c #Conflicts: 784000 | #Constraints: 28004
31.49/31.65 c #Conflicts: 785000 | #Constraints: 29004
31.49/31.65 c #Conflicts: 786000 | #Constraints: 30004
31.49/31.65 c #Conflicts: 787000 | #Constraints: 31004
31.49/31.65 c #Conflicts: 788000 | #Constraints: 32004
31.49/31.65 c #Conflicts: 789000 | #Constraints: 33004
31.49/31.65 c #Conflicts: 790000 | #Constraints: 34004
31.49/31.65 c #Conflicts: 791000 | #Constraints: 35004
31.49/31.65 c #Conflicts: 792000 | #Constraints: 36004
31.49/31.65 c INPROCESSING
31.49/31.65 c GARBAGE COLLECT
31.49/31.65 c rational objective 300.5
32.18/32.38 c #Conflicts: 793000 | #Constraints: 19401
32.18/32.38 c #Conflicts: 794000 | #Constraints: 20401
32.18/32.38 c #Conflicts: 795000 | #Constraints: 21401
32.18/32.38 c #Conflicts: 796000 | #Constraints: 22401
32.18/32.38 c #Conflicts: 797000 | #Constraints: 23401
32.18/32.38 c #Conflicts: 798000 | #Constraints: 24401
32.18/32.38 c #Conflicts: 799000 | #Constraints: 25401
32.18/32.38 c #Conflicts: 800000 | #Constraints: 26401
32.18/32.38 c #Conflicts: 801000 | #Constraints: 27401
32.18/32.38 c #Conflicts: 802000 | #Constraints: 28401
32.18/32.38 c #Conflicts: 803000 | #Constraints: 29401
32.18/32.38 c #Conflicts: 804000 | #Constraints: 30401
32.18/32.38 c #Conflicts: 805000 | #Constraints: 31401
32.18/32.38 c #Conflicts: 806000 | #Constraints: 32401
32.18/32.38 c #Conflicts: 807000 | #Constraints: 33401
32.18/32.38 c #Conflicts: 808000 | #Constraints: 34401
32.18/32.38 c #Conflicts: 809000 | #Constraints: 35401
32.18/32.38 c #Conflicts: 810000 | #Constraints: 36401
32.18/32.38 c INPROCESSING
32.18/32.38 c GARBAGE COLLECT
32.18/32.38 c rational objective 300.5
33.02/33.21 c #Conflicts: 811000 | #Constraints: 19603
33.02/33.21 c #Conflicts: 812000 | #Constraints: 20603
33.02/33.21 c #Conflicts: 813000 | #Constraints: 21603
33.02/33.21 c #Conflicts: 814000 | #Constraints: 22603
33.02/33.21 c #Conflicts: 815000 | #Constraints: 23603
33.02/33.21 c #Conflicts: 816000 | #Constraints: 24603
33.02/33.21 c #Conflicts: 817000 | #Constraints: 25603
33.02/33.21 c #Conflicts: 818000 | #Constraints: 26603
33.02/33.21 c #Conflicts: 819000 | #Constraints: 27603
33.02/33.21 c #Conflicts: 820000 | #Constraints: 28603
33.02/33.21 c #Conflicts: 821000 | #Constraints: 29603
33.02/33.21 c #Conflicts: 822000 | #Constraints: 30603
33.02/33.21 c #Conflicts: 823000 | #Constraints: 31603
33.02/33.21 c #Conflicts: 824000 | #Constraints: 32603
33.02/33.21 c #Conflicts: 825000 | #Constraints: 33603
33.02/33.21 c #Conflicts: 826000 | #Constraints: 34603
33.02/33.21 c #Conflicts: 827000 | #Constraints: 35603
33.02/33.21 c #Conflicts: 828000 | #Constraints: 36603
33.02/33.21 c INPROCESSING
33.02/33.21 c GARBAGE COLLECT
33.02/33.21 c rational objective 300.5
33.83/34.05 c #Conflicts: 829000 | #Constraints: 19604
33.83/34.05 c #Conflicts: 830000 | #Constraints: 20604
33.83/34.05 c #Conflicts: 831000 | #Constraints: 21604
33.83/34.05 c #Conflicts: 832000 | #Constraints: 22604
33.83/34.05 c #Conflicts: 833000 | #Constraints: 23604
33.83/34.05 c #Conflicts: 834000 | #Constraints: 24604
33.83/34.05 c #Conflicts: 835000 | #Constraints: 25604
33.83/34.05 c #Conflicts: 836000 | #Constraints: 26604
33.83/34.05 c #Conflicts: 837000 | #Constraints: 27604
33.83/34.05 c #Conflicts: 838000 | #Constraints: 28604
33.83/34.05 c #Conflicts: 839000 | #Constraints: 29604
33.83/34.05 c #Conflicts: 840000 | #Constraints: 30604
33.83/34.05 c #Conflicts: 841000 | #Constraints: 31604
33.83/34.05 c #Conflicts: 842000 | #Constraints: 32604
33.83/34.05 c #Conflicts: 843000 | #Constraints: 33604
33.83/34.05 c #Conflicts: 844000 | #Constraints: 34604
33.83/34.05 c #Conflicts: 845000 | #Constraints: 35604
33.83/34.05 c #Conflicts: 846000 | #Constraints: 36604
33.83/34.05 c INPROCESSING
33.83/34.05 c GARBAGE COLLECT
33.83/34.05 c rational objective 300.5
34.72/34.91 c #Conflicts: 847000 | #Constraints: 19406
34.72/34.91 c #Conflicts: 848000 | #Constraints: 20406
34.72/34.91 c #Conflicts: 849000 | #Constraints: 21406
34.72/34.91 c #Conflicts: 850000 | #Constraints: 22406
34.72/34.91 c #Conflicts: 851000 | #Constraints: 23406
34.72/34.91 c #Conflicts: 852000 | #Constraints: 24406
34.72/34.91 c #Conflicts: 853000 | #Constraints: 25406
34.72/34.91 c #Conflicts: 854000 | #Constraints: 26406
34.72/34.91 c #Conflicts: 855000 | #Constraints: 27406
34.72/34.91 c #Conflicts: 856000 | #Constraints: 28406
34.72/34.91 c #Conflicts: 857000 | #Constraints: 29406
34.72/34.91 c #Conflicts: 858000 | #Constraints: 30406
34.72/34.91 c #Conflicts: 859000 | #Constraints: 31406
34.72/34.91 c #Conflicts: 860000 | #Constraints: 32406
34.72/34.91 c #Conflicts: 861000 | #Constraints: 33406
34.72/34.91 c #Conflicts: 862000 | #Constraints: 34406
34.72/34.91 c #Conflicts: 863000 | #Constraints: 35406
34.72/34.91 c #Conflicts: 864000 | #Constraints: 36406
34.72/34.91 c #Conflicts: 865000 | #Constraints: 37406
34.72/34.91 c INPROCESSING
34.72/34.91 c GARBAGE COLLECT
34.72/34.91 c rational objective 300.5
35.51/35.74 c #Conflicts: 866000 | #Constraints: 20010
35.51/35.74 c #Conflicts: 867000 | #Constraints: 21010
35.51/35.74 c #Conflicts: 868000 | #Constraints: 22010
35.51/35.74 c #Conflicts: 869000 | #Constraints: 23010
35.51/35.74 c #Conflicts: 870000 | #Constraints: 24010
35.51/35.74 c #Conflicts: 871000 | #Constraints: 25010
35.51/35.74 c #Conflicts: 872000 | #Constraints: 26010
35.51/35.74 c #Conflicts: 873000 | #Constraints: 27010
35.51/35.74 c #Conflicts: 874000 | #Constraints: 28010
35.51/35.74 c #Conflicts: 875000 | #Constraints: 29010
35.51/35.74 c #Conflicts: 876000 | #Constraints: 30010
35.51/35.74 c #Conflicts: 877000 | #Constraints: 31010
35.51/35.74 c #Conflicts: 878000 | #Constraints: 32010
35.51/35.74 c #Conflicts: 879000 | #Constraints: 33010
35.51/35.74 c #Conflicts: 880000 | #Constraints: 34010
35.51/35.74 c #Conflicts: 881000 | #Constraints: 35010
35.51/35.74 c #Conflicts: 882000 | #Constraints: 36010
35.51/35.74 c #Conflicts: 883000 | #Constraints: 37010
35.51/35.74 c #Conflicts: 884000 | #Constraints: 38010
35.51/35.74 c INPROCESSING
35.51/35.74 c GARBAGE COLLECT
35.51/35.74 c rational objective 300.5
36.31/36.56 c #Conflicts: 885000 | #Constraints: 20414
36.31/36.56 c #Conflicts: 886000 | #Constraints: 21414
36.31/36.56 c #Conflicts: 887000 | #Constraints: 22414
36.31/36.56 c #Conflicts: 888000 | #Constraints: 23414
36.31/36.56 c #Conflicts: 889000 | #Constraints: 24414
36.31/36.56 c #Conflicts: 890000 | #Constraints: 25414
36.31/36.56 c #Conflicts: 891000 | #Constraints: 26414
36.31/36.56 c #Conflicts: 892000 | #Constraints: 27414
36.31/36.56 c #Conflicts: 893000 | #Constraints: 28414
36.31/36.56 c #Conflicts: 894000 | #Constraints: 29414
36.31/36.56 c #Conflicts: 895000 | #Constraints: 30414
36.31/36.56 c #Conflicts: 896000 | #Constraints: 31414
36.31/36.56 c #Conflicts: 897000 | #Constraints: 32414
36.31/36.56 c #Conflicts: 898000 | #Constraints: 33414
36.31/36.56 c #Conflicts: 899000 | #Constraints: 34414
36.31/36.56 c #Conflicts: 900000 | #Constraints: 35414
36.31/36.56 c #Conflicts: 901000 | #Constraints: 36414
36.31/36.56 c #Conflicts: 902000 | #Constraints: 37414
36.31/36.56 c #Conflicts: 903000 | #Constraints: 38414
36.31/36.56 c INPROCESSING
36.31/36.56 c GARBAGE COLLECT
36.31/36.56 c rational objective 300.5
37.21/37.40 c #Conflicts: 904000 | #Constraints: 20620
37.21/37.40 c #Conflicts: 905000 | #Constraints: 21620
37.21/37.40 c #Conflicts: 906000 | #Constraints: 22620
37.21/37.40 c #Conflicts: 907000 | #Constraints: 23620
37.21/37.40 c #Conflicts: 908000 | #Constraints: 24620
37.21/37.40 c #Conflicts: 909000 | #Constraints: 25620
37.21/37.40 c #Conflicts: 910000 | #Constraints: 26620
37.21/37.40 c #Conflicts: 911000 | #Constraints: 27620
37.21/37.40 c #Conflicts: 912000 | #Constraints: 28620
37.21/37.40 c #Conflicts: 913000 | #Constraints: 29620
37.21/37.40 c #Conflicts: 914000 | #Constraints: 30620
37.21/37.40 c #Conflicts: 915000 | #Constraints: 31620
37.21/37.40 c #Conflicts: 916000 | #Constraints: 32620
37.21/37.40 c #Conflicts: 917000 | #Constraints: 33620
37.21/37.40 c #Conflicts: 918000 | #Constraints: 34620
37.21/37.40 c #Conflicts: 919000 | #Constraints: 35620
37.21/37.40 c #Conflicts: 920000 | #Constraints: 36620
37.21/37.40 c #Conflicts: 921000 | #Constraints: 37620
37.21/37.40 c #Conflicts: 922000 | #Constraints: 38620
37.21/37.40 c INPROCESSING
37.21/37.40 c GARBAGE COLLECT
37.21/37.40 c rational objective 300.5
38.01/38.23 c #Conflicts: 923000 | #Constraints: 20614
38.01/38.23 c #Conflicts: 924000 | #Constraints: 21614
38.01/38.23 c #Conflicts: 925000 | #Constraints: 22614
38.01/38.23 c #Conflicts: 926000 | #Constraints: 23614
38.01/38.23 c #Conflicts: 927000 | #Constraints: 24614
38.01/38.23 c #Conflicts: 928000 | #Constraints: 25614
38.01/38.23 c #Conflicts: 929000 | #Constraints: 26614
38.01/38.23 c #Conflicts: 930000 | #Constraints: 27614
38.01/38.23 c #Conflicts: 931000 | #Constraints: 28614
38.01/38.23 c #Conflicts: 932000 | #Constraints: 29614
38.01/38.23 c #Conflicts: 933000 | #Constraints: 30614
38.01/38.23 c #Conflicts: 934000 | #Constraints: 31614
38.01/38.23 c #Conflicts: 935000 | #Constraints: 32614
38.01/38.23 c #Conflicts: 936000 | #Constraints: 33614
38.01/38.23 c #Conflicts: 937000 | #Constraints: 34614
38.01/38.23 c #Conflicts: 938000 | #Constraints: 35614
38.01/38.23 c #Conflicts: 939000 | #Constraints: 36614
38.01/38.23 c #Conflicts: 940000 | #Constraints: 37614
38.01/38.23 c #Conflicts: 941000 | #Constraints: 38614
38.01/38.23 c INPROCESSING
38.01/38.23 c GARBAGE COLLECT
38.01/38.23 c rational objective 300.5
38.81/39.07 c #Conflicts: 942000 | #Constraints: 20417
38.81/39.07 c #Conflicts: 943000 | #Constraints: 21417
38.81/39.07 c #Conflicts: 944000 | #Constraints: 22417
38.81/39.07 c #Conflicts: 945000 | #Constraints: 23417
38.81/39.07 c #Conflicts: 946000 | #Constraints: 24417
38.81/39.07 c #Conflicts: 947000 | #Constraints: 25417
38.81/39.07 c #Conflicts: 948000 | #Constraints: 26417
38.81/39.07 c #Conflicts: 949000 | #Constraints: 27417
38.81/39.07 c #Conflicts: 950000 | #Constraints: 28417
38.81/39.07 c #Conflicts: 951000 | #Constraints: 29417
38.81/39.07 c #Conflicts: 952000 | #Constraints: 30417
38.81/39.07 c #Conflicts: 953000 | #Constraints: 31417
38.81/39.07 c #Conflicts: 954000 | #Constraints: 32417
38.81/39.07 c #Conflicts: 955000 | #Constraints: 33417
38.81/39.07 c #Conflicts: 956000 | #Constraints: 34417
38.81/39.07 c #Conflicts: 957000 | #Constraints: 35417
38.81/39.07 c #Conflicts: 958000 | #Constraints: 36417
38.81/39.07 c #Conflicts: 959000 | #Constraints: 37417
38.81/39.07 c #Conflicts: 960000 | #Constraints: 38417
38.81/39.07 c #Conflicts: 961000 | #Constraints: 39417
38.81/39.07 c INPROCESSING
38.81/39.07 c GARBAGE COLLECT
38.81/39.07 c rational objective 300.5
39.71/39.99 c #Conflicts: 962000 | #Constraints: 21020
39.71/39.99 c #Conflicts: 963000 | #Constraints: 22020
39.71/39.99 c #Conflicts: 964000 | #Constraints: 23020
39.71/39.99 c #Conflicts: 965000 | #Constraints: 24020
39.71/39.99 c #Conflicts: 966000 | #Constraints: 25020
39.71/39.99 c #Conflicts: 967000 | #Constraints: 26020
39.71/39.99 c #Conflicts: 968000 | #Constraints: 27020
39.71/39.99 c #Conflicts: 969000 | #Constraints: 28020
39.71/39.99 c #Conflicts: 970000 | #Constraints: 29020
39.71/39.99 c #Conflicts: 971000 | #Constraints: 30020
39.71/39.99 c #Conflicts: 972000 | #Constraints: 31020
39.71/39.99 c #Conflicts: 973000 | #Constraints: 32020
39.71/39.99 c #Conflicts: 974000 | #Constraints: 33020
39.71/39.99 c #Conflicts: 975000 | #Constraints: 34020
39.71/39.99 c #Conflicts: 976000 | #Constraints: 35020
39.71/39.99 c #Conflicts: 977000 | #Constraints: 36020
39.71/39.99 c #Conflicts: 978000 | #Constraints: 37020
39.71/39.99 c #Conflicts: 979000 | #Constraints: 38020
39.71/39.99 c #Conflicts: 980000 | #Constraints: 39020
39.71/39.99 c #Conflicts: 981000 | #Constraints: 40020
39.71/39.99 c INPROCESSING
39.71/39.99 c GARBAGE COLLECT
39.71/39.99 c rational objective 300.5
40.60/40.82 c #Conflicts: 982000 | #Constraints: 21421
40.60/40.82 c #Conflicts: 983000 | #Constraints: 22421
40.60/40.82 c #Conflicts: 984000 | #Constraints: 23421
40.60/40.82 c #Conflicts: 985000 | #Constraints: 24421
40.60/40.82 c #Conflicts: 986000 | #Constraints: 25421
40.60/40.82 c #Conflicts: 987000 | #Constraints: 26421
40.60/40.82 c #Conflicts: 988000 | #Constraints: 27421
40.60/40.82 c #Conflicts: 989000 | #Constraints: 28421
40.60/40.82 c #Conflicts: 990000 | #Constraints: 29421
40.60/40.82 c #Conflicts: 991000 | #Constraints: 30421
40.60/40.82 c #Conflicts: 992000 | #Constraints: 31421
40.60/40.82 c #Conflicts: 993000 | #Constraints: 32421
40.60/40.82 c #Conflicts: 994000 | #Constraints: 33421
40.60/40.82 c #Conflicts: 995000 | #Constraints: 34421
40.60/40.82 c #Conflicts: 996000 | #Constraints: 35421
40.60/40.82 c #Conflicts: 997000 | #Constraints: 36421
40.60/40.82 c #Conflicts: 998000 | #Constraints: 37421
40.60/40.82 c #Conflicts: 999000 | #Constraints: 38421
40.60/40.82 c #Conflicts: 1000000 | #Constraints: 39421
40.60/40.82 c #Conflicts: 1001000 | #Constraints: 40421
40.60/40.82 c INPROCESSING
40.60/40.82 c GARBAGE COLLECT
40.60/40.82 c rational objective 300.5
41.49/41.74 c #Conflicts: 1002000 | #Constraints: 21624
41.49/41.74 c #Conflicts: 1003000 | #Constraints: 22624
41.49/41.74 c #Conflicts: 1004000 | #Constraints: 23624
41.49/41.74 c #Conflicts: 1005000 | #Constraints: 24624
41.49/41.74 c #Conflicts: 1006000 | #Constraints: 25624
41.49/41.74 c #Conflicts: 1007000 | #Constraints: 26624
41.49/41.74 c #Conflicts: 1008000 | #Constraints: 27624
41.49/41.74 c #Conflicts: 1009000 | #Constraints: 28624
41.49/41.74 c #Conflicts: 1010000 | #Constraints: 29624
41.49/41.74 c #Conflicts: 1011000 | #Constraints: 30624
41.49/41.74 c #Conflicts: 1012000 | #Constraints: 31624
41.49/41.74 c #Conflicts: 1013000 | #Constraints: 32624
41.49/41.74 c #Conflicts: 1014000 | #Constraints: 33624
41.49/41.74 c #Conflicts: 1015000 | #Constraints: 34624
41.49/41.74 c #Conflicts: 1016000 | #Constraints: 35624
41.49/41.74 c #Conflicts: 1017000 | #Constraints: 36624
41.49/41.74 c #Conflicts: 1018000 | #Constraints: 37624
41.49/41.74 c #Conflicts: 1019000 | #Constraints: 38624
41.49/41.74 c #Conflicts: 1020000 | #Constraints: 39624
41.49/41.74 c #Conflicts: 1021000 | #Constraints: 40624
41.49/41.74 c INPROCESSING
41.49/41.74 c GARBAGE COLLECT
41.49/41.74 c rational objective 300.5
42.40/42.64 c #Conflicts: 1022000 | #Constraints: 21625
42.40/42.64 c #Conflicts: 1023000 | #Constraints: 22625
42.40/42.64 c #Conflicts: 1024000 | #Constraints: 23625
42.40/42.64 c #Conflicts: 1025000 | #Constraints: 24625
42.40/42.64 c #Conflicts: 1026000 | #Constraints: 25625
42.40/42.64 c #Conflicts: 1027000 | #Constraints: 26625
42.40/42.64 c #Conflicts: 1028000 | #Constraints: 27625
42.40/42.64 c #Conflicts: 1029000 | #Constraints: 28625
42.40/42.64 c #Conflicts: 1030000 | #Constraints: 29625
42.40/42.64 c #Conflicts: 1031000 | #Constraints: 30625
42.40/42.64 c #Conflicts: 1032000 | #Constraints: 31625
42.40/42.64 c #Conflicts: 1033000 | #Constraints: 32625
42.40/42.64 c #Conflicts: 1034000 | #Constraints: 33625
42.40/42.64 c #Conflicts: 1035000 | #Constraints: 34625
42.40/42.64 c #Conflicts: 1036000 | #Constraints: 35625
42.40/42.64 c #Conflicts: 1037000 | #Constraints: 36625
42.40/42.64 c #Conflicts: 1038000 | #Constraints: 37625
42.40/42.64 c #Conflicts: 1039000 | #Constraints: 38625
42.40/42.64 c #Conflicts: 1040000 | #Constraints: 39625
42.40/42.64 c #Conflicts: 1041000 | #Constraints: 40625
42.40/42.64 c INPROCESSING
42.40/42.64 c GARBAGE COLLECT
42.40/42.64 c rational objective 300.5
43.29/43.55 c #Conflicts: 1042000 | #Constraints: 21418
43.29/43.55 c #Conflicts: 1043000 | #Constraints: 22418
43.29/43.55 c #Conflicts: 1044000 | #Constraints: 23418
43.29/43.55 c #Conflicts: 1045000 | #Constraints: 24418
43.29/43.55 c #Conflicts: 1046000 | #Constraints: 25418
43.29/43.55 c #Conflicts: 1047000 | #Constraints: 26418
43.29/43.55 c #Conflicts: 1048000 | #Constraints: 27418
43.29/43.55 c #Conflicts: 1049000 | #Constraints: 28418
43.29/43.55 c #Conflicts: 1050000 | #Constraints: 29418
43.29/43.55 c #Conflicts: 1051000 | #Constraints: 30418
43.29/43.55 c #Conflicts: 1052000 | #Constraints: 31418
43.29/43.55 c #Conflicts: 1053000 | #Constraints: 32418
43.29/43.55 c #Conflicts: 1054000 | #Constraints: 33418
43.29/43.55 c #Conflicts: 1055000 | #Constraints: 34418
43.29/43.55 c #Conflicts: 1056000 | #Constraints: 35418
43.29/43.55 c #Conflicts: 1057000 | #Constraints: 36418
43.29/43.55 c #Conflicts: 1058000 | #Constraints: 37418
43.29/43.55 c #Conflicts: 1059000 | #Constraints: 38418
43.29/43.55 c #Conflicts: 1060000 | #Constraints: 39418
43.29/43.55 c #Conflicts: 1061000 | #Constraints: 40418
43.29/43.55 c #Conflicts: 1062000 | #Constraints: 41418
43.29/43.55 c INPROCESSING
43.29/43.55 c GARBAGE COLLECT
43.29/43.55 c rational objective 300.5
44.19/44.46 c #Conflicts: 1063000 | #Constraints: 22023
44.19/44.46 c #Conflicts: 1064000 | #Constraints: 23023
44.19/44.46 c #Conflicts: 1065000 | #Constraints: 24023
44.19/44.46 c #Conflicts: 1066000 | #Constraints: 25023
44.19/44.46 c #Conflicts: 1067000 | #Constraints: 26023
44.19/44.46 c #Conflicts: 1068000 | #Constraints: 27023
44.19/44.46 c #Conflicts: 1069000 | #Constraints: 28023
44.19/44.46 c #Conflicts: 1070000 | #Constraints: 29023
44.19/44.46 c #Conflicts: 1071000 | #Constraints: 30023
44.19/44.46 c #Conflicts: 1072000 | #Constraints: 31023
44.19/44.46 c #Conflicts: 1073000 | #Constraints: 32023
44.19/44.46 c #Conflicts: 1074000 | #Constraints: 33023
44.19/44.46 c #Conflicts: 1075000 | #Constraints: 34023
44.19/44.46 c #Conflicts: 1076000 | #Constraints: 35023
44.19/44.46 c #Conflicts: 1077000 | #Constraints: 36023
44.19/44.46 c #Conflicts: 1078000 | #Constraints: 37023
44.19/44.46 c #Conflicts: 1079000 | #Constraints: 38023
44.19/44.46 c #Conflicts: 1080000 | #Constraints: 39023
44.19/44.46 c #Conflicts: 1081000 | #Constraints: 40023
44.19/44.46 c #Conflicts: 1082000 | #Constraints: 41023
44.19/44.46 c #Conflicts: 1083000 | #Constraints: 42023
44.19/44.46 c INPROCESSING
44.19/44.46 c GARBAGE COLLECT
44.19/44.46 c rational objective 300.5
44.29/44.52 c cpu time 40.6945 s
44.29/44.52 c deterministic time 1417437155 1.42e+09
44.29/44.52 c optimization time 7.3e-05 s
44.29/44.52 c total solve time 40.6894 s
44.29/44.52 c core-guided solve time 0 s
44.29/44.52 c propagation time 26.8058 s
44.29/44.52 c conflict analysis time 6.78705 s
44.29/44.52 c propagations 5412507
44.29/44.52 c resolve steps 3149643
44.29/44.52 c decisions 1890920
44.29/44.52 c conflicts 1083710
44.29/44.52 c restarts 2046
44.29/44.52 c inprocessing phases 95
44.29/44.52 c garbage collections 95 ,( 100.00 )
44.29/44.52 c input clauses 58 ,( 8.81 )
44.29/44.52 c input cardinalities 600 ,( 91.19 )
44.29/44.52 c input general constraints 0 ,( 0.00 )
44.29/44.52 c input average constraint length 3.90
44.29/44.52 c input average constraint degree 1.91
44.29/44.52 c learned clauses 1065085 ,( 98.24 )
44.29/44.52 c learned cardinalities 2552 ,( 0.24 )
44.29/44.52 c learned general constraints 16556 ,( 1.53 )
44.29/44.52 c learned average constraint length 16.27
44.29/44.52 c learned average constraint degree 156890.28
44.29/44.52 c watched CF 32, 64, 128, Arb: 6869 , 0 , 0 , 0
44.29/44.52 c counting CF 32, 64, 128, Arb: 9687 , 0 , 0 , 0
44.29/44.52 c watched constraints 6869 ,( 41.49 )
44.29/44.52 c counting constraints 9687 ,( 58.51 )
44.29/44.52 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 321191381 , 12916202 , 11978476 ,( 9852790 , 2125686 )
44.29/44.52 c gcd simplifications 846
44.29/44.52 c detected cardinalities 454
44.29/44.52 c weakened non-implied lits 113984
44.29/44.52 c weakened non-implying lits 140
44.29/44.52 c original variables 619
44.29/44.52 c clausal propagations 2358913
44.29/44.52 c cardinality propagations 1229187
44.29/44.52 c watched propagations 61202
44.29/44.52 c counting propagations 662707
44.29/44.52 c watch lookups 646091984
44.29/44.52 c watch backjump lookups 0
44.29/44.52 c watch checks 672997729
44.29/44.52 c propagation checks 28134393
44.29/44.52 c constraint additions 54413080
44.29/44.52 c trail pops 8387114
44.29/44.52 c formula constraints 658
44.29/44.52 c learned constraints 1083701
44.29/44.52 c bound constraints 0
44.29/44.52 c core-guided constraints 0
44.29/44.52 c encountered formula constraints 61766
44.29/44.52 c encountered learned constraints 4170455
44.29/44.52 c encountered bound constraints 0
44.29/44.52 c encountered core-guided constraints 0
44.29/44.52 c LP total time 6.23021 s
44.29/44.52 c LP solve time 3.09 s
44.29/44.52 c LP constraints added 1213
44.29/44.52 c LP constraints removed 548
44.29/44.52 c LP pivots internal 108379
44.29/44.52 c LP pivots root 1048
44.29/44.52 c LP calls 8797
44.29/44.52 c LP optimalities 8789
44.29/44.52 c LP no pivot count 545
44.29/44.52 c LP infeasibilities 8
44.29/44.52 c LP valid Farkas constraints 8
44.29/44.52 c LP learned Farkas constraints 8
44.29/44.52 c LP basis resets 0
44.29/44.52 c LP cycling count 0
44.29/44.52 c LP singular count 0
44.29/44.52 c LP no primal count 0
44.29/44.52 c LP no farkas count 0
44.29/44.52 c LP other issue count 0
44.29/44.52 c LP Gomory cuts 476
44.29/44.52 c LP learned cuts 79
44.29/44.52 c LP deleted cuts 548
44.29/44.52 c LP encountered Gomory constraints 0
44.29/44.52 c LP encountered Farkas constraints 1099
44.29/44.52 c LP encountered learned Farkas constraints 25
44.29/44.52 c CG auxiliary variables introduced 0
44.29/44.52 c CG solutions found 0
44.29/44.52 c CG cores constructed 0
44.29/44.52 c CG core cardinality constraints returned 0
44.29/44.52 c CG unit cores 0
44.29/44.52 c CG single cores 0
44.29/44.52 c CG blocks removed during cardinality reduction 0
44.29/44.52 c CG first core best 0
44.29/44.52 c CG decision core best 0
44.29/44.52 c CG core reduction tie 0
44.29/44.52 c CG core degree average 0.00
44.29/44.52 c CG core slack average 0.00
44.29/44.52 c CG core upper bound improvements 0
44.29/44.52 c STR number of successful calls 0
44.29/44.52 c STR number of unsuccessful calls 0
44.29/44.52 c STR number of inconclusive calls 0
44.29/44.52 c STR number of successful attempts 0
44.29/44.52 c STR number of unsuccessful attempts 0
44.29/44.52 c STR number of inconclusive attempts 0
44.29/44.52 c STR average degree increase per successful call inf
44.29/44.52 c STR average degree increase per successful attempt inf
44.29/44.52 c STR total number of conflicts for successful attempts 0
44.29/44.52 c STR total number of conflicts for unsuccessful attempts 0
44.29/44.52 c STR total number of conflicts for inconclusive attempts 0
44.29/44.52 c STR average number of conflicts per successful attempt inf
44.29/44.52 c STR average number of conflicts per unsuccessful attempt inf
44.29/44.52 c STR average number of conflicts per inconclusive attempt inf
44.29/44.52 c AVG.sumWPerc 43.20
44.29/44.52 c bigint constraints 0
44.29/44.52 s UNSATISFIABLE
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 (62804 MiB free)
memory of node 1: 64507 MiB (62465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510765-1751197908/watcher-4510765-1751197908 -o /tmp/evaluation-result-4510765-1751197908/solver-4510765-1751197908 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21225 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510765-1751197908.opb PROOFDIR/proof-4510765-1751197908
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22027, runsolver pid=22024
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.10 3.15 2.14 5/273 22030
/proc/meminfo: memFree=128272588/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=58116 memory=14752 CPUtime=0.06 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 1147 0 0 0 6 0 0 0 20 0 1 0 35470377 59510784 3688 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 14529 3688 2368 1147 0 1956 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62308 KiB
Current children cumulated memory: 17824 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.10 3.15 2.14 5/273 22030
/proc/meminfo: memFree=128270572/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=58688 memory=15392 CPUtime=0.17 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 1303 0 0 0 15 2 0 0 20 0 1 0 35470377 60096512 3848 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 14672 3848 2368 1147 0 2099 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62880 KiB
Current children cumulated memory: 18464 KiB
[startup+0.304929 s]*
/proc/loadavg: 4.10 3.15 2.14 6/273 22030
/proc/meminfo: memFree=128270572/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=58980 memory=15648 CPUtime=0.26 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 1367 0 0 0 24 2 0 0 20 0 1 0 35470377 60395520 3912 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 14745 3912 2368 1147 0 2172 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63172 KiB
Current children cumulated memory: 18720 KiB
[startup+0.700141 s]
/proc/loadavg: 4.10 3.15 2.14 5/273 22030
/proc/meminfo: memFree=128262508/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=59684 memory=16416 CPUtime=0.65 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 1552 0 0 0 59 6 0 0 20 0 1 0 35470377 61116416 4104 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 14921 4104 2368 1147 0 2348 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63876 KiB
Current children cumulated memory: 19488 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 3.15 2.14 5/273 22030
/proc/meminfo: memFree=128244172/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=60524 memory=17184 CPUtime=1.45 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 1771 0 0 0 130 15 0 0 20 0 1 0 35470377 61976576 4296 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 15131 4296 2368 1147 0 2558 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 64716 KiB
Current children cumulated memory: 20256 KiB
[startup+3.10579 s]
/proc/loadavg: 4.10 3.17 2.15 5/273 22030
/proc/meminfo: memFree=128215696/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=61652 memory=18208 CPUtime=3.06 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 2025 0 0 0 272 34 0 0 20 0 1 0 35470377 63131648 4552 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 15413 4552 2368 1147 0 2840 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65844 KiB
Current children cumulated memory: 21280 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 3.17 2.15 5/273 22030
/proc/meminfo: memFree=128178532/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=62776 memory=19488 CPUtime=6.24 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 2348 0 0 0 556 68 0 0 20 0 1 0 35470377 64282624 4872 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 15694 4872 2368 1147 0 3121 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66968 KiB
Current children cumulated memory: 22560 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 3.18 2.16 4/273 22030
/proc/meminfo: memFree=128141816/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=64488 memory=21276 CPUtime=12.63 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 3324 0 0 0 1140 123 0 0 20 0 1 0 35470377 66035712 5319 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 16122 5319 2368 1147 0 3549 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68680 KiB
Current children cumulated memory: 24348 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 3.22 2.19 5/273 22031
/proc/meminfo: memFree=128030360/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=66920 memory=25532 CPUtime=25.39 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 6369 0 0 0 2312 227 0 0 20 0 1 0 35470377 68526080 6383 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 16730 6383 2368 1147 0 4157 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 71112 KiB
Current children cumulated memory: 28604 KiB
[startup+44.5293 s]
# the end of solver process 22027 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=40.7131 s, system=3.59881 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.07 3.22 2.19 5/273 22031
/proc/meminfo: memFree=128030360/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=66920 memory=25532 CPUtime=25.49 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 6369 0 0 0 2321 228 0 0 20 0 1 0 35470377 68526080 6383 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 16730 6383 2368 1147 0 4157 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 71112 KiB
Current children cumulated memory: 28604 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.06 3.24 2.20 5/273 22031
/proc/meminfo: memFree=127972784/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=68404 memory=26680 CPUtime=31.88 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 7086 0 0 0 2913 275 0 0 20 0 1 0 35470377 70045696 6670 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 17101 6670 2368 1147 0 4528 0
Current children cumulated CPU time: 31.89 s
Current children cumulated vsize: 72596 KiB
Current children cumulated memory: 29752 KiB
[startup+38.4002 s]
/proc/loadavg: 4.13 3.28 2.22 5/273 22031
/proc/meminfo: memFree=127924900/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=68800 memory=27072 CPUtime=38.19 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 7983 0 0 0 3504 315 0 0 20 0 1 0 35470377 70451200 6768 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 17200 6768 2368 1147 0 4627 0
Current children cumulated CPU time: 38.2 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 30144 KiB
[startup+41.6002 s]
/proc/loadavg: 4.13 3.28 2.22 5/273 22031
/proc/meminfo: memFree=127908332/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=69556 memory=27900 CPUtime=41.38 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 8479 0 0 0 3800 338 0 0 20 0 1 0 35470377 71225344 6975 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 17389 6975 2368 1147 0 4816 0
Current children cumulated CPU time: 41.39 s
Current children cumulated vsize: 73748 KiB
Current children cumulated memory: 30972 KiB
[startup+43.2001 s]
/proc/loadavg: 4.12 3.29 2.23 5/273 22031
/proc/meminfo: memFree=127907472/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=69940 memory=28548 CPUtime=42.99 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 8931 0 0 0 3949 350 0 0 20 0 1 0 35470377 71618560 7137 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 17485 7137 2368 1147 0 4912 0
Current children cumulated CPU time: 43 s
Current children cumulated vsize: 74132 KiB
Current children cumulated memory: 31620 KiB
[startup+44.0001 s]*
/proc/loadavg: 4.12 3.29 2.23 5/273 22031
/proc/meminfo: memFree=127891820/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=70660 memory=29160 CPUtime=43.78 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 9368 0 0 0 4023 355 0 0 20 0 1 0 35470377 72355840 7290 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 17665 7290 2368 1147 0 5092 0
Current children cumulated CPU time: 43.79 s
Current children cumulated vsize: 74852 KiB
Current children cumulated memory: 32232 KiB
[startup+44.4001 s]
/proc/loadavg: 4.12 3.29 2.23 5/273 22031
/proc/meminfo: memFree=127891820/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=70916 memory=29160 CPUtime=44.18 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 9371 0 0 0 4060 358 0 0 20 0 1 0 35470377 72617984 7290 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 17729 7290 2368 1147 0 5156 0
Current children cumulated CPU time: 44.19 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 32232 KiB
[startup+44.5001 s]
/proc/loadavg: 4.12 3.29 2.23 5/273 22031
/proc/meminfo: memFree=127891820/131249996 swapFree=33010684/33010684
[pid=22027] ppid=22024 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/22027/stat : 22027 (run-dec-break-l) S 22024 22027 21214 0 -1 4194304 240 587 0 0 0 0 1 0 20 0 1 0 35470375 4292608 768 18446744073709551615 94225172652032 94225173546565 140733581015264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94225173785616 94225173833360 94225199161344 140733581019413 140733581019614 140733581019614 140733581025216 0
/proc/22027/statm: 1048 768 704 219 0 110 0
[pid=22030] ppid=22027 vsize=71596 memory=29416 CPUtime=44.28 cores=4,6
/proc/22030/stat : 22030 (roundingsat) R 22027 22027 21214 0 -1 4194304 9459 0 0 0 4069 359 0 0 20 0 1 0 35470377 73314304 7354 18446744073709551615 4227072 8923433 140730198896224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42700800 140730198903028 140730198903336 140730198903336 140730198908906 0
/proc/22030/statm: 17899 7354 2368 1147 0 5326 0
Current children cumulated CPU time: 44.29 s
Current children cumulated vsize: 75788 KiB
Current children cumulated memory: 32488 KiB
Child status: 0
Real time (s): 44.5293
CPU time (s): 44.312
CPU user time (s): 40.7131
CPU system time (s): 3.59881
CPU usage (%): 99.5118
Max. virtual memory (cumulated for all children) (KiB): 75788
Max. memory (cumulated for all children) (KiB): 32488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.7131
system time used= 3.59881
maximum resident set size= 29928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10309
page faults= 0
swaps= 0
block input operations= 0
block output operations= 186160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 610
involuntary context switches= 75
# summary of solver processes directly reported to runsolver:
# pid: 22027
# total CPU time (s): 44.312
# total CPU user time (s): 40.7131
# total CPU system time (s): 3.59881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099665 second user time and 0.214473 second system time
The end
Begin job on nodeC030 at 2025-06-29 13:51:48
IDJOB=4510765
IDBENCH=160385
IDSOLVER=3358
FILE ID=nodeC030/4510765-1751197908
RUNJOBID= nodeC030-1751197546-21225
SLURM_JOB_ID= 9587610
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510765-1751197908/watcher-4510765-1751197908 -o /tmp/evaluation-result-4510765-1751197908/solver-4510765-1751197908 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21225 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510765-1751197908.opb PROOFDIR/proof-4510765-1751197908
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31f6aff17a47c209cb9ee9a70845e10e
RANDOM SEED=729445793
nodeC030 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 : 3600.313
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 : 7000.62
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.328
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 : 7000.62
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 : 3555.616
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 : 7000.62
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 : 3664.243
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 : 7000.62
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 : 3604.362
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 : 7000.62
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 : 3600.353
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.922
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 : 7000.62
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 : 3528.818
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128277488 kB
MemAvailable: 129629308 kB
Buffers: 3280 kB
Cached: 2160528 kB
SwapCached: 0 kB
Active: 524152 kB
Inactive: 1903672 kB
Active(anon): 282196 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 1903672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 141180 kB
Writeback: 4 kB
AnonPages: 263912 kB
Mapped: 113480 kB
Shmem: 18064 kB
KReclaimable: 90460 kB
Slab: 179612 kB
SReclaimable: 90460 kB
SUnreclaim: 89152 kB
KernelStack: 4364 kB
PageTables: 3812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 614804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 155648 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC030 at 2025-06-29 13:52:33