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-4508001-1751498090.opb'
0.00/0.06 c read 1.14MB (43.50ms)
0.00/0.06 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.07 c output proof to 'PROOFDIR/proof-4508001-1751498090'
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.07/0.13 c [group: #orbits ~= 2752] (60.82ms)
0.07/0.13 c
0.07/0.13 c detect special group actions
0.07/0.13 c probe for Johnson action (limit=64)
0.07/0.15 c probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.18 c probe for row symmetry (limit=64, splits=16.78M)
0.07/0.21 c found row 11x688, generating row predicate
0.07/0.21 c (77.69ms)
0.07/0.21 c
0.07/0.21 c detect symmetries on remainder
0.07/0.21 c [graph: #vertices 82875 #edges 295616]
0.07/0.21 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.26/0.32 c [group: #symmetries 1.24*10^7 #generators 13] (115.15ms)
0.26/0.32 c
0.26/0.32 c optimize generators (opt_passes=64, conjugate_limit=256)
0.26/0.32 c ran it=0, +gens=2
0.63/0.70 c con best_support=1376, best_gens=13, +gens=224
0.63/0.70 c (379.06ms)
0.63/0.70 c
0.63/0.70 c finalize break order and special generators
0.63/0.71 c
0.63/0.71 c add generic predicates (break_depth=20)
0.63/0.71 c added predicates for 239 generators (5.27ms)
1.23/1.34 c
1.23/1.34 c generation finished
1.23/1.34 c [sbp: #constraints 34482 #add_vars 11411]
1.23/1.34 c
1.23/1.34 c write result to 'HOME/instance-4508001-1751498090.opb.pre'
1.23/1.35 c wrote 2.47MB (10.22ms)
1.23/1.35 c ------------------------------------------------------------------
1.23/1.35 c 640.63ms 47.93% other
1.23/1.35 c 379.06ms 28.36% optimize_gens
1.23/1.35 c 115.15ms 8.62% detect_generic
1.23/1.35 c 77.69ms 5.81% detect_special
1.23/1.35 c 60.82ms 4.55% approx_orbits
1.23/1.35 c 43.50ms 3.25% parse
1.23/1.35 c 10.22ms 0.76% output
1.23/1.35 c 5.27ms 0.39% break_generic
1.23/1.35 c 4.19ms 0.31% finalize_order
1.23/1.35 c ───────────────────────────────────────────────
1.23/1.35 c 1336.53ms 100% total
1.23/1.35 c ------------------------------------------------------------------
1.32/1.52 c RoundingSat 2
1.32/1.52 c branch pb25
1.32/1.52 c commit 63f22ad
1.81/2.03 c #variables 21043 #constraints 64102
1.81/2.03 c objective is ce32
2.10/2.30 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
2.10/2.30 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.10/2.30 c bounds 68 >= 0 @ 0.670671
2.50/2.78 c bounds 65 >= 0 @ 1.13123
5.69/5.93 c #Conflicts: 1000 | #Constraints: 65103
5.69/5.93 c #Conflicts: 2000 | #Constraints: 66103
5.69/5.93 c INPROCESSING
5.69/5.93 c bounds 63 >= 0 @ 4.23132
5.69/5.98 c bounds 55 >= 0 @ 4.27686
5.69/5.99 c bounds 53 >= 0 @ 4.28788
6.08/6.30 c #Conflicts: 3000 | #Constraints: 66113
6.08/6.30 c #Conflicts: 4000 | #Constraints: 67113
6.08/6.30 c INPROCESSING
6.08/6.30 c GARBAGE COLLECT
6.08/6.30 c #Conflicts: 5000 | #Constraints: 66526
6.08/6.30 c bounds 53 >= 5 @ 4.5705
16.56/16.87 c #Conflicts: 6000 | #Constraints: 67529
16.56/16.87 c INPROCESSING
16.56/16.87 c #Conflicts: 7000 | #Constraints: 66533
16.56/16.87 c #Conflicts: 8000 | #Constraints: 67533
16.56/16.87 c #Conflicts: 9000 | #Constraints: 68533
16.56/16.87 c INPROCESSING
16.56/16.87 c GARBAGE COLLECT
16.56/16.87 c rational objective 5
17.56/17.82 c #Conflicts: 10000 | #Constraints: 67240
17.56/17.82 c #Conflicts: 11000 | #Constraints: 68240
17.56/17.82 c #Conflicts: 12000 | #Constraints: 69240
17.56/17.82 c INPROCESSING
17.56/17.82 c rational objective 7
30.42/30.77 c #Conflicts: 13000 | #Constraints: 67697
30.42/30.77 c #Conflicts: 14000 | #Constraints: 68697
30.42/30.77 c #Conflicts: 15000 | #Constraints: 69697
30.42/30.77 c INPROCESSING
30.42/30.77 c GARBAGE COLLECT
30.42/30.77 c #Conflicts: 16000 | #Constraints: 67939
30.42/30.77 c #Conflicts: 17000 | #Constraints: 68939
30.42/30.77 c #Conflicts: 18000 | #Constraints: 69939
30.42/30.77 c INPROCESSING
30.42/30.77 c #Conflicts: 19000 | #Constraints: 67958
30.42/30.77 c #Conflicts: 20000 | #Constraints: 68958
30.42/30.77 c #Conflicts: 21000 | #Constraints: 69958
30.42/30.77 c INPROCESSING
30.42/30.77 c GARBAGE COLLECT
30.42/30.77 c #Conflicts: 22000 | #Constraints: 67765
30.42/30.77 c #Conflicts: 23000 | #Constraints: 68765
30.42/30.77 c #Conflicts: 24000 | #Constraints: 69765
30.42/30.77 c bounds 45 >= 5 @ 28.6972
30.42/30.77 c bounds 45 >= 7 @ 28.6989
30.61/30.91 c #Conflicts: 25000 | #Constraints: 70770
30.61/30.91 c INPROCESSING
30.61/30.91 c GARBAGE COLLECT
30.61/30.91 c bounds 43 >= 7 @ 28.8359
46.77/47.12 c #Conflicts: 26000 | #Constraints: 68376
46.77/47.12 c #Conflicts: 27000 | #Constraints: 69376
46.77/47.12 c #Conflicts: 28000 | #Constraints: 70376
46.77/47.12 c #Conflicts: 29000 | #Constraints: 71376
46.77/47.12 c INPROCESSING
46.77/47.12 c GARBAGE COLLECT
46.77/47.12 c rational objective 7
47.78/48.17 c #Conflicts: 30000 | #Constraints: 68778
47.78/48.17 c #Conflicts: 31000 | #Constraints: 69778
47.78/48.17 c #Conflicts: 32000 | #Constraints: 70778
47.78/48.17 c #Conflicts: 33000 | #Constraints: 71778
47.78/48.17 c INPROCESSING
47.78/48.17 c GARBAGE COLLECT
47.78/48.17 c rational objective 7
66.31/66.75 c #Conflicts: 34000 | #Constraints: 68982
66.31/66.75 c #Conflicts: 35000 | #Constraints: 69982
66.31/66.75 c #Conflicts: 36000 | #Constraints: 70982
66.31/66.75 c #Conflicts: 37000 | #Constraints: 71982
66.31/66.75 c INPROCESSING
66.31/66.75 c GARBAGE COLLECT
66.31/66.75 c rational objective 7
67.01/67.41 c #Conflicts: 38000 | #Constraints: 66890
67.01/67.41 c #Conflicts: 39000 | #Constraints: 67890
67.01/67.41 c #Conflicts: 40000 | #Constraints: 68890
67.01/67.41 c bounds 43 >= 10 @ 64.978
67.01/67.41 c bounds 43 >= 12 @ 64.9788
83.17/83.66 c #Conflicts: 41000 | #Constraints: 69897
83.17/83.66 c INPROCESSING
83.17/83.66 c GARBAGE COLLECT
83.17/83.66 c #Conflicts: 42000 | #Constraints: 66672
83.17/83.66 c #Conflicts: 43000 | #Constraints: 67672
83.17/83.66 c #Conflicts: 44000 | #Constraints: 68672
83.17/83.66 c #Conflicts: 45000 | #Constraints: 69672
83.17/83.66 c #Conflicts: 46000 | #Constraints: 70672
83.17/83.66 c INPROCESSING
83.17/83.66 c GARBAGE COLLECT
83.17/83.66 c #Conflicts: 47000 | #Constraints: 67259
83.17/83.66 c #Conflicts: 48000 | #Constraints: 68259
83.17/83.66 c #Conflicts: 49000 | #Constraints: 69259
83.17/83.66 c #Conflicts: 50000 | #Constraints: 70259
83.17/83.66 c #Conflicts: 51000 | #Constraints: 71259
83.17/83.66 c INPROCESSING
83.17/83.66 c GARBAGE COLLECT
83.17/83.66 c #Conflicts: 52000 | #Constraints: 64392
83.17/83.66 c #Conflicts: 53000 | #Constraints: 65392
83.17/83.66 c #Conflicts: 54000 | #Constraints: 66392
83.17/83.66 c #Conflicts: 55000 | #Constraints: 67392
83.17/83.66 c #Conflicts: 56000 | #Constraints: 68392
83.17/83.66 c INPROCESSING
83.17/83.66 c GARBAGE COLLECT
83.17/83.66 c #Conflicts: 57000 | #Constraints: 64596
83.17/83.66 c #Conflicts: 58000 | #Constraints: 65596
83.17/83.66 c #Conflicts: 59000 | #Constraints: 66596
83.17/83.66 c #Conflicts: 60000 | #Constraints: 67596
83.17/83.66 c #Conflicts: 61000 | #Constraints: 68596
83.17/83.66 c INPROCESSING
83.17/83.66 c GARBAGE COLLECT
83.17/83.66 c rational objective 12
95.43/96.01 c #Conflicts: 62000 | #Constraints: 64599
95.43/96.01 c #Conflicts: 63000 | #Constraints: 65599
95.43/96.01 c #Conflicts: 64000 | #Constraints: 66599
95.43/96.01 c #Conflicts: 65000 | #Constraints: 67599
95.43/96.01 c #Conflicts: 66000 | #Constraints: 68599
95.43/96.01 c INPROCESSING
95.43/96.01 c GARBAGE COLLECT
95.43/96.01 c rational objective 12
142.09/142.74 c #Conflicts: 67000 | #Constraints: 64403
142.09/142.74 c #Conflicts: 68000 | #Constraints: 65403
142.09/142.74 c #Conflicts: 69000 | #Constraints: 66403
142.09/142.74 c #Conflicts: 70000 | #Constraints: 67403
142.09/142.74 c #Conflicts: 71000 | #Constraints: 68403
142.09/142.74 c #Conflicts: 72000 | #Constraints: 69403
142.09/142.74 c INPROCESSING
142.09/142.74 c GARBAGE COLLECT
142.09/142.74 c rational objective 12
167.71/168.40 c #Conflicts: 73000 | #Constraints: 65000
167.71/168.40 c #Conflicts: 74000 | #Constraints: 66000
167.71/168.40 c #Conflicts: 75000 | #Constraints: 67000
167.71/168.40 c #Conflicts: 76000 | #Constraints: 68000
167.71/168.40 c #Conflicts: 77000 | #Constraints: 69000
167.71/168.40 c #Conflicts: 78000 | #Constraints: 70000
167.71/168.40 c INPROCESSING
167.71/168.40 c GARBAGE COLLECT
167.71/168.40 c #Conflicts: 79000 | #Constraints: 65396
167.71/168.40 c #Conflicts: 80000 | #Constraints: 66396
167.71/168.40 c #Conflicts: 81000 | #Constraints: 67396
167.71/168.40 c #Conflicts: 82000 | #Constraints: 68396
167.71/168.40 c #Conflicts: 83000 | #Constraints: 69396
167.71/168.40 c #Conflicts: 84000 | #Constraints: 70396
167.71/168.40 c INPROCESSING
167.71/168.40 c GARBAGE COLLECT
167.71/168.40 c #Conflicts: 85000 | #Constraints: 65596
167.71/168.40 c #Conflicts: 86000 | #Constraints: 66596
167.71/168.40 c #Conflicts: 87000 | #Constraints: 67596
167.71/168.40 c #Conflicts: 88000 | #Constraints: 68596
167.71/168.40 c #Conflicts: 89000 | #Constraints: 69596
167.71/168.40 c #Conflicts: 90000 | #Constraints: 70596
167.71/168.40 c INPROCESSING
167.71/168.40 c GARBAGE COLLECT
167.71/168.41 c rational objective 12
203.88/204.75 c #Conflicts: 91000 | #Constraints: 65597
203.88/204.75 c #Conflicts: 92000 | #Constraints: 66597
203.88/204.75 c #Conflicts: 93000 | #Constraints: 67597
203.88/204.75 c #Conflicts: 94000 | #Constraints: 68597
203.88/204.75 c #Conflicts: 95000 | #Constraints: 69597
203.88/204.75 c #Conflicts: 96000 | #Constraints: 70597
203.88/204.75 c INPROCESSING
203.88/204.75 c GARBAGE COLLECT
203.88/204.75 c rational objective 12
233.97/234.92 c #Conflicts: 97000 | #Constraints: 65399
233.97/234.92 c #Conflicts: 98000 | #Constraints: 66399
233.97/234.92 c #Conflicts: 99000 | #Constraints: 67399
233.97/234.92 c #Conflicts: 100000 | #Constraints: 68399
233.97/234.92 c #Conflicts: 101000 | #Constraints: 69399
233.97/234.92 c #Conflicts: 102000 | #Constraints: 70399
233.97/234.92 c #Conflicts: 103000 | #Constraints: 71399
233.97/234.92 c INPROCESSING
233.97/234.92 c GARBAGE COLLECT
233.97/234.92 c #Conflicts: 104000 | #Constraints: 65997
233.97/234.92 c #Conflicts: 105000 | #Constraints: 66997
233.97/234.92 c #Conflicts: 106000 | #Constraints: 67997
233.97/234.92 c #Conflicts: 107000 | #Constraints: 68997
233.97/234.92 c #Conflicts: 108000 | #Constraints: 69997
233.97/234.92 c #Conflicts: 109000 | #Constraints: 70997
233.97/234.92 c #Conflicts: 110000 | #Constraints: 71997
233.97/234.92 c INPROCESSING
233.97/234.92 c GARBAGE COLLECT
233.97/234.92 c #Conflicts: 111000 | #Constraints: 66399
233.97/234.92 c #Conflicts: 112000 | #Constraints: 67399
233.97/234.92 c #Conflicts: 113000 | #Constraints: 68399
233.97/234.92 c #Conflicts: 114000 | #Constraints: 69399
233.97/234.92 c #Conflicts: 115000 | #Constraints: 70399
233.97/234.92 c #Conflicts: 116000 | #Constraints: 71399
233.97/234.92 c #Conflicts: 117000 | #Constraints: 72399
233.97/234.92 c INPROCESSING
233.97/234.92 c GARBAGE COLLECT
233.97/234.92 c rational objective 12
260.00/261.05 c #Conflicts: 118000 | #Constraints: 66644
260.00/261.05 c #Conflicts: 119000 | #Constraints: 67644
260.00/261.05 c #Conflicts: 120000 | #Constraints: 68644
260.00/261.05 c #Conflicts: 121000 | #Constraints: 69644
260.00/261.05 c #Conflicts: 122000 | #Constraints: 70644
260.00/261.05 c #Conflicts: 123000 | #Constraints: 71644
260.00/261.05 c #Conflicts: 124000 | #Constraints: 72644
260.00/261.05 c INPROCESSING
260.00/261.05 c GARBAGE COLLECT
260.00/261.05 c rational objective 12
303.35/304.53 c #Conflicts: 125000 | #Constraints: 66627
303.35/304.53 c #Conflicts: 126000 | #Constraints: 67627
303.35/304.53 c #Conflicts: 127000 | #Constraints: 68627
303.35/304.53 c #Conflicts: 128000 | #Constraints: 69627
303.35/304.53 c #Conflicts: 129000 | #Constraints: 70627
303.35/304.53 c #Conflicts: 130000 | #Constraints: 71627
303.35/304.53 c #Conflicts: 131000 | #Constraints: 72627
303.35/304.53 c INPROCESSING
303.35/304.53 c GARBAGE COLLECT
303.35/304.53 c rational objective 12
316.93/318.14 c #Conflicts: 132000 | #Constraints: 66473
316.93/318.14 c #Conflicts: 133000 | #Constraints: 67473
316.93/318.14 c #Conflicts: 134000 | #Constraints: 68473
316.93/318.14 c #Conflicts: 135000 | #Constraints: 69473
316.93/318.14 c #Conflicts: 136000 | #Constraints: 70473
316.93/318.14 c #Conflicts: 137000 | #Constraints: 71473
316.93/318.14 c #Conflicts: 138000 | #Constraints: 72473
316.93/318.14 c #Conflicts: 139000 | #Constraints: 73473
316.93/318.14 c INPROCESSING
316.93/318.14 c GARBAGE COLLECT
316.93/318.14 c #Conflicts: 140000 | #Constraints: 67037
316.93/318.14 c #Conflicts: 141000 | #Constraints: 68037
316.93/318.14 c #Conflicts: 142000 | #Constraints: 69037
316.93/318.14 c #Conflicts: 143000 | #Constraints: 70037
316.93/318.14 c #Conflicts: 144000 | #Constraints: 71037
316.93/318.14 c #Conflicts: 145000 | #Constraints: 72037
316.93/318.14 c #Conflicts: 146000 | #Constraints: 73037
316.93/318.14 c #Conflicts: 147000 | #Constraints: 74037
316.93/318.14 c INPROCESSING
316.93/318.14 c GARBAGE COLLECT
316.93/318.14 c rational objective 12
350.71/352.05 c #Conflicts: 148000 | #Constraints: 67424
350.71/352.05 c #Conflicts: 149000 | #Constraints: 68424
350.71/352.05 c #Conflicts: 150000 | #Constraints: 69424
350.71/352.05 c #Conflicts: 151000 | #Constraints: 70424
350.71/352.05 c #Conflicts: 152000 | #Constraints: 71424
350.71/352.05 c #Conflicts: 153000 | #Constraints: 72424
350.71/352.05 c #Conflicts: 154000 | #Constraints: 73424
350.71/352.05 c #Conflicts: 155000 | #Constraints: 74424
350.71/352.05 c INPROCESSING
350.71/352.05 c GARBAGE COLLECT
350.71/352.05 c rational objective 12
368.84/370.24 c #Conflicts: 156000 | #Constraints: 67644
368.84/370.24 c #Conflicts: 157000 | #Constraints: 68644
368.84/370.24 c #Conflicts: 158000 | #Constraints: 69644
368.84/370.24 c #Conflicts: 159000 | #Constraints: 70644
368.84/370.24 c #Conflicts: 160000 | #Constraints: 71645
368.84/370.24 c #Conflicts: 161000 | #Constraints: 72645
368.84/370.24 c #Conflicts: 162000 | #Constraints: 73645
368.84/370.24 c #Conflicts: 163000 | #Constraints: 74645
368.84/370.24 c INPROCESSING
368.84/370.24 c GARBAGE COLLECT
368.84/370.24 c #Conflicts: 164000 | #Constraints: 67624
368.84/370.24 c #Conflicts: 165000 | #Constraints: 68624
368.84/370.24 c bounds 43 >= 17 @ 365.263
408.13/409.62 c #Conflicts: 166000 | #Constraints: 69630
408.13/409.62 c #Conflicts: 167000 | #Constraints: 70630
408.13/409.62 c #Conflicts: 168000 | #Constraints: 71630
408.13/409.62 c #Conflicts: 169000 | #Constraints: 72630
408.13/409.62 c #Conflicts: 170000 | #Constraints: 73630
408.13/409.62 c #Conflicts: 171000 | #Constraints: 74630
408.13/409.62 c INPROCESSING
408.13/409.62 c GARBAGE COLLECT
408.13/409.62 c rational objective 17
408.43/409.98 c bounds 43 >= 19 @ 404.749
440.13/441.70 c #Conflicts: 172000 | #Constraints: 67419
440.13/441.70 c #Conflicts: 173000 | #Constraints: 68419
440.13/441.70 c #Conflicts: 174000 | #Constraints: 69419
440.13/441.70 c #Conflicts: 175000 | #Constraints: 70419
440.13/441.70 c #Conflicts: 176000 | #Constraints: 71419
440.13/441.70 c #Conflicts: 177000 | #Constraints: 72419
440.13/441.70 c #Conflicts: 178000 | #Constraints: 73419
440.13/441.70 c #Conflicts: 179000 | #Constraints: 74419
440.13/441.70 c #Conflicts: 180000 | #Constraints: 75419
440.13/441.70 c INPROCESSING
440.13/441.70 c GARBAGE COLLECT
440.13/441.70 c #Conflicts: 181000 | #Constraints: 68013
440.13/441.70 c #Conflicts: 182000 | #Constraints: 69013
440.13/441.70 c #Conflicts: 183000 | #Constraints: 70013
440.13/441.70 c #Conflicts: 184000 | #Constraints: 71013
440.13/441.70 c #Conflicts: 185000 | #Constraints: 72013
440.13/441.70 c #Conflicts: 186000 | #Constraints: 73013
440.13/441.70 c #Conflicts: 187000 | #Constraints: 74013
440.13/441.70 c #Conflicts: 188000 | #Constraints: 75013
440.13/441.70 c #Conflicts: 189000 | #Constraints: 76013
440.13/441.70 c INPROCESSING
440.13/441.70 c GARBAGE COLLECT
440.13/441.70 c #Conflicts: 190000 | #Constraints: 68410
440.13/441.70 c #Conflicts: 191000 | #Constraints: 69410
440.13/441.70 c #Conflicts: 192000 | #Constraints: 70410
440.13/441.70 c #Conflicts: 193000 | #Constraints: 71410
440.13/441.70 c #Conflicts: 194000 | #Constraints: 72410
440.13/441.70 c #Conflicts: 195000 | #Constraints: 73410
440.13/441.70 c #Conflicts: 196000 | #Constraints: 74410
440.13/441.70 c #Conflicts: 197000 | #Constraints: 75410
440.13/441.70 c #Conflicts: 198000 | #Constraints: 76410
440.13/441.70 c INPROCESSING
440.13/441.70 c GARBAGE COLLECT
440.13/441.70 c rational objective 19
464.16/465.88 c #Conflicts: 199000 | #Constraints: 68606
464.16/465.88 c #Conflicts: 200000 | #Constraints: 69606
464.16/465.88 c #Conflicts: 201000 | #Constraints: 70606
464.16/465.88 c #Conflicts: 202000 | #Constraints: 71606
464.16/465.88 c #Conflicts: 203000 | #Constraints: 72606
464.16/465.88 c #Conflicts: 204000 | #Constraints: 73606
464.16/465.88 c #Conflicts: 205000 | #Constraints: 74606
464.16/465.88 c #Conflicts: 206000 | #Constraints: 75606
464.16/465.88 c #Conflicts: 207000 | #Constraints: 76606
464.16/465.88 c INPROCESSING
464.16/465.88 c GARBAGE COLLECT
464.16/465.88 c rational objective 19
497.47/499.23 c #Conflicts: 208000 | #Constraints: 68614
497.47/499.23 c #Conflicts: 209000 | #Constraints: 69614
497.47/499.23 c #Conflicts: 210000 | #Constraints: 70614
497.47/499.23 c #Conflicts: 211000 | #Constraints: 71614
497.47/499.23 c #Conflicts: 212000 | #Constraints: 72614
497.47/499.23 c #Conflicts: 213000 | #Constraints: 73614
497.47/499.23 c #Conflicts: 214000 | #Constraints: 74614
497.47/499.23 c #Conflicts: 215000 | #Constraints: 75614
497.47/499.23 c #Conflicts: 216000 | #Constraints: 76614
497.47/499.23 c INPROCESSING
497.47/499.23 c GARBAGE COLLECT
497.47/499.23 c rational objective 19
508.93/510.76 c #Conflicts: 217000 | #Constraints: 68407
508.93/510.76 c #Conflicts: 218000 | #Constraints: 69407
508.93/510.76 c #Conflicts: 219000 | #Constraints: 70407
508.93/510.76 c #Conflicts: 220000 | #Constraints: 71407
508.93/510.76 c #Conflicts: 221000 | #Constraints: 72407
508.93/510.76 c #Conflicts: 222000 | #Constraints: 73407
508.93/510.76 c #Conflicts: 223000 | #Constraints: 74407
508.93/510.76 c #Conflicts: 224000 | #Constraints: 75407
508.93/510.76 c #Conflicts: 225000 | #Constraints: 76407
508.93/510.76 c #Conflicts: 226000 | #Constraints: 77408
508.93/510.76 c INPROCESSING
508.93/510.76 c GARBAGE COLLECT
508.93/510.76 c rational objective 19
542.15/544.03 c #Conflicts: 227000 | #Constraints: 69009
542.15/544.03 c #Conflicts: 228000 | #Constraints: 70009
542.15/544.03 c #Conflicts: 229000 | #Constraints: 71009
542.15/544.03 c #Conflicts: 230000 | #Constraints: 72009
542.15/544.03 c #Conflicts: 231000 | #Constraints: 73009
542.15/544.03 c #Conflicts: 232000 | #Constraints: 74009
542.15/544.03 c #Conflicts: 233000 | #Constraints: 75009
542.15/544.03 c #Conflicts: 234000 | #Constraints: 76009
542.15/544.03 c #Conflicts: 235000 | #Constraints: 77009
542.15/544.03 c #Conflicts: 236000 | #Constraints: 78009
542.15/544.03 c INPROCESSING
542.15/544.03 c GARBAGE COLLECT
542.15/544.03 c rational objective 19
566.56/570.09 c #Conflicts: 237000 | #Constraints: 69421
566.56/570.09 c #Conflicts: 238000 | #Constraints: 70421
566.56/570.09 c #Conflicts: 239000 | #Constraints: 71421
566.56/570.09 c #Conflicts: 240000 | #Constraints: 72421
566.56/570.09 c #Conflicts: 241000 | #Constraints: 73421
566.56/570.09 c #Conflicts: 242000 | #Constraints: 74421
566.56/570.09 c #Conflicts: 243000 | #Constraints: 75421
566.56/570.09 c #Conflicts: 244000 | #Constraints: 76421
566.56/570.09 c #Conflicts: 245000 | #Constraints: 77421
566.56/570.09 c #Conflicts: 246000 | #Constraints: 78421
566.56/570.09 c INPROCESSING
566.56/570.09 c GARBAGE COLLECT
566.56/570.09 c #Conflicts: 247000 | #Constraints: 69619
566.56/570.09 c #Conflicts: 248000 | #Constraints: 70619
566.56/570.09 c #Conflicts: 249000 | #Constraints: 71619
566.56/570.09 c #Conflicts: 250000 | #Constraints: 72619
566.56/570.09 c #Conflicts: 251000 | #Constraints: 73619
566.56/570.09 c #Conflicts: 252000 | #Constraints: 74619
566.56/570.09 c #Conflicts: 253000 | #Constraints: 75619
566.56/570.09 c #Conflicts: 254000 | #Constraints: 76619
566.56/570.09 c #Conflicts: 255000 | #Constraints: 77619
566.56/570.09 c #Conflicts: 256000 | #Constraints: 78619
566.56/570.09 c INPROCESSING
566.56/570.09 c GARBAGE COLLECT
566.56/570.09 c rational objective 19
585.89/589.40 c #Conflicts: 257000 | #Constraints: 69670
585.89/589.40 c #Conflicts: 258000 | #Constraints: 70670
585.89/589.40 c #Conflicts: 259000 | #Constraints: 71670
585.89/589.40 c #Conflicts: 260000 | #Constraints: 72670
585.89/589.40 c #Conflicts: 261000 | #Constraints: 73670
585.89/589.40 c #Conflicts: 262000 | #Constraints: 74670
585.89/589.40 c #Conflicts: 263000 | #Constraints: 75670
585.89/589.40 c #Conflicts: 264000 | #Constraints: 76670
585.89/589.40 c #Conflicts: 265000 | #Constraints: 77670
585.89/589.40 c #Conflicts: 266000 | #Constraints: 78670
585.89/589.40 c INPROCESSING
585.89/589.40 c GARBAGE COLLECT
585.89/589.40 c rational objective 19
615.31/618.94 c #Conflicts: 267000 | #Constraints: 69466
615.31/618.94 c #Conflicts: 268000 | #Constraints: 70466
615.31/618.94 c #Conflicts: 269000 | #Constraints: 71466
615.31/618.94 c #Conflicts: 270000 | #Constraints: 72466
615.31/618.94 c #Conflicts: 271000 | #Constraints: 73466
615.31/618.94 c #Conflicts: 272000 | #Constraints: 74466
615.31/618.94 c #Conflicts: 273000 | #Constraints: 75466
615.31/618.94 c #Conflicts: 274000 | #Constraints: 76466
615.31/618.94 c #Conflicts: 275000 | #Constraints: 77466
615.31/618.94 c #Conflicts: 276000 | #Constraints: 78466
615.31/618.94 c #Conflicts: 277000 | #Constraints: 79466
615.31/618.94 c INPROCESSING
615.31/618.94 c GARBAGE COLLECT
615.31/618.94 c rational objective 19
636.56/640.29 c #Conflicts: 278000 | #Constraints: 70040
636.56/640.29 c #Conflicts: 279000 | #Constraints: 71040
636.56/640.29 c #Conflicts: 280000 | #Constraints: 72040
636.56/640.29 c #Conflicts: 281000 | #Constraints: 73040
636.56/640.29 c #Conflicts: 282000 | #Constraints: 74040
636.56/640.29 c #Conflicts: 283000 | #Constraints: 75040
636.56/640.29 c #Conflicts: 284000 | #Constraints: 76040
636.56/640.29 c #Conflicts: 285000 | #Constraints: 77040
636.56/640.29 c #Conflicts: 286000 | #Constraints: 78040
636.56/640.29 c #Conflicts: 287000 | #Constraints: 79040
636.56/640.29 c #Conflicts: 288000 | #Constraints: 80040
636.56/640.29 c INPROCESSING
636.56/640.29 c GARBAGE COLLECT
636.56/640.29 c rational objective 19
671.85/675.63 c #Conflicts: 289000 | #Constraints: 70425
671.85/675.63 c #Conflicts: 290000 | #Constraints: 71425
671.85/675.63 c #Conflicts: 291000 | #Constraints: 72425
671.85/675.63 c #Conflicts: 292000 | #Constraints: 73425
671.85/675.63 c #Conflicts: 293000 | #Constraints: 74425
671.85/675.63 c #Conflicts: 294000 | #Constraints: 75425
671.85/675.63 c #Conflicts: 295000 | #Constraints: 76425
671.85/675.63 c #Conflicts: 296000 | #Constraints: 77425
671.85/675.63 c #Conflicts: 297000 | #Constraints: 78425
671.85/675.63 c #Conflicts: 298000 | #Constraints: 79425
671.85/675.63 c #Conflicts: 299000 | #Constraints: 80425
671.85/675.63 c INPROCESSING
671.85/675.63 c GARBAGE COLLECT
671.85/675.63 c rational objective 19
684.92/688.76 c #Conflicts: 300000 | #Constraints: 70646
684.92/688.76 c #Conflicts: 301000 | #Constraints: 71646
684.92/688.76 c #Conflicts: 302000 | #Constraints: 72646
684.92/688.76 c #Conflicts: 303000 | #Constraints: 73646
684.92/688.76 c #Conflicts: 304000 | #Constraints: 74646
684.92/688.76 c #Conflicts: 305000 | #Constraints: 75646
684.92/688.76 c #Conflicts: 306000 | #Constraints: 76646
684.92/688.76 c #Conflicts: 307000 | #Constraints: 77646
684.92/688.76 c #Conflicts: 308000 | #Constraints: 78646
684.92/688.76 c #Conflicts: 309000 | #Constraints: 79646
684.92/688.76 c #Conflicts: 310000 | #Constraints: 80646
684.92/688.76 c INPROCESSING
684.92/688.76 c GARBAGE COLLECT
684.92/688.76 c rational objective 19
715.63/719.51 c #Conflicts: 311000 | #Constraints: 70628
715.63/719.51 c #Conflicts: 312000 | #Constraints: 71628
715.63/719.51 c #Conflicts: 313000 | #Constraints: 72628
715.63/719.51 c #Conflicts: 314000 | #Constraints: 73628
715.63/719.51 c #Conflicts: 315000 | #Constraints: 74628
715.63/719.51 c #Conflicts: 316000 | #Constraints: 75628
715.63/719.51 c #Conflicts: 317000 | #Constraints: 76628
715.63/719.51 c #Conflicts: 318000 | #Constraints: 77628
715.63/719.51 c #Conflicts: 319000 | #Constraints: 78628
715.63/719.51 c #Conflicts: 320000 | #Constraints: 79628
715.63/719.51 c #Conflicts: 321000 | #Constraints: 80628
715.63/719.51 c INPROCESSING
715.63/719.51 c GARBAGE COLLECT
715.63/719.51 c rational objective 19
728.39/732.38 c #Conflicts: 322000 | #Constraints: 70460
728.39/732.38 c #Conflicts: 323000 | #Constraints: 71460
728.39/732.38 c #Conflicts: 324000 | #Constraints: 72460
728.39/732.38 c #Conflicts: 325000 | #Constraints: 73460
728.39/732.38 c #Conflicts: 326000 | #Constraints: 74460
728.39/732.38 c #Conflicts: 327000 | #Constraints: 75460
728.39/732.38 c #Conflicts: 328000 | #Constraints: 76460
728.39/732.38 c #Conflicts: 329000 | #Constraints: 77460
728.39/732.38 c #Conflicts: 330000 | #Constraints: 78460
728.39/732.38 c #Conflicts: 331000 | #Constraints: 79460
728.39/732.38 c #Conflicts: 332000 | #Constraints: 80460
728.39/732.38 c #Conflicts: 333000 | #Constraints: 81460
728.39/732.38 c INPROCESSING
728.39/732.38 c GARBAGE COLLECT
728.39/732.38 c rational objective 19
749.83/753.83 c #Conflicts: 334000 | #Constraints: 71077
749.83/753.83 c #Conflicts: 335000 | #Constraints: 72077
749.83/753.83 c #Conflicts: 336000 | #Constraints: 73077
749.83/753.83 c #Conflicts: 337000 | #Constraints: 74077
749.83/753.83 c #Conflicts: 338000 | #Constraints: 75077
749.83/753.83 c #Conflicts: 339000 | #Constraints: 76077
749.83/753.83 c #Conflicts: 340000 | #Constraints: 77077
749.83/753.83 c #Conflicts: 341000 | #Constraints: 78077
749.83/753.83 c #Conflicts: 342000 | #Constraints: 79077
749.83/753.83 c #Conflicts: 343000 | #Constraints: 80077
749.83/753.83 c #Conflicts: 344000 | #Constraints: 81077
749.83/753.83 c #Conflicts: 345000 | #Constraints: 82077
749.83/753.83 c INPROCESSING
749.83/753.83 c GARBAGE COLLECT
749.83/753.83 c rational objective 19
780.75/784.82 c #Conflicts: 346000 | #Constraints: 71449
780.75/784.82 c #Conflicts: 347000 | #Constraints: 72449
780.75/784.82 c #Conflicts: 348000 | #Constraints: 73449
780.75/784.82 c #Conflicts: 349000 | #Constraints: 74449
780.75/784.82 c #Conflicts: 350000 | #Constraints: 75449
780.75/784.82 c #Conflicts: 351000 | #Constraints: 76449
780.75/784.82 c #Conflicts: 352000 | #Constraints: 77449
780.75/784.82 c #Conflicts: 353000 | #Constraints: 78449
780.75/784.82 c #Conflicts: 354000 | #Constraints: 79449
780.75/784.82 c #Conflicts: 355000 | #Constraints: 80449
780.75/784.82 c #Conflicts: 356000 | #Constraints: 81449
780.75/784.82 c #Conflicts: 357000 | #Constraints: 82449
780.75/784.82 c INPROCESSING
780.75/784.82 c GARBAGE COLLECT
780.75/784.82 c rational objective 19
807.77/811.92 c #Conflicts: 358000 | #Constraints: 71679
807.77/811.92 c #Conflicts: 359000 | #Constraints: 72679
807.77/811.92 c #Conflicts: 360000 | #Constraints: 73679
807.77/811.92 c #Conflicts: 361000 | #Constraints: 74679
807.77/811.92 c #Conflicts: 362000 | #Constraints: 75679
807.77/811.92 c #Conflicts: 363000 | #Constraints: 76679
807.77/811.92 c #Conflicts: 364000 | #Constraints: 77679
807.77/811.92 c #Conflicts: 365000 | #Constraints: 78679
807.77/811.92 c #Conflicts: 366000 | #Constraints: 79679
807.77/811.92 c #Conflicts: 367000 | #Constraints: 80679
807.77/811.92 c #Conflicts: 368000 | #Constraints: 81679
807.77/811.92 c #Conflicts: 369000 | #Constraints: 82679
807.77/811.92 c INPROCESSING
807.77/811.92 c GARBAGE COLLECT
807.77/811.92 c rational objective 19
822.33/826.59 c #Conflicts: 370000 | #Constraints: 71702
822.33/826.59 c #Conflicts: 371000 | #Constraints: 72702
822.33/826.59 c #Conflicts: 372000 | #Constraints: 73702
822.33/826.59 c #Conflicts: 373000 | #Constraints: 74702
822.33/826.59 c #Conflicts: 374000 | #Constraints: 75702
822.33/826.59 c #Conflicts: 375000 | #Constraints: 76702
822.33/826.59 c #Conflicts: 376000 | #Constraints: 77702
822.33/826.59 c #Conflicts: 377000 | #Constraints: 78702
822.33/826.59 c #Conflicts: 378000 | #Constraints: 79702
822.33/826.59 c #Conflicts: 379000 | #Constraints: 80702
822.33/826.59 c #Conflicts: 380000 | #Constraints: 81702
822.33/826.59 c #Conflicts: 381000 | #Constraints: 82702
822.33/826.59 c INPROCESSING
822.33/826.59 c GARBAGE COLLECT
822.33/826.59 c rational objective 19
835.50/839.73 c #Conflicts: 382000 | #Constraints: 71481
835.50/839.73 c #Conflicts: 383000 | #Constraints: 72481
835.50/839.73 c #Conflicts: 384000 | #Constraints: 73481
835.50/839.73 c #Conflicts: 385000 | #Constraints: 74481
835.50/839.73 c #Conflicts: 386000 | #Constraints: 75481
835.50/839.73 c #Conflicts: 387000 | #Constraints: 76481
835.50/839.73 c #Conflicts: 388000 | #Constraints: 77481
835.50/839.73 c #Conflicts: 389000 | #Constraints: 78481
835.50/839.73 c #Conflicts: 390000 | #Constraints: 79481
835.50/839.73 c #Conflicts: 391000 | #Constraints: 80481
835.50/839.73 c #Conflicts: 392000 | #Constraints: 81481
835.50/839.73 c #Conflicts: 393000 | #Constraints: 82481
835.50/839.73 c #Conflicts: 394000 | #Constraints: 83481
835.50/839.73 c INPROCESSING
835.50/839.73 c GARBAGE COLLECT
835.50/839.73 c rational objective 19
847.96/852.28 c #Conflicts: 395000 | #Constraints: 72054
847.96/852.28 c #Conflicts: 396000 | #Constraints: 73054
847.96/852.28 c #Conflicts: 397000 | #Constraints: 74054
847.96/852.28 c #Conflicts: 398000 | #Constraints: 75054
847.96/852.28 c #Conflicts: 399000 | #Constraints: 76054
847.96/852.28 c #Conflicts: 400000 | #Constraints: 77054
847.96/852.28 c #Conflicts: 401000 | #Constraints: 78054
847.96/852.28 c #Conflicts: 402000 | #Constraints: 79054
847.96/852.28 c #Conflicts: 403000 | #Constraints: 80054
847.96/852.28 c #Conflicts: 404000 | #Constraints: 81054
847.96/852.28 c #Conflicts: 405000 | #Constraints: 82054
847.96/852.28 c #Conflicts: 406000 | #Constraints: 83054
847.96/852.28 c #Conflicts: 407000 | #Constraints: 84054
847.96/852.28 c INPROCESSING
847.96/852.28 c GARBAGE COLLECT
847.96/852.28 c rational objective 19
862.92/867.23 c #Conflicts: 408000 | #Constraints: 72494
862.92/867.23 c #Conflicts: 409000 | #Constraints: 73494
862.92/867.23 c #Conflicts: 410000 | #Constraints: 74494
862.92/867.23 c #Conflicts: 411000 | #Constraints: 75494
862.92/867.23 c #Conflicts: 412000 | #Constraints: 76494
862.92/867.23 c #Conflicts: 413000 | #Constraints: 77494
862.92/867.23 c #Conflicts: 414000 | #Constraints: 78494
862.92/867.23 c #Conflicts: 415000 | #Constraints: 79494
862.92/867.23 c #Conflicts: 416000 | #Constraints: 80494
862.92/867.23 c #Conflicts: 417000 | #Constraints: 81494
862.92/867.23 c #Conflicts: 418000 | #Constraints: 82494
862.92/867.23 c #Conflicts: 419000 | #Constraints: 83494
862.92/867.23 c #Conflicts: 420000 | #Constraints: 84494
862.92/867.23 c INPROCESSING
862.92/867.23 c GARBAGE COLLECT
862.92/867.23 c rational objective 19
892.93/897.31 c #Conflicts: 421000 | #Constraints: 72656
892.93/897.31 c #Conflicts: 422000 | #Constraints: 73656
892.93/897.31 c #Conflicts: 423000 | #Constraints: 74656
892.93/897.31 c #Conflicts: 424000 | #Constraints: 75656
892.93/897.31 c #Conflicts: 425000 | #Constraints: 76656
892.93/897.31 c #Conflicts: 426000 | #Constraints: 77656
892.93/897.31 c #Conflicts: 427000 | #Constraints: 78656
892.93/897.31 c #Conflicts: 428000 | #Constraints: 79656
892.93/897.31 c #Conflicts: 429000 | #Constraints: 80656
892.93/897.31 c #Conflicts: 430000 | #Constraints: 81656
892.93/897.31 c #Conflicts: 431000 | #Constraints: 82656
892.93/897.31 c #Conflicts: 432000 | #Constraints: 83656
892.93/897.31 c #Conflicts: 433000 | #Constraints: 84656
892.93/897.31 c INPROCESSING
892.93/897.31 c GARBAGE COLLECT
892.93/897.31 c rational objective 19
908.36/912.82 c #Conflicts: 434000 | #Constraints: 72693
908.36/912.82 c #Conflicts: 435000 | #Constraints: 73693
908.36/912.82 c #Conflicts: 436000 | #Constraints: 74693
908.36/912.82 c #Conflicts: 437000 | #Constraints: 75693
908.36/912.82 c #Conflicts: 438000 | #Constraints: 76693
908.36/912.82 c #Conflicts: 439000 | #Constraints: 77693
908.36/912.82 c #Conflicts: 440000 | #Constraints: 78693
908.36/912.82 c #Conflicts: 441000 | #Constraints: 79693
908.36/912.82 c #Conflicts: 442000 | #Constraints: 80693
908.36/912.82 c #Conflicts: 443000 | #Constraints: 81693
908.36/912.82 c #Conflicts: 444000 | #Constraints: 82693
908.36/912.82 c #Conflicts: 445000 | #Constraints: 83693
908.36/912.82 c #Conflicts: 446000 | #Constraints: 84693
908.36/912.82 c INPROCESSING
908.36/912.82 c GARBAGE COLLECT
908.36/912.82 c rational objective 19
934.99/939.51 c #Conflicts: 447000 | #Constraints: 72505
934.99/939.51 c #Conflicts: 448000 | #Constraints: 73505
934.99/939.51 c #Conflicts: 449000 | #Constraints: 74505
934.99/939.51 c #Conflicts: 450000 | #Constraints: 75505
934.99/939.51 c #Conflicts: 451000 | #Constraints: 76505
934.99/939.51 c #Conflicts: 452000 | #Constraints: 77505
934.99/939.51 c #Conflicts: 453000 | #Constraints: 78505
934.99/939.51 c #Conflicts: 454000 | #Constraints: 79505
934.99/939.51 c #Conflicts: 455000 | #Constraints: 80505
934.99/939.51 c #Conflicts: 456000 | #Constraints: 81505
934.99/939.51 c #Conflicts: 457000 | #Constraints: 82505
934.99/939.51 c #Conflicts: 458000 | #Constraints: 83505
934.99/939.51 c #Conflicts: 459000 | #Constraints: 84505
934.99/939.51 c #Conflicts: 460000 | #Constraints: 85505
934.99/939.51 c INPROCESSING
934.99/939.51 c GARBAGE COLLECT
934.99/939.51 c rational objective 19
948.46/953.05 c #Conflicts: 461000 | #Constraints: 73057
948.46/953.05 c #Conflicts: 462000 | #Constraints: 74057
948.46/953.05 c #Conflicts: 463000 | #Constraints: 75057
948.46/953.05 c #Conflicts: 464000 | #Constraints: 76057
948.46/953.05 c #Conflicts: 465000 | #Constraints: 77057
948.46/953.05 c #Conflicts: 466000 | #Constraints: 78057
948.46/953.05 c #Conflicts: 467000 | #Constraints: 79057
948.46/953.05 c #Conflicts: 468000 | #Constraints: 80057
948.46/953.05 c #Conflicts: 469000 | #Constraints: 81057
948.46/953.05 c #Conflicts: 470000 | #Constraints: 82057
948.46/953.05 c #Conflicts: 471000 | #Constraints: 83057
948.46/953.05 c #Conflicts: 472000 | #Constraints: 84057
948.46/953.05 c #Conflicts: 473000 | #Constraints: 85057
948.46/953.05 c #Conflicts: 474000 | #Constraints: 86057
948.46/953.05 c INPROCESSING
948.46/953.05 c GARBAGE COLLECT
948.46/953.05 c rational objective 19
964.89/969.59 c #Conflicts: 475000 | #Constraints: 73437
964.89/969.59 c #Conflicts: 476000 | #Constraints: 74437
964.89/969.59 c #Conflicts: 477000 | #Constraints: 75437
964.89/969.59 c #Conflicts: 478000 | #Constraints: 76437
964.89/969.59 c #Conflicts: 479000 | #Constraints: 77437
964.89/969.59 c #Conflicts: 480000 | #Constraints: 78437
964.89/969.59 c #Conflicts: 481000 | #Constraints: 79437
964.89/969.59 c #Conflicts: 482000 | #Constraints: 80437
964.89/969.59 c #Conflicts: 483000 | #Constraints: 81437
964.89/969.59 c #Conflicts: 484000 | #Constraints: 82437
964.89/969.59 c #Conflicts: 485000 | #Constraints: 83437
964.89/969.59 c #Conflicts: 486000 | #Constraints: 84437
964.89/969.59 c #Conflicts: 487000 | #Constraints: 85437
964.89/969.59 c #Conflicts: 488000 | #Constraints: 86437
964.89/969.59 c INPROCESSING
964.89/969.59 c GARBAGE COLLECT
964.89/969.59 c rational objective 19
978.37/983.09 c #Conflicts: 489000 | #Constraints: 73625
978.37/983.09 c #Conflicts: 490000 | #Constraints: 74625
978.37/983.09 c #Conflicts: 491000 | #Constraints: 75625
978.37/983.09 c #Conflicts: 492000 | #Constraints: 76625
978.37/983.09 c #Conflicts: 493000 | #Constraints: 77625
978.37/983.09 c #Conflicts: 494000 | #Constraints: 78625
978.37/983.09 c #Conflicts: 495000 | #Constraints: 79625
978.37/983.09 c #Conflicts: 496000 | #Constraints: 80625
978.37/983.09 c #Conflicts: 497000 | #Constraints: 81625
978.37/983.09 c #Conflicts: 498000 | #Constraints: 82625
978.37/983.09 c #Conflicts: 499000 | #Constraints: 83625
978.37/983.09 c #Conflicts: 500000 | #Constraints: 84625
978.37/983.09 c #Conflicts: 501000 | #Constraints: 85625
978.37/983.09 c #Conflicts: 502000 | #Constraints: 86625
978.37/983.09 c INPROCESSING
978.37/983.09 c GARBAGE COLLECT
978.37/983.09 c rational objective 19
996.80/1001.53 c #Conflicts: 503000 | #Constraints: 73617
996.80/1001.53 c #Conflicts: 504000 | #Constraints: 74617
996.80/1001.53 c #Conflicts: 505000 | #Constraints: 75617
996.80/1001.53 c #Conflicts: 506000 | #Constraints: 76617
996.80/1001.53 c #Conflicts: 507000 | #Constraints: 77617
996.80/1001.53 c #Conflicts: 508000 | #Constraints: 78617
996.80/1001.53 c #Conflicts: 509000 | #Constraints: 79617
996.80/1001.53 c #Conflicts: 510000 | #Constraints: 80617
996.80/1001.53 c #Conflicts: 511000 | #Constraints: 81617
996.80/1001.53 c #Conflicts: 512000 | #Constraints: 82617
996.80/1001.53 c #Conflicts: 513000 | #Constraints: 83617
996.80/1001.53 c #Conflicts: 514000 | #Constraints: 84617
996.80/1001.53 c #Conflicts: 515000 | #Constraints: 85617
996.80/1001.53 c #Conflicts: 516000 | #Constraints: 86617
996.80/1001.53 c INPROCESSING
996.80/1001.53 c GARBAGE COLLECT
996.80/1001.53 c rational objective 19
1027.82/1032.64 c #Conflicts: 517000 | #Constraints: 73420
1027.82/1032.64 c #Conflicts: 518000 | #Constraints: 74420
1027.82/1032.64 c #Conflicts: 519000 | #Constraints: 75420
1027.82/1032.64 c #Conflicts: 520000 | #Constraints: 76420
1027.82/1032.64 c #Conflicts: 521000 | #Constraints: 77420
1027.82/1032.64 c #Conflicts: 522000 | #Constraints: 78420
1027.82/1032.64 c #Conflicts: 523000 | #Constraints: 79420
1027.82/1032.64 c #Conflicts: 524000 | #Constraints: 80420
1027.82/1032.64 c #Conflicts: 525000 | #Constraints: 81420
1027.82/1032.64 c #Conflicts: 526000 | #Constraints: 82420
1027.82/1032.64 c #Conflicts: 527000 | #Constraints: 83420
1027.82/1032.64 c #Conflicts: 528000 | #Constraints: 84420
1027.82/1032.64 c #Conflicts: 529000 | #Constraints: 85420
1027.82/1032.64 c #Conflicts: 530000 | #Constraints: 86420
1027.82/1032.64 c #Conflicts: 531000 | #Constraints: 87420
1027.82/1032.64 c INPROCESSING
1027.82/1032.64 c GARBAGE COLLECT
1027.82/1032.64 c rational objective 19
1058.04/1062.94 c #Conflicts: 532000 | #Constraints: 74037
1058.04/1062.94 c #Conflicts: 533000 | #Constraints: 75037
1058.04/1062.94 c #Conflicts: 534000 | #Constraints: 76037
1058.04/1062.94 c #Conflicts: 535000 | #Constraints: 77037
1058.04/1062.94 c #Conflicts: 536000 | #Constraints: 78037
1058.04/1062.94 c #Conflicts: 537000 | #Constraints: 79037
1058.04/1062.94 c #Conflicts: 538000 | #Constraints: 80037
1058.04/1062.94 c #Conflicts: 539000 | #Constraints: 81037
1058.04/1062.94 c #Conflicts: 540000 | #Constraints: 82037
1058.04/1062.94 c #Conflicts: 541000 | #Constraints: 83037
1058.04/1062.94 c #Conflicts: 542000 | #Constraints: 84037
1058.04/1062.94 c #Conflicts: 543000 | #Constraints: 85037
1058.04/1062.94 c #Conflicts: 544000 | #Constraints: 86037
1058.04/1062.94 c #Conflicts: 545000 | #Constraints: 87037
1058.04/1062.94 c #Conflicts: 546000 | #Constraints: 88037
1058.04/1062.94 c INPROCESSING
1058.04/1062.94 c GARBAGE COLLECT
1058.04/1062.94 c rational objective 19
1071.50/1076.49 c #Conflicts: 547000 | #Constraints: 74474
1071.50/1076.49 c #Conflicts: 548000 | #Constraints: 75474
1071.50/1076.49 c #Conflicts: 549000 | #Constraints: 76474
1071.50/1076.49 c #Conflicts: 550000 | #Constraints: 77474
1071.50/1076.49 c #Conflicts: 551000 | #Constraints: 78474
1071.50/1076.49 c #Conflicts: 552000 | #Constraints: 79474
1071.50/1076.49 c #Conflicts: 553000 | #Constraints: 80474
1071.50/1076.49 c #Conflicts: 554000 | #Constraints: 81474
1071.50/1076.49 c #Conflicts: 555000 | #Constraints: 82474
1071.50/1076.49 c #Conflicts: 556000 | #Constraints: 83474
1071.50/1076.49 c #Conflicts: 557000 | #Constraints: 84474
1071.50/1076.49 c #Conflicts: 558000 | #Constraints: 85474
1071.50/1076.49 c #Conflicts: 559000 | #Constraints: 86474
1071.50/1076.49 c #Conflicts: 560000 | #Constraints: 87474
1071.50/1076.49 c #Conflicts: 561000 | #Constraints: 88474
1071.50/1076.49 c INPROCESSING
1071.50/1076.49 c GARBAGE COLLECT
1071.50/1076.49 c rational objective 19
1100.14/1105.18 c #Conflicts: 562000 | #Constraints: 74648
1100.14/1105.18 c #Conflicts: 563000 | #Constraints: 75648
1100.14/1105.18 c #Conflicts: 564000 | #Constraints: 76648
1100.14/1105.18 c #Conflicts: 565000 | #Constraints: 77648
1100.14/1105.18 c #Conflicts: 566000 | #Constraints: 78648
1100.14/1105.18 c #Conflicts: 567000 | #Constraints: 79648
1100.14/1105.18 c #Conflicts: 568000 | #Constraints: 80648
1100.14/1105.18 c #Conflicts: 569000 | #Constraints: 81648
1100.14/1105.18 c #Conflicts: 570000 | #Constraints: 82648
1100.14/1105.18 c #Conflicts: 571000 | #Constraints: 83648
1100.14/1105.18 c #Conflicts: 572000 | #Constraints: 84648
1100.14/1105.18 c #Conflicts: 573000 | #Constraints: 85648
1100.14/1105.18 c #Conflicts: 574000 | #Constraints: 86648
1100.14/1105.18 c #Conflicts: 575000 | #Constraints: 87648
1100.14/1105.18 c #Conflicts: 576000 | #Constraints: 88648
1100.14/1105.18 c INPROCESSING
1100.14/1105.18 c GARBAGE COLLECT
1100.14/1105.18 c rational objective 19
1121.75/1126.86 c #Conflicts: 577000 | #Constraints: 74627
1121.75/1126.86 c #Conflicts: 578000 | #Constraints: 75627
1121.75/1126.86 c #Conflicts: 579000 | #Constraints: 76627
1121.75/1126.86 c #Conflicts: 580000 | #Constraints: 77627
1121.75/1126.86 c #Conflicts: 581000 | #Constraints: 78627
1121.75/1126.86 c #Conflicts: 582000 | #Constraints: 79627
1121.75/1126.86 c #Conflicts: 583000 | #Constraints: 80627
1121.75/1126.86 c #Conflicts: 584000 | #Constraints: 81627
1121.75/1126.86 c #Conflicts: 585000 | #Constraints: 82627
1121.75/1126.86 c #Conflicts: 586000 | #Constraints: 83627
1121.75/1126.86 c #Conflicts: 587000 | #Constraints: 84627
1121.75/1126.86 c #Conflicts: 588000 | #Constraints: 85627
1121.75/1126.86 c #Conflicts: 589000 | #Constraints: 86627
1121.75/1126.86 c #Conflicts: 590000 | #Constraints: 87627
1121.75/1126.86 c #Conflicts: 591000 | #Constraints: 88627
1121.75/1126.86 c INPROCESSING
1121.75/1126.86 c GARBAGE COLLECT
1121.75/1126.86 c rational objective 19
1150.68/1155.82 c #Conflicts: 592000 | #Constraints: 74424
1150.68/1155.82 c #Conflicts: 593000 | #Constraints: 75424
1150.68/1155.82 c #Conflicts: 594000 | #Constraints: 76424
1150.68/1155.82 c #Conflicts: 595000 | #Constraints: 77424
1150.68/1155.82 c #Conflicts: 596000 | #Constraints: 78424
1150.68/1155.82 c #Conflicts: 597000 | #Constraints: 79424
1150.68/1155.82 c #Conflicts: 598000 | #Constraints: 80424
1150.68/1155.82 c #Conflicts: 599000 | #Constraints: 81424
1150.68/1155.82 c #Conflicts: 600000 | #Constraints: 82424
1150.68/1155.82 c #Conflicts: 601000 | #Constraints: 83424
1150.68/1155.82 c #Conflicts: 602000 | #Constraints: 84424
1150.68/1155.82 c #Conflicts: 603000 | #Constraints: 85424
1150.68/1155.82 c #Conflicts: 604000 | #Constraints: 86424
1150.68/1155.82 c #Conflicts: 605000 | #Constraints: 87424
1150.68/1155.82 c #Conflicts: 606000 | #Constraints: 88424
1150.68/1155.82 c #Conflicts: 607000 | #Constraints: 89424
1150.68/1155.82 c INPROCESSING
1150.68/1155.82 c GARBAGE COLLECT
1150.68/1155.82 c rational objective 19
1167.04/1172.21 c #Conflicts: 608000 | #Constraints: 75020
1167.04/1172.21 c #Conflicts: 609000 | #Constraints: 76020
1167.04/1172.21 c #Conflicts: 610000 | #Constraints: 77020
1167.04/1172.21 c #Conflicts: 611000 | #Constraints: 78020
1167.04/1172.21 c #Conflicts: 612000 | #Constraints: 79020
1167.04/1172.21 c #Conflicts: 613000 | #Constraints: 80020
1167.04/1172.21 c #Conflicts: 614000 | #Constraints: 81020
1167.04/1172.21 c #Conflicts: 615000 | #Constraints: 82020
1167.04/1172.21 c #Conflicts: 616000 | #Constraints: 83020
1167.04/1172.21 c #Conflicts: 617000 | #Constraints: 84020
1167.04/1172.21 c #Conflicts: 618000 | #Constraints: 85020
1167.04/1172.21 c #Conflicts: 619000 | #Constraints: 86020
1167.04/1172.21 c #Conflicts: 620000 | #Constraints: 87020
1167.04/1172.21 c #Conflicts: 621000 | #Constraints: 88020
1167.04/1172.21 c #Conflicts: 622000 | #Constraints: 89020
1167.04/1172.21 c #Conflicts: 623000 | #Constraints: 90020
1167.04/1172.21 c INPROCESSING
1167.04/1172.21 c GARBAGE COLLECT
1167.04/1172.21 c rational objective 19
1210.59/1215.93 c #Conflicts: 624000 | #Constraints: 75418
1210.59/1215.93 c #Conflicts: 625000 | #Constraints: 76418
1210.59/1215.93 c #Conflicts: 626000 | #Constraints: 77418
1210.59/1215.93 c #Conflicts: 627000 | #Constraints: 78418
1210.59/1215.93 c #Conflicts: 628000 | #Constraints: 79418
1210.59/1215.93 c #Conflicts: 629000 | #Constraints: 80418
1210.59/1215.93 c #Conflicts: 630000 | #Constraints: 81418
1210.59/1215.93 c #Conflicts: 631000 | #Constraints: 82418
1210.59/1215.93 c #Conflicts: 632000 | #Constraints: 83418
1210.59/1215.93 c #Conflicts: 633000 | #Constraints: 84418
1210.59/1215.93 c #Conflicts: 634000 | #Constraints: 85418
1210.59/1215.93 c #Conflicts: 635000 | #Constraints: 86418
1210.59/1215.93 c #Conflicts: 636000 | #Constraints: 87418
1210.59/1215.93 c #Conflicts: 637000 | #Constraints: 88418
1210.59/1215.93 c #Conflicts: 638000 | #Constraints: 89418
1210.59/1215.93 c #Conflicts: 639000 | #Constraints: 90418
1210.59/1215.93 c INPROCESSING
1210.59/1215.93 c GARBAGE COLLECT
1210.59/1215.93 c rational objective 19
1233.42/1238.88 c #Conflicts: 640000 | #Constraints: 75674
1233.42/1238.88 c #Conflicts: 641000 | #Constraints: 76674
1233.42/1238.88 c #Conflicts: 642000 | #Constraints: 77674
1233.42/1238.88 c #Conflicts: 643000 | #Constraints: 78674
1233.42/1238.88 c #Conflicts: 644000 | #Constraints: 79674
1233.42/1238.88 c #Conflicts: 645000 | #Constraints: 80674
1233.42/1238.88 c #Conflicts: 646000 | #Constraints: 81674
1233.42/1238.88 c #Conflicts: 647000 | #Constraints: 82674
1233.42/1238.88 c #Conflicts: 648000 | #Constraints: 83674
1233.42/1238.88 c #Conflicts: 649000 | #Constraints: 84674
1233.42/1238.88 c #Conflicts: 650000 | #Constraints: 85674
1233.42/1238.88 c #Conflicts: 651000 | #Constraints: 86674
1233.42/1238.88 c #Conflicts: 652000 | #Constraints: 87674
1233.42/1238.88 c #Conflicts: 653000 | #Constraints: 88674
1233.42/1238.88 c #Conflicts: 654000 | #Constraints: 89674
1233.42/1238.88 c #Conflicts: 655000 | #Constraints: 90674
1233.42/1238.88 c INPROCESSING
1233.42/1238.88 c GARBAGE COLLECT
1233.42/1238.88 c rational objective 19
1271.80/1277.39 c #Conflicts: 656000 | #Constraints: 75650
1271.80/1277.39 c #Conflicts: 657000 | #Constraints: 76650
1271.80/1277.39 c #Conflicts: 658000 | #Constraints: 77650
1271.80/1277.39 c #Conflicts: 659000 | #Constraints: 78650
1271.80/1277.39 c #Conflicts: 660000 | #Constraints: 79650
1271.80/1277.39 c #Conflicts: 661000 | #Constraints: 80650
1271.80/1277.39 c #Conflicts: 662000 | #Constraints: 81650
1271.80/1277.39 c #Conflicts: 663000 | #Constraints: 82650
1271.80/1277.39 c #Conflicts: 664000 | #Constraints: 83650
1271.80/1277.39 c #Conflicts: 665000 | #Constraints: 84650
1271.80/1277.39 c #Conflicts: 666000 | #Constraints: 85650
1271.80/1277.39 c #Conflicts: 667000 | #Constraints: 86650
1271.80/1277.39 c #Conflicts: 668000 | #Constraints: 87650
1271.80/1277.39 c #Conflicts: 669000 | #Constraints: 88650
1271.80/1277.39 c #Conflicts: 670000 | #Constraints: 89650
1271.80/1277.39 c #Conflicts: 671000 | #Constraints: 90650
1271.80/1277.39 c INPROCESSING
1271.80/1277.39 c GARBAGE COLLECT
1271.80/1277.39 c rational objective 19
1290.23/1295.84 c #Conflicts: 672000 | #Constraints: 75433
1290.23/1295.84 c #Conflicts: 673000 | #Constraints: 76433
1290.23/1295.84 c #Conflicts: 674000 | #Constraints: 77433
1290.23/1295.84 c #Conflicts: 675000 | #Constraints: 78433
1290.23/1295.84 c #Conflicts: 676000 | #Constraints: 79433
1290.23/1295.84 c #Conflicts: 677000 | #Constraints: 80433
1290.23/1295.84 c #Conflicts: 678000 | #Constraints: 81433
1290.23/1295.84 c #Conflicts: 679000 | #Constraints: 82433
1290.23/1295.84 c #Conflicts: 680000 | #Constraints: 83433
1290.23/1295.84 c #Conflicts: 681000 | #Constraints: 84433
1290.23/1295.84 c #Conflicts: 682000 | #Constraints: 85433
1290.23/1295.84 c #Conflicts: 683000 | #Constraints: 86433
1290.23/1295.84 c #Conflicts: 684000 | #Constraints: 87433
1290.23/1295.84 c #Conflicts: 685000 | #Constraints: 88433
1290.23/1295.84 c #Conflicts: 686000 | #Constraints: 89433
1290.23/1295.84 c #Conflicts: 687000 | #Constraints: 90433
1290.23/1295.84 c #Conflicts: 688000 | #Constraints: 91433
1290.23/1295.84 c INPROCESSING
1290.23/1295.84 c GARBAGE COLLECT
1290.23/1295.84 c rational objective 19
1306.58/1312.22 c #Conflicts: 689000 | #Constraints: 76024
1306.58/1312.22 c #Conflicts: 690000 | #Constraints: 77024
1306.58/1312.22 c #Conflicts: 691000 | #Constraints: 78024
1306.58/1312.22 c #Conflicts: 692000 | #Constraints: 79024
1306.58/1312.22 c #Conflicts: 693000 | #Constraints: 80024
1306.58/1312.22 c #Conflicts: 694000 | #Constraints: 81024
1306.58/1312.22 c #Conflicts: 695000 | #Constraints: 82024
1306.58/1312.22 c #Conflicts: 696000 | #Constraints: 83024
1306.58/1312.22 c #Conflicts: 697000 | #Constraints: 84024
1306.58/1312.22 c #Conflicts: 698000 | #Constraints: 85024
1306.58/1312.22 c #Conflicts: 699000 | #Constraints: 86024
1306.58/1312.22 c #Conflicts: 700000 | #Constraints: 87024
1306.58/1312.22 c #Conflicts: 701000 | #Constraints: 88024
1306.58/1312.22 c #Conflicts: 702000 | #Constraints: 89024
1306.58/1312.22 c #Conflicts: 703000 | #Constraints: 90024
1306.58/1312.22 c #Conflicts: 704000 | #Constraints: 91024
1306.58/1312.22 c #Conflicts: 705000 | #Constraints: 92024
1306.58/1312.22 c INPROCESSING
1306.58/1312.22 c GARBAGE COLLECT
1306.58/1312.22 c rational objective 19
1325.72/1331.46 c #Conflicts: 706000 | #Constraints: 76446
1325.72/1331.46 c #Conflicts: 707000 | #Constraints: 77446
1325.72/1331.46 c #Conflicts: 708000 | #Constraints: 78446
1325.72/1331.46 c #Conflicts: 709000 | #Constraints: 79446
1325.72/1331.46 c #Conflicts: 710000 | #Constraints: 80446
1325.72/1331.46 c #Conflicts: 711000 | #Constraints: 81446
1325.72/1331.46 c #Conflicts: 712000 | #Constraints: 82446
1325.72/1331.46 c #Conflicts: 713000 | #Constraints: 83446
1325.72/1331.46 c #Conflicts: 714000 | #Constraints: 84446
1325.72/1331.46 c #Conflicts: 715000 | #Constraints: 85446
1325.72/1331.46 c #Conflicts: 716000 | #Constraints: 86446
1325.72/1331.46 c #Conflicts: 717000 | #Constraints: 87446
1325.72/1331.46 c #Conflicts: 718000 | #Constraints: 88446
1325.72/1331.46 c #Conflicts: 719000 | #Constraints: 89446
1325.72/1331.46 c #Conflicts: 720000 | #Constraints: 90446
1325.72/1331.46 c #Conflicts: 721000 | #Constraints: 91446
1325.72/1331.46 c #Conflicts: 722000 | #Constraints: 92446
1325.72/1331.46 c INPROCESSING
1325.72/1331.46 c GARBAGE COLLECT
1325.72/1331.46 c rational objective 19
1340.29/1346.03 c #Conflicts: 723000 | #Constraints: 76659
1340.29/1346.03 c #Conflicts: 724000 | #Constraints: 77659
1340.29/1346.03 c #Conflicts: 725000 | #Constraints: 78659
1340.29/1346.03 c #Conflicts: 726000 | #Constraints: 79659
1340.29/1346.03 c #Conflicts: 727000 | #Constraints: 80659
1340.29/1346.03 c #Conflicts: 728000 | #Constraints: 81659
1340.29/1346.03 c #Conflicts: 729000 | #Constraints: 82659
1340.29/1346.03 c #Conflicts: 730000 | #Constraints: 83659
1340.29/1346.03 c #Conflicts: 731000 | #Constraints: 84659
1340.29/1346.03 c #Conflicts: 732000 | #Constraints: 85659
1340.29/1346.03 c #Conflicts: 733000 | #Constraints: 86659
1340.29/1346.03 c #Conflicts: 734000 | #Constraints: 87659
1340.29/1346.03 c #Conflicts: 735000 | #Constraints: 88659
1340.29/1346.03 c #Conflicts: 736000 | #Constraints: 89659
1340.29/1346.03 c #Conflicts: 737000 | #Constraints: 90659
1340.29/1346.03 c #Conflicts: 738000 | #Constraints: 91659
1340.29/1346.03 c #Conflicts: 739000 | #Constraints: 92659
1340.29/1346.03 c INPROCESSING
1340.29/1346.03 c GARBAGE COLLECT
1340.29/1346.03 c rational objective 19
1369.89/1375.71 c #Conflicts: 740000 | #Constraints: 76643
1369.89/1375.71 c #Conflicts: 741000 | #Constraints: 77643
1369.89/1375.71 c #Conflicts: 742000 | #Constraints: 78643
1369.89/1375.71 c #Conflicts: 743000 | #Constraints: 79643
1369.89/1375.71 c #Conflicts: 744000 | #Constraints: 80643
1369.89/1375.71 c #Conflicts: 745000 | #Constraints: 81643
1369.89/1375.71 c #Conflicts: 746000 | #Constraints: 82643
1369.89/1375.71 c #Conflicts: 747000 | #Constraints: 83643
1369.89/1375.71 c #Conflicts: 748000 | #Constraints: 84643
1369.89/1375.71 c #Conflicts: 749000 | #Constraints: 85643
1369.89/1375.71 c #Conflicts: 750000 | #Constraints: 86643
1369.89/1375.71 c #Conflicts: 751000 | #Constraints: 87643
1369.89/1375.71 c #Conflicts: 752000 | #Constraints: 88643
1369.89/1375.71 c #Conflicts: 753000 | #Constraints: 89643
1369.89/1375.71 c #Conflicts: 754000 | #Constraints: 90643
1369.89/1375.71 c #Conflicts: 755000 | #Constraints: 91643
1369.89/1375.71 c #Conflicts: 756000 | #Constraints: 92643
1369.89/1375.71 c INPROCESSING
1369.89/1375.71 c GARBAGE COLLECT
1369.89/1375.71 c rational objective 19
1386.25/1392.18 c #Conflicts: 757000 | #Constraints: 76472
1386.25/1392.18 c #Conflicts: 758000 | #Constraints: 77472
1386.25/1392.18 c #Conflicts: 759000 | #Constraints: 78472
1386.25/1392.18 c #Conflicts: 760000 | #Constraints: 79472
1386.25/1392.18 c #Conflicts: 761000 | #Constraints: 80472
1386.25/1392.18 c #Conflicts: 762000 | #Constraints: 81472
1386.25/1392.18 c #Conflicts: 763000 | #Constraints: 82472
1386.25/1392.18 c #Conflicts: 764000 | #Constraints: 83472
1386.25/1392.18 c #Conflicts: 765000 | #Constraints: 84472
1386.25/1392.18 c #Conflicts: 766000 | #Constraints: 85472
1386.25/1392.18 c #Conflicts: 767000 | #Constraints: 86472
1386.25/1392.18 c #Conflicts: 768000 | #Constraints: 87472
1386.25/1392.18 c #Conflicts: 769000 | #Constraints: 88472
1386.25/1392.18 c #Conflicts: 770000 | #Constraints: 89472
1386.25/1392.18 c #Conflicts: 771000 | #Constraints: 90472
1386.25/1392.18 c #Conflicts: 772000 | #Constraints: 91472
1386.25/1392.18 c #Conflicts: 773000 | #Constraints: 92472
1386.25/1392.18 c #Conflicts: 774000 | #Constraints: 93472
1386.25/1392.18 c INPROCESSING
1386.25/1392.18 c GARBAGE COLLECT
1386.25/1392.18 c rational objective 19
1407.28/1413.28 c #Conflicts: 775000 | #Constraints: 77047
1407.28/1413.28 c #Conflicts: 776000 | #Constraints: 78047
1407.28/1413.28 c #Conflicts: 777000 | #Constraints: 79047
1407.28/1413.28 c #Conflicts: 778000 | #Constraints: 80047
1407.28/1413.28 c #Conflicts: 779000 | #Constraints: 81047
1407.28/1413.28 c #Conflicts: 780000 | #Constraints: 82047
1407.28/1413.28 c #Conflicts: 781000 | #Constraints: 83047
1407.28/1413.28 c #Conflicts: 782000 | #Constraints: 84047
1407.28/1413.28 c #Conflicts: 783000 | #Constraints: 85047
1407.28/1413.28 c #Conflicts: 784000 | #Constraints: 86047
1407.28/1413.28 c #Conflicts: 785000 | #Constraints: 87047
1407.28/1413.28 c #Conflicts: 786000 | #Constraints: 88047
1407.28/1413.28 c #Conflicts: 787000 | #Constraints: 89047
1407.28/1413.28 c #Conflicts: 788000 | #Constraints: 90047
1407.28/1413.28 c #Conflicts: 789000 | #Constraints: 91047
1407.28/1413.28 c #Conflicts: 790000 | #Constraints: 92047
1407.28/1413.28 c #Conflicts: 791000 | #Constraints: 93047
1407.28/1413.28 c #Conflicts: 792000 | #Constraints: 94047
1407.28/1413.28 c INPROCESSING
1407.28/1413.28 c GARBAGE COLLECT
1407.28/1413.28 c rational objective 19
1447.56/1453.62 c #Conflicts: 793000 | #Constraints: 77463
1447.56/1453.62 c #Conflicts: 794000 | #Constraints: 78463
1447.56/1453.62 c #Conflicts: 795000 | #Constraints: 79463
1447.56/1453.62 c #Conflicts: 796000 | #Constraints: 80463
1447.56/1453.62 c #Conflicts: 797000 | #Constraints: 81463
1447.56/1453.62 c #Conflicts: 798000 | #Constraints: 82463
1447.56/1453.62 c #Conflicts: 799000 | #Constraints: 83463
1447.56/1453.62 c #Conflicts: 800000 | #Constraints: 84463
1447.56/1453.62 c #Conflicts: 801000 | #Constraints: 85463
1447.56/1453.62 c #Conflicts: 802000 | #Constraints: 86463
1447.56/1453.62 c #Conflicts: 803000 | #Constraints: 87463
1447.56/1453.62 c #Conflicts: 804000 | #Constraints: 88463
1447.56/1453.62 c #Conflicts: 805000 | #Constraints: 89463
1447.56/1453.62 c #Conflicts: 806000 | #Constraints: 90463
1447.56/1453.62 c #Conflicts: 807000 | #Constraints: 91463
1447.56/1453.62 c #Conflicts: 808000 | #Constraints: 92463
1447.56/1453.62 c #Conflicts: 809000 | #Constraints: 93463
1447.56/1453.62 c #Conflicts: 810000 | #Constraints: 94463
1447.56/1453.62 c INPROCESSING
1447.56/1453.62 c GARBAGE COLLECT
1447.56/1453.62 c rational objective 19
1473.89/1480.03 c #Conflicts: 811000 | #Constraints: 77636
1473.89/1480.03 c #Conflicts: 812000 | #Constraints: 78636
1473.89/1480.03 c #Conflicts: 813000 | #Constraints: 79636
1473.89/1480.03 c #Conflicts: 814000 | #Constraints: 80636
1473.89/1480.03 c #Conflicts: 815000 | #Constraints: 81636
1473.89/1480.03 c #Conflicts: 816000 | #Constraints: 82636
1473.89/1480.03 c #Conflicts: 817000 | #Constraints: 83636
1473.89/1480.03 c #Conflicts: 818000 | #Constraints: 84636
1473.89/1480.03 c #Conflicts: 819000 | #Constraints: 85636
1473.89/1480.03 c #Conflicts: 820000 | #Constraints: 86636
1473.89/1480.03 c #Conflicts: 821000 | #Constraints: 87636
1473.89/1480.03 c #Conflicts: 822000 | #Constraints: 88636
1473.89/1480.03 c #Conflicts: 823000 | #Constraints: 89636
1473.89/1480.03 c #Conflicts: 824000 | #Constraints: 90636
1473.89/1480.03 c #Conflicts: 825000 | #Constraints: 91636
1473.89/1480.03 c #Conflicts: 826000 | #Constraints: 92636
1473.89/1480.03 c #Conflicts: 827000 | #Constraints: 93636
1473.89/1480.03 c #Conflicts: 828000 | #Constraints: 94636
1473.89/1480.03 c INPROCESSING
1473.89/1480.03 c GARBAGE COLLECT
1473.89/1480.03 c rational objective 19
1513.47/1519.71 c #Conflicts: 829000 | #Constraints: 77625
1513.47/1519.71 c #Conflicts: 830000 | #Constraints: 78625
1513.47/1519.71 c #Conflicts: 831000 | #Constraints: 79625
1513.47/1519.71 c #Conflicts: 832000 | #Constraints: 80625
1513.47/1519.71 c #Conflicts: 833000 | #Constraints: 81625
1513.47/1519.71 c #Conflicts: 834000 | #Constraints: 82625
1513.47/1519.71 c #Conflicts: 835000 | #Constraints: 83625
1513.47/1519.71 c #Conflicts: 836000 | #Constraints: 84625
1513.47/1519.71 c #Conflicts: 837000 | #Constraints: 85625
1513.47/1519.71 c #Conflicts: 838000 | #Constraints: 86625
1513.47/1519.71 c #Conflicts: 839000 | #Constraints: 87625
1513.47/1519.71 c #Conflicts: 840000 | #Constraints: 88625
1513.47/1519.71 c #Conflicts: 841000 | #Constraints: 89625
1513.47/1519.71 c #Conflicts: 842000 | #Constraints: 90625
1513.47/1519.71 c #Conflicts: 843000 | #Constraints: 91625
1513.47/1519.71 c #Conflicts: 844000 | #Constraints: 92625
1513.47/1519.71 c #Conflicts: 845000 | #Constraints: 93625
1513.47/1519.71 c #Conflicts: 846000 | #Constraints: 94625
1513.47/1519.71 c INPROCESSING
1513.47/1519.71 c GARBAGE COLLECT
1513.47/1519.71 c rational objective 19
1550.26/1556.61 c #Conflicts: 847000 | #Constraints: 77443
1550.26/1556.61 c #Conflicts: 848000 | #Constraints: 78443
1550.26/1556.61 c #Conflicts: 849000 | #Constraints: 79443
1550.26/1556.61 c #Conflicts: 850000 | #Constraints: 80443
1550.26/1556.61 c #Conflicts: 851000 | #Constraints: 81443
1550.26/1556.61 c #Conflicts: 852000 | #Constraints: 82443
1550.26/1556.61 c #Conflicts: 853000 | #Constraints: 83443
1550.26/1556.61 c #Conflicts: 854000 | #Constraints: 84443
1550.26/1556.61 c #Conflicts: 855000 | #Constraints: 85443
1550.26/1556.61 c #Conflicts: 856000 | #Constraints: 86443
1550.26/1556.61 c #Conflicts: 857000 | #Constraints: 87443
1550.26/1556.61 c #Conflicts: 858000 | #Constraints: 88443
1550.26/1556.61 c #Conflicts: 859000 | #Constraints: 89443
1550.26/1556.61 c #Conflicts: 860000 | #Constraints: 90443
1550.26/1556.61 c #Conflicts: 861000 | #Constraints: 91443
1550.26/1556.61 c #Conflicts: 862000 | #Constraints: 92443
1550.26/1556.61 c #Conflicts: 863000 | #Constraints: 93443
1550.26/1556.61 c #Conflicts: 864000 | #Constraints: 94443
1550.26/1556.61 c #Conflicts: 865000 | #Constraints: 95443
1550.26/1556.61 c INPROCESSING
1550.26/1556.61 c GARBAGE COLLECT
1550.26/1556.61 c rational objective 19
1571.10/1577.58 c #Conflicts: 866000 | #Constraints: 78030
1571.10/1577.58 c #Conflicts: 867000 | #Constraints: 79030
1571.10/1577.58 c #Conflicts: 868000 | #Constraints: 80030
1571.10/1577.58 c #Conflicts: 869000 | #Constraints: 81030
1571.10/1577.58 c #Conflicts: 870000 | #Constraints: 82030
1571.10/1577.58 c #Conflicts: 871000 | #Constraints: 83030
1571.10/1577.58 c #Conflicts: 872000 | #Constraints: 84030
1571.10/1577.58 c #Conflicts: 873000 | #Constraints: 85030
1571.10/1577.58 c #Conflicts: 874000 | #Constraints: 86030
1571.10/1577.58 c #Conflicts: 875000 | #Constraints: 87030
1571.10/1577.58 c #Conflicts: 876000 | #Constraints: 88030
1571.10/1577.58 c #Conflicts: 877000 | #Constraints: 89030
1571.10/1577.58 c #Conflicts: 878000 | #Constraints: 90030
1571.10/1577.58 c #Conflicts: 879000 | #Constraints: 91030
1571.10/1577.58 c #Conflicts: 880000 | #Constraints: 92030
1571.10/1577.58 c #Conflicts: 881000 | #Constraints: 93030
1571.10/1577.58 c #Conflicts: 882000 | #Constraints: 94030
1571.10/1577.58 c #Conflicts: 883000 | #Constraints: 95030
1571.10/1577.58 c #Conflicts: 884000 | #Constraints: 96030
1571.10/1577.58 c INPROCESSING
1571.10/1577.58 c GARBAGE COLLECT
1571.10/1577.58 c rational objective 19
1607.90/1614.48 c #Conflicts: 885000 | #Constraints: 78427
1607.90/1614.48 c #Conflicts: 886000 | #Constraints: 79427
1607.90/1614.48 c #Conflicts: 887000 | #Constraints: 80427
1607.90/1614.48 c #Conflicts: 888000 | #Constraints: 81427
1607.90/1614.48 c #Conflicts: 889000 | #Constraints: 82427
1607.90/1614.48 c #Conflicts: 890000 | #Constraints: 83427
1607.90/1614.48 c #Conflicts: 891000 | #Constraints: 84427
1607.90/1614.48 c #Conflicts: 892000 | #Constraints: 85427
1607.90/1614.48 c #Conflicts: 893000 | #Constraints: 86427
1607.90/1614.48 c #Conflicts: 894000 | #Constraints: 87427
1607.90/1614.48 c #Conflicts: 895000 | #Constraints: 88427
1607.90/1614.48 c #Conflicts: 896000 | #Constraints: 89427
1607.90/1614.48 c #Conflicts: 897000 | #Constraints: 90427
1607.90/1614.48 c #Conflicts: 898000 | #Constraints: 91427
1607.90/1614.48 c #Conflicts: 899000 | #Constraints: 92427
1607.90/1614.48 c #Conflicts: 900000 | #Constraints: 93427
1607.90/1614.48 c #Conflicts: 901000 | #Constraints: 94427
1607.90/1614.48 c #Conflicts: 902000 | #Constraints: 95427
1607.90/1614.48 c #Conflicts: 903000 | #Constraints: 96427
1607.90/1614.48 c INPROCESSING
1607.90/1614.48 c GARBAGE COLLECT
1607.90/1614.48 c rational objective 19
1642.30/1648.96 c #Conflicts: 904000 | #Constraints: 78622
1642.30/1648.96 c #Conflicts: 905000 | #Constraints: 79622
1642.30/1648.96 c #Conflicts: 906000 | #Constraints: 80622
1642.30/1648.96 c #Conflicts: 907000 | #Constraints: 81622
1642.30/1648.96 c #Conflicts: 908000 | #Constraints: 82622
1642.30/1648.96 c #Conflicts: 909000 | #Constraints: 83622
1642.30/1648.96 c #Conflicts: 910000 | #Constraints: 84622
1642.30/1648.96 c #Conflicts: 911000 | #Constraints: 85622
1642.30/1648.96 c #Conflicts: 912000 | #Constraints: 86622
1642.30/1648.96 c #Conflicts: 913000 | #Constraints: 87622
1642.30/1648.96 c #Conflicts: 914000 | #Constraints: 88622
1642.30/1648.96 c #Conflicts: 915000 | #Constraints: 89622
1642.30/1648.96 c #Conflicts: 916000 | #Constraints: 90622
1642.30/1648.96 c #Conflicts: 917000 | #Constraints: 91622
1642.30/1648.96 c #Conflicts: 918000 | #Constraints: 92622
1642.30/1648.96 c #Conflicts: 919000 | #Constraints: 93622
1642.30/1648.96 c #Conflicts: 920000 | #Constraints: 94622
1642.30/1648.96 c #Conflicts: 921000 | #Constraints: 95622
1642.30/1648.96 c #Conflicts: 922000 | #Constraints: 96622
1642.30/1648.96 c INPROCESSING
1642.30/1648.96 c GARBAGE COLLECT
1642.30/1648.96 c rational objective 19
1665.34/1672.02 c #Conflicts: 923000 | #Constraints: 78621
1665.34/1672.02 c #Conflicts: 924000 | #Constraints: 79621
1665.34/1672.02 c #Conflicts: 925000 | #Constraints: 80621
1665.34/1672.02 c #Conflicts: 926000 | #Constraints: 81621
1665.34/1672.02 c #Conflicts: 927000 | #Constraints: 82621
1665.34/1672.02 c #Conflicts: 928000 | #Constraints: 83621
1665.34/1672.02 c #Conflicts: 929000 | #Constraints: 84621
1665.34/1672.02 c #Conflicts: 930000 | #Constraints: 85621
1665.34/1672.02 c #Conflicts: 931000 | #Constraints: 86621
1665.34/1672.02 c #Conflicts: 932000 | #Constraints: 87621
1665.34/1672.02 c #Conflicts: 933000 | #Constraints: 88621
1665.34/1672.02 c #Conflicts: 934000 | #Constraints: 89621
1665.34/1672.02 c #Conflicts: 935000 | #Constraints: 90621
1665.34/1672.02 c #Conflicts: 936000 | #Constraints: 91621
1665.34/1672.02 c #Conflicts: 937000 | #Constraints: 92621
1665.34/1672.02 c #Conflicts: 938000 | #Constraints: 93621
1665.34/1672.02 c #Conflicts: 939000 | #Constraints: 94621
1665.34/1672.02 c #Conflicts: 940000 | #Constraints: 95621
1665.34/1672.02 c #Conflicts: 941000 | #Constraints: 96621
1665.34/1672.02 c INPROCESSING
1665.34/1672.02 c GARBAGE COLLECT
1665.34/1672.02 c rational objective 19
1687.96/1694.70 c #Conflicts: 942000 | #Constraints: 78431
1687.96/1694.70 c #Conflicts: 943000 | #Constraints: 79431
1687.96/1694.70 c #Conflicts: 944000 | #Constraints: 80431
1687.96/1694.70 c #Conflicts: 945000 | #Constraints: 81431
1687.96/1694.70 c #Conflicts: 946000 | #Constraints: 82431
1687.96/1694.70 c #Conflicts: 947000 | #Constraints: 83431
1687.96/1694.70 c #Conflicts: 948000 | #Constraints: 84431
1687.96/1694.70 c #Conflicts: 949000 | #Constraints: 85431
1687.96/1694.70 c #Conflicts: 950000 | #Constraints: 86431
1687.96/1694.70 c #Conflicts: 951000 | #Constraints: 87431
1687.96/1694.70 c #Conflicts: 952000 | #Constraints: 88431
1687.96/1694.70 c #Conflicts: 953000 | #Constraints: 89431
1687.96/1694.70 c #Conflicts: 954000 | #Constraints: 90431
1687.96/1694.70 c #Conflicts: 955000 | #Constraints: 91431
1687.96/1694.70 c #Conflicts: 956000 | #Constraints: 92431
1687.96/1694.70 c #Conflicts: 957000 | #Constraints: 93431
1687.96/1694.70 c #Conflicts: 958000 | #Constraints: 94431
1687.96/1694.70 c #Conflicts: 959000 | #Constraints: 95431
1687.96/1694.70 c #Conflicts: 960000 | #Constraints: 96431
1687.96/1694.70 c #Conflicts: 961000 | #Constraints: 97431
1687.96/1694.70 c INPROCESSING
1687.96/1694.70 c GARBAGE COLLECT
1687.96/1694.70 c rational objective 19
1710.49/1717.30 c #Conflicts: 962000 | #Constraints: 79055
1710.49/1717.30 c #Conflicts: 963000 | #Constraints: 80055
1710.49/1717.30 c #Conflicts: 964000 | #Constraints: 81055
1710.49/1717.30 c #Conflicts: 965000 | #Constraints: 82055
1710.49/1717.30 c #Conflicts: 966000 | #Constraints: 83055
1710.49/1717.30 c #Conflicts: 967000 | #Constraints: 84055
1710.49/1717.30 c #Conflicts: 968000 | #Constraints: 85055
1710.49/1717.30 c #Conflicts: 969000 | #Constraints: 86055
1710.49/1717.30 c #Conflicts: 970000 | #Constraints: 87055
1710.49/1717.30 c #Conflicts: 971000 | #Constraints: 88055
1710.49/1717.30 c #Conflicts: 972000 | #Constraints: 89055
1710.49/1717.30 c #Conflicts: 973000 | #Constraints: 90055
1710.49/1717.30 c #Conflicts: 974000 | #Constraints: 91055
1710.49/1717.30 c #Conflicts: 975000 | #Constraints: 92055
1710.49/1717.30 c #Conflicts: 976000 | #Constraints: 93055
1710.49/1717.30 c #Conflicts: 977000 | #Constraints: 94055
1710.49/1717.30 c #Conflicts: 978000 | #Constraints: 95055
1710.49/1717.30 c #Conflicts: 979000 | #Constraints: 96055
1710.49/1717.30 c #Conflicts: 980000 | #Constraints: 97055
1710.49/1717.30 c #Conflicts: 981000 | #Constraints: 98055
1710.49/1717.30 c INPROCESSING
1710.49/1717.30 c GARBAGE COLLECT
1710.49/1717.30 c rational objective 19
1730.41/1737.35 c #Conflicts: 982000 | #Constraints: 79436
1730.41/1737.35 c #Conflicts: 983000 | #Constraints: 80436
1730.41/1737.35 c #Conflicts: 984000 | #Constraints: 81436
1730.41/1737.35 c #Conflicts: 985000 | #Constraints: 82436
1730.41/1737.35 c #Conflicts: 986000 | #Constraints: 83436
1730.41/1737.35 c #Conflicts: 987000 | #Constraints: 84436
1730.41/1737.35 c #Conflicts: 988000 | #Constraints: 85436
1730.41/1737.35 c #Conflicts: 989000 | #Constraints: 86436
1730.41/1737.35 c #Conflicts: 990000 | #Constraints: 87436
1730.41/1737.35 c #Conflicts: 991000 | #Constraints: 88436
1730.41/1737.35 c #Conflicts: 992000 | #Constraints: 89436
1730.41/1737.35 c #Conflicts: 993000 | #Constraints: 90436
1730.41/1737.35 c #Conflicts: 994000 | #Constraints: 91436
1730.41/1737.35 c #Conflicts: 995000 | #Constraints: 92436
1730.41/1737.35 c #Conflicts: 996000 | #Constraints: 93436
1730.41/1737.35 c #Conflicts: 997000 | #Constraints: 94436
1730.41/1737.35 c #Conflicts: 998000 | #Constraints: 95436
1730.41/1737.35 c #Conflicts: 999000 | #Constraints: 96436
1730.41/1737.35 c #Conflicts: 1000000 | #Constraints: 97436
1730.41/1737.35 c #Conflicts: 1001000 | #Constraints: 98436
1730.41/1737.35 c INPROCESSING
1730.41/1737.35 c GARBAGE COLLECT
1730.41/1737.35 c rational objective 19
1756.23/1763.24 c #Conflicts: 1002000 | #Constraints: 79626
1756.23/1763.24 c #Conflicts: 1003000 | #Constraints: 80626
1756.23/1763.24 c #Conflicts: 1004000 | #Constraints: 81626
1756.23/1763.24 c #Conflicts: 1005000 | #Constraints: 82626
1756.23/1763.24 c #Conflicts: 1006000 | #Constraints: 83626
1756.23/1763.24 c #Conflicts: 1007000 | #Constraints: 84626
1756.23/1763.24 c #Conflicts: 1008000 | #Constraints: 85626
1756.23/1763.24 c #Conflicts: 1009000 | #Constraints: 86626
1756.23/1763.24 c #Conflicts: 1010000 | #Constraints: 87626
1756.23/1763.24 c #Conflicts: 1011000 | #Constraints: 88626
1756.23/1763.24 c #Conflicts: 1012000 | #Constraints: 89626
1756.23/1763.24 c #Conflicts: 1013000 | #Constraints: 90626
1756.23/1763.24 c #Conflicts: 1014000 | #Constraints: 91626
1756.23/1763.24 c #Conflicts: 1015000 | #Constraints: 92626
1756.23/1763.24 c #Conflicts: 1016000 | #Constraints: 93626
1756.23/1763.24 c #Conflicts: 1017000 | #Constraints: 94626
1756.23/1763.24 c #Conflicts: 1018000 | #Constraints: 95626
1756.23/1763.24 c #Conflicts: 1019000 | #Constraints: 96626
1756.23/1763.24 c #Conflicts: 1020000 | #Constraints: 97626
1756.23/1763.24 c #Conflicts: 1021000 | #Constraints: 98626
1756.23/1763.24 c INPROCESSING
1756.23/1763.24 c GARBAGE COLLECT
1756.23/1763.24 c rational objective 19
1778.45/1785.51 c #Conflicts: 1022000 | #Constraints: 79657
1778.45/1785.51 c #Conflicts: 1023000 | #Constraints: 80657
1778.45/1785.51 c #Conflicts: 1024000 | #Constraints: 81657
1778.45/1785.51 c #Conflicts: 1025000 | #Constraints: 82657
1778.45/1785.51 c #Conflicts: 1026000 | #Constraints: 83657
1778.45/1785.51 c #Conflicts: 1027000 | #Constraints: 84657
1778.45/1785.51 c #Conflicts: 1028000 | #Constraints: 85657
1778.45/1785.51 c #Conflicts: 1029000 | #Constraints: 86657
1778.45/1785.51 c #Conflicts: 1030000 | #Constraints: 87657
1778.45/1785.51 c #Conflicts: 1031000 | #Constraints: 88657
1778.45/1785.51 c #Conflicts: 1032000 | #Constraints: 89657
1778.45/1785.51 c #Conflicts: 1033000 | #Constraints: 90657
1778.45/1785.51 c #Conflicts: 1034000 | #Constraints: 91657
1778.45/1785.51 c #Conflicts: 1035000 | #Constraints: 92657
1778.45/1785.51 c #Conflicts: 1036000 | #Constraints: 93657
1778.45/1785.51 c #Conflicts: 1037000 | #Constraints: 94657
1778.45/1785.51 c #Conflicts: 1038000 | #Constraints: 95657
1778.45/1785.51 c #Conflicts: 1039000 | #Constraints: 96657
1778.45/1785.51 c #Conflicts: 1040000 | #Constraints: 97657
1778.45/1785.51 c #Conflicts: 1041000 | #Constraints: 98657
1778.45/1785.51 c INPROCESSING
1778.45/1785.51 c GARBAGE COLLECT
1778.45/1785.51 c rational objective 19
1798.89/1806.04 c #Conflicts: 1042000 | #Constraints: 79441
1798.89/1806.04 c #Conflicts: 1043000 | #Constraints: 80441
1798.89/1806.04 c #Conflicts: 1044000 | #Constraints: 81441
1798.89/1806.04 c #Conflicts: 1045000 | #Constraints: 82441
1798.89/1806.04 c #Conflicts: 1046000 | #Constraints: 83441
1798.89/1806.04 c #Conflicts: 1047000 | #Constraints: 84441
1798.89/1806.04 c #Conflicts: 1048000 | #Constraints: 85441
1798.89/1806.04 c #Conflicts: 1049000 | #Constraints: 86441
1798.89/1806.04 c #Conflicts: 1050000 | #Constraints: 87441
1798.89/1806.04 c #Conflicts: 1051000 | #Constraints: 88441
1798.89/1806.04 c #Conflicts: 1052000 | #Constraints: 89441
1798.89/1806.04 c #Conflicts: 1053000 | #Constraints: 90441
1798.89/1806.04 c #Conflicts: 1054000 | #Constraints: 91441
1798.89/1806.04 c #Conflicts: 1055000 | #Constraints: 92441
1798.89/1806.04 c #Conflicts: 1056000 | #Constraints: 93441
1798.89/1806.04 c #Conflicts: 1057000 | #Constraints: 94441
1798.89/1806.04 c #Conflicts: 1058000 | #Constraints: 95441
1798.89/1806.04 c #Conflicts: 1059000 | #Constraints: 96441
1798.89/1806.04 c #Conflicts: 1060000 | #Constraints: 97441
1798.89/1806.04 c #Conflicts: 1061000 | #Constraints: 98441
1798.89/1806.04 c #Conflicts: 1062000 | #Constraints: 99441
1798.89/1806.04 c INPROCESSING
1798.89/1806.04 c GARBAGE COLLECT
1798.89/1806.04 c rational objective 19
1821.40/1828.69 c #Conflicts: 1063000 | #Constraints: 80036
1821.40/1828.69 c #Conflicts: 1064000 | #Constraints: 81036
1821.40/1828.69 c #Conflicts: 1065000 | #Constraints: 82036
1821.40/1828.69 c #Conflicts: 1066000 | #Constraints: 83036
1821.40/1828.69 c #Conflicts: 1067000 | #Constraints: 84036
1821.40/1828.69 c #Conflicts: 1068000 | #Constraints: 85036
1821.40/1828.69 c #Conflicts: 1069000 | #Constraints: 86036
1821.40/1828.69 c #Conflicts: 1070000 | #Constraints: 87036
1821.40/1828.69 c #Conflicts: 1071000 | #Constraints: 88036
1821.40/1828.69 c #Conflicts: 1072000 | #Constraints: 89036
1821.40/1828.69 c #Conflicts: 1073000 | #Constraints: 90036
1821.40/1828.69 c #Conflicts: 1074000 | #Constraints: 91036
1821.40/1828.69 c #Conflicts: 1075000 | #Constraints: 92036
1821.40/1828.69 c #Conflicts: 1076000 | #Constraints: 93036
1821.40/1828.69 c #Conflicts: 1077000 | #Constraints: 94036
1821.40/1828.69 c #Conflicts: 1078000 | #Constraints: 95036
1821.40/1828.69 c #Conflicts: 1079000 | #Constraints: 96036
1821.40/1828.69 c #Conflicts: 1080000 | #Constraints: 97036
1821.40/1828.69 c #Conflicts: 1081000 | #Constraints: 98036
1821.40/1828.69 c #Conflicts: 1082000 | #Constraints: 99036
1821.40/1828.69 c #Conflicts: 1083000 | #Constraints: 100036
1821.40/1828.69 c INPROCESSING
1821.40/1828.69 c GARBAGE COLLECT
1821.40/1828.69 c rational objective 19
1845.43/1852.71 c #Conflicts: 1084000 | #Constraints: 80427
1845.43/1852.71 c #Conflicts: 1085000 | #Constraints: 81427
1845.43/1852.71 c #Conflicts: 1086000 | #Constraints: 82427
1845.43/1852.71 c #Conflicts: 1087000 | #Constraints: 83427
1845.43/1852.71 c #Conflicts: 1088000 | #Constraints: 84427
1845.43/1852.71 c #Conflicts: 1089000 | #Constraints: 85427
1845.43/1852.71 c #Conflicts: 1090000 | #Constraints: 86427
1845.43/1852.71 c #Conflicts: 1091000 | #Constraints: 87427
1845.43/1852.71 c #Conflicts: 1092000 | #Constraints: 88427
1845.43/1852.71 c #Conflicts: 1093000 | #Constraints: 89427
1845.43/1852.71 c #Conflicts: 1094000 | #Constraints: 90427
1845.43/1852.71 c #Conflicts: 1095000 | #Constraints: 91427
1845.43/1852.71 c #Conflicts: 1096000 | #Constraints: 92427
1845.43/1852.71 c #Conflicts: 1097000 | #Constraints: 93427
1845.43/1852.71 c #Conflicts: 1098000 | #Constraints: 94427
1845.43/1852.71 c #Conflicts: 1099000 | #Constraints: 95427
1845.43/1852.71 c #Conflicts: 1100000 | #Constraints: 96427
1845.43/1852.71 c #Conflicts: 1101000 | #Constraints: 97427
1845.43/1852.71 c #Conflicts: 1102000 | #Constraints: 98427
1845.43/1852.71 c #Conflicts: 1103000 | #Constraints: 99427
1845.43/1852.71 c #Conflicts: 1104000 | #Constraints: 100427
1845.43/1852.71 c INPROCESSING
1845.43/1852.71 c GARBAGE COLLECT
1845.43/1852.71 c rational objective 19
1868.57/1876.01 c #Conflicts: 1105000 | #Constraints: 80624
1868.57/1876.01 c #Conflicts: 1106000 | #Constraints: 81624
1868.57/1876.01 c #Conflicts: 1107000 | #Constraints: 82624
1868.57/1876.01 c #Conflicts: 1108000 | #Constraints: 83624
1868.57/1876.01 c #Conflicts: 1109000 | #Constraints: 84624
1868.57/1876.01 c #Conflicts: 1110000 | #Constraints: 85624
1868.57/1876.01 c #Conflicts: 1111000 | #Constraints: 86624
1868.57/1876.01 c #Conflicts: 1112000 | #Constraints: 87624
1868.57/1876.01 c #Conflicts: 1113000 | #Constraints: 88624
1868.57/1876.01 c #Conflicts: 1114000 | #Constraints: 89624
1868.57/1876.01 c #Conflicts: 1115000 | #Constraints: 90624
1868.57/1876.01 c #Conflicts: 1116000 | #Constraints: 91624
1868.57/1876.01 c #Conflicts: 1117000 | #Constraints: 92624
1868.57/1876.01 c #Conflicts: 1118000 | #Constraints: 93624
1868.57/1876.01 c #Conflicts: 1119000 | #Constraints: 94624
1868.57/1876.01 c #Conflicts: 1120000 | #Constraints: 95624
1868.57/1876.01 c #Conflicts: 1121000 | #Constraints: 96624
1868.57/1876.01 c #Conflicts: 1122000 | #Constraints: 97624
1868.57/1876.01 c #Conflicts: 1123000 | #Constraints: 98624
1868.57/1876.01 c #Conflicts: 1124000 | #Constraints: 99624
1868.57/1876.01 c #Conflicts: 1125000 | #Constraints: 100624
1868.57/1876.01 c INPROCESSING
1868.57/1876.01 c GARBAGE COLLECT
1868.57/1876.01 c rational objective 19
1897.39/1904.82 c #Conflicts: 1126000 | #Constraints: 80622
1897.39/1904.82 c #Conflicts: 1127000 | #Constraints: 81622
1897.39/1904.82 c #Conflicts: 1128000 | #Constraints: 82622
1897.39/1904.82 c #Conflicts: 1129000 | #Constraints: 83622
1897.39/1904.82 c #Conflicts: 1130000 | #Constraints: 84622
1897.39/1904.82 c #Conflicts: 1131000 | #Constraints: 85622
1897.39/1904.82 c #Conflicts: 1132000 | #Constraints: 86622
1897.39/1904.82 c #Conflicts: 1133000 | #Constraints: 87622
1897.39/1904.82 c #Conflicts: 1134000 | #Constraints: 88622
1897.39/1904.82 c #Conflicts: 1135000 | #Constraints: 89622
1897.39/1904.82 c #Conflicts: 1136000 | #Constraints: 90622
1897.39/1904.82 c #Conflicts: 1137000 | #Constraints: 91622
1897.39/1904.82 c #Conflicts: 1138000 | #Constraints: 92622
1897.39/1904.82 c #Conflicts: 1139000 | #Constraints: 93622
1897.39/1904.82 c #Conflicts: 1140000 | #Constraints: 94622
1897.39/1904.82 c #Conflicts: 1141000 | #Constraints: 95622
1897.39/1904.82 c #Conflicts: 1142000 | #Constraints: 96622
1897.39/1904.82 c #Conflicts: 1143000 | #Constraints: 97622
1897.39/1904.82 c #Conflicts: 1144000 | #Constraints: 98623
1897.39/1904.82 c #Conflicts: 1145000 | #Constraints: 99624
1897.39/1904.82 c #Conflicts: 1146000 | #Constraints: 100624
1897.39/1904.82 c INPROCESSING
1897.39/1904.82 c GARBAGE COLLECT
1897.39/1904.82 c rational objective 19
1918.02/1925.54 c #Conflicts: 1147000 | #Constraints: 80421
1918.02/1925.54 c #Conflicts: 1148000 | #Constraints: 81421
1918.02/1925.54 c #Conflicts: 1149000 | #Constraints: 82421
1918.02/1925.54 c #Conflicts: 1150000 | #Constraints: 83421
1918.02/1925.54 c #Conflicts: 1151000 | #Constraints: 84421
1918.02/1925.54 c #Conflicts: 1152000 | #Constraints: 85421
1918.02/1925.54 c #Conflicts: 1153000 | #Constraints: 86421
1918.02/1925.54 c #Conflicts: 1154000 | #Constraints: 87421
1918.02/1925.54 c #Conflicts: 1155000 | #Constraints: 88421
1918.02/1925.54 c #Conflicts: 1156000 | #Constraints: 89421
1918.02/1925.54 c #Conflicts: 1157000 | #Constraints: 90421
1918.02/1925.54 c #Conflicts: 1158000 | #Constraints: 91421
1918.02/1925.54 c #Conflicts: 1159000 | #Constraints: 92421
1918.02/1925.54 c #Conflicts: 1160000 | #Constraints: 93421
1918.02/1925.54 c #Conflicts: 1161000 | #Constraints: 94421
1918.02/1925.54 c #Conflicts: 1162000 | #Constraints: 95421
1918.02/1925.54 c #Conflicts: 1163000 | #Constraints: 96421
1918.02/1925.54 c #Conflicts: 1164000 | #Constraints: 97422
1918.02/1925.54 c #Conflicts: 1165000 | #Constraints: 98422
1918.02/1925.54 c #Conflicts: 1166000 | #Constraints: 99422
1918.02/1925.54 c #Conflicts: 1167000 | #Constraints: 100422
1918.02/1925.54 c #Conflicts: 1168000 | #Constraints: 101422
1918.02/1925.54 c INPROCESSING
1918.02/1925.54 c GARBAGE COLLECT
1918.02/1925.54 c rational objective 19
1947.23/1954.80 c #Conflicts: 1169000 | #Constraints: 81029
1947.23/1954.80 c #Conflicts: 1170000 | #Constraints: 82029
1947.23/1954.80 c #Conflicts: 1171000 | #Constraints: 83029
1947.23/1954.80 c #Conflicts: 1172000 | #Constraints: 84029
1947.23/1954.80 c #Conflicts: 1173000 | #Constraints: 85029
1947.23/1954.80 c #Conflicts: 1174000 | #Constraints: 86029
1947.23/1954.80 c #Conflicts: 1175000 | #Constraints: 87029
1947.23/1954.80 c #Conflicts: 1176000 | #Constraints: 88029
1947.23/1954.80 c #Conflicts: 1177000 | #Constraints: 89029
1947.23/1954.80 c #Conflicts: 1178000 | #Constraints: 90029
1947.23/1954.80 c #Conflicts: 1179000 | #Constraints: 91029
1947.23/1954.80 c #Conflicts: 1180000 | #Constraints: 92029
1947.23/1954.80 c #Conflicts: 1181000 | #Constraints: 93029
1947.23/1954.80 c #Conflicts: 1182000 | #Constraints: 94029
1947.23/1954.80 c #Conflicts: 1183000 | #Constraints: 95029
1947.23/1954.80 c #Conflicts: 1184000 | #Constraints: 96029
1947.23/1954.80 c #Conflicts: 1185000 | #Constraints: 97029
1947.23/1954.80 c #Conflicts: 1186000 | #Constraints: 98029
1947.23/1954.80 c #Conflicts: 1187000 | #Constraints: 99029
1947.23/1954.80 c #Conflicts: 1188000 | #Constraints: 100029
1947.23/1954.80 c #Conflicts: 1189000 | #Constraints: 101029
1947.23/1954.80 c #Conflicts: 1190000 | #Constraints: 102029
1947.23/1954.80 c INPROCESSING
1947.23/1954.80 c GARBAGE COLLECT
1947.23/1954.80 c rational objective 19
1976.95/1984.68 c #Conflicts: 1191000 | #Constraints: 81429
1976.95/1984.68 c #Conflicts: 1192000 | #Constraints: 82430
1976.95/1984.68 c #Conflicts: 1193000 | #Constraints: 83430
1976.95/1984.68 c #Conflicts: 1194000 | #Constraints: 84430
1976.95/1984.68 c #Conflicts: 1195000 | #Constraints: 85430
1976.95/1984.68 c #Conflicts: 1196000 | #Constraints: 86430
1976.95/1984.68 c #Conflicts: 1197000 | #Constraints: 87430
1976.95/1984.68 c #Conflicts: 1198000 | #Constraints: 88430
1976.95/1984.68 c #Conflicts: 1199000 | #Constraints: 89430
1976.95/1984.68 c #Conflicts: 1200000 | #Constraints: 90430
1976.95/1984.68 c #Conflicts: 1201000 | #Constraints: 91430
1976.95/1984.68 c #Conflicts: 1202000 | #Constraints: 92430
1976.95/1984.68 c #Conflicts: 1203000 | #Constraints: 93430
1976.95/1984.68 c #Conflicts: 1204000 | #Constraints: 94430
1976.95/1984.68 c #Conflicts: 1205000 | #Constraints: 95430
1976.95/1984.68 c #Conflicts: 1206000 | #Constraints: 96430
1976.95/1984.68 c #Conflicts: 1207000 | #Constraints: 97430
1976.95/1984.68 c #Conflicts: 1208000 | #Constraints: 98430
1976.95/1984.68 c #Conflicts: 1209000 | #Constraints: 99430
1976.95/1984.68 c #Conflicts: 1210000 | #Constraints: 100430
1976.95/1984.68 c #Conflicts: 1211000 | #Constraints: 101430
1976.95/1984.68 c #Conflicts: 1212000 | #Constraints: 102430
1976.95/1984.68 c INPROCESSING
1976.95/1984.68 c GARBAGE COLLECT
1976.95/1984.68 c rational objective 19
2007.06/2014.88 c #Conflicts: 1213000 | #Constraints: 81629
2007.06/2014.88 c #Conflicts: 1214000 | #Constraints: 82629
2007.06/2014.88 c #Conflicts: 1215000 | #Constraints: 83629
2007.06/2014.88 c #Conflicts: 1216000 | #Constraints: 84629
2007.06/2014.88 c #Conflicts: 1217000 | #Constraints: 85629
2007.06/2014.88 c #Conflicts: 1218000 | #Constraints: 86629
2007.06/2014.88 c #Conflicts: 1219000 | #Constraints: 87629
2007.06/2014.88 c #Conflicts: 1220000 | #Constraints: 88629
2007.06/2014.88 c #Conflicts: 1221000 | #Constraints: 89629
2007.06/2014.88 c #Conflicts: 1222000 | #Constraints: 90629
2007.06/2014.88 c #Conflicts: 1223000 | #Constraints: 91629
2007.06/2014.88 c #Conflicts: 1224000 | #Constraints: 92629
2007.06/2014.88 c #Conflicts: 1225000 | #Constraints: 93629
2007.06/2014.88 c #Conflicts: 1226000 | #Constraints: 94629
2007.06/2014.88 c #Conflicts: 1227000 | #Constraints: 95629
2007.06/2014.88 c #Conflicts: 1228000 | #Constraints: 96629
2007.06/2014.88 c #Conflicts: 1229000 | #Constraints: 97629
2007.06/2014.88 c #Conflicts: 1230000 | #Constraints: 98629
2007.06/2014.88 c #Conflicts: 1231000 | #Constraints: 99629
2007.06/2014.88 c #Conflicts: 1232000 | #Constraints: 100629
2007.06/2014.88 c #Conflicts: 1233000 | #Constraints: 101629
2007.06/2014.88 c #Conflicts: 1234000 | #Constraints: 102629
2007.06/2014.88 c INPROCESSING
2007.06/2014.88 c GARBAGE COLLECT
2007.06/2014.88 c rational objective 19
2036.38/2044.20 c #Conflicts: 1235000 | #Constraints: 81626
2036.38/2044.20 c #Conflicts: 1236000 | #Constraints: 82626
2036.38/2044.20 c #Conflicts: 1237000 | #Constraints: 83626
2036.38/2044.20 c #Conflicts: 1238000 | #Constraints: 84626
2036.38/2044.20 c #Conflicts: 1239000 | #Constraints: 85626
2036.38/2044.20 c #Conflicts: 1240000 | #Constraints: 86626
2036.38/2044.20 c #Conflicts: 1241000 | #Constraints: 87626
2036.38/2044.20 c #Conflicts: 1242000 | #Constraints: 88626
2036.38/2044.20 c #Conflicts: 1243000 | #Constraints: 89626
2036.38/2044.20 c #Conflicts: 1244000 | #Constraints: 90626
2036.38/2044.20 c #Conflicts: 1245000 | #Constraints: 91626
2036.38/2044.20 c #Conflicts: 1246000 | #Constraints: 92626
2036.38/2044.20 c #Conflicts: 1247000 | #Constraints: 93626
2036.38/2044.20 c #Conflicts: 1248000 | #Constraints: 94626
2036.38/2044.20 c #Conflicts: 1249000 | #Constraints: 95626
2036.38/2044.20 c #Conflicts: 1250000 | #Constraints: 96626
2036.38/2044.20 c #Conflicts: 1251000 | #Constraints: 97626
2036.38/2044.20 c #Conflicts: 1252000 | #Constraints: 98626
2036.38/2044.20 c #Conflicts: 1253000 | #Constraints: 99626
2036.38/2044.20 c #Conflicts: 1254000 | #Constraints: 100626
2036.38/2044.20 c #Conflicts: 1255000 | #Constraints: 101626
2036.38/2044.20 c #Conflicts: 1256000 | #Constraints: 102626
2036.38/2044.20 c INPROCESSING
2036.38/2044.20 c GARBAGE COLLECT
2036.38/2044.20 c rational objective 19
2058.72/2066.67 c #Conflicts: 1257000 | #Constraints: 81424
2058.72/2066.67 c #Conflicts: 1258000 | #Constraints: 82424
2058.72/2066.67 c #Conflicts: 1259000 | #Constraints: 83424
2058.72/2066.67 c #Conflicts: 1260000 | #Constraints: 84424
2058.72/2066.67 c #Conflicts: 1261000 | #Constraints: 85424
2058.72/2066.67 c #Conflicts: 1262000 | #Constraints: 86424
2058.72/2066.67 c #Conflicts: 1263000 | #Constraints: 87424
2058.72/2066.67 c #Conflicts: 1264000 | #Constraints: 88424
2058.72/2066.67 c #Conflicts: 1265000 | #Constraints: 89424
2058.72/2066.67 c #Conflicts: 1266000 | #Constraints: 90424
2058.72/2066.67 c #Conflicts: 1267000 | #Constraints: 91424
2058.72/2066.67 c #Conflicts: 1268000 | #Constraints: 92424
2058.72/2066.67 c #Conflicts: 1269000 | #Constraints: 93424
2058.72/2066.67 c #Conflicts: 1270000 | #Constraints: 94424
2058.72/2066.67 c #Conflicts: 1271000 | #Constraints: 95424
2058.72/2066.67 c #Conflicts: 1272000 | #Constraints: 96424
2058.72/2066.67 c #Conflicts: 1273000 | #Constraints: 97424
2058.72/2066.67 c #Conflicts: 1274000 | #Constraints: 98424
2058.72/2066.67 c #Conflicts: 1275000 | #Constraints: 99424
2058.72/2066.67 c #Conflicts: 1276000 | #Constraints: 100424
2058.72/2066.67 c #Conflicts: 1277000 | #Constraints: 101424
2058.72/2066.67 c #Conflicts: 1278000 | #Constraints: 102424
2058.72/2066.67 c #Conflicts: 1279000 | #Constraints: 103424
2058.72/2066.67 c INPROCESSING
2058.72/2066.67 c GARBAGE COLLECT
2058.72/2066.67 c rational objective 19
2083.44/2091.41 c #Conflicts: 1280000 | #Constraints: 82032
2083.44/2091.41 c #Conflicts: 1281000 | #Constraints: 83032
2083.44/2091.41 c #Conflicts: 1282000 | #Constraints: 84032
2083.44/2091.41 c #Conflicts: 1283000 | #Constraints: 85032
2083.44/2091.41 c #Conflicts: 1284000 | #Constraints: 86032
2083.44/2091.41 c #Conflicts: 1285000 | #Constraints: 87032
2083.44/2091.41 c #Conflicts: 1286000 | #Constraints: 88032
2083.44/2091.41 c #Conflicts: 1287000 | #Constraints: 89032
2083.44/2091.41 c #Conflicts: 1288000 | #Constraints: 90032
2083.44/2091.41 c #Conflicts: 1289000 | #Constraints: 91032
2083.44/2091.41 c #Conflicts: 1290000 | #Constraints: 92032
2083.44/2091.41 c #Conflicts: 1291000 | #Constraints: 93032
2083.44/2091.41 c #Conflicts: 1292000 | #Constraints: 94032
2083.44/2091.41 c #Conflicts: 1293000 | #Constraints: 95032
2083.44/2091.41 c #Conflicts: 1294000 | #Constraints: 96032
2083.44/2091.41 c #Conflicts: 1295000 | #Constraints: 97032
2083.44/2091.41 c #Conflicts: 1296000 | #Constraints: 98032
2083.44/2091.41 c #Conflicts: 1297000 | #Constraints: 99032
2083.44/2091.41 c #Conflicts: 1298000 | #Constraints: 100032
2083.44/2091.41 c #Conflicts: 1299000 | #Constraints: 101032
2083.44/2091.41 c #Conflicts: 1300000 | #Constraints: 102032
2083.44/2091.41 c #Conflicts: 1301000 | #Constraints: 103032
2083.44/2091.41 c #Conflicts: 1302000 | #Constraints: 104032
2083.44/2091.41 c INPROCESSING
2083.44/2091.41 c GARBAGE COLLECT
2083.44/2091.41 c rational objective 19
2109.57/2117.66 c #Conflicts: 1303000 | #Constraints: 82451
2109.57/2117.66 c #Conflicts: 1304000 | #Constraints: 83451
2109.57/2117.66 c #Conflicts: 1305000 | #Constraints: 84451
2109.57/2117.66 c #Conflicts: 1306000 | #Constraints: 85451
2109.57/2117.66 c #Conflicts: 1307000 | #Constraints: 86451
2109.57/2117.66 c #Conflicts: 1308000 | #Constraints: 87451
2109.57/2117.66 c #Conflicts: 1309000 | #Constraints: 88451
2109.57/2117.66 c #Conflicts: 1310000 | #Constraints: 89451
2109.57/2117.66 c #Conflicts: 1311000 | #Constraints: 90451
2109.57/2117.66 c #Conflicts: 1312000 | #Constraints: 91451
2109.57/2117.66 c #Conflicts: 1313000 | #Constraints: 92451
2109.57/2117.66 c #Conflicts: 1314000 | #Constraints: 93451
2109.57/2117.66 c #Conflicts: 1315000 | #Constraints: 94451
2109.57/2117.66 c #Conflicts: 1316000 | #Constraints: 95451
2109.57/2117.66 c #Conflicts: 1317000 | #Constraints: 96451
2109.57/2117.66 c #Conflicts: 1318000 | #Constraints: 97451
2109.57/2117.66 c #Conflicts: 1319000 | #Constraints: 98451
2109.57/2117.66 c #Conflicts: 1320000 | #Constraints: 99451
2109.57/2117.66 c #Conflicts: 1321000 | #Constraints: 100451
2109.57/2117.66 c #Conflicts: 1322000 | #Constraints: 101451
2109.57/2117.66 c #Conflicts: 1323000 | #Constraints: 102451
2109.57/2117.66 c #Conflicts: 1324000 | #Constraints: 103451
2109.57/2117.66 c #Conflicts: 1325000 | #Constraints: 104451
2109.57/2117.66 c INPROCESSING
2109.57/2117.66 c GARBAGE COLLECT
2109.57/2117.66 c rational objective 19
2132.71/2140.84 c #Conflicts: 1326000 | #Constraints: 82633
2132.71/2140.84 c #Conflicts: 1327000 | #Constraints: 83633
2132.71/2140.84 c #Conflicts: 1328000 | #Constraints: 84633
2132.71/2140.84 c #Conflicts: 1329000 | #Constraints: 85633
2132.71/2140.84 c #Conflicts: 1330000 | #Constraints: 86633
2132.71/2140.84 c #Conflicts: 1331000 | #Constraints: 87633
2132.71/2140.84 c #Conflicts: 1332000 | #Constraints: 88633
2132.71/2140.84 c #Conflicts: 1333000 | #Constraints: 89633
2132.71/2140.84 c #Conflicts: 1334000 | #Constraints: 90633
2132.71/2140.84 c #Conflicts: 1335000 | #Constraints: 91633
2132.71/2140.84 c #Conflicts: 1336000 | #Constraints: 92633
2132.71/2140.84 c #Conflicts: 1337000 | #Constraints: 93633
2132.71/2140.84 c #Conflicts: 1338000 | #Constraints: 94633
2132.71/2140.84 c #Conflicts: 1339000 | #Constraints: 95633
2132.71/2140.84 c #Conflicts: 1340000 | #Constraints: 96633
2132.71/2140.84 c #Conflicts: 1341000 | #Constraints: 97633
2132.71/2140.84 c #Conflicts: 1342000 | #Constraints: 98633
2132.71/2140.84 c #Conflicts: 1343000 | #Constraints: 99633
2132.71/2140.84 c #Conflicts: 1344000 | #Constraints: 100633
2132.71/2140.84 c #Conflicts: 1345000 | #Constraints: 101633
2132.71/2140.84 c #Conflicts: 1346000 | #Constraints: 102633
2132.71/2140.84 c #Conflicts: 1347000 | #Constraints: 103633
2132.71/2140.84 c #Conflicts: 1348000 | #Constraints: 104633
2132.71/2140.84 c INPROCESSING
2132.71/2140.84 c GARBAGE COLLECT
2132.71/2140.84 c rational objective 19
2163.21/2171.45 c #Conflicts: 1349000 | #Constraints: 82643
2163.21/2171.45 c #Conflicts: 1350000 | #Constraints: 83643
2163.21/2171.45 c #Conflicts: 1351000 | #Constraints: 84643
2163.21/2171.45 c #Conflicts: 1352000 | #Constraints: 85643
2163.21/2171.45 c #Conflicts: 1353000 | #Constraints: 86643
2163.21/2171.45 c #Conflicts: 1354000 | #Constraints: 87643
2163.21/2171.45 c #Conflicts: 1355000 | #Constraints: 88643
2163.21/2171.45 c #Conflicts: 1356000 | #Constraints: 89643
2163.21/2171.45 c #Conflicts: 1357000 | #Constraints: 90643
2163.21/2171.45 c #Conflicts: 1358000 | #Constraints: 91643
2163.21/2171.45 c #Conflicts: 1359000 | #Constraints: 92643
2163.21/2171.45 c #Conflicts: 1360000 | #Constraints: 93643
2163.21/2171.45 c #Conflicts: 1361000 | #Constraints: 94643
2163.21/2171.45 c #Conflicts: 1362000 | #Constraints: 95643
2163.21/2171.45 c #Conflicts: 1363000 | #Constraints: 96643
2163.21/2171.45 c #Conflicts: 1364000 | #Constraints: 97643
2163.21/2171.45 c #Conflicts: 1365000 | #Constraints: 98643
2163.21/2171.45 c #Conflicts: 1366000 | #Constraints: 99643
2163.21/2171.45 c #Conflicts: 1367000 | #Constraints: 100643
2163.21/2171.45 c #Conflicts: 1368000 | #Constraints: 101643
2163.21/2171.45 c #Conflicts: 1369000 | #Constraints: 102643
2163.21/2171.45 c #Conflicts: 1370000 | #Constraints: 103643
2163.21/2171.45 c #Conflicts: 1371000 | #Constraints: 104643
2163.21/2171.45 c INPROCESSING
2163.21/2171.45 c GARBAGE COLLECT
2163.21/2171.45 c rational objective 19
2275.87/2284.49 c #Conflicts: 1372000 | #Constraints: 82441
2275.87/2284.49 c #Conflicts: 1373000 | #Constraints: 83441
2275.87/2284.49 c #Conflicts: 1374000 | #Constraints: 84441
2275.87/2284.49 c #Conflicts: 1375000 | #Constraints: 85441
2275.87/2284.49 c #Conflicts: 1376000 | #Constraints: 86441
2275.87/2284.49 c #Conflicts: 1377000 | #Constraints: 87441
2275.87/2284.49 c #Conflicts: 1378000 | #Constraints: 88441
2275.87/2284.49 c #Conflicts: 1379000 | #Constraints: 89441
2275.87/2284.49 c #Conflicts: 1380000 | #Constraints: 90441
2275.87/2284.49 c #Conflicts: 1381000 | #Constraints: 91441
2275.87/2284.49 c #Conflicts: 1382000 | #Constraints: 92441
2275.87/2284.49 c #Conflicts: 1383000 | #Constraints: 93441
2275.87/2284.49 c #Conflicts: 1384000 | #Constraints: 94441
2275.87/2284.49 c #Conflicts: 1385000 | #Constraints: 95441
2275.87/2284.49 c #Conflicts: 1386000 | #Constraints: 96441
2275.87/2284.49 c #Conflicts: 1387000 | #Constraints: 97441
2275.87/2284.49 c #Conflicts: 1388000 | #Constraints: 98441
2275.87/2284.49 c #Conflicts: 1389000 | #Constraints: 99441
2275.87/2284.49 c #Conflicts: 1390000 | #Constraints: 100441
2275.87/2284.49 c #Conflicts: 1391000 | #Constraints: 101441
2275.87/2284.49 c #Conflicts: 1392000 | #Constraints: 102441
2275.87/2284.49 c #Conflicts: 1393000 | #Constraints: 103441
2275.87/2284.49 c #Conflicts: 1394000 | #Constraints: 104441
2275.87/2284.49 c #Conflicts: 1395000 | #Constraints: 105441
2275.87/2284.49 c INPROCESSING
2275.87/2284.49 c GARBAGE COLLECT
2275.87/2284.49 c rational objective 19
2366.00/2374.84 c #Conflicts: 1396000 | #Constraints: 83039
2366.00/2374.84 c #Conflicts: 1397000 | #Constraints: 84039
2366.00/2374.84 c #Conflicts: 1398000 | #Constraints: 85039
2366.00/2374.84 c #Conflicts: 1399000 | #Constraints: 86039
2366.00/2374.84 c #Conflicts: 1400000 | #Constraints: 87039
2366.00/2374.84 c #Conflicts: 1401000 | #Constraints: 88039
2366.00/2374.84 c #Conflicts: 1402000 | #Constraints: 89039
2366.00/2374.84 c #Conflicts: 1403000 | #Constraints: 90039
2366.00/2374.84 c #Conflicts: 1404000 | #Constraints: 91039
2366.00/2374.84 c #Conflicts: 1405000 | #Constraints: 92039
2366.00/2374.84 c #Conflicts: 1406000 | #Constraints: 93039
2366.00/2374.84 c #Conflicts: 1407000 | #Constraints: 94039
2366.00/2374.84 c #Conflicts: 1408000 | #Constraints: 95039
2366.00/2374.84 c #Conflicts: 1409000 | #Constraints: 96039
2366.00/2374.84 c #Conflicts: 1410000 | #Constraints: 97039
2366.00/2374.84 c #Conflicts: 1411000 | #Constraints: 98039
2366.00/2374.84 c #Conflicts: 1412000 | #Constraints: 99039
2366.00/2374.84 c #Conflicts: 1413000 | #Constraints: 100039
2366.00/2374.84 c #Conflicts: 1414000 | #Constraints: 101039
2366.00/2374.84 c #Conflicts: 1415000 | #Constraints: 102039
2366.00/2374.84 c #Conflicts: 1416000 | #Constraints: 103039
2366.00/2374.84 c #Conflicts: 1417000 | #Constraints: 104039
2366.00/2374.84 c #Conflicts: 1418000 | #Constraints: 105039
2366.00/2374.84 c #Conflicts: 1419000 | #Constraints: 106039
2366.00/2374.84 c INPROCESSING
2366.00/2374.84 c GARBAGE COLLECT
2366.00/2374.84 c rational objective 19
2458.43/2467.59 c #Conflicts: 1420000 | #Constraints: 83479
2458.43/2467.59 c #Conflicts: 1421000 | #Constraints: 84479
2458.43/2467.59 c #Conflicts: 1422000 | #Constraints: 85479
2458.43/2467.59 c #Conflicts: 1423000 | #Constraints: 86479
2458.43/2467.59 c #Conflicts: 1424000 | #Constraints: 87479
2458.43/2467.59 c #Conflicts: 1425000 | #Constraints: 88479
2458.43/2467.59 c #Conflicts: 1426000 | #Constraints: 89479
2458.43/2467.59 c #Conflicts: 1427000 | #Constraints: 90479
2458.43/2467.59 c #Conflicts: 1428000 | #Constraints: 91479
2458.43/2467.59 c #Conflicts: 1429000 | #Constraints: 92479
2458.43/2467.59 c #Conflicts: 1430000 | #Constraints: 93479
2458.43/2467.59 c #Conflicts: 1431000 | #Constraints: 94479
2458.43/2467.59 c #Conflicts: 1432000 | #Constraints: 95479
2458.43/2467.59 c #Conflicts: 1433000 | #Constraints: 96479
2458.43/2467.59 c #Conflicts: 1434000 | #Constraints: 97479
2458.43/2467.59 c #Conflicts: 1435000 | #Constraints: 98479
2458.43/2467.59 c #Conflicts: 1436000 | #Constraints: 99479
2458.43/2467.59 c #Conflicts: 1437000 | #Constraints: 100479
2458.43/2467.59 c #Conflicts: 1438000 | #Constraints: 101479
2458.43/2467.59 c #Conflicts: 1439000 | #Constraints: 102479
2458.43/2467.59 c #Conflicts: 1440000 | #Constraints: 103479
2458.43/2467.59 c #Conflicts: 1441000 | #Constraints: 104479
2458.43/2467.59 c #Conflicts: 1442000 | #Constraints: 105479
2458.43/2467.59 c #Conflicts: 1443000 | #Constraints: 106479
2458.43/2467.59 c INPROCESSING
2458.43/2467.59 c GARBAGE COLLECT
2458.43/2467.59 c rational objective 19
2542.49/2551.87 c #Conflicts: 1444000 | #Constraints: 83657
2542.49/2551.87 c #Conflicts: 1445000 | #Constraints: 84657
2542.49/2551.87 c #Conflicts: 1446000 | #Constraints: 85657
2542.49/2551.87 c #Conflicts: 1447000 | #Constraints: 86657
2542.49/2551.87 c #Conflicts: 1448000 | #Constraints: 87657
2542.49/2551.87 c #Conflicts: 1449000 | #Constraints: 88657
2542.49/2551.87 c #Conflicts: 1450000 | #Constraints: 89657
2542.49/2551.87 c #Conflicts: 1451000 | #Constraints: 90657
2542.49/2551.87 c #Conflicts: 1452000 | #Constraints: 91657
2542.49/2551.87 c #Conflicts: 1453000 | #Constraints: 92657
2542.49/2551.87 c #Conflicts: 1454000 | #Constraints: 93657
2542.49/2551.87 c #Conflicts: 1455000 | #Constraints: 94657
2542.49/2551.87 c #Conflicts: 1456000 | #Constraints: 95657
2542.49/2551.87 c #Conflicts: 1457000 | #Constraints: 96657
2542.49/2551.87 c #Conflicts: 1458000 | #Constraints: 97657
2542.49/2551.87 c #Conflicts: 1459000 | #Constraints: 98657
2542.49/2551.87 c #Conflicts: 1460000 | #Constraints: 99657
2542.49/2551.87 c #Conflicts: 1461000 | #Constraints: 100657
2542.49/2551.87 c #Conflicts: 1462000 | #Constraints: 101657
2542.49/2551.87 c #Conflicts: 1463000 | #Constraints: 102657
2542.49/2551.88 c #Conflicts: 1464000 | #Constraints: 103657
2542.49/2551.88 c #Conflicts: 1465000 | #Constraints: 104657
2542.49/2551.88 c #Conflicts: 1466000 | #Constraints: 105657
2542.49/2551.88 c #Conflicts: 1467000 | #Constraints: 106657
2542.49/2551.88 c INPROCESSING
2542.49/2551.88 c GARBAGE COLLECT
2542.49/2551.88 c rational objective 19
2581.06/2590.59 c #Conflicts: 1468000 | #Constraints: 83704
2581.06/2590.59 c #Conflicts: 1469000 | #Constraints: 84704
2581.06/2590.59 c #Conflicts: 1470000 | #Constraints: 85704
2581.06/2590.59 c #Conflicts: 1471000 | #Constraints: 86704
2581.06/2590.59 c #Conflicts: 1472000 | #Constraints: 87704
2581.06/2590.59 c #Conflicts: 1473000 | #Constraints: 88704
2581.06/2590.59 c #Conflicts: 1474000 | #Constraints: 89704
2581.06/2590.59 c #Conflicts: 1475000 | #Constraints: 90704
2581.06/2590.59 c #Conflicts: 1476000 | #Constraints: 91704
2581.06/2590.59 c #Conflicts: 1477000 | #Constraints: 92704
2581.06/2590.59 c #Conflicts: 1478000 | #Constraints: 93704
2581.06/2590.59 c #Conflicts: 1479000 | #Constraints: 94704
2581.06/2590.59 c #Conflicts: 1480000 | #Constraints: 95704
2581.06/2590.59 c #Conflicts: 1481000 | #Constraints: 96704
2581.06/2590.59 c #Conflicts: 1482000 | #Constraints: 97704
2581.06/2590.59 c #Conflicts: 1483000 | #Constraints: 98704
2581.06/2590.59 c #Conflicts: 1484000 | #Constraints: 99704
2581.06/2590.59 c #Conflicts: 1485000 | #Constraints: 100704
2581.06/2590.59 c #Conflicts: 1486000 | #Constraints: 101704
2581.06/2590.59 c #Conflicts: 1487000 | #Constraints: 102704
2581.06/2590.59 c #Conflicts: 1488000 | #Constraints: 103704
2581.06/2590.59 c #Conflicts: 1489000 | #Constraints: 104704
2581.06/2590.59 c #Conflicts: 1490000 | #Constraints: 105704
2581.06/2590.59 c #Conflicts: 1491000 | #Constraints: 106704
2581.06/2590.59 c INPROCESSING
2581.06/2590.59 c GARBAGE COLLECT
2581.06/2590.59 c rational objective 19
2610.38/2619.91 c #Conflicts: 1492000 | #Constraints: 83469
2610.38/2619.91 c #Conflicts: 1493000 | #Constraints: 84469
2610.38/2619.91 c #Conflicts: 1494000 | #Constraints: 85469
2610.38/2619.91 c #Conflicts: 1495000 | #Constraints: 86469
2610.38/2619.91 c #Conflicts: 1496000 | #Constraints: 87469
2610.38/2619.91 c #Conflicts: 1497000 | #Constraints: 88469
2610.38/2619.91 c #Conflicts: 1498000 | #Constraints: 89469
2610.38/2619.91 c #Conflicts: 1499000 | #Constraints: 90469
2610.38/2619.91 c #Conflicts: 1500000 | #Constraints: 91469
2610.38/2619.91 c #Conflicts: 1501000 | #Constraints: 92469
2610.38/2619.91 c #Conflicts: 1502000 | #Constraints: 93469
2610.38/2619.91 c #Conflicts: 1503000 | #Constraints: 94469
2610.38/2619.91 c #Conflicts: 1504000 | #Constraints: 95469
2610.38/2619.91 c #Conflicts: 1505000 | #Constraints: 96469
2610.38/2619.91 c #Conflicts: 1506000 | #Constraints: 97469
2610.38/2619.91 c #Conflicts: 1507000 | #Constraints: 98469
2610.38/2619.91 c #Conflicts: 1508000 | #Constraints: 99469
2610.38/2619.91 c #Conflicts: 1509000 | #Constraints: 100469
2610.38/2619.91 c #Conflicts: 1510000 | #Constraints: 101469
2610.38/2619.91 c #Conflicts: 1511000 | #Constraints: 102469
2610.38/2619.91 c #Conflicts: 1512000 | #Constraints: 103469
2610.38/2619.91 c #Conflicts: 1513000 | #Constraints: 104469
2610.38/2619.91 c #Conflicts: 1514000 | #Constraints: 105469
2610.38/2619.91 c #Conflicts: 1515000 | #Constraints: 106469
2610.38/2619.91 c #Conflicts: 1516000 | #Constraints: 107469
2610.38/2619.91 c INPROCESSING
2610.38/2619.91 c GARBAGE COLLECT
2610.38/2619.91 c rational objective 19
2681.96/2691.78 c #Conflicts: 1517000 | #Constraints: 84076
2681.96/2691.78 c #Conflicts: 1518000 | #Constraints: 85076
2681.96/2691.78 c #Conflicts: 1519000 | #Constraints: 86076
2681.96/2691.78 c #Conflicts: 1520000 | #Constraints: 87076
2681.96/2691.78 c #Conflicts: 1521000 | #Constraints: 88076
2681.96/2691.78 c #Conflicts: 1522000 | #Constraints: 89076
2681.96/2691.78 c #Conflicts: 1523000 | #Constraints: 90076
2681.96/2691.78 c #Conflicts: 1524000 | #Constraints: 91076
2681.96/2691.78 c #Conflicts: 1525000 | #Constraints: 92076
2681.96/2691.78 c #Conflicts: 1526000 | #Constraints: 93076
2681.96/2691.78 c #Conflicts: 1527000 | #Constraints: 94076
2681.96/2691.78 c #Conflicts: 1528000 | #Constraints: 95076
2681.96/2691.78 c #Conflicts: 1529000 | #Constraints: 96076
2681.96/2691.78 c #Conflicts: 1530000 | #Constraints: 97076
2681.96/2691.78 c #Conflicts: 1531000 | #Constraints: 98076
2681.96/2691.78 c #Conflicts: 1532000 | #Constraints: 99076
2681.96/2691.78 c #Conflicts: 1533000 | #Constraints: 100076
2681.96/2691.78 c #Conflicts: 1534000 | #Constraints: 101076
2681.96/2691.78 c #Conflicts: 1535000 | #Constraints: 102076
2681.96/2691.78 c #Conflicts: 1536000 | #Constraints: 103076
2681.96/2691.78 c #Conflicts: 1537000 | #Constraints: 104076
2681.96/2691.78 c #Conflicts: 1538000 | #Constraints: 105076
2681.96/2691.78 c #Conflicts: 1539000 | #Constraints: 106076
2681.96/2691.78 c #Conflicts: 1540000 | #Constraints: 107076
2681.96/2691.78 c #Conflicts: 1541000 | #Constraints: 108076
2681.96/2691.78 c INPROCESSING
2681.96/2691.78 c GARBAGE COLLECT
2681.96/2691.78 c rational objective 19
2762.90/2772.92 c #Conflicts: 1542000 | #Constraints: 84449
2762.90/2772.92 c #Conflicts: 1543000 | #Constraints: 85449
2762.90/2772.92 c #Conflicts: 1544000 | #Constraints: 86449
2762.90/2772.92 c #Conflicts: 1545000 | #Constraints: 87449
2762.90/2772.92 c #Conflicts: 1546000 | #Constraints: 88449
2762.90/2772.92 c #Conflicts: 1547000 | #Constraints: 89449
2762.90/2772.92 c #Conflicts: 1548000 | #Constraints: 90449
2762.90/2772.92 c #Conflicts: 1549000 | #Constraints: 91449
2762.90/2772.92 c #Conflicts: 1550000 | #Constraints: 92449
2762.90/2772.92 c #Conflicts: 1551000 | #Constraints: 93449
2762.90/2772.92 c #Conflicts: 1552000 | #Constraints: 94449
2762.90/2772.92 c #Conflicts: 1553000 | #Constraints: 95449
2762.90/2772.92 c #Conflicts: 1554000 | #Constraints: 96449
2762.90/2772.92 c #Conflicts: 1555000 | #Constraints: 97449
2762.90/2772.92 c #Conflicts: 1556000 | #Constraints: 98449
2762.90/2772.92 c #Conflicts: 1557000 | #Constraints: 99449
2762.90/2772.92 c #Conflicts: 1558000 | #Constraints: 100449
2762.90/2772.92 c #Conflicts: 1559000 | #Constraints: 101449
2762.90/2772.92 c #Conflicts: 1560000 | #Constraints: 102449
2762.90/2772.92 c #Conflicts: 1561000 | #Constraints: 103449
2762.90/2772.92 c #Conflicts: 1562000 | #Constraints: 104449
2762.90/2772.92 c #Conflicts: 1563000 | #Constraints: 105449
2762.90/2772.92 c #Conflicts: 1564000 | #Constraints: 106449
2762.90/2772.92 c #Conflicts: 1565000 | #Constraints: 107449
2762.90/2772.92 c #Conflicts: 1566000 | #Constraints: 108449
2762.90/2772.92 c INPROCESSING
2762.90/2772.92 c GARBAGE COLLECT
2762.90/2772.92 c rational objective 19
2855.51/2865.87 c #Conflicts: 1567000 | #Constraints: 84670
2855.51/2865.87 c #Conflicts: 1568000 | #Constraints: 85670
2855.51/2865.87 c #Conflicts: 1569000 | #Constraints: 86670
2855.51/2865.87 c #Conflicts: 1570000 | #Constraints: 87670
2855.51/2865.87 c #Conflicts: 1571000 | #Constraints: 88670
2855.51/2865.87 c #Conflicts: 1572000 | #Constraints: 89670
2855.51/2865.87 c #Conflicts: 1573000 | #Constraints: 90670
2855.51/2865.87 c #Conflicts: 1574000 | #Constraints: 91670
2855.51/2865.87 c #Conflicts: 1575000 | #Constraints: 92670
2855.51/2865.87 c #Conflicts: 1576000 | #Constraints: 93670
2855.51/2865.87 c #Conflicts: 1577000 | #Constraints: 94670
2855.51/2865.87 c #Conflicts: 1578000 | #Constraints: 95670
2855.51/2865.87 c #Conflicts: 1579000 | #Constraints: 96670
2855.51/2865.87 c #Conflicts: 1580000 | #Constraints: 97670
2855.51/2865.87 c #Conflicts: 1581000 | #Constraints: 98670
2855.51/2865.87 c #Conflicts: 1582000 | #Constraints: 99670
2855.51/2865.87 c #Conflicts: 1583000 | #Constraints: 100670
2855.51/2865.87 c #Conflicts: 1584000 | #Constraints: 101670
2855.51/2865.87 c #Conflicts: 1585000 | #Constraints: 102670
2855.51/2865.87 c #Conflicts: 1586000 | #Constraints: 103670
2855.51/2865.87 c #Conflicts: 1587000 | #Constraints: 104670
2855.51/2865.87 c #Conflicts: 1588000 | #Constraints: 105670
2855.51/2865.87 c #Conflicts: 1589000 | #Constraints: 106670
2855.51/2865.87 c #Conflicts: 1590000 | #Constraints: 107670
2855.51/2865.87 c #Conflicts: 1591000 | #Constraints: 108670
2855.51/2865.87 c INPROCESSING
2855.51/2865.87 c GARBAGE COLLECT
2855.51/2865.87 c rational objective 19
2919.92/2930.49 c #Conflicts: 1592000 | #Constraints: 84690
2919.92/2930.49 c #Conflicts: 1593000 | #Constraints: 85690
2919.92/2930.49 c #Conflicts: 1594000 | #Constraints: 86690
2919.92/2930.49 c #Conflicts: 1595000 | #Constraints: 87690
2919.92/2930.49 c #Conflicts: 1596000 | #Constraints: 88690
2919.92/2930.49 c #Conflicts: 1597000 | #Constraints: 89690
2919.92/2930.49 c #Conflicts: 1598000 | #Constraints: 90690
2919.92/2930.49 c #Conflicts: 1599000 | #Constraints: 91690
2919.92/2930.49 c #Conflicts: 1600000 | #Constraints: 92690
2919.92/2930.49 c #Conflicts: 1601000 | #Constraints: 93690
2919.92/2930.49 c #Conflicts: 1602000 | #Constraints: 94690
2919.92/2930.49 c #Conflicts: 1603000 | #Constraints: 95690
2919.92/2930.49 c #Conflicts: 1604000 | #Constraints: 96690
2919.92/2930.49 c #Conflicts: 1605000 | #Constraints: 97690
2919.92/2930.49 c #Conflicts: 1606000 | #Constraints: 98690
2919.92/2930.49 c #Conflicts: 1607000 | #Constraints: 99690
2919.92/2930.49 c #Conflicts: 1608000 | #Constraints: 100690
2919.92/2930.49 c #Conflicts: 1609000 | #Constraints: 101690
2919.92/2930.49 c #Conflicts: 1610000 | #Constraints: 102690
2919.92/2930.49 c #Conflicts: 1611000 | #Constraints: 103690
2919.92/2930.49 c #Conflicts: 1612000 | #Constraints: 104690
2919.92/2930.49 c #Conflicts: 1613000 | #Constraints: 105690
2919.92/2930.49 c #Conflicts: 1614000 | #Constraints: 106690
2919.92/2930.49 c #Conflicts: 1615000 | #Constraints: 107690
2919.92/2930.49 c #Conflicts: 1616000 | #Constraints: 108690
2919.92/2930.49 c INPROCESSING
2919.92/2930.49 c GARBAGE COLLECT
2919.92/2930.49 c rational objective 19
3019.92/3030.77 c #Conflicts: 1617000 | #Constraints: 84462
3019.92/3030.77 c #Conflicts: 1618000 | #Constraints: 85462
3019.92/3030.77 c #Conflicts: 1619000 | #Constraints: 86462
3019.92/3030.77 c #Conflicts: 1620000 | #Constraints: 87462
3019.92/3030.77 c #Conflicts: 1621000 | #Constraints: 88462
3019.92/3030.77 c #Conflicts: 1622000 | #Constraints: 89462
3019.92/3030.77 c #Conflicts: 1623000 | #Constraints: 90462
3019.92/3030.77 c #Conflicts: 1624000 | #Constraints: 91462
3019.92/3030.77 c #Conflicts: 1625000 | #Constraints: 92462
3019.92/3030.77 c #Conflicts: 1626000 | #Constraints: 93462
3019.92/3030.77 c #Conflicts: 1627000 | #Constraints: 94462
3019.92/3030.77 c #Conflicts: 1628000 | #Constraints: 95462
3019.92/3030.77 c #Conflicts: 1629000 | #Constraints: 96462
3019.92/3030.77 c #Conflicts: 1630000 | #Constraints: 97462
3019.92/3030.77 c #Conflicts: 1631000 | #Constraints: 98462
3019.92/3030.77 c #Conflicts: 1632000 | #Constraints: 99462
3019.92/3030.77 c #Conflicts: 1633000 | #Constraints: 100462
3019.92/3030.77 c #Conflicts: 1634000 | #Constraints: 101462
3019.92/3030.77 c #Conflicts: 1635000 | #Constraints: 102462
3019.92/3030.77 c #Conflicts: 1636000 | #Constraints: 103462
3019.92/3030.77 c #Conflicts: 1637000 | #Constraints: 104462
3019.92/3030.77 c #Conflicts: 1638000 | #Constraints: 105462
3019.92/3030.77 c #Conflicts: 1639000 | #Constraints: 106462
3019.92/3030.77 c #Conflicts: 1640000 | #Constraints: 107462
3019.92/3030.77 c #Conflicts: 1641000 | #Constraints: 108462
3019.92/3030.77 c #Conflicts: 1642000 | #Constraints: 109462
3019.92/3030.77 c INPROCESSING
3019.92/3030.77 c GARBAGE COLLECT
3019.92/3030.77 c rational objective 19
3131.78/3142.90 c #Conflicts: 1643000 | #Constraints: 85084
3131.78/3142.90 c #Conflicts: 1644000 | #Constraints: 86084
3131.78/3142.90 c #Conflicts: 1645000 | #Constraints: 87084
3131.78/3142.90 c #Conflicts: 1646000 | #Constraints: 88084
3131.78/3142.90 c #Conflicts: 1647000 | #Constraints: 89084
3131.78/3142.90 c #Conflicts: 1648000 | #Constraints: 90084
3131.78/3142.90 c #Conflicts: 1649000 | #Constraints: 91084
3131.78/3142.90 c #Conflicts: 1650000 | #Constraints: 92084
3131.78/3142.90 c #Conflicts: 1651000 | #Constraints: 93084
3131.78/3142.90 c #Conflicts: 1652000 | #Constraints: 94084
3131.78/3142.90 c #Conflicts: 1653000 | #Constraints: 95084
3131.78/3142.90 c #Conflicts: 1654000 | #Constraints: 96084
3131.78/3142.90 c #Conflicts: 1655000 | #Constraints: 97084
3131.78/3142.90 c #Conflicts: 1656000 | #Constraints: 98084
3131.78/3142.90 c #Conflicts: 1657000 | #Constraints: 99084
3131.78/3142.90 c #Conflicts: 1658000 | #Constraints: 100084
3131.78/3142.90 c #Conflicts: 1659000 | #Constraints: 101084
3131.78/3142.90 c #Conflicts: 1660000 | #Constraints: 102084
3131.78/3142.90 c #Conflicts: 1661000 | #Constraints: 103084
3131.78/3142.90 c #Conflicts: 1662000 | #Constraints: 104084
3131.78/3142.90 c #Conflicts: 1663000 | #Constraints: 105084
3131.78/3142.90 c #Conflicts: 1664000 | #Constraints: 106084
3131.78/3142.90 c #Conflicts: 1665000 | #Constraints: 107084
3131.78/3142.90 c #Conflicts: 1666000 | #Constraints: 108084
3131.78/3142.90 c #Conflicts: 1667000 | #Constraints: 109084
3131.78/3142.90 c #Conflicts: 1668000 | #Constraints: 110084
3131.78/3142.90 c INPROCESSING
3131.78/3142.90 c GARBAGE COLLECT
3131.78/3142.90 c rational objective 19
3238.27/3249.75 c #Conflicts: 1669000 | #Constraints: 85454
3238.27/3249.75 c #Conflicts: 1670000 | #Constraints: 86454
3238.27/3249.75 c #Conflicts: 1671000 | #Constraints: 87454
3238.27/3249.75 c #Conflicts: 1672000 | #Constraints: 88454
3238.27/3249.75 c #Conflicts: 1673000 | #Constraints: 89454
3238.27/3249.75 c #Conflicts: 1674000 | #Constraints: 90454
3238.27/3249.75 c #Conflicts: 1675000 | #Constraints: 91454
3238.27/3249.75 c #Conflicts: 1676000 | #Constraints: 92454
3238.27/3249.75 c #Conflicts: 1677000 | #Constraints: 93454
3238.27/3249.75 c #Conflicts: 1678000 | #Constraints: 94454
3238.27/3249.75 c #Conflicts: 1679000 | #Constraints: 95454
3238.27/3249.75 c #Conflicts: 1680000 | #Constraints: 96454
3238.27/3249.75 c #Conflicts: 1681000 | #Constraints: 97454
3238.27/3249.75 c #Conflicts: 1682000 | #Constraints: 98454
3238.27/3249.75 c #Conflicts: 1683000 | #Constraints: 99454
3238.27/3249.75 c #Conflicts: 1684000 | #Constraints: 100454
3238.27/3249.75 c #Conflicts: 1685000 | #Constraints: 101454
3238.27/3249.75 c #Conflicts: 1686000 | #Constraints: 102454
3238.27/3249.75 c #Conflicts: 1687000 | #Constraints: 103454
3238.27/3249.75 c #Conflicts: 1688000 | #Constraints: 104454
3238.27/3249.75 c #Conflicts: 1689000 | #Constraints: 105454
3238.27/3249.75 c #Conflicts: 1690000 | #Constraints: 106454
3238.27/3249.75 c #Conflicts: 1691000 | #Constraints: 107454
3238.27/3249.75 c #Conflicts: 1692000 | #Constraints: 108454
3238.27/3249.75 c #Conflicts: 1693000 | #Constraints: 109454
3238.27/3249.75 c #Conflicts: 1694000 | #Constraints: 110454
3238.27/3249.75 c INPROCESSING
3238.27/3249.75 c GARBAGE COLLECT
3238.27/3249.75 c rational objective 19
3276.15/3287.72 c #Conflicts: 1695000 | #Constraints: 85685
3276.15/3287.72 c #Conflicts: 1696000 | #Constraints: 86685
3276.15/3287.72 c #Conflicts: 1697000 | #Constraints: 87685
3276.15/3287.72 c #Conflicts: 1698000 | #Constraints: 88685
3276.15/3287.72 c #Conflicts: 1699000 | #Constraints: 89685
3276.15/3287.72 c #Conflicts: 1700000 | #Constraints: 90685
3276.15/3287.72 c #Conflicts: 1701000 | #Constraints: 91685
3276.15/3287.72 c #Conflicts: 1702000 | #Constraints: 92685
3276.15/3287.72 c #Conflicts: 1703000 | #Constraints: 93685
3276.15/3287.72 c #Conflicts: 1704000 | #Constraints: 94685
3276.15/3287.72 c #Conflicts: 1705000 | #Constraints: 95685
3276.15/3287.72 c #Conflicts: 1706000 | #Constraints: 96685
3276.15/3287.72 c #Conflicts: 1707000 | #Constraints: 97685
3276.15/3287.72 c #Conflicts: 1708000 | #Constraints: 98685
3276.15/3287.72 c #Conflicts: 1709000 | #Constraints: 99685
3276.15/3287.72 c #Conflicts: 1710000 | #Constraints: 100685
3276.15/3287.72 c #Conflicts: 1711000 | #Constraints: 101685
3276.15/3287.72 c #Conflicts: 1712000 | #Constraints: 102685
3276.15/3287.72 c #Conflicts: 1713000 | #Constraints: 103685
3276.15/3287.72 c #Conflicts: 1714000 | #Constraints: 104685
3276.15/3287.72 c #Conflicts: 1715000 | #Constraints: 105685
3276.15/3287.72 c #Conflicts: 1716000 | #Constraints: 106685
3276.15/3287.72 c #Conflicts: 1717000 | #Constraints: 107685
3276.15/3287.72 c #Conflicts: 1718000 | #Constraints: 108685
3276.15/3287.72 c #Conflicts: 1719000 | #Constraints: 109685
3276.15/3287.72 c #Conflicts: 1720000 | #Constraints: 110685
3276.15/3287.72 c INPROCESSING
3276.15/3287.72 c GARBAGE COLLECT
3276.15/3287.72 c rational objective 19
3312.25/3323.95 c #Conflicts: 1721000 | #Constraints: 85654
3312.25/3323.95 c #Conflicts: 1722000 | #Constraints: 86654
3312.25/3323.95 c #Conflicts: 1723000 | #Constraints: 87654
3312.25/3323.95 c #Conflicts: 1724000 | #Constraints: 88654
3312.25/3323.95 c #Conflicts: 1725000 | #Constraints: 89654
3312.25/3323.95 c #Conflicts: 1726000 | #Constraints: 90654
3312.25/3323.95 c #Conflicts: 1727000 | #Constraints: 91654
3312.25/3323.95 c #Conflicts: 1728000 | #Constraints: 92654
3312.25/3323.95 c #Conflicts: 1729000 | #Constraints: 93654
3312.25/3323.95 c #Conflicts: 1730000 | #Constraints: 94654
3312.25/3323.95 c #Conflicts: 1731000 | #Constraints: 95654
3312.25/3323.95 c #Conflicts: 1732000 | #Constraints: 96654
3312.25/3323.95 c #Conflicts: 1733000 | #Constraints: 97654
3312.25/3323.95 c #Conflicts: 1734000 | #Constraints: 98654
3312.25/3323.95 c #Conflicts: 1735000 | #Constraints: 99654
3312.25/3323.95 c #Conflicts: 1736000 | #Constraints: 100654
3312.25/3323.95 c #Conflicts: 1737000 | #Constraints: 101654
3312.25/3323.95 c #Conflicts: 1738000 | #Constraints: 102654
3312.25/3323.95 c #Conflicts: 1739000 | #Constraints: 103654
3312.25/3323.95 c #Conflicts: 1740000 | #Constraints: 104654
3312.25/3323.95 c #Conflicts: 1741000 | #Constraints: 105654
3312.25/3323.95 c #Conflicts: 1742000 | #Constraints: 106654
3312.25/3323.95 c #Conflicts: 1743000 | #Constraints: 107654
3312.25/3323.95 c #Conflicts: 1744000 | #Constraints: 108654
3312.25/3323.95 c #Conflicts: 1745000 | #Constraints: 109654
3312.25/3323.95 c #Conflicts: 1746000 | #Constraints: 110654
3312.25/3323.95 c INPROCESSING
3312.25/3323.95 c GARBAGE COLLECT
3312.25/3323.95 c rational objective 19
3392.02/3403.96 c #Conflicts: 1747000 | #Constraints: 85473
3392.02/3403.96 c #Conflicts: 1748000 | #Constraints: 86473
3392.02/3403.96 c #Conflicts: 1749000 | #Constraints: 87473
3392.02/3403.96 c #Conflicts: 1750000 | #Constraints: 88473
3392.02/3403.96 c #Conflicts: 1751000 | #Constraints: 89473
3392.02/3403.96 c #Conflicts: 1752000 | #Constraints: 90473
3392.02/3403.96 c #Conflicts: 1753000 | #Constraints: 91473
3392.02/3403.96 c #Conflicts: 1754000 | #Constraints: 92473
3392.02/3403.96 c #Conflicts: 1755000 | #Constraints: 93473
3392.02/3403.96 c #Conflicts: 1756000 | #Constraints: 94473
3392.02/3403.96 c #Conflicts: 1757000 | #Constraints: 95473
3392.02/3403.96 c #Conflicts: 1758000 | #Constraints: 96473
3392.02/3403.96 c #Conflicts: 1759000 | #Constraints: 97473
3392.02/3403.96 c #Conflicts: 1760000 | #Constraints: 98473
3392.02/3403.96 c #Conflicts: 1761000 | #Constraints: 99473
3392.02/3403.96 c #Conflicts: 1762000 | #Constraints: 100473
3392.02/3403.96 c #Conflicts: 1763000 | #Constraints: 101473
3392.02/3403.96 c #Conflicts: 1764000 | #Constraints: 102473
3392.02/3403.96 c #Conflicts: 1765000 | #Constraints: 103473
3392.02/3403.96 c #Conflicts: 1766000 | #Constraints: 104473
3392.02/3403.96 c #Conflicts: 1767000 | #Constraints: 105473
3392.02/3403.96 c #Conflicts: 1768000 | #Constraints: 106473
3392.02/3403.96 c #Conflicts: 1769000 | #Constraints: 107473
3392.02/3403.96 c #Conflicts: 1770000 | #Constraints: 108473
3392.02/3403.96 c #Conflicts: 1771000 | #Constraints: 109473
3392.02/3403.96 c #Conflicts: 1772000 | #Constraints: 110473
3392.02/3403.96 c #Conflicts: 1773000 | #Constraints: 111473
3392.02/3403.96 c INPROCESSING
3392.02/3403.96 c GARBAGE COLLECT
3392.02/3403.96 c rational objective 19
3470.00/3482.11 c #Conflicts: 1774000 | #Constraints: 86053
3470.00/3482.11 c #Conflicts: 1775000 | #Constraints: 87053
3470.00/3482.11 c #Conflicts: 1776000 | #Constraints: 88053
3470.00/3482.11 c #Conflicts: 1777000 | #Constraints: 89053
3470.00/3482.11 c #Conflicts: 1778000 | #Constraints: 90053
3470.00/3482.11 c #Conflicts: 1779000 | #Constraints: 91053
3470.00/3482.11 c #Conflicts: 1780000 | #Constraints: 92053
3470.00/3482.11 c #Conflicts: 1781000 | #Constraints: 93053
3470.00/3482.11 c #Conflicts: 1782000 | #Constraints: 94053
3470.00/3482.11 c #Conflicts: 1783000 | #Constraints: 95053
3470.00/3482.11 c #Conflicts: 1784000 | #Constraints: 96053
3470.00/3482.11 c #Conflicts: 1785000 | #Constraints: 97053
3470.00/3482.11 c #Conflicts: 1786000 | #Constraints: 98053
3470.00/3482.11 c #Conflicts: 1787000 | #Constraints: 99053
3470.00/3482.11 c #Conflicts: 1788000 | #Constraints: 100053
3470.00/3482.11 c #Conflicts: 1789000 | #Constraints: 101053
3470.00/3482.11 c #Conflicts: 1790000 | #Constraints: 102053
3470.00/3482.11 c #Conflicts: 1791000 | #Constraints: 103053
3470.00/3482.11 c #Conflicts: 1792000 | #Constraints: 104053
3470.00/3482.11 c #Conflicts: 1793000 | #Constraints: 105053
3470.00/3482.11 c #Conflicts: 1794000 | #Constraints: 106053
3470.00/3482.11 c #Conflicts: 1795000 | #Constraints: 107053
3470.00/3482.11 c #Conflicts: 1796000 | #Constraints: 108053
3470.00/3482.11 c #Conflicts: 1797000 | #Constraints: 109053
3470.00/3482.11 c #Conflicts: 1798000 | #Constraints: 110053
3470.00/3482.11 c #Conflicts: 1799000 | #Constraints: 111053
3470.00/3482.11 c #Conflicts: 1800000 | #Constraints: 112053
3470.00/3482.11 c INPROCESSING
3470.00/3482.11 c GARBAGE COLLECT
3470.00/3482.11 c rational objective 19
3585.94/3598.47 c #Conflicts: 1801000 | #Constraints: 86478
3585.94/3598.47 c #Conflicts: 1802000 | #Constraints: 87478
3585.94/3598.47 c #Conflicts: 1803000 | #Constraints: 88478
3585.94/3598.47 c #Conflicts: 1804000 | #Constraints: 89478
3585.94/3598.47 c #Conflicts: 1805000 | #Constraints: 90478
3585.94/3598.47 c #Conflicts: 1806000 | #Constraints: 91478
3585.94/3598.47 c #Conflicts: 1807000 | #Constraints: 92478
3585.94/3598.47 c #Conflicts: 1808000 | #Constraints: 93478
3585.94/3598.47 c #Conflicts: 1809000 | #Constraints: 94478
3585.94/3598.47 c #Conflicts: 1810000 | #Constraints: 95478
3585.94/3598.47 c #Conflicts: 1811000 | #Constraints: 96478
3585.94/3598.47 c #Conflicts: 1812000 | #Constraints: 97478
3585.94/3598.47 c #Conflicts: 1813000 | #Constraints: 98478
3585.94/3598.47 c #Conflicts: 1814000 | #Constraints: 99478
3585.94/3598.47 c #Conflicts: 1815000 | #Constraints: 100478
3585.94/3598.47 c #Conflicts: 1816000 | #Constraints: 101478
3585.94/3598.47 c #Conflicts: 1817000 | #Constraints: 102478
3585.94/3598.47 c #Conflicts: 1818000 | #Constraints: 103478
3585.94/3598.47 c #Conflicts: 1819000 | #Constraints: 104478
3585.94/3598.47 c #Conflicts: 1820000 | #Constraints: 105478
3585.94/3598.47 c #Conflicts: 1821000 | #Constraints: 106478
3585.94/3598.47 c #Conflicts: 1822000 | #Constraints: 107478
3585.94/3598.47 c #Conflicts: 1823000 | #Constraints: 108478
3585.94/3598.47 c #Conflicts: 1824000 | #Constraints: 109478
3585.94/3598.47 c #Conflicts: 1825000 | #Constraints: 110478
3585.94/3598.47 c #Conflicts: 1826000 | #Constraints: 111478
3585.94/3598.47 c #Conflicts: 1827000 | #Constraints: 112478
3585.94/3598.47 c INPROCESSING
3585.94/3598.47 c GARBAGE COLLECT
3585.94/3598.47 c #Conflicts: 1828000 | #Constraints: 86651
3585.94/3598.47 c #Conflicts: 1829000 | #Constraints: 87651
3585.94/3598.47 c #Conflicts: 1830000 | #Constraints: 88651
3585.94/3598.47 c #Conflicts: 1831000 | #Constraints: 89651
3585.94/3598.47 c #Conflicts: 1832000 | #Constraints: 90651
3585.94/3598.47 c #Conflicts: 1833000 | #Constraints: 91651
3585.94/3598.47 c #Conflicts: 1834000 | #Constraints: 92651
3585.94/3598.47 c #Conflicts: 1835000 | #Constraints: 93651
3585.94/3598.47 c #Conflicts: 1836000 | #Constraints: 94651
3585.94/3598.47 c #Conflicts: 1837000 | #Constraints: 95651
3585.94/3598.47 c #Conflicts: 1838000 | #Constraints: 96651
3585.94/3598.47 c #Conflicts: 1839000 | #Constraints: 97651
3585.94/3598.47 c #Conflicts: 1840000 | #Constraints: 98651
3585.94/3598.47 c #Conflicts: 1841000 | #Constraints: 99651
3585.94/3598.47 c #Conflicts: 1842000 | #Constraints: 100651
3585.94/3598.47 c #Conflicts: 1843000 | #Constraints: 101651
3585.94/3598.47 c #Conflicts: 1844000 | #Constraints: 102651
3585.94/3598.47 c #Conflicts: 1845000 | #Constraints: 103651
3585.94/3598.47 c #Conflicts: 1846000 | #Constraints: 104651
3585.94/3598.47 c #Conflicts: 1847000 | #Constraints: 105651
3585.94/3598.47 c #Conflicts: 1848000 | #Constraints: 106651
3585.94/3598.47 c #Conflicts: 1849000 | #Constraints: 107651
3585.94/3598.47 c #Conflicts: 1850000 | #Constraints: 108651
3585.94/3598.47 c #Conflicts: 1851000 | #Constraints: 109651
3585.94/3598.47 c #Conflicts: 1852000 | #Constraints: 110651
3585.94/3598.47 c #Conflicts: 1853000 | #Constraints: 111651
3585.94/3598.47 c #Conflicts: 1854000 | #Constraints: 112651
3585.94/3598.47 c INPROCESSING
3585.94/3598.47 c GARBAGE COLLECT
3585.94/3598.47 c rational objective 19
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: 63794 MiB (61160 MiB free)
memory of node 1: 64507 MiB (62448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508001-1751498090/watcher-4508001-1751498090 -o /tmp/evaluation-result-4508001-1751498090/solver-4508001-1751498090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70859 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4508001-1751498090.opb PROOFDIR/proof-4508001-1751498090
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71803, runsolver pid=71800
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.48 4.30 4.17 5/255 71805
/proc/meminfo: memFree=126575936/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71805] ppid=71803 vsize=35184 memory=23572 CPUtime=0.07 cores=0,2
/proc/71805/stat : 71805 (pbsuma) R 71803 71803 70849 0 -1 4194304 5630 0 0 0 5 2 0 0 20 0 1 0 65487853 36028416 5893 18446744073709551615 4210688 4653049 140737415703824 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 36872192 140737415706851 140737415707186 140737415707186 140737415712751 0
/proc/71805/statm: 8796 5893 992 108 0 6204 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 39376 KiB
Current children cumulated memory: 26644 KiB
[startup+0.214398 s]*
/proc/loadavg: 4.48 4.30 4.17 5/255 71805
/proc/meminfo: memFree=126575936/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71805] ppid=71803 vsize=37984 memory=26356 CPUtime=0.17 cores=0,2
/proc/71805/stat : 71805 (pbsuma) R 71803 71803 70849 0 -1 4194304 7400 0 0 0 14 3 0 0 20 0 1 0 65487853 38895616 6589 18446744073709551615 4210688 4653049 140737415703824 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 36872192 140737415706851 140737415707186 140737415707186 140737415712751 0
/proc/71805/statm: 9496 6589 1024 108 0 6904 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 29428 KiB
[startup+0.313164 s]*
/proc/loadavg: 4.48 4.30 4.17 5/255 71805
/proc/meminfo: memFree=126575468/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71805] ppid=71803 vsize=55004 memory=36920 CPUtime=0.26 cores=0,2
/proc/71805/stat : 71805 (pbsuma) R 71803 71803 70849 0 -1 4194304 10721 0 0 0 22 4 0 0 20 0 1 0 65487853 56324096 9488 18446744073709551615 4210688 4653049 140737415703824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 36872192 140737415706851 140737415707186 140737415707186 140737415712751 0
/proc/71805/statm: 13751 9488 1024 108 0 11159 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 59196 KiB
Current children cumulated memory: 39992 KiB
[startup+0.700288 s]
/proc/loadavg: 4.48 4.30 4.17 5/255 71805
/proc/meminfo: memFree=126589328/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71805] ppid=71803 vsize=38860 memory=27836 CPUtime=0.63 cores=0,2
/proc/71805/stat : 71805 (pbsuma) R 71803 71803 70849 0 -1 4194304 10721 0 0 0 59 4 0 0 20 0 1 0 65487853 39792640 6959 18446744073709551615 4210688 4653049 140737415703824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 36872192 140737415706851 140737415707186 140737415707186 140737415712751 0
/proc/71805/statm: 9715 6959 1024 108 0 7123 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 43052 KiB
Current children cumulated memory: 30908 KiB
[startup+1.50037 s]
/proc/loadavg: 4.48 4.30 4.17 5/255 71805
/proc/meminfo: memFree=126563564/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71805] ppid=71803 vsize=40944 memory=29480 CPUtime=1.32 cores=0,2
/proc/71805/stat : 71805 (pbsuma) D 71803 71803 70849 0 -1 4194304 11779 0 0 0 113 19 0 0 20 0 1 0 65487853 41926656 7370 18446744073709551615 4210688 4653049 140737415703824 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 4700520 4703148 36872192 140737415706851 140737415707186 140737415707186 140737415712751 0
/proc/71805/statm: 10236 7370 1024 108 0 7644 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 45136 KiB
Current children cumulated memory: 32552 KiB
[startup+3.11276 s]
/proc/loadavg: 4.44 4.29 4.17 5/255 71806
/proc/meminfo: memFree=126399760/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=161852 memory=116320 CPUtime=1.58 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 19030 0 0 0 145 13 0 0 20 0 1 0 65488003 165736448 29080 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 40463 29080 2400 1147 0 27890 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 166044 KiB
Current children cumulated memory: 119392 KiB
[startup+6.30035 s]
/proc/loadavg: 4.44 4.29 4.17 5/255 71806
/proc/meminfo: memFree=126412636/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=165104 memory=122336 CPUtime=4.75 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 20547 0 0 0 456 19 0 0 20 0 1 0 65488003 169066496 30584 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 41276 30584 2400 1147 0 28703 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 169296 KiB
Current children cumulated memory: 125408 KiB
[startup+12.7004 s]
/proc/loadavg: 4.40 4.29 4.17 5/255 71806
/proc/meminfo: memFree=126451688/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=172500 memory=126892 CPUtime=11.13 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 22093 0 0 0 1090 23 0 0 20 0 1 0 65488003 176640000 31723 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 43125 31723 2400 1147 0 30552 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 176692 KiB
Current children cumulated memory: 129964 KiB
[startup+25.5004 s]
/proc/loadavg: 4.47 4.31 4.18 5/255 71806
/proc/meminfo: memFree=126464380/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=192216 memory=142488 CPUtime=23.9 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 25475 0 0 0 2353 37 0 0 20 0 1 0 65488003 196829184 35622 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 48054 35622 2432 1147 0 35481 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 196408 KiB
Current children cumulated memory: 145560 KiB
[startup+51.1132 s]
/proc/loadavg: 4.31 4.28 4.17 5/255 71807
/proc/meminfo: memFree=126416848/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=194372 memory=144792 CPUtime=49.43 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 26058 0 0 0 4881 62 0 0 20 0 1 0 65488003 199036928 36198 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 48593 36198 2432 1147 0 36020 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 198564 KiB
Current children cumulated memory: 147864 KiB
[startup+102.3 s]
/proc/loadavg: 4.42 4.30 4.18 5/256 71810
/proc/meminfo: memFree=126364776/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=198336 memory=148888 CPUtime=100.48 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 27072 0 0 0 9946 102 0 0 20 0 1 0 65488003 203096064 37222 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 49584 37222 2432 1147 0 37011 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 202528 KiB
Current children cumulated memory: 151960 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.27 4.18 5/258 71816
/proc/meminfo: memFree=126235592/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=198336 memory=148888 CPUtime=160.3 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 27072 0 0 0 15907 123 0 0 20 0 1 0 65488003 203096064 37222 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 49584 37222 2432 1147 0 37011 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 202528 KiB
Current children cumulated memory: 151960 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.24 4.17 5/258 71818
/proc/meminfo: memFree=126204936/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=200908 memory=151704 CPUtime=220.08 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 27795 0 0 0 21853 155 0 0 20 0 1 0 65488003 205729792 37926 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
################
# More data... #
################
/proc/meminfo: memFree=126100008/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=258192 memory=214052 CPUtime=3269.44 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 37965 0 0 0 325053 1891 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current children cumulated CPU time: 3270.77 s
Current children cumulated vsize: 262384 KiB
Current children cumulated memory: 217124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/257 72132
/proc/meminfo: memFree=126060656/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=258192 memory=214052 CPUtime=3329.26 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 37965 0 0 0 330986 1940 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current children cumulated CPU time: 3330.59 s
Current children cumulated vsize: 262384 KiB
Current children cumulated memory: 217124 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/257 72139
/proc/meminfo: memFree=126024572/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=258192 memory=214052 CPUtime=3389.09 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 37972 0 0 0 336946 1963 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current children cumulated CPU time: 3390.42 s
Current children cumulated vsize: 262384 KiB
Current children cumulated memory: 217124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/257 72141
/proc/meminfo: memFree=126011604/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=258192 memory=214052 CPUtime=3448.91 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 37979 0 0 0 342897 1994 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current children cumulated CPU time: 3450.24 s
Current children cumulated vsize: 262384 KiB
Current children cumulated memory: 217124 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/256 72143
/proc/meminfo: memFree=125980316/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=258192 memory=214052 CPUtime=3508.74 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 37979 0 0 0 348851 2023 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current children cumulated CPU time: 3510.07 s
Current children cumulated vsize: 262384 KiB
Current children cumulated memory: 217124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/256 72145
/proc/meminfo: memFree=125948704/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=258192 memory=214052 CPUtime=3568.56 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 37979 0 0 0 354809 2047 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current children cumulated CPU time: 3569.89 s
Current children cumulated vsize: 262384 KiB
Current children cumulated memory: 217124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.15 4.14 4.11 5/256 72147
/proc/meminfo: memFree=125932692/131382112 swapFree=33009904/33010684
[pid=71803] ppid=71800 vsize=4192 memory=3072 CPUtime=1.33 cores=0,2
/proc/71803/stat : 71803 (run-opt-ls-log.) S 71800 71803 70849 0 -1 4194304 241 11782 0 0 0 0 114 19 20 0 1 0 65487852 4292608 768 18446744073709551615 94897706622976 94897707517509 140733375398688 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94897707756560 94897707804304 94897731862528 140733375400219 140733375400417 140733375400417 140733375406019 0
/proc/71803/statm: 1048 768 704 219 0 110 0
[pid=71806] ppid=71803 vsize=258192 memory=214052 CPUtime=3598.77 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71803 71803 70849 0 -1 4194304 37979 0 0 0 357802 2075 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 262384 KiB
Current children cumulated memory: 217124 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.61 s]
# the end of solver process 71803 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.14323 s, system=0.198656 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.62 s]
# the end of solver process 71806 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.15 s, system=20.9625 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.81 s]
/proc/loadavg: 4.15 4.14 4.11 5/255 72147
/proc/meminfo: memFree=125932692/131382112 swapFree=33009904/33010684
[pid=71806] ppid=71800 vsize=258192 memory=214052 CPUtime=3598.98 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71800 71803 70849 0 -1 4194304 37979 0 0 0 357823 2075 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current cumulated CPU time of completed processes: 1.34188 s
Current children cumulated CPU time: 3598.98 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 214052 KiB
[startup+3613.6 s]
/proc/loadavg: 4.15 4.14 4.11 5/255 72147
/proc/meminfo: memFree=125932692/131382112 swapFree=33009904/33010684
[pid=71806] ppid=71800 vsize=258192 memory=214052 CPUtime=3599.76 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71800 71803 70849 0 -1 4194304 37979 0 0 0 357901 2075 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current cumulated CPU time of completed processes: 1.34188 s
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 214052 KiB
[startup+3614.4 s]
/proc/loadavg: 4.14 4.14 4.11 5/255 72147
/proc/meminfo: memFree=125932692/131382112 swapFree=33009904/33010684
[pid=71806] ppid=71800 vsize=258192 memory=214052 CPUtime=3600.55 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71800 71803 70849 0 -1 4194304 37979 0 0 0 357980 2075 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current cumulated CPU time of completed processes: 1.34188 s
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 214052 KiB
[startup+3614.6 s]
/proc/loadavg: 4.14 4.14 4.11 5/255 72147
/proc/meminfo: memFree=125932692/131382112 swapFree=33009904/33010684
[pid=71806] ppid=71800 vsize=258192 memory=214052 CPUtime=3600.76 cores=0,2
/proc/71806/stat : 71806 (roundingsat) R 71800 71803 70849 0 -1 4194304 37979 0 0 0 358000 2076 0 0 20 0 1 0 65488003 264388608 53513 18446744073709551615 4227072 8923433 140721463997744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40042496 140721464002806 140721464003112 140721464003112 140721464008682 0
/proc/71806/statm: 64548 53513 2432 1147 0 51975 0
Current cumulated CPU time of completed processes: 1.34188 s
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 258192 KiB
Current children cumulated memory: 214052 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.62
CPU time (s): 3602.11
CPU user time (s): 3581.15
CPU system time (s): 20.9625
CPU usage (%): 99.654
Max. virtual memory (cumulated for all children) (KiB): 262384
Max. memory (cumulated for all children) (KiB): 217124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.15
system time used= 20.9625
maximum resident set size= 214052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1554952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4887
involuntary context switches= 8066
# summary of solver processes directly reported to runsolver:
# pid: 71803,71806
# total CPU time (s): 3602.11
# total CPU user time (s): 3581.15
# total CPU system time (s): 20.9625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8287 second user time and 35.2126 second system time
The end
Begin job on nodeC001 at 2025-07-03 01:14:50
IDJOB=4508001
IDBENCH=158391
IDSOLVER=3356
FILE ID=nodeC001/4508001-1751498090
RUNJOBID= nodeC001-1751492040-70859
SLURM_JOB_ID= 9598558
Free space on /tmp= 432476 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-may6.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508001-1751498090/watcher-4508001-1751498090 -o /tmp/evaluation-result-4508001-1751498090/solver-4508001-1751498090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70859 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4508001-1751498090.opb PROOFDIR/proof-4508001-1751498090
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 76e67d27ce5ae72e711eb5f869f0e7e5
RANDOM SEED=1441715378
nodeC001 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 : 0xb00001f
cpu MHz : 1197.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3658.259
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.310
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.282
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3661.676
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3658.283
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.728
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.690
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126575888 kB
MemAvailable: 129008988 kB
Buffers: 1668 kB
Cached: 3228696 kB
SwapCached: 32 kB
Active: 1173272 kB
Inactive: 2918980 kB
Active(anon): 857664 kB
Inactive(anon): 22532 kB
Active(file): 315608 kB
Inactive(file): 2896448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25000 kB
Writeback: 368 kB
AnonPages: 861964 kB
Mapped: 117500 kB
Shmem: 17900 kB
KReclaimable: 120956 kB
Slab: 206000 kB
SReclaimable: 120956 kB
SUnreclaim: 85044 kB
KernelStack: 4080 kB
PageTables: 4992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1272932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 751616 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432464 MiB
End job on nodeC001 at 2025-07-03 02:15:04