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-4532646-1752596851.opb'
0.00/0.03 c read 1.11MB (17.01ms)
0.00/0.03 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.05 c output proof to 'PROOFDIR/proof-4532646-1752596851'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 2664] (19.49ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.08 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.09 c probe for row symmetry (limit=64, splits=16.78M)
0.05/0.12 c found row 11x666, generating row predicate
0.05/0.13 c (53.47ms)
0.05/0.13 c
0.05/0.13 c detect symmetries on remainder
0.05/0.13 c [graph: #vertices 80207 #edges 285984]
0.05/0.13 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.05/0.22 c [group: #symmetries 1.24*10^7 #generators 13] (92.13ms)
0.05/0.22 c
0.05/0.22 c optimize generators (opt_passes=64, conjugate_limit=256)
0.05/0.22 c ran it=0, +gens=2
0.48/0.59 c con best_support=1332, best_gens=13, +gens=224
0.48/0.59 c (370.31ms)
0.48/0.59 c
0.48/0.59 c finalize break order and special generators
0.48/0.59 c
0.48/0.59 c add generic predicates (break_depth=20)
0.48/0.60 c added predicates for 239 generators (5.20ms)
1.06/1.15 c
1.06/1.15 c generation finished
1.06/1.15 c [sbp: #constraints 33822 #add_vars 11191]
1.06/1.15 c
1.06/1.15 c write result to 'HOME/instance-4532646-1752596851.opb.pre'
1.06/1.16 c wrote 2.40MB (7.79ms)
1.06/1.16 c ------------------------------------------------------------------
1.06/1.16 c 579.69ms 50.44% other
1.06/1.16 c 370.31ms 32.22% optimize_gens
1.06/1.16 c 92.13ms 8.02% detect_generic
1.06/1.16 c 53.47ms 4.65% detect_special
1.06/1.16 c 19.49ms 1.70% approx_orbits
1.06/1.16 c 17.00ms 1.48% parse
1.06/1.16 c 7.79ms 0.68% output
1.06/1.16 c 5.20ms 0.45% break_generic
1.06/1.16 c 4.11ms 0.36% finalize_order
1.06/1.16 c ───────────────────────────────────────────────
1.06/1.16 c 1149.21ms 100% total
1.06/1.16 c ------------------------------------------------------------------
1.13/9.20 c RoundingSat 2
1.13/9.20 c branch pb25
1.13/9.20 c commit 0f876b3
2.01/12.35 c #variables 20515 #constraints 62482
2.01/12.35 c objective is ce32
2.01/12.35 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
2.01/12.35 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.01/12.35 c bounds - >= 0 @ 0.7809
8.30/18.69 c #Conflicts: 1000 | #Constraints: 63481
8.30/18.69 c #Conflicts: 2000 | #Constraints: 64481
8.30/18.69 c INPROCESSING
8.30/18.69 c bounds - >= 10 @ 6.98789
8.40/18.70 c bounds - >= 20 @ 6.99974
8.49/18.85 c #Conflicts: 3000 | #Constraints: 64532
8.49/18.85 c bounds - >= 30 @ 7.14815
23.66/34.08 c #Conflicts: 4000 | #Constraints: 65541
23.66/34.08 c INPROCESSING
23.66/34.08 c GARBAGE COLLECT
23.66/34.08 c #Conflicts: 5000 | #Constraints: 64954
23.66/34.08 c #Conflicts: 6000 | #Constraints: 65954
23.66/34.08 c INPROCESSING
23.66/34.08 c #Conflicts: 7000 | #Constraints: 64957
23.66/34.08 c #Conflicts: 8000 | #Constraints: 65957
23.66/34.08 c #Conflicts: 9000 | #Constraints: 66957
23.66/34.08 c INPROCESSING
23.66/34.08 c GARBAGE COLLECT
23.66/34.08 c bounds - >= 40 @ 22.1721
23.66/34.09 c bounds - >= 50 @ 22.1843
23.76/34.19 c #Conflicts: 10000 | #Constraints: 65696
23.76/34.19 c bounds - >= 60 @ 22.2806
74.68/85.29 c #Conflicts: 11000 | #Constraints: 66708
74.68/85.29 c #Conflicts: 12000 | #Constraints: 67708
74.68/85.29 c INPROCESSING
74.68/85.29 c #Conflicts: 13000 | #Constraints: 65808
74.68/85.29 c #Conflicts: 14000 | #Constraints: 66808
74.68/85.29 c #Conflicts: 15000 | #Constraints: 67808
74.68/85.29 c INPROCESSING
74.68/85.29 c GARBAGE COLLECT
74.68/85.29 c #Conflicts: 16000 | #Constraints: 66202
74.68/85.29 c #Conflicts: 17000 | #Constraints: 67202
74.68/85.29 c #Conflicts: 18000 | #Constraints: 68202
74.68/85.29 c INPROCESSING
74.68/85.29 c #Conflicts: 19000 | #Constraints: 66301
74.68/85.29 c #Conflicts: 20000 | #Constraints: 67301
74.68/85.29 c #Conflicts: 21000 | #Constraints: 68301
74.68/85.29 c INPROCESSING
74.68/85.29 c GARBAGE COLLECT
74.68/85.29 c #Conflicts: 22000 | #Constraints: 66148
74.68/85.29 c #Conflicts: 23000 | #Constraints: 67148
74.68/85.29 c #Conflicts: 24000 | #Constraints: 68148
74.68/85.29 c #Conflicts: 25000 | #Constraints: 69148
74.68/85.29 c INPROCESSING
74.68/85.29 c rational objective 60
81.16/91.73 c #Conflicts: 26000 | #Constraints: 66823
81.16/91.73 c #Conflicts: 27000 | #Constraints: 67823
81.16/91.73 c #Conflicts: 28000 | #Constraints: 68823
81.16/91.73 c #Conflicts: 29000 | #Constraints: 69823
81.16/91.73 c INPROCESSING
81.16/91.73 c GARBAGE COLLECT
81.16/91.73 c #Conflicts: 30000 | #Constraints: 67208
81.16/91.73 c #Conflicts: 31000 | #Constraints: 68208
81.16/91.73 c #Conflicts: 32000 | #Constraints: 69208
81.16/91.73 c #Conflicts: 33000 | #Constraints: 70208
81.16/91.73 c INPROCESSING
81.16/91.73 c GARBAGE COLLECT
81.16/91.73 c #Conflicts: 34000 | #Constraints: 67402
81.16/91.73 c #Conflicts: 35000 | #Constraints: 68402
81.16/91.73 c #Conflicts: 36000 | #Constraints: 69402
81.16/91.73 c #Conflicts: 37000 | #Constraints: 70402
81.16/91.73 c INPROCESSING
81.16/91.73 c rational objective 60
143.64/154.45 c #Conflicts: 38000 | #Constraints: 67486
143.64/154.45 c #Conflicts: 39000 | #Constraints: 68486
143.64/154.45 c #Conflicts: 40000 | #Constraints: 69486
143.64/154.45 c #Conflicts: 41000 | #Constraints: 70486
143.64/154.45 c INPROCESSING
143.64/154.45 c GARBAGE COLLECT
143.64/154.45 c rational objective 60
183.12/194.06 c #Conflicts: 42000 | #Constraints: 67317
183.12/194.06 c #Conflicts: 43000 | #Constraints: 68317
183.12/194.06 c #Conflicts: 44000 | #Constraints: 69317
183.12/194.06 c #Conflicts: 45000 | #Constraints: 70317
183.12/194.06 c #Conflicts: 46000 | #Constraints: 71317
183.12/194.06 c INPROCESSING
183.12/194.06 c GARBAGE COLLECT
183.12/194.06 c #Conflicts: 47000 | #Constraints: 67861
183.12/194.06 c #Conflicts: 48000 | #Constraints: 68861
183.12/194.06 c #Conflicts: 49000 | #Constraints: 69861
183.12/194.06 c #Conflicts: 50000 | #Constraints: 70861
183.12/194.06 c #Conflicts: 51000 | #Constraints: 71861
183.12/194.06 c INPROCESSING
183.12/194.06 c GARBAGE COLLECT
183.12/194.06 c #Conflicts: 52000 | #Constraints: 68234
183.12/194.06 c #Conflicts: 53000 | #Constraints: 69234
183.12/194.06 c #Conflicts: 54000 | #Constraints: 70234
183.12/194.06 c #Conflicts: 55000 | #Constraints: 71234
183.12/194.06 c #Conflicts: 56000 | #Constraints: 72234
183.12/194.06 c INPROCESSING
183.12/194.06 c GARBAGE COLLECT
183.12/194.06 c #Conflicts: 57000 | #Constraints: 68411
183.12/194.06 c #Conflicts: 58000 | #Constraints: 69411
183.12/194.06 c #Conflicts: 59000 | #Constraints: 70411
183.12/194.06 c #Conflicts: 60000 | #Constraints: 71411
183.12/194.06 c #Conflicts: 61000 | #Constraints: 72411
183.12/194.06 c INPROCESSING
183.12/194.06 c GARBAGE COLLECT
183.12/194.06 c #Conflicts: 62000 | #Constraints: 68405
183.12/194.06 c bounds - >= 70 @ 180.771
217.57/228.66 c #Conflicts: 63000 | #Constraints: 69417
217.57/228.66 c #Conflicts: 64000 | #Constraints: 70417
217.57/228.66 c #Conflicts: 65000 | #Constraints: 71417
217.57/228.66 c #Conflicts: 66000 | #Constraints: 72417
217.57/228.66 c INPROCESSING
217.57/228.66 c GARBAGE COLLECT
217.57/228.66 c #Conflicts: 67000 | #Constraints: 68215
217.57/228.66 c #Conflicts: 68000 | #Constraints: 69215
217.57/228.66 c #Conflicts: 69000 | #Constraints: 70215
217.57/228.66 c #Conflicts: 70000 | #Constraints: 71215
217.57/228.66 c #Conflicts: 71000 | #Constraints: 72215
217.57/228.66 c #Conflicts: 72000 | #Constraints: 73215
217.57/228.66 c INPROCESSING
217.57/228.66 c GARBAGE COLLECT
217.57/228.66 c #Conflicts: 73000 | #Constraints: 68814
217.57/228.66 c #Conflicts: 74000 | #Constraints: 69814
217.57/228.66 c #Conflicts: 75000 | #Constraints: 70814
217.57/228.66 c #Conflicts: 76000 | #Constraints: 71814
217.57/228.66 c #Conflicts: 77000 | #Constraints: 72814
217.57/228.66 c #Conflicts: 78000 | #Constraints: 73814
217.57/228.66 c INPROCESSING
217.57/228.66 c GARBAGE COLLECT
217.57/228.66 c rational objective 70
263.19/274.46 c #Conflicts: 79000 | #Constraints: 69211
263.19/274.46 c #Conflicts: 80000 | #Constraints: 70211
263.19/274.46 c #Conflicts: 81000 | #Constraints: 71211
263.19/274.46 c #Conflicts: 82000 | #Constraints: 72212
263.19/274.46 c #Conflicts: 83000 | #Constraints: 73212
263.19/274.46 c #Conflicts: 84000 | #Constraints: 74212
263.19/274.46 c INPROCESSING
263.19/274.46 c GARBAGE COLLECT
263.19/274.46 c #Conflicts: 85000 | #Constraints: 69411
263.19/274.46 c #Conflicts: 86000 | #Constraints: 70411
263.19/274.46 c #Conflicts: 87000 | #Constraints: 71411
263.19/274.46 c #Conflicts: 88000 | #Constraints: 72411
263.19/274.46 c #Conflicts: 89000 | #Constraints: 73411
263.19/274.46 c #Conflicts: 90000 | #Constraints: 74411
263.19/274.46 c INPROCESSING
263.19/274.46 c GARBAGE COLLECT
263.19/274.46 c #Conflicts: 91000 | #Constraints: 69412
263.19/274.46 c #Conflicts: 92000 | #Constraints: 70412
263.19/274.46 c #Conflicts: 93000 | #Constraints: 71412
263.19/274.46 c #Conflicts: 94000 | #Constraints: 72412
263.19/274.46 c #Conflicts: 95000 | #Constraints: 73412
263.19/274.46 c #Conflicts: 96000 | #Constraints: 74412
263.19/274.46 c INPROCESSING
263.19/274.46 c GARBAGE COLLECT
263.19/274.46 c #Conflicts: 97000 | #Constraints: 69210
263.19/274.46 c #Conflicts: 98000 | #Constraints: 70210
263.19/274.46 c #Conflicts: 99000 | #Constraints: 71210
263.19/274.46 c #Conflicts: 100000 | #Constraints: 72210
263.19/274.46 c #Conflicts: 101000 | #Constraints: 73210
263.19/274.46 c #Conflicts: 102000 | #Constraints: 74210
263.19/274.46 c #Conflicts: 103000 | #Constraints: 75210
263.19/274.46 c INPROCESSING
263.19/274.46 c GARBAGE COLLECT
263.19/274.46 c #Conflicts: 104000 | #Constraints: 69816
263.19/274.46 c #Conflicts: 105000 | #Constraints: 70816
263.19/274.46 c #Conflicts: 106000 | #Constraints: 71816
263.19/274.46 c #Conflicts: 107000 | #Constraints: 72816
263.19/274.46 c #Conflicts: 108000 | #Constraints: 73816
263.19/274.46 c #Conflicts: 109000 | #Constraints: 74816
263.19/274.46 c #Conflicts: 110000 | #Constraints: 75816
263.19/274.46 c INPROCESSING
263.19/274.46 c GARBAGE COLLECT
263.19/274.46 c rational objective 70
306.42/317.84 c #Conflicts: 111000 | #Constraints: 70219
306.42/317.84 c #Conflicts: 112000 | #Constraints: 71219
306.42/317.84 c #Conflicts: 113000 | #Constraints: 72219
306.42/317.84 c #Conflicts: 114000 | #Constraints: 73219
306.42/317.84 c #Conflicts: 115000 | #Constraints: 74219
306.42/317.84 c #Conflicts: 116000 | #Constraints: 75219
306.42/317.84 c #Conflicts: 117000 | #Constraints: 76219
306.42/317.84 c INPROCESSING
306.42/317.84 c GARBAGE COLLECT
306.42/317.84 c rational objective 70
364.63/376.21 c #Conflicts: 118000 | #Constraints: 70424
364.63/376.21 c #Conflicts: 119000 | #Constraints: 71424
364.63/376.21 c #Conflicts: 120000 | #Constraints: 72424
364.63/376.21 c #Conflicts: 121000 | #Constraints: 73424
364.63/376.21 c #Conflicts: 122000 | #Constraints: 74424
364.63/376.21 c #Conflicts: 123000 | #Constraints: 75424
364.63/376.21 c #Conflicts: 124000 | #Constraints: 76424
364.63/376.21 c INPROCESSING
364.63/376.21 c GARBAGE COLLECT
364.63/376.21 c #Conflicts: 125000 | #Constraints: 70426
364.63/376.21 c #Conflicts: 126000 | #Constraints: 71426
364.63/376.21 c #Conflicts: 127000 | #Constraints: 72426
364.63/376.21 c #Conflicts: 128000 | #Constraints: 73426
364.63/376.21 c #Conflicts: 129000 | #Constraints: 74426
364.63/376.21 c #Conflicts: 130000 | #Constraints: 75426
364.63/376.21 c #Conflicts: 131000 | #Constraints: 76426
364.63/376.21 c INPROCESSING
364.63/376.21 c GARBAGE COLLECT
364.63/376.21 c rational objective 70
405.80/417.68 c #Conflicts: 132000 | #Constraints: 70288
405.80/417.68 c #Conflicts: 133000 | #Constraints: 71288
405.80/417.68 c #Conflicts: 134000 | #Constraints: 72288
405.80/417.68 c #Conflicts: 135000 | #Constraints: 73288
405.80/417.68 c #Conflicts: 136000 | #Constraints: 74288
405.80/417.68 c #Conflicts: 137000 | #Constraints: 75288
405.80/417.68 c #Conflicts: 138000 | #Constraints: 76288
405.80/417.68 c #Conflicts: 139000 | #Constraints: 77288
405.80/417.68 c INPROCESSING
405.80/417.68 c GARBAGE COLLECT
405.80/417.68 c #Conflicts: 140000 | #Constraints: 70854
405.80/417.68 c #Conflicts: 141000 | #Constraints: 71854
405.80/417.68 c #Conflicts: 142000 | #Constraints: 72854
405.80/417.68 c #Conflicts: 143000 | #Constraints: 73855
405.80/417.68 c #Conflicts: 144000 | #Constraints: 74855
405.80/417.68 c #Conflicts: 145000 | #Constraints: 75855
405.80/417.68 c #Conflicts: 146000 | #Constraints: 76855
405.80/417.68 c #Conflicts: 147000 | #Constraints: 77855
405.80/417.68 c INPROCESSING
405.80/417.68 c GARBAGE COLLECT
405.80/417.68 c #Conflicts: 148000 | #Constraints: 71244
405.80/417.68 c #Conflicts: 149000 | #Constraints: 72244
405.80/417.68 c #Conflicts: 150000 | #Constraints: 73244
405.80/417.68 c #Conflicts: 151000 | #Constraints: 74244
405.80/417.68 c #Conflicts: 152000 | #Constraints: 75244
405.80/417.68 c #Conflicts: 153000 | #Constraints: 76244
405.80/417.68 c #Conflicts: 154000 | #Constraints: 77244
405.80/417.68 c #Conflicts: 155000 | #Constraints: 78244
405.80/417.68 c INPROCESSING
405.80/417.68 c GARBAGE COLLECT
405.80/417.68 c #Conflicts: 156000 | #Constraints: 71426
405.80/417.68 c #Conflicts: 157000 | #Constraints: 72426
405.80/417.68 c #Conflicts: 158000 | #Constraints: 73426
405.80/417.68 c #Conflicts: 159000 | #Constraints: 74426
405.80/417.68 c #Conflicts: 160000 | #Constraints: 75426
405.80/417.68 c #Conflicts: 161000 | #Constraints: 76426
405.80/417.68 c #Conflicts: 162000 | #Constraints: 77426
405.80/417.68 c #Conflicts: 163000 | #Constraints: 78426
405.80/417.68 c INPROCESSING
405.80/417.68 c GARBAGE COLLECT
405.80/417.68 c rational objective 70
452.23/464.20 c #Conflicts: 164000 | #Constraints: 71432
452.23/464.20 c #Conflicts: 165000 | #Constraints: 72432
452.23/464.20 c #Conflicts: 166000 | #Constraints: 73432
452.23/464.20 c #Conflicts: 167000 | #Constraints: 74432
452.23/464.20 c #Conflicts: 168000 | #Constraints: 75432
452.23/464.20 c #Conflicts: 169000 | #Constraints: 76432
452.23/464.20 c #Conflicts: 170000 | #Constraints: 77432
452.23/464.20 c #Conflicts: 171000 | #Constraints: 78432
452.23/464.20 c INPROCESSING
452.23/464.20 c GARBAGE COLLECT
452.23/464.20 c #Conflicts: 172000 | #Constraints: 71226
452.23/464.20 c #Conflicts: 173000 | #Constraints: 72226
452.23/464.20 c #Conflicts: 174000 | #Constraints: 73226
452.23/464.20 c #Conflicts: 175000 | #Constraints: 74226
452.23/464.20 c #Conflicts: 176000 | #Constraints: 75226
452.23/464.20 c #Conflicts: 177000 | #Constraints: 76226
452.23/464.20 c #Conflicts: 178000 | #Constraints: 77226
452.23/464.20 c #Conflicts: 179000 | #Constraints: 78226
452.23/464.20 c #Conflicts: 180000 | #Constraints: 79226
452.23/464.20 c INPROCESSING
452.23/464.20 c GARBAGE COLLECT
452.23/464.20 c rational objective 70
507.07/519.38 c #Conflicts: 181000 | #Constraints: 71830
507.07/519.38 c #Conflicts: 182000 | #Constraints: 72830
507.07/519.38 c #Conflicts: 183000 | #Constraints: 73830
507.07/519.38 c #Conflicts: 184000 | #Constraints: 74830
507.07/519.38 c #Conflicts: 185000 | #Constraints: 75830
507.07/519.38 c #Conflicts: 186000 | #Constraints: 76830
507.07/519.38 c #Conflicts: 187000 | #Constraints: 77830
507.07/519.38 c #Conflicts: 188000 | #Constraints: 78830
507.07/519.38 c #Conflicts: 189000 | #Constraints: 79830
507.07/519.38 c INPROCESSING
507.07/519.38 c GARBAGE COLLECT
507.07/519.38 c rational objective 70
548.62/561.05 c #Conflicts: 190000 | #Constraints: 72277
548.62/561.05 c #Conflicts: 191000 | #Constraints: 73277
548.62/561.05 c #Conflicts: 192000 | #Constraints: 74277
548.62/561.05 c #Conflicts: 193000 | #Constraints: 75277
548.62/561.05 c #Conflicts: 194000 | #Constraints: 76277
548.62/561.05 c #Conflicts: 195000 | #Constraints: 77277
548.62/561.05 c #Conflicts: 196000 | #Constraints: 78277
548.62/561.05 c #Conflicts: 197000 | #Constraints: 79277
548.62/561.05 c #Conflicts: 198000 | #Constraints: 80277
548.62/561.05 c INPROCESSING
548.62/561.05 c GARBAGE COLLECT
548.62/561.05 c #Conflicts: 199000 | #Constraints: 72448
548.62/561.05 c #Conflicts: 200000 | #Constraints: 73448
548.62/561.05 c #Conflicts: 201000 | #Constraints: 74448
548.62/561.05 c #Conflicts: 202000 | #Constraints: 75448
548.62/561.05 c #Conflicts: 203000 | #Constraints: 76448
548.62/561.05 c #Conflicts: 204000 | #Constraints: 77448
548.62/561.05 c #Conflicts: 205000 | #Constraints: 78448
548.62/561.05 c #Conflicts: 206000 | #Constraints: 79448
548.62/561.05 c #Conflicts: 207000 | #Constraints: 80448
548.62/561.05 c INPROCESSING
548.62/561.05 c GARBAGE COLLECT
548.62/561.05 c bounds - >= 80 @ 543.95
628.55/641.35 c #Conflicts: 208000 | #Constraints: 72448
628.55/641.35 c #Conflicts: 209000 | #Constraints: 73448
628.55/641.35 c #Conflicts: 210000 | #Constraints: 74448
628.55/641.35 c #Conflicts: 211000 | #Constraints: 75448
628.55/641.35 c #Conflicts: 212000 | #Constraints: 76448
628.55/641.35 c #Conflicts: 213000 | #Constraints: 77448
628.55/641.35 c #Conflicts: 214000 | #Constraints: 78448
628.55/641.35 c #Conflicts: 215000 | #Constraints: 79448
628.55/641.35 c #Conflicts: 216000 | #Constraints: 80448
628.55/641.35 c INPROCESSING
628.55/641.35 c GARBAGE COLLECT
628.55/641.35 c rational objective 80
687.51/700.59 c #Conflicts: 217000 | #Constraints: 72240
687.51/700.59 c #Conflicts: 218000 | #Constraints: 73240
687.51/700.59 c #Conflicts: 219000 | #Constraints: 74240
687.51/700.59 c #Conflicts: 220000 | #Constraints: 75240
687.51/700.59 c #Conflicts: 221000 | #Constraints: 76240
687.51/700.59 c #Conflicts: 222000 | #Constraints: 77240
687.51/700.59 c #Conflicts: 223000 | #Constraints: 78240
687.51/700.59 c #Conflicts: 224000 | #Constraints: 79240
687.51/700.59 c #Conflicts: 225000 | #Constraints: 80240
687.51/700.59 c #Conflicts: 226000 | #Constraints: 81240
687.51/700.59 c INPROCESSING
687.51/700.59 c GARBAGE COLLECT
687.51/700.59 c #Conflicts: 227000 | #Constraints: 72829
687.51/700.59 c #Conflicts: 228000 | #Constraints: 73829
687.51/700.59 c #Conflicts: 229000 | #Constraints: 74830
687.51/700.59 c #Conflicts: 230000 | #Constraints: 75830
687.51/700.59 c #Conflicts: 231000 | #Constraints: 76830
687.51/700.59 c #Conflicts: 232000 | #Constraints: 77830
687.51/700.59 c #Conflicts: 233000 | #Constraints: 78830
687.51/700.59 c #Conflicts: 234000 | #Constraints: 79830
687.51/700.59 c #Conflicts: 235000 | #Constraints: 80830
687.51/700.59 c #Conflicts: 236000 | #Constraints: 81830
687.51/700.59 c INPROCESSING
687.51/700.59 c GARBAGE COLLECT
687.51/700.59 c #Conflicts: 237000 | #Constraints: 72956
687.51/700.59 c #Conflicts: 238000 | #Constraints: 73956
687.51/700.59 c #Conflicts: 239000 | #Constraints: 74956
687.51/700.59 c #Conflicts: 240000 | #Constraints: 75956
687.51/700.59 c #Conflicts: 241000 | #Constraints: 76956
687.51/700.59 c #Conflicts: 242000 | #Constraints: 77956
687.51/700.59 c #Conflicts: 243000 | #Constraints: 78956
687.51/700.59 c #Conflicts: 244000 | #Constraints: 79956
687.51/700.59 c #Conflicts: 245000 | #Constraints: 80956
687.51/700.59 c #Conflicts: 246000 | #Constraints: 81956
687.51/700.59 c INPROCESSING
687.51/700.59 c GARBAGE COLLECT
687.51/700.59 c #Conflicts: 247000 | #Constraints: 73302
687.51/700.59 c #Conflicts: 248000 | #Constraints: 74302
687.51/700.59 c #Conflicts: 249000 | #Constraints: 75302
687.51/700.59 c #Conflicts: 250000 | #Constraints: 76302
687.51/700.59 c #Conflicts: 251000 | #Constraints: 77302
687.51/700.59 c #Conflicts: 252000 | #Constraints: 78302
687.51/700.59 c #Conflicts: 253000 | #Constraints: 79302
687.51/700.59 c #Conflicts: 254000 | #Constraints: 80302
687.51/700.59 c #Conflicts: 255000 | #Constraints: 81302
687.51/700.59 c #Conflicts: 256000 | #Constraints: 82302
687.51/700.59 c INPROCESSING
687.51/700.59 c GARBAGE COLLECT
687.51/700.59 c #Conflicts: 257000 | #Constraints: 73362
687.51/700.59 c #Conflicts: 258000 | #Constraints: 74362
687.51/700.59 c #Conflicts: 259000 | #Constraints: 75362
687.51/700.59 c #Conflicts: 260000 | #Constraints: 76362
687.51/700.59 c #Conflicts: 261000 | #Constraints: 77362
687.51/700.59 c #Conflicts: 262000 | #Constraints: 78362
687.51/700.59 c #Conflicts: 263000 | #Constraints: 79362
687.51/700.59 c #Conflicts: 264000 | #Constraints: 80362
687.51/700.59 c #Conflicts: 265000 | #Constraints: 81362
687.51/700.59 c #Conflicts: 266000 | #Constraints: 82362
687.51/700.59 c INPROCESSING
687.51/700.59 c GARBAGE COLLECT
687.51/700.59 c rational objective 80
843.46/857.18 c #Conflicts: 267000 | #Constraints: 73199
843.46/857.18 c #Conflicts: 268000 | #Constraints: 74199
843.46/857.18 c #Conflicts: 269000 | #Constraints: 75199
843.46/857.18 c #Conflicts: 270000 | #Constraints: 76199
843.46/857.18 c #Conflicts: 271000 | #Constraints: 77199
843.46/857.18 c #Conflicts: 272000 | #Constraints: 78199
843.46/857.18 c #Conflicts: 273000 | #Constraints: 79199
843.46/857.18 c #Conflicts: 274000 | #Constraints: 80199
843.46/857.18 c #Conflicts: 275000 | #Constraints: 81199
843.46/857.18 c #Conflicts: 276000 | #Constraints: 82199
843.46/857.18 c #Conflicts: 277000 | #Constraints: 83199
843.46/857.18 c INPROCESSING
843.46/857.18 c GARBAGE COLLECT
843.46/857.18 c rational objective 80
895.10/909.04 c #Conflicts: 278000 | #Constraints: 73815
895.10/909.04 c #Conflicts: 279000 | #Constraints: 74815
895.10/909.04 c #Conflicts: 280000 | #Constraints: 75815
895.10/909.04 c #Conflicts: 281000 | #Constraints: 76815
895.10/909.04 c #Conflicts: 282000 | #Constraints: 77815
895.10/909.04 c #Conflicts: 283000 | #Constraints: 78815
895.10/909.04 c #Conflicts: 284000 | #Constraints: 79815
895.10/909.04 c #Conflicts: 285000 | #Constraints: 80815
895.10/909.04 c #Conflicts: 286000 | #Constraints: 81815
895.10/909.04 c #Conflicts: 287000 | #Constraints: 82815
895.10/909.04 c #Conflicts: 288000 | #Constraints: 83815
895.10/909.04 c INPROCESSING
895.10/909.04 c GARBAGE COLLECT
895.10/909.04 c rational objective 80
947.68/961.88 c #Conflicts: 289000 | #Constraints: 74242
947.68/961.88 c #Conflicts: 290000 | #Constraints: 75242
947.68/961.88 c #Conflicts: 291000 | #Constraints: 76242
947.68/961.88 c #Conflicts: 292000 | #Constraints: 77242
947.68/961.88 c #Conflicts: 293000 | #Constraints: 78242
947.68/961.88 c #Conflicts: 294000 | #Constraints: 79242
947.68/961.88 c #Conflicts: 295000 | #Constraints: 80242
947.68/961.88 c #Conflicts: 296000 | #Constraints: 81242
947.68/961.88 c #Conflicts: 297000 | #Constraints: 82242
947.68/961.88 c #Conflicts: 298000 | #Constraints: 83242
947.68/961.88 c #Conflicts: 299000 | #Constraints: 84242
947.68/961.88 c INPROCESSING
947.68/961.88 c GARBAGE COLLECT
947.68/961.88 c #Conflicts: 300000 | #Constraints: 74445
947.68/961.88 c #Conflicts: 301000 | #Constraints: 75445
947.68/961.88 c #Conflicts: 302000 | #Constraints: 76445
947.68/961.88 c #Conflicts: 303000 | #Constraints: 77445
947.68/961.88 c #Conflicts: 304000 | #Constraints: 78445
947.68/961.88 c #Conflicts: 305000 | #Constraints: 79445
947.68/961.88 c #Conflicts: 306000 | #Constraints: 80445
947.68/961.88 c #Conflicts: 307000 | #Constraints: 81445
947.68/961.88 c #Conflicts: 308000 | #Constraints: 82445
947.68/961.88 c #Conflicts: 309000 | #Constraints: 83445
947.68/961.88 c #Conflicts: 310000 | #Constraints: 84445
947.68/961.88 c INPROCESSING
947.68/961.88 c GARBAGE COLLECT
947.68/961.88 c rational objective 80
1035.00/1049.54 c #Conflicts: 311000 | #Constraints: 74457
1035.00/1049.54 c #Conflicts: 312000 | #Constraints: 75457
1035.00/1049.54 c #Conflicts: 313000 | #Constraints: 76457
1035.00/1049.54 c #Conflicts: 314000 | #Constraints: 77457
1035.00/1049.54 c #Conflicts: 315000 | #Constraints: 78457
1035.00/1049.54 c #Conflicts: 316000 | #Constraints: 79457
1035.00/1049.54 c #Conflicts: 317000 | #Constraints: 80457
1035.00/1049.54 c #Conflicts: 318000 | #Constraints: 81457
1035.00/1049.54 c #Conflicts: 319000 | #Constraints: 82457
1035.00/1049.54 c #Conflicts: 320000 | #Constraints: 83457
1035.00/1049.54 c #Conflicts: 321000 | #Constraints: 84457
1035.00/1049.54 c INPROCESSING
1035.00/1049.54 c GARBAGE COLLECT
1035.00/1049.54 c #Conflicts: 322000 | #Constraints: 74240
1035.00/1049.54 c #Conflicts: 323000 | #Constraints: 75240
1035.00/1049.54 c #Conflicts: 324000 | #Constraints: 76240
1035.00/1049.54 c #Conflicts: 325000 | #Constraints: 77240
1035.00/1049.54 c #Conflicts: 326000 | #Constraints: 78240
1035.00/1049.54 c #Conflicts: 327000 | #Constraints: 79240
1035.00/1049.54 c #Conflicts: 328000 | #Constraints: 80240
1035.00/1049.54 c #Conflicts: 329000 | #Constraints: 81240
1035.00/1049.54 c #Conflicts: 330000 | #Constraints: 82240
1035.00/1049.54 c #Conflicts: 331000 | #Constraints: 83240
1035.00/1049.54 c #Conflicts: 332000 | #Constraints: 84240
1035.00/1049.54 c #Conflicts: 333000 | #Constraints: 85240
1035.00/1049.54 c INPROCESSING
1035.00/1049.54 c GARBAGE COLLECT
1035.00/1049.54 c #Conflicts: 334000 | #Constraints: 74838
1035.00/1049.54 c #Conflicts: 335000 | #Constraints: 75838
1035.00/1049.54 c #Conflicts: 336000 | #Constraints: 76838
1035.00/1049.54 c #Conflicts: 337000 | #Constraints: 77838
1035.00/1049.54 c #Conflicts: 338000 | #Constraints: 78838
1035.00/1049.54 c #Conflicts: 339000 | #Constraints: 79838
1035.00/1049.54 c #Conflicts: 340000 | #Constraints: 80838
1035.00/1049.54 c #Conflicts: 341000 | #Constraints: 81838
1035.00/1049.54 c #Conflicts: 342000 | #Constraints: 82838
1035.00/1049.54 c #Conflicts: 343000 | #Constraints: 83838
1035.00/1049.54 c #Conflicts: 344000 | #Constraints: 84838
1035.00/1049.54 c #Conflicts: 345000 | #Constraints: 85838
1035.00/1049.54 c INPROCESSING
1035.00/1049.54 c GARBAGE COLLECT
1035.00/1049.54 c rational objective 80
1083.36/1098.16 c #Conflicts: 346000 | #Constraints: 75243
1083.36/1098.16 c #Conflicts: 347000 | #Constraints: 76243
1083.36/1098.16 c #Conflicts: 348000 | #Constraints: 77243
1083.36/1098.16 c #Conflicts: 349000 | #Constraints: 78243
1083.36/1098.16 c #Conflicts: 350000 | #Constraints: 79243
1083.36/1098.16 c #Conflicts: 351000 | #Constraints: 80243
1083.36/1098.16 c #Conflicts: 352000 | #Constraints: 81243
1083.36/1098.16 c #Conflicts: 353000 | #Constraints: 82243
1083.36/1098.16 c #Conflicts: 354000 | #Constraints: 83243
1083.36/1098.16 c #Conflicts: 355000 | #Constraints: 84243
1083.36/1098.16 c #Conflicts: 356000 | #Constraints: 85243
1083.36/1098.16 c #Conflicts: 357000 | #Constraints: 86243
1083.36/1098.16 c INPROCESSING
1083.36/1098.16 c GARBAGE COLLECT
1083.36/1098.16 c rational objective 80
1169.03/1184.06 c #Conflicts: 358000 | #Constraints: 75463
1169.03/1184.06 c #Conflicts: 359000 | #Constraints: 76463
1169.03/1184.06 c #Conflicts: 360000 | #Constraints: 77463
1169.03/1184.06 c #Conflicts: 361000 | #Constraints: 78463
1169.03/1184.06 c #Conflicts: 362000 | #Constraints: 79463
1169.03/1184.06 c #Conflicts: 363000 | #Constraints: 80463
1169.03/1184.06 c #Conflicts: 364000 | #Constraints: 81463
1169.03/1184.06 c #Conflicts: 365000 | #Constraints: 82463
1169.03/1184.06 c #Conflicts: 366000 | #Constraints: 83463
1169.03/1184.06 c #Conflicts: 367000 | #Constraints: 84463
1169.03/1184.06 c #Conflicts: 368000 | #Constraints: 85463
1169.03/1184.06 c #Conflicts: 369000 | #Constraints: 86463
1169.03/1184.06 c INPROCESSING
1169.03/1184.06 c GARBAGE COLLECT
1169.03/1184.06 c #Conflicts: 370000 | #Constraints: 75445
1169.03/1184.06 c #Conflicts: 371000 | #Constraints: 76445
1169.03/1184.06 c #Conflicts: 372000 | #Constraints: 77445
1169.03/1184.06 c #Conflicts: 373000 | #Constraints: 78445
1169.03/1184.06 c #Conflicts: 374000 | #Constraints: 79445
1169.03/1184.06 c #Conflicts: 375000 | #Constraints: 80445
1169.03/1184.06 c #Conflicts: 376000 | #Constraints: 81445
1169.03/1184.06 c #Conflicts: 377000 | #Constraints: 82445
1169.03/1184.06 c #Conflicts: 378000 | #Constraints: 83445
1169.03/1184.06 c #Conflicts: 379000 | #Constraints: 84445
1169.03/1184.06 c #Conflicts: 380000 | #Constraints: 85445
1169.03/1184.06 c #Conflicts: 381000 | #Constraints: 86445
1169.03/1184.06 c INPROCESSING
1169.03/1184.06 c GARBAGE COLLECT
1169.03/1184.06 c rational objective 80
1225.06/1240.28 c #Conflicts: 382000 | #Constraints: 75238
1225.06/1240.28 c #Conflicts: 383000 | #Constraints: 76238
1225.06/1240.28 c #Conflicts: 384000 | #Constraints: 77238
1225.06/1240.28 c #Conflicts: 385000 | #Constraints: 78238
1225.06/1240.28 c #Conflicts: 386000 | #Constraints: 79238
1225.06/1240.28 c #Conflicts: 387000 | #Constraints: 80238
1225.06/1240.28 c #Conflicts: 388000 | #Constraints: 81238
1225.06/1240.28 c #Conflicts: 389000 | #Constraints: 82238
1225.06/1240.28 c #Conflicts: 390000 | #Constraints: 83238
1225.06/1240.28 c #Conflicts: 391000 | #Constraints: 84238
1225.06/1240.28 c #Conflicts: 392000 | #Constraints: 85238
1225.06/1240.28 c #Conflicts: 393000 | #Constraints: 86238
1225.06/1240.28 c #Conflicts: 394000 | #Constraints: 87238
1225.06/1240.28 c INPROCESSING
1225.06/1240.28 c GARBAGE COLLECT
1225.06/1240.28 c rational objective 80
1270.02/1285.33 c #Conflicts: 395000 | #Constraints: 75862
1270.02/1285.33 c #Conflicts: 396000 | #Constraints: 76862
1270.02/1285.33 c #Conflicts: 397000 | #Constraints: 77862
1270.02/1285.33 c #Conflicts: 398000 | #Constraints: 78862
1270.02/1285.33 c #Conflicts: 399000 | #Constraints: 79862
1270.02/1285.33 c #Conflicts: 400000 | #Constraints: 80862
1270.02/1285.33 c #Conflicts: 401000 | #Constraints: 81862
1270.02/1285.33 c #Conflicts: 402000 | #Constraints: 82862
1270.02/1285.33 c #Conflicts: 403000 | #Constraints: 83862
1270.02/1285.33 c #Conflicts: 404000 | #Constraints: 84862
1270.02/1285.33 c #Conflicts: 405000 | #Constraints: 85862
1270.02/1285.33 c #Conflicts: 406000 | #Constraints: 86862
1270.02/1285.33 c #Conflicts: 407000 | #Constraints: 87862
1270.02/1285.33 c INPROCESSING
1270.02/1285.33 c GARBAGE COLLECT
1270.02/1285.33 c #Conflicts: 408000 | #Constraints: 76245
1270.02/1285.33 c #Conflicts: 409000 | #Constraints: 77245
1270.02/1285.33 c #Conflicts: 410000 | #Constraints: 78245
1270.02/1285.33 c #Conflicts: 411000 | #Constraints: 79245
1270.02/1285.33 c #Conflicts: 412000 | #Constraints: 80245
1270.02/1285.33 c #Conflicts: 413000 | #Constraints: 81245
1270.02/1285.33 c #Conflicts: 414000 | #Constraints: 82245
1270.02/1285.33 c #Conflicts: 415000 | #Constraints: 83245
1270.02/1285.33 c #Conflicts: 416000 | #Constraints: 84245
1270.02/1285.33 c #Conflicts: 417000 | #Constraints: 85245
1270.02/1285.33 c #Conflicts: 418000 | #Constraints: 86245
1270.02/1285.33 c #Conflicts: 419000 | #Constraints: 87245
1270.02/1285.33 c #Conflicts: 420000 | #Constraints: 88245
1270.02/1285.33 c INPROCESSING
1270.02/1285.33 c GARBAGE COLLECT
1270.02/1285.33 c rational objective 80
1321.79/1337.21 c #Conflicts: 421000 | #Constraints: 76453
1321.79/1337.21 c #Conflicts: 422000 | #Constraints: 77453
1321.79/1337.21 c #Conflicts: 423000 | #Constraints: 78453
1321.79/1337.21 c #Conflicts: 424000 | #Constraints: 79453
1321.79/1337.21 c #Conflicts: 425000 | #Constraints: 80453
1321.79/1337.21 c #Conflicts: 426000 | #Constraints: 81453
1321.79/1337.21 c #Conflicts: 427000 | #Constraints: 82453
1321.79/1337.21 c #Conflicts: 428000 | #Constraints: 83453
1321.79/1337.21 c #Conflicts: 429000 | #Constraints: 84453
1321.79/1337.21 c #Conflicts: 430000 | #Constraints: 85453
1321.79/1337.21 c #Conflicts: 431000 | #Constraints: 86453
1321.79/1337.21 c #Conflicts: 432000 | #Constraints: 87453
1321.79/1337.21 c #Conflicts: 433000 | #Constraints: 88453
1321.79/1337.21 c INPROCESSING
1321.79/1337.21 c GARBAGE COLLECT
1321.79/1337.21 c rational objective 80
1407.13/1422.81 c #Conflicts: 434000 | #Constraints: 76453
1407.13/1422.81 c #Conflicts: 435000 | #Constraints: 77453
1407.13/1422.81 c #Conflicts: 436000 | #Constraints: 78453
1407.13/1422.81 c #Conflicts: 437000 | #Constraints: 79453
1407.13/1422.81 c #Conflicts: 438000 | #Constraints: 80453
1407.13/1422.81 c #Conflicts: 439000 | #Constraints: 81453
1407.13/1422.81 c #Conflicts: 440000 | #Constraints: 82453
1407.13/1422.81 c #Conflicts: 441000 | #Constraints: 83453
1407.13/1422.81 c #Conflicts: 442000 | #Constraints: 84453
1407.13/1422.81 c #Conflicts: 443000 | #Constraints: 85453
1407.13/1422.81 c #Conflicts: 444000 | #Constraints: 86453
1407.13/1422.81 c #Conflicts: 445000 | #Constraints: 87453
1407.13/1422.81 c #Conflicts: 446000 | #Constraints: 88453
1407.13/1422.81 c INPROCESSING
1407.13/1422.81 c GARBAGE COLLECT
1407.13/1422.81 c #Conflicts: 447000 | #Constraints: 76237
1407.13/1422.81 c #Conflicts: 448000 | #Constraints: 77237
1407.13/1422.81 c #Conflicts: 449000 | #Constraints: 78237
1407.13/1422.81 c #Conflicts: 450000 | #Constraints: 79237
1407.13/1422.81 c #Conflicts: 451000 | #Constraints: 80237
1407.13/1422.81 c #Conflicts: 452000 | #Constraints: 81237
1407.13/1422.81 c #Conflicts: 453000 | #Constraints: 82237
1407.13/1422.81 c #Conflicts: 454000 | #Constraints: 83237
1407.13/1422.81 c #Conflicts: 455000 | #Constraints: 84237
1407.13/1422.81 c #Conflicts: 456000 | #Constraints: 85237
1407.13/1422.81 c #Conflicts: 457000 | #Constraints: 86237
1407.13/1422.81 c #Conflicts: 458000 | #Constraints: 87237
1407.13/1422.81 c #Conflicts: 459000 | #Constraints: 88237
1407.13/1422.81 c #Conflicts: 460000 | #Constraints: 89237
1407.13/1422.81 c INPROCESSING
1407.13/1422.81 c GARBAGE COLLECT
1407.13/1422.81 c rational objective 80
1448.91/1464.88 c #Conflicts: 461000 | #Constraints: 76839
1448.91/1464.88 c #Conflicts: 462000 | #Constraints: 77839
1448.91/1464.88 c #Conflicts: 463000 | #Constraints: 78839
1448.91/1464.88 c #Conflicts: 464000 | #Constraints: 79839
1448.91/1464.88 c #Conflicts: 465000 | #Constraints: 80839
1448.91/1464.88 c #Conflicts: 466000 | #Constraints: 81839
1448.91/1464.88 c #Conflicts: 467000 | #Constraints: 82839
1448.91/1464.88 c #Conflicts: 468000 | #Constraints: 83839
1448.91/1464.88 c #Conflicts: 469000 | #Constraints: 84839
1448.91/1464.88 c #Conflicts: 470000 | #Constraints: 85839
1448.91/1464.88 c #Conflicts: 471000 | #Constraints: 86839
1448.91/1464.88 c #Conflicts: 472000 | #Constraints: 87839
1448.91/1464.88 c #Conflicts: 473000 | #Constraints: 88839
1448.91/1464.88 c #Conflicts: 474000 | #Constraints: 89839
1448.91/1464.88 c INPROCESSING
1448.91/1464.88 c GARBAGE COLLECT
1448.91/1464.88 c rational objective 80
1485.30/1501.39 c #Conflicts: 475000 | #Constraints: 77259
1485.30/1501.39 c #Conflicts: 476000 | #Constraints: 78259
1485.30/1501.39 c #Conflicts: 477000 | #Constraints: 79259
1485.30/1501.39 c #Conflicts: 478000 | #Constraints: 80259
1485.30/1501.39 c #Conflicts: 479000 | #Constraints: 81259
1485.30/1501.39 c #Conflicts: 480000 | #Constraints: 82259
1485.30/1501.39 c #Conflicts: 481000 | #Constraints: 83259
1485.30/1501.39 c #Conflicts: 482000 | #Constraints: 84259
1485.30/1501.39 c #Conflicts: 483000 | #Constraints: 85259
1485.30/1501.39 c #Conflicts: 484000 | #Constraints: 86259
1485.30/1501.39 c #Conflicts: 485000 | #Constraints: 87259
1485.30/1501.39 c #Conflicts: 486000 | #Constraints: 88259
1485.30/1501.39 c #Conflicts: 487000 | #Constraints: 89259
1485.30/1501.39 c #Conflicts: 488000 | #Constraints: 90259
1485.30/1501.39 c INPROCESSING
1485.30/1501.39 c GARBAGE COLLECT
1485.30/1501.39 c rational objective 80
1539.43/1555.64 c #Conflicts: 489000 | #Constraints: 77460
1539.43/1555.64 c #Conflicts: 490000 | #Constraints: 78460
1539.43/1555.64 c #Conflicts: 491000 | #Constraints: 79460
1539.43/1555.64 c #Conflicts: 492000 | #Constraints: 80460
1539.43/1555.64 c #Conflicts: 493000 | #Constraints: 81460
1539.43/1555.64 c #Conflicts: 494000 | #Constraints: 82460
1539.43/1555.64 c #Conflicts: 495000 | #Constraints: 83460
1539.43/1555.64 c #Conflicts: 496000 | #Constraints: 84460
1539.43/1555.64 c #Conflicts: 497000 | #Constraints: 85460
1539.43/1555.64 c #Conflicts: 498000 | #Constraints: 86460
1539.43/1555.64 c #Conflicts: 499000 | #Constraints: 87460
1539.43/1555.64 c #Conflicts: 500000 | #Constraints: 88460
1539.43/1555.64 c #Conflicts: 501000 | #Constraints: 89460
1539.43/1555.64 c #Conflicts: 502000 | #Constraints: 90460
1539.43/1555.64 c INPROCESSING
1539.43/1555.64 c GARBAGE COLLECT
1539.43/1555.64 c rational objective 80
1593.03/1609.40 c #Conflicts: 503000 | #Constraints: 77468
1593.03/1609.40 c #Conflicts: 504000 | #Constraints: 78468
1593.03/1609.40 c #Conflicts: 505000 | #Constraints: 79468
1593.03/1609.40 c #Conflicts: 506000 | #Constraints: 80468
1593.03/1609.40 c #Conflicts: 507000 | #Constraints: 81468
1593.03/1609.40 c #Conflicts: 508000 | #Constraints: 82468
1593.03/1609.40 c #Conflicts: 509000 | #Constraints: 83468
1593.03/1609.40 c #Conflicts: 510000 | #Constraints: 84468
1593.03/1609.40 c #Conflicts: 511000 | #Constraints: 85468
1593.03/1609.40 c #Conflicts: 512000 | #Constraints: 86468
1593.03/1609.40 c #Conflicts: 513000 | #Constraints: 87468
1593.03/1609.40 c #Conflicts: 514000 | #Constraints: 88468
1593.03/1609.40 c #Conflicts: 515000 | #Constraints: 89468
1593.03/1609.40 c #Conflicts: 516000 | #Constraints: 90468
1593.03/1609.40 c INPROCESSING
1593.03/1609.40 c GARBAGE COLLECT
1593.03/1609.40 c rational objective 80
1643.57/1660.13 c #Conflicts: 517000 | #Constraints: 77289
1643.57/1660.13 c #Conflicts: 518000 | #Constraints: 78289
1643.57/1660.13 c #Conflicts: 519000 | #Constraints: 79289
1643.57/1660.13 c #Conflicts: 520000 | #Constraints: 80289
1643.57/1660.13 c #Conflicts: 521000 | #Constraints: 81289
1643.57/1660.13 c #Conflicts: 522000 | #Constraints: 82289
1643.57/1660.13 c #Conflicts: 523000 | #Constraints: 83289
1643.57/1660.13 c #Conflicts: 524000 | #Constraints: 84289
1643.57/1660.13 c #Conflicts: 525000 | #Constraints: 85289
1643.57/1660.13 c #Conflicts: 526000 | #Constraints: 86289
1643.57/1660.13 c #Conflicts: 527000 | #Constraints: 87289
1643.57/1660.13 c #Conflicts: 528000 | #Constraints: 88289
1643.57/1660.13 c #Conflicts: 529000 | #Constraints: 89289
1643.57/1660.13 c #Conflicts: 530000 | #Constraints: 90289
1643.57/1660.13 c #Conflicts: 531000 | #Constraints: 91289
1643.57/1660.13 c INPROCESSING
1643.57/1660.13 c GARBAGE COLLECT
1643.57/1660.13 c #Conflicts: 532000 | #Constraints: 77863
1643.57/1660.13 c #Conflicts: 533000 | #Constraints: 78863
1643.57/1660.13 c #Conflicts: 534000 | #Constraints: 79863
1643.57/1660.13 c #Conflicts: 535000 | #Constraints: 80863
1643.57/1660.13 c #Conflicts: 536000 | #Constraints: 81863
1643.57/1660.13 c #Conflicts: 537000 | #Constraints: 82863
1643.57/1660.13 c #Conflicts: 538000 | #Constraints: 83863
1643.57/1660.13 c #Conflicts: 539000 | #Constraints: 84863
1643.57/1660.13 c #Conflicts: 540000 | #Constraints: 85863
1643.57/1660.13 c #Conflicts: 541000 | #Constraints: 86863
1643.57/1660.13 c #Conflicts: 542000 | #Constraints: 87863
1643.57/1660.13 c #Conflicts: 543000 | #Constraints: 88863
1643.57/1660.13 c #Conflicts: 544000 | #Constraints: 89863
1643.57/1660.13 c #Conflicts: 545000 | #Constraints: 90863
1643.57/1660.13 c #Conflicts: 546000 | #Constraints: 91863
1643.57/1660.13 c INPROCESSING
1643.57/1660.13 c GARBAGE COLLECT
1643.57/1660.13 c rational objective 80
1708.95/1725.99 c #Conflicts: 547000 | #Constraints: 78259
1708.95/1725.99 c #Conflicts: 548000 | #Constraints: 79259
1708.95/1725.99 c #Conflicts: 549000 | #Constraints: 80259
1708.95/1725.99 c #Conflicts: 550000 | #Constraints: 81259
1708.95/1725.99 c #Conflicts: 551000 | #Constraints: 82259
1708.95/1725.99 c #Conflicts: 552000 | #Constraints: 83259
1708.95/1725.99 c #Conflicts: 553000 | #Constraints: 84259
1708.95/1725.99 c #Conflicts: 554000 | #Constraints: 85259
1708.95/1725.99 c #Conflicts: 555000 | #Constraints: 86259
1708.95/1725.99 c #Conflicts: 556000 | #Constraints: 87259
1708.95/1725.99 c #Conflicts: 557000 | #Constraints: 88259
1708.95/1725.99 c #Conflicts: 558000 | #Constraints: 89259
1708.95/1725.99 c #Conflicts: 559000 | #Constraints: 90259
1708.95/1725.99 c #Conflicts: 560000 | #Constraints: 91259
1708.95/1725.99 c #Conflicts: 561000 | #Constraints: 92260
1708.95/1725.99 c INPROCESSING
1708.95/1725.99 c GARBAGE COLLECT
1708.95/1725.99 c rational objective 80
1765.17/1782.36 c #Conflicts: 562000 | #Constraints: 78455
1765.17/1782.36 c #Conflicts: 563000 | #Constraints: 79455
1765.17/1782.36 c #Conflicts: 564000 | #Constraints: 80455
1765.17/1782.36 c #Conflicts: 565000 | #Constraints: 81455
1765.17/1782.36 c #Conflicts: 566000 | #Constraints: 82455
1765.17/1782.36 c #Conflicts: 567000 | #Constraints: 83455
1765.17/1782.36 c #Conflicts: 568000 | #Constraints: 84455
1765.17/1782.36 c #Conflicts: 569000 | #Constraints: 85455
1765.17/1782.36 c #Conflicts: 570000 | #Constraints: 86455
1765.17/1782.36 c #Conflicts: 571000 | #Constraints: 87455
1765.17/1782.36 c #Conflicts: 572000 | #Constraints: 88455
1765.17/1782.36 c #Conflicts: 573000 | #Constraints: 89455
1765.17/1782.36 c #Conflicts: 574000 | #Constraints: 90455
1765.17/1782.36 c #Conflicts: 575000 | #Constraints: 91455
1765.17/1782.36 c #Conflicts: 576000 | #Constraints: 92455
1765.17/1782.36 c INPROCESSING
1765.17/1782.36 c GARBAGE COLLECT
1765.17/1782.36 c #Conflicts: 577000 | #Constraints: 78455
1765.17/1782.36 c #Conflicts: 578000 | #Constraints: 79455
1765.17/1782.36 c #Conflicts: 579000 | #Constraints: 80455
1765.17/1782.36 c #Conflicts: 580000 | #Constraints: 81455
1765.17/1782.36 c #Conflicts: 581000 | #Constraints: 82455
1765.17/1782.36 c #Conflicts: 582000 | #Constraints: 83455
1765.17/1782.36 c #Conflicts: 583000 | #Constraints: 84455
1765.17/1782.36 c #Conflicts: 584000 | #Constraints: 85455
1765.17/1782.36 c #Conflicts: 585000 | #Constraints: 86455
1765.17/1782.36 c #Conflicts: 586000 | #Constraints: 87455
1765.17/1782.36 c #Conflicts: 587000 | #Constraints: 88455
1765.17/1782.36 c #Conflicts: 588000 | #Constraints: 89455
1765.17/1782.36 c #Conflicts: 589000 | #Constraints: 90455
1765.17/1782.36 c #Conflicts: 590000 | #Constraints: 91455
1765.17/1782.36 c #Conflicts: 591000 | #Constraints: 92455
1765.17/1782.36 c INPROCESSING
1765.17/1782.36 c GARBAGE COLLECT
1765.17/1782.36 c rational objective 80
1857.45/1874.92 c #Conflicts: 592000 | #Constraints: 78253
1857.45/1874.92 c #Conflicts: 593000 | #Constraints: 79253
1857.45/1874.92 c #Conflicts: 594000 | #Constraints: 80253
1857.45/1874.92 c #Conflicts: 595000 | #Constraints: 81253
1857.45/1874.92 c #Conflicts: 596000 | #Constraints: 82253
1857.45/1874.92 c #Conflicts: 597000 | #Constraints: 83253
1857.45/1874.92 c #Conflicts: 598000 | #Constraints: 84253
1857.45/1874.92 c #Conflicts: 599000 | #Constraints: 85253
1857.45/1874.92 c #Conflicts: 600000 | #Constraints: 86253
1857.45/1874.92 c #Conflicts: 601000 | #Constraints: 87253
1857.45/1874.92 c #Conflicts: 602000 | #Constraints: 88253
1857.45/1874.92 c #Conflicts: 603000 | #Constraints: 89253
1857.45/1874.92 c #Conflicts: 604000 | #Constraints: 90253
1857.45/1874.92 c #Conflicts: 605000 | #Constraints: 91253
1857.45/1874.92 c #Conflicts: 606000 | #Constraints: 92253
1857.45/1874.92 c #Conflicts: 607000 | #Constraints: 93253
1857.45/1874.92 c INPROCESSING
1857.45/1874.92 c GARBAGE COLLECT
1857.45/1874.92 c rational objective 80
1900.91/1918.53 c #Conflicts: 608000 | #Constraints: 78854
1900.91/1918.53 c #Conflicts: 609000 | #Constraints: 79854
1900.91/1918.53 c #Conflicts: 610000 | #Constraints: 80854
1900.91/1918.53 c #Conflicts: 611000 | #Constraints: 81854
1900.91/1918.53 c #Conflicts: 612000 | #Constraints: 82854
1900.91/1918.53 c #Conflicts: 613000 | #Constraints: 83854
1900.91/1918.53 c #Conflicts: 614000 | #Constraints: 84854
1900.91/1918.53 c #Conflicts: 615000 | #Constraints: 85854
1900.91/1918.53 c #Conflicts: 616000 | #Constraints: 86854
1900.91/1918.53 c #Conflicts: 617000 | #Constraints: 87854
1900.91/1918.53 c #Conflicts: 618000 | #Constraints: 88854
1900.91/1918.53 c #Conflicts: 619000 | #Constraints: 89854
1900.91/1918.53 c #Conflicts: 620000 | #Constraints: 90854
1900.91/1918.53 c #Conflicts: 621000 | #Constraints: 91854
1900.91/1918.53 c #Conflicts: 622000 | #Constraints: 92854
1900.91/1918.53 c #Conflicts: 623000 | #Constraints: 93854
1900.91/1918.53 c INPROCESSING
1900.91/1918.53 c GARBAGE COLLECT
1900.91/1918.53 c rational objective 80
1945.46/1963.28 c #Conflicts: 624000 | #Constraints: 79244
1945.46/1963.28 c #Conflicts: 625000 | #Constraints: 80244
1945.46/1963.28 c #Conflicts: 626000 | #Constraints: 81244
1945.46/1963.28 c #Conflicts: 627000 | #Constraints: 82244
1945.46/1963.28 c #Conflicts: 628000 | #Constraints: 83244
1945.46/1963.28 c #Conflicts: 629000 | #Constraints: 84244
1945.46/1963.28 c #Conflicts: 630000 | #Constraints: 85244
1945.46/1963.28 c #Conflicts: 631000 | #Constraints: 86244
1945.46/1963.28 c #Conflicts: 632000 | #Constraints: 87244
1945.46/1963.28 c #Conflicts: 633000 | #Constraints: 88244
1945.46/1963.28 c #Conflicts: 634000 | #Constraints: 89244
1945.46/1963.28 c #Conflicts: 635000 | #Constraints: 90244
1945.46/1963.28 c #Conflicts: 636000 | #Constraints: 91244
1945.46/1963.28 c #Conflicts: 637000 | #Constraints: 92244
1945.46/1963.28 c #Conflicts: 638000 | #Constraints: 93244
1945.46/1963.28 c #Conflicts: 639000 | #Constraints: 94244
1945.46/1963.28 c INPROCESSING
1945.46/1963.28 c GARBAGE COLLECT
1945.46/1963.28 c rational objective 80
2021.21/2039.22 c #Conflicts: 640000 | #Constraints: 79439
2021.21/2039.22 c #Conflicts: 641000 | #Constraints: 80439
2021.21/2039.22 c #Conflicts: 642000 | #Constraints: 81439
2021.21/2039.22 c #Conflicts: 643000 | #Constraints: 82439
2021.21/2039.22 c #Conflicts: 644000 | #Constraints: 83439
2021.21/2039.22 c #Conflicts: 645000 | #Constraints: 84439
2021.21/2039.22 c #Conflicts: 646000 | #Constraints: 85439
2021.21/2039.22 c #Conflicts: 647000 | #Constraints: 86439
2021.21/2039.22 c #Conflicts: 648000 | #Constraints: 87439
2021.21/2039.22 c #Conflicts: 649000 | #Constraints: 88439
2021.21/2039.22 c #Conflicts: 650000 | #Constraints: 89439
2021.21/2039.22 c #Conflicts: 651000 | #Constraints: 90439
2021.21/2039.22 c #Conflicts: 652000 | #Constraints: 91439
2021.21/2039.22 c #Conflicts: 653000 | #Constraints: 92439
2021.21/2039.22 c #Conflicts: 654000 | #Constraints: 93439
2021.21/2039.22 c #Conflicts: 655000 | #Constraints: 94439
2021.21/2039.22 c INPROCESSING
2021.21/2039.22 c GARBAGE COLLECT
2021.21/2039.22 c rational objective 80
2067.86/2086.07 c #Conflicts: 656000 | #Constraints: 79448
2067.86/2086.07 c #Conflicts: 657000 | #Constraints: 80448
2067.86/2086.07 c #Conflicts: 658000 | #Constraints: 81448
2067.86/2086.07 c #Conflicts: 659000 | #Constraints: 82448
2067.86/2086.07 c #Conflicts: 660000 | #Constraints: 83448
2067.86/2086.07 c #Conflicts: 661000 | #Constraints: 84448
2067.86/2086.07 c #Conflicts: 662000 | #Constraints: 85448
2067.86/2086.07 c #Conflicts: 663000 | #Constraints: 86448
2067.86/2086.07 c #Conflicts: 664000 | #Constraints: 87448
2067.86/2086.07 c #Conflicts: 665000 | #Constraints: 88448
2067.86/2086.07 c #Conflicts: 666000 | #Constraints: 89448
2067.86/2086.07 c #Conflicts: 667000 | #Constraints: 90448
2067.86/2086.07 c #Conflicts: 668000 | #Constraints: 91448
2067.86/2086.07 c #Conflicts: 669000 | #Constraints: 92448
2067.86/2086.07 c #Conflicts: 670000 | #Constraints: 93448
2067.86/2086.07 c #Conflicts: 671000 | #Constraints: 94448
2067.86/2086.07 c INPROCESSING
2067.86/2086.07 c GARBAGE COLLECT
2067.86/2086.07 c rational objective 80
2121.93/2140.30 c #Conflicts: 672000 | #Constraints: 79285
2121.93/2140.30 c #Conflicts: 673000 | #Constraints: 80285
2121.93/2140.30 c #Conflicts: 674000 | #Constraints: 81285
2121.93/2140.30 c #Conflicts: 675000 | #Constraints: 82285
2121.93/2140.30 c #Conflicts: 676000 | #Constraints: 83285
2121.93/2140.30 c #Conflicts: 677000 | #Constraints: 84285
2121.93/2140.30 c #Conflicts: 678000 | #Constraints: 85285
2121.93/2140.30 c #Conflicts: 679000 | #Constraints: 86285
2121.93/2140.30 c #Conflicts: 680000 | #Constraints: 87285
2121.93/2140.30 c #Conflicts: 681000 | #Constraints: 88285
2121.93/2140.30 c #Conflicts: 682000 | #Constraints: 89285
2121.93/2140.30 c #Conflicts: 683000 | #Constraints: 90285
2121.93/2140.30 c #Conflicts: 684000 | #Constraints: 91285
2121.93/2140.30 c #Conflicts: 685000 | #Constraints: 92285
2121.93/2140.30 c #Conflicts: 686000 | #Constraints: 93285
2121.93/2140.30 c #Conflicts: 687000 | #Constraints: 94285
2121.93/2140.30 c #Conflicts: 688000 | #Constraints: 95285
2121.93/2140.30 c INPROCESSING
2121.93/2140.30 c GARBAGE COLLECT
2121.93/2140.30 c rational objective 80
2186.96/2205.51 c #Conflicts: 689000 | #Constraints: 79864
2186.96/2205.51 c #Conflicts: 690000 | #Constraints: 80864
2186.96/2205.51 c #Conflicts: 691000 | #Constraints: 81864
2186.96/2205.51 c #Conflicts: 692000 | #Constraints: 82864
2186.96/2205.51 c #Conflicts: 693000 | #Constraints: 83864
2186.96/2205.51 c #Conflicts: 694000 | #Constraints: 84864
2186.96/2205.51 c #Conflicts: 695000 | #Constraints: 85865
2186.96/2205.51 c #Conflicts: 696000 | #Constraints: 86865
2186.96/2205.51 c #Conflicts: 697000 | #Constraints: 87865
2186.96/2205.51 c #Conflicts: 698000 | #Constraints: 88865
2186.96/2205.51 c #Conflicts: 699000 | #Constraints: 89865
2186.96/2205.51 c #Conflicts: 700000 | #Constraints: 90865
2186.96/2205.51 c #Conflicts: 701000 | #Constraints: 91865
2186.96/2205.51 c #Conflicts: 702000 | #Constraints: 92865
2186.96/2205.51 c #Conflicts: 703000 | #Constraints: 93865
2186.96/2205.51 c #Conflicts: 704000 | #Constraints: 94865
2186.96/2205.51 c #Conflicts: 705000 | #Constraints: 95865
2186.96/2205.51 c INPROCESSING
2186.96/2205.51 c GARBAGE COLLECT
2186.96/2205.51 c #Conflicts: 706000 | #Constraints: 80265
2186.96/2205.51 c #Conflicts: 707000 | #Constraints: 81265
2186.96/2205.51 c #Conflicts: 708000 | #Constraints: 82265
2186.96/2205.51 c #Conflicts: 709000 | #Constraints: 83265
2186.96/2205.51 c #Conflicts: 710000 | #Constraints: 84265
2186.96/2205.51 c #Conflicts: 711000 | #Constraints: 85265
2186.96/2205.51 c #Conflicts: 712000 | #Constraints: 86265
2186.96/2205.51 c #Conflicts: 713000 | #Constraints: 87265
2186.96/2205.51 c #Conflicts: 714000 | #Constraints: 88265
2186.96/2205.51 c #Conflicts: 715000 | #Constraints: 89265
2186.96/2205.51 c #Conflicts: 716000 | #Constraints: 90265
2186.96/2205.51 c #Conflicts: 717000 | #Constraints: 91265
2186.96/2205.51 c #Conflicts: 718000 | #Constraints: 92265
2186.96/2205.51 c #Conflicts: 719000 | #Constraints: 93265
2186.96/2205.51 c #Conflicts: 720000 | #Constraints: 94265
2186.96/2205.51 c #Conflicts: 721000 | #Constraints: 95265
2186.96/2205.51 c #Conflicts: 722000 | #Constraints: 96265
2186.96/2205.51 c INPROCESSING
2186.96/2205.51 c GARBAGE COLLECT
2186.96/2205.51 c rational objective 80
2263.72/2282.50 c #Conflicts: 723000 | #Constraints: 80495
2263.72/2282.50 c #Conflicts: 724000 | #Constraints: 81495
2263.72/2282.50 c #Conflicts: 725000 | #Constraints: 82495
2263.72/2282.50 c #Conflicts: 726000 | #Constraints: 83495
2263.72/2282.50 c #Conflicts: 727000 | #Constraints: 84495
2263.72/2282.50 c #Conflicts: 728000 | #Constraints: 85495
2263.72/2282.50 c #Conflicts: 729000 | #Constraints: 86495
2263.72/2282.50 c #Conflicts: 730000 | #Constraints: 87495
2263.72/2282.50 c #Conflicts: 731000 | #Constraints: 88495
2263.72/2282.50 c #Conflicts: 732000 | #Constraints: 89495
2263.72/2282.50 c #Conflicts: 733000 | #Constraints: 90495
2263.72/2282.50 c #Conflicts: 734000 | #Constraints: 91495
2263.72/2282.50 c #Conflicts: 735000 | #Constraints: 92495
2263.72/2282.50 c #Conflicts: 736000 | #Constraints: 93495
2263.72/2282.50 c #Conflicts: 737000 | #Constraints: 94495
2263.72/2282.50 c #Conflicts: 738000 | #Constraints: 95495
2263.72/2282.50 c #Conflicts: 739000 | #Constraints: 96495
2263.72/2282.50 c INPROCESSING
2263.72/2282.50 c GARBAGE COLLECT
2263.72/2282.50 c rational objective 80
2315.32/2334.39 c #Conflicts: 740000 | #Constraints: 80469
2315.32/2334.39 c #Conflicts: 741000 | #Constraints: 81469
2315.32/2334.39 c #Conflicts: 742000 | #Constraints: 82469
2315.32/2334.39 c #Conflicts: 743000 | #Constraints: 83469
2315.32/2334.39 c #Conflicts: 744000 | #Constraints: 84469
2315.32/2334.39 c #Conflicts: 745000 | #Constraints: 85469
2315.32/2334.39 c #Conflicts: 746000 | #Constraints: 86469
2315.32/2334.39 c #Conflicts: 747000 | #Constraints: 87469
2315.32/2334.39 c #Conflicts: 748000 | #Constraints: 88469
2315.32/2334.39 c #Conflicts: 749000 | #Constraints: 89469
2315.32/2334.39 c #Conflicts: 750000 | #Constraints: 90469
2315.32/2334.39 c #Conflicts: 751000 | #Constraints: 91469
2315.32/2334.39 c #Conflicts: 752000 | #Constraints: 92469
2315.32/2334.39 c #Conflicts: 753000 | #Constraints: 93469
2315.32/2334.39 c #Conflicts: 754000 | #Constraints: 94469
2315.32/2334.39 c #Conflicts: 755000 | #Constraints: 95469
2315.32/2334.39 c #Conflicts: 756000 | #Constraints: 96469
2315.32/2334.39 c INPROCESSING
2315.32/2334.39 c GARBAGE COLLECT
2315.32/2334.39 c rational objective 80
2371.43/2390.66 c #Conflicts: 757000 | #Constraints: 80298
2371.43/2390.66 c #Conflicts: 758000 | #Constraints: 81298
2371.43/2390.66 c #Conflicts: 759000 | #Constraints: 82298
2371.43/2390.66 c #Conflicts: 760000 | #Constraints: 83298
2371.43/2390.66 c #Conflicts: 761000 | #Constraints: 84298
2371.43/2390.66 c #Conflicts: 762000 | #Constraints: 85298
2371.43/2390.66 c #Conflicts: 763000 | #Constraints: 86298
2371.43/2390.66 c #Conflicts: 764000 | #Constraints: 87298
2371.43/2390.66 c #Conflicts: 765000 | #Constraints: 88298
2371.43/2390.66 c #Conflicts: 766000 | #Constraints: 89298
2371.43/2390.66 c #Conflicts: 767000 | #Constraints: 90298
2371.43/2390.66 c #Conflicts: 768000 | #Constraints: 91298
2371.43/2390.66 c #Conflicts: 769000 | #Constraints: 92298
2371.43/2390.66 c #Conflicts: 770000 | #Constraints: 93298
2371.43/2390.66 c #Conflicts: 771000 | #Constraints: 94298
2371.43/2390.66 c #Conflicts: 772000 | #Constraints: 95298
2371.43/2390.66 c #Conflicts: 773000 | #Constraints: 96298
2371.43/2390.66 c #Conflicts: 774000 | #Constraints: 97298
2371.43/2390.66 c INPROCESSING
2371.43/2390.66 c GARBAGE COLLECT
2371.43/2390.66 c rational objective 80
2417.69/2437.07 c #Conflicts: 775000 | #Constraints: 80907
2417.69/2437.07 c #Conflicts: 776000 | #Constraints: 81907
2417.69/2437.07 c #Conflicts: 777000 | #Constraints: 82907
2417.69/2437.07 c #Conflicts: 778000 | #Constraints: 83907
2417.69/2437.07 c #Conflicts: 779000 | #Constraints: 84907
2417.69/2437.07 c #Conflicts: 780000 | #Constraints: 85907
2417.69/2437.07 c #Conflicts: 781000 | #Constraints: 86907
2417.69/2437.07 c #Conflicts: 782000 | #Constraints: 87907
2417.69/2437.07 c #Conflicts: 783000 | #Constraints: 88907
2417.69/2437.07 c #Conflicts: 784000 | #Constraints: 89907
2417.69/2437.07 c #Conflicts: 785000 | #Constraints: 90907
2417.69/2437.07 c #Conflicts: 786000 | #Constraints: 91907
2417.69/2437.07 c #Conflicts: 787000 | #Constraints: 92907
2417.69/2437.07 c #Conflicts: 788000 | #Constraints: 93907
2417.69/2437.07 c #Conflicts: 789000 | #Constraints: 94907
2417.69/2437.07 c #Conflicts: 790000 | #Constraints: 95907
2417.69/2437.07 c #Conflicts: 791000 | #Constraints: 96907
2417.69/2437.07 c #Conflicts: 792000 | #Constraints: 97907
2417.69/2437.07 c INPROCESSING
2417.69/2437.07 c GARBAGE COLLECT
2417.69/2437.07 c rational objective 80
2489.02/2508.67 c #Conflicts: 793000 | #Constraints: 81321
2489.02/2508.67 c #Conflicts: 794000 | #Constraints: 82321
2489.02/2508.67 c #Conflicts: 795000 | #Constraints: 83321
2489.02/2508.67 c #Conflicts: 796000 | #Constraints: 84321
2489.02/2508.67 c #Conflicts: 797000 | #Constraints: 85321
2489.02/2508.67 c #Conflicts: 798000 | #Constraints: 86321
2489.02/2508.67 c #Conflicts: 799000 | #Constraints: 87321
2489.02/2508.67 c #Conflicts: 800000 | #Constraints: 88321
2489.02/2508.67 c #Conflicts: 801000 | #Constraints: 89321
2489.02/2508.67 c #Conflicts: 802000 | #Constraints: 90322
2489.02/2508.67 c #Conflicts: 803000 | #Constraints: 91322
2489.02/2508.67 c #Conflicts: 804000 | #Constraints: 92322
2489.02/2508.67 c #Conflicts: 805000 | #Constraints: 93322
2489.02/2508.67 c #Conflicts: 806000 | #Constraints: 94322
2489.02/2508.67 c #Conflicts: 807000 | #Constraints: 95322
2489.02/2508.67 c #Conflicts: 808000 | #Constraints: 96322
2489.02/2508.67 c #Conflicts: 809000 | #Constraints: 97322
2489.02/2508.67 c #Conflicts: 810000 | #Constraints: 98322
2489.02/2508.67 c INPROCESSING
2489.02/2508.67 c GARBAGE COLLECT
2489.02/2508.67 c rational objective 80
2536.15/2555.93 c #Conflicts: 811000 | #Constraints: 81491
2536.15/2555.93 c #Conflicts: 812000 | #Constraints: 82491
2536.15/2555.93 c #Conflicts: 813000 | #Constraints: 83491
2536.15/2555.93 c #Conflicts: 814000 | #Constraints: 84491
2536.15/2555.93 c #Conflicts: 815000 | #Constraints: 85491
2536.15/2555.93 c #Conflicts: 816000 | #Constraints: 86491
2536.15/2555.93 c #Conflicts: 817000 | #Constraints: 87491
2536.15/2555.93 c #Conflicts: 818000 | #Constraints: 88491
2536.15/2555.93 c #Conflicts: 819000 | #Constraints: 89491
2536.15/2555.93 c #Conflicts: 820000 | #Constraints: 90491
2536.15/2555.93 c #Conflicts: 821000 | #Constraints: 91491
2536.15/2555.93 c #Conflicts: 822000 | #Constraints: 92491
2536.15/2555.93 c #Conflicts: 823000 | #Constraints: 93491
2536.15/2555.93 c #Conflicts: 824000 | #Constraints: 94491
2536.15/2555.93 c #Conflicts: 825000 | #Constraints: 95491
2536.15/2555.93 c #Conflicts: 826000 | #Constraints: 96491
2536.15/2555.93 c #Conflicts: 827000 | #Constraints: 97491
2536.15/2555.93 c #Conflicts: 828000 | #Constraints: 98491
2536.15/2555.93 c INPROCESSING
2536.15/2555.93 c GARBAGE COLLECT
2536.15/2555.93 c rational objective 80
2577.41/2597.38 c #Conflicts: 829000 | #Constraints: 81485
2577.41/2597.38 c #Conflicts: 830000 | #Constraints: 82485
2577.41/2597.38 c #Conflicts: 831000 | #Constraints: 83485
2577.41/2597.38 c #Conflicts: 832000 | #Constraints: 84485
2577.41/2597.38 c #Conflicts: 833000 | #Constraints: 85485
2577.41/2597.38 c #Conflicts: 834000 | #Constraints: 86485
2577.41/2597.38 c #Conflicts: 835000 | #Constraints: 87485
2577.41/2597.38 c #Conflicts: 836000 | #Constraints: 88485
2577.41/2597.38 c #Conflicts: 837000 | #Constraints: 89485
2577.41/2597.38 c #Conflicts: 838000 | #Constraints: 90485
2577.41/2597.38 c #Conflicts: 839000 | #Constraints: 91485
2577.41/2597.38 c #Conflicts: 840000 | #Constraints: 92485
2577.41/2597.38 c #Conflicts: 841000 | #Constraints: 93485
2577.41/2597.38 c #Conflicts: 842000 | #Constraints: 94485
2577.41/2597.38 c #Conflicts: 843000 | #Constraints: 95485
2577.41/2597.38 c #Conflicts: 844000 | #Constraints: 96485
2577.41/2597.38 c #Conflicts: 845000 | #Constraints: 97485
2577.41/2597.38 c #Conflicts: 846000 | #Constraints: 98485
2577.41/2597.38 c INPROCESSING
2577.41/2597.38 c GARBAGE COLLECT
2577.41/2597.38 c rational objective 80
2621.08/2641.16 c #Conflicts: 847000 | #Constraints: 81279
2621.08/2641.16 c #Conflicts: 848000 | #Constraints: 82279
2621.08/2641.16 c #Conflicts: 849000 | #Constraints: 83279
2621.08/2641.16 c #Conflicts: 850000 | #Constraints: 84279
2621.08/2641.16 c #Conflicts: 851000 | #Constraints: 85279
2621.08/2641.16 c #Conflicts: 852000 | #Constraints: 86279
2621.08/2641.16 c #Conflicts: 853000 | #Constraints: 87279
2621.08/2641.16 c #Conflicts: 854000 | #Constraints: 88279
2621.08/2641.16 c #Conflicts: 855000 | #Constraints: 89279
2621.08/2641.16 c #Conflicts: 856000 | #Constraints: 90279
2621.08/2641.16 c #Conflicts: 857000 | #Constraints: 91279
2621.08/2641.16 c #Conflicts: 858000 | #Constraints: 92279
2621.08/2641.16 c #Conflicts: 859000 | #Constraints: 93279
2621.08/2641.16 c #Conflicts: 860000 | #Constraints: 94279
2621.08/2641.16 c #Conflicts: 861000 | #Constraints: 95279
2621.08/2641.16 c #Conflicts: 862000 | #Constraints: 96279
2621.08/2641.16 c #Conflicts: 863000 | #Constraints: 97279
2621.08/2641.16 c #Conflicts: 864000 | #Constraints: 98279
2621.08/2641.16 c #Conflicts: 865000 | #Constraints: 99279
2621.08/2641.16 c INPROCESSING
2621.08/2641.16 c GARBAGE COLLECT
2621.08/2641.16 c rational objective 80
2705.31/2725.85 c #Conflicts: 866000 | #Constraints: 81859
2705.31/2725.85 c #Conflicts: 867000 | #Constraints: 82859
2705.31/2725.85 c #Conflicts: 868000 | #Constraints: 83859
2705.31/2725.85 c #Conflicts: 869000 | #Constraints: 84859
2705.31/2725.85 c #Conflicts: 870000 | #Constraints: 85859
2705.31/2725.85 c #Conflicts: 871000 | #Constraints: 86859
2705.31/2725.85 c #Conflicts: 872000 | #Constraints: 87859
2705.31/2725.85 c #Conflicts: 873000 | #Constraints: 88859
2705.31/2725.85 c #Conflicts: 874000 | #Constraints: 89859
2705.31/2725.85 c #Conflicts: 875000 | #Constraints: 90859
2705.31/2725.85 c #Conflicts: 876000 | #Constraints: 91859
2705.31/2725.85 c #Conflicts: 877000 | #Constraints: 92859
2705.31/2725.85 c #Conflicts: 878000 | #Constraints: 93859
2705.31/2725.85 c #Conflicts: 879000 | #Constraints: 94859
2705.31/2725.85 c #Conflicts: 880000 | #Constraints: 95859
2705.31/2725.85 c #Conflicts: 881000 | #Constraints: 96859
2705.31/2725.85 c #Conflicts: 882000 | #Constraints: 97859
2705.31/2725.85 c #Conflicts: 883000 | #Constraints: 98859
2705.31/2725.85 c #Conflicts: 884000 | #Constraints: 99859
2705.31/2725.85 c INPROCESSING
2705.31/2725.85 c GARBAGE COLLECT
2705.31/2725.85 c rational objective 80
2747.50/2768.14 c #Conflicts: 885000 | #Constraints: 82256
2747.50/2768.14 c #Conflicts: 886000 | #Constraints: 83256
2747.50/2768.14 c #Conflicts: 887000 | #Constraints: 84256
2747.50/2768.14 c #Conflicts: 888000 | #Constraints: 85256
2747.50/2768.14 c #Conflicts: 889000 | #Constraints: 86256
2747.50/2768.14 c #Conflicts: 890000 | #Constraints: 87256
2747.50/2768.14 c #Conflicts: 891000 | #Constraints: 88256
2747.50/2768.14 c #Conflicts: 892000 | #Constraints: 89256
2747.50/2768.14 c #Conflicts: 893000 | #Constraints: 90256
2747.50/2768.14 c #Conflicts: 894000 | #Constraints: 91256
2747.50/2768.14 c #Conflicts: 895000 | #Constraints: 92256
2747.50/2768.14 c #Conflicts: 896000 | #Constraints: 93256
2747.50/2768.14 c #Conflicts: 897000 | #Constraints: 94256
2747.50/2768.14 c #Conflicts: 898000 | #Constraints: 95256
2747.50/2768.14 c #Conflicts: 899000 | #Constraints: 96256
2747.50/2768.14 c #Conflicts: 900000 | #Constraints: 97256
2747.50/2768.14 c #Conflicts: 901000 | #Constraints: 98256
2747.50/2768.14 c #Conflicts: 902000 | #Constraints: 99256
2747.50/2768.14 c #Conflicts: 903000 | #Constraints: 100256
2747.50/2768.14 c INPROCESSING
2747.50/2768.14 c GARBAGE COLLECT
2747.50/2768.14 c rational objective 80
2796.81/2817.65 c #Conflicts: 904000 | #Constraints: 82449
2796.81/2817.65 c #Conflicts: 905000 | #Constraints: 83449
2796.81/2817.65 c #Conflicts: 906000 | #Constraints: 84449
2796.81/2817.65 c #Conflicts: 907000 | #Constraints: 85449
2796.81/2817.65 c #Conflicts: 908000 | #Constraints: 86449
2796.81/2817.65 c #Conflicts: 909000 | #Constraints: 87449
2796.81/2817.65 c #Conflicts: 910000 | #Constraints: 88449
2796.81/2817.65 c #Conflicts: 911000 | #Constraints: 89449
2796.81/2817.65 c #Conflicts: 912000 | #Constraints: 90449
2796.81/2817.65 c #Conflicts: 913000 | #Constraints: 91449
2796.81/2817.65 c #Conflicts: 914000 | #Constraints: 92449
2796.81/2817.65 c #Conflicts: 915000 | #Constraints: 93449
2796.81/2817.65 c #Conflicts: 916000 | #Constraints: 94449
2796.81/2817.65 c #Conflicts: 917000 | #Constraints: 95449
2796.81/2817.65 c #Conflicts: 918000 | #Constraints: 96449
2796.81/2817.65 c #Conflicts: 919000 | #Constraints: 97449
2796.81/2817.65 c #Conflicts: 920000 | #Constraints: 98449
2796.81/2817.65 c #Conflicts: 921000 | #Constraints: 99449
2796.81/2817.65 c #Conflicts: 922000 | #Constraints: 100449
2796.81/2817.65 c INPROCESSING
2796.81/2817.65 c GARBAGE COLLECT
2796.81/2817.65 c rational objective 80
2842.40/2863.49 c #Conflicts: 923000 | #Constraints: 82451
2842.40/2863.49 c #Conflicts: 924000 | #Constraints: 83451
2842.40/2863.49 c #Conflicts: 925000 | #Constraints: 84451
2842.40/2863.49 c #Conflicts: 926000 | #Constraints: 85451
2842.40/2863.49 c #Conflicts: 927000 | #Constraints: 86451
2842.40/2863.49 c #Conflicts: 928000 | #Constraints: 87451
2842.40/2863.49 c #Conflicts: 929000 | #Constraints: 88451
2842.40/2863.49 c #Conflicts: 930000 | #Constraints: 89451
2842.40/2863.49 c #Conflicts: 931000 | #Constraints: 90451
2842.40/2863.49 c #Conflicts: 932000 | #Constraints: 91451
2842.40/2863.49 c #Conflicts: 933000 | #Constraints: 92451
2842.40/2863.49 c #Conflicts: 934000 | #Constraints: 93451
2842.40/2863.49 c #Conflicts: 935000 | #Constraints: 94451
2842.40/2863.49 c #Conflicts: 936000 | #Constraints: 95451
2842.40/2863.49 c #Conflicts: 937000 | #Constraints: 96451
2842.40/2863.49 c #Conflicts: 938000 | #Constraints: 97451
2842.40/2863.49 c #Conflicts: 939000 | #Constraints: 98451
2842.40/2863.49 c #Conflicts: 940000 | #Constraints: 99451
2842.40/2863.49 c #Conflicts: 941000 | #Constraints: 100451
2842.40/2863.49 c INPROCESSING
2842.40/2863.49 c GARBAGE COLLECT
2842.40/2863.49 c rational objective 80
2867.20/2888.37 c #Conflicts: 942000 | #Constraints: 82262
2867.20/2888.37 c #Conflicts: 943000 | #Constraints: 83262
2867.20/2888.37 c #Conflicts: 944000 | #Constraints: 84263
2867.20/2888.37 c #Conflicts: 945000 | #Constraints: 85263
2867.20/2888.37 c #Conflicts: 946000 | #Constraints: 86263
2867.20/2888.37 c #Conflicts: 947000 | #Constraints: 87263
2867.20/2888.37 c #Conflicts: 948000 | #Constraints: 88263
2867.20/2888.37 c #Conflicts: 949000 | #Constraints: 89263
2867.20/2888.37 c #Conflicts: 950000 | #Constraints: 90263
2867.20/2888.37 WSVECS04 Frhs2[7587]: 6 -10 0 shouldn't be
2891.92/2913.19 c #Conflicts: 951000 | #Constraints: 91263
2891.92/2913.19 c #Conflicts: 952000 | #Constraints: 92263
2891.92/2913.19 c #Conflicts: 953000 | #Constraints: 93263
2891.92/2913.19 c #Conflicts: 954000 | #Constraints: 94263
2891.92/2913.19 c #Conflicts: 955000 | #Constraints: 95263
2891.92/2913.19 c #Conflicts: 956000 | #Constraints: 96263
2891.92/2913.19 c #Conflicts: 957000 | #Constraints: 97263
2891.92/2913.19 c #Conflicts: 958000 | #Constraints: 98263
2891.92/2913.19 c #Conflicts: 959000 | #Constraints: 99263
2891.92/2913.19 c #Conflicts: 960000 | #Constraints: 100263
2891.92/2913.19 c #Conflicts: 961000 | #Constraints: 101263
2891.92/2913.19 c INPROCESSING
2891.92/2913.19 c GARBAGE COLLECT
2891.92/2913.19 c rational objective 80
2953.70/2975.17 c #Conflicts: 962000 | #Constraints: 82892
2953.70/2975.17 c #Conflicts: 963000 | #Constraints: 83892
2953.70/2975.17 c #Conflicts: 964000 | #Constraints: 84892
2953.70/2975.17 c #Conflicts: 965000 | #Constraints: 85892
2953.70/2975.17 c #Conflicts: 966000 | #Constraints: 86892
2953.70/2975.17 c #Conflicts: 967000 | #Constraints: 87892
2953.70/2975.17 c #Conflicts: 968000 | #Constraints: 88892
2953.70/2975.17 c #Conflicts: 969000 | #Constraints: 89892
2953.70/2975.17 c #Conflicts: 970000 | #Constraints: 90892
2953.70/2975.17 c #Conflicts: 971000 | #Constraints: 91892
2953.70/2975.17 c #Conflicts: 972000 | #Constraints: 92892
2953.70/2975.17 c #Conflicts: 973000 | #Constraints: 93892
2953.70/2975.17 c #Conflicts: 974000 | #Constraints: 94892
2953.70/2975.17 c #Conflicts: 975000 | #Constraints: 95892
2953.70/2975.17 c #Conflicts: 976000 | #Constraints: 96892
2953.70/2975.17 c #Conflicts: 977000 | #Constraints: 97892
2953.70/2975.17 c #Conflicts: 978000 | #Constraints: 98892
2953.70/2975.17 c #Conflicts: 979000 | #Constraints: 99892
2953.70/2975.17 c #Conflicts: 980000 | #Constraints: 100892
2953.70/2975.17 c #Conflicts: 981000 | #Constraints: 101892
2953.70/2975.17 c INPROCESSING
2953.70/2975.17 c GARBAGE COLLECT
2953.70/2975.17 c rational objective 80
3010.78/3032.48 c #Conflicts: 982000 | #Constraints: 83310
3010.78/3032.48 c #Conflicts: 983000 | #Constraints: 84310
3010.78/3032.48 c #Conflicts: 984000 | #Constraints: 85310
3010.78/3032.48 c #Conflicts: 985000 | #Constraints: 86310
3010.78/3032.48 c #Conflicts: 986000 | #Constraints: 87310
3010.78/3032.48 c #Conflicts: 987000 | #Constraints: 88310
3010.78/3032.48 c #Conflicts: 988000 | #Constraints: 89310
3010.78/3032.48 c #Conflicts: 989000 | #Constraints: 90310
3010.78/3032.48 c #Conflicts: 990000 | #Constraints: 91310
3010.78/3032.48 c #Conflicts: 991000 | #Constraints: 92310
3010.78/3032.48 c #Conflicts: 992000 | #Constraints: 93310
3010.78/3032.48 c #Conflicts: 993000 | #Constraints: 94310
3010.78/3032.48 c #Conflicts: 994000 | #Constraints: 95310
3010.78/3032.48 c #Conflicts: 995000 | #Constraints: 96310
3010.78/3032.48 c #Conflicts: 996000 | #Constraints: 97310
3010.78/3032.48 c #Conflicts: 997000 | #Constraints: 98310
3010.78/3032.48 c #Conflicts: 998000 | #Constraints: 99310
3010.78/3032.48 c #Conflicts: 999000 | #Constraints: 100310
3010.78/3032.48 c #Conflicts: 1000000 | #Constraints: 101310
3010.78/3032.48 c #Conflicts: 1001000 | #Constraints: 102310
3010.78/3032.48 c INPROCESSING
3010.78/3032.48 c GARBAGE COLLECT
3010.78/3032.48 c rational objective 80
3069.78/3091.62 c #Conflicts: 1002000 | #Constraints: 83530
3069.78/3091.62 c #Conflicts: 1003000 | #Constraints: 84530
3069.78/3091.62 c #Conflicts: 1004000 | #Constraints: 85530
3069.78/3091.62 c #Conflicts: 1005000 | #Constraints: 86530
3069.78/3091.62 c #Conflicts: 1006000 | #Constraints: 87530
3069.78/3091.62 c #Conflicts: 1007000 | #Constraints: 88530
3069.78/3091.62 c #Conflicts: 1008000 | #Constraints: 89530
3069.78/3091.62 c #Conflicts: 1009000 | #Constraints: 90530
3069.78/3091.62 c #Conflicts: 1010000 | #Constraints: 91530
3069.78/3091.62 c #Conflicts: 1011000 | #Constraints: 92530
3069.78/3091.62 c #Conflicts: 1012000 | #Constraints: 93530
3069.78/3091.62 c #Conflicts: 1013000 | #Constraints: 94530
3069.78/3091.62 c #Conflicts: 1014000 | #Constraints: 95530
3069.78/3091.62 c #Conflicts: 1015000 | #Constraints: 96530
3069.78/3091.62 c #Conflicts: 1016000 | #Constraints: 97531
3069.78/3091.62 c #Conflicts: 1017000 | #Constraints: 98531
3069.78/3091.62 c #Conflicts: 1018000 | #Constraints: 99531
3069.78/3091.62 c #Conflicts: 1019000 | #Constraints: 100531
3069.78/3091.62 c #Conflicts: 1020000 | #Constraints: 101531
3069.78/3091.62 c #Conflicts: 1021000 | #Constraints: 102531
3069.78/3091.62 c INPROCESSING
3069.78/3091.62 c GARBAGE COLLECT
3069.78/3091.62 c rational objective 80
3127.40/3149.49 c #Conflicts: 1022000 | #Constraints: 83530
3127.40/3149.49 c #Conflicts: 1023000 | #Constraints: 84530
3127.40/3149.49 c #Conflicts: 1024000 | #Constraints: 85530
3127.40/3149.49 c #Conflicts: 1025000 | #Constraints: 86530
3127.40/3149.49 c #Conflicts: 1026000 | #Constraints: 87530
3127.40/3149.49 c #Conflicts: 1027000 | #Constraints: 88530
3127.40/3149.49 c #Conflicts: 1028000 | #Constraints: 89530
3127.40/3149.49 c #Conflicts: 1029000 | #Constraints: 90530
3127.40/3149.49 c #Conflicts: 1030000 | #Constraints: 91530
3127.40/3149.49 c #Conflicts: 1031000 | #Constraints: 92530
3127.40/3149.49 c #Conflicts: 1032000 | #Constraints: 93530
3127.40/3149.49 c #Conflicts: 1033000 | #Constraints: 94530
3127.40/3149.49 c #Conflicts: 1034000 | #Constraints: 95530
3127.40/3149.49 c #Conflicts: 1035000 | #Constraints: 96530
3127.40/3149.49 c #Conflicts: 1036000 | #Constraints: 97530
3127.40/3149.49 c #Conflicts: 1037000 | #Constraints: 98530
3127.40/3149.49 c #Conflicts: 1038000 | #Constraints: 99530
3127.40/3149.49 c #Conflicts: 1039000 | #Constraints: 100530
3127.40/3149.49 c #Conflicts: 1040000 | #Constraints: 101530
3127.40/3149.49 c #Conflicts: 1041000 | #Constraints: 102530
3127.40/3149.49 c INPROCESSING
3127.40/3149.49 c GARBAGE COLLECT
3127.40/3149.49 c rational objective 80
3233.11/3255.41 c #Conflicts: 1042000 | #Constraints: 83323
3233.11/3255.41 c #Conflicts: 1043000 | #Constraints: 84323
3233.11/3255.41 c #Conflicts: 1044000 | #Constraints: 85324
3233.11/3255.41 c #Conflicts: 1045000 | #Constraints: 86324
3233.11/3255.41 c #Conflicts: 1046000 | #Constraints: 87324
3233.11/3255.41 c #Conflicts: 1047000 | #Constraints: 88324
3233.11/3255.41 c #Conflicts: 1048000 | #Constraints: 89324
3233.11/3255.41 c #Conflicts: 1049000 | #Constraints: 90324
3233.11/3255.41 c #Conflicts: 1050000 | #Constraints: 91324
3233.11/3255.41 c #Conflicts: 1051000 | #Constraints: 92324
3233.11/3255.41 c #Conflicts: 1052000 | #Constraints: 93324
3233.11/3255.41 c #Conflicts: 1053000 | #Constraints: 94324
3233.11/3255.41 c #Conflicts: 1054000 | #Constraints: 95324
3233.11/3255.41 c #Conflicts: 1055000 | #Constraints: 96324
3233.11/3255.41 c #Conflicts: 1056000 | #Constraints: 97324
3233.11/3255.41 c #Conflicts: 1057000 | #Constraints: 98324
3233.11/3255.41 c #Conflicts: 1058000 | #Constraints: 99324
3233.11/3255.41 c #Conflicts: 1059000 | #Constraints: 100324
3233.11/3255.41 c #Conflicts: 1060000 | #Constraints: 101324
3233.11/3255.41 c #Conflicts: 1061000 | #Constraints: 102324
3233.11/3255.41 c #Conflicts: 1062000 | #Constraints: 103324
3233.11/3255.41 c INPROCESSING
3233.11/3255.41 c GARBAGE COLLECT
3233.11/3255.41 c rational objective 80
3278.75/3301.25 c #Conflicts: 1063000 | #Constraints: 83925
3278.75/3301.25 c #Conflicts: 1064000 | #Constraints: 84925
3278.75/3301.25 c #Conflicts: 1065000 | #Constraints: 85925
3278.75/3301.25 c #Conflicts: 1066000 | #Constraints: 86925
3278.75/3301.25 c #Conflicts: 1067000 | #Constraints: 87925
3278.75/3301.25 c #Conflicts: 1068000 | #Constraints: 88925
3278.75/3301.25 c #Conflicts: 1069000 | #Constraints: 89925
3278.75/3301.25 c #Conflicts: 1070000 | #Constraints: 90925
3278.75/3301.25 c #Conflicts: 1071000 | #Constraints: 91925
3278.75/3301.25 c #Conflicts: 1072000 | #Constraints: 92925
3278.75/3301.25 c #Conflicts: 1073000 | #Constraints: 93925
3278.75/3301.25 c #Conflicts: 1074000 | #Constraints: 94925
3278.75/3301.25 c #Conflicts: 1075000 | #Constraints: 95925
3278.75/3301.25 c #Conflicts: 1076000 | #Constraints: 96925
3278.75/3301.25 c #Conflicts: 1077000 | #Constraints: 97925
3278.75/3301.25 c #Conflicts: 1078000 | #Constraints: 98925
3278.75/3301.25 c #Conflicts: 1079000 | #Constraints: 99925
3278.75/3301.25 c #Conflicts: 1080000 | #Constraints: 100925
3278.75/3301.25 c #Conflicts: 1081000 | #Constraints: 101925
3278.75/3301.25 c #Conflicts: 1082000 | #Constraints: 102925
3278.75/3301.25 c #Conflicts: 1083000 | #Constraints: 103925
3278.75/3301.25 c INPROCESSING
3278.75/3301.25 c GARBAGE COLLECT
3278.75/3301.25 c rational objective 80
3325.41/3348.09 c #Conflicts: 1084000 | #Constraints: 84289
3325.41/3348.09 c #Conflicts: 1085000 | #Constraints: 85289
3325.41/3348.09 c #Conflicts: 1086000 | #Constraints: 86289
3325.41/3348.09 c #Conflicts: 1087000 | #Constraints: 87289
3325.41/3348.09 c #Conflicts: 1088000 | #Constraints: 88289
3325.41/3348.09 c #Conflicts: 1089000 | #Constraints: 89290
3325.41/3348.09 c #Conflicts: 1090000 | #Constraints: 90290
3325.41/3348.09 c #Conflicts: 1091000 | #Constraints: 91290
3325.41/3348.09 c #Conflicts: 1092000 | #Constraints: 92290
3325.41/3348.09 c #Conflicts: 1093000 | #Constraints: 93290
3325.41/3348.09 c #Conflicts: 1094000 | #Constraints: 94290
3325.41/3348.09 c #Conflicts: 1095000 | #Constraints: 95290
3325.41/3348.09 c #Conflicts: 1096000 | #Constraints: 96290
3325.41/3348.09 c #Conflicts: 1097000 | #Constraints: 97291
3325.41/3348.09 c #Conflicts: 1098000 | #Constraints: 98291
3325.41/3348.09 c #Conflicts: 1099000 | #Constraints: 99291
3325.41/3348.09 c #Conflicts: 1100000 | #Constraints: 100291
3325.41/3348.09 c #Conflicts: 1101000 | #Constraints: 101291
3325.41/3348.09 c #Conflicts: 1102000 | #Constraints: 102291
3325.41/3348.09 c #Conflicts: 1103000 | #Constraints: 103291
3325.41/3348.09 c #Conflicts: 1104000 | #Constraints: 104291
3325.41/3348.09 c INPROCESSING
3325.41/3348.09 c GARBAGE COLLECT
3325.41/3348.09 c rational objective 80
3375.54/3398.32 c #Conflicts: 1105000 | #Constraints: 84485
3375.54/3398.32 c #Conflicts: 1106000 | #Constraints: 85485
3375.54/3398.32 c #Conflicts: 1107000 | #Constraints: 86485
3375.54/3398.32 c #Conflicts: 1108000 | #Constraints: 87485
3375.54/3398.32 c #Conflicts: 1109000 | #Constraints: 88485
3375.54/3398.32 c #Conflicts: 1110000 | #Constraints: 89485
3375.54/3398.32 c #Conflicts: 1111000 | #Constraints: 90485
3375.54/3398.32 c #Conflicts: 1112000 | #Constraints: 91485
3375.54/3398.32 c #Conflicts: 1113000 | #Constraints: 92485
3375.54/3398.32 c #Conflicts: 1114000 | #Constraints: 93485
3375.54/3398.32 c #Conflicts: 1115000 | #Constraints: 94485
3375.54/3398.32 c #Conflicts: 1116000 | #Constraints: 95485
3375.54/3398.32 c #Conflicts: 1117000 | #Constraints: 96485
3375.54/3398.32 c #Conflicts: 1118000 | #Constraints: 97485
3375.54/3398.32 c #Conflicts: 1119000 | #Constraints: 98485
3375.54/3398.32 c #Conflicts: 1120000 | #Constraints: 99485
3375.54/3398.32 c #Conflicts: 1121000 | #Constraints: 100485
3375.54/3398.32 c #Conflicts: 1122000 | #Constraints: 101485
3375.54/3398.32 c #Conflicts: 1123000 | #Constraints: 102485
3375.54/3398.32 c #Conflicts: 1124000 | #Constraints: 103485
3375.54/3398.32 c #Conflicts: 1125000 | #Constraints: 104485
3375.54/3398.32 c INPROCESSING
3375.54/3398.32 c GARBAGE COLLECT
3375.54/3398.32 c rational objective 80
3457.47/3480.52 c #Conflicts: 1126000 | #Constraints: 84477
3457.47/3480.52 c #Conflicts: 1127000 | #Constraints: 85477
3457.47/3480.52 c #Conflicts: 1128000 | #Constraints: 86477
3457.47/3480.52 c #Conflicts: 1129000 | #Constraints: 87477
3457.47/3480.52 c #Conflicts: 1130000 | #Constraints: 88477
3457.47/3480.52 c #Conflicts: 1131000 | #Constraints: 89477
3457.47/3480.52 c #Conflicts: 1132000 | #Constraints: 90477
3457.47/3480.52 c #Conflicts: 1133000 | #Constraints: 91477
3457.47/3480.52 c #Conflicts: 1134000 | #Constraints: 92477
3457.47/3480.52 c #Conflicts: 1135000 | #Constraints: 93477
3457.47/3480.52 c #Conflicts: 1136000 | #Constraints: 94477
3457.47/3480.52 c #Conflicts: 1137000 | #Constraints: 95477
3457.47/3480.52 c #Conflicts: 1138000 | #Constraints: 96477
3457.47/3480.52 c #Conflicts: 1139000 | #Constraints: 97477
3457.47/3480.52 c #Conflicts: 1140000 | #Constraints: 98477
3457.47/3480.52 c #Conflicts: 1141000 | #Constraints: 99477
3457.47/3480.52 c #Conflicts: 1142000 | #Constraints: 100477
3457.47/3480.52 c #Conflicts: 1143000 | #Constraints: 101477
3457.47/3480.52 c #Conflicts: 1144000 | #Constraints: 102477
3457.47/3480.52 c #Conflicts: 1145000 | #Constraints: 103477
3457.47/3480.52 c #Conflicts: 1146000 | #Constraints: 104477
3457.47/3480.52 c INPROCESSING
3457.47/3480.52 c GARBAGE COLLECT
3457.47/3480.52 c rational objective 80
3504.62/3527.81 c #Conflicts: 1147000 | #Constraints: 84270
3504.62/3527.81 c #Conflicts: 1148000 | #Constraints: 85270
3504.62/3527.81 c #Conflicts: 1149000 | #Constraints: 86270
3504.62/3527.81 c #Conflicts: 1150000 | #Constraints: 87270
3504.62/3527.81 c #Conflicts: 1151000 | #Constraints: 88270
3504.62/3527.81 c #Conflicts: 1152000 | #Constraints: 89270
3504.62/3527.81 c #Conflicts: 1153000 | #Constraints: 90270
3504.62/3527.81 c #Conflicts: 1154000 | #Constraints: 91270
3504.62/3527.81 c #Conflicts: 1155000 | #Constraints: 92270
3504.62/3527.81 c #Conflicts: 1156000 | #Constraints: 93270
3504.62/3527.81 c #Conflicts: 1157000 | #Constraints: 94270
3504.62/3527.81 c #Conflicts: 1158000 | #Constraints: 95270
3504.62/3527.81 c #Conflicts: 1159000 | #Constraints: 96270
3504.62/3527.81 c #Conflicts: 1160000 | #Constraints: 97270
3504.62/3527.81 c #Conflicts: 1161000 | #Constraints: 98270
3504.62/3527.81 c #Conflicts: 1162000 | #Constraints: 99270
3504.62/3527.81 c #Conflicts: 1163000 | #Constraints: 100270
3504.62/3527.81 c #Conflicts: 1164000 | #Constraints: 101270
3504.62/3527.81 c #Conflicts: 1165000 | #Constraints: 102270
3504.62/3527.81 c #Conflicts: 1166000 | #Constraints: 103270
3504.62/3527.81 c #Conflicts: 1167000 | #Constraints: 104270
3504.62/3527.81 c #Conflicts: 1168000 | #Constraints: 105270
3504.62/3527.81 c INPROCESSING
3504.62/3527.81 c GARBAGE COLLECT
3504.62/3527.81 c rational objective 80
3548.77/3572.14 c #Conflicts: 1169000 | #Constraints: 84862
3548.77/3572.14 c #Conflicts: 1170000 | #Constraints: 85863
3548.77/3572.14 c #Conflicts: 1171000 | #Constraints: 86863
3548.77/3572.14 c #Conflicts: 1172000 | #Constraints: 87863
3548.77/3572.14 c #Conflicts: 1173000 | #Constraints: 88863
3548.77/3572.14 c #Conflicts: 1174000 | #Constraints: 89863
3548.77/3572.14 c #Conflicts: 1175000 | #Constraints: 90863
3548.77/3572.14 c #Conflicts: 1176000 | #Constraints: 91863
3548.77/3572.14 c #Conflicts: 1177000 | #Constraints: 92863
3548.77/3572.14 c #Conflicts: 1178000 | #Constraints: 93863
3548.77/3572.14 c #Conflicts: 1179000 | #Constraints: 94863
3548.77/3572.14 c #Conflicts: 1180000 | #Constraints: 95863
3548.77/3572.14 c #Conflicts: 1181000 | #Constraints: 96863
3548.77/3572.14 c #Conflicts: 1182000 | #Constraints: 97863
3548.77/3572.14 c #Conflicts: 1183000 | #Constraints: 98863
3548.77/3572.14 c #Conflicts: 1184000 | #Constraints: 99864
3548.77/3572.14 c #Conflicts: 1185000 | #Constraints: 100864
3548.77/3572.14 c #Conflicts: 1186000 | #Constraints: 101864
3548.77/3572.14 c #Conflicts: 1187000 | #Constraints: 102864
3548.77/3572.14 c #Conflicts: 1188000 | #Constraints: 103864
3548.77/3572.14 c #Conflicts: 1189000 | #Constraints: 104864
3548.77/3572.14 c #Conflicts: 1190000 | #Constraints: 105864
3548.77/3572.14 c INPROCESSING
3548.77/3572.14 c GARBAGE COLLECT
3548.77/3572.14 c rational objective 80
3585.74/3609.21 c #Conflicts: 1191000 | #Constraints: 85310
3585.74/3609.21 c #Conflicts: 1192000 | #Constraints: 86310
3585.74/3609.21 c #Conflicts: 1193000 | #Constraints: 87310
3585.74/3609.21 c #Conflicts: 1194000 | #Constraints: 88310
3585.74/3609.21 c #Conflicts: 1195000 | #Constraints: 89310
3585.74/3609.21 c #Conflicts: 1196000 | #Constraints: 90310
3585.74/3609.21 c #Conflicts: 1197000 | #Constraints: 91310
3585.74/3609.21 c #Conflicts: 1198000 | #Constraints: 92310
3585.74/3609.21 c #Conflicts: 1199000 | #Constraints: 93310
3585.74/3609.21 c #Conflicts: 1200000 | #Constraints: 94310
3585.74/3609.21 c #Conflicts: 1201000 | #Constraints: 95310
3585.74/3609.21 c #Conflicts: 1202000 | #Constraints: 96310
3585.74/3609.21 c #Conflicts: 1203000 | #Constraints: 97310
3585.74/3609.21 c #Conflicts: 1204000 | #Constraints: 98310
3585.74/3609.21 c #Conflicts: 1205000 | #Constraints: 99310
3585.74/3609.21 c #Conflicts: 1206000 | #Constraints: 100310
3585.74/3609.21 c #Conflicts: 1207000 | #Constraints: 101310
3585.74/3609.21 c #Conflicts: 1208000 | #Constraints: 102310
3585.74/3609.21 c #Conflicts: 1209000 | #Constraints: 103310
3585.74/3609.21 c #Conflicts: 1210000 | #Constraints: 104310
3585.74/3609.21 c #Conflicts: 1211000 | #Constraints: 105310
3585.74/3609.21 c #Conflicts: 1212000 | #Constraints: 106310
3585.74/3609.21 c INPROCESSING
3585.74/3609.21 c GARBAGE COLLECT
3585.74/3609.21 c rational objective 80
3600.00/3623.50 c #Conflicts: 1213000 | #Constraints: 85551
3600.00/3623.50 c #Conflicts: 1214000 | #Constraints: 86551
3600.00/3623.50 c #Conflicts: 1215000 | #Constraints: 87551
3600.00/3623.50 c #Conflicts: 1216000 | #Constraints: 88551
3600.00/3623.50 c #Conflicts: 1217000 | #Constraints: 89551
3600.00/3623.50 c Disabling crashed LP
3600.00/3623.50 c cpu time 3581.02 s
3600.00/3623.50 c deterministic time 28425333489 2.84e+10
3600.00/3623.50 c optimization time 13.8112 s
3600.00/3623.50 c total solve time 3566.43 s
3600.00/3623.50 c core-guided solve time 1221.01 s
3600.00/3623.50 c propagation time 1855.11 s
3600.00/3623.50 c conflict analysis time 73.8804 s
3600.00/3623.50 c propagations 222897548
3600.00/3623.50 c resolve steps 14344497
3600.00/3623.50 c decisions 1975997
3600.00/3623.50 c conflicts 1217883
3600.00/3623.50 c restarts 2300
3600.00/3623.50 c inprocessing phases 101
3600.00/3623.50 c garbage collections 95 ,( 94.06 )
3600.00/3623.50 c input clauses 61338 ,( 98.05 )
3600.00/3623.50 c input cardinalities 323 ,( 0.52 )
3600.00/3623.50 c input general constraints 896 ,( 1.43 )
3600.00/3623.50 c input average constraint length 3.23
3600.00/3623.50 c input average constraint degree 1.26
3600.00/3623.50 c learned clauses 878997 ,( 72.12 )
3600.00/3623.50 c learned cardinalities 91542 ,( 7.51 )
3600.00/3623.50 c learned general constraints 248294 ,( 20.37 )
3600.00/3623.50 c learned average constraint length 191.07
3600.00/3623.50 c learned average constraint degree 8619313.74
3600.00/3623.50 c watched CF 32, 64, 128, Arb: 235623 , 0 , 0 , 0
3600.00/3623.50 c counting CF 32, 64, 128, Arb: 13568 , 0 , 0 , 0
3600.00/3623.50 c watched constraints 235623 ,( 94.56 )
3600.00/3623.50 c counting constraints 13567 ,( 5.44 )
3600.00/3623.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 482154590 , 649360508 , 612637371 ,( 467705309 , 144932062 )
3600.00/3623.50 c gcd simplifications 32150
3600.00/3623.50 c detected cardinalities 5263
3600.00/3623.50 c weakened non-implied lits 17636410
3600.00/3623.50 c weakened non-implying lits 13032
3600.00/3623.50 c original variables 20515
3600.00/3623.50 c clausal propagations 208008028
3600.00/3623.50 c cardinality propagations 5112196
3600.00/3623.50 c watched propagations 6026583
3600.00/3623.50 c counting propagations 1720655
3600.00/3623.50 c watch lookups 5905203288
3600.00/3623.50 c watch backjump lookups 0
3600.00/3623.50 c watch checks 18721643827
3600.00/3623.50 c propagation checks 2766089821
3600.00/3623.50 c constraint additions 579066552
3600.00/3623.50 c trail pops 226091174
3600.00/3623.50 c formula constraints 62482
3600.00/3623.50 c learned constraints 1217867
3600.00/3623.50 c bound constraints 8
3600.00/3623.50 c core-guided constraints 67
3600.00/3623.50 c encountered formula constraints 10422642
3600.00/3623.50 c encountered learned constraints 4858932
3600.00/3623.50 c encountered bound constraints 0
3600.00/3623.50 c encountered core-guided constraints 164892
3600.00/3623.50 c LP total time 3274.92 s
3600.00/3623.50 c LP solve time 3253.46 s
3600.00/3623.50 c LP constraints added 70615
3600.00/3623.50 c LP constraints removed 7849
3600.00/3623.50 c LP pivots internal 1217881
3600.00/3623.50 c LP pivots root 1147400
3600.00/3623.50 c LP calls 115
3600.00/3623.50 c LP optimalities 91
3600.00/3623.50 c LP no pivot count 0
3600.00/3623.50 c LP infeasibilities 17
3600.00/3623.50 c LP valid Farkas constraints 16
3600.00/3623.50 c LP learned Farkas constraints 16
3600.00/3623.50 c LP basis resets 1
3600.00/3623.50 c LP cycling count 0
3600.00/3623.50 c LP singular count 0
3600.00/3623.50 c LP no primal count 0
3600.00/3623.50 c LP no farkas count 1
3600.00/3623.50 c LP other issue count 0
3600.00/3623.50 c LP Gomory cuts 934
3600.00/3623.50 c LP learned cuts 7199
3600.00/3623.50 c LP deleted cuts 7849
3600.00/3623.50 c LP encountered Gomory constraints 104770
3600.00/3623.50 c LP encountered Farkas constraints 10040
3600.00/3623.50 c LP encountered learned Farkas constraints 1088
3600.00/3623.50 c CG auxiliary variables introduced 25
3600.00/3623.50 c CG solutions found 0
3600.00/3623.50 c CG cores constructed 8
3600.00/3623.50 c CG core cardinality constraints returned 0
3600.00/3623.50 c CG unit cores 0
3600.00/3623.50 c CG single cores 8
3600.00/3623.50 c CG blocks removed during cardinality reduction 0
3600.00/3623.50 c CG first core best 0
3600.00/3623.50 c CG decision core best 0
3600.00/3623.50 c CG core reduction tie 0
3600.00/3623.50 c CG core degree average 1.00
3600.00/3623.50 c CG core slack average 3.88
3600.00/3623.50 c CG core upper bound improvements 0
3600.00/3623.50 c STR number of successful calls 0
3600.00/3623.50 c STR number of unsuccessful calls 0
3600.00/3623.50 c STR number of inconclusive calls 0
3600.00/3623.50 c STR number of successful attempts 0
3600.00/3623.50 c STR number of unsuccessful attempts 0
3600.00/3623.50 c STR number of inconclusive attempts 0
3600.00/3623.50 c STR average degree increase per successful call inf
3600.00/3623.50 c STR average degree increase per successful attempt inf
3600.00/3623.50 c STR total number of conflicts for successful attempts 0
3600.00/3623.50 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3623.50 c STR total number of conflicts for inconclusive attempts 0
3600.00/3623.50 c STR average number of conflicts per successful attempt inf
3600.00/3623.50 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3623.50 c STR average number of conflicts per inconclusive attempt inf
3600.00/3623.50 c AVG.sumWPerc 21.67
3600.00/3623.50 c bigint constraints 0
3600.00/3623.50 s UNKNOWN
3600.00/3623.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (58378 MiB free)
memory of node 1: 64465 MiB (58744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532646-1752596851/watcher-4532646-1752596851 -o /tmp/evaluation-result-4532646-1752596851/solver-4532646-1752596851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752596562-143421 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532646-1752596851.opb PROOFDIR/proof-4532646-1752596851
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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=144452, runsolver pid=144449
[startup+0.100063 s]*
/proc/loadavg: 4.18 4.26 4.00 5/462 144454
/proc/meminfo: memFree=119928800/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144454] ppid=144452 vsize=36776 memory=25084 CPUtime=0.05 cores=5,7
/proc/144454/stat : 144454 (pbsuma) R 144452 144452 143408 0 -1 4194304 7115 0 0 0 4 1 0 0 20 0 1 0 175364278 37658624 6271 18446744073709551615 4210688 4653049 140731167185952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6860800 140731167193313 140731167193648 140731167193648 140731167199215 0
/proc/144454/statm: 9194 6271 992 108 0 6602 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 40968 KiB
Current children cumulated memory: 28156 KiB
[startup+0.210872 s]*
/proc/loadavg: 4.18 4.26 4.00 5/462 144454
/proc/meminfo: memFree=119908576/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144454] ppid=144452 vsize=40048 memory=28364 CPUtime=0.17 cores=5,7
/proc/144454/stat : 144454 (pbsuma) R 144452 144452 143408 0 -1 4194304 10443 0 0 0 15 2 0 0 20 0 1 0 175364278 41009152 7091 18446744073709551615 4210688 4653049 140731167185952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6860800 140731167193313 140731167193648 140731167193648 140731167199215 0
/proc/144454/statm: 10012 7091 992 108 0 7420 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 31436 KiB
[startup+0.319755 s]*
/proc/loadavg: 4.18 4.26 4.00 6/462 144454
/proc/meminfo: memFree=119901148/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144454] ppid=144452 vsize=40048 memory=28364 CPUtime=0.28 cores=5,7
/proc/144454/stat : 144454 (pbsuma) R 144452 144452 143408 0 -1 4194304 10443 0 0 0 26 2 0 0 20 0 1 0 175364278 41009152 7091 18446744073709551615 4210688 4653049 140731167185952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6860800 140731167193313 140731167193648 140731167193648 140731167199215 0
/proc/144454/statm: 10012 7091 992 108 0 7420 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 31436 KiB
[startup+0.700328 s]
/proc/loadavg: 4.18 4.26 4.00 5/462 144454
/proc/meminfo: memFree=119905204/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144454] ppid=144452 vsize=40048 memory=28492 CPUtime=0.64 cores=5,7
/proc/144454/stat : 144454 (pbsuma) R 144452 144452 143408 0 -1 4194304 10500 0 0 0 61 3 0 0 20 0 1 0 175364278 41009152 7123 18446744073709551615 4210688 4653049 140731167185952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6860800 140731167193313 140731167193648 140731167193648 140731167199215 0
/proc/144454/statm: 10012 7123 992 108 0 7420 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 31564 KiB
[startup+1.5004 s]
/proc/loadavg: 4.18 4.26 4.00 6/462 144454
/proc/meminfo: memFree=119781180/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144454] ppid=144452 vsize=40088 memory=28612 CPUtime=1.12 cores=5,7
/proc/144454/stat : 144454 (pbsuma) D 144452 144452 143408 0 -1 4194304 11131 0 0 0 97 15 0 0 20 0 1 0 175364278 41050112 7153 18446744073709551615 4210688 4653049 140731167185952 0 0 0 0 0 0 1 0 0 17 7 0 0 0 0 0 4700520 4703148 6860800 140731167193313 140731167193648 140731167193648 140731167199215 0
/proc/144454/statm: 10022 7153 992 108 0 7430 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 31684 KiB
[startup+3.1261 s]
/proc/loadavg: 4.16 4.25 4.00 5/462 144454
/proc/meminfo: memFree=119505768/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144454] ppid=144452 vsize=40088 memory=28612 CPUtime=1.12 cores=5,7
/proc/144454/stat : 144454 (pbsuma) D 144452 144452 143408 0 -1 4194304 11131 0 0 0 97 15 0 0 20 0 1 0 175364278 41050112 7153 18446744073709551615 4210688 4653049 140731167185952 0 0 0 0 0 0 1 0 0 17 7 0 0 0 0 0 4700520 4703148 6860800 140731167193313 140731167193648 140731167193648 140731167199215 0
/proc/144454/statm: 10022 7153 992 108 0 7430 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 31684 KiB
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 4.16 4.25 4.00 5/462 144454
/proc/meminfo: memFree=119187156/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144454] ppid=144452 vsize=40088 memory=28612 CPUtime=1.12 cores=5,7
/proc/144454/stat : 144454 (pbsuma) D 144452 144452 143408 0 -1 4194304 11131 0 0 0 97 15 0 0 20 0 1 0 175364278 41050112 7153 18446744073709551615 4210688 4653049 140731167185952 0 0 0 0 0 0 1 0 0 17 7 0 0 0 0 0 4700520 4703148 6860800 140731167193313 140731167193648 140731167193648 140731167199215 0
/proc/144454/statm: 10022 7153 992 108 0 7430 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 31684 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 4.15 4.25 4.00 5/260 144455
/proc/meminfo: memFree=118445092/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=138340 memory=96448 CPUtime=1.28 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 13251 0 0 0 110 18 0 0 20 0 1 0 175365196 141660160 24112 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 34585 24112 2336 1147 0 22011 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 142532 KiB
Current children cumulated memory: 99520 KiB
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.12 4.23 4.00 5/260 144455
/proc/meminfo: memFree=116622732/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=157428 memory=110912 CPUtime=14.05 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 17348 0 0 0 1366 39 0 0 20 0 1 0 175365196 161206272 27728 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 39357 27728 2432 1147 0 26783 0
Current children cumulated CPU time: 15.18 s
Current children cumulated vsize: 161620 KiB
Current children cumulated memory: 113984 KiB
heavy processes:
[startup+51.1134 s]
/proc/loadavg: 4.14 4.23 4.01 5/258 144455
/proc/meminfo: memFree=113791732/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=161344 memory=113600 CPUtime=39.56 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 18011 0 0 0 3904 52 0 0 20 0 1 0 175365196 165216256 28400 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 40336 28400 2432 1147 0 27762 0
Current children cumulated CPU time: 40.69 s
Current children cumulated vsize: 165536 KiB
Current children cumulated memory: 116672 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.30 4.26 4.02 5/257 144457
/proc/meminfo: memFree=109062396/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=179228 memory=131112 CPUtime=90.58 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 20866 0 0 0 8973 85 0 0 20 0 1 0 175365196 183529472 32778 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 44807 32778 2432 1147 0 32233 0
Current children cumulated CPU time: 91.71 s
Current children cumulated vsize: 183420 KiB
Current children cumulated memory: 134184 KiB
[startup+162.3 s]
/proc/loadavg: 4.60 4.34 4.07 5/261 144463
/proc/meminfo: memFree=101947740/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=198332 memory=150256 CPUtime=150.38 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 24111 0 0 0 14925 113 0 0 20 0 1 0 175365196 203091968 37564 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 49583 37564 2432 1147 0 37009 0
Current children cumulated CPU time: 151.51 s
Current children cumulated vsize: 202524 KiB
Current children cumulated memory: 153328 KiB
[startup+222.3 s]
/proc/loadavg: 4.49 4.38 4.10 5/262 144466
/proc/meminfo: memFree=95942928/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
################
# More data... #
################
/proc/144455/statm: 104961 75213 2432 1147 0 92387 0
Current children cumulated CPU time: 3080.44 s
Current children cumulated vsize: 424036 KiB
Current children cumulated memory: 303924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/261 145196
/proc/meminfo: memFree=104381564/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=424096 memory=321224 CPUtime=3139.14 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 33569 0 0 0 312350 1564 0 0 20 0 1 0 175365196 434274304 80306 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 106024 80306 2432 1147 0 93450 0
Current children cumulated CPU time: 3140.27 s
Current children cumulated vsize: 428288 KiB
Current children cumulated memory: 324296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.34 4.22 4.17 5/261 145246
/proc/meminfo: memFree=119501376/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=424096 memory=321224 CPUtime=3198.97 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 33570 0 0 0 318322 1575 0 0 20 0 1 0 175365196 434274304 80306 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 106024 80306 2432 1147 0 93450 0
Current children cumulated CPU time: 3200.1 s
Current children cumulated vsize: 428288 KiB
Current children cumulated memory: 324296 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.19 4.16 5/259 145249
/proc/meminfo: memFree=116921856/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=424912 memory=322120 CPUtime=3258.79 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 33800 0 0 0 324270 1609 0 0 20 0 1 0 175365196 435109888 80530 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 106228 80530 2432 1147 0 93654 0
Current children cumulated CPU time: 3259.92 s
Current children cumulated vsize: 429104 KiB
Current children cumulated memory: 325192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.16 6/259 145299
/proc/meminfo: memFree=116199476/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=427568 memory=324936 CPUtime=3318.59 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 34503 0 0 0 330219 1640 0 0 20 0 1 0 175365196 437829632 81234 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 106892 81234 2432 1147 0 94318 0
Current children cumulated CPU time: 3319.72 s
Current children cumulated vsize: 431760 KiB
Current children cumulated memory: 328008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.18 4.16 6/256 145302
/proc/meminfo: memFree=114413384/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=428316 memory=325576 CPUtime=3378.39 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 34652 0 0 0 336173 1666 0 0 20 0 1 0 175365196 438595584 81394 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 107079 81394 2432 1147 0 94505 0
Current children cumulated CPU time: 3379.52 s
Current children cumulated vsize: 432508 KiB
Current children cumulated memory: 328648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.15 6/257 145307
/proc/meminfo: memFree=112950276/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=428316 memory=325832 CPUtime=3438.2 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 34712 0 0 0 342141 1679 0 0 20 0 1 0 175365196 438595584 81458 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 107079 81458 2432 1147 0 94505 0
Current children cumulated CPU time: 3439.33 s
Current children cumulated vsize: 432508 KiB
Current children cumulated memory: 328904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 6/256 145309
/proc/meminfo: memFree=111376352/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=428868 memory=326216 CPUtime=3498.01 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 34820 0 0 0 348091 1710 0 0 20 0 1 0 175365196 439160832 81554 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 107217 81554 2432 1147 0 94643 0
Current children cumulated CPU time: 3499.14 s
Current children cumulated vsize: 433060 KiB
Current children cumulated memory: 329288 KiB
[startup+3582.3 s]
/proc/loadavg: 3.58 3.99 4.09 5/247 145341
/proc/meminfo: memFree=115924172/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=440776 memory=337736 CPUtime=3557.8 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 37698 0 0 0 354020 1760 0 0 20 0 1 0 175365196 451354624 84434 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 110194 84434 2432 1147 0 97620 0
Current children cumulated CPU time: 3558.93 s
Current children cumulated vsize: 444968 KiB
Current children cumulated memory: 340808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3623.5 s]
/proc/loadavg: 3.43 3.90 4.06 5/248 145348
/proc/meminfo: memFree=114776584/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=440776 memory=337736 CPUtime=3598.87 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 37698 0 0 0 358101 1786 0 0 20 0 1 0 175365196 451354624 84434 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 110194 84434 2432 1147 0 97620 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 444968 KiB
Current children cumulated memory: 340808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3623.51 s]
# the end of solver process 144452 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.981201 s, system=0.169149 s
[startup+3623.53 s]
# the end of solver process 144455 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.02 s, system=18.0402 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+3623.5 s]
/proc/loadavg: 3.43 3.90 4.06 5/248 145348
/proc/meminfo: memFree=114776584/131382116 swapFree=33009904/33010684
[pid=144452] ppid=144449 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/144452/stat : 144452 (run-opt-break-l) S 144449 144452 143408 0 -1 4194304 239 11134 0 0 0 0 97 16 20 0 1 0 175364278 4292608 768 18446744073709551615 94431436136448 94431437030981 140728477784752 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94431437270032 94431437317776 94431445667840 140728477788435 140728477788636 140728477788636 140728477794240 0
/proc/144452/statm: 1048 768 704 219 0 110 0
[pid=144455] ppid=144452 vsize=440776 memory=337736 CPUtime=3598.87 cores=5,7
/proc/144455/stat : 144455 (roundingsat) R 144452 144452 143408 0 -1 4194304 37698 0 0 0 358101 1786 0 0 20 0 1 0 175365196 451354624 84434 18446744073709551615 4227072 8923577 140734587580736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23420928 140734587586834 140734587587110 140734587587110 140734587592682 0
/proc/144455/statm: 110194 84434 2432 1147 0 97620 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 444968 KiB
Current children cumulated memory: 340808 KiB
Child status: 2
Real time (s): 3623.53
CPU time (s): 3600.06
CPU user time (s): 3582.02
CPU system time (s): 18.0402
CPU usage (%): 99.352
Max. virtual memory (cumulated for all children) (KiB): 444968
Max. memory (cumulated for all children) (KiB): 340808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.02
system time used= 18.0402
maximum resident set size= 338120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1171328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4476
involuntary context switches= 6810
# summary of solver processes directly reported to runsolver:
# pid: 144452,144455
# total CPU time (s): 3600.06
# total CPU user time (s): 3582.02
# total CPU system time (s): 18.0402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3153 second user time and 39.3409 second system time
The end
Begin job on nodeC004 at 2025-07-15 18:27:31
IDJOB=4532646
IDBENCH=158390
IDSOLVER=3393
FILE ID=nodeC004/4532646-1752596851
RUNJOBID= nodeC004-1752596562-143421
SLURM_JOB_ID= 9684374
Free space on /tmp= 432120 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532646-1752596851/watcher-4532646-1752596851 -o /tmp/evaluation-result-4532646-1752596851/solver-4532646-1752596851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752596562-143421 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532646-1752596851.opb PROOFDIR/proof-4532646-1752596851
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1621305850
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.878
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.808
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.501
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.267
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.892
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.034
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.879
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 119957672 kB
MemAvailable: 124805436 kB
Buffers: 2128 kB
Cached: 5599664 kB
SwapCached: 32 kB
Active: 5761408 kB
Inactive: 4854700 kB
Active(anon): 5030032 kB
Inactive(anon): 10464 kB
Active(file): 731376 kB
Inactive(file): 4844236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2308460 kB
Writeback: 284 kB
AnonPages: 5016396 kB
Mapped: 119216 kB
Shmem: 26124 kB
KReclaimable: 223556 kB
Slab: 388052 kB
SReclaimable: 223556 kB
SUnreclaim: 164496 kB
KernelStack: 7424 kB
PageTables: 13120 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5581364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 152776 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2146304 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC004 at 2025-07-15 19:27:55