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-4510764-1751196825.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
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 360] (0.59ms)
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.12ms)
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.96ms)
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.05ms)
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-4510764-1751196825.opb.pre'
0.00/0.02 c wrote 0.03MB (0.11ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 8.12ms 70.75% detect_special
0.00/0.02 c 1.96ms 17.09% detect_generic
0.00/0.02 c 0.59ms 5.17% approx_orbits
0.00/0.02 c 0.49ms 4.30% parse
0.00/0.02 c 0.11ms 0.98% output
0.00/0.02 c 0.11ms 0.96% other
0.00/0.02 c 0.05ms 0.43% break_generic
0.00/0.02 c 0.03ms 0.29% finalize_order
0.00/0.02 c 0.00ms 0.03% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 11.48ms 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.28/0.32 c #Conflicts: 1000 | #Constraints: 1666
0.28/0.32 c #Conflicts: 2000 | #Constraints: 2667
0.28/0.32 c INPROCESSING
0.28/0.32 c GARBAGE COLLECT
0.28/0.32 c #Conflicts: 3000 | #Constraints: 2696
0.28/0.32 c #Conflicts: 4000 | #Constraints: 3696
0.28/0.32 c INPROCESSING
0.28/0.32 c GARBAGE COLLECT
0.28/0.32 c #Conflicts: 5000 | #Constraints: 3116
0.28/0.32 c #Conflicts: 6000 | #Constraints: 4116
0.28/0.32 c INPROCESSING
0.28/0.32 c GARBAGE COLLECT
0.28/0.32 c #Conflicts: 7000 | #Constraints: 3128
0.28/0.32 c #Conflicts: 8000 | #Constraints: 4128
0.28/0.32 c #Conflicts: 9000 | #Constraints: 5128
0.28/0.32 c INPROCESSING
0.28/0.32 c GARBAGE COLLECT
0.28/0.32 c rational objective 300.5
0.38/0.42 c #Conflicts: 10000 | #Constraints: 3837
0.38/0.42 c #Conflicts: 11000 | #Constraints: 4837
0.38/0.42 c #Conflicts: 12000 | #Constraints: 5837
0.38/0.42 c INPROCESSING
0.38/0.42 c GARBAGE COLLECT
0.38/0.42 c rational objective 300.5
0.47/0.53 c #Conflicts: 13000 | #Constraints: 4292
0.47/0.53 c #Conflicts: 14000 | #Constraints: 5292
0.47/0.53 c #Conflicts: 15000 | #Constraints: 6292
0.47/0.53 c INPROCESSING
0.47/0.53 c GARBAGE COLLECT
0.47/0.53 c rational objective 300.5
0.57/0.65 c #Conflicts: 16000 | #Constraints: 4521
0.57/0.65 c #Conflicts: 17000 | #Constraints: 5521
0.57/0.65 c #Conflicts: 18000 | #Constraints: 6521
0.57/0.65 c INPROCESSING
0.57/0.65 c GARBAGE COLLECT
0.57/0.65 c rational objective 300.5
0.66/0.77 c #Conflicts: 19000 | #Constraints: 4539
0.66/0.77 c #Conflicts: 20000 | #Constraints: 5539
0.66/0.77 c #Conflicts: 21000 | #Constraints: 6539
0.66/0.77 c INPROCESSING
0.66/0.77 c GARBAGE COLLECT
0.66/0.77 c rational objective 300.5
0.77/0.89 c #Conflicts: 22000 | #Constraints: 4345
0.77/0.89 c #Conflicts: 23000 | #Constraints: 5346
0.77/0.89 c #Conflicts: 24000 | #Constraints: 6346
0.77/0.89 c #Conflicts: 25000 | #Constraints: 7347
0.77/0.89 c INPROCESSING
0.77/0.89 c GARBAGE COLLECT
0.77/0.89 c rational objective 300.5
0.97/1.02 c #Conflicts: 26000 | #Constraints: 4945
0.97/1.02 c #Conflicts: 27000 | #Constraints: 5945
0.97/1.02 c #Conflicts: 28000 | #Constraints: 6945
0.97/1.02 c #Conflicts: 29000 | #Constraints: 7945
0.97/1.02 c INPROCESSING
0.97/1.02 c GARBAGE COLLECT
0.97/1.02 c rational objective 300.5
1.07/1.16 c #Conflicts: 30000 | #Constraints: 5351
1.07/1.16 c #Conflicts: 31000 | #Constraints: 6351
1.07/1.16 c #Conflicts: 32000 | #Constraints: 7351
1.07/1.16 c #Conflicts: 33000 | #Constraints: 8351
1.07/1.16 c INPROCESSING
1.07/1.16 c GARBAGE COLLECT
1.07/1.16 c rational objective 300.5
1.27/1.30 c #Conflicts: 34000 | #Constraints: 5551
1.27/1.30 c #Conflicts: 35000 | #Constraints: 6551
1.27/1.30 c #Conflicts: 36000 | #Constraints: 7551
1.27/1.30 c #Conflicts: 37000 | #Constraints: 8551
1.27/1.30 c INPROCESSING
1.27/1.30 c GARBAGE COLLECT
1.27/1.30 c rational objective 300.5
1.37/1.45 c #Conflicts: 38000 | #Constraints: 5558
1.37/1.45 c #Conflicts: 39000 | #Constraints: 6558
1.37/1.45 c #Conflicts: 40000 | #Constraints: 7558
1.37/1.45 c #Conflicts: 41000 | #Constraints: 8558
1.37/1.45 c INPROCESSING
1.37/1.45 c GARBAGE COLLECT
1.37/1.45 c rational objective 300.5
1.56/1.61 c #Conflicts: 42000 | #Constraints: 5356
1.56/1.61 c #Conflicts: 43000 | #Constraints: 6356
1.56/1.61 c #Conflicts: 44000 | #Constraints: 7356
1.56/1.61 c #Conflicts: 45000 | #Constraints: 8356
1.56/1.61 c #Conflicts: 46000 | #Constraints: 9356
1.56/1.61 c INPROCESSING
1.56/1.61 c GARBAGE COLLECT
1.56/1.61 c rational objective 300.5
1.67/1.79 c #Conflicts: 47000 | #Constraints: 5959
1.67/1.79 c #Conflicts: 48000 | #Constraints: 6959
1.67/1.79 c #Conflicts: 49000 | #Constraints: 7959
1.67/1.79 c #Conflicts: 50000 | #Constraints: 8959
1.67/1.79 c #Conflicts: 51000 | #Constraints: 9959
1.67/1.79 c INPROCESSING
1.67/1.79 c GARBAGE COLLECT
1.67/1.79 c rational objective 300.5
1.87/1.99 c #Conflicts: 52000 | #Constraints: 6361
1.87/1.99 c #Conflicts: 53000 | #Constraints: 7361
1.87/1.99 c #Conflicts: 54000 | #Constraints: 8361
1.87/1.99 c #Conflicts: 55000 | #Constraints: 9361
1.87/1.99 c #Conflicts: 56000 | #Constraints: 10361
1.87/1.99 c INPROCESSING
1.87/1.99 c GARBAGE COLLECT
1.87/1.99 c rational objective 300.5
2.07/2.18 c #Conflicts: 57000 | #Constraints: 6555
2.07/2.18 c #Conflicts: 58000 | #Constraints: 7555
2.07/2.18 c #Conflicts: 59000 | #Constraints: 8555
2.07/2.18 c #Conflicts: 60000 | #Constraints: 9555
2.07/2.18 c #Conflicts: 61000 | #Constraints: 10555
2.07/2.18 c INPROCESSING
2.07/2.18 c GARBAGE COLLECT
2.07/2.18 c rational objective 300.5
2.26/2.38 c #Conflicts: 62000 | #Constraints: 6555
2.26/2.38 c #Conflicts: 63000 | #Constraints: 7556
2.26/2.38 c #Conflicts: 64000 | #Constraints: 8556
2.26/2.38 c #Conflicts: 65000 | #Constraints: 9556
2.26/2.38 c #Conflicts: 66000 | #Constraints: 10556
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c rational objective 300.5
2.46/2.57 c #Conflicts: 67000 | #Constraints: 6362
2.46/2.57 c #Conflicts: 68000 | #Constraints: 7362
2.46/2.57 c #Conflicts: 69000 | #Constraints: 8362
2.46/2.57 c #Conflicts: 70000 | #Constraints: 9362
2.46/2.57 c #Conflicts: 71000 | #Constraints: 10362
2.46/2.57 c #Conflicts: 72000 | #Constraints: 11362
2.46/2.57 c INPROCESSING
2.46/2.57 c GARBAGE COLLECT
2.46/2.57 c rational objective 300.5
2.67/2.78 c #Conflicts: 73000 | #Constraints: 6964
2.67/2.78 c #Conflicts: 74000 | #Constraints: 7964
2.67/2.78 c #Conflicts: 75000 | #Constraints: 8964
2.67/2.78 c #Conflicts: 76000 | #Constraints: 9964
2.67/2.78 c #Conflicts: 77000 | #Constraints: 10964
2.67/2.78 c #Conflicts: 78000 | #Constraints: 11964
2.67/2.78 c INPROCESSING
2.67/2.78 c GARBAGE COLLECT
2.67/2.78 c rational objective 300.5
2.87/2.99 c #Conflicts: 79000 | #Constraints: 7366
2.87/2.99 c #Conflicts: 80000 | #Constraints: 8366
2.87/2.99 c #Conflicts: 81000 | #Constraints: 9366
2.87/2.99 c #Conflicts: 82000 | #Constraints: 10366
2.87/2.99 c #Conflicts: 83000 | #Constraints: 11366
2.87/2.99 c #Conflicts: 84000 | #Constraints: 12366
2.87/2.99 c INPROCESSING
2.87/2.99 c GARBAGE COLLECT
2.87/2.99 c rational objective 300.5
3.16/3.21 c #Conflicts: 85000 | #Constraints: 7565
3.16/3.21 c #Conflicts: 86000 | #Constraints: 8565
3.16/3.21 c #Conflicts: 87000 | #Constraints: 9565
3.16/3.21 c #Conflicts: 88000 | #Constraints: 10565
3.16/3.21 c #Conflicts: 89000 | #Constraints: 11565
3.16/3.21 c #Conflicts: 90000 | #Constraints: 12565
3.16/3.21 c INPROCESSING
3.16/3.21 c GARBAGE COLLECT
3.16/3.21 c rational objective 300.5
3.36/3.47 c #Conflicts: 91000 | #Constraints: 7566
3.36/3.47 c #Conflicts: 92000 | #Constraints: 8566
3.36/3.47 c #Conflicts: 93000 | #Constraints: 9566
3.36/3.47 c #Conflicts: 94000 | #Constraints: 10566
3.36/3.47 c #Conflicts: 95000 | #Constraints: 11566
3.36/3.47 c #Conflicts: 96000 | #Constraints: 12566
3.36/3.47 c INPROCESSING
3.36/3.47 c GARBAGE COLLECT
3.36/3.47 c rational objective 300.5
3.66/3.70 c #Conflicts: 97000 | #Constraints: 7367
3.66/3.70 c #Conflicts: 98000 | #Constraints: 8367
3.66/3.70 c #Conflicts: 99000 | #Constraints: 9367
3.66/3.70 c #Conflicts: 100000 | #Constraints: 10367
3.66/3.70 c #Conflicts: 101000 | #Constraints: 11367
3.66/3.70 c #Conflicts: 102000 | #Constraints: 12367
3.66/3.70 c #Conflicts: 103000 | #Constraints: 13367
3.66/3.70 c INPROCESSING
3.66/3.70 c GARBAGE COLLECT
3.66/3.70 c rational objective 300.5
3.86/3.92 c #Conflicts: 104000 | #Constraints: 7963
3.86/3.92 c #Conflicts: 105000 | #Constraints: 8963
3.86/3.92 c #Conflicts: 106000 | #Constraints: 9963
3.86/3.92 c #Conflicts: 107000 | #Constraints: 10963
3.86/3.92 c #Conflicts: 108000 | #Constraints: 11963
3.86/3.92 c #Conflicts: 109000 | #Constraints: 12963
3.86/3.92 c #Conflicts: 110000 | #Constraints: 13963
3.86/3.92 c INPROCESSING
3.86/3.92 c GARBAGE COLLECT
3.86/3.92 c rational objective 300.5
4.06/4.15 c #Conflicts: 111000 | #Constraints: 8365
4.06/4.15 c #Conflicts: 112000 | #Constraints: 9365
4.06/4.15 c #Conflicts: 113000 | #Constraints: 10365
4.06/4.15 c #Conflicts: 114000 | #Constraints: 11365
4.06/4.15 c #Conflicts: 115000 | #Constraints: 12365
4.06/4.15 c #Conflicts: 116000 | #Constraints: 13365
4.06/4.15 c #Conflicts: 117000 | #Constraints: 14365
4.06/4.15 c INPROCESSING
4.06/4.15 c GARBAGE COLLECT
4.06/4.15 c rational objective 300.5
4.36/4.40 c #Conflicts: 118000 | #Constraints: 8565
4.36/4.40 c #Conflicts: 119000 | #Constraints: 9565
4.36/4.40 c #Conflicts: 120000 | #Constraints: 10565
4.36/4.40 c #Conflicts: 121000 | #Constraints: 11565
4.36/4.40 c #Conflicts: 122000 | #Constraints: 12565
4.36/4.40 c #Conflicts: 123000 | #Constraints: 13565
4.36/4.40 c #Conflicts: 124000 | #Constraints: 14565
4.36/4.40 c INPROCESSING
4.36/4.40 c GARBAGE COLLECT
4.36/4.40 c rational objective 300.5
4.56/4.65 c #Conflicts: 125000 | #Constraints: 8571
4.56/4.65 c #Conflicts: 126000 | #Constraints: 9571
4.56/4.65 c #Conflicts: 127000 | #Constraints: 10571
4.56/4.65 c #Conflicts: 128000 | #Constraints: 11571
4.56/4.65 c #Conflicts: 129000 | #Constraints: 12571
4.56/4.65 c #Conflicts: 130000 | #Constraints: 13571
4.56/4.65 c #Conflicts: 131000 | #Constraints: 14571
4.56/4.65 c INPROCESSING
4.56/4.65 c GARBAGE COLLECT
4.56/4.65 c rational objective 300.5
4.76/4.89 c #Conflicts: 132000 | #Constraints: 8358
4.76/4.89 c #Conflicts: 133000 | #Constraints: 9358
4.76/4.89 c #Conflicts: 134000 | #Constraints: 10358
4.76/4.89 c #Conflicts: 135000 | #Constraints: 11358
4.76/4.89 c #Conflicts: 136000 | #Constraints: 12358
4.76/4.89 c #Conflicts: 137000 | #Constraints: 13358
4.76/4.89 c #Conflicts: 138000 | #Constraints: 14358
4.76/4.89 c #Conflicts: 139000 | #Constraints: 15358
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.15 c #Conflicts: 140000 | #Constraints: 8964
5.06/5.15 c #Conflicts: 141000 | #Constraints: 9964
5.06/5.15 c #Conflicts: 142000 | #Constraints: 10964
5.06/5.15 c #Conflicts: 143000 | #Constraints: 11964
5.06/5.15 c #Conflicts: 144000 | #Constraints: 12964
5.06/5.15 c #Conflicts: 145000 | #Constraints: 13964
5.06/5.15 c #Conflicts: 146000 | #Constraints: 14964
5.06/5.15 c #Conflicts: 147000 | #Constraints: 15964
5.06/5.15 c INPROCESSING
5.06/5.15 c GARBAGE COLLECT
5.06/5.15 c rational objective 300.5
5.36/5.41 c #Conflicts: 148000 | #Constraints: 9368
5.36/5.41 c #Conflicts: 149000 | #Constraints: 10368
5.36/5.41 c #Conflicts: 150000 | #Constraints: 11368
5.36/5.41 c #Conflicts: 151000 | #Constraints: 12368
5.36/5.41 c #Conflicts: 152000 | #Constraints: 13368
5.36/5.41 c #Conflicts: 153000 | #Constraints: 14368
5.36/5.41 c #Conflicts: 154000 | #Constraints: 15368
5.36/5.41 c #Conflicts: 155000 | #Constraints: 16368
5.36/5.41 c INPROCESSING
5.36/5.41 c GARBAGE COLLECT
5.36/5.41 c rational objective 300.5
5.55/5.67 c #Conflicts: 156000 | #Constraints: 9570
5.55/5.67 c #Conflicts: 157000 | #Constraints: 10570
5.55/5.67 c #Conflicts: 158000 | #Constraints: 11570
5.55/5.67 c #Conflicts: 159000 | #Constraints: 12570
5.55/5.67 c #Conflicts: 160000 | #Constraints: 13570
5.55/5.67 c #Conflicts: 161000 | #Constraints: 14570
5.55/5.67 c #Conflicts: 162000 | #Constraints: 15570
5.55/5.67 c #Conflicts: 163000 | #Constraints: 16570
5.55/5.67 c INPROCESSING
5.55/5.67 c GARBAGE COLLECT
5.55/5.67 c rational objective 300.5
5.85/5.95 c #Conflicts: 164000 | #Constraints: 9568
5.85/5.95 c #Conflicts: 165000 | #Constraints: 10568
5.85/5.95 c #Conflicts: 166000 | #Constraints: 11568
5.85/5.95 c #Conflicts: 167000 | #Constraints: 12568
5.85/5.95 c #Conflicts: 168000 | #Constraints: 13568
5.85/5.95 c #Conflicts: 169000 | #Constraints: 14568
5.85/5.95 c #Conflicts: 170000 | #Constraints: 15568
5.85/5.95 c #Conflicts: 171000 | #Constraints: 16568
5.85/5.95 c INPROCESSING
5.85/5.95 c GARBAGE COLLECT
5.85/5.95 c rational objective 300.5
6.16/6.22 c #Conflicts: 172000 | #Constraints: 9364
6.16/6.22 c #Conflicts: 173000 | #Constraints: 10364
6.16/6.22 c #Conflicts: 174000 | #Constraints: 11364
6.16/6.22 c #Conflicts: 175000 | #Constraints: 12364
6.16/6.22 c #Conflicts: 176000 | #Constraints: 13364
6.16/6.22 c #Conflicts: 177000 | #Constraints: 14364
6.16/6.22 c #Conflicts: 178000 | #Constraints: 15364
6.16/6.22 c #Conflicts: 179000 | #Constraints: 16364
6.16/6.22 c #Conflicts: 180000 | #Constraints: 17364
6.16/6.22 c INPROCESSING
6.16/6.22 c GARBAGE COLLECT
6.16/6.22 c rational objective 300.5
6.45/6.50 c #Conflicts: 181000 | #Constraints: 9962
6.45/6.50 c #Conflicts: 182000 | #Constraints: 10962
6.45/6.50 c #Conflicts: 183000 | #Constraints: 11962
6.45/6.50 c #Conflicts: 184000 | #Constraints: 12962
6.45/6.50 c #Conflicts: 185000 | #Constraints: 13962
6.45/6.50 c #Conflicts: 186000 | #Constraints: 14962
6.45/6.50 c #Conflicts: 187000 | #Constraints: 15962
6.45/6.50 c #Conflicts: 188000 | #Constraints: 16962
6.45/6.50 c #Conflicts: 189000 | #Constraints: 17962
6.45/6.50 c INPROCESSING
6.45/6.50 c GARBAGE COLLECT
6.45/6.50 c rational objective 300.5
6.76/6.81 c #Conflicts: 190000 | #Constraints: 10362
6.76/6.81 c #Conflicts: 191000 | #Constraints: 11362
6.76/6.81 c #Conflicts: 192000 | #Constraints: 12362
6.76/6.81 c #Conflicts: 193000 | #Constraints: 13362
6.76/6.81 c #Conflicts: 194000 | #Constraints: 14362
6.76/6.81 c #Conflicts: 195000 | #Constraints: 15362
6.76/6.81 c #Conflicts: 196000 | #Constraints: 16362
6.76/6.81 c #Conflicts: 197000 | #Constraints: 17362
6.76/6.81 c #Conflicts: 198000 | #Constraints: 18362
6.76/6.81 c INPROCESSING
6.76/6.81 c GARBAGE COLLECT
6.76/6.81 c rational objective 300.5
7.06/7.19 c #Conflicts: 199000 | #Constraints: 10560
7.06/7.19 c #Conflicts: 200000 | #Constraints: 11560
7.06/7.19 c #Conflicts: 201000 | #Constraints: 12560
7.06/7.19 c #Conflicts: 202000 | #Constraints: 13560
7.06/7.19 c #Conflicts: 203000 | #Constraints: 14560
7.06/7.19 c #Conflicts: 204000 | #Constraints: 15560
7.06/7.19 c #Conflicts: 205000 | #Constraints: 16560
7.06/7.19 c #Conflicts: 206000 | #Constraints: 17560
7.06/7.19 c #Conflicts: 207000 | #Constraints: 18560
7.06/7.19 c INPROCESSING
7.06/7.19 c GARBAGE COLLECT
7.06/7.19 c rational objective 300.5
7.45/7.53 c #Conflicts: 208000 | #Constraints: 10565
7.45/7.53 c #Conflicts: 209000 | #Constraints: 11565
7.45/7.53 c #Conflicts: 210000 | #Constraints: 12565
7.45/7.53 c #Conflicts: 211000 | #Constraints: 13565
7.45/7.53 c #Conflicts: 212000 | #Constraints: 14565
7.45/7.53 c #Conflicts: 213000 | #Constraints: 15565
7.45/7.53 c #Conflicts: 214000 | #Constraints: 16565
7.45/7.53 c #Conflicts: 215000 | #Constraints: 17565
7.45/7.53 c #Conflicts: 216000 | #Constraints: 18565
7.45/7.53 c INPROCESSING
7.45/7.53 c GARBAGE COLLECT
7.45/7.53 c rational objective 300.5
7.85/7.92 c #Conflicts: 217000 | #Constraints: 10376
7.85/7.92 c #Conflicts: 218000 | #Constraints: 11376
7.85/7.92 c #Conflicts: 219000 | #Constraints: 12376
7.85/7.92 c #Conflicts: 220000 | #Constraints: 13376
7.85/7.92 c #Conflicts: 221000 | #Constraints: 14376
7.85/7.92 c #Conflicts: 222000 | #Constraints: 15376
7.85/7.92 c #Conflicts: 223000 | #Constraints: 16376
7.85/7.92 c #Conflicts: 224000 | #Constraints: 17376
7.85/7.92 c #Conflicts: 225000 | #Constraints: 18376
7.85/7.92 c #Conflicts: 226000 | #Constraints: 19376
7.85/7.92 c INPROCESSING
7.85/7.92 c GARBAGE COLLECT
7.85/7.92 c rational objective 300.5
8.15/8.22 c #Conflicts: 227000 | #Constraints: 10979
8.15/8.22 c #Conflicts: 228000 | #Constraints: 11979
8.15/8.22 c #Conflicts: 229000 | #Constraints: 12979
8.15/8.22 c #Conflicts: 230000 | #Constraints: 13979
8.15/8.22 c #Conflicts: 231000 | #Constraints: 14979
8.15/8.22 c #Conflicts: 232000 | #Constraints: 15979
8.15/8.22 c #Conflicts: 233000 | #Constraints: 16979
8.15/8.22 c #Conflicts: 234000 | #Constraints: 17979
8.15/8.22 c #Conflicts: 235000 | #Constraints: 18979
8.15/8.22 c #Conflicts: 236000 | #Constraints: 19979
8.15/8.22 c INPROCESSING
8.15/8.22 c GARBAGE COLLECT
8.15/8.22 c rational objective 300.5
8.45/8.58 c #Conflicts: 237000 | #Constraints: 11370
8.45/8.58 c #Conflicts: 238000 | #Constraints: 12370
8.45/8.58 c #Conflicts: 239000 | #Constraints: 13370
8.45/8.58 c #Conflicts: 240000 | #Constraints: 14370
8.45/8.58 c #Conflicts: 241000 | #Constraints: 15370
8.45/8.58 c #Conflicts: 242000 | #Constraints: 16370
8.45/8.58 c #Conflicts: 243000 | #Constraints: 17370
8.45/8.58 c #Conflicts: 244000 | #Constraints: 18370
8.45/8.58 c #Conflicts: 245000 | #Constraints: 19370
8.45/8.58 c #Conflicts: 246000 | #Constraints: 20370
8.45/8.58 c INPROCESSING
8.45/8.58 c GARBAGE COLLECT
8.45/8.58 c rational objective 300.5
8.85/8.91 c #Conflicts: 247000 | #Constraints: 11564
8.85/8.91 c #Conflicts: 248000 | #Constraints: 12564
8.85/8.91 c #Conflicts: 249000 | #Constraints: 13564
8.85/8.91 c #Conflicts: 250000 | #Constraints: 14564
8.85/8.91 c #Conflicts: 251000 | #Constraints: 15564
8.85/8.91 c #Conflicts: 252000 | #Constraints: 16564
8.85/8.91 c #Conflicts: 253000 | #Constraints: 17564
8.85/8.91 c #Conflicts: 254000 | #Constraints: 18564
8.85/8.91 c #Conflicts: 255000 | #Constraints: 19564
8.85/8.91 c #Conflicts: 256000 | #Constraints: 20564
8.85/8.91 c INPROCESSING
8.85/8.91 c GARBAGE COLLECT
8.85/8.91 c rational objective 300.5
9.15/9.28 c #Conflicts: 257000 | #Constraints: 11564
9.15/9.28 c #Conflicts: 258000 | #Constraints: 12564
9.15/9.28 c #Conflicts: 259000 | #Constraints: 13564
9.15/9.28 c #Conflicts: 260000 | #Constraints: 14564
9.15/9.28 c #Conflicts: 261000 | #Constraints: 15564
9.15/9.28 c #Conflicts: 262000 | #Constraints: 16564
9.15/9.28 c #Conflicts: 263000 | #Constraints: 17564
9.15/9.28 c #Conflicts: 264000 | #Constraints: 18564
9.15/9.28 c #Conflicts: 265000 | #Constraints: 19564
9.15/9.28 c #Conflicts: 266000 | #Constraints: 20564
9.15/9.28 c INPROCESSING
9.15/9.28 c GARBAGE COLLECT
9.15/9.28 c rational objective 300.5
9.55/9.63 c #Conflicts: 267000 | #Constraints: 11367
9.55/9.63 c #Conflicts: 268000 | #Constraints: 12367
9.55/9.63 c #Conflicts: 269000 | #Constraints: 13367
9.55/9.63 c #Conflicts: 270000 | #Constraints: 14367
9.55/9.63 c #Conflicts: 271000 | #Constraints: 15367
9.55/9.63 c #Conflicts: 272000 | #Constraints: 16367
9.55/9.63 c #Conflicts: 273000 | #Constraints: 17367
9.55/9.63 c #Conflicts: 274000 | #Constraints: 18367
9.55/9.63 c #Conflicts: 275000 | #Constraints: 19367
9.55/9.63 c #Conflicts: 276000 | #Constraints: 20367
9.55/9.63 c #Conflicts: 277000 | #Constraints: 21367
9.55/9.63 c INPROCESSING
9.55/9.63 c GARBAGE COLLECT
9.55/9.63 c rational objective 300.5
9.84/9.97 c #Conflicts: 278000 | #Constraints: 11962
9.84/9.97 c #Conflicts: 279000 | #Constraints: 12962
9.84/9.97 c #Conflicts: 280000 | #Constraints: 13962
9.84/9.97 c #Conflicts: 281000 | #Constraints: 14962
9.84/9.97 c #Conflicts: 282000 | #Constraints: 15962
9.84/9.97 c #Conflicts: 283000 | #Constraints: 16962
9.84/9.97 c #Conflicts: 284000 | #Constraints: 17962
9.84/9.97 c #Conflicts: 285000 | #Constraints: 18962
9.84/9.97 c #Conflicts: 286000 | #Constraints: 19962
9.84/9.97 c #Conflicts: 287000 | #Constraints: 20962
9.84/9.97 c #Conflicts: 288000 | #Constraints: 21962
9.84/9.97 c INPROCESSING
9.84/9.97 c GARBAGE COLLECT
9.84/9.97 c rational objective 300.5
10.25/10.34 c #Conflicts: 289000 | #Constraints: 12361
10.25/10.34 c #Conflicts: 290000 | #Constraints: 13361
10.25/10.34 c #Conflicts: 291000 | #Constraints: 14361
10.25/10.34 c #Conflicts: 292000 | #Constraints: 15361
10.25/10.34 c #Conflicts: 293000 | #Constraints: 16361
10.25/10.34 c #Conflicts: 294000 | #Constraints: 17361
10.25/10.34 c #Conflicts: 295000 | #Constraints: 18361
10.25/10.34 c #Conflicts: 296000 | #Constraints: 19361
10.25/10.34 c #Conflicts: 297000 | #Constraints: 20361
10.25/10.34 c #Conflicts: 298000 | #Constraints: 21361
10.25/10.34 c #Conflicts: 299000 | #Constraints: 22361
10.25/10.34 c INPROCESSING
10.25/10.34 c GARBAGE COLLECT
10.25/10.34 c rational objective 300.5
10.65/10.71 c #Conflicts: 300000 | #Constraints: 12567
10.65/10.71 c #Conflicts: 301000 | #Constraints: 13567
10.65/10.71 c #Conflicts: 302000 | #Constraints: 14567
10.65/10.71 c #Conflicts: 303000 | #Constraints: 15567
10.65/10.71 c #Conflicts: 304000 | #Constraints: 16567
10.65/10.71 c #Conflicts: 305000 | #Constraints: 17567
10.65/10.71 c #Conflicts: 306000 | #Constraints: 18567
10.65/10.71 c #Conflicts: 307000 | #Constraints: 19568
10.65/10.71 c #Conflicts: 308000 | #Constraints: 20568
10.65/10.71 c #Conflicts: 309000 | #Constraints: 21568
10.65/10.71 c #Conflicts: 310000 | #Constraints: 22568
10.65/10.71 c INPROCESSING
10.65/10.71 c GARBAGE COLLECT
10.65/10.71 c rational objective 300.5
11.05/11.10 c #Conflicts: 311000 | #Constraints: 12568
11.05/11.10 c #Conflicts: 312000 | #Constraints: 13568
11.05/11.10 c #Conflicts: 313000 | #Constraints: 14568
11.05/11.10 c #Conflicts: 314000 | #Constraints: 15568
11.05/11.10 c #Conflicts: 315000 | #Constraints: 16568
11.05/11.10 c #Conflicts: 316000 | #Constraints: 17568
11.05/11.10 c #Conflicts: 317000 | #Constraints: 18568
11.05/11.10 c #Conflicts: 318000 | #Constraints: 19568
11.05/11.10 c #Conflicts: 319000 | #Constraints: 20568
11.05/11.10 c #Conflicts: 320000 | #Constraints: 21568
11.05/11.10 c #Conflicts: 321000 | #Constraints: 22568
11.05/11.10 c INPROCESSING
11.05/11.10 c GARBAGE COLLECT
11.05/11.10 c rational objective 300.5
11.44/11.50 c #Conflicts: 322000 | #Constraints: 12367
11.44/11.50 c #Conflicts: 323000 | #Constraints: 13367
11.44/11.50 c #Conflicts: 324000 | #Constraints: 14367
11.44/11.50 c #Conflicts: 325000 | #Constraints: 15367
11.44/11.50 c #Conflicts: 326000 | #Constraints: 16367
11.44/11.50 c #Conflicts: 327000 | #Constraints: 17367
11.44/11.50 c #Conflicts: 328000 | #Constraints: 18367
11.44/11.50 c #Conflicts: 329000 | #Constraints: 19367
11.44/11.50 c #Conflicts: 330000 | #Constraints: 20367
11.44/11.50 c #Conflicts: 331000 | #Constraints: 21367
11.44/11.50 c #Conflicts: 332000 | #Constraints: 22367
11.44/11.50 c #Conflicts: 333000 | #Constraints: 23367
11.44/11.50 c INPROCESSING
11.44/11.50 c GARBAGE COLLECT
11.44/11.50 c rational objective 300.5
11.74/11.88 c #Conflicts: 334000 | #Constraints: 12966
11.74/11.88 c #Conflicts: 335000 | #Constraints: 13966
11.74/11.88 c #Conflicts: 336000 | #Constraints: 14966
11.74/11.88 c #Conflicts: 337000 | #Constraints: 15966
11.74/11.88 c #Conflicts: 338000 | #Constraints: 16966
11.74/11.88 c #Conflicts: 339000 | #Constraints: 17966
11.74/11.88 c #Conflicts: 340000 | #Constraints: 18966
11.74/11.88 c #Conflicts: 341000 | #Constraints: 19966
11.74/11.88 c #Conflicts: 342000 | #Constraints: 20966
11.74/11.88 c #Conflicts: 343000 | #Constraints: 21966
11.74/11.88 c #Conflicts: 344000 | #Constraints: 22966
11.74/11.88 c #Conflicts: 345000 | #Constraints: 23966
11.74/11.88 c INPROCESSING
11.74/11.88 c GARBAGE COLLECT
11.74/11.88 c rational objective 300.5
12.14/12.25 c #Conflicts: 346000 | #Constraints: 13373
12.14/12.25 c #Conflicts: 347000 | #Constraints: 14373
12.14/12.25 c #Conflicts: 348000 | #Constraints: 15373
12.14/12.25 c #Conflicts: 349000 | #Constraints: 16373
12.14/12.25 c #Conflicts: 350000 | #Constraints: 17373
12.14/12.25 c #Conflicts: 351000 | #Constraints: 18373
12.14/12.25 c #Conflicts: 352000 | #Constraints: 19373
12.14/12.25 c #Conflicts: 353000 | #Constraints: 20373
12.14/12.25 c #Conflicts: 354000 | #Constraints: 21373
12.14/12.25 c #Conflicts: 355000 | #Constraints: 22373
12.14/12.25 c #Conflicts: 356000 | #Constraints: 23373
12.14/12.25 c #Conflicts: 357000 | #Constraints: 24373
12.14/12.25 c INPROCESSING
12.14/12.25 c GARBAGE COLLECT
12.14/12.25 c rational objective 300.5
12.54/12.65 c #Conflicts: 358000 | #Constraints: 13572
12.54/12.65 c #Conflicts: 359000 | #Constraints: 14572
12.54/12.65 c #Conflicts: 360000 | #Constraints: 15572
12.54/12.65 c #Conflicts: 361000 | #Constraints: 16572
12.54/12.65 c #Conflicts: 362000 | #Constraints: 17572
12.54/12.65 c #Conflicts: 363000 | #Constraints: 18572
12.54/12.65 c #Conflicts: 364000 | #Constraints: 19572
12.54/12.65 c #Conflicts: 365000 | #Constraints: 20572
12.54/12.65 c #Conflicts: 366000 | #Constraints: 21572
12.54/12.65 c #Conflicts: 367000 | #Constraints: 22572
12.54/12.65 c #Conflicts: 368000 | #Constraints: 23572
12.54/12.65 c #Conflicts: 369000 | #Constraints: 24572
12.54/12.65 c INPROCESSING
12.54/12.65 c GARBAGE COLLECT
12.54/12.65 c rational objective 300.5
12.94/13.06 c #Conflicts: 370000 | #Constraints: 13581
12.94/13.06 c #Conflicts: 371000 | #Constraints: 14581
12.94/13.06 c #Conflicts: 372000 | #Constraints: 15581
12.94/13.06 c #Conflicts: 373000 | #Constraints: 16581
12.94/13.06 c #Conflicts: 374000 | #Constraints: 17581
12.94/13.06 c #Conflicts: 375000 | #Constraints: 18581
12.94/13.06 c #Conflicts: 376000 | #Constraints: 19581
12.94/13.06 c #Conflicts: 377000 | #Constraints: 20581
12.94/13.06 c #Conflicts: 378000 | #Constraints: 21581
12.94/13.06 c #Conflicts: 379000 | #Constraints: 22581
12.94/13.06 c #Conflicts: 380000 | #Constraints: 23581
12.94/13.06 c #Conflicts: 381000 | #Constraints: 24581
12.94/13.06 c INPROCESSING
12.94/13.06 c GARBAGE COLLECT
12.94/13.06 c rational objective 300.5
13.34/13.44 c #Conflicts: 382000 | #Constraints: 13377
13.34/13.44 c #Conflicts: 383000 | #Constraints: 14377
13.34/13.44 c #Conflicts: 384000 | #Constraints: 15377
13.34/13.44 c #Conflicts: 385000 | #Constraints: 16377
13.34/13.44 c #Conflicts: 386000 | #Constraints: 17377
13.34/13.44 c #Conflicts: 387000 | #Constraints: 18377
13.34/13.44 c #Conflicts: 388000 | #Constraints: 19377
13.34/13.44 c #Conflicts: 389000 | #Constraints: 20377
13.34/13.44 c #Conflicts: 390000 | #Constraints: 21377
13.34/13.44 c #Conflicts: 391000 | #Constraints: 22377
13.34/13.44 c #Conflicts: 392000 | #Constraints: 23377
13.34/13.44 c #Conflicts: 393000 | #Constraints: 24377
13.34/13.44 c #Conflicts: 394000 | #Constraints: 25377
13.34/13.44 c INPROCESSING
13.34/13.44 c GARBAGE COLLECT
13.34/13.44 c rational objective 300.5
13.74/13.84 c #Conflicts: 395000 | #Constraints: 13978
13.74/13.84 c #Conflicts: 396000 | #Constraints: 14978
13.74/13.84 c #Conflicts: 397000 | #Constraints: 15978
13.74/13.84 c #Conflicts: 398000 | #Constraints: 16978
13.74/13.84 c #Conflicts: 399000 | #Constraints: 17978
13.74/13.84 c #Conflicts: 400000 | #Constraints: 18978
13.74/13.84 c #Conflicts: 401000 | #Constraints: 19978
13.74/13.84 c #Conflicts: 402000 | #Constraints: 20978
13.74/13.84 c #Conflicts: 403000 | #Constraints: 21978
13.74/13.84 c #Conflicts: 404000 | #Constraints: 22978
13.74/13.84 c #Conflicts: 405000 | #Constraints: 23978
13.74/13.84 c #Conflicts: 406000 | #Constraints: 24978
13.74/13.84 c #Conflicts: 407000 | #Constraints: 25978
13.74/13.84 c INPROCESSING
13.74/13.84 c GARBAGE COLLECT
13.74/13.84 c rational objective 300.5
14.14/14.29 c #Conflicts: 408000 | #Constraints: 14372
14.14/14.29 c #Conflicts: 409000 | #Constraints: 15372
14.14/14.29 c #Conflicts: 410000 | #Constraints: 16372
14.14/14.29 c #Conflicts: 411000 | #Constraints: 17372
14.14/14.29 c #Conflicts: 412000 | #Constraints: 18372
14.14/14.29 c #Conflicts: 413000 | #Constraints: 19372
14.14/14.29 c #Conflicts: 414000 | #Constraints: 20372
14.14/14.29 c #Conflicts: 415000 | #Constraints: 21372
14.14/14.29 c #Conflicts: 416000 | #Constraints: 22372
14.14/14.29 c #Conflicts: 417000 | #Constraints: 23372
14.14/14.29 c #Conflicts: 418000 | #Constraints: 24372
14.14/14.29 c #Conflicts: 419000 | #Constraints: 25372
14.14/14.29 c #Conflicts: 420000 | #Constraints: 26372
14.14/14.29 c INPROCESSING
14.14/14.29 c GARBAGE COLLECT
14.14/14.29 c rational objective 300.5
14.63/14.75 c #Conflicts: 421000 | #Constraints: 14574
14.63/14.75 c #Conflicts: 422000 | #Constraints: 15574
14.63/14.75 c #Conflicts: 423000 | #Constraints: 16574
14.63/14.75 c #Conflicts: 424000 | #Constraints: 17574
14.63/14.75 c #Conflicts: 425000 | #Constraints: 18574
14.63/14.75 c #Conflicts: 426000 | #Constraints: 19574
14.63/14.75 c #Conflicts: 427000 | #Constraints: 20574
14.63/14.75 c #Conflicts: 428000 | #Constraints: 21574
14.63/14.75 c #Conflicts: 429000 | #Constraints: 22574
14.63/14.75 c #Conflicts: 430000 | #Constraints: 23574
14.63/14.75 c #Conflicts: 431000 | #Constraints: 24574
14.63/14.75 c #Conflicts: 432000 | #Constraints: 25574
14.63/14.75 c #Conflicts: 433000 | #Constraints: 26574
14.63/14.75 c INPROCESSING
14.63/14.75 c GARBAGE COLLECT
14.63/14.75 c rational objective 300.5
15.13/15.24 c #Conflicts: 434000 | #Constraints: 14573
15.13/15.24 c #Conflicts: 435000 | #Constraints: 15573
15.13/15.24 c #Conflicts: 436000 | #Constraints: 16573
15.13/15.24 c #Conflicts: 437000 | #Constraints: 17573
15.13/15.24 c #Conflicts: 438000 | #Constraints: 18573
15.13/15.24 c #Conflicts: 439000 | #Constraints: 19573
15.13/15.24 c #Conflicts: 440000 | #Constraints: 20573
15.13/15.24 c #Conflicts: 441000 | #Constraints: 21573
15.13/15.24 c #Conflicts: 442000 | #Constraints: 22573
15.13/15.24 c #Conflicts: 443000 | #Constraints: 23573
15.13/15.24 c #Conflicts: 444000 | #Constraints: 24573
15.13/15.24 c #Conflicts: 445000 | #Constraints: 25573
15.13/15.24 c #Conflicts: 446000 | #Constraints: 26573
15.13/15.24 c INPROCESSING
15.13/15.24 c GARBAGE COLLECT
15.13/15.24 c rational objective 300.5
15.63/15.72 c #Conflicts: 447000 | #Constraints: 14375
15.63/15.72 c #Conflicts: 448000 | #Constraints: 15375
15.63/15.72 c #Conflicts: 449000 | #Constraints: 16375
15.63/15.72 c #Conflicts: 450000 | #Constraints: 17375
15.63/15.72 c #Conflicts: 451000 | #Constraints: 18375
15.63/15.72 c #Conflicts: 452000 | #Constraints: 19375
15.63/15.72 c #Conflicts: 453000 | #Constraints: 20375
15.63/15.72 c #Conflicts: 454000 | #Constraints: 21375
15.63/15.72 c #Conflicts: 455000 | #Constraints: 22375
15.63/15.72 c #Conflicts: 456000 | #Constraints: 23375
15.63/15.72 c #Conflicts: 457000 | #Constraints: 24375
15.63/15.72 c #Conflicts: 458000 | #Constraints: 25375
15.63/15.72 c #Conflicts: 459000 | #Constraints: 26375
15.63/15.72 c #Conflicts: 460000 | #Constraints: 27375
15.63/15.72 c INPROCESSING
15.63/15.72 c GARBAGE COLLECT
15.63/15.72 c rational objective 300.5
16.14/16.24 c #Conflicts: 461000 | #Constraints: 14977
16.14/16.24 c #Conflicts: 462000 | #Constraints: 15977
16.14/16.24 c #Conflicts: 463000 | #Constraints: 16977
16.14/16.24 c #Conflicts: 464000 | #Constraints: 17977
16.14/16.24 c #Conflicts: 465000 | #Constraints: 18977
16.14/16.24 c #Conflicts: 466000 | #Constraints: 19977
16.14/16.24 c #Conflicts: 467000 | #Constraints: 20977
16.14/16.24 c #Conflicts: 468000 | #Constraints: 21977
16.14/16.24 c #Conflicts: 469000 | #Constraints: 22977
16.14/16.24 c #Conflicts: 470000 | #Constraints: 23977
16.14/16.24 c #Conflicts: 471000 | #Constraints: 24977
16.14/16.24 c #Conflicts: 472000 | #Constraints: 25977
16.14/16.24 c #Conflicts: 473000 | #Constraints: 26977
16.14/16.24 c #Conflicts: 474000 | #Constraints: 27977
16.14/16.24 c INPROCESSING
16.14/16.24 c GARBAGE COLLECT
16.14/16.24 c rational objective 300.5
16.63/16.79 c #Conflicts: 475000 | #Constraints: 15375
16.63/16.79 c #Conflicts: 476000 | #Constraints: 16375
16.63/16.79 c #Conflicts: 477000 | #Constraints: 17375
16.63/16.79 c #Conflicts: 478000 | #Constraints: 18375
16.63/16.79 c #Conflicts: 479000 | #Constraints: 19375
16.63/16.79 c #Conflicts: 480000 | #Constraints: 20375
16.63/16.79 c #Conflicts: 481000 | #Constraints: 21375
16.63/16.79 c #Conflicts: 482000 | #Constraints: 22375
16.63/16.79 c #Conflicts: 483000 | #Constraints: 23375
16.63/16.79 c #Conflicts: 484000 | #Constraints: 24375
16.63/16.79 c #Conflicts: 485000 | #Constraints: 25375
16.63/16.79 c #Conflicts: 486000 | #Constraints: 26375
16.63/16.79 c #Conflicts: 487000 | #Constraints: 27375
16.63/16.79 c #Conflicts: 488000 | #Constraints: 28375
16.63/16.79 c INPROCESSING
16.63/16.79 c GARBAGE COLLECT
16.63/16.79 c rational objective 300.5
17.22/17.30 c #Conflicts: 489000 | #Constraints: 15584
17.22/17.30 c #Conflicts: 490000 | #Constraints: 16584
17.22/17.30 c #Conflicts: 491000 | #Constraints: 17584
17.22/17.30 c #Conflicts: 492000 | #Constraints: 18584
17.22/17.30 c #Conflicts: 493000 | #Constraints: 19584
17.22/17.30 c #Conflicts: 494000 | #Constraints: 20584
17.22/17.30 c #Conflicts: 495000 | #Constraints: 21584
17.22/17.30 c #Conflicts: 496000 | #Constraints: 22584
17.22/17.30 c #Conflicts: 497000 | #Constraints: 23584
17.22/17.30 c #Conflicts: 498000 | #Constraints: 24584
17.22/17.30 c #Conflicts: 499000 | #Constraints: 25584
17.22/17.30 c #Conflicts: 500000 | #Constraints: 26584
17.22/17.30 c #Conflicts: 501000 | #Constraints: 27584
17.22/17.30 c #Conflicts: 502000 | #Constraints: 28584
17.22/17.30 c INPROCESSING
17.22/17.30 c GARBAGE COLLECT
17.22/17.30 c rational objective 300.5
17.73/17.83 c #Conflicts: 503000 | #Constraints: 15582
17.73/17.83 c #Conflicts: 504000 | #Constraints: 16582
17.73/17.83 c #Conflicts: 505000 | #Constraints: 17582
17.73/17.83 c #Conflicts: 506000 | #Constraints: 18582
17.73/17.83 c #Conflicts: 507000 | #Constraints: 19582
17.73/17.83 c #Conflicts: 508000 | #Constraints: 20582
17.73/17.83 c #Conflicts: 509000 | #Constraints: 21582
17.73/17.83 c #Conflicts: 510000 | #Constraints: 22582
17.73/17.83 c #Conflicts: 511000 | #Constraints: 23582
17.73/17.83 c #Conflicts: 512000 | #Constraints: 24582
17.73/17.83 c #Conflicts: 513000 | #Constraints: 25582
17.73/17.83 c #Conflicts: 514000 | #Constraints: 26582
17.73/17.83 c #Conflicts: 515000 | #Constraints: 27582
17.73/17.83 c #Conflicts: 516000 | #Constraints: 28582
17.73/17.83 c INPROCESSING
17.73/17.83 c GARBAGE COLLECT
17.73/17.83 c rational objective 300.5
18.22/18.30 c #Conflicts: 517000 | #Constraints: 15384
18.22/18.30 c #Conflicts: 518000 | #Constraints: 16384
18.22/18.30 c #Conflicts: 519000 | #Constraints: 17384
18.22/18.30 c #Conflicts: 520000 | #Constraints: 18384
18.22/18.30 c #Conflicts: 521000 | #Constraints: 19384
18.22/18.30 c #Conflicts: 522000 | #Constraints: 20384
18.22/18.30 c #Conflicts: 523000 | #Constraints: 21384
18.22/18.30 c #Conflicts: 524000 | #Constraints: 22384
18.22/18.30 c #Conflicts: 525000 | #Constraints: 23384
18.22/18.30 c #Conflicts: 526000 | #Constraints: 24384
18.22/18.30 c #Conflicts: 527000 | #Constraints: 25384
18.22/18.30 c #Conflicts: 528000 | #Constraints: 26384
18.22/18.30 c #Conflicts: 529000 | #Constraints: 27384
18.22/18.30 c #Conflicts: 530000 | #Constraints: 28384
18.22/18.30 c #Conflicts: 531000 | #Constraints: 29384
18.22/18.30 c INPROCESSING
18.22/18.30 c GARBAGE COLLECT
18.22/18.30 c rational objective 300.5
18.62/18.78 c #Conflicts: 532000 | #Constraints: 15986
18.62/18.78 c #Conflicts: 533000 | #Constraints: 16986
18.62/18.78 c #Conflicts: 534000 | #Constraints: 17986
18.62/18.78 c #Conflicts: 535000 | #Constraints: 18986
18.62/18.78 c #Conflicts: 536000 | #Constraints: 19986
18.62/18.78 c #Conflicts: 537000 | #Constraints: 20986
18.62/18.78 c #Conflicts: 538000 | #Constraints: 21986
18.62/18.78 c #Conflicts: 539000 | #Constraints: 22986
18.62/18.78 c #Conflicts: 540000 | #Constraints: 23986
18.62/18.78 c #Conflicts: 541000 | #Constraints: 24986
18.62/18.78 c #Conflicts: 542000 | #Constraints: 25986
18.62/18.78 c #Conflicts: 543000 | #Constraints: 26986
18.62/18.78 c #Conflicts: 544000 | #Constraints: 27986
18.62/18.78 c #Conflicts: 545000 | #Constraints: 28986
18.62/18.78 c #Conflicts: 546000 | #Constraints: 29986
18.62/18.78 c INPROCESSING
18.62/18.78 c GARBAGE COLLECT
18.62/18.78 c rational objective 300.5
19.22/19.33 c #Conflicts: 547000 | #Constraints: 16387
19.22/19.33 c #Conflicts: 548000 | #Constraints: 17387
19.22/19.33 c #Conflicts: 549000 | #Constraints: 18387
19.22/19.33 c #Conflicts: 550000 | #Constraints: 19387
19.22/19.33 c #Conflicts: 551000 | #Constraints: 20387
19.22/19.33 c #Conflicts: 552000 | #Constraints: 21387
19.22/19.33 c #Conflicts: 553000 | #Constraints: 22387
19.22/19.33 c #Conflicts: 554000 | #Constraints: 23387
19.22/19.33 c #Conflicts: 555000 | #Constraints: 24387
19.22/19.33 c #Conflicts: 556000 | #Constraints: 25387
19.22/19.33 c #Conflicts: 557000 | #Constraints: 26387
19.22/19.33 c #Conflicts: 558000 | #Constraints: 27387
19.22/19.33 c #Conflicts: 559000 | #Constraints: 28387
19.22/19.33 c #Conflicts: 560000 | #Constraints: 29387
19.22/19.33 c #Conflicts: 561000 | #Constraints: 30387
19.22/19.33 c INPROCESSING
19.22/19.33 c GARBAGE COLLECT
19.22/19.33 c rational objective 300.5
19.73/19.84 c #Conflicts: 562000 | #Constraints: 16591
19.73/19.84 c #Conflicts: 563000 | #Constraints: 17591
19.73/19.84 c #Conflicts: 564000 | #Constraints: 18591
19.73/19.84 c #Conflicts: 565000 | #Constraints: 19591
19.73/19.84 c #Conflicts: 566000 | #Constraints: 20591
19.73/19.84 c #Conflicts: 567000 | #Constraints: 21591
19.73/19.84 c #Conflicts: 568000 | #Constraints: 22591
19.73/19.84 c #Conflicts: 569000 | #Constraints: 23591
19.73/19.84 c #Conflicts: 570000 | #Constraints: 24591
19.73/19.84 c #Conflicts: 571000 | #Constraints: 25591
19.73/19.84 c #Conflicts: 572000 | #Constraints: 26591
19.73/19.84 c #Conflicts: 573000 | #Constraints: 27591
19.73/19.84 c #Conflicts: 574000 | #Constraints: 28591
19.73/19.84 c #Conflicts: 575000 | #Constraints: 29591
19.73/19.84 c #Conflicts: 576000 | #Constraints: 30591
19.73/19.84 c INPROCESSING
19.73/19.84 c GARBAGE COLLECT
19.73/19.84 c rational objective 300.5
20.22/20.35 c #Conflicts: 577000 | #Constraints: 16597
20.22/20.35 c #Conflicts: 578000 | #Constraints: 17597
20.22/20.35 c #Conflicts: 579000 | #Constraints: 18597
20.22/20.35 c #Conflicts: 580000 | #Constraints: 19597
20.22/20.35 c #Conflicts: 581000 | #Constraints: 20597
20.22/20.35 c #Conflicts: 582000 | #Constraints: 21597
20.22/20.35 c #Conflicts: 583000 | #Constraints: 22597
20.22/20.35 c #Conflicts: 584000 | #Constraints: 23597
20.22/20.35 c #Conflicts: 585000 | #Constraints: 24597
20.22/20.35 c #Conflicts: 586000 | #Constraints: 25597
20.22/20.35 c #Conflicts: 587000 | #Constraints: 26597
20.22/20.35 c #Conflicts: 588000 | #Constraints: 27597
20.22/20.35 c #Conflicts: 589000 | #Constraints: 28597
20.22/20.35 c #Conflicts: 590000 | #Constraints: 29597
20.22/20.35 c #Conflicts: 591000 | #Constraints: 30597
20.22/20.35 c INPROCESSING
20.22/20.35 c GARBAGE COLLECT
20.22/20.35 c rational objective 300.5
20.82/20.91 c #Conflicts: 592000 | #Constraints: 16403
20.82/20.91 c #Conflicts: 593000 | #Constraints: 17403
20.82/20.91 c #Conflicts: 594000 | #Constraints: 18403
20.82/20.91 c #Conflicts: 595000 | #Constraints: 19403
20.82/20.91 c #Conflicts: 596000 | #Constraints: 20403
20.82/20.91 c #Conflicts: 597000 | #Constraints: 21403
20.82/20.91 c #Conflicts: 598000 | #Constraints: 22403
20.82/20.91 c #Conflicts: 599000 | #Constraints: 23403
20.82/20.91 c #Conflicts: 600000 | #Constraints: 24403
20.82/20.91 c #Conflicts: 601000 | #Constraints: 25403
20.82/20.91 c #Conflicts: 602000 | #Constraints: 26403
20.82/20.91 c #Conflicts: 603000 | #Constraints: 27403
20.82/20.91 c #Conflicts: 604000 | #Constraints: 28403
20.82/20.91 c #Conflicts: 605000 | #Constraints: 29403
20.82/20.91 c #Conflicts: 606000 | #Constraints: 30403
20.82/20.91 c #Conflicts: 607000 | #Constraints: 31403
20.82/20.91 c INPROCESSING
20.82/20.91 c GARBAGE COLLECT
20.82/20.91 c rational objective 300.5
21.32/21.46 c #Conflicts: 608000 | #Constraints: 17001
21.32/21.46 c #Conflicts: 609000 | #Constraints: 18001
21.32/21.46 c #Conflicts: 610000 | #Constraints: 19001
21.32/21.46 c #Conflicts: 611000 | #Constraints: 20001
21.32/21.46 c #Conflicts: 612000 | #Constraints: 21001
21.32/21.46 c #Conflicts: 613000 | #Constraints: 22001
21.32/21.46 c #Conflicts: 614000 | #Constraints: 23001
21.32/21.46 c #Conflicts: 615000 | #Constraints: 24001
21.32/21.46 c #Conflicts: 616000 | #Constraints: 25001
21.32/21.46 c #Conflicts: 617000 | #Constraints: 26001
21.32/21.46 c #Conflicts: 618000 | #Constraints: 27001
21.32/21.46 c #Conflicts: 619000 | #Constraints: 28001
21.32/21.46 c #Conflicts: 620000 | #Constraints: 29001
21.32/21.46 c #Conflicts: 621000 | #Constraints: 30001
21.32/21.46 c #Conflicts: 622000 | #Constraints: 31001
21.32/21.46 c #Conflicts: 623000 | #Constraints: 32001
21.32/21.46 c INPROCESSING
21.32/21.46 c GARBAGE COLLECT
21.32/21.46 c rational objective 300.5
21.93/22.02 c #Conflicts: 624000 | #Constraints: 17395
21.93/22.02 c #Conflicts: 625000 | #Constraints: 18395
21.93/22.02 c #Conflicts: 626000 | #Constraints: 19395
21.93/22.02 c #Conflicts: 627000 | #Constraints: 20395
21.93/22.02 c #Conflicts: 628000 | #Constraints: 21395
21.93/22.02 c #Conflicts: 629000 | #Constraints: 22395
21.93/22.02 c #Conflicts: 630000 | #Constraints: 23395
21.93/22.02 c #Conflicts: 631000 | #Constraints: 24395
21.93/22.02 c #Conflicts: 632000 | #Constraints: 25395
21.93/22.02 c #Conflicts: 633000 | #Constraints: 26395
21.93/22.02 c #Conflicts: 634000 | #Constraints: 27395
21.93/22.02 c #Conflicts: 635000 | #Constraints: 28395
21.93/22.02 c #Conflicts: 636000 | #Constraints: 29395
21.93/22.02 c #Conflicts: 637000 | #Constraints: 30395
21.93/22.02 c #Conflicts: 638000 | #Constraints: 31395
21.93/22.02 c #Conflicts: 639000 | #Constraints: 32395
21.93/22.02 c INPROCESSING
21.93/22.02 c GARBAGE COLLECT
21.93/22.02 c rational objective 300.5
22.41/22.55 c #Conflicts: 640000 | #Constraints: 17598
22.41/22.55 c #Conflicts: 641000 | #Constraints: 18598
22.41/22.55 c #Conflicts: 642000 | #Constraints: 19598
22.41/22.55 c #Conflicts: 643000 | #Constraints: 20598
22.41/22.55 c #Conflicts: 644000 | #Constraints: 21598
22.41/22.55 c #Conflicts: 645000 | #Constraints: 22598
22.41/22.55 c #Conflicts: 646000 | #Constraints: 23598
22.41/22.55 c #Conflicts: 647000 | #Constraints: 24598
22.41/22.55 c #Conflicts: 648000 | #Constraints: 25598
22.41/22.55 c #Conflicts: 649000 | #Constraints: 26598
22.41/22.55 c #Conflicts: 650000 | #Constraints: 27598
22.41/22.55 c #Conflicts: 651000 | #Constraints: 28598
22.41/22.55 c #Conflicts: 652000 | #Constraints: 29598
22.41/22.55 c #Conflicts: 653000 | #Constraints: 30598
22.41/22.55 c #Conflicts: 654000 | #Constraints: 31598
22.41/22.55 c #Conflicts: 655000 | #Constraints: 32598
22.41/22.55 c INPROCESSING
22.41/22.55 c GARBAGE COLLECT
22.41/22.55 c rational objective 300.5
23.02/23.14 c #Conflicts: 656000 | #Constraints: 17600
23.02/23.14 c #Conflicts: 657000 | #Constraints: 18600
23.02/23.14 c #Conflicts: 658000 | #Constraints: 19600
23.02/23.14 c #Conflicts: 659000 | #Constraints: 20600
23.02/23.14 c #Conflicts: 660000 | #Constraints: 21600
23.02/23.14 c #Conflicts: 661000 | #Constraints: 22600
23.02/23.14 c #Conflicts: 662000 | #Constraints: 23600
23.02/23.14 c #Conflicts: 663000 | #Constraints: 24600
23.02/23.14 c #Conflicts: 664000 | #Constraints: 25600
23.02/23.14 c #Conflicts: 665000 | #Constraints: 26600
23.02/23.14 c #Conflicts: 666000 | #Constraints: 27600
23.02/23.14 c #Conflicts: 667000 | #Constraints: 28600
23.02/23.14 c #Conflicts: 668000 | #Constraints: 29600
23.02/23.14 c #Conflicts: 669000 | #Constraints: 30600
23.02/23.14 c #Conflicts: 670000 | #Constraints: 31600
23.02/23.14 c #Conflicts: 671000 | #Constraints: 32600
23.02/23.14 c INPROCESSING
23.02/23.14 c GARBAGE COLLECT
23.02/23.14 c rational objective 300.5
23.61/23.72 c #Conflicts: 672000 | #Constraints: 17404
23.61/23.72 c #Conflicts: 673000 | #Constraints: 18404
23.61/23.72 c #Conflicts: 674000 | #Constraints: 19404
23.61/23.72 c #Conflicts: 675000 | #Constraints: 20404
23.61/23.72 c #Conflicts: 676000 | #Constraints: 21404
23.61/23.72 c #Conflicts: 677000 | #Constraints: 22404
23.61/23.72 c #Conflicts: 678000 | #Constraints: 23404
23.61/23.72 c #Conflicts: 679000 | #Constraints: 24404
23.61/23.72 c #Conflicts: 680000 | #Constraints: 25404
23.61/23.72 c #Conflicts: 681000 | #Constraints: 26404
23.61/23.72 c #Conflicts: 682000 | #Constraints: 27404
23.61/23.72 c #Conflicts: 683000 | #Constraints: 28404
23.61/23.72 c #Conflicts: 684000 | #Constraints: 29404
23.61/23.72 c #Conflicts: 685000 | #Constraints: 30404
23.61/23.72 c #Conflicts: 686000 | #Constraints: 31404
23.61/23.72 c #Conflicts: 687000 | #Constraints: 32404
23.61/23.72 c #Conflicts: 688000 | #Constraints: 33404
23.61/23.72 c INPROCESSING
23.61/23.72 c GARBAGE COLLECT
23.61/23.72 c rational objective 300.5
24.21/24.35 c #Conflicts: 689000 | #Constraints: 18010
24.21/24.35 c #Conflicts: 690000 | #Constraints: 19010
24.21/24.35 c #Conflicts: 691000 | #Constraints: 20010
24.21/24.35 c #Conflicts: 692000 | #Constraints: 21010
24.21/24.35 c #Conflicts: 693000 | #Constraints: 22010
24.21/24.35 c #Conflicts: 694000 | #Constraints: 23010
24.21/24.35 c #Conflicts: 695000 | #Constraints: 24010
24.21/24.35 c #Conflicts: 696000 | #Constraints: 25010
24.21/24.35 c #Conflicts: 697000 | #Constraints: 26010
24.21/24.35 c #Conflicts: 698000 | #Constraints: 27010
24.21/24.35 c #Conflicts: 699000 | #Constraints: 28010
24.21/24.35 c #Conflicts: 700000 | #Constraints: 29010
24.21/24.35 c #Conflicts: 701000 | #Constraints: 30010
24.21/24.35 c #Conflicts: 702000 | #Constraints: 31010
24.21/24.35 c #Conflicts: 703000 | #Constraints: 32010
24.21/24.35 c #Conflicts: 704000 | #Constraints: 33010
24.21/24.35 c #Conflicts: 705000 | #Constraints: 34010
24.21/24.35 c INPROCESSING
24.21/24.35 c GARBAGE COLLECT
24.21/24.35 c rational objective 300.5
24.92/25.01 c #Conflicts: 706000 | #Constraints: 18410
24.92/25.01 c #Conflicts: 707000 | #Constraints: 19410
24.92/25.01 c #Conflicts: 708000 | #Constraints: 20410
24.92/25.01 c #Conflicts: 709000 | #Constraints: 21410
24.92/25.01 c #Conflicts: 710000 | #Constraints: 22410
24.92/25.01 c #Conflicts: 711000 | #Constraints: 23410
24.92/25.01 c #Conflicts: 712000 | #Constraints: 24410
24.92/25.01 c #Conflicts: 713000 | #Constraints: 25410
24.92/25.01 c #Conflicts: 714000 | #Constraints: 26410
24.92/25.01 c #Conflicts: 715000 | #Constraints: 27410
24.92/25.01 c #Conflicts: 716000 | #Constraints: 28410
24.92/25.01 c #Conflicts: 717000 | #Constraints: 29410
24.92/25.01 c #Conflicts: 718000 | #Constraints: 30410
24.92/25.01 c #Conflicts: 719000 | #Constraints: 31410
24.92/25.01 c #Conflicts: 720000 | #Constraints: 32410
24.92/25.01 c #Conflicts: 721000 | #Constraints: 33410
24.92/25.01 c #Conflicts: 722000 | #Constraints: 34410
24.92/25.01 c INPROCESSING
24.92/25.01 c GARBAGE COLLECT
24.92/25.01 c rational objective 300.5
25.61/25.71 c #Conflicts: 723000 | #Constraints: 18612
25.61/25.71 c #Conflicts: 724000 | #Constraints: 19612
25.61/25.71 c #Conflicts: 725000 | #Constraints: 20612
25.61/25.71 c #Conflicts: 726000 | #Constraints: 21612
25.61/25.71 c #Conflicts: 727000 | #Constraints: 22612
25.61/25.71 c #Conflicts: 728000 | #Constraints: 23612
25.61/25.71 c #Conflicts: 729000 | #Constraints: 24612
25.61/25.71 c #Conflicts: 730000 | #Constraints: 25612
25.61/25.71 c #Conflicts: 731000 | #Constraints: 26612
25.61/25.71 c #Conflicts: 732000 | #Constraints: 27612
25.61/25.71 c #Conflicts: 733000 | #Constraints: 28612
25.61/25.71 c #Conflicts: 734000 | #Constraints: 29612
25.61/25.71 c #Conflicts: 735000 | #Constraints: 30612
25.61/25.71 c #Conflicts: 736000 | #Constraints: 31612
25.61/25.71 c #Conflicts: 737000 | #Constraints: 32612
25.61/25.71 c #Conflicts: 738000 | #Constraints: 33612
25.61/25.71 c #Conflicts: 739000 | #Constraints: 34612
25.61/25.71 c INPROCESSING
25.61/25.71 c GARBAGE COLLECT
25.61/25.71 c rational objective 300.5
26.21/26.34 c #Conflicts: 740000 | #Constraints: 18609
26.21/26.34 c #Conflicts: 741000 | #Constraints: 19609
26.21/26.34 c #Conflicts: 742000 | #Constraints: 20609
26.21/26.34 c #Conflicts: 743000 | #Constraints: 21609
26.21/26.34 c #Conflicts: 744000 | #Constraints: 22609
26.21/26.34 c #Conflicts: 745000 | #Constraints: 23609
26.21/26.34 c #Conflicts: 746000 | #Constraints: 24609
26.21/26.34 c #Conflicts: 747000 | #Constraints: 25609
26.21/26.34 c #Conflicts: 748000 | #Constraints: 26609
26.21/26.34 c #Conflicts: 749000 | #Constraints: 27609
26.21/26.34 c #Conflicts: 750000 | #Constraints: 28609
26.21/26.34 c #Conflicts: 751000 | #Constraints: 29609
26.21/26.34 c #Conflicts: 752000 | #Constraints: 30609
26.21/26.34 c #Conflicts: 753000 | #Constraints: 31609
26.21/26.34 c #Conflicts: 754000 | #Constraints: 32609
26.21/26.34 c #Conflicts: 755000 | #Constraints: 33609
26.21/26.34 c #Conflicts: 756000 | #Constraints: 34609
26.21/26.34 c INPROCESSING
26.21/26.34 c GARBAGE COLLECT
26.21/26.34 c rational objective 300.5
26.81/27.00 c #Conflicts: 757000 | #Constraints: 18401
26.81/27.00 c #Conflicts: 758000 | #Constraints: 19401
26.81/27.00 c #Conflicts: 759000 | #Constraints: 20401
26.81/27.00 c #Conflicts: 760000 | #Constraints: 21401
26.81/27.00 c #Conflicts: 761000 | #Constraints: 22401
26.81/27.00 c #Conflicts: 762000 | #Constraints: 23401
26.81/27.00 c #Conflicts: 763000 | #Constraints: 24401
26.81/27.00 c #Conflicts: 764000 | #Constraints: 25401
26.81/27.00 c #Conflicts: 765000 | #Constraints: 26401
26.81/27.00 c #Conflicts: 766000 | #Constraints: 27401
26.81/27.00 c #Conflicts: 767000 | #Constraints: 28401
26.81/27.00 c #Conflicts: 768000 | #Constraints: 29401
26.81/27.00 c #Conflicts: 769000 | #Constraints: 30401
26.81/27.00 c #Conflicts: 770000 | #Constraints: 31401
26.81/27.00 c #Conflicts: 771000 | #Constraints: 32401
26.81/27.00 c #Conflicts: 772000 | #Constraints: 33401
26.81/27.00 c #Conflicts: 773000 | #Constraints: 34401
26.81/27.00 c #Conflicts: 774000 | #Constraints: 35401
26.81/27.00 c INPROCESSING
26.81/27.00 c GARBAGE COLLECT
26.81/27.00 c rational objective 300.5
27.50/27.67 c #Conflicts: 775000 | #Constraints: 19004
27.50/27.67 c #Conflicts: 776000 | #Constraints: 20004
27.50/27.67 c #Conflicts: 777000 | #Constraints: 21004
27.50/27.67 c #Conflicts: 778000 | #Constraints: 22004
27.50/27.67 c #Conflicts: 779000 | #Constraints: 23004
27.50/27.67 c #Conflicts: 780000 | #Constraints: 24004
27.50/27.67 c #Conflicts: 781000 | #Constraints: 25004
27.50/27.67 c #Conflicts: 782000 | #Constraints: 26004
27.50/27.67 c #Conflicts: 783000 | #Constraints: 27004
27.50/27.67 c #Conflicts: 784000 | #Constraints: 28004
27.50/27.67 c #Conflicts: 785000 | #Constraints: 29004
27.50/27.67 c #Conflicts: 786000 | #Constraints: 30004
27.50/27.67 c #Conflicts: 787000 | #Constraints: 31004
27.50/27.67 c #Conflicts: 788000 | #Constraints: 32004
27.50/27.67 c #Conflicts: 789000 | #Constraints: 33004
27.50/27.67 c #Conflicts: 790000 | #Constraints: 34004
27.50/27.67 c #Conflicts: 791000 | #Constraints: 35004
27.50/27.67 c #Conflicts: 792000 | #Constraints: 36004
27.50/27.67 c INPROCESSING
27.50/27.67 c GARBAGE COLLECT
27.50/27.67 c rational objective 300.5
28.20/28.32 c #Conflicts: 793000 | #Constraints: 19401
28.20/28.32 c #Conflicts: 794000 | #Constraints: 20401
28.20/28.32 c #Conflicts: 795000 | #Constraints: 21401
28.20/28.32 c #Conflicts: 796000 | #Constraints: 22401
28.20/28.32 c #Conflicts: 797000 | #Constraints: 23401
28.20/28.32 c #Conflicts: 798000 | #Constraints: 24401
28.20/28.32 c #Conflicts: 799000 | #Constraints: 25401
28.20/28.32 c #Conflicts: 800000 | #Constraints: 26401
28.20/28.32 c #Conflicts: 801000 | #Constraints: 27401
28.20/28.32 c #Conflicts: 802000 | #Constraints: 28401
28.20/28.32 c #Conflicts: 803000 | #Constraints: 29401
28.20/28.32 c #Conflicts: 804000 | #Constraints: 30401
28.20/28.32 c #Conflicts: 805000 | #Constraints: 31401
28.20/28.32 c #Conflicts: 806000 | #Constraints: 32401
28.20/28.32 c #Conflicts: 807000 | #Constraints: 33401
28.20/28.32 c #Conflicts: 808000 | #Constraints: 34401
28.20/28.32 c #Conflicts: 809000 | #Constraints: 35401
28.20/28.32 c #Conflicts: 810000 | #Constraints: 36401
28.20/28.32 c INPROCESSING
28.20/28.32 c GARBAGE COLLECT
28.20/28.32 c rational objective 300.5
28.91/29.00 c #Conflicts: 811000 | #Constraints: 19603
28.91/29.00 c #Conflicts: 812000 | #Constraints: 20603
28.91/29.00 c #Conflicts: 813000 | #Constraints: 21603
28.91/29.00 c #Conflicts: 814000 | #Constraints: 22603
28.91/29.00 c #Conflicts: 815000 | #Constraints: 23603
28.91/29.00 c #Conflicts: 816000 | #Constraints: 24603
28.91/29.00 c #Conflicts: 817000 | #Constraints: 25603
28.91/29.00 c #Conflicts: 818000 | #Constraints: 26603
28.91/29.00 c #Conflicts: 819000 | #Constraints: 27603
28.91/29.00 c #Conflicts: 820000 | #Constraints: 28603
28.91/29.00 c #Conflicts: 821000 | #Constraints: 29603
28.91/29.00 c #Conflicts: 822000 | #Constraints: 30603
28.91/29.00 c #Conflicts: 823000 | #Constraints: 31603
28.91/29.00 c #Conflicts: 824000 | #Constraints: 32603
28.91/29.00 c #Conflicts: 825000 | #Constraints: 33603
28.91/29.00 c #Conflicts: 826000 | #Constraints: 34603
28.91/29.00 c #Conflicts: 827000 | #Constraints: 35603
28.91/29.00 c #Conflicts: 828000 | #Constraints: 36603
28.91/29.00 c INPROCESSING
28.91/29.00 c GARBAGE COLLECT
28.91/29.00 c rational objective 300.5
29.60/29.75 c #Conflicts: 829000 | #Constraints: 19604
29.60/29.75 c #Conflicts: 830000 | #Constraints: 20604
29.60/29.75 c #Conflicts: 831000 | #Constraints: 21604
29.60/29.75 c #Conflicts: 832000 | #Constraints: 22604
29.60/29.75 c #Conflicts: 833000 | #Constraints: 23604
29.60/29.75 c #Conflicts: 834000 | #Constraints: 24604
29.60/29.75 c #Conflicts: 835000 | #Constraints: 25604
29.60/29.75 c #Conflicts: 836000 | #Constraints: 26604
29.60/29.75 c #Conflicts: 837000 | #Constraints: 27604
29.60/29.75 c #Conflicts: 838000 | #Constraints: 28604
29.60/29.75 c #Conflicts: 839000 | #Constraints: 29604
29.60/29.75 c #Conflicts: 840000 | #Constraints: 30604
29.60/29.75 c #Conflicts: 841000 | #Constraints: 31604
29.60/29.75 c #Conflicts: 842000 | #Constraints: 32604
29.60/29.75 c #Conflicts: 843000 | #Constraints: 33604
29.60/29.75 c #Conflicts: 844000 | #Constraints: 34604
29.60/29.75 c #Conflicts: 845000 | #Constraints: 35604
29.60/29.75 c #Conflicts: 846000 | #Constraints: 36604
29.60/29.75 c INPROCESSING
29.60/29.75 c GARBAGE COLLECT
29.60/29.75 c rational objective 300.5
30.40/30.52 c #Conflicts: 847000 | #Constraints: 19406
30.40/30.52 c #Conflicts: 848000 | #Constraints: 20406
30.40/30.52 c #Conflicts: 849000 | #Constraints: 21406
30.40/30.52 c #Conflicts: 850000 | #Constraints: 22406
30.40/30.52 c #Conflicts: 851000 | #Constraints: 23406
30.40/30.52 c #Conflicts: 852000 | #Constraints: 24406
30.40/30.52 c #Conflicts: 853000 | #Constraints: 25406
30.40/30.52 c #Conflicts: 854000 | #Constraints: 26406
30.40/30.52 c #Conflicts: 855000 | #Constraints: 27406
30.40/30.52 c #Conflicts: 856000 | #Constraints: 28406
30.40/30.52 c #Conflicts: 857000 | #Constraints: 29406
30.40/30.52 c #Conflicts: 858000 | #Constraints: 30406
30.40/30.52 c #Conflicts: 859000 | #Constraints: 31406
30.40/30.52 c #Conflicts: 860000 | #Constraints: 32406
30.40/30.52 c #Conflicts: 861000 | #Constraints: 33406
30.40/30.52 c #Conflicts: 862000 | #Constraints: 34406
30.40/30.52 c #Conflicts: 863000 | #Constraints: 35406
30.40/30.52 c #Conflicts: 864000 | #Constraints: 36406
30.40/30.52 c #Conflicts: 865000 | #Constraints: 37406
30.40/30.52 c INPROCESSING
30.40/30.52 c GARBAGE COLLECT
30.40/30.52 c rational objective 300.5
31.10/31.28 c #Conflicts: 866000 | #Constraints: 20010
31.10/31.28 c #Conflicts: 867000 | #Constraints: 21010
31.10/31.28 c #Conflicts: 868000 | #Constraints: 22010
31.10/31.28 c #Conflicts: 869000 | #Constraints: 23010
31.10/31.28 c #Conflicts: 870000 | #Constraints: 24010
31.10/31.28 c #Conflicts: 871000 | #Constraints: 25010
31.10/31.28 c #Conflicts: 872000 | #Constraints: 26010
31.10/31.28 c #Conflicts: 873000 | #Constraints: 27010
31.10/31.28 c #Conflicts: 874000 | #Constraints: 28010
31.10/31.28 c #Conflicts: 875000 | #Constraints: 29010
31.10/31.28 c #Conflicts: 876000 | #Constraints: 30010
31.10/31.28 c #Conflicts: 877000 | #Constraints: 31010
31.10/31.28 c #Conflicts: 878000 | #Constraints: 32010
31.10/31.28 c #Conflicts: 879000 | #Constraints: 33010
31.10/31.28 c #Conflicts: 880000 | #Constraints: 34010
31.10/31.28 c #Conflicts: 881000 | #Constraints: 35010
31.10/31.28 c #Conflicts: 882000 | #Constraints: 36010
31.10/31.28 c #Conflicts: 883000 | #Constraints: 37010
31.10/31.28 c #Conflicts: 884000 | #Constraints: 38010
31.10/31.28 c INPROCESSING
31.10/31.28 c GARBAGE COLLECT
31.10/31.28 c rational objective 300.5
31.89/32.01 c #Conflicts: 885000 | #Constraints: 20414
31.89/32.01 c #Conflicts: 886000 | #Constraints: 21414
31.89/32.01 c #Conflicts: 887000 | #Constraints: 22414
31.89/32.01 c #Conflicts: 888000 | #Constraints: 23414
31.89/32.01 c #Conflicts: 889000 | #Constraints: 24414
31.89/32.01 c #Conflicts: 890000 | #Constraints: 25414
31.89/32.01 c #Conflicts: 891000 | #Constraints: 26414
31.89/32.01 c #Conflicts: 892000 | #Constraints: 27414
31.89/32.01 c #Conflicts: 893000 | #Constraints: 28414
31.89/32.01 c #Conflicts: 894000 | #Constraints: 29414
31.89/32.01 c #Conflicts: 895000 | #Constraints: 30414
31.89/32.01 c #Conflicts: 896000 | #Constraints: 31414
31.89/32.01 c #Conflicts: 897000 | #Constraints: 32414
31.89/32.01 c #Conflicts: 898000 | #Constraints: 33414
31.89/32.01 c #Conflicts: 899000 | #Constraints: 34414
31.89/32.01 c #Conflicts: 900000 | #Constraints: 35414
31.89/32.01 c #Conflicts: 901000 | #Constraints: 36414
31.89/32.01 c #Conflicts: 902000 | #Constraints: 37414
31.89/32.01 c #Conflicts: 903000 | #Constraints: 38414
31.89/32.01 c INPROCESSING
31.89/32.01 c GARBAGE COLLECT
31.89/32.01 c rational objective 300.5
32.59/32.76 c #Conflicts: 904000 | #Constraints: 20620
32.59/32.76 c #Conflicts: 905000 | #Constraints: 21620
32.59/32.76 c #Conflicts: 906000 | #Constraints: 22620
32.59/32.76 c #Conflicts: 907000 | #Constraints: 23620
32.59/32.76 c #Conflicts: 908000 | #Constraints: 24620
32.59/32.76 c #Conflicts: 909000 | #Constraints: 25620
32.59/32.76 c #Conflicts: 910000 | #Constraints: 26620
32.59/32.76 c #Conflicts: 911000 | #Constraints: 27620
32.59/32.76 c #Conflicts: 912000 | #Constraints: 28620
32.59/32.76 c #Conflicts: 913000 | #Constraints: 29620
32.59/32.76 c #Conflicts: 914000 | #Constraints: 30620
32.59/32.76 c #Conflicts: 915000 | #Constraints: 31620
32.59/32.76 c #Conflicts: 916000 | #Constraints: 32620
32.59/32.76 c #Conflicts: 917000 | #Constraints: 33620
32.59/32.76 c #Conflicts: 918000 | #Constraints: 34620
32.59/32.76 c #Conflicts: 919000 | #Constraints: 35620
32.59/32.76 c #Conflicts: 920000 | #Constraints: 36620
32.59/32.76 c #Conflicts: 921000 | #Constraints: 37620
32.59/32.76 c #Conflicts: 922000 | #Constraints: 38620
32.59/32.76 c INPROCESSING
32.59/32.76 c GARBAGE COLLECT
32.59/32.76 c rational objective 300.5
33.39/33.50 c #Conflicts: 923000 | #Constraints: 20614
33.39/33.50 c #Conflicts: 924000 | #Constraints: 21614
33.39/33.50 c #Conflicts: 925000 | #Constraints: 22614
33.39/33.50 c #Conflicts: 926000 | #Constraints: 23614
33.39/33.50 c #Conflicts: 927000 | #Constraints: 24614
33.39/33.50 c #Conflicts: 928000 | #Constraints: 25614
33.39/33.50 c #Conflicts: 929000 | #Constraints: 26614
33.39/33.50 c #Conflicts: 930000 | #Constraints: 27614
33.39/33.50 c #Conflicts: 931000 | #Constraints: 28614
33.39/33.50 c #Conflicts: 932000 | #Constraints: 29614
33.39/33.50 c #Conflicts: 933000 | #Constraints: 30614
33.39/33.50 c #Conflicts: 934000 | #Constraints: 31614
33.39/33.50 c #Conflicts: 935000 | #Constraints: 32614
33.39/33.50 c #Conflicts: 936000 | #Constraints: 33614
33.39/33.50 c #Conflicts: 937000 | #Constraints: 34614
33.39/33.50 c #Conflicts: 938000 | #Constraints: 35614
33.39/33.50 c #Conflicts: 939000 | #Constraints: 36614
33.39/33.50 c #Conflicts: 940000 | #Constraints: 37614
33.39/33.50 c #Conflicts: 941000 | #Constraints: 38614
33.39/33.50 c INPROCESSING
33.39/33.50 c GARBAGE COLLECT
33.39/33.50 c rational objective 300.5
34.08/34.25 c #Conflicts: 942000 | #Constraints: 20417
34.08/34.25 c #Conflicts: 943000 | #Constraints: 21417
34.08/34.25 c #Conflicts: 944000 | #Constraints: 22417
34.08/34.25 c #Conflicts: 945000 | #Constraints: 23417
34.08/34.25 c #Conflicts: 946000 | #Constraints: 24417
34.08/34.25 c #Conflicts: 947000 | #Constraints: 25417
34.08/34.25 c #Conflicts: 948000 | #Constraints: 26417
34.08/34.25 c #Conflicts: 949000 | #Constraints: 27417
34.08/34.25 c #Conflicts: 950000 | #Constraints: 28417
34.08/34.25 c #Conflicts: 951000 | #Constraints: 29417
34.08/34.25 c #Conflicts: 952000 | #Constraints: 30417
34.08/34.25 c #Conflicts: 953000 | #Constraints: 31417
34.08/34.25 c #Conflicts: 954000 | #Constraints: 32417
34.08/34.25 c #Conflicts: 955000 | #Constraints: 33417
34.08/34.25 c #Conflicts: 956000 | #Constraints: 34417
34.08/34.25 c #Conflicts: 957000 | #Constraints: 35417
34.08/34.25 c #Conflicts: 958000 | #Constraints: 36417
34.08/34.25 c #Conflicts: 959000 | #Constraints: 37417
34.08/34.25 c #Conflicts: 960000 | #Constraints: 38417
34.08/34.25 c #Conflicts: 961000 | #Constraints: 39417
34.08/34.25 c INPROCESSING
34.08/34.25 c GARBAGE COLLECT
34.08/34.25 c rational objective 300.5
34.88/35.09 c #Conflicts: 962000 | #Constraints: 21020
34.88/35.09 c #Conflicts: 963000 | #Constraints: 22020
34.88/35.09 c #Conflicts: 964000 | #Constraints: 23020
34.88/35.09 c #Conflicts: 965000 | #Constraints: 24020
34.88/35.09 c #Conflicts: 966000 | #Constraints: 25020
34.88/35.09 c #Conflicts: 967000 | #Constraints: 26020
34.88/35.09 c #Conflicts: 968000 | #Constraints: 27020
34.88/35.09 c #Conflicts: 969000 | #Constraints: 28020
34.88/35.09 c #Conflicts: 970000 | #Constraints: 29020
34.88/35.09 c #Conflicts: 971000 | #Constraints: 30020
34.88/35.09 c #Conflicts: 972000 | #Constraints: 31020
34.88/35.09 c #Conflicts: 973000 | #Constraints: 32020
34.88/35.09 c #Conflicts: 974000 | #Constraints: 33020
34.88/35.09 c #Conflicts: 975000 | #Constraints: 34020
34.88/35.09 c #Conflicts: 976000 | #Constraints: 35020
34.88/35.09 c #Conflicts: 977000 | #Constraints: 36020
34.88/35.09 c #Conflicts: 978000 | #Constraints: 37020
34.88/35.09 c #Conflicts: 979000 | #Constraints: 38020
34.88/35.09 c #Conflicts: 980000 | #Constraints: 39020
34.88/35.09 c #Conflicts: 981000 | #Constraints: 40020
34.88/35.09 c INPROCESSING
34.88/35.09 c GARBAGE COLLECT
34.88/35.09 c rational objective 300.5
35.68/35.83 c #Conflicts: 982000 | #Constraints: 21421
35.68/35.83 c #Conflicts: 983000 | #Constraints: 22421
35.68/35.83 c #Conflicts: 984000 | #Constraints: 23421
35.68/35.83 c #Conflicts: 985000 | #Constraints: 24421
35.68/35.83 c #Conflicts: 986000 | #Constraints: 25421
35.68/35.83 c #Conflicts: 987000 | #Constraints: 26421
35.68/35.83 c #Conflicts: 988000 | #Constraints: 27421
35.68/35.83 c #Conflicts: 989000 | #Constraints: 28421
35.68/35.83 c #Conflicts: 990000 | #Constraints: 29421
35.68/35.83 c #Conflicts: 991000 | #Constraints: 30421
35.68/35.83 c #Conflicts: 992000 | #Constraints: 31421
35.68/35.83 c #Conflicts: 993000 | #Constraints: 32421
35.68/35.83 c #Conflicts: 994000 | #Constraints: 33421
35.68/35.83 c #Conflicts: 995000 | #Constraints: 34421
35.68/35.83 c #Conflicts: 996000 | #Constraints: 35421
35.68/35.83 c #Conflicts: 997000 | #Constraints: 36421
35.68/35.83 c #Conflicts: 998000 | #Constraints: 37421
35.68/35.83 c #Conflicts: 999000 | #Constraints: 38421
35.68/35.83 c #Conflicts: 1000000 | #Constraints: 39421
35.68/35.83 c #Conflicts: 1001000 | #Constraints: 40421
35.68/35.83 c INPROCESSING
35.68/35.83 c GARBAGE COLLECT
35.68/35.83 c rational objective 300.5
36.48/36.65 c #Conflicts: 1002000 | #Constraints: 21624
36.48/36.65 c #Conflicts: 1003000 | #Constraints: 22624
36.48/36.65 c #Conflicts: 1004000 | #Constraints: 23624
36.48/36.65 c #Conflicts: 1005000 | #Constraints: 24624
36.48/36.65 c #Conflicts: 1006000 | #Constraints: 25624
36.48/36.65 c #Conflicts: 1007000 | #Constraints: 26624
36.48/36.65 c #Conflicts: 1008000 | #Constraints: 27624
36.48/36.65 c #Conflicts: 1009000 | #Constraints: 28624
36.48/36.65 c #Conflicts: 1010000 | #Constraints: 29624
36.48/36.65 c #Conflicts: 1011000 | #Constraints: 30624
36.48/36.65 c #Conflicts: 1012000 | #Constraints: 31624
36.48/36.65 c #Conflicts: 1013000 | #Constraints: 32624
36.48/36.65 c #Conflicts: 1014000 | #Constraints: 33624
36.48/36.65 c #Conflicts: 1015000 | #Constraints: 34624
36.48/36.65 c #Conflicts: 1016000 | #Constraints: 35624
36.48/36.65 c #Conflicts: 1017000 | #Constraints: 36624
36.48/36.65 c #Conflicts: 1018000 | #Constraints: 37624
36.48/36.65 c #Conflicts: 1019000 | #Constraints: 38624
36.48/36.65 c #Conflicts: 1020000 | #Constraints: 39624
36.48/36.65 c #Conflicts: 1021000 | #Constraints: 40624
36.48/36.65 c INPROCESSING
36.48/36.65 c GARBAGE COLLECT
36.48/36.65 c rational objective 300.5
37.28/37.47 c #Conflicts: 1022000 | #Constraints: 21625
37.28/37.47 c #Conflicts: 1023000 | #Constraints: 22625
37.28/37.47 c #Conflicts: 1024000 | #Constraints: 23625
37.28/37.47 c #Conflicts: 1025000 | #Constraints: 24625
37.28/37.47 c #Conflicts: 1026000 | #Constraints: 25625
37.28/37.47 c #Conflicts: 1027000 | #Constraints: 26625
37.28/37.47 c #Conflicts: 1028000 | #Constraints: 27625
37.28/37.47 c #Conflicts: 1029000 | #Constraints: 28625
37.28/37.47 c #Conflicts: 1030000 | #Constraints: 29625
37.28/37.47 c #Conflicts: 1031000 | #Constraints: 30625
37.28/37.47 c #Conflicts: 1032000 | #Constraints: 31625
37.28/37.47 c #Conflicts: 1033000 | #Constraints: 32625
37.28/37.47 c #Conflicts: 1034000 | #Constraints: 33625
37.28/37.47 c #Conflicts: 1035000 | #Constraints: 34625
37.28/37.47 c #Conflicts: 1036000 | #Constraints: 35625
37.28/37.47 c #Conflicts: 1037000 | #Constraints: 36625
37.28/37.47 c #Conflicts: 1038000 | #Constraints: 37625
37.28/37.47 c #Conflicts: 1039000 | #Constraints: 38625
37.28/37.47 c #Conflicts: 1040000 | #Constraints: 39625
37.28/37.47 c #Conflicts: 1041000 | #Constraints: 40625
37.28/37.47 c INPROCESSING
37.28/37.47 c GARBAGE COLLECT
37.28/37.47 c rational objective 300.5
38.07/38.29 c #Conflicts: 1042000 | #Constraints: 21418
38.07/38.29 c #Conflicts: 1043000 | #Constraints: 22418
38.07/38.29 c #Conflicts: 1044000 | #Constraints: 23418
38.07/38.29 c #Conflicts: 1045000 | #Constraints: 24418
38.07/38.29 c #Conflicts: 1046000 | #Constraints: 25418
38.07/38.29 c #Conflicts: 1047000 | #Constraints: 26418
38.07/38.29 c #Conflicts: 1048000 | #Constraints: 27418
38.07/38.29 c #Conflicts: 1049000 | #Constraints: 28418
38.07/38.29 c #Conflicts: 1050000 | #Constraints: 29418
38.07/38.29 c #Conflicts: 1051000 | #Constraints: 30418
38.07/38.29 c #Conflicts: 1052000 | #Constraints: 31418
38.07/38.29 c #Conflicts: 1053000 | #Constraints: 32418
38.07/38.29 c #Conflicts: 1054000 | #Constraints: 33418
38.07/38.29 c #Conflicts: 1055000 | #Constraints: 34418
38.07/38.29 c #Conflicts: 1056000 | #Constraints: 35418
38.07/38.29 c #Conflicts: 1057000 | #Constraints: 36418
38.07/38.29 c #Conflicts: 1058000 | #Constraints: 37418
38.07/38.29 c #Conflicts: 1059000 | #Constraints: 38418
38.07/38.29 c #Conflicts: 1060000 | #Constraints: 39418
38.07/38.29 c #Conflicts: 1061000 | #Constraints: 40418
38.07/38.29 c #Conflicts: 1062000 | #Constraints: 41418
38.07/38.29 c INPROCESSING
38.07/38.29 c GARBAGE COLLECT
38.07/38.29 c rational objective 300.5
38.88/39.09 c #Conflicts: 1063000 | #Constraints: 22023
38.88/39.09 c #Conflicts: 1064000 | #Constraints: 23023
38.88/39.09 c #Conflicts: 1065000 | #Constraints: 24023
38.88/39.09 c #Conflicts: 1066000 | #Constraints: 25023
38.88/39.09 c #Conflicts: 1067000 | #Constraints: 26023
38.88/39.09 c #Conflicts: 1068000 | #Constraints: 27023
38.88/39.09 c #Conflicts: 1069000 | #Constraints: 28023
38.88/39.09 c #Conflicts: 1070000 | #Constraints: 29023
38.88/39.09 c #Conflicts: 1071000 | #Constraints: 30023
38.88/39.09 c #Conflicts: 1072000 | #Constraints: 31023
38.88/39.09 c #Conflicts: 1073000 | #Constraints: 32023
38.88/39.09 c #Conflicts: 1074000 | #Constraints: 33023
38.88/39.09 c #Conflicts: 1075000 | #Constraints: 34023
38.88/39.09 c #Conflicts: 1076000 | #Constraints: 35023
38.88/39.09 c #Conflicts: 1077000 | #Constraints: 36023
38.88/39.09 c #Conflicts: 1078000 | #Constraints: 37023
38.88/39.09 c #Conflicts: 1079000 | #Constraints: 38023
38.88/39.09 c #Conflicts: 1080000 | #Constraints: 39023
38.88/39.09 c #Conflicts: 1081000 | #Constraints: 40023
38.88/39.09 c #Conflicts: 1082000 | #Constraints: 41023
38.88/39.09 c #Conflicts: 1083000 | #Constraints: 42023
38.88/39.09 c INPROCESSING
38.88/39.09 c GARBAGE COLLECT
38.88/39.09 c rational objective 300.5
38.98/39.12 c cpu time 35.5353 s
38.98/39.12 c deterministic time 1417437155 1.42e+09
38.98/39.12 c optimization time 8.2e-05 s
38.98/39.12 c total solve time 35.5326 s
38.98/39.12 c core-guided solve time 0 s
38.98/39.12 c propagation time 24.9158 s
38.98/39.12 c conflict analysis time 5.19154 s
38.98/39.12 c propagations 5412507
38.98/39.12 c resolve steps 3149643
38.98/39.12 c decisions 1890920
38.98/39.12 c conflicts 1083710
38.98/39.12 c restarts 2046
38.98/39.12 c inprocessing phases 95
38.98/39.12 c garbage collections 95 ,( 100.00 )
38.98/39.12 c input clauses 58 ,( 8.81 )
38.98/39.12 c input cardinalities 600 ,( 91.19 )
38.98/39.12 c input general constraints 0 ,( 0.00 )
38.98/39.12 c input average constraint length 3.90
38.98/39.12 c input average constraint degree 1.91
38.98/39.12 c learned clauses 1065085 ,( 98.24 )
38.98/39.12 c learned cardinalities 2552 ,( 0.24 )
38.98/39.12 c learned general constraints 16556 ,( 1.53 )
38.98/39.12 c learned average constraint length 16.27
38.98/39.12 c learned average constraint degree 156890.28
38.98/39.12 c watched CF 32, 64, 128, Arb: 6869 , 0 , 0 , 0
38.98/39.12 c counting CF 32, 64, 128, Arb: 9687 , 0 , 0 , 0
38.98/39.12 c watched constraints 6869 ,( 41.49 )
38.98/39.12 c counting constraints 9687 ,( 58.51 )
38.98/39.12 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 321191381 , 12916202 , 11978476 ,( 9852790 , 2125686 )
38.98/39.12 c gcd simplifications 846
38.98/39.12 c detected cardinalities 454
38.98/39.12 c weakened non-implied lits 113984
38.98/39.12 c weakened non-implying lits 140
38.98/39.12 c original variables 619
38.98/39.12 c clausal propagations 2358913
38.98/39.12 c cardinality propagations 1229187
38.98/39.12 c watched propagations 61202
38.98/39.12 c counting propagations 662707
38.98/39.12 c watch lookups 646091984
38.98/39.12 c watch backjump lookups 0
38.98/39.12 c watch checks 672997729
38.98/39.12 c propagation checks 28134393
38.98/39.12 c constraint additions 54413080
38.98/39.12 c trail pops 8387114
38.98/39.12 c formula constraints 658
38.98/39.12 c learned constraints 1083701
38.98/39.12 c bound constraints 0
38.98/39.12 c core-guided constraints 0
38.98/39.12 c encountered formula constraints 61766
38.98/39.12 c encountered learned constraints 4170455
38.98/39.12 c encountered bound constraints 0
38.98/39.12 c encountered core-guided constraints 0
38.98/39.12 c LP total time 5.28898 s
38.98/39.12 c LP solve time 3.25 s
38.98/39.12 c LP constraints added 1213
38.98/39.12 c LP constraints removed 548
38.98/39.12 c LP pivots internal 108379
38.98/39.12 c LP pivots root 1048
38.98/39.12 c LP calls 8797
38.98/39.12 c LP optimalities 8789
38.98/39.12 c LP no pivot count 545
38.98/39.12 c LP infeasibilities 8
38.98/39.12 c LP valid Farkas constraints 8
38.98/39.12 c LP learned Farkas constraints 8
38.98/39.12 c LP basis resets 0
38.98/39.12 c LP cycling count 0
38.98/39.12 c LP singular count 0
38.98/39.12 c LP no primal count 0
38.98/39.12 c LP no farkas count 0
38.98/39.12 c LP other issue count 0
38.98/39.12 c LP Gomory cuts 476
38.98/39.12 c LP learned cuts 79
38.98/39.12 c LP deleted cuts 548
38.98/39.12 c LP encountered Gomory constraints 0
38.98/39.12 c LP encountered Farkas constraints 1099
38.98/39.12 c LP encountered learned Farkas constraints 25
38.98/39.12 c CG auxiliary variables introduced 0
38.98/39.12 c CG solutions found 0
38.98/39.12 c CG cores constructed 0
38.98/39.12 c CG core cardinality constraints returned 0
38.98/39.12 c CG unit cores 0
38.98/39.12 c CG single cores 0
38.98/39.12 c CG blocks removed during cardinality reduction 0
38.98/39.12 c CG first core best 0
38.98/39.12 c CG decision core best 0
38.98/39.12 c CG core reduction tie 0
38.98/39.12 c CG core degree average 0.00
38.98/39.12 c CG core slack average 0.00
38.98/39.12 c CG core upper bound improvements 0
38.98/39.12 c STR number of successful calls 0
38.98/39.12 c STR number of unsuccessful calls 0
38.98/39.12 c STR number of inconclusive calls 0
38.98/39.12 c STR number of successful attempts 0
38.98/39.12 c STR number of unsuccessful attempts 0
38.98/39.12 c STR number of inconclusive attempts 0
38.98/39.12 c STR average degree increase per successful call inf
38.98/39.12 c STR average degree increase per successful attempt inf
38.98/39.12 c STR total number of conflicts for successful attempts 0
38.98/39.12 c STR total number of conflicts for unsuccessful attempts 0
38.98/39.12 c STR total number of conflicts for inconclusive attempts 0
38.98/39.12 c STR average number of conflicts per successful attempt inf
38.98/39.12 c STR average number of conflicts per unsuccessful attempt inf
38.98/39.12 c STR average number of conflicts per inconclusive attempt inf
38.98/39.12 c AVG.sumWPerc 43.20
38.98/39.12 c bigint constraints 0
38.98/39.12 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: 63708 MiB (62863 MiB free)
memory of node 1: 64465 MiB (63873 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510764-1751196825/watcher-4510764-1751196825 -o /tmp/evaluation-result-4510764-1751196825/solver-4510764-1751196825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23371 --watchdog 3760 run-dec-break.sh HOME/instance-4510764-1751196825.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24157, runsolver pid=24154
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.11 3.56 3.92 5/272 24160
/proc/meminfo: memFree=129776088/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=57972 memory=14684 CPUtime=0.07 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 1128 0 0 0 6 1 0 0 20 0 1 0 35359995 59363328 3671 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 14493 3671 2368 1147 0 1920 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62164 KiB
Current children cumulated memory: 17756 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.11 3.56 3.92 5/272 24160
/proc/meminfo: memFree=129776088/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=58536 memory=15068 CPUtime=0.17 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 1255 0 0 0 14 3 0 0 20 0 1 0 35359995 59940864 3767 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 14634 3767 2368 1147 0 2061 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62728 KiB
Current children cumulated memory: 18140 KiB
[startup+0.305399 s]*
/proc/loadavg: 4.11 3.56 3.92 5/272 24160
/proc/meminfo: memFree=129776088/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=58804 memory=15324 CPUtime=0.27 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 1319 0 0 0 24 3 0 0 20 0 1 0 35359995 60215296 3831 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 14701 3831 2368 1147 0 2128 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62996 KiB
Current children cumulated memory: 18396 KiB
[startup+0.700128 s]
/proc/loadavg: 4.11 3.56 3.92 5/272 24160
/proc/meminfo: memFree=129776088/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=59512 memory=16220 CPUtime=0.65 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 1528 0 0 0 57 8 0 0 20 0 1 0 35359995 60940288 4055 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 14878 4055 2368 1147 0 2305 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63704 KiB
Current children cumulated memory: 19292 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 3.57 3.92 5/272 24160
/proc/meminfo: memFree=129776140/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=60516 memory=17116 CPUtime=1.46 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 1736 0 0 0 123 23 0 0 20 0 1 0 35359995 61968384 4279 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 15129 4279 2368 1147 0 2556 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 64708 KiB
Current children cumulated memory: 20188 KiB
[startup+3.10576 s]
/proc/loadavg: 4.10 3.57 3.92 5/272 24160
/proc/meminfo: memFree=129774472/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=61212 memory=17756 CPUtime=3.06 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 1916 0 0 0 261 45 0 0 20 0 1 0 35359995 62681088 4439 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 15303 4439 2368 1147 0 2730 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65404 KiB
Current children cumulated memory: 20828 KiB
[startup+6.30012 s]
/proc/loadavg: 4.09 3.58 3.92 5/270 24160
/proc/meminfo: memFree=129772868/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=62484 memory=19164 CPUtime=6.25 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 2264 0 0 0 545 80 0 0 20 0 1 0 35359995 63983616 4791 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 15621 4791 2368 1147 0 3048 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66676 KiB
Current children cumulated memory: 22236 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 3.58 3.92 5/270 24161
/proc/meminfo: memFree=129768584/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=63780 memory=22480 CPUtime=12.63 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 3735 0 0 0 1126 137 0 0 20 0 1 0 35359995 65310720 5620 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 15945 5620 2368 1147 0 3372 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67972 KiB
Current children cumulated memory: 25552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 3.60 3.92 5/270 24161
/proc/meminfo: memFree=129759512/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=65936 memory=24252 CPUtime=25.39 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 6619 0 0 0 2300 239 0 0 20 0 1 0 35359995 67518464 6063 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 16484 6063 2368 1147 0 3911 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 70128 KiB
Current children cumulated memory: 27324 KiB
[startup+39.1256 s]
# the end of solver process 24157 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=35.5495 s, system=3.46229 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.60 3.92 5/270 24161
/proc/meminfo: memFree=129759512/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=65936 memory=24252 CPUtime=25.5 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 6619 0 0 0 2310 240 0 0 20 0 1 0 35359995 67518464 6063 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 16484 6063 2368 1147 0 3911 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 70128 KiB
Current children cumulated memory: 27324 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.06 3.61 3.92 5/270 24161
/proc/meminfo: memFree=129748564/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=66288 memory=24596 CPUtime=31.88 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 7502 0 0 0 2899 289 0 0 20 0 1 0 35359995 67878912 6149 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 16572 6149 2368 1147 0 3999 0
Current children cumulated CPU time: 31.89 s
Current children cumulated vsize: 70480 KiB
Current children cumulated memory: 27668 KiB
[startup+35.2001 s]
/proc/loadavg: 4.06 3.61 3.92 5/270 24161
/proc/meminfo: memFree=129748564/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=67192 memory=25532 CPUtime=35.07 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 8091 0 0 0 3192 315 0 0 20 0 1 0 35359995 68804608 6383 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 16798 6383 2368 1147 0 4225 0
Current children cumulated CPU time: 35.08 s
Current children cumulated vsize: 71384 KiB
Current children cumulated memory: 28604 KiB
[startup+36.8002 s]
/proc/loadavg: 4.14 3.63 3.93 5/270 24161
/proc/meminfo: memFree=129740752/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=67752 memory=26052 CPUtime=36.67 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 8527 0 0 0 3339 328 0 0 20 0 1 0 35359995 69378048 6513 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 16938 6513 2368 1147 0 4365 0
Current children cumulated CPU time: 36.68 s
Current children cumulated vsize: 71944 KiB
Current children cumulated memory: 29124 KiB
[startup+38.4002 s]
/proc/loadavg: 4.14 3.63 3.93 5/270 24161
/proc/meminfo: memFree=129740752/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=68072 memory=26396 CPUtime=38.26 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 9013 0 0 0 3487 339 0 0 20 0 1 0 35359995 69705728 6599 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 17018 6599 2368 1147 0 4445 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 72264 KiB
Current children cumulated memory: 29468 KiB
[startup+38.8001 s]
/proc/loadavg: 4.14 3.63 3.93 5/270 24161
/proc/meminfo: memFree=129740752/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=68072 memory=26396 CPUtime=38.66 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 9013 0 0 0 3524 342 0 0 20 0 1 0 35359995 69705728 6599 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 17018 6599 2368 1147 0 4445 0
Current children cumulated CPU time: 38.67 s
Current children cumulated vsize: 72264 KiB
Current children cumulated memory: 29468 KiB
[startup+39.0002 s]*
/proc/loadavg: 4.14 3.63 3.93 5/270 24161
/proc/meminfo: memFree=129740752/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=68328 memory=26396 CPUtime=38.87 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 9016 0 0 0 3543 344 0 0 20 0 1 0 35359995 69967872 6599 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 17082 6599 2368 1147 0 4509 0
Current children cumulated CPU time: 38.88 s
Current children cumulated vsize: 72520 KiB
Current children cumulated memory: 29468 KiB
[startup+39.1054 s]
/proc/loadavg: 4.14 3.63 3.93 5/270 24161
/proc/meminfo: memFree=129740752/131250000 swapFree=33010684/33010684
[pid=24157] ppid=24154 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/24157/stat : 24157 (run-dec-break.s) S 24154 24157 23358 0 -1 4194304 236 580 0 0 0 0 1 0 20 0 1 0 35359992 4292608 768 18446744073709551615 94435843059712 94435843954245 140732249427456 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94435844193296 94435844241040 94435863773184 140732249430369 140732249430498 140732249430498 140732249436100 0
/proc/24157/statm: 1048 768 704 219 0 110 0
[pid=24160] ppid=24157 vsize=68656 memory=26524 CPUtime=38.97 cores=5,7
/proc/24160/stat : 24160 (roundingsat) R 24157 24157 23358 0 -1 4194304 9073 0 0 0 3552 345 0 0 20 0 1 0 35359995 70303744 6631 18446744073709551615 4227072 8923433 140730330887872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41951232 140730330892612 140730330892840 140730330892840 140730330898410 0
/proc/24160/statm: 17164 6631 2368 1147 0 4591 0
Current children cumulated CPU time: 38.98 s
Current children cumulated vsize: 72848 KiB
Current children cumulated memory: 29596 KiB
Child status: 0
Real time (s): 39.1257
CPU time (s): 39.0118
CPU user time (s): 35.5495
CPU system time (s): 3.46229
CPU usage (%): 99.7089
Max. virtual memory (cumulated for all children) (KiB): 72848
Max. memory (cumulated for all children) (KiB): 29596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.5495
system time used= 3.46229
maximum resident set size= 27144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 24157
# total CPU time (s): 39.0118
# total CPU user time (s): 35.5495
# total CPU system time (s): 3.46229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086113 second user time and 0.200693 second system time
The end
Begin job on nodeC019 at 2025-06-29 13:33:45
IDJOB=4510764
IDBENCH=160385
IDSOLVER=3357
FILE ID=nodeC019/4510764-1751196825
RUNJOBID= nodeC019-1751196526-23371
SLURM_JOB_ID= 9587609
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510764-1751196825/watcher-4510764-1751196825 -o /tmp/evaluation-result-4510764-1751196825/solver-4510764-1751196825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23371 --watchdog 3760 run-dec-break.sh HOME/instance-4510764-1751196825.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31f6aff17a47c209cb9ee9a70845e10e
RANDOM SEED=515013287
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.664
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3601.238
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3583.801
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.604
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3591.869
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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.018
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.705
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129777904 kB
MemAvailable: 129609432 kB
Buffers: 3280 kB
Cached: 641328 kB
SwapCached: 0 kB
Active: 508860 kB
Inactive: 384572 kB
Active(anon): 266896 kB
Inactive(anon): 0 kB
Active(file): 241964 kB
Inactive(file): 384572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7196 kB
Writeback: 0 kB
AnonPages: 251004 kB
Mapped: 112832 kB
Shmem: 18064 kB
KReclaimable: 88460 kB
Slab: 173732 kB
SReclaimable: 88460 kB
SUnreclaim: 85272 kB
KernelStack: 4384 kB
PageTables: 3668 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 594704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 108544 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC019 at 2025-06-29 13:34:24