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-4532085-1752593954.opb'
0.00/0.02 c read 1.14MB (15.77ms)
0.00/0.02 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.01/2.14 c output proof to 'PROOFDIR/proof-4532085-1752593954'
0.01/2.14 c
0.01/2.14 c make graph and approximate orbits
0.01/2.16 c [group: #orbits ~= 2752] (18.49ms)
0.01/2.16 c
0.01/2.16 c detect special group actions
0.01/2.16 c probe for Johnson action (limit=64)
0.01/2.17 c probe for row-column symmetry (limit=64, splits=16.78M)
0.01/2.18 c probe for row symmetry (limit=64, splits=16.78M)
0.01/2.19 c found row 11x688, generating row predicate
0.01/2.19 c (31.16ms)
0.01/2.19 c
0.01/2.19 c detect symmetries on remainder
0.01/2.19 c [graph: #vertices 82875 #edges 295616]
0.01/2.19 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/2.22 c [group: #symmetries 1.24*10^7 #generators 13] (36.29ms)
0.07/2.22 c
0.07/2.22 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/2.22 c ran it=0, +gens=2
0.16/2.35 c con best_support=1376, best_gens=13, +gens=224
0.16/2.35 c (127.62ms)
0.16/2.35 c
0.16/2.35 c finalize break order and special generators
0.16/2.35 c
0.16/2.35 c add generic predicates (break_depth=20)
0.16/2.36 c added predicates for 239 generators (1.80ms)
0.46/2.66 c
0.46/2.66 c generation finished
0.46/2.66 c [sbp: #constraints 34482 #add_vars 11411]
0.46/2.66 c
0.46/2.66 c write result to 'HOME/instance-4532085-1752593954.opb.pre'
0.46/2.66 c wrote 2.47MB (5.37ms)
0.46/2.67 c ------------------------------------------------------------------
0.46/2.67 c 2420.97ms 91.05% other
0.46/2.67 c 127.62ms 4.80% optimize_gens
0.46/2.67 c 36.29ms 1.36% detect_generic
0.46/2.67 c 31.16ms 1.17% detect_special
0.46/2.67 c 18.49ms 0.70% approx_orbits
0.46/2.67 c 15.77ms 0.59% parse
0.46/2.67 c 5.37ms 0.20% output
0.46/2.67 c 1.80ms 0.07% break_generic
0.46/2.67 c 1.40ms 0.05% finalize_order
0.46/2.67 c ───────────────────────────────────────────────
0.46/2.67 c 2658.86ms 100% total
0.46/2.67 c ------------------------------------------------------------------
0.56/16.72 c RoundingSat 2
0.56/16.72 c branch pb25
0.56/16.72 c commit 0f876b3
0.87/17.77 c #variables 21043 #constraints 64102
0.87/17.77 c objective is ce32
1.17/18.04 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
1.17/18.04 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
1.17/18.04 c bounds 109 >= 0 @ 0.591114
1.77/18.66 c bounds 101 >= 0 @ 1.17195
4.66/21.50 c #Conflicts: 1000 | #Constraints: 65103
4.66/21.50 c #Conflicts: 2000 | #Constraints: 66103
4.66/21.50 c INPROCESSING
4.66/21.50 c bounds 99 >= 0 @ 3.95467
4.66/21.57 c bounds 91 >= 0 @ 4.00771
4.75/21.67 c #Conflicts: 3000 | #Constraints: 66110
4.75/21.67 c #Conflicts: 4000 | #Constraints: 67110
4.75/21.67 c INPROCESSING
4.75/21.67 c GARBAGE COLLECT
4.75/21.67 c bounds 89 >= 0 @ 4.10461
4.85/21.77 c bounds 81 >= 0 @ 4.18632
4.85/21.78 c bounds 79 >= 0 @ 4.19465
4.85/21.78 c bounds 79 >= 5 @ 4.19587
15.52/32.41 c #Conflicts: 5000 | #Constraints: 66524
15.52/32.41 c #Conflicts: 6000 | #Constraints: 67524
15.52/32.41 c INPROCESSING
15.52/32.41 c bounds 79 >= 7 @ 14.74
15.52/32.42 c bounds 79 >= 10 @ 14.7443
15.52/32.42 c bounds 79 >= 12 @ 14.7448
15.52/32.44 c bounds 79 >= 14 @ 14.7643
15.52/32.45 c #Conflicts: 7000 | #Constraints: 66549
15.52/32.45 c bounds 79 >= 17 @ 14.7767
15.52/32.45 c bounds 79 >= 19 @ 14.7773
44.04/61.07 c #Conflicts: 8000 | #Constraints: 67562
44.04/61.07 c #Conflicts: 9000 | #Constraints: 68562
44.04/61.07 c INPROCESSING
44.04/61.07 c GARBAGE COLLECT
44.04/61.07 c rational objective 19
45.73/62.73 c #Conflicts: 10000 | #Constraints: 67258
45.73/62.73 c #Conflicts: 11000 | #Constraints: 68258
45.73/62.73 c #Conflicts: 12000 | #Constraints: 69258
45.73/62.73 c INPROCESSING
45.73/62.73 c #Conflicts: 13000 | #Constraints: 67709
45.73/62.73 c #Conflicts: 14000 | #Constraints: 68709
45.73/62.73 c #Conflicts: 15000 | #Constraints: 69709
45.73/62.73 c INPROCESSING
45.73/62.73 c GARBAGE COLLECT
45.73/62.73 c #Conflicts: 16000 | #Constraints: 67935
45.73/62.73 c #Conflicts: 17000 | #Constraints: 68935
45.73/62.73 c #Conflicts: 18000 | #Constraints: 69935
45.73/62.73 c INPROCESSING
45.73/62.73 c #Conflicts: 19000 | #Constraints: 67944
45.73/62.73 c bounds 79 >= 21 @ 44.8286
45.73/62.74 c bounds 79 >= 23 @ 44.8464
79.14/96.21 c #Conflicts: 20000 | #Constraints: 68953
79.14/96.21 c #Conflicts: 21000 | #Constraints: 69953
79.14/96.21 c INPROCESSING
79.14/96.21 c GARBAGE COLLECT
79.14/96.21 c #Conflicts: 22000 | #Constraints: 67763
79.14/96.21 c #Conflicts: 23000 | #Constraints: 68763
79.14/96.21 c #Conflicts: 24000 | #Constraints: 69763
79.14/96.21 c #Conflicts: 25000 | #Constraints: 70763
79.14/96.21 c INPROCESSING
79.14/96.21 c GARBAGE COLLECT
79.14/96.21 c #Conflicts: 26000 | #Constraints: 68364
79.14/96.21 c #Conflicts: 27000 | #Constraints: 69364
79.14/96.21 c #Conflicts: 28000 | #Constraints: 70364
79.14/96.21 c #Conflicts: 29000 | #Constraints: 71364
79.14/96.21 c INPROCESSING
79.14/96.21 c GARBAGE COLLECT
79.14/96.21 c #Conflicts: 30000 | #Constraints: 68770
79.14/96.21 c #Conflicts: 31000 | #Constraints: 69770
79.14/96.21 c #Conflicts: 32000 | #Constraints: 70770
79.14/96.21 c #Conflicts: 33000 | #Constraints: 71770
79.14/96.21 c INPROCESSING
79.14/96.21 c GARBAGE COLLECT
79.14/96.21 c #Conflicts: 34000 | #Constraints: 68969
79.14/96.21 c #Conflicts: 35000 | #Constraints: 69969
79.14/96.21 c #Conflicts: 36000 | #Constraints: 70969
79.14/96.21 c #Conflicts: 37000 | #Constraints: 71969
79.14/96.21 c INPROCESSING
79.14/96.21 c GARBAGE COLLECT
79.14/96.21 c #Conflicts: 38000 | #Constraints: 68969
79.14/96.21 c #Conflicts: 39000 | #Constraints: 69969
79.14/96.21 c #Conflicts: 40000 | #Constraints: 70969
79.14/96.21 c #Conflicts: 41000 | #Constraints: 71969
79.14/96.21 c INPROCESSING
79.14/96.21 c GARBAGE COLLECT
79.14/96.21 c rational objective 23
88.92/106.03 c #Conflicts: 42000 | #Constraints: 68801
88.92/106.03 c #Conflicts: 43000 | #Constraints: 69801
88.92/106.03 c #Conflicts: 44000 | #Constraints: 70801
88.92/106.03 c #Conflicts: 45000 | #Constraints: 71801
88.92/106.03 c #Conflicts: 46000 | #Constraints: 72801
88.92/106.03 c INPROCESSING
88.92/106.03 c GARBAGE COLLECT
88.92/106.03 c rational objective 23
102.27/119.40 c #Conflicts: 47000 | #Constraints: 69381
102.27/119.40 c #Conflicts: 48000 | #Constraints: 70381
102.27/119.40 c bounds 79 >= 25 @ 100.972
168.58/185.92 c #Conflicts: 49000 | #Constraints: 71399
168.58/185.92 c #Conflicts: 50000 | #Constraints: 72399
168.58/185.92 c #Conflicts: 51000 | #Constraints: 73399
168.58/185.92 c INPROCESSING
168.58/185.92 c GARBAGE COLLECT
168.58/185.92 c #Conflicts: 52000 | #Constraints: 69789
168.58/185.92 c #Conflicts: 53000 | #Constraints: 70789
168.58/185.92 c #Conflicts: 54000 | #Constraints: 71789
168.58/185.92 c #Conflicts: 55000 | #Constraints: 72789
168.58/185.92 c #Conflicts: 56000 | #Constraints: 73789
168.58/185.92 c INPROCESSING
168.58/185.92 c GARBAGE COLLECT
168.58/185.92 c #Conflicts: 57000 | #Constraints: 69985
168.58/185.92 c #Conflicts: 58000 | #Constraints: 70985
168.58/185.92 c #Conflicts: 59000 | #Constraints: 71985
168.58/185.92 c #Conflicts: 60000 | #Constraints: 72985
168.58/185.92 c #Conflicts: 61000 | #Constraints: 73985
168.58/185.92 c INPROCESSING
168.58/185.92 c GARBAGE COLLECT
168.58/185.92 c #Conflicts: 62000 | #Constraints: 69988
168.58/185.92 c #Conflicts: 63000 | #Constraints: 70988
168.58/185.92 c #Conflicts: 64000 | #Constraints: 71988
168.58/185.92 c #Conflicts: 65000 | #Constraints: 72988
168.58/185.92 c #Conflicts: 66000 | #Constraints: 73988
168.58/185.92 c INPROCESSING
168.58/185.92 c GARBAGE COLLECT
168.58/185.92 c #Conflicts: 67000 | #Constraints: 69783
168.58/185.92 c #Conflicts: 68000 | #Constraints: 70783
168.58/185.92 c #Conflicts: 69000 | #Constraints: 71783
168.58/185.92 c #Conflicts: 70000 | #Constraints: 72783
168.58/185.92 c bounds 79 >= 27 @ 167.05
198.49/216.00 c #Conflicts: 71000 | #Constraints: 73798
198.49/216.00 c #Conflicts: 72000 | #Constraints: 74798
198.49/216.00 c INPROCESSING
198.49/216.00 c GARBAGE COLLECT
198.49/216.00 c #Conflicts: 73000 | #Constraints: 70392
198.49/216.00 c #Conflicts: 74000 | #Constraints: 71392
198.49/216.00 c #Conflicts: 75000 | #Constraints: 72392
198.49/216.00 c #Conflicts: 76000 | #Constraints: 73392
198.49/216.00 c #Conflicts: 77000 | #Constraints: 74392
198.49/216.00 c #Conflicts: 78000 | #Constraints: 75392
198.49/216.00 c INPROCESSING
198.49/216.00 c GARBAGE COLLECT
198.49/216.00 c #Conflicts: 79000 | #Constraints: 70792
198.49/216.00 c #Conflicts: 80000 | #Constraints: 71792
198.49/216.00 c #Conflicts: 81000 | #Constraints: 72792
198.49/216.00 c #Conflicts: 82000 | #Constraints: 73792
198.49/216.00 c #Conflicts: 83000 | #Constraints: 74792
198.49/216.00 c #Conflicts: 84000 | #Constraints: 75792
198.49/216.00 c INPROCESSING
198.49/216.00 c GARBAGE COLLECT
198.49/216.00 c #Conflicts: 85000 | #Constraints: 71002
198.49/216.00 c #Conflicts: 86000 | #Constraints: 72002
198.49/216.00 c #Conflicts: 87000 | #Constraints: 73002
198.49/216.00 c #Conflicts: 88000 | #Constraints: 74002
198.49/216.00 c #Conflicts: 89000 | #Constraints: 75002
198.49/216.00 c #Conflicts: 90000 | #Constraints: 76002
198.49/216.00 c INPROCESSING
198.49/216.00 c GARBAGE COLLECT
198.49/216.00 c rational objective 27
250.73/268.36 c #Conflicts: 91000 | #Constraints: 71001
250.73/268.36 c #Conflicts: 92000 | #Constraints: 72001
250.73/268.36 c #Conflicts: 93000 | #Constraints: 73001
250.73/268.36 c #Conflicts: 94000 | #Constraints: 74001
250.73/268.36 c #Conflicts: 95000 | #Constraints: 75001
250.73/268.36 c #Conflicts: 96000 | #Constraints: 76001
250.73/268.36 c INPROCESSING
250.73/268.36 c GARBAGE COLLECT
250.73/268.36 c rational objective 27
251.34/268.95 c #Conflicts: 97000 | #Constraints: 70851
251.34/268.95 c #Conflicts: 98000 | #Constraints: 71851
251.34/268.95 c bounds 79 >= 29 @ 249.44
280.36/298.05 c #Conflicts: 99000 | #Constraints: 72872
280.36/298.05 c #Conflicts: 100000 | #Constraints: 73872
280.36/298.05 c #Conflicts: 101000 | #Constraints: 74872
280.36/298.05 c #Conflicts: 102000 | #Constraints: 75872
280.36/298.05 c #Conflicts: 103000 | #Constraints: 76872
280.36/298.05 c INPROCESSING
280.36/298.05 c GARBAGE COLLECT
280.36/298.05 c #Conflicts: 104000 | #Constraints: 71436
280.36/298.05 c #Conflicts: 105000 | #Constraints: 72436
280.36/298.05 c #Conflicts: 106000 | #Constraints: 73436
280.36/298.05 c #Conflicts: 107000 | #Constraints: 74436
280.36/298.05 c #Conflicts: 108000 | #Constraints: 75436
280.36/298.05 c #Conflicts: 109000 | #Constraints: 76436
280.36/298.05 c #Conflicts: 110000 | #Constraints: 77436
280.36/298.05 c INPROCESSING
280.36/298.05 c GARBAGE COLLECT
280.36/298.05 c #Conflicts: 111000 | #Constraints: 71824
280.36/298.05 c #Conflicts: 112000 | #Constraints: 72824
280.36/298.05 c #Conflicts: 113000 | #Constraints: 73824
280.36/298.05 c #Conflicts: 114000 | #Constraints: 74824
280.36/298.05 c #Conflicts: 115000 | #Constraints: 75824
280.36/298.05 c #Conflicts: 116000 | #Constraints: 76824
280.36/298.05 c #Conflicts: 117000 | #Constraints: 77824
280.36/298.07 c INPROCESSING
280.36/298.07 c GARBAGE COLLECT
280.36/298.07 c #Conflicts: 118000 | #Constraints: 72015
280.36/298.07 c #Conflicts: 119000 | #Constraints: 73015
280.36/298.07 c #Conflicts: 120000 | #Constraints: 74015
280.36/298.07 c #Conflicts: 121000 | #Constraints: 75015
280.36/298.07 c #Conflicts: 122000 | #Constraints: 76015
280.36/298.07 c #Conflicts: 123000 | #Constraints: 77015
280.36/298.07 c #Conflicts: 124000 | #Constraints: 78015
280.36/298.07 c INPROCESSING
280.36/298.07 c GARBAGE COLLECT
280.36/298.07 c rational objective 29
321.44/339.21 c #Conflicts: 125000 | #Constraints: 72012
321.44/339.21 c #Conflicts: 126000 | #Constraints: 73012
321.44/339.21 c #Conflicts: 127000 | #Constraints: 74012
321.44/339.21 c #Conflicts: 128000 | #Constraints: 75012
321.44/339.21 c #Conflicts: 129000 | #Constraints: 76012
321.44/339.21 c #Conflicts: 130000 | #Constraints: 77012
321.44/339.21 c #Conflicts: 131000 | #Constraints: 78012
321.44/339.21 c INPROCESSING
321.44/339.21 c GARBAGE COLLECT
321.44/339.21 c rational objective 29
376.88/394.80 c #Conflicts: 132000 | #Constraints: 71846
376.88/394.80 c #Conflicts: 133000 | #Constraints: 72846
376.88/394.80 c #Conflicts: 134000 | #Constraints: 73846
376.88/394.80 c #Conflicts: 135000 | #Constraints: 74846
376.88/394.80 c #Conflicts: 136000 | #Constraints: 75846
376.88/394.80 c #Conflicts: 137000 | #Constraints: 76846
376.88/394.80 c #Conflicts: 138000 | #Constraints: 77846
376.88/394.80 c #Conflicts: 139000 | #Constraints: 78846
376.88/394.80 c INPROCESSING
376.88/394.80 c GARBAGE COLLECT
376.88/394.80 c rational objective 29
416.55/434.60 c #Conflicts: 140000 | #Constraints: 72427
416.55/434.60 c #Conflicts: 141000 | #Constraints: 73427
416.55/434.60 c #Conflicts: 142000 | #Constraints: 74427
416.55/434.60 c #Conflicts: 143000 | #Constraints: 75427
416.55/434.60 c #Conflicts: 144000 | #Constraints: 76427
416.55/434.60 c #Conflicts: 145000 | #Constraints: 77427
416.55/434.60 c #Conflicts: 146000 | #Constraints: 78427
416.55/434.60 c #Conflicts: 147000 | #Constraints: 79427
416.55/434.60 c INPROCESSING
416.55/434.60 c GARBAGE COLLECT
416.55/434.60 c #Conflicts: 148000 | #Constraints: 72819
416.55/434.60 c #Conflicts: 149000 | #Constraints: 73819
416.55/434.60 c #Conflicts: 150000 | #Constraints: 74819
416.55/434.60 c #Conflicts: 151000 | #Constraints: 75819
416.55/434.60 c #Conflicts: 152000 | #Constraints: 76819
416.55/434.60 c #Conflicts: 153000 | #Constraints: 77819
416.55/434.60 c #Conflicts: 154000 | #Constraints: 78819
416.55/434.60 c #Conflicts: 155000 | #Constraints: 79819
416.55/434.60 c INPROCESSING
416.55/434.60 c GARBAGE COLLECT
416.55/434.60 c rational objective 29
475.39/493.62 c #Conflicts: 156000 | #Constraints: 73017
475.39/493.62 c #Conflicts: 157000 | #Constraints: 74017
475.39/493.62 c #Conflicts: 158000 | #Constraints: 75017
475.39/493.62 c #Conflicts: 159000 | #Constraints: 76017
475.39/493.62 c #Conflicts: 160000 | #Constraints: 77017
475.39/493.62 c #Conflicts: 161000 | #Constraints: 78017
475.39/493.62 c #Conflicts: 162000 | #Constraints: 79017
475.39/493.62 c #Conflicts: 163000 | #Constraints: 80017
475.39/493.62 c INPROCESSING
475.39/493.62 c GARBAGE COLLECT
475.39/493.62 c rational objective 29
508.09/526.48 c #Conflicts: 164000 | #Constraints: 73050
508.09/526.48 c #Conflicts: 165000 | #Constraints: 74050
508.09/526.48 c #Conflicts: 166000 | #Constraints: 75050
508.09/526.48 c #Conflicts: 167000 | #Constraints: 76050
508.09/526.48 c #Conflicts: 168000 | #Constraints: 77050
508.09/526.48 c #Conflicts: 169000 | #Constraints: 78050
508.09/526.48 c #Conflicts: 170000 | #Constraints: 79050
508.09/526.48 c #Conflicts: 171000 | #Constraints: 80050
508.09/526.48 c INPROCESSING
508.09/526.48 c GARBAGE COLLECT
508.09/526.48 c #Conflicts: 172000 | #Constraints: 72825
508.09/526.48 c #Conflicts: 173000 | #Constraints: 73825
508.09/526.48 c #Conflicts: 174000 | #Constraints: 74825
508.09/526.48 c #Conflicts: 175000 | #Constraints: 75825
508.09/526.48 c #Conflicts: 176000 | #Constraints: 76825
508.09/526.48 c #Conflicts: 177000 | #Constraints: 77825
508.09/526.48 c #Conflicts: 178000 | #Constraints: 78825
508.09/526.48 c #Conflicts: 179000 | #Constraints: 79825
508.09/526.48 c #Conflicts: 180000 | #Constraints: 80825
508.09/526.48 c INPROCESSING
508.09/526.48 c GARBAGE COLLECT
508.09/526.48 c #Conflicts: 181000 | #Constraints: 73419
508.09/526.48 c #Conflicts: 182000 | #Constraints: 74419
508.09/526.48 c #Conflicts: 183000 | #Constraints: 75419
508.09/526.48 c #Conflicts: 184000 | #Constraints: 76419
508.09/526.48 c #Conflicts: 185000 | #Constraints: 77419
508.09/526.48 c #Conflicts: 186000 | #Constraints: 78419
508.09/526.48 c #Conflicts: 187000 | #Constraints: 79419
508.09/526.48 c #Conflicts: 188000 | #Constraints: 80419
508.09/526.48 c #Conflicts: 189000 | #Constraints: 81419
508.09/526.48 c INPROCESSING
508.09/526.48 c GARBAGE COLLECT
508.09/526.48 c rational objective 29
554.76/573.27 c #Conflicts: 190000 | #Constraints: 73836
554.76/573.27 c #Conflicts: 191000 | #Constraints: 74836
554.76/573.27 c #Conflicts: 192000 | #Constraints: 75836
554.76/573.27 c #Conflicts: 193000 | #Constraints: 76836
554.76/573.27 c #Conflicts: 194000 | #Constraints: 77836
554.76/573.27 c #Conflicts: 195000 | #Constraints: 78836
554.76/573.27 c #Conflicts: 196000 | #Constraints: 79836
554.76/573.27 c #Conflicts: 197000 | #Constraints: 80836
554.76/573.27 c #Conflicts: 198000 | #Constraints: 81836
554.76/573.27 c INPROCESSING
554.76/573.27 c GARBAGE COLLECT
554.76/573.27 c rational objective 29
577.88/596.49 c #Conflicts: 199000 | #Constraints: 74081
577.88/596.49 c #Conflicts: 200000 | #Constraints: 75081
577.88/596.49 c #Conflicts: 201000 | #Constraints: 76081
577.88/596.49 c #Conflicts: 202000 | #Constraints: 77081
577.88/596.49 c #Conflicts: 203000 | #Constraints: 78081
577.88/596.49 c #Conflicts: 204000 | #Constraints: 79081
577.88/596.49 c #Conflicts: 205000 | #Constraints: 80081
577.88/596.49 c #Conflicts: 206000 | #Constraints: 81081
577.88/596.49 c #Conflicts: 207000 | #Constraints: 82081
577.88/596.49 c INPROCESSING
577.88/596.49 c GARBAGE COLLECT
577.88/596.49 c #Conflicts: 208000 | #Constraints: 74044
577.88/596.49 c #Conflicts: 209000 | #Constraints: 75044
577.88/596.49 c #Conflicts: 210000 | #Constraints: 76044
577.88/596.49 c #Conflicts: 211000 | #Constraints: 77044
577.88/596.49 c #Conflicts: 212000 | #Constraints: 78044
577.88/596.49 c #Conflicts: 213000 | #Constraints: 79044
577.88/596.49 c #Conflicts: 214000 | #Constraints: 80044
577.88/596.49 c #Conflicts: 215000 | #Constraints: 81044
577.88/596.49 c #Conflicts: 216000 | #Constraints: 82044
577.88/596.49 c INPROCESSING
577.88/596.49 c GARBAGE COLLECT
577.88/596.49 c rational objective 29
595.83/614.43 c #Conflicts: 217000 | #Constraints: 73867
595.83/614.43 c #Conflicts: 218000 | #Constraints: 74867
595.83/614.43 c #Conflicts: 219000 | #Constraints: 75867
595.83/614.43 c #Conflicts: 220000 | #Constraints: 76867
595.83/614.43 c #Conflicts: 221000 | #Constraints: 77867
595.83/614.43 c #Conflicts: 222000 | #Constraints: 78867
595.83/614.43 c #Conflicts: 223000 | #Constraints: 79867
595.83/614.43 c #Conflicts: 224000 | #Constraints: 80867
595.83/614.43 c #Conflicts: 225000 | #Constraints: 81867
595.83/614.43 c #Conflicts: 226000 | #Constraints: 82867
595.83/614.43 c INPROCESSING
595.83/614.43 c GARBAGE COLLECT
595.83/614.43 c rational objective 29
617.57/636.21 c #Conflicts: 227000 | #Constraints: 74446
617.57/636.21 c #Conflicts: 228000 | #Constraints: 75446
617.57/636.21 c #Conflicts: 229000 | #Constraints: 76446
617.57/636.21 c #Conflicts: 230000 | #Constraints: 77446
617.57/636.21 c #Conflicts: 231000 | #Constraints: 78446
617.57/636.21 c #Conflicts: 232000 | #Constraints: 79446
617.57/636.21 c #Conflicts: 233000 | #Constraints: 80446
617.57/636.21 c #Conflicts: 234000 | #Constraints: 81446
617.57/636.21 c #Conflicts: 235000 | #Constraints: 82446
617.57/636.21 c #Conflicts: 236000 | #Constraints: 83446
617.57/636.21 c INPROCESSING
617.57/636.21 c GARBAGE COLLECT
617.57/636.21 c rational objective 29
665.33/684.13 c #Conflicts: 237000 | #Constraints: 74850
665.33/684.13 c #Conflicts: 238000 | #Constraints: 75850
665.33/684.13 c #Conflicts: 239000 | #Constraints: 76850
665.33/684.13 c #Conflicts: 240000 | #Constraints: 77850
665.33/684.13 c #Conflicts: 241000 | #Constraints: 78850
665.33/684.13 c #Conflicts: 242000 | #Constraints: 79850
665.33/684.13 c #Conflicts: 243000 | #Constraints: 80850
665.33/684.13 c #Conflicts: 244000 | #Constraints: 81850
665.33/684.13 c #Conflicts: 245000 | #Constraints: 82850
665.33/684.13 c #Conflicts: 246000 | #Constraints: 83850
665.33/684.13 c INPROCESSING
665.33/684.13 c GARBAGE COLLECT
665.33/684.13 c rational objective 29
697.14/716.01 c #Conflicts: 247000 | #Constraints: 75051
697.14/716.01 c #Conflicts: 248000 | #Constraints: 76051
697.14/716.01 c #Conflicts: 249000 | #Constraints: 77051
697.14/716.01 c #Conflicts: 250000 | #Constraints: 78051
697.14/716.01 c #Conflicts: 251000 | #Constraints: 79051
697.14/716.01 c #Conflicts: 252000 | #Constraints: 80051
697.14/716.01 c #Conflicts: 253000 | #Constraints: 81051
697.14/716.01 c #Conflicts: 254000 | #Constraints: 82051
697.14/716.01 c #Conflicts: 255000 | #Constraints: 83051
697.14/716.01 c #Conflicts: 256000 | #Constraints: 84051
697.14/716.01 c INPROCESSING
697.14/716.01 c GARBAGE COLLECT
697.14/716.01 c rational objective 29
746.30/765.37 c #Conflicts: 257000 | #Constraints: 75040
746.30/765.37 c #Conflicts: 258000 | #Constraints: 76040
746.30/765.37 c #Conflicts: 259000 | #Constraints: 77040
746.30/765.37 c #Conflicts: 260000 | #Constraints: 78040
746.30/765.37 c #Conflicts: 261000 | #Constraints: 79040
746.30/765.37 c #Conflicts: 262000 | #Constraints: 80040
746.30/765.37 c #Conflicts: 263000 | #Constraints: 81040
746.30/765.37 c #Conflicts: 264000 | #Constraints: 82040
746.30/765.37 c #Conflicts: 265000 | #Constraints: 83040
746.30/765.37 c #Conflicts: 266000 | #Constraints: 84040
746.30/765.37 c INPROCESSING
746.30/765.37 c GARBAGE COLLECT
746.30/765.37 c rational objective 29
771.03/790.11 c #Conflicts: 267000 | #Constraints: 74833
771.03/790.11 c #Conflicts: 268000 | #Constraints: 75833
771.03/790.11 c #Conflicts: 269000 | #Constraints: 76833
771.03/790.11 c #Conflicts: 270000 | #Constraints: 77833
771.03/790.11 c #Conflicts: 271000 | #Constraints: 78833
771.03/790.11 c #Conflicts: 272000 | #Constraints: 79833
771.03/790.11 c #Conflicts: 273000 | #Constraints: 80833
771.03/790.11 c #Conflicts: 274000 | #Constraints: 81833
771.03/790.11 c #Conflicts: 275000 | #Constraints: 82833
771.03/790.11 c #Conflicts: 276000 | #Constraints: 83833
771.03/790.11 c #Conflicts: 277000 | #Constraints: 84833
771.03/790.11 c INPROCESSING
771.03/790.11 c GARBAGE COLLECT
771.03/790.11 c #Conflicts: 278000 | #Constraints: 75421
771.03/790.11 c #Conflicts: 279000 | #Constraints: 76421
771.03/790.11 c #Conflicts: 280000 | #Constraints: 77421
771.03/790.11 c #Conflicts: 281000 | #Constraints: 78421
771.03/790.11 c #Conflicts: 282000 | #Constraints: 79421
771.03/790.11 c #Conflicts: 283000 | #Constraints: 80421
771.03/790.11 c #Conflicts: 284000 | #Constraints: 81421
771.03/790.11 c #Conflicts: 285000 | #Constraints: 82421
771.03/790.11 c #Conflicts: 286000 | #Constraints: 83421
771.03/790.11 c #Conflicts: 287000 | #Constraints: 84421
771.03/790.11 c #Conflicts: 288000 | #Constraints: 85421
771.03/790.11 c INPROCESSING
771.03/790.11 c GARBAGE COLLECT
771.03/790.11 c rational objective 29
806.12/825.31 c #Conflicts: 289000 | #Constraints: 75820
806.12/825.31 c #Conflicts: 290000 | #Constraints: 76820
806.12/825.31 c #Conflicts: 291000 | #Constraints: 77820
806.12/825.31 c #Conflicts: 292000 | #Constraints: 78820
806.12/825.31 c #Conflicts: 293000 | #Constraints: 79820
806.12/825.31 c #Conflicts: 294000 | #Constraints: 80820
806.12/825.31 c #Conflicts: 295000 | #Constraints: 81820
806.12/825.31 c #Conflicts: 296000 | #Constraints: 82820
806.12/825.31 c #Conflicts: 297000 | #Constraints: 83820
806.12/825.31 c #Conflicts: 298000 | #Constraints: 84820
806.12/825.31 c #Conflicts: 299000 | #Constraints: 85820
806.12/825.31 c INPROCESSING
806.12/825.31 c GARBAGE COLLECT
806.12/825.31 c rational objective 29
874.52/893.91 c #Conflicts: 300000 | #Constraints: 76014
874.52/893.91 c #Conflicts: 301000 | #Constraints: 77014
874.52/893.91 c #Conflicts: 302000 | #Constraints: 78014
874.52/893.91 c #Conflicts: 303000 | #Constraints: 79014
874.52/893.91 c #Conflicts: 304000 | #Constraints: 80014
874.52/893.91 c #Conflicts: 305000 | #Constraints: 81014
874.52/893.91 c #Conflicts: 306000 | #Constraints: 82014
874.52/893.91 c #Conflicts: 307000 | #Constraints: 83014
874.52/893.91 c #Conflicts: 308000 | #Constraints: 84014
874.52/893.91 c #Conflicts: 309000 | #Constraints: 85014
874.52/893.91 c #Conflicts: 310000 | #Constraints: 86014
874.52/893.91 c INPROCESSING
874.52/893.91 c GARBAGE COLLECT
874.52/893.91 c rational objective 29
912.62/932.16 c #Conflicts: 311000 | #Constraints: 76053
912.62/932.16 c #Conflicts: 312000 | #Constraints: 77053
912.62/932.16 c #Conflicts: 313000 | #Constraints: 78053
912.62/932.16 c #Conflicts: 314000 | #Constraints: 79053
912.62/932.16 c #Conflicts: 315000 | #Constraints: 80053
912.62/932.16 c #Conflicts: 316000 | #Constraints: 81053
912.62/932.16 c #Conflicts: 317000 | #Constraints: 82053
912.62/932.16 c #Conflicts: 318000 | #Constraints: 83053
912.62/932.16 c #Conflicts: 319000 | #Constraints: 84053
912.62/932.16 c #Conflicts: 320000 | #Constraints: 85053
912.62/932.16 c #Conflicts: 321000 | #Constraints: 86053
912.62/932.16 c INPROCESSING
912.62/932.16 c GARBAGE COLLECT
912.62/932.16 c #Conflicts: 322000 | #Constraints: 75834
912.62/932.16 c #Conflicts: 323000 | #Constraints: 76834
912.62/932.16 c #Conflicts: 324000 | #Constraints: 77834
912.62/932.16 c #Conflicts: 325000 | #Constraints: 78834
912.62/932.16 c #Conflicts: 326000 | #Constraints: 79834
912.62/932.16 c #Conflicts: 327000 | #Constraints: 80834
912.62/932.16 c #Conflicts: 328000 | #Constraints: 81834
912.62/932.16 c #Conflicts: 329000 | #Constraints: 82834
912.62/932.16 c #Conflicts: 330000 | #Constraints: 83834
912.62/932.16 c #Conflicts: 331000 | #Constraints: 84834
912.62/932.16 c #Conflicts: 332000 | #Constraints: 85834
912.62/932.16 c #Conflicts: 333000 | #Constraints: 86834
912.62/932.16 c INPROCESSING
912.62/932.16 c GARBAGE COLLECT
912.62/932.16 c rational objective 29
936.24/955.85 c #Conflicts: 334000 | #Constraints: 76424
936.24/955.85 c #Conflicts: 335000 | #Constraints: 77424
936.24/955.85 c #Conflicts: 336000 | #Constraints: 78424
936.24/955.85 c #Conflicts: 337000 | #Constraints: 79424
936.24/955.85 c #Conflicts: 338000 | #Constraints: 80424
936.24/955.85 c #Conflicts: 339000 | #Constraints: 81424
936.24/955.85 c #Conflicts: 340000 | #Constraints: 82424
936.24/955.85 c #Conflicts: 341000 | #Constraints: 83424
936.24/955.85 c #Conflicts: 342000 | #Constraints: 84424
936.24/955.85 c #Conflicts: 343000 | #Constraints: 85424
936.24/955.85 c #Conflicts: 344000 | #Constraints: 86424
936.24/955.85 c #Conflicts: 345000 | #Constraints: 87424
936.24/955.85 c INPROCESSING
936.24/955.85 c GARBAGE COLLECT
936.24/955.85 c rational objective 29
990.08/1009.88 c #Conflicts: 346000 | #Constraints: 76870
990.08/1009.88 c #Conflicts: 347000 | #Constraints: 77870
990.08/1009.88 c #Conflicts: 348000 | #Constraints: 78870
990.08/1009.88 c #Conflicts: 349000 | #Constraints: 79870
990.08/1009.88 c #Conflicts: 350000 | #Constraints: 80870
990.08/1009.88 c #Conflicts: 351000 | #Constraints: 81870
990.08/1009.88 c #Conflicts: 352000 | #Constraints: 82870
990.08/1009.88 c #Conflicts: 353000 | #Constraints: 83870
990.08/1009.88 c #Conflicts: 354000 | #Constraints: 84870
990.08/1009.88 c #Conflicts: 355000 | #Constraints: 85870
990.08/1009.88 c #Conflicts: 356000 | #Constraints: 86870
990.08/1009.88 c #Conflicts: 357000 | #Constraints: 87870
990.08/1009.88 c INPROCESSING
990.08/1009.88 c GARBAGE COLLECT
990.08/1009.88 c rational objective 29
1019.90/1039.77 c #Conflicts: 358000 | #Constraints: 77092
1019.90/1039.77 c #Conflicts: 359000 | #Constraints: 78092
1019.90/1039.77 c #Conflicts: 360000 | #Constraints: 79092
1019.90/1039.77 c #Conflicts: 361000 | #Constraints: 80092
1019.90/1039.77 c #Conflicts: 362000 | #Constraints: 81092
1019.90/1039.77 c #Conflicts: 363000 | #Constraints: 82092
1019.90/1039.77 c #Conflicts: 364000 | #Constraints: 83092
1019.90/1039.77 c #Conflicts: 365000 | #Constraints: 84092
1019.90/1039.77 c #Conflicts: 366000 | #Constraints: 85092
1019.90/1039.77 c #Conflicts: 367000 | #Constraints: 86092
1019.90/1039.77 c #Conflicts: 368000 | #Constraints: 87092
1019.90/1039.77 c #Conflicts: 369000 | #Constraints: 88092
1019.90/1039.77 c INPROCESSING
1019.90/1039.77 c GARBAGE COLLECT
1019.90/1039.77 c rational objective 29
1077.13/1097.14 c #Conflicts: 370000 | #Constraints: 77055
1077.13/1097.14 c #Conflicts: 371000 | #Constraints: 78055
1077.13/1097.14 c #Conflicts: 372000 | #Constraints: 79055
1077.13/1097.14 c #Conflicts: 373000 | #Constraints: 80055
1077.13/1097.14 c #Conflicts: 374000 | #Constraints: 81055
1077.13/1097.14 c #Conflicts: 375000 | #Constraints: 82055
1077.13/1097.14 c #Conflicts: 376000 | #Constraints: 83055
1077.13/1097.14 c #Conflicts: 377000 | #Constraints: 84055
1077.13/1097.14 c #Conflicts: 378000 | #Constraints: 85055
1077.13/1097.14 c #Conflicts: 379000 | #Constraints: 86055
1077.13/1097.14 c #Conflicts: 380000 | #Constraints: 87055
1077.13/1097.14 c #Conflicts: 381000 | #Constraints: 88055
1077.13/1097.14 c INPROCESSING
1077.13/1097.14 c GARBAGE COLLECT
1077.13/1097.14 c rational objective 29
1109.83/1129.95 c #Conflicts: 382000 | #Constraints: 76879
1109.83/1129.95 c #Conflicts: 383000 | #Constraints: 77879
1109.83/1129.95 c #Conflicts: 384000 | #Constraints: 78879
1109.83/1129.95 c #Conflicts: 385000 | #Constraints: 79879
1109.83/1129.95 c #Conflicts: 386000 | #Constraints: 80879
1109.83/1129.95 c #Conflicts: 387000 | #Constraints: 81879
1109.83/1129.95 c #Conflicts: 388000 | #Constraints: 82879
1109.83/1129.95 c #Conflicts: 389000 | #Constraints: 83879
1109.83/1129.95 c #Conflicts: 390000 | #Constraints: 84879
1109.83/1129.95 c #Conflicts: 391000 | #Constraints: 85879
1109.83/1129.95 c #Conflicts: 392000 | #Constraints: 86879
1109.83/1129.95 c #Conflicts: 393000 | #Constraints: 87879
1109.83/1129.95 c #Conflicts: 394000 | #Constraints: 88879
1109.83/1129.95 c INPROCESSING
1109.83/1129.95 c GARBAGE COLLECT
1109.83/1129.95 c #Conflicts: 395000 | #Constraints: 77452
1109.83/1129.95 c #Conflicts: 396000 | #Constraints: 78452
1109.83/1129.95 c #Conflicts: 397000 | #Constraints: 79452
1109.83/1129.95 c #Conflicts: 398000 | #Constraints: 80452
1109.83/1129.95 c #Conflicts: 399000 | #Constraints: 81452
1109.83/1129.95 c #Conflicts: 400000 | #Constraints: 82452
1109.83/1129.95 c #Conflicts: 401000 | #Constraints: 83452
1109.83/1129.95 c #Conflicts: 402000 | #Constraints: 84452
1109.83/1129.95 c #Conflicts: 403000 | #Constraints: 85452
1109.83/1129.95 c #Conflicts: 404000 | #Constraints: 86452
1109.83/1129.95 c #Conflicts: 405000 | #Constraints: 87452
1109.83/1129.95 c #Conflicts: 406000 | #Constraints: 88452
1109.83/1129.95 c #Conflicts: 407000 | #Constraints: 89452
1109.83/1129.95 c INPROCESSING
1109.83/1129.95 c GARBAGE COLLECT
1109.83/1129.95 c rational objective 29
1148.93/1169.12 c #Conflicts: 408000 | #Constraints: 77837
1148.93/1169.12 c #Conflicts: 409000 | #Constraints: 78837
1148.93/1169.12 c #Conflicts: 410000 | #Constraints: 79837
1148.93/1169.12 c #Conflicts: 411000 | #Constraints: 80837
1148.93/1169.12 c #Conflicts: 412000 | #Constraints: 81837
1148.93/1169.12 c #Conflicts: 413000 | #Constraints: 82837
1148.93/1169.12 c #Conflicts: 414000 | #Constraints: 83837
1148.93/1169.12 c #Conflicts: 415000 | #Constraints: 84837
1148.93/1169.12 c #Conflicts: 416000 | #Constraints: 85837
1148.93/1169.12 c #Conflicts: 417000 | #Constraints: 86837
1148.93/1169.12 c #Conflicts: 418000 | #Constraints: 87837
1148.93/1169.12 c #Conflicts: 419000 | #Constraints: 88837
1148.93/1169.12 c #Conflicts: 420000 | #Constraints: 89837
1148.93/1169.12 c INPROCESSING
1148.93/1169.12 c GARBAGE COLLECT
1148.93/1169.12 c rational objective 29
1255.11/1275.69 c #Conflicts: 421000 | #Constraints: 78043
1255.11/1275.69 c #Conflicts: 422000 | #Constraints: 79043
1255.11/1275.69 c #Conflicts: 423000 | #Constraints: 80043
1255.11/1275.69 c #Conflicts: 424000 | #Constraints: 81043
1255.11/1275.69 c #Conflicts: 425000 | #Constraints: 82043
1255.11/1275.69 c #Conflicts: 426000 | #Constraints: 83043
1255.11/1275.69 c #Conflicts: 427000 | #Constraints: 84043
1255.11/1275.69 c #Conflicts: 428000 | #Constraints: 85043
1255.11/1275.69 c #Conflicts: 429000 | #Constraints: 86043
1255.11/1275.69 c #Conflicts: 430000 | #Constraints: 87043
1255.11/1275.69 c #Conflicts: 431000 | #Constraints: 88043
1255.11/1275.69 c #Conflicts: 432000 | #Constraints: 89043
1255.11/1275.69 c #Conflicts: 433000 | #Constraints: 90043
1255.11/1275.69 c INPROCESSING
1255.11/1275.69 c GARBAGE COLLECT
1255.11/1275.69 c rational objective 29
1304.38/1325.07 c #Conflicts: 434000 | #Constraints: 78031
1304.38/1325.07 c #Conflicts: 435000 | #Constraints: 79031
1304.38/1325.07 c #Conflicts: 436000 | #Constraints: 80031
1304.38/1325.07 c #Conflicts: 437000 | #Constraints: 81031
1304.38/1325.07 c #Conflicts: 438000 | #Constraints: 82031
1304.38/1325.07 c #Conflicts: 439000 | #Constraints: 83031
1304.38/1325.07 c #Conflicts: 440000 | #Constraints: 84031
1304.38/1325.07 c #Conflicts: 441000 | #Constraints: 85031
1304.38/1325.07 c #Conflicts: 442000 | #Constraints: 86031
1304.38/1325.07 c #Conflicts: 443000 | #Constraints: 87031
1304.38/1325.07 c #Conflicts: 444000 | #Constraints: 88031
1304.38/1325.07 c #Conflicts: 445000 | #Constraints: 89031
1304.38/1325.07 c #Conflicts: 446000 | #Constraints: 90031
1304.38/1325.07 c INPROCESSING
1304.38/1325.07 c GARBAGE COLLECT
1304.38/1325.07 c #Conflicts: 447000 | #Constraints: 77822
1304.38/1325.07 c #Conflicts: 448000 | #Constraints: 78822
1304.38/1325.07 c #Conflicts: 449000 | #Constraints: 79822
1304.38/1325.07 c #Conflicts: 450000 | #Constraints: 80822
1304.38/1325.07 c #Conflicts: 451000 | #Constraints: 81822
1304.38/1325.07 c #Conflicts: 452000 | #Constraints: 82822
1304.38/1325.07 c #Conflicts: 453000 | #Constraints: 83822
1304.38/1325.07 c #Conflicts: 454000 | #Constraints: 84822
1304.38/1325.07 c #Conflicts: 455000 | #Constraints: 85822
1304.38/1325.07 c #Conflicts: 456000 | #Constraints: 86822
1304.38/1325.07 c #Conflicts: 457000 | #Constraints: 87822
1304.38/1325.07 c #Conflicts: 458000 | #Constraints: 88822
1304.38/1325.07 c #Conflicts: 459000 | #Constraints: 89822
1304.38/1325.07 c #Conflicts: 460000 | #Constraints: 90822
1304.38/1325.07 c INPROCESSING
1304.38/1325.07 c GARBAGE COLLECT
1304.38/1325.07 c #Conflicts: 461000 | #Constraints: 78420
1304.38/1325.07 c #Conflicts: 462000 | #Constraints: 79420
1304.38/1325.07 c #Conflicts: 463000 | #Constraints: 80420
1304.38/1325.07 c #Conflicts: 464000 | #Constraints: 81420
1304.38/1325.07 c #Conflicts: 465000 | #Constraints: 82420
1304.38/1325.07 c #Conflicts: 466000 | #Constraints: 83420
1304.38/1325.07 c #Conflicts: 467000 | #Constraints: 84420
1304.38/1325.07 c #Conflicts: 468000 | #Constraints: 85420
1304.38/1325.07 c #Conflicts: 469000 | #Constraints: 86420
1304.38/1325.07 c #Conflicts: 470000 | #Constraints: 87420
1304.38/1325.07 c #Conflicts: 471000 | #Constraints: 88420
1304.38/1325.07 c #Conflicts: 472000 | #Constraints: 89420
1304.38/1325.07 c #Conflicts: 473000 | #Constraints: 90420
1304.38/1325.07 c #Conflicts: 474000 | #Constraints: 91420
1304.38/1325.07 c INPROCESSING
1304.38/1325.07 c GARBAGE COLLECT
1304.38/1325.07 c rational objective 29
1345.66/1366.48 c #Conflicts: 475000 | #Constraints: 78823
1345.66/1366.48 c #Conflicts: 476000 | #Constraints: 79823
1345.66/1366.48 c #Conflicts: 477000 | #Constraints: 80823
1345.66/1366.48 c #Conflicts: 478000 | #Constraints: 81823
1345.66/1366.48 c #Conflicts: 479000 | #Constraints: 82823
1345.66/1366.48 c #Conflicts: 480000 | #Constraints: 83823
1345.66/1366.48 c #Conflicts: 481000 | #Constraints: 84823
1345.66/1366.48 c #Conflicts: 482000 | #Constraints: 85823
1345.66/1366.48 c #Conflicts: 483000 | #Constraints: 86823
1345.66/1366.48 c #Conflicts: 484000 | #Constraints: 87823
1345.66/1366.48 c #Conflicts: 485000 | #Constraints: 88823
1345.66/1366.48 c #Conflicts: 486000 | #Constraints: 89823
1345.66/1366.48 c #Conflicts: 487000 | #Constraints: 90823
1345.66/1366.48 c #Conflicts: 488000 | #Constraints: 91823
1345.66/1366.48 c INPROCESSING
1345.66/1366.48 c GARBAGE COLLECT
1345.66/1366.48 c rational objective 29
1533.80/1555.16 c #Conflicts: 489000 | #Constraints: 79034
1533.80/1555.16 c #Conflicts: 490000 | #Constraints: 80034
1533.80/1555.16 c #Conflicts: 491000 | #Constraints: 81034
1533.80/1555.16 c #Conflicts: 492000 | #Constraints: 82034
1533.80/1555.16 c #Conflicts: 493000 | #Constraints: 83034
1533.80/1555.16 c #Conflicts: 494000 | #Constraints: 84034
1533.80/1555.16 c #Conflicts: 495000 | #Constraints: 85034
1533.80/1555.16 c #Conflicts: 496000 | #Constraints: 86034
1533.80/1555.16 c #Conflicts: 497000 | #Constraints: 87034
1533.80/1555.16 c #Conflicts: 498000 | #Constraints: 88034
1533.80/1555.16 c #Conflicts: 499000 | #Constraints: 89034
1533.80/1555.16 c #Conflicts: 500000 | #Constraints: 90034
1533.80/1555.16 c #Conflicts: 501000 | #Constraints: 91034
1533.80/1555.16 c #Conflicts: 502000 | #Constraints: 92034
1533.80/1555.16 c INPROCESSING
1533.80/1555.16 c GARBAGE COLLECT
1533.80/1555.16 c #Conflicts: 503000 | #Constraints: 79026
1533.80/1555.16 c #Conflicts: 504000 | #Constraints: 80026
1533.80/1555.16 c #Conflicts: 505000 | #Constraints: 81026
1533.80/1555.16 c #Conflicts: 506000 | #Constraints: 82026
1533.80/1555.16 c #Conflicts: 507000 | #Constraints: 83026
1533.80/1555.16 c #Conflicts: 508000 | #Constraints: 84026
1533.80/1555.16 c #Conflicts: 509000 | #Constraints: 85026
1533.80/1555.16 c #Conflicts: 510000 | #Constraints: 86026
1533.80/1555.16 c #Conflicts: 511000 | #Constraints: 87026
1533.80/1555.16 c #Conflicts: 512000 | #Constraints: 88026
1533.80/1555.16 c #Conflicts: 513000 | #Constraints: 89026
1533.80/1555.16 c #Conflicts: 514000 | #Constraints: 90026
1533.80/1555.16 c #Conflicts: 515000 | #Constraints: 91026
1533.80/1555.16 c #Conflicts: 516000 | #Constraints: 92026
1533.80/1555.16 c INPROCESSING
1533.80/1555.16 c GARBAGE COLLECT
1533.80/1555.16 c #Conflicts: 517000 | #Constraints: 78827
1533.80/1555.16 c #Conflicts: 518000 | #Constraints: 79827
1533.80/1555.16 c #Conflicts: 519000 | #Constraints: 80827
1533.80/1555.16 c #Conflicts: 520000 | #Constraints: 81827
1533.80/1555.16 c #Conflicts: 521000 | #Constraints: 82827
1533.80/1555.16 c #Conflicts: 522000 | #Constraints: 83827
1533.80/1555.16 c #Conflicts: 523000 | #Constraints: 84827
1533.80/1555.16 c #Conflicts: 524000 | #Constraints: 85827
1533.80/1555.16 c #Conflicts: 525000 | #Constraints: 86827
1533.80/1555.16 c #Conflicts: 526000 | #Constraints: 87827
1533.80/1555.16 c #Conflicts: 527000 | #Constraints: 88827
1533.80/1555.16 c #Conflicts: 528000 | #Constraints: 89827
1533.80/1555.16 c #Conflicts: 529000 | #Constraints: 90827
1533.80/1555.16 c #Conflicts: 530000 | #Constraints: 91827
1533.80/1555.16 c #Conflicts: 531000 | #Constraints: 92827
1533.80/1555.16 c INPROCESSING
1533.80/1555.16 c GARBAGE COLLECT
1533.80/1555.16 c #Conflicts: 532000 | #Constraints: 79417
1533.80/1555.16 c #Conflicts: 533000 | #Constraints: 80417
1533.80/1555.16 c #Conflicts: 534000 | #Constraints: 81417
1533.80/1555.16 c #Conflicts: 535000 | #Constraints: 82417
1533.80/1555.16 c #Conflicts: 536000 | #Constraints: 83417
1533.80/1555.16 c #Conflicts: 537000 | #Constraints: 84417
1533.80/1555.16 c #Conflicts: 538000 | #Constraints: 85417
1533.80/1555.16 c #Conflicts: 539000 | #Constraints: 86417
1533.80/1555.16 c #Conflicts: 540000 | #Constraints: 87417
1533.80/1555.16 c #Conflicts: 541000 | #Constraints: 88417
1533.80/1555.16 c #Conflicts: 542000 | #Constraints: 89417
1533.80/1555.16 c #Conflicts: 543000 | #Constraints: 90417
1533.80/1555.16 c #Conflicts: 544000 | #Constraints: 91417
1533.80/1555.16 c #Conflicts: 545000 | #Constraints: 92417
1533.80/1555.16 c #Conflicts: 546000 | #Constraints: 93417
1533.80/1555.16 c INPROCESSING
1533.80/1555.16 c GARBAGE COLLECT
1533.80/1555.16 c #Conflicts: 547000 | #Constraints: 79818
1533.80/1555.16 c #Conflicts: 548000 | #Constraints: 80818
1533.80/1555.16 c #Conflicts: 549000 | #Constraints: 81818
1533.80/1555.16 c #Conflicts: 550000 | #Constraints: 82818
1533.80/1555.16 c #Conflicts: 551000 | #Constraints: 83818
1533.80/1555.16 c #Conflicts: 552000 | #Constraints: 84818
1533.80/1555.16 c #Conflicts: 553000 | #Constraints: 85818
1533.80/1555.16 c #Conflicts: 554000 | #Constraints: 86818
1533.80/1555.16 c #Conflicts: 555000 | #Constraints: 87818
1533.80/1555.16 c #Conflicts: 556000 | #Constraints: 88818
1533.80/1555.16 c #Conflicts: 557000 | #Constraints: 89818
1533.80/1555.16 c #Conflicts: 558000 | #Constraints: 90818
1533.80/1555.16 c #Conflicts: 559000 | #Constraints: 91818
1533.80/1555.16 c #Conflicts: 560000 | #Constraints: 92818
1533.80/1555.16 c #Conflicts: 561000 | #Constraints: 93818
1533.80/1555.16 c INPROCESSING
1533.80/1555.16 c GARBAGE COLLECT
1533.80/1555.16 c rational objective 29
1597.62/1619.12 c #Conflicts: 562000 | #Constraints: 80039
1597.62/1619.12 c #Conflicts: 563000 | #Constraints: 81039
1597.62/1619.12 c #Conflicts: 564000 | #Constraints: 82039
1597.62/1619.12 c #Conflicts: 565000 | #Constraints: 83039
1597.62/1619.12 c #Conflicts: 566000 | #Constraints: 84039
1597.62/1619.12 c #Conflicts: 567000 | #Constraints: 85039
1597.62/1619.12 c #Conflicts: 568000 | #Constraints: 86039
1597.62/1619.12 c #Conflicts: 569000 | #Constraints: 87039
1597.62/1619.12 c #Conflicts: 570000 | #Constraints: 88039
1597.62/1619.12 c #Conflicts: 571000 | #Constraints: 89039
1597.62/1619.12 c #Conflicts: 572000 | #Constraints: 90039
1597.62/1619.12 c #Conflicts: 573000 | #Constraints: 91039
1597.62/1619.12 c #Conflicts: 574000 | #Constraints: 92039
1597.62/1619.12 c #Conflicts: 575000 | #Constraints: 93039
1597.62/1619.12 c #Conflicts: 576000 | #Constraints: 94039
1597.62/1619.12 c INPROCESSING
1597.62/1619.12 c GARBAGE COLLECT
1597.62/1619.12 c rational objective 29
1739.90/1761.81 c #Conflicts: 577000 | #Constraints: 80030
1739.90/1761.81 c #Conflicts: 578000 | #Constraints: 81030
1739.90/1761.81 c #Conflicts: 579000 | #Constraints: 82030
1739.90/1761.81 c #Conflicts: 580000 | #Constraints: 83030
1739.90/1761.81 c #Conflicts: 581000 | #Constraints: 84030
1739.90/1761.81 c #Conflicts: 582000 | #Constraints: 85030
1739.90/1761.81 c #Conflicts: 583000 | #Constraints: 86030
1739.90/1761.81 c #Conflicts: 584000 | #Constraints: 87030
1739.90/1761.81 c #Conflicts: 585000 | #Constraints: 88030
1739.90/1761.81 c #Conflicts: 586000 | #Constraints: 89030
1739.90/1761.81 c #Conflicts: 587000 | #Constraints: 90030
1739.90/1761.81 c #Conflicts: 588000 | #Constraints: 91030
1739.90/1761.81 c #Conflicts: 589000 | #Constraints: 92030
1739.90/1761.81 c #Conflicts: 590000 | #Constraints: 93030
1739.90/1761.81 c #Conflicts: 591000 | #Constraints: 94030
1739.90/1761.81 c INPROCESSING
1739.90/1761.81 c GARBAGE COLLECT
1739.90/1761.81 c rational objective 29
1810.30/1832.47 c #Conflicts: 592000 | #Constraints: 79879
1810.30/1832.47 c #Conflicts: 593000 | #Constraints: 80879
1810.30/1832.47 c #Conflicts: 594000 | #Constraints: 81879
1810.30/1832.47 c #Conflicts: 595000 | #Constraints: 82879
1810.30/1832.47 c #Conflicts: 596000 | #Constraints: 83879
1810.30/1832.47 c #Conflicts: 597000 | #Constraints: 84879
1810.30/1832.47 c #Conflicts: 598000 | #Constraints: 85879
1810.30/1832.47 c #Conflicts: 599000 | #Constraints: 86879
1810.30/1832.47 c #Conflicts: 600000 | #Constraints: 87879
1810.30/1832.47 c #Conflicts: 601000 | #Constraints: 88879
1810.30/1832.47 c #Conflicts: 602000 | #Constraints: 89879
1810.30/1832.47 c #Conflicts: 603000 | #Constraints: 90879
1810.30/1832.47 c #Conflicts: 604000 | #Constraints: 91879
1810.30/1832.47 c #Conflicts: 605000 | #Constraints: 92879
1810.30/1832.47 c #Conflicts: 606000 | #Constraints: 93879
1810.30/1832.47 c #Conflicts: 607000 | #Constraints: 94879
1810.30/1832.47 c INPROCESSING
1810.30/1832.47 c GARBAGE COLLECT
1810.30/1832.47 c #Conflicts: 608000 | #Constraints: 80451
1810.30/1832.47 c #Conflicts: 609000 | #Constraints: 81451
1810.30/1832.47 c #Conflicts: 610000 | #Constraints: 82451
1810.30/1832.47 c #Conflicts: 611000 | #Constraints: 83451
1810.30/1832.47 c #Conflicts: 612000 | #Constraints: 84451
1810.30/1832.47 c #Conflicts: 613000 | #Constraints: 85451
1810.30/1832.47 c #Conflicts: 614000 | #Constraints: 86451
1810.30/1832.47 c #Conflicts: 615000 | #Constraints: 87451
1810.30/1832.47 c #Conflicts: 616000 | #Constraints: 88451
1810.30/1832.47 c #Conflicts: 617000 | #Constraints: 89451
1810.30/1832.47 c #Conflicts: 618000 | #Constraints: 90451
1810.30/1832.47 c #Conflicts: 619000 | #Constraints: 91451
1810.30/1832.47 c #Conflicts: 620000 | #Constraints: 92451
1810.30/1832.47 c #Conflicts: 621000 | #Constraints: 93451
1810.30/1832.47 c #Conflicts: 622000 | #Constraints: 94451
1810.30/1832.47 c #Conflicts: 623000 | #Constraints: 95452
1810.30/1832.47 c INPROCESSING
1810.30/1832.47 c GARBAGE COLLECT
1810.30/1832.47 c #Conflicts: 624000 | #Constraints: 80835
1810.30/1832.47 c #Conflicts: 625000 | #Constraints: 81835
1810.30/1832.47 c #Conflicts: 626000 | #Constraints: 82835
1810.30/1832.47 c #Conflicts: 627000 | #Constraints: 83835
1810.30/1832.47 c #Conflicts: 628000 | #Constraints: 84835
1810.30/1832.47 c #Conflicts: 629000 | #Constraints: 85835
1810.30/1832.47 c #Conflicts: 630000 | #Constraints: 86835
1810.30/1832.47 c #Conflicts: 631000 | #Constraints: 87835
1810.30/1832.47 c #Conflicts: 632000 | #Constraints: 88835
1810.30/1832.47 c #Conflicts: 633000 | #Constraints: 89835
1810.30/1832.47 c #Conflicts: 634000 | #Constraints: 90835
1810.30/1832.47 c #Conflicts: 635000 | #Constraints: 91835
1810.30/1832.47 c #Conflicts: 636000 | #Constraints: 92835
1810.30/1832.47 c #Conflicts: 637000 | #Constraints: 93835
1810.30/1832.47 c #Conflicts: 638000 | #Constraints: 94835
1810.30/1832.47 c #Conflicts: 639000 | #Constraints: 95835
1810.30/1832.47 c INPROCESSING
1810.30/1832.47 c GARBAGE COLLECT
1810.30/1832.47 c #Conflicts: 640000 | #Constraints: 81026
1810.30/1832.47 c #Conflicts: 641000 | #Constraints: 82026
1810.30/1832.47 c #Conflicts: 642000 | #Constraints: 83026
1810.30/1832.47 c #Conflicts: 643000 | #Constraints: 84026
1810.30/1832.47 c #Conflicts: 644000 | #Constraints: 85026
1810.30/1832.47 c #Conflicts: 645000 | #Constraints: 86026
1810.30/1832.47 c #Conflicts: 646000 | #Constraints: 87026
1810.30/1832.47 c #Conflicts: 647000 | #Constraints: 88026
1810.30/1832.47 c #Conflicts: 648000 | #Constraints: 89026
1810.30/1832.47 c #Conflicts: 649000 | #Constraints: 90026
1810.30/1832.47 c #Conflicts: 650000 | #Constraints: 91026
1810.30/1832.47 c #Conflicts: 651000 | #Constraints: 92026
1810.30/1832.47 c #Conflicts: 652000 | #Constraints: 93026
1810.30/1832.47 c #Conflicts: 653000 | #Constraints: 94026
1810.30/1832.47 c bounds 79 >= 31 @ 1801.11
1937.34/1959.80 c #Conflicts: 654000 | #Constraints: 95044
1937.34/1959.80 c #Conflicts: 655000 | #Constraints: 96044
1937.34/1959.80 c INPROCESSING
1937.34/1959.80 c GARBAGE COLLECT
1937.34/1959.80 c rational objective 31
2076.24/2099.16 c #Conflicts: 656000 | #Constraints: 81076
2076.24/2099.16 c #Conflicts: 657000 | #Constraints: 82076
2076.24/2099.16 c #Conflicts: 658000 | #Constraints: 83076
2076.24/2099.16 c #Conflicts: 659000 | #Constraints: 84076
2076.24/2099.16 c #Conflicts: 660000 | #Constraints: 85076
2076.24/2099.16 c #Conflicts: 661000 | #Constraints: 86076
2076.24/2099.16 c #Conflicts: 662000 | #Constraints: 87076
2076.24/2099.16 c #Conflicts: 663000 | #Constraints: 88076
2076.24/2099.16 c #Conflicts: 664000 | #Constraints: 89076
2076.24/2099.16 c #Conflicts: 665000 | #Constraints: 90076
2076.24/2099.16 c #Conflicts: 666000 | #Constraints: 91076
2076.24/2099.16 c #Conflicts: 667000 | #Constraints: 92076
2076.24/2099.16 c #Conflicts: 668000 | #Constraints: 93076
2076.24/2099.16 c #Conflicts: 669000 | #Constraints: 94076
2076.24/2099.16 c #Conflicts: 670000 | #Constraints: 95076
2076.24/2099.16 c #Conflicts: 671000 | #Constraints: 96076
2076.24/2099.16 c INPROCESSING
2076.24/2099.16 c GARBAGE COLLECT
2076.24/2099.16 c rational objective 31
2340.48/2367.11 c #Conflicts: 672000 | #Constraints: 80901
2340.48/2367.11 c #Conflicts: 673000 | #Constraints: 81901
2340.48/2367.11 c #Conflicts: 674000 | #Constraints: 82901
2340.48/2367.11 c #Conflicts: 675000 | #Constraints: 83901
2340.48/2367.11 c #Conflicts: 676000 | #Constraints: 84901
2340.48/2367.11 c #Conflicts: 677000 | #Constraints: 85901
2340.48/2367.11 c #Conflicts: 678000 | #Constraints: 86901
2340.48/2367.11 c #Conflicts: 679000 | #Constraints: 87901
2340.48/2367.11 c #Conflicts: 680000 | #Constraints: 88901
2340.48/2367.11 c #Conflicts: 681000 | #Constraints: 89901
2340.48/2367.11 c #Conflicts: 682000 | #Constraints: 90901
2340.48/2367.11 c #Conflicts: 683000 | #Constraints: 91901
2340.48/2367.11 c #Conflicts: 684000 | #Constraints: 92901
2340.48/2367.11 c #Conflicts: 685000 | #Constraints: 93901
2340.48/2367.11 c #Conflicts: 686000 | #Constraints: 94901
2340.48/2367.11 c #Conflicts: 687000 | #Constraints: 95901
2340.48/2367.11 c #Conflicts: 688000 | #Constraints: 96901
2340.48/2367.11 c INPROCESSING
2340.48/2367.11 c GARBAGE COLLECT
2340.48/2367.11 c #Conflicts: 689000 | #Constraints: 81464
2340.48/2367.11 c #Conflicts: 690000 | #Constraints: 82464
2340.48/2367.11 c #Conflicts: 691000 | #Constraints: 83464
2340.48/2367.11 c #Conflicts: 692000 | #Constraints: 84464
2340.48/2367.11 c #Conflicts: 693000 | #Constraints: 85464
2340.48/2367.11 c #Conflicts: 694000 | #Constraints: 86464
2340.48/2367.11 c #Conflicts: 695000 | #Constraints: 87464
2340.48/2367.11 c #Conflicts: 696000 | #Constraints: 88464
2340.48/2367.11 c #Conflicts: 697000 | #Constraints: 89464
2340.48/2367.11 c #Conflicts: 698000 | #Constraints: 90464
2340.48/2367.11 c #Conflicts: 699000 | #Constraints: 91464
2340.48/2367.11 c #Conflicts: 700000 | #Constraints: 92464
2340.48/2367.11 c #Conflicts: 701000 | #Constraints: 93464
2340.48/2367.11 c #Conflicts: 702000 | #Constraints: 94464
2340.48/2367.11 c #Conflicts: 703000 | #Constraints: 95464
2340.48/2367.11 c #Conflicts: 704000 | #Constraints: 96464
2340.48/2367.11 c #Conflicts: 705000 | #Constraints: 97464
2340.48/2367.11 c INPROCESSING
2340.48/2367.11 c GARBAGE COLLECT
2340.48/2367.11 c #Conflicts: 706000 | #Constraints: 81851
2340.48/2367.11 c #Conflicts: 707000 | #Constraints: 82851
2340.48/2367.11 c #Conflicts: 708000 | #Constraints: 83851
2340.48/2367.11 c #Conflicts: 709000 | #Constraints: 84851
2340.48/2367.11 c #Conflicts: 710000 | #Constraints: 85851
2340.48/2367.11 c #Conflicts: 711000 | #Constraints: 86851
2340.48/2367.11 c #Conflicts: 712000 | #Constraints: 87851
2340.48/2367.11 c #Conflicts: 713000 | #Constraints: 88851
2340.48/2367.11 c #Conflicts: 714000 | #Constraints: 89851
2340.48/2367.11 c #Conflicts: 715000 | #Constraints: 90851
2340.48/2367.11 c #Conflicts: 716000 | #Constraints: 91851
2340.48/2367.11 c #Conflicts: 717000 | #Constraints: 92851
2340.48/2367.11 c #Conflicts: 718000 | #Constraints: 93851
2340.48/2367.11 c #Conflicts: 719000 | #Constraints: 94851
2340.48/2367.11 c #Conflicts: 720000 | #Constraints: 95851
2340.48/2367.11 c #Conflicts: 721000 | #Constraints: 96851
2340.48/2367.11 c #Conflicts: 722000 | #Constraints: 97851
2340.48/2367.11 c INPROCESSING
2340.48/2367.11 c GARBAGE COLLECT
2340.48/2367.11 c #Conflicts: 723000 | #Constraints: 82037
2340.48/2367.11 c #Conflicts: 724000 | #Constraints: 83037
2340.48/2367.11 c #Conflicts: 725000 | #Constraints: 84037
2340.48/2367.11 c #Conflicts: 726000 | #Constraints: 85037
2340.48/2367.11 c #Conflicts: 727000 | #Constraints: 86037
2340.48/2367.11 c #Conflicts: 728000 | #Constraints: 87037
2340.48/2367.11 c #Conflicts: 729000 | #Constraints: 88037
2340.48/2367.11 c #Conflicts: 730000 | #Constraints: 89037
2340.48/2367.11 c #Conflicts: 731000 | #Constraints: 90037
2340.48/2367.11 c #Conflicts: 732000 | #Constraints: 91037
2340.48/2367.11 c #Conflicts: 733000 | #Constraints: 92037
2340.48/2367.11 c #Conflicts: 734000 | #Constraints: 93037
2340.48/2367.11 c #Conflicts: 735000 | #Constraints: 94037
2340.48/2367.11 c #Conflicts: 736000 | #Constraints: 95037
2340.48/2367.11 c #Conflicts: 737000 | #Constraints: 96037
2340.48/2367.11 c #Conflicts: 738000 | #Constraints: 97037
2340.48/2367.11 c #Conflicts: 739000 | #Constraints: 98037
2340.48/2367.11 c INPROCESSING
2340.48/2367.11 c GARBAGE COLLECT
2340.48/2367.11 c #Conflicts: 740000 | #Constraints: 82029
2340.48/2367.11 c #Conflicts: 741000 | #Constraints: 83029
2340.48/2367.11 c #Conflicts: 742000 | #Constraints: 84029
2340.48/2367.11 c #Conflicts: 743000 | #Constraints: 85029
2340.48/2367.11 c #Conflicts: 744000 | #Constraints: 86029
2340.48/2367.11 c #Conflicts: 745000 | #Constraints: 87029
2340.48/2367.11 c #Conflicts: 746000 | #Constraints: 88029
2340.48/2367.11 c #Conflicts: 747000 | #Constraints: 89029
2340.48/2367.11 c #Conflicts: 748000 | #Constraints: 90029
2619.56/2647.17 c #Conflicts: 749000 | #Constraints: 91029
2619.56/2647.17 c #Conflicts: 750000 | #Constraints: 92029
2619.56/2647.17 c #Conflicts: 751000 | #Constraints: 93029
2619.56/2647.17 c #Conflicts: 752000 | #Constraints: 94029
2619.56/2647.17 c #Conflicts: 753000 | #Constraints: 95029
2619.56/2647.17 c #Conflicts: 754000 | #Constraints: 96029
2619.56/2647.17 c #Conflicts: 755000 | #Constraints: 97029
2619.56/2647.17 c #Conflicts: 756000 | #Constraints: 98029
2619.56/2647.17 c INPROCESSING
2619.56/2647.17 c GARBAGE COLLECT
2619.56/2647.17 c #Conflicts: 757000 | #Constraints: 81827
2619.56/2647.17 c #Conflicts: 758000 | #Constraints: 82827
2619.56/2647.17 c #Conflicts: 759000 | #Constraints: 83827
2619.56/2647.17 c #Conflicts: 760000 | #Constraints: 84827
2619.56/2647.17 c #Conflicts: 761000 | #Constraints: 85827
2619.56/2647.17 c #Conflicts: 762000 | #Constraints: 86827
2619.56/2647.17 c #Conflicts: 763000 | #Constraints: 87827
2619.56/2647.17 c #Conflicts: 764000 | #Constraints: 88827
2619.56/2647.17 c #Conflicts: 765000 | #Constraints: 89827
2619.56/2647.17 c #Conflicts: 766000 | #Constraints: 90827
2619.56/2647.17 c #Conflicts: 767000 | #Constraints: 91827
2619.56/2647.17 c #Conflicts: 768000 | #Constraints: 92827
2619.56/2647.17 c #Conflicts: 769000 | #Constraints: 93827
2619.56/2647.17 c #Conflicts: 770000 | #Constraints: 94827
2619.56/2647.17 c #Conflicts: 771000 | #Constraints: 95827
2619.56/2647.17 c #Conflicts: 772000 | #Constraints: 96827
2619.56/2647.17 c #Conflicts: 773000 | #Constraints: 97827
2619.56/2647.17 c #Conflicts: 774000 | #Constraints: 98827
2619.56/2647.17 c INPROCESSING
2619.56/2647.17 c GARBAGE COLLECT
2619.56/2647.17 c #Conflicts: 775000 | #Constraints: 82427
2619.56/2647.17 c #Conflicts: 776000 | #Constraints: 83427
2619.56/2647.17 c #Conflicts: 777000 | #Constraints: 84427
2619.56/2647.17 c #Conflicts: 778000 | #Constraints: 85427
2619.56/2647.17 c #Conflicts: 779000 | #Constraints: 86427
2619.56/2647.17 c #Conflicts: 780000 | #Constraints: 87427
2619.56/2647.17 c #Conflicts: 781000 | #Constraints: 88427
2619.56/2647.17 c #Conflicts: 782000 | #Constraints: 89427
2619.56/2647.17 c #Conflicts: 783000 | #Constraints: 90427
2619.56/2647.17 c #Conflicts: 784000 | #Constraints: 91427
2619.56/2647.17 c #Conflicts: 785000 | #Constraints: 92427
2619.56/2647.17 c #Conflicts: 786000 | #Constraints: 93427
2619.56/2647.17 c #Conflicts: 787000 | #Constraints: 94427
2619.56/2647.17 c #Conflicts: 788000 | #Constraints: 95427
2619.56/2647.17 c #Conflicts: 789000 | #Constraints: 96427
2619.56/2647.17 c #Conflicts: 790000 | #Constraints: 97427
2619.56/2647.17 c #Conflicts: 791000 | #Constraints: 98427
2619.56/2647.17 c #Conflicts: 792000 | #Constraints: 99427
2619.56/2647.17 c INPROCESSING
2619.56/2647.17 c GARBAGE COLLECT
2619.56/2647.17 c #Conflicts: 793000 | #Constraints: 82824
2619.56/2647.17 c #Conflicts: 794000 | #Constraints: 83824
2619.56/2647.17 c #Conflicts: 795000 | #Constraints: 84824
2619.56/2647.17 c #Conflicts: 796000 | #Constraints: 85824
2619.56/2647.17 c #Conflicts: 797000 | #Constraints: 86824
2619.56/2647.17 c #Conflicts: 798000 | #Constraints: 87824
2619.56/2647.17 c #Conflicts: 799000 | #Constraints: 88824
2619.56/2647.17 c #Conflicts: 800000 | #Constraints: 89824
2619.56/2647.17 c #Conflicts: 801000 | #Constraints: 90824
2619.56/2647.17 c #Conflicts: 802000 | #Constraints: 91824
2619.56/2647.17 c #Conflicts: 803000 | #Constraints: 92824
2619.56/2647.17 c #Conflicts: 804000 | #Constraints: 93824
2619.56/2647.17 c #Conflicts: 805000 | #Constraints: 94824
2619.56/2647.17 c #Conflicts: 806000 | #Constraints: 95824
2619.56/2647.17 c #Conflicts: 807000 | #Constraints: 96824
2619.56/2647.17 c #Conflicts: 808000 | #Constraints: 97824
2619.56/2647.17 c #Conflicts: 809000 | #Constraints: 98824
2619.56/2647.17 c #Conflicts: 810000 | #Constraints: 99824
2619.56/2647.17 c INPROCESSING
2619.56/2647.17 c GARBAGE COLLECT
2619.56/2647.17 c #Conflicts: 811000 | #Constraints: 83028
2619.56/2647.17 c #Conflicts: 812000 | #Constraints: 84028
2619.56/2647.17 c #Conflicts: 813000 | #Constraints: 85028
2619.56/2647.17 c #Conflicts: 814000 | #Constraints: 86028
2619.56/2647.17 c #Conflicts: 815000 | #Constraints: 87028
2619.56/2647.17 c #Conflicts: 816000 | #Constraints: 88028
2619.56/2647.17 c #Conflicts: 817000 | #Constraints: 89028
2619.56/2647.17 c #Conflicts: 818000 | #Constraints: 90028
2619.56/2647.17 c #Conflicts: 819000 | #Constraints: 91028
2619.56/2647.17 c #Conflicts: 820000 | #Constraints: 92028
2619.56/2647.17 c #Conflicts: 821000 | #Constraints: 93028
2619.56/2647.17 c #Conflicts: 822000 | #Constraints: 94028
2619.56/2647.17 c #Conflicts: 823000 | #Constraints: 95028
2619.56/2647.17 c #Conflicts: 824000 | #Constraints: 96028
2645.17/2672.84 c #Conflicts: 825000 | #Constraints: 97028
2645.17/2672.84 c #Conflicts: 826000 | #Constraints: 98028
2645.17/2672.84 c #Conflicts: 827000 | #Constraints: 99028
2645.17/2672.84 c #Conflicts: 828000 | #Constraints: 100028
2645.17/2672.84 c INPROCESSING
2645.17/2672.84 c GARBAGE COLLECT
2645.17/2672.84 c #Conflicts: 829000 | #Constraints: 83032
2645.17/2672.84 c #Conflicts: 830000 | #Constraints: 84032
2645.17/2672.84 c #Conflicts: 831000 | #Constraints: 85032
2645.17/2672.84 c #Conflicts: 832000 | #Constraints: 86032
2645.17/2672.84 c #Conflicts: 833000 | #Constraints: 87032
2645.17/2672.84 c #Conflicts: 834000 | #Constraints: 88032
2645.17/2672.84 c #Conflicts: 835000 | #Constraints: 89032
2645.17/2672.84 c #Conflicts: 836000 | #Constraints: 90032
2645.17/2672.84 c #Conflicts: 837000 | #Constraints: 91032
2645.17/2672.84 c #Conflicts: 838000 | #Constraints: 92032
2645.17/2672.84 c #Conflicts: 839000 | #Constraints: 93032
2645.17/2672.84 c #Conflicts: 840000 | #Constraints: 94032
2645.17/2672.84 c #Conflicts: 841000 | #Constraints: 95032
2645.17/2672.84 c #Conflicts: 842000 | #Constraints: 96032
2645.17/2672.84 c #Conflicts: 843000 | #Constraints: 97032
2645.17/2672.84 c #Conflicts: 844000 | #Constraints: 98032
2645.17/2672.84 c #Conflicts: 845000 | #Constraints: 99032
2645.17/2672.84 c #Conflicts: 846000 | #Constraints: 100032
2645.17/2672.84 c INPROCESSING
2645.17/2672.84 c GARBAGE COLLECT
2645.17/2672.84 c #Conflicts: 847000 | #Constraints: 82832
2645.17/2672.84 c #Conflicts: 848000 | #Constraints: 83832
2645.17/2672.84 c #Conflicts: 849000 | #Constraints: 84832
2645.17/2672.84 c #Conflicts: 850000 | #Constraints: 85832
2645.17/2672.84 c #Conflicts: 851000 | #Constraints: 86832
2645.17/2672.84 c #Conflicts: 852000 | #Constraints: 87832
2645.17/2672.84 c #Conflicts: 853000 | #Constraints: 88832
2645.17/2672.84 c #Conflicts: 854000 | #Constraints: 89832
2645.17/2672.84 c #Conflicts: 855000 | #Constraints: 90832
2645.17/2672.84 c #Conflicts: 856000 | #Constraints: 91832
2645.17/2672.84 c #Conflicts: 857000 | #Constraints: 92832
2645.17/2672.84 c #Conflicts: 858000 | #Constraints: 93832
2645.17/2672.84 c #Conflicts: 859000 | #Constraints: 94832
2645.17/2672.84 c #Conflicts: 860000 | #Constraints: 95832
2645.17/2672.84 c #Conflicts: 861000 | #Constraints: 96832
2645.17/2672.84 c #Conflicts: 862000 | #Constraints: 97832
2645.17/2672.84 c #Conflicts: 863000 | #Constraints: 98832
2645.17/2672.84 c #Conflicts: 864000 | #Constraints: 99832
2645.17/2672.84 c #Conflicts: 865000 | #Constraints: 100832
2645.17/2672.84 c INPROCESSING
2645.17/2672.84 c GARBAGE COLLECT
2645.17/2672.84 c #Conflicts: 866000 | #Constraints: 83431
2645.17/2672.84 c #Conflicts: 867000 | #Constraints: 84431
2645.17/2672.84 c #Conflicts: 868000 | #Constraints: 85431
2645.17/2672.84 c #Conflicts: 869000 | #Constraints: 86431
2645.17/2672.84 c #Conflicts: 870000 | #Constraints: 87431
2645.17/2672.84 c #Conflicts: 871000 | #Constraints: 88431
2645.17/2672.84 c #Conflicts: 872000 | #Constraints: 89431
2645.17/2672.84 c #Conflicts: 873000 | #Constraints: 90431
2645.17/2672.84 c #Conflicts: 874000 | #Constraints: 91431
2645.17/2672.84 c #Conflicts: 875000 | #Constraints: 92431
2645.17/2672.84 c #Conflicts: 876000 | #Constraints: 93431
2645.17/2672.84 c #Conflicts: 877000 | #Constraints: 94431
2645.17/2672.84 c #Conflicts: 878000 | #Constraints: 95431
2645.17/2672.84 c #Conflicts: 879000 | #Constraints: 96431
2645.17/2672.84 c #Conflicts: 880000 | #Constraints: 97431
2645.17/2672.84 c #Conflicts: 881000 | #Constraints: 98431
2645.17/2672.84 c #Conflicts: 882000 | #Constraints: 99431
2645.17/2672.84 c #Conflicts: 883000 | #Constraints: 100431
2645.17/2672.84 c #Conflicts: 884000 | #Constraints: 101431
2645.17/2672.84 c INPROCESSING
2645.17/2672.84 c GARBAGE COLLECT
2645.17/2672.84 c rational objective 31
2820.01/2848.21 c #Conflicts: 885000 | #Constraints: 83838
2820.01/2848.21 c #Conflicts: 886000 | #Constraints: 84838
2820.01/2848.21 c #Conflicts: 887000 | #Constraints: 85838
2820.01/2848.21 c #Conflicts: 888000 | #Constraints: 86838
2820.01/2848.21 c #Conflicts: 889000 | #Constraints: 87838
2820.01/2848.21 c #Conflicts: 890000 | #Constraints: 88838
2820.01/2848.21 c #Conflicts: 891000 | #Constraints: 89838
2820.01/2848.21 c #Conflicts: 892000 | #Constraints: 90838
2820.01/2848.21 c #Conflicts: 893000 | #Constraints: 91838
2820.01/2848.21 c #Conflicts: 894000 | #Constraints: 92838
2820.01/2848.21 c #Conflicts: 895000 | #Constraints: 93838
2820.01/2848.21 c #Conflicts: 896000 | #Constraints: 94838
2820.01/2848.21 c #Conflicts: 897000 | #Constraints: 95838
2820.01/2848.21 c #Conflicts: 898000 | #Constraints: 96838
2820.01/2848.21 c #Conflicts: 899000 | #Constraints: 97838
2820.01/2848.21 c #Conflicts: 900000 | #Constraints: 98838
2820.01/2848.21 c #Conflicts: 901000 | #Constraints: 99838
2820.01/2848.21 c #Conflicts: 902000 | #Constraints: 100838
2820.01/2848.21 c #Conflicts: 903000 | #Constraints: 101838
2820.01/2848.21 c INPROCESSING
2820.01/2848.21 c GARBAGE COLLECT
2820.01/2848.21 c rational objective 31
2915.99/2944.52 c #Conflicts: 904000 | #Constraints: 84048
2915.99/2944.52 c #Conflicts: 905000 | #Constraints: 85048
2915.99/2944.52 c #Conflicts: 906000 | #Constraints: 86048
2915.99/2944.52 c #Conflicts: 907000 | #Constraints: 87048
2915.99/2944.52 c #Conflicts: 908000 | #Constraints: 88048
2915.99/2944.52 c #Conflicts: 909000 | #Constraints: 89048
2915.99/2944.52 c #Conflicts: 910000 | #Constraints: 90048
2915.99/2944.52 c #Conflicts: 911000 | #Constraints: 91048
2915.99/2944.52 c #Conflicts: 912000 | #Constraints: 92048
2915.99/2944.52 c #Conflicts: 913000 | #Constraints: 93048
2915.99/2944.52 c #Conflicts: 914000 | #Constraints: 94048
2915.99/2944.52 c #Conflicts: 915000 | #Constraints: 95048
2915.99/2944.52 c #Conflicts: 916000 | #Constraints: 96048
2915.99/2944.52 c #Conflicts: 917000 | #Constraints: 97048
2915.99/2944.52 c #Conflicts: 918000 | #Constraints: 98048
2915.99/2944.52 c #Conflicts: 919000 | #Constraints: 99048
2915.99/2944.52 c #Conflicts: 920000 | #Constraints: 100048
2915.99/2944.52 c #Conflicts: 921000 | #Constraints: 101048
2915.99/2944.52 c #Conflicts: 922000 | #Constraints: 102048
2915.99/2944.52 c INPROCESSING
2915.99/2944.52 c GARBAGE COLLECT
2915.99/2944.52 c #Conflicts: 923000 | #Constraints: 84042
2915.99/2944.52 c #Conflicts: 924000 | #Constraints: 85042
2915.99/2944.52 c #Conflicts: 925000 | #Constraints: 86042
2915.99/2944.52 c #Conflicts: 926000 | #Constraints: 87042
2915.99/2944.52 c #Conflicts: 927000 | #Constraints: 88042
2915.99/2944.52 c #Conflicts: 928000 | #Constraints: 89042
2915.99/2944.52 c #Conflicts: 929000 | #Constraints: 90042
2915.99/2944.52 c #Conflicts: 930000 | #Constraints: 91042
2915.99/2944.52 c #Conflicts: 931000 | #Constraints: 92042
2915.99/2944.52 c #Conflicts: 932000 | #Constraints: 93042
2915.99/2944.52 c #Conflicts: 933000 | #Constraints: 94042
2915.99/2944.52 c #Conflicts: 934000 | #Constraints: 95042
2915.99/2944.52 c #Conflicts: 935000 | #Constraints: 96042
2915.99/2944.52 c #Conflicts: 936000 | #Constraints: 97042
2915.99/2944.52 c #Conflicts: 937000 | #Constraints: 98042
2915.99/2944.52 c #Conflicts: 938000 | #Constraints: 99042
2915.99/2944.52 c #Conflicts: 939000 | #Constraints: 100042
2915.99/2944.52 c #Conflicts: 940000 | #Constraints: 101042
2915.99/2944.52 c #Conflicts: 941000 | #Constraints: 102042
2915.99/2944.52 c INPROCESSING
2915.99/2944.52 c GARBAGE COLLECT
2915.99/2944.52 c #Conflicts: 942000 | #Constraints: 83838
2915.99/2944.52 c #Conflicts: 943000 | #Constraints: 84838
2915.99/2944.52 c #Conflicts: 944000 | #Constraints: 85838
2915.99/2944.52 c #Conflicts: 945000 | #Constraints: 86838
2915.99/2944.52 c #Conflicts: 946000 | #Constraints: 87838
2915.99/2944.52 c #Conflicts: 947000 | #Constraints: 88838
2915.99/2944.52 c #Conflicts: 948000 | #Constraints: 89838
2915.99/2944.52 c #Conflicts: 949000 | #Constraints: 90838
2915.99/2944.52 c #Conflicts: 950000 | #Constraints: 91838
2915.99/2944.52 c #Conflicts: 951000 | #Constraints: 92838
2915.99/2944.52 c #Conflicts: 952000 | #Constraints: 93838
2915.99/2944.52 c #Conflicts: 953000 | #Constraints: 94838
2915.99/2944.52 c #Conflicts: 954000 | #Constraints: 95838
2915.99/2944.52 c #Conflicts: 955000 | #Constraints: 96838
2915.99/2944.52 c #Conflicts: 956000 | #Constraints: 97838
2915.99/2944.52 c #Conflicts: 957000 | #Constraints: 98838
2915.99/2944.52 c #Conflicts: 958000 | #Constraints: 99838
2915.99/2944.52 c #Conflicts: 959000 | #Constraints: 100838
2915.99/2944.52 c #Conflicts: 960000 | #Constraints: 101838
2915.99/2944.52 c #Conflicts: 961000 | #Constraints: 102838
2915.99/2944.52 c INPROCESSING
2915.99/2944.52 c GARBAGE COLLECT
2915.99/2944.52 c rational objective 31
2990.06/3018.88 c #Conflicts: 962000 | #Constraints: 84489
2990.06/3018.88 c #Conflicts: 963000 | #Constraints: 85489
2990.06/3018.88 c #Conflicts: 964000 | #Constraints: 86489
2990.06/3018.88 c #Conflicts: 965000 | #Constraints: 87489
2990.06/3018.88 c #Conflicts: 966000 | #Constraints: 88489
2990.06/3018.88 c #Conflicts: 967000 | #Constraints: 89489
2990.06/3018.88 c #Conflicts: 968000 | #Constraints: 90489
2990.06/3018.88 c #Conflicts: 969000 | #Constraints: 91489
2990.06/3018.88 c #Conflicts: 970000 | #Constraints: 92489
2990.06/3018.88 c #Conflicts: 971000 | #Constraints: 93489
2990.06/3018.88 c #Conflicts: 972000 | #Constraints: 94489
2990.06/3018.88 c #Conflicts: 973000 | #Constraints: 95489
2990.06/3018.88 c #Conflicts: 974000 | #Constraints: 96489
2990.06/3018.88 c #Conflicts: 975000 | #Constraints: 97489
2990.06/3018.88 c #Conflicts: 976000 | #Constraints: 98489
2990.06/3018.88 c #Conflicts: 977000 | #Constraints: 99489
2990.06/3018.88 c #Conflicts: 978000 | #Constraints: 100489
2990.06/3018.88 c #Conflicts: 979000 | #Constraints: 101489
2990.06/3018.88 c #Conflicts: 980000 | #Constraints: 102489
2990.06/3018.88 c #Conflicts: 981000 | #Constraints: 103489
2990.06/3018.88 c INPROCESSING
2990.06/3018.88 c GARBAGE COLLECT
2990.06/3018.88 c rational objective 31
3120.23/3149.42 c #Conflicts: 982000 | #Constraints: 84903
3120.23/3149.42 c #Conflicts: 983000 | #Constraints: 85903
3120.23/3149.42 c #Conflicts: 984000 | #Constraints: 86903
3120.23/3149.42 c #Conflicts: 985000 | #Constraints: 87903
3120.23/3149.42 c #Conflicts: 986000 | #Constraints: 88903
3120.23/3149.42 c #Conflicts: 987000 | #Constraints: 89903
3120.23/3149.42 c #Conflicts: 988000 | #Constraints: 90903
3120.23/3149.42 c #Conflicts: 989000 | #Constraints: 91903
3120.23/3149.42 c #Conflicts: 990000 | #Constraints: 92903
3120.23/3149.42 c #Conflicts: 991000 | #Constraints: 93903
3120.23/3149.42 c #Conflicts: 992000 | #Constraints: 94903
3120.23/3149.42 c #Conflicts: 993000 | #Constraints: 95903
3120.23/3149.42 c #Conflicts: 994000 | #Constraints: 96903
3120.23/3149.42 c #Conflicts: 995000 | #Constraints: 97903
3120.23/3149.42 c #Conflicts: 996000 | #Constraints: 98903
3120.23/3149.42 c #Conflicts: 997000 | #Constraints: 99903
3120.23/3149.42 c #Conflicts: 998000 | #Constraints: 100903
3120.23/3149.42 c #Conflicts: 999000 | #Constraints: 101903
3120.23/3149.42 c #Conflicts: 1000000 | #Constraints: 102903
3120.23/3149.42 c #Conflicts: 1001000 | #Constraints: 103903
3120.23/3149.42 c INPROCESSING
3120.23/3149.42 c GARBAGE COLLECT
3120.23/3149.42 c rational objective 31
3244.14/3273.70 c #Conflicts: 1002000 | #Constraints: 85083
3244.14/3273.70 c #Conflicts: 1003000 | #Constraints: 86083
3244.14/3273.70 c #Conflicts: 1004000 | #Constraints: 87083
3244.14/3273.70 c #Conflicts: 1005000 | #Constraints: 88083
3244.14/3273.70 c #Conflicts: 1006000 | #Constraints: 89083
3244.14/3273.70 c #Conflicts: 1007000 | #Constraints: 90083
3244.14/3273.70 c #Conflicts: 1008000 | #Constraints: 91083
3244.14/3273.70 c #Conflicts: 1009000 | #Constraints: 92083
3244.14/3273.70 c #Conflicts: 1010000 | #Constraints: 93083
3244.14/3273.70 c #Conflicts: 1011000 | #Constraints: 94083
3244.14/3273.70 c #Conflicts: 1012000 | #Constraints: 95083
3244.14/3273.70 c #Conflicts: 1013000 | #Constraints: 96083
3244.14/3273.70 c #Conflicts: 1014000 | #Constraints: 97083
3244.14/3273.70 c #Conflicts: 1015000 | #Constraints: 98083
3244.14/3273.70 c #Conflicts: 1016000 | #Constraints: 99083
3244.14/3273.70 c #Conflicts: 1017000 | #Constraints: 100083
3244.14/3273.70 c #Conflicts: 1018000 | #Constraints: 101083
3244.14/3273.70 c #Conflicts: 1019000 | #Constraints: 102083
3244.14/3273.70 c #Conflicts: 1020000 | #Constraints: 103083
3244.14/3273.70 c #Conflicts: 1021000 | #Constraints: 104083
3244.14/3273.70 c INPROCESSING
3244.14/3273.70 c GARBAGE COLLECT
3244.14/3273.70 c rational objective 31
3346.43/3376.35 c #Conflicts: 1022000 | #Constraints: 85113
3346.43/3376.35 c #Conflicts: 1023000 | #Constraints: 86113
3346.43/3376.35 c #Conflicts: 1024000 | #Constraints: 87113
3346.43/3376.35 c #Conflicts: 1025000 | #Constraints: 88113
3346.43/3376.35 c #Conflicts: 1026000 | #Constraints: 89113
3346.43/3376.35 c #Conflicts: 1027000 | #Constraints: 90113
3346.43/3376.35 c #Conflicts: 1028000 | #Constraints: 91113
3346.43/3376.35 c #Conflicts: 1029000 | #Constraints: 92113
3346.43/3376.35 c #Conflicts: 1030000 | #Constraints: 93113
3346.43/3376.35 c #Conflicts: 1031000 | #Constraints: 94113
3346.43/3376.35 c #Conflicts: 1032000 | #Constraints: 95113
3346.43/3376.35 c #Conflicts: 1033000 | #Constraints: 96113
3346.43/3376.35 c #Conflicts: 1034000 | #Constraints: 97113
3346.43/3376.35 c #Conflicts: 1035000 | #Constraints: 98113
3346.43/3376.35 c #Conflicts: 1036000 | #Constraints: 99113
3346.43/3376.35 c #Conflicts: 1037000 | #Constraints: 100113
3346.43/3376.35 c #Conflicts: 1038000 | #Constraints: 101113
3346.43/3376.35 c #Conflicts: 1039000 | #Constraints: 102113
3346.43/3376.35 c #Conflicts: 1040000 | #Constraints: 103113
3346.43/3376.35 c #Conflicts: 1041000 | #Constraints: 104113
3346.43/3376.35 c INPROCESSING
3346.43/3376.35 c GARBAGE COLLECT
3346.43/3376.35 c #Conflicts: 1042000 | #Constraints: 84870
3346.43/3376.35 c #Conflicts: 1043000 | #Constraints: 85870
3346.43/3376.35 c #Conflicts: 1044000 | #Constraints: 86870
3346.43/3376.35 c #Conflicts: 1045000 | #Constraints: 87870
3346.43/3376.35 c #Conflicts: 1046000 | #Constraints: 88870
3346.43/3376.35 c #Conflicts: 1047000 | #Constraints: 89870
3346.43/3376.35 c #Conflicts: 1048000 | #Constraints: 90870
3346.43/3376.35 c #Conflicts: 1049000 | #Constraints: 91870
3346.43/3376.35 c #Conflicts: 1050000 | #Constraints: 92870
3346.43/3376.35 c #Conflicts: 1051000 | #Constraints: 93870
3346.43/3376.35 c #Conflicts: 1052000 | #Constraints: 94870
3346.43/3376.35 c #Conflicts: 1053000 | #Constraints: 95870
3346.43/3376.35 c #Conflicts: 1054000 | #Constraints: 96870
3346.43/3376.35 c #Conflicts: 1055000 | #Constraints: 97870
3346.43/3376.35 c #Conflicts: 1056000 | #Constraints: 98870
3346.43/3376.35 c #Conflicts: 1057000 | #Constraints: 99870
3346.43/3376.35 c #Conflicts: 1058000 | #Constraints: 100870
3346.43/3376.35 c #Conflicts: 1059000 | #Constraints: 101870
3346.43/3376.35 c #Conflicts: 1060000 | #Constraints: 102870
3346.43/3376.35 c #Conflicts: 1061000 | #Constraints: 103870
3346.43/3376.35 c #Conflicts: 1062000 | #Constraints: 104870
3346.43/3376.35 c INPROCESSING
3346.43/3376.35 c GARBAGE COLLECT
3346.43/3376.35 c #Conflicts: 1063000 | #Constraints: 85453
3346.43/3376.35 c #Conflicts: 1064000 | #Constraints: 86453
3346.43/3376.35 c #Conflicts: 1065000 | #Constraints: 87453
3346.43/3376.35 c #Conflicts: 1066000 | #Constraints: 88453
3346.43/3376.35 c #Conflicts: 1067000 | #Constraints: 89453
3346.43/3376.35 c #Conflicts: 1068000 | #Constraints: 90453
3346.43/3376.35 c #Conflicts: 1069000 | #Constraints: 91453
3346.43/3376.35 c #Conflicts: 1070000 | #Constraints: 92453
3346.43/3376.35 c #Conflicts: 1071000 | #Constraints: 93453
3346.43/3376.35 c #Conflicts: 1072000 | #Constraints: 94453
3346.43/3376.35 c #Conflicts: 1073000 | #Constraints: 95453
3346.43/3376.35 c #Conflicts: 1074000 | #Constraints: 96453
3346.43/3376.35 c #Conflicts: 1075000 | #Constraints: 97453
3346.43/3376.35 c #Conflicts: 1076000 | #Constraints: 98453
3346.43/3376.35 c #Conflicts: 1077000 | #Constraints: 99453
3346.43/3376.35 c #Conflicts: 1078000 | #Constraints: 100453
3346.43/3376.35 c #Conflicts: 1079000 | #Constraints: 101453
3346.43/3376.35 c #Conflicts: 1080000 | #Constraints: 102453
3346.43/3376.35 c #Conflicts: 1081000 | #Constraints: 103453
3346.43/3376.35 c #Conflicts: 1082000 | #Constraints: 104453
3346.43/3376.35 c #Conflicts: 1083000 | #Constraints: 105453
3346.43/3376.35 c INPROCESSING
3346.43/3376.35 c GARBAGE COLLECT
3346.43/3376.35 c rational objective 31
3513.19/3543.50 c #Conflicts: 1084000 | #Constraints: 85843
3513.19/3543.50 c #Conflicts: 1085000 | #Constraints: 86843
3513.19/3543.50 c #Conflicts: 1086000 | #Constraints: 87843
3513.19/3543.50 c #Conflicts: 1087000 | #Constraints: 88843
3513.19/3543.50 c #Conflicts: 1088000 | #Constraints: 89843
3513.19/3543.50 c #Conflicts: 1089000 | #Constraints: 90843
3513.19/3543.50 c #Conflicts: 1090000 | #Constraints: 91843
3513.19/3543.50 c #Conflicts: 1091000 | #Constraints: 92843
3513.19/3543.50 c #Conflicts: 1092000 | #Constraints: 93843
3513.19/3543.50 c #Conflicts: 1093000 | #Constraints: 94843
3513.19/3543.50 c #Conflicts: 1094000 | #Constraints: 95843
3513.19/3543.50 c #Conflicts: 1095000 | #Constraints: 96843
3513.19/3543.50 c #Conflicts: 1096000 | #Constraints: 97843
3513.19/3543.50 c #Conflicts: 1097000 | #Constraints: 98843
3513.19/3543.50 c #Conflicts: 1098000 | #Constraints: 99843
3513.19/3543.50 c #Conflicts: 1099000 | #Constraints: 100843
3513.19/3543.50 c #Conflicts: 1100000 | #Constraints: 101843
3513.19/3543.50 c #Conflicts: 1101000 | #Constraints: 102843
3513.19/3543.50 c #Conflicts: 1102000 | #Constraints: 103843
3513.19/3543.50 c #Conflicts: 1103000 | #Constraints: 104843
3513.19/3543.50 c #Conflicts: 1104000 | #Constraints: 105843
3513.19/3543.50 c INPROCESSING
3513.19/3543.50 c GARBAGE COLLECT
3513.19/3543.50 c rational objective 31
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (390 MiB free)
memory of node 1: 64465 MiB (51208 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532085-1752593954/watcher-4532085-1752593954 -o /tmp/evaluation-result-4532085-1752593954/solver-4532085-1752593954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752584602-134600 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532085-1752593954.opb PROOFDIR/proof-4532085-1752593954
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=136202, runsolver pid=136199
[startup+0.10006 s]*
/proc/loadavg: 4.19 4.21 4.50 2/266 136204
/proc/meminfo: memFree=52832968/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=19424 memory=12032 CPUtime=0.01 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4456448 2353 0 0 0 1 0 0 0 20 0 1 0 175072924 19890176 3008 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 4856 3008 992 108 0 2264 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23616 KiB
Current children cumulated memory: 14976 KiB
[startup+0.205531 s]*
/proc/loadavg: 4.19 4.21 4.50 2/266 136204
/proc/meminfo: memFree=52833204/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=19424 memory=12032 CPUtime=0.01 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4456448 2353 0 0 0 1 0 0 0 20 0 1 0 175072924 19890176 3008 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 4856 3008 992 108 0 2264 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23616 KiB
Current children cumulated memory: 14976 KiB
[startup+0.304523 s]*
/proc/loadavg: 4.19 4.21 4.50 2/266 136204
/proc/meminfo: memFree=52833616/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=19424 memory=12032 CPUtime=0.01 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4456448 2353 0 0 0 1 0 0 0 20 0 1 0 175072924 19890176 3008 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 4856 3008 992 108 0 2264 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23616 KiB
Current children cumulated memory: 14976 KiB
[startup+0.700126 s]
/proc/loadavg: 4.19 4.21 4.50 2/266 136204
/proc/meminfo: memFree=52832220/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=19424 memory=12032 CPUtime=0.01 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4456448 2353 0 0 0 1 0 0 0 20 0 1 0 175072924 19890176 3008 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 4856 3008 992 108 0 2264 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23616 KiB
Current children cumulated memory: 14976 KiB
[startup+1.50013 s]
/proc/loadavg: 4.18 4.20 4.50 2/266 136204
/proc/meminfo: memFree=52832832/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=19424 memory=12032 CPUtime=0.01 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4456448 2353 0 0 0 1 0 0 0 20 0 1 0 175072924 19890176 3008 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 4856 3008 992 108 0 2264 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23616 KiB
Current children cumulated memory: 14976 KiB
[startup+3.10532 s]
/proc/loadavg: 4.18 4.20 4.50 2/266 136204
/proc/meminfo: memFree=52667676/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=40944 memory=29540 CPUtime=0.55 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4194304 11452 0 0 0 46 9 0 0 20 0 1 0 175072924 41926656 7385 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 10236 7385 1024 108 0 7644 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 45136 KiB
Current children cumulated memory: 32484 KiB
heavy processes:
[startup+6.30014 s]
/proc/loadavg: 4.16 4.20 4.50 2/266 136204
/proc/meminfo: memFree=52662568/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=40944 memory=29540 CPUtime=0.55 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4194304 11452 0 0 0 46 9 0 0 20 0 1 0 175072924 41926656 7385 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 7 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 10236 7385 1024 108 0 7644 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 45136 KiB
Current children cumulated memory: 32484 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 4.15 4.20 4.50 2/266 136204
/proc/meminfo: memFree=52650708/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175072923 4292608 736 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 736 672 219 0 110 0
[pid=136204] ppid=136202 vsize=40944 memory=29540 CPUtime=0.55 cores=5,7
/proc/136204/stat : 136204 (pbsuma) D 136202 136202 134587 0 -1 4194304 11452 0 0 0 46 9 0 0 20 0 1 0 175072924 41926656 7385 18446744073709551615 4210688 4653049 140730374154624 0 0 0 0 0 0 1 0 0 17 7 0 0 0 0 0 4700520 4703148 34177024 140730374158561 140730374158896 140730374158896 140730374164463 0
/proc/136204/statm: 10236 7385 1024 108 0 7644 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 45136 KiB
Current children cumulated memory: 32484 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.13 4.19 4.49 3/266 136205
/proc/meminfo: memFree=52599600/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=172420 memory=126408 CPUtime=8.08 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 20968 0 0 0 786 22 0 0 20 0 1 0 175074594 176558080 31602 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 43105 31602 2400 1147 0 30531 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 176612 KiB
Current children cumulated memory: 129480 KiB
heavy processes:
[startup+51.1056 s]
/proc/loadavg: 4.13 4.18 4.48 3/266 136206
/proc/meminfo: memFree=52586744/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=178492 memory=129992 CPUtime=33.61 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 21888 0 0 0 3330 31 0 0 20 0 1 0 175074594 182775808 32498 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 44623 32498 2400 1147 0 32049 0
Current children cumulated CPU time: 34.17 s
Current children cumulated vsize: 182684 KiB
Current children cumulated memory: 133064 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.46 3/264 136210
/proc/meminfo: memFree=52470596/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=198596 memory=146640 CPUtime=84.66 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 25533 0 0 0 8402 64 0 0 20 0 1 0 175074594 203362304 36660 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 49649 36660 2400 1147 0 37075 0
Current children cumulated CPU time: 85.22 s
Current children cumulated vsize: 202788 KiB
Current children cumulated memory: 149712 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.16 4.43 3/265 136218
/proc/meminfo: memFree=52408056/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=198596 memory=146640 CPUtime=144.48 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 25552 0 0 0 14361 87 0 0 20 0 1 0 175074594 203362304 36660 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 49649 36660 2400 1147 0 37075 0
Current children cumulated CPU time: 145.04 s
Current children cumulated vsize: 202788 KiB
Current children cumulated memory: 149712 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.41 3/264 136220
/proc/meminfo: memFree=52372276/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
################
# More data... #
################
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=248908 memory=202488 CPUtime=3192.34 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34033 0 0 0 317869 1365 0 0 20 0 1 0 175074594 254881792 50622 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62227 50622 2400 1147 0 49653 0
Current children cumulated CPU time: 3192.9 s
Current children cumulated vsize: 253100 KiB
Current children cumulated memory: 205560 KiB
[startup+3282.3 s]
/proc/loadavg: 2.53 3.10 3.68 3/258 136613
/proc/meminfo: memFree=119015264/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=248908 memory=202488 CPUtime=3252.15 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34080 0 0 0 323832 1383 0 0 20 0 1 0 175074594 254881792 50622 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62227 50622 2400 1147 0 49653 0
Current children cumulated CPU time: 3252.71 s
Current children cumulated vsize: 253100 KiB
Current children cumulated memory: 205560 KiB
[startup+3342.3 s]
/proc/loadavg: 2.23 2.91 3.58 3/257 136615
/proc/meminfo: memFree=119010032/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=248908 memory=202488 CPUtime=3311.97 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34091 0 0 0 329796 1401 0 0 20 0 1 0 175074594 254881792 50622 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62227 50622 2400 1147 0 49653 0
Current children cumulated CPU time: 3312.53 s
Current children cumulated vsize: 253100 KiB
Current children cumulated memory: 205560 KiB
[startup+3402.3 s]
/proc/loadavg: 2.18 2.77 3.49 3/256 136617
/proc/meminfo: memFree=118980972/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=248908 memory=202488 CPUtime=3371.78 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34106 0 0 0 335737 1441 0 0 20 0 1 0 175074594 254881792 50622 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62227 50622 2400 1147 0 49653 0
Current children cumulated CPU time: 3372.34 s
Current children cumulated vsize: 253100 KiB
Current children cumulated memory: 205560 KiB
[startup+3462.3 s]
/proc/loadavg: 1.58 2.50 3.35 2/249 136651
/proc/meminfo: memFree=119966528/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=248908 memory=202488 CPUtime=3431.62 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34107 0 0 0 341703 1459 0 0 20 0 1 0 175074594 254881792 50622 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62227 50622 2400 1147 0 49653 0
Current children cumulated CPU time: 3432.18 s
Current children cumulated vsize: 253100 KiB
Current children cumulated memory: 205560 KiB
[startup+3522.3 s]
/proc/loadavg: 1.32 2.26 3.21 2/248 136653
/proc/meminfo: memFree=119965700/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=248908 memory=202488 CPUtime=3491.48 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34107 0 0 0 347677 1471 0 0 20 0 1 0 175074594 254881792 50622 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62227 50622 2400 1147 0 49653 0
Current children cumulated CPU time: 3492.04 s
Current children cumulated vsize: 253100 KiB
Current children cumulated memory: 205560 KiB
[startup+3582.3 s]
/proc/loadavg: 1.17 2.04 3.07 2/248 136655
/proc/meminfo: memFree=119964224/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=248908 memory=202488 CPUtime=3551.33 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34107 0 0 0 353636 1497 0 0 20 0 1 0 175074594 254881792 50622 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62227 50622 2400 1147 0 49653 0
Current children cumulated CPU time: 3551.89 s
Current children cumulated vsize: 253100 KiB
Current children cumulated memory: 205560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3630.6 s]
/proc/loadavg: 1.14 1.91 2.98 2/248 136657
/proc/meminfo: memFree=119960196/131250000 swapFree=33008356/33010684
[pid=136202] ppid=136199 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/136202/stat : 136202 (run-opt-ls-log.) S 136199 136202 134587 0 -1 4194304 243 11455 0 0 0 0 46 10 20 0 1 0 175072923 4292608 768 18446744073709551615 94690895659008 94690896553541 140730545882720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94690896792592 94690896840336 94690929451008 140730545891609 140730545891807 140730545891807 140730545897411 0
/proc/136202/statm: 1048 768 704 219 0 110 0
[pid=136205] ppid=136202 vsize=250108 memory=203640 CPUtime=3599.52 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136202 136202 134587 0 -1 4194304 34407 0 0 0 358440 1512 0 0 20 0 1 0 175074594 256110592 50910 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62527 50910 2400 1147 0 49953 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 254300 KiB
Current children cumulated memory: 206712 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3630.6 s]
# the end of solver process 136202 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.468666 s, system=0.10981 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3632.6 s]
# the end of solver process 136205 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.86 s, system=15.2442 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+3632 s]*
/proc/loadavg: 1.13 1.89 2.97 2/247 136657
/proc/meminfo: memFree=119959944/131250000 swapFree=33008356/33010684
[pid=136205] ppid=136199 vsize=250108 memory=203640 CPUtime=3600.93 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136199 136202 134587 0 -1 4194304 34407 0 0 0 358580 1513 0 0 20 0 1 0 175074594 256110592 50910 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62527 50910 2400 1147 0 49953 0
Current cumulated CPU time of completed processes: 0.578476 s
Current children cumulated CPU time: 3600.93 s
Current children cumulated vsize: 250108 KiB
Current children cumulated memory: 203640 KiB
[startup+3632.4 s]
/proc/loadavg: 1.13 1.89 2.97 2/247 136657
/proc/meminfo: memFree=119959944/131250000 swapFree=33008356/33010684
[pid=136205] ppid=136199 vsize=250108 memory=203640 CPUtime=3601.32 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136199 136202 134587 0 -1 4194304 34407 0 0 0 358619 1513 0 0 20 0 1 0 175074594 256110592 50910 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62527 50910 2400 1147 0 49953 0
Current cumulated CPU time of completed processes: 0.578476 s
Current children cumulated CPU time: 3601.32 s
Current children cumulated vsize: 250108 KiB
Current children cumulated memory: 203640 KiB
[startup+3632.6 s]
/proc/loadavg: 1.13 1.89 2.97 2/247 136657
/proc/meminfo: memFree=119959944/131250000 swapFree=33008356/33010684
[pid=136205] ppid=136199 vsize=250108 memory=203640 CPUtime=3601.52 cores=5,7
/proc/136205/stat : 136205 (roundingsat) R 136199 136202 134587 0 -1 4194304 34407 0 0 0 358639 1513 0 0 20 0 1 0 175074594 256110592 50910 18446744073709551615 4227072 8923577 140721605734848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11694080 140721605740788 140721605741094 140721605741094 140721605746666 0
/proc/136205/statm: 62527 50910 2400 1147 0 49953 0
Current cumulated CPU time of completed processes: 0.578476 s
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 250108 KiB
Current children cumulated memory: 203640 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3632.6
CPU time (s): 3602.11
CPU user time (s): 3586.86
CPU system time (s): 15.2442
CPU usage (%): 99.1605
Max. virtual memory (cumulated for all children) (KiB): 254300
Max. memory (cumulated for all children) (KiB): 206712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.86
system time used= 15.2442
maximum resident set size= 203640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 981752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5261
involuntary context switches= 4262
# summary of solver processes directly reported to runsolver:
# pid: 136202,136205
# total CPU time (s): 3602.11
# total CPU user time (s): 3586.86
# total CPU system time (s): 15.2442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40511 second user time and 16.8768 second system time
The end
Begin job on nodeC019 at 2025-07-15 17:39:14
IDJOB=4532085
IDBENCH=158392
IDSOLVER=3392
FILE ID=nodeC019/4532085-1752593954
RUNJOBID= nodeC019-1752584602-134600
SLURM_JOB_ID= 9684349
Free space on /tmp= 432476 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532085-1752593954/watcher-4532085-1752593954 -o /tmp/evaluation-result-4532085-1752593954/solver-4532085-1752593954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752584602-134600 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532085-1752593954.opb PROOFDIR/proof-4532085-1752593954
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f8efbeb69f885a3b6f9ae87862f80cd
RANDOM SEED=374064093
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.950
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.620
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.832
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.479
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.740
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1957.614
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.654
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 52838816 kB
MemAvailable: 101421256 kB
Buffers: 904 kB
Cached: 49335916 kB
SwapCached: 432 kB
Active: 28001460 kB
Inactive: 48661920 kB
Active(anon): 27325044 kB
Inactive(anon): 27004 kB
Active(file): 676416 kB
Inactive(file): 48634916 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 144348 kB
Writeback: 25407560 kB
AnonPages: 27328636 kB
Mapped: 117184 kB
Shmem: 25416 kB
KReclaimable: 220692 kB
Slab: 1326748 kB
SReclaimable: 220692 kB
SUnreclaim: 1106056 kB
KernelStack: 4256 kB
PageTables: 60636 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 29845180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7880704 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC019 at 2025-07-15 18:39:47