0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4542039-1753211729.opb'
0.00/0.02 c read 0.08MB (4.01ms)
0.00/0.02 c [cnf: #variables 3571 #clauses 1850 #duplicates 0 #arr 7089]
0.00/0.02 c output proof to '/tmp/proof-4542039-1753211729'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 1046] (10.77ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c found row 3x4, generating row predicate
0.00/0.04 c (9.35ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 15157 #edges 33650]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 6.53*10^233 #generators 495] (8.30ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.05 c ran it=0, +gens=4
0.09/0.14 c con best_support=4, best_gens=47, +gens=251
0.09/0.14 c (87.78ms)
0.09/0.14 c
0.09/0.14 c finalize break order and special generators
0.09/0.14 c
0.09/0.14 c add generic predicates (break_depth=10)
0.09/0.14 c added predicates for 750 generators (0.28ms)
0.09/0.16 c
0.09/0.16 c generation finished
0.09/0.16 c [sbp: #constraints 5369 #add_vars 1521]
0.09/0.16 c
0.09/0.16 c write result to 'HOME/instance-4542039-1753211729.opb.pre'
0.09/0.16 c wrote 0.26MB (1.99ms)
0.09/0.16 c ------------------------------------------------------------------
0.09/0.16 c 87.78ms 61.11% optimize_gens
0.09/0.16 c 20.68ms 14.40% other
0.09/0.16 c 10.77ms 7.50% approx_orbits
0.09/0.16 c 9.35ms 6.51% detect_special
0.09/0.16 c 8.30ms 5.78% detect_generic
0.09/0.16 c 4.01ms 2.79% parse
0.09/0.16 c 1.99ms 1.38% output
0.09/0.16 c 0.48ms 0.34% finalize_order
0.09/0.16 c 0.28ms 0.20% break_generic
0.09/0.16 c ───────────────────────────────────────────────
0.09/0.16 c 143.64ms 100% total
0.09/0.16 c ------------------------------------------------------------------
0.09/0.18 c RoundingSat 2
0.09/0.18 c branch pb25
0.09/0.18 c commit 63f22ad
0.28/0.35 c #variables 5092 #constraints 8703
24.07/24.23 c #Conflicts: 1000 | #Constraints: 9702
24.07/24.23 c #Conflicts: 2000 | #Constraints: 10702
24.07/24.23 c INPROCESSING
24.07/24.23 c GARBAGE COLLECT
24.07/24.23 c #Conflicts: 3000 | #Constraints: 10649
24.07/24.23 c #Conflicts: 4000 | #Constraints: 11649
24.07/24.23 c INPROCESSING
24.07/24.23 c GARBAGE COLLECT
24.07/24.23 c #Conflicts: 5000 | #Constraints: 11058
24.07/24.23 c #Conflicts: 6000 | #Constraints: 12058
24.07/24.23 c INPROCESSING
24.07/24.23 c GARBAGE COLLECT
24.07/24.23 c #Conflicts: 7000 | #Constraints: 11060
24.07/24.23 c #Conflicts: 8000 | #Constraints: 12060
24.07/24.23 c #Conflicts: 9000 | #Constraints: 13060
24.07/24.23 c INPROCESSING
24.07/24.23 c GARBAGE COLLECT
24.07/24.23 c #Conflicts: 10000 | #Constraints: 11768
24.07/24.23 c #Conflicts: 11000 | #Constraints: 12768
24.07/24.23 c #Conflicts: 12000 | #Constraints: 13768
24.07/24.23 c INPROCESSING
24.07/24.23 c GARBAGE COLLECT
24.07/24.23 c rational objective 959.909
57.07/57.34 c #Conflicts: 13000 | #Constraints: 12272
57.07/57.34 c #Conflicts: 14000 | #Constraints: 13272
57.07/57.34 c #Conflicts: 15000 | #Constraints: 14272
57.07/57.34 c INPROCESSING
57.07/57.34 c GARBAGE COLLECT
57.07/57.34 c #Conflicts: 16000 | #Constraints: 12509
57.07/57.34 c #Conflicts: 17000 | #Constraints: 13509
57.07/57.34 c #Conflicts: 18000 | #Constraints: 14509
57.07/57.34 c INPROCESSING
57.07/57.34 c GARBAGE COLLECT
57.07/57.34 c #Conflicts: 19000 | #Constraints: 12518
57.07/57.34 c #Conflicts: 20000 | #Constraints: 13518
57.07/57.34 c #Conflicts: 21000 | #Constraints: 14518
57.07/57.34 c INPROCESSING
57.07/57.34 c GARBAGE COLLECT
57.07/57.34 c #Conflicts: 22000 | #Constraints: 12319
57.07/57.34 c #Conflicts: 23000 | #Constraints: 13319
57.07/57.34 c #Conflicts: 24000 | #Constraints: 14319
57.07/57.34 c #Conflicts: 25000 | #Constraints: 15319
57.07/57.34 c INPROCESSING
57.07/57.34 c GARBAGE COLLECT
57.07/57.34 c rational objective 984.886
81.90/82.23 c #Conflicts: 26000 | #Constraints: 12966
81.90/82.23 c #Conflicts: 27000 | #Constraints: 13966
81.90/82.23 c #Conflicts: 28000 | #Constraints: 14966
81.90/82.23 c #Conflicts: 29000 | #Constraints: 15966
81.90/82.23 c INPROCESSING
81.90/82.23 c GARBAGE COLLECT
81.90/82.23 c #Conflicts: 30000 | #Constraints: 13357
81.90/82.23 c #Conflicts: 31000 | #Constraints: 14357
81.90/82.23 c #Conflicts: 32000 | #Constraints: 15357
81.90/82.23 c #Conflicts: 33000 | #Constraints: 16357
81.90/82.23 c INPROCESSING
81.90/82.23 c GARBAGE COLLECT
81.90/82.23 c #Conflicts: 34000 | #Constraints: 13562
81.90/82.23 c #Conflicts: 35000 | #Constraints: 14562
81.90/82.23 c #Conflicts: 36000 | #Constraints: 15562
81.90/82.23 c #Conflicts: 37000 | #Constraints: 16562
81.90/82.23 c INPROCESSING
81.90/82.23 c GARBAGE COLLECT
81.90/82.23 c rational objective 995.975
248.85/249.71 c #Conflicts: 38000 | #Constraints: 13607
248.85/249.71 c #Conflicts: 39000 | #Constraints: 14607
248.85/249.71 c #Conflicts: 40000 | #Constraints: 15607
248.85/249.71 c #Conflicts: 41000 | #Constraints: 16607
248.85/249.71 c INPROCESSING
248.85/249.71 c GARBAGE COLLECT
248.85/249.71 c #Conflicts: 42000 | #Constraints: 13419
248.85/249.71 c #Conflicts: 43000 | #Constraints: 14419
248.85/249.71 c #Conflicts: 44000 | #Constraints: 15419
248.85/249.71 c #Conflicts: 45000 | #Constraints: 16419
248.85/249.71 c #Conflicts: 46000 | #Constraints: 17419
248.85/249.71 c INPROCESSING
248.85/249.71 c GARBAGE COLLECT
248.85/249.71 c #Conflicts: 47000 | #Constraints: 14015
248.85/249.71 c #Conflicts: 48000 | #Constraints: 15015
248.85/249.71 c #Conflicts: 49000 | #Constraints: 16015
248.85/249.71 c #Conflicts: 50000 | #Constraints: 17015
248.85/249.71 c #Conflicts: 51000 | #Constraints: 18015
248.85/249.71 c INPROCESSING
248.85/249.71 c GARBAGE COLLECT
248.85/249.71 c #Conflicts: 52000 | #Constraints: 14423
248.85/249.71 c #Conflicts: 53000 | #Constraints: 15423
248.85/249.71 c #Conflicts: 54000 | #Constraints: 16423
248.85/249.71 c #Conflicts: 55000 | #Constraints: 17423
248.85/249.71 c #Conflicts: 56000 | #Constraints: 18423
248.85/249.71 c INPROCESSING
248.85/249.71 c GARBAGE COLLECT
248.85/249.71 c #Conflicts: 57000 | #Constraints: 14617
248.85/249.71 c #Conflicts: 58000 | #Constraints: 15617
248.85/249.71 c #Conflicts: 59000 | #Constraints: 16617
248.85/249.71 c #Conflicts: 60000 | #Constraints: 17617
248.85/249.71 c #Conflicts: 61000 | #Constraints: 18617
248.85/249.71 c INPROCESSING
248.85/249.71 c GARBAGE COLLECT
248.85/249.71 c #Conflicts: 62000 | #Constraints: 14621
248.85/249.71 c #Conflicts: 63000 | #Constraints: 15621
248.85/249.71 c #Conflicts: 64000 | #Constraints: 16621
248.85/249.71 c #Conflicts: 65000 | #Constraints: 17621
248.85/249.71 c #Conflicts: 66000 | #Constraints: 18621
248.85/249.71 c INPROCESSING
248.85/249.71 c GARBAGE COLLECT
248.85/249.71 c #Conflicts: 67000 | #Constraints: 14415
248.85/249.71 c #Conflicts: 68000 | #Constraints: 15415
248.85/249.71 c #Conflicts: 69000 | #Constraints: 16415
248.85/249.71 c #Conflicts: 70000 | #Constraints: 17415
248.85/249.71 c #Conflicts: 71000 | #Constraints: 18415
248.85/249.71 c #Conflicts: 72000 | #Constraints: 19415
248.85/249.71 c INPROCESSING
248.85/249.71 c GARBAGE COLLECT
248.85/249.72 c #Conflicts: 73000 | #Constraints: 15023
248.85/249.72 c #Conflicts: 74000 | #Constraints: 16023
248.85/249.72 c #Conflicts: 75000 | #Constraints: 17023
248.85/249.72 c #Conflicts: 76000 | #Constraints: 18023
248.85/249.72 c #Conflicts: 77000 | #Constraints: 19023
248.85/249.72 c #Conflicts: 78000 | #Constraints: 20023
248.85/249.72 c INPROCESSING
248.85/249.72 c GARBAGE COLLECT
248.85/249.72 c #Conflicts: 79000 | #Constraints: 15431
248.85/249.72 c #Conflicts: 80000 | #Constraints: 16431
248.85/249.72 c #Conflicts: 81000 | #Constraints: 17431
248.85/249.72 c #Conflicts: 82000 | #Constraints: 18431
248.85/249.72 c #Conflicts: 83000 | #Constraints: 19431
248.85/249.72 c #Conflicts: 84000 | #Constraints: 20431
248.85/249.72 c INPROCESSING
248.85/249.72 c GARBAGE COLLECT
248.85/249.72 c #Conflicts: 85000 | #Constraints: 15634
248.85/249.72 c #Conflicts: 86000 | #Constraints: 16634
248.85/249.72 c #Conflicts: 87000 | #Constraints: 17634
248.85/249.72 c #Conflicts: 88000 | #Constraints: 18635
248.85/249.72 c #Conflicts: 89000 | #Constraints: 19636
248.85/249.72 c #Conflicts: 90000 | #Constraints: 20639
248.85/249.72 c INPROCESSING
248.85/249.72 c GARBAGE COLLECT
248.85/249.72 c #Conflicts: 91000 | #Constraints: 15649
248.85/249.72 c #Conflicts: 92000 | #Constraints: 16649
248.85/249.72 c #Conflicts: 93000 | #Constraints: 17649
248.85/249.72 c #Conflicts: 94000 | #Constraints: 18649
248.85/249.72 c #Conflicts: 95000 | #Constraints: 19649
248.85/249.72 c #Conflicts: 96000 | #Constraints: 20649
248.85/249.72 c INPROCESSING
248.85/249.72 c GARBAGE COLLECT
248.85/249.72 c #Conflicts: 97000 | #Constraints: 15450
248.85/249.72 c #Conflicts: 98000 | #Constraints: 16450
248.85/249.72 c #Conflicts: 99000 | #Constraints: 17450
248.85/249.72 c #Conflicts: 100000 | #Constraints: 18450
248.85/249.72 c #Conflicts: 101000 | #Constraints: 19450
248.85/249.72 c #Conflicts: 102000 | #Constraints: 20450
248.85/249.72 c #Conflicts: 103000 | #Constraints: 21450
248.85/249.72 c INPROCESSING
248.85/249.72 c GARBAGE COLLECT
248.85/249.72 c #Conflicts: 104000 | #Constraints: 16048
248.85/249.72 c #Conflicts: 105000 | #Constraints: 17048
248.85/249.72 c #Conflicts: 106000 | #Constraints: 18048
248.85/249.72 c #Conflicts: 107000 | #Constraints: 19174
248.85/249.72 c #Conflicts: 108000 | #Constraints: 20174
248.85/249.72 c #Conflicts: 109000 | #Constraints: 21174
267.39/268.34 c #Conflicts: 110000 | #Constraints: 22174
267.39/268.34 c INPROCESSING
267.39/268.34 c GARBAGE COLLECT
267.39/268.34 c #Conflicts: 111000 | #Constraints: 16505
267.39/268.34 c #Conflicts: 112000 | #Constraints: 17505
267.39/268.34 c #Conflicts: 113000 | #Constraints: 18505
267.39/268.34 c #Conflicts: 114000 | #Constraints: 19505
267.39/268.34 c #Conflicts: 115000 | #Constraints: 20505
267.39/268.34 c #Conflicts: 116000 | #Constraints: 21505
267.39/268.34 c #Conflicts: 117000 | #Constraints: 22505
267.39/268.34 c INPROCESSING
267.39/268.34 c GARBAGE COLLECT
267.39/268.34 c rational objective 1014.58
284.64/285.62 c #Conflicts: 118000 | #Constraints: 16725
284.64/285.62 c #Conflicts: 119000 | #Constraints: 17725
284.64/285.62 c #Conflicts: 120000 | #Constraints: 18725
284.64/285.62 c #Conflicts: 121000 | #Constraints: 19725
284.64/285.62 c #Conflicts: 122000 | #Constraints: 20725
284.64/285.62 c #Conflicts: 123000 | #Constraints: 21725
284.64/285.62 c #Conflicts: 124000 | #Constraints: 22725
284.64/285.62 c INPROCESSING
284.64/285.62 c GARBAGE COLLECT
284.64/285.62 c rational objective 1046.62
300.89/301.91 c #Conflicts: 125000 | #Constraints: 16748
300.89/301.91 c #Conflicts: 126000 | #Constraints: 17748
300.89/301.91 c #Conflicts: 127000 | #Constraints: 18748
300.89/301.91 c #Conflicts: 128000 | #Constraints: 19748
300.89/301.91 c #Conflicts: 129000 | #Constraints: 20748
300.89/301.91 c #Conflicts: 130000 | #Constraints: 21748
300.89/301.91 c #Conflicts: 131000 | #Constraints: 22748
300.89/301.91 c INPROCESSING
300.89/301.91 c GARBAGE COLLECT
300.89/301.91 c rational objective 1070.31
496.55/498.14 c #Conflicts: 132000 | #Constraints: 16561
496.55/498.14 c #Conflicts: 133000 | #Constraints: 17561
496.55/498.14 c #Conflicts: 134000 | #Constraints: 18561
496.55/498.14 c #Conflicts: 135000 | #Constraints: 19561
496.55/498.14 c #Conflicts: 136000 | #Constraints: 20561
496.55/498.14 c #Conflicts: 137000 | #Constraints: 21561
496.55/498.14 c #Conflicts: 138000 | #Constraints: 22561
496.55/498.14 c #Conflicts: 139000 | #Constraints: 23561
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 140000 | #Constraints: 17142
496.55/498.14 c #Conflicts: 141000 | #Constraints: 18142
496.55/498.14 c #Conflicts: 142000 | #Constraints: 19212
496.55/498.14 c #Conflicts: 143000 | #Constraints: 20606
496.55/498.14 c #Conflicts: 144000 | #Constraints: 21606
496.55/498.14 c #Conflicts: 145000 | #Constraints: 23014
496.55/498.14 c #Conflicts: 146000 | #Constraints: 24283
496.55/498.14 c #Conflicts: 147000 | #Constraints: 25556
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 148000 | #Constraints: 18232
496.55/498.14 c #Conflicts: 149000 | #Constraints: 19232
496.55/498.14 c #Conflicts: 150000 | #Constraints: 20237
496.55/498.14 c #Conflicts: 151000 | #Constraints: 21509
496.55/498.14 c #Conflicts: 152000 | #Constraints: 22509
496.55/498.14 c #Conflicts: 153000 | #Constraints: 23509
496.55/498.14 c #Conflicts: 154000 | #Constraints: 24509
496.55/498.14 c #Conflicts: 155000 | #Constraints: 25509
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 156000 | #Constraints: 18202
496.55/498.14 c #Conflicts: 157000 | #Constraints: 19202
496.55/498.14 c #Conflicts: 158000 | #Constraints: 20202
496.55/498.14 c #Conflicts: 159000 | #Constraints: 21202
496.55/498.14 c #Conflicts: 160000 | #Constraints: 22202
496.55/498.14 c #Conflicts: 161000 | #Constraints: 23202
496.55/498.14 c #Conflicts: 162000 | #Constraints: 24202
496.55/498.14 c #Conflicts: 163000 | #Constraints: 25202
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 164000 | #Constraints: 17963
496.55/498.14 c #Conflicts: 165000 | #Constraints: 18963
496.55/498.14 c #Conflicts: 166000 | #Constraints: 19963
496.55/498.14 c #Conflicts: 167000 | #Constraints: 20963
496.55/498.14 c #Conflicts: 168000 | #Constraints: 21963
496.55/498.14 c #Conflicts: 169000 | #Constraints: 22963
496.55/498.14 c #Conflicts: 170000 | #Constraints: 23963
496.55/498.14 c #Conflicts: 171000 | #Constraints: 24963
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 172000 | #Constraints: 17612
496.55/498.14 c #Conflicts: 173000 | #Constraints: 18613
496.55/498.14 c #Conflicts: 174000 | #Constraints: 19613
496.55/498.14 c #Conflicts: 175000 | #Constraints: 20613
496.55/498.14 c #Conflicts: 176000 | #Constraints: 21613
496.55/498.14 c #Conflicts: 177000 | #Constraints: 22613
496.55/498.14 c #Conflicts: 178000 | #Constraints: 23614
496.55/498.14 c #Conflicts: 179000 | #Constraints: 24614
496.55/498.14 c #Conflicts: 180000 | #Constraints: 25614
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 181000 | #Constraints: 18141
496.55/498.14 c #Conflicts: 182000 | #Constraints: 19141
496.55/498.14 c #Conflicts: 183000 | #Constraints: 20141
496.55/498.14 c #Conflicts: 184000 | #Constraints: 21142
496.55/498.14 c #Conflicts: 185000 | #Constraints: 22580
496.55/498.14 c #Conflicts: 186000 | #Constraints: 23977
496.55/498.14 c #Conflicts: 187000 | #Constraints: 24977
496.55/498.14 c #Conflicts: 188000 | #Constraints: 25978
496.55/498.14 c #Conflicts: 189000 | #Constraints: 26978
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 190000 | #Constraints: 18928
496.55/498.14 c #Conflicts: 191000 | #Constraints: 19928
496.55/498.14 c #Conflicts: 192000 | #Constraints: 20930
496.55/498.14 c #Conflicts: 193000 | #Constraints: 22107
496.55/498.14 c #Conflicts: 194000 | #Constraints: 23602
496.55/498.14 c #Conflicts: 195000 | #Constraints: 25102
496.55/498.14 c #Conflicts: 196000 | #Constraints: 26607
496.55/498.14 c #Conflicts: 197000 | #Constraints: 28084
496.55/498.14 c #Conflicts: 198000 | #Constraints: 29590
496.55/498.14 c INPROCESSING
496.55/498.14 c GARBAGE COLLECT
496.55/498.14 c #Conflicts: 199000 | #Constraints: 20233
496.55/498.14 c #Conflicts: 200000 | #Constraints: 21233
496.55/498.14 c #Conflicts: 201000 | #Constraints: 22233
496.55/498.14 c #Conflicts: 202000 | #Constraints: 23233
496.55/498.14 c #Conflicts: 203000 | #Constraints: 24233
496.55/498.14 c #Conflicts: 204000 | #Constraints: 25233
496.55/498.14 c #Conflicts: 205000 | #Constraints: 26233
654.39/656.46 c #Conflicts: 206000 | #Constraints: 27233
654.39/656.46 c #Conflicts: 207000 | #Constraints: 28233
654.39/656.46 c INPROCESSING
654.39/656.46 c GARBAGE COLLECT
654.39/656.46 c #Conflicts: 208000 | #Constraints: 19456
654.39/656.46 c #Conflicts: 209000 | #Constraints: 20456
654.39/656.46 c #Conflicts: 210000 | #Constraints: 21456
654.39/656.46 c #Conflicts: 211000 | #Constraints: 22456
654.39/656.46 c #Conflicts: 212000 | #Constraints: 23456
654.39/656.46 c #Conflicts: 213000 | #Constraints: 24456
654.39/656.46 c #Conflicts: 214000 | #Constraints: 25456
654.39/656.46 c #Conflicts: 215000 | #Constraints: 26456
654.39/656.46 c #Conflicts: 216000 | #Constraints: 27456
654.39/656.46 c INPROCESSING
654.39/656.46 c GARBAGE COLLECT
654.39/656.46 c #Conflicts: 217000 | #Constraints: 18869
654.39/656.46 c #Conflicts: 218000 | #Constraints: 19869
654.39/656.46 c #Conflicts: 219000 | #Constraints: 20869
654.39/656.46 c #Conflicts: 220000 | #Constraints: 21869
654.39/656.46 c #Conflicts: 221000 | #Constraints: 22869
654.39/656.46 c #Conflicts: 222000 | #Constraints: 23869
654.39/656.46 c #Conflicts: 223000 | #Constraints: 24869
654.39/656.46 c #Conflicts: 224000 | #Constraints: 25869
654.39/656.46 c #Conflicts: 225000 | #Constraints: 26869
654.39/656.46 c #Conflicts: 226000 | #Constraints: 27869
654.39/656.46 c INPROCESSING
654.39/656.46 c GARBAGE COLLECT
654.39/656.46 c #Conflicts: 227000 | #Constraints: 19275
654.39/656.46 c #Conflicts: 228000 | #Constraints: 20275
654.39/656.46 c #Conflicts: 229000 | #Constraints: 21275
654.39/656.46 c #Conflicts: 230000 | #Constraints: 22275
654.39/656.46 c #Conflicts: 231000 | #Constraints: 23275
654.39/656.46 c #Conflicts: 232000 | #Constraints: 24275
654.39/656.46 c #Conflicts: 233000 | #Constraints: 25275
654.39/656.46 c #Conflicts: 234000 | #Constraints: 26275
654.39/656.46 c #Conflicts: 235000 | #Constraints: 27275
654.39/656.46 c #Conflicts: 236000 | #Constraints: 28275
654.39/656.46 c INPROCESSING
654.39/656.46 c GARBAGE COLLECT
654.39/656.46 c #Conflicts: 237000 | #Constraints: 19575
654.39/656.46 c #Conflicts: 238000 | #Constraints: 20575
654.39/656.46 c #Conflicts: 239000 | #Constraints: 21575
654.39/656.46 c #Conflicts: 240000 | #Constraints: 22575
654.39/656.46 c #Conflicts: 241000 | #Constraints: 23575
654.39/656.46 c #Conflicts: 242000 | #Constraints: 24575
654.39/656.46 c #Conflicts: 243000 | #Constraints: 25575
654.39/656.46 c #Conflicts: 244000 | #Constraints: 26575
654.39/656.46 c #Conflicts: 245000 | #Constraints: 27575
654.39/656.46 c #Conflicts: 246000 | #Constraints: 28575
654.39/656.46 c INPROCESSING
654.39/656.46 c GARBAGE COLLECT
654.39/656.46 c #Conflicts: 247000 | #Constraints: 19759
654.39/656.46 c #Conflicts: 248000 | #Constraints: 20759
654.39/656.46 c #Conflicts: 249000 | #Constraints: 21759
654.39/656.46 c #Conflicts: 250000 | #Constraints: 22759
654.39/656.46 c #Conflicts: 251000 | #Constraints: 23759
654.39/656.46 c #Conflicts: 252000 | #Constraints: 24759
654.39/656.46 c #Conflicts: 253000 | #Constraints: 25759
654.39/656.46 c #Conflicts: 254000 | #Constraints: 26759
654.39/656.46 c #Conflicts: 255000 | #Constraints: 27759
654.39/656.46 c #Conflicts: 256000 | #Constraints: 28759
654.39/656.46 c INPROCESSING
654.39/656.46 c GARBAGE COLLECT
654.39/656.46 c rational objective 1082.65
751.73/754.04 c #Conflicts: 257000 | #Constraints: 19777
751.73/754.04 c #Conflicts: 258000 | #Constraints: 20777
751.73/754.04 c #Conflicts: 259000 | #Constraints: 21777
751.73/754.04 c #Conflicts: 260000 | #Constraints: 22777
751.73/754.04 c #Conflicts: 261000 | #Constraints: 23777
751.73/754.04 c #Conflicts: 262000 | #Constraints: 24777
751.73/754.04 c #Conflicts: 263000 | #Constraints: 25777
751.73/754.04 c #Conflicts: 264000 | #Constraints: 26777
751.73/754.04 c #Conflicts: 265000 | #Constraints: 27777
751.73/754.04 c #Conflicts: 266000 | #Constraints: 28777
751.73/754.04 c INPROCESSING
751.73/754.04 c GARBAGE COLLECT
751.73/754.04 c #Conflicts: 267000 | #Constraints: 19589
751.73/754.04 c #Conflicts: 268000 | #Constraints: 20589
751.73/754.04 c #Conflicts: 269000 | #Constraints: 21589
751.73/754.04 c #Conflicts: 270000 | #Constraints: 22589
751.73/754.04 c #Conflicts: 271000 | #Constraints: 23589
751.73/754.04 c #Conflicts: 272000 | #Constraints: 24589
751.73/754.04 c #Conflicts: 273000 | #Constraints: 25589
751.73/754.04 c #Conflicts: 274000 | #Constraints: 26589
751.73/754.04 c #Conflicts: 275000 | #Constraints: 27589
751.73/754.04 c #Conflicts: 276000 | #Constraints: 28589
751.73/754.04 c #Conflicts: 277000 | #Constraints: 29589
751.73/754.04 c INPROCESSING
751.73/754.04 c GARBAGE COLLECT
751.73/754.04 c #Conflicts: 278000 | #Constraints: 20182
751.73/754.04 c #Conflicts: 279000 | #Constraints: 21182
751.73/754.04 c #Conflicts: 280000 | #Constraints: 22182
751.73/754.04 c #Conflicts: 281000 | #Constraints: 23182
751.73/754.04 c #Conflicts: 282000 | #Constraints: 24182
751.73/754.04 c #Conflicts: 283000 | #Constraints: 25182
751.73/754.04 c #Conflicts: 284000 | #Constraints: 26182
751.73/754.04 c #Conflicts: 285000 | #Constraints: 27182
751.73/754.04 c #Conflicts: 286000 | #Constraints: 28182
751.73/754.04 c #Conflicts: 287000 | #Constraints: 29182
751.73/754.04 c #Conflicts: 288000 | #Constraints: 30182
751.73/754.04 c INPROCESSING
751.73/754.04 c GARBAGE COLLECT
751.73/754.04 c rational objective 1108.19
957.52/960.48 c #Conflicts: 289000 | #Constraints: 20644
957.52/960.48 c #Conflicts: 290000 | #Constraints: 21644
957.52/960.48 c #Conflicts: 291000 | #Constraints: 22644
957.52/960.48 c #Conflicts: 292000 | #Constraints: 23644
957.52/960.48 c #Conflicts: 293000 | #Constraints: 24644
957.52/960.48 c #Conflicts: 294000 | #Constraints: 25644
957.52/960.48 c #Conflicts: 295000 | #Constraints: 26644
957.52/960.48 c #Conflicts: 296000 | #Constraints: 27644
957.52/960.48 c #Conflicts: 297000 | #Constraints: 28644
957.52/960.48 c #Conflicts: 298000 | #Constraints: 29644
957.52/960.48 c #Conflicts: 299000 | #Constraints: 30645
957.52/960.48 c INPROCESSING
957.52/960.48 c GARBAGE COLLECT
957.52/960.48 c #Conflicts: 300000 | #Constraints: 20801
957.52/960.48 c #Conflicts: 301000 | #Constraints: 21801
957.52/960.48 c #Conflicts: 302000 | #Constraints: 22802
957.52/960.48 c #Conflicts: 303000 | #Constraints: 23802
957.52/960.48 c #Conflicts: 304000 | #Constraints: 24802
957.52/960.48 c #Conflicts: 305000 | #Constraints: 25802
957.52/960.48 c #Conflicts: 306000 | #Constraints: 27029
957.52/960.48 c #Conflicts: 307000 | #Constraints: 28053
957.52/960.48 c #Conflicts: 308000 | #Constraints: 29053
957.52/960.48 c #Conflicts: 309000 | #Constraints: 30053
957.52/960.48 c #Conflicts: 310000 | #Constraints: 31211
957.52/960.48 c INPROCESSING
957.52/960.48 c GARBAGE COLLECT
957.52/960.48 c #Conflicts: 311000 | #Constraints: 21050
957.52/960.48 c #Conflicts: 312000 | #Constraints: 22050
957.52/960.48 c #Conflicts: 313000 | #Constraints: 23050
957.52/960.48 c #Conflicts: 314000 | #Constraints: 24050
957.52/960.48 c #Conflicts: 315000 | #Constraints: 25050
957.52/960.48 c #Conflicts: 316000 | #Constraints: 26050
957.52/960.48 c #Conflicts: 317000 | #Constraints: 27050
957.52/960.48 c #Conflicts: 318000 | #Constraints: 28050
957.52/960.48 c #Conflicts: 319000 | #Constraints: 29050
957.52/960.48 c #Conflicts: 320000 | #Constraints: 30050
957.52/960.48 c #Conflicts: 321000 | #Constraints: 31050
957.52/960.48 c INPROCESSING
957.52/960.48 c GARBAGE COLLECT
957.52/960.48 c #Conflicts: 322000 | #Constraints: 20723
957.52/960.48 c #Conflicts: 323000 | #Constraints: 21723
957.52/960.48 c #Conflicts: 324000 | #Constraints: 22723
957.52/960.48 c #Conflicts: 325000 | #Constraints: 23723
957.52/960.48 c #Conflicts: 326000 | #Constraints: 24723
957.52/960.48 c #Conflicts: 327000 | #Constraints: 25723
957.52/960.48 c #Conflicts: 328000 | #Constraints: 26723
957.52/960.48 c #Conflicts: 329000 | #Constraints: 27723
957.52/960.48 c #Conflicts: 330000 | #Constraints: 28723
957.52/960.48 c #Conflicts: 331000 | #Constraints: 29723
957.52/960.48 c #Conflicts: 332000 | #Constraints: 30723
957.52/960.48 c #Conflicts: 333000 | #Constraints: 31723
957.52/960.48 c INPROCESSING
957.52/960.48 c GARBAGE COLLECT
957.52/960.48 c #Conflicts: 334000 | #Constraints: 21250
957.52/960.48 c #Conflicts: 335000 | #Constraints: 22250
957.52/960.48 c #Conflicts: 336000 | #Constraints: 23250
957.52/960.48 c #Conflicts: 337000 | #Constraints: 24250
957.52/960.48 c #Conflicts: 338000 | #Constraints: 25250
957.52/960.48 c #Conflicts: 339000 | #Constraints: 26250
957.52/960.48 c #Conflicts: 340000 | #Constraints: 27250
957.52/960.48 c #Conflicts: 341000 | #Constraints: 28250
957.52/960.48 c #Conflicts: 342000 | #Constraints: 29250
957.52/960.48 c #Conflicts: 343000 | #Constraints: 30250
957.52/960.48 c #Conflicts: 344000 | #Constraints: 31250
957.52/960.48 c #Conflicts: 345000 | #Constraints: 32250
957.52/960.48 c INPROCESSING
957.52/960.48 c GARBAGE COLLECT
957.52/960.48 c rational objective 1141.92
1238.81/1242.51 c #Conflicts: 346000 | #Constraints: 21645
1238.81/1242.51 c #Conflicts: 347000 | #Constraints: 22645
1238.81/1242.51 c #Conflicts: 348000 | #Constraints: 23645
1238.81/1242.51 c #Conflicts: 349000 | #Constraints: 24645
1238.81/1242.51 c #Conflicts: 350000 | #Constraints: 25645
1238.81/1242.51 c #Conflicts: 351000 | #Constraints: 26645
1238.81/1242.51 c #Conflicts: 352000 | #Constraints: 27645
1238.81/1242.51 c #Conflicts: 353000 | #Constraints: 28645
1238.81/1242.51 c #Conflicts: 354000 | #Constraints: 29645
1238.81/1242.51 c #Conflicts: 355000 | #Constraints: 30645
1238.81/1242.51 c #Conflicts: 356000 | #Constraints: 31645
1238.81/1242.51 c #Conflicts: 357000 | #Constraints: 32645
1238.81/1242.51 c INPROCESSING
1238.81/1242.51 c GARBAGE COLLECT
1238.81/1242.51 c #Conflicts: 358000 | #Constraints: 21875
1238.81/1242.51 c #Conflicts: 359000 | #Constraints: 22875
1238.81/1242.51 c #Conflicts: 360000 | #Constraints: 23875
1238.81/1242.51 c #Conflicts: 361000 | #Constraints: 24875
1238.81/1242.51 c #Conflicts: 362000 | #Constraints: 25875
1238.81/1242.51 c #Conflicts: 363000 | #Constraints: 26875
1238.81/1242.51 c #Conflicts: 364000 | #Constraints: 27875
1238.81/1242.51 c #Conflicts: 365000 | #Constraints: 28875
1238.81/1242.51 c #Conflicts: 366000 | #Constraints: 29875
1238.81/1242.51 c #Conflicts: 367000 | #Constraints: 30875
1238.81/1242.51 c #Conflicts: 368000 | #Constraints: 31876
1238.81/1242.51 c #Conflicts: 369000 | #Constraints: 32955
1238.81/1242.51 c INPROCESSING
1238.81/1242.51 c GARBAGE COLLECT
1238.81/1242.51 c #Conflicts: 370000 | #Constraints: 21919
1238.81/1242.51 c #Conflicts: 371000 | #Constraints: 22919
1238.81/1242.51 c #Conflicts: 372000 | #Constraints: 23919
1238.81/1242.51 c #Conflicts: 373000 | #Constraints: 24919
1238.81/1242.51 c #Conflicts: 374000 | #Constraints: 25919
1238.81/1242.51 c #Conflicts: 375000 | #Constraints: 26919
1238.81/1242.51 c #Conflicts: 376000 | #Constraints: 27919
1238.81/1242.51 c #Conflicts: 377000 | #Constraints: 28919
1238.81/1242.51 c #Conflicts: 378000 | #Constraints: 29919
1238.81/1242.51 c #Conflicts: 379000 | #Constraints: 30919
1238.81/1242.51 c #Conflicts: 380000 | #Constraints: 31919
1238.81/1242.51 c #Conflicts: 381000 | #Constraints: 32919
1238.81/1242.51 c INPROCESSING
1238.81/1242.51 c GARBAGE COLLECT
1238.81/1242.51 c #Conflicts: 382000 | #Constraints: 21652
1238.81/1242.51 c #Conflicts: 383000 | #Constraints: 22652
1238.81/1242.51 c #Conflicts: 384000 | #Constraints: 23652
1238.81/1242.51 c #Conflicts: 385000 | #Constraints: 24652
1238.81/1242.51 c #Conflicts: 386000 | #Constraints: 25652
1238.81/1242.51 c #Conflicts: 387000 | #Constraints: 26652
1238.81/1242.51 c #Conflicts: 388000 | #Constraints: 27652
1238.81/1242.51 c #Conflicts: 389000 | #Constraints: 28652
1238.81/1242.51 c #Conflicts: 390000 | #Constraints: 29652
1238.81/1242.51 c #Conflicts: 391000 | #Constraints: 30652
1238.81/1242.51 c #Conflicts: 392000 | #Constraints: 31652
1238.81/1242.51 c #Conflicts: 393000 | #Constraints: 32652
1238.81/1242.51 c #Conflicts: 394000 | #Constraints: 33652
1238.81/1242.51 c INPROCESSING
1238.81/1242.51 c GARBAGE COLLECT
1238.81/1242.51 c #Conflicts: 395000 | #Constraints: 22266
1238.81/1242.51 c #Conflicts: 396000 | #Constraints: 23266
1238.81/1242.51 c #Conflicts: 397000 | #Constraints: 24266
1238.81/1242.51 c #Conflicts: 398000 | #Constraints: 25266
1238.81/1242.51 c #Conflicts: 399000 | #Constraints: 26266
1238.81/1242.51 c #Conflicts: 400000 | #Constraints: 27266
1238.81/1242.51 c #Conflicts: 401000 | #Constraints: 28266
1238.81/1242.51 c #Conflicts: 402000 | #Constraints: 29266
1238.81/1242.51 c #Conflicts: 403000 | #Constraints: 30266
1238.81/1242.51 c #Conflicts: 404000 | #Constraints: 31266
1238.81/1242.51 c #Conflicts: 405000 | #Constraints: 32266
1238.81/1242.51 c #Conflicts: 406000 | #Constraints: 33266
1238.81/1242.51 c #Conflicts: 407000 | #Constraints: 34266
1238.81/1242.51 c INPROCESSING
1238.81/1242.51 c GARBAGE COLLECT
1238.81/1242.51 c #Conflicts: 408000 | #Constraints: 22649
1238.81/1242.51 c #Conflicts: 409000 | #Constraints: 23649
1238.81/1242.51 c #Conflicts: 410000 | #Constraints: 24649
1238.81/1242.51 c #Conflicts: 411000 | #Constraints: 25649
1238.81/1242.51 c #Conflicts: 412000 | #Constraints: 26649
1238.81/1242.51 c #Conflicts: 413000 | #Constraints: 27649
1238.81/1242.51 c #Conflicts: 414000 | #Constraints: 28649
1238.81/1242.51 c #Conflicts: 415000 | #Constraints: 29649
1238.81/1242.51 c #Conflicts: 416000 | #Constraints: 30649
1238.81/1242.51 c #Conflicts: 417000 | #Constraints: 31649
1238.81/1242.51 c #Conflicts: 418000 | #Constraints: 32649
1238.81/1242.51 c #Conflicts: 419000 | #Constraints: 33649
1238.81/1242.51 c #Conflicts: 420000 | #Constraints: 34649
1238.81/1242.51 c INPROCESSING
1238.81/1242.51 c GARBAGE COLLECT
1239.01/1242.75 c rational objective 1147.37
1560.18/1564.81 c #Conflicts: 421000 | #Constraints: 22887
1560.18/1564.81 c #Conflicts: 422000 | #Constraints: 23887
1560.18/1564.81 c #Conflicts: 423000 | #Constraints: 24887
1560.18/1564.81 c #Conflicts: 424000 | #Constraints: 25887
1560.18/1564.81 c #Conflicts: 425000 | #Constraints: 26887
1560.18/1564.81 c #Conflicts: 426000 | #Constraints: 27887
1560.18/1564.81 c #Conflicts: 427000 | #Constraints: 28887
1560.18/1564.81 c #Conflicts: 428000 | #Constraints: 29887
1560.18/1564.81 c #Conflicts: 429000 | #Constraints: 30887
1560.18/1564.81 c #Conflicts: 430000 | #Constraints: 31887
1560.18/1564.81 c #Conflicts: 431000 | #Constraints: 32887
1560.18/1564.81 c #Conflicts: 432000 | #Constraints: 34034
1560.18/1564.81 c #Conflicts: 433000 | #Constraints: 35509
1560.18/1564.81 c INPROCESSING
1560.18/1564.81 c GARBAGE COLLECT
1560.18/1564.81 c #Conflicts: 434000 | #Constraints: 23259
1560.18/1564.81 c #Conflicts: 435000 | #Constraints: 24259
1560.18/1564.81 c #Conflicts: 436000 | #Constraints: 25259
1560.18/1564.81 c #Conflicts: 437000 | #Constraints: 26259
1560.18/1564.81 c #Conflicts: 438000 | #Constraints: 27259
1560.18/1564.81 c #Conflicts: 439000 | #Constraints: 28259
1560.18/1564.81 c #Conflicts: 440000 | #Constraints: 29259
1560.18/1564.81 c #Conflicts: 441000 | #Constraints: 30259
1560.18/1564.81 c #Conflicts: 442000 | #Constraints: 31259
1560.18/1564.81 c #Conflicts: 443000 | #Constraints: 32259
1560.18/1564.81 c #Conflicts: 444000 | #Constraints: 33259
1560.18/1564.81 c #Conflicts: 445000 | #Constraints: 34259
1560.18/1564.81 c #Conflicts: 446000 | #Constraints: 35259
1560.18/1564.81 c INPROCESSING
1560.18/1564.81 c GARBAGE COLLECT
1560.18/1564.81 c #Conflicts: 447000 | #Constraints: 22880
1560.18/1564.81 c #Conflicts: 448000 | #Constraints: 23880
1560.18/1564.81 c #Conflicts: 449000 | #Constraints: 24880
1560.18/1564.81 c #Conflicts: 450000 | #Constraints: 25880
1560.18/1564.81 c #Conflicts: 451000 | #Constraints: 26880
1560.18/1564.81 c #Conflicts: 452000 | #Constraints: 27880
1560.18/1564.81 c #Conflicts: 453000 | #Constraints: 28880
1560.18/1564.81 c #Conflicts: 454000 | #Constraints: 29880
1560.18/1564.81 c #Conflicts: 455000 | #Constraints: 30880
1560.18/1564.81 c #Conflicts: 456000 | #Constraints: 31880
1560.18/1564.81 c #Conflicts: 457000 | #Constraints: 32880
1560.18/1564.81 c #Conflicts: 458000 | #Constraints: 33880
1560.18/1564.81 c #Conflicts: 459000 | #Constraints: 34880
1560.18/1564.81 c #Conflicts: 460000 | #Constraints: 35880
1560.18/1564.81 c INPROCESSING
1560.18/1564.81 c GARBAGE COLLECT
1560.18/1564.81 c #Conflicts: 461000 | #Constraints: 23384
1560.18/1564.81 c #Conflicts: 462000 | #Constraints: 24384
1560.18/1564.81 c #Conflicts: 463000 | #Constraints: 25384
1560.18/1564.81 c #Conflicts: 464000 | #Constraints: 26384
1560.18/1564.81 c #Conflicts: 465000 | #Constraints: 27384
1560.18/1564.81 c #Conflicts: 466000 | #Constraints: 28384
1560.18/1564.81 c #Conflicts: 467000 | #Constraints: 29384
1560.18/1564.81 c #Conflicts: 468000 | #Constraints: 30384
1560.18/1564.81 c #Conflicts: 469000 | #Constraints: 31384
1560.18/1564.81 c #Conflicts: 470000 | #Constraints: 32384
1560.18/1564.81 c #Conflicts: 471000 | #Constraints: 33384
1560.18/1564.81 c #Conflicts: 472000 | #Constraints: 34384
1560.18/1564.81 c #Conflicts: 473000 | #Constraints: 35384
1560.18/1564.81 c #Conflicts: 474000 | #Constraints: 36384
1560.18/1564.81 c INPROCESSING
1560.18/1564.81 c GARBAGE COLLECT
1560.18/1564.81 c #Conflicts: 475000 | #Constraints: 23730
1560.18/1564.81 c #Conflicts: 476000 | #Constraints: 24730
1560.18/1564.81 c #Conflicts: 477000 | #Constraints: 25730
1560.18/1564.81 c #Conflicts: 478000 | #Constraints: 26730
1560.18/1564.81 c #Conflicts: 479000 | #Constraints: 27730
1560.18/1564.81 c #Conflicts: 480000 | #Constraints: 28730
1560.18/1564.81 c #Conflicts: 481000 | #Constraints: 29730
1560.18/1564.81 c #Conflicts: 482000 | #Constraints: 30730
1560.18/1564.81 c #Conflicts: 483000 | #Constraints: 31730
1560.18/1564.81 c #Conflicts: 484000 | #Constraints: 32730
1560.18/1564.81 c #Conflicts: 485000 | #Constraints: 33730
1560.18/1564.81 c #Conflicts: 486000 | #Constraints: 34730
1560.18/1564.81 c #Conflicts: 487000 | #Constraints: 35730
1560.18/1564.81 c #Conflicts: 488000 | #Constraints: 36730
1560.18/1564.81 c INPROCESSING
1560.18/1564.81 c GARBAGE COLLECT
1560.18/1564.81 c #Conflicts: 489000 | #Constraints: 23878
1560.18/1564.81 c #Conflicts: 490000 | #Constraints: 24878
1560.18/1564.81 c #Conflicts: 491000 | #Constraints: 25878
1560.18/1564.81 c #Conflicts: 492000 | #Constraints: 26878
1560.18/1564.81 c #Conflicts: 493000 | #Constraints: 27878
1560.18/1564.81 c #Conflicts: 494000 | #Constraints: 28878
1560.18/1564.81 c #Conflicts: 495000 | #Constraints: 29878
1560.18/1564.81 c #Conflicts: 496000 | #Constraints: 30878
1600.28/1605.07 c #Conflicts: 497000 | #Constraints: 31878
1600.28/1605.07 c #Conflicts: 498000 | #Constraints: 32879
1600.28/1605.07 c #Conflicts: 499000 | #Constraints: 33879
1600.28/1605.07 c #Conflicts: 500000 | #Constraints: 34879
1600.28/1605.07 c #Conflicts: 501000 | #Constraints: 35879
1600.28/1605.07 c #Conflicts: 502000 | #Constraints: 36880
1600.28/1605.07 c INPROCESSING
1600.28/1605.07 c GARBAGE COLLECT
1600.28/1605.07 c rational objective 1164.26
1906.61/1912.20 c #Conflicts: 503000 | #Constraints: 23868
1906.61/1912.20 c #Conflicts: 504000 | #Constraints: 24868
1906.61/1912.20 c #Conflicts: 505000 | #Constraints: 25868
1906.61/1912.20 c #Conflicts: 506000 | #Constraints: 26868
1906.61/1912.20 c #Conflicts: 507000 | #Constraints: 27868
1906.61/1912.20 c #Conflicts: 508000 | #Constraints: 28868
1906.61/1912.20 c #Conflicts: 509000 | #Constraints: 29868
1906.61/1912.20 c #Conflicts: 510000 | #Constraints: 30868
1906.61/1912.20 c #Conflicts: 511000 | #Constraints: 31868
1906.61/1912.20 c #Conflicts: 512000 | #Constraints: 32868
1906.61/1912.20 c #Conflicts: 513000 | #Constraints: 33868
1906.61/1912.20 c #Conflicts: 514000 | #Constraints: 34868
1906.61/1912.20 c #Conflicts: 515000 | #Constraints: 35868
1906.61/1912.20 c #Conflicts: 516000 | #Constraints: 36994
1906.61/1912.20 c INPROCESSING
1906.61/1912.20 c GARBAGE COLLECT
1906.61/1912.20 c #Conflicts: 517000 | #Constraints: 23710
1906.61/1912.20 c #Conflicts: 518000 | #Constraints: 24710
1906.61/1912.20 c #Conflicts: 519000 | #Constraints: 25710
1906.61/1912.20 c #Conflicts: 520000 | #Constraints: 26710
1906.61/1912.20 c #Conflicts: 521000 | #Constraints: 27710
1906.61/1912.20 c #Conflicts: 522000 | #Constraints: 28710
1906.61/1912.20 c #Conflicts: 523000 | #Constraints: 29710
1906.61/1912.20 c #Conflicts: 524000 | #Constraints: 30710
1906.61/1912.20 c #Conflicts: 525000 | #Constraints: 31710
1906.61/1912.20 c #Conflicts: 526000 | #Constraints: 32710
1906.61/1912.20 c #Conflicts: 527000 | #Constraints: 33710
1906.61/1912.20 c #Conflicts: 528000 | #Constraints: 34710
1906.61/1912.20 c #Conflicts: 529000 | #Constraints: 35710
1906.61/1912.20 c #Conflicts: 530000 | #Constraints: 36710
1906.61/1912.20 c #Conflicts: 531000 | #Constraints: 37710
1906.61/1912.20 c INPROCESSING
1906.61/1912.20 c GARBAGE COLLECT
1906.61/1912.20 c #Conflicts: 532000 | #Constraints: 24258
1906.61/1912.20 c #Conflicts: 533000 | #Constraints: 25258
1906.61/1912.20 c #Conflicts: 534000 | #Constraints: 26258
1906.61/1912.20 c #Conflicts: 535000 | #Constraints: 27258
1906.61/1912.20 c #Conflicts: 536000 | #Constraints: 28258
1906.61/1912.20 c #Conflicts: 537000 | #Constraints: 29258
1906.61/1912.20 c #Conflicts: 538000 | #Constraints: 30258
1906.61/1912.20 c #Conflicts: 539000 | #Constraints: 31258
1906.61/1912.20 c #Conflicts: 540000 | #Constraints: 32258
1906.61/1912.20 c #Conflicts: 541000 | #Constraints: 33258
1906.61/1912.20 c #Conflicts: 542000 | #Constraints: 34258
1906.61/1912.20 c #Conflicts: 543000 | #Constraints: 35258
1906.61/1912.20 c #Conflicts: 544000 | #Constraints: 36258
1906.61/1912.20 c #Conflicts: 545000 | #Constraints: 37258
1906.61/1912.20 c #Conflicts: 546000 | #Constraints: 38258
1906.61/1912.20 c INPROCESSING
1906.61/1912.20 c GARBAGE COLLECT
1906.61/1912.20 c #Conflicts: 547000 | #Constraints: 24667
1906.61/1912.20 c #Conflicts: 548000 | #Constraints: 25667
1906.61/1912.20 c #Conflicts: 549000 | #Constraints: 26667
1906.61/1912.20 c #Conflicts: 550000 | #Constraints: 27667
1906.61/1912.20 c #Conflicts: 551000 | #Constraints: 28667
1906.61/1912.20 c #Conflicts: 552000 | #Constraints: 29667
1906.61/1912.20 c #Conflicts: 553000 | #Constraints: 30667
1906.61/1912.20 c #Conflicts: 554000 | #Constraints: 31667
1906.61/1912.20 c #Conflicts: 555000 | #Constraints: 32667
1906.61/1912.20 c #Conflicts: 556000 | #Constraints: 33667
1906.61/1912.20 c #Conflicts: 557000 | #Constraints: 34667
1906.61/1912.20 c #Conflicts: 558000 | #Constraints: 35667
1906.61/1912.20 c #Conflicts: 559000 | #Constraints: 36667
1906.61/1912.20 c #Conflicts: 560000 | #Constraints: 37667
1906.61/1912.20 c #Conflicts: 561000 | #Constraints: 38667
1906.61/1912.20 c INPROCESSING
1906.61/1912.20 c GARBAGE COLLECT
1906.61/1912.20 c #Conflicts: 562000 | #Constraints: 24865
1906.61/1912.20 c #Conflicts: 563000 | #Constraints: 25865
1906.61/1912.20 c #Conflicts: 564000 | #Constraints: 26865
1906.61/1912.20 c #Conflicts: 565000 | #Constraints: 27865
1906.61/1912.20 c #Conflicts: 566000 | #Constraints: 28865
1906.61/1912.20 c #Conflicts: 567000 | #Constraints: 29865
1906.61/1912.20 c #Conflicts: 568000 | #Constraints: 30865
1906.61/1912.20 c #Conflicts: 569000 | #Constraints: 31865
1906.61/1912.20 c #Conflicts: 570000 | #Constraints: 32865
1906.61/1912.20 c #Conflicts: 571000 | #Constraints: 33865
1906.61/1912.20 c #Conflicts: 572000 | #Constraints: 34865
1906.61/1912.20 c #Conflicts: 573000 | #Constraints: 35865
1906.61/1912.20 c #Conflicts: 574000 | #Constraints: 36865
1906.61/1912.20 c #Conflicts: 575000 | #Constraints: 37865
1906.61/1912.20 c #Conflicts: 576000 | #Constraints: 38865
1906.61/1912.20 c INPROCESSING
1906.61/1912.20 c GARBAGE COLLECT
1906.61/1912.20 c #Conflicts: 577000 | #Constraints: 24867
1906.61/1912.20 c #Conflicts: 578000 | #Constraints: 25867
2253.43/2260.07 c #Conflicts: 579000 | #Constraints: 26867
2253.43/2260.07 c #Conflicts: 580000 | #Constraints: 27867
2253.43/2260.07 c #Conflicts: 581000 | #Constraints: 28867
2253.43/2260.07 c #Conflicts: 582000 | #Constraints: 29867
2253.43/2260.07 c #Conflicts: 583000 | #Constraints: 30867
2253.43/2260.07 c #Conflicts: 584000 | #Constraints: 31867
2253.43/2260.07 c #Conflicts: 585000 | #Constraints: 32867
2253.43/2260.07 c #Conflicts: 586000 | #Constraints: 33867
2253.43/2260.07 c #Conflicts: 587000 | #Constraints: 34867
2253.43/2260.07 c #Conflicts: 588000 | #Constraints: 35867
2253.43/2260.07 c #Conflicts: 589000 | #Constraints: 37059
2253.43/2260.07 c #Conflicts: 590000 | #Constraints: 38613
2253.43/2260.07 c #Conflicts: 591000 | #Constraints: 40136
2253.43/2260.07 c INPROCESSING
2253.43/2260.07 c GARBAGE COLLECT
2253.43/2260.07 c #Conflicts: 592000 | #Constraints: 25451
2253.43/2260.07 c #Conflicts: 593000 | #Constraints: 26451
2253.43/2260.07 c #Conflicts: 594000 | #Constraints: 27451
2253.43/2260.07 c #Conflicts: 595000 | #Constraints: 28451
2253.43/2260.07 c #Conflicts: 596000 | #Constraints: 29451
2253.43/2260.07 c #Conflicts: 597000 | #Constraints: 30451
2253.43/2260.07 c #Conflicts: 598000 | #Constraints: 31451
2253.43/2260.07 c #Conflicts: 599000 | #Constraints: 32451
2253.43/2260.07 c #Conflicts: 600000 | #Constraints: 33451
2253.43/2260.07 c #Conflicts: 601000 | #Constraints: 34451
2253.43/2260.07 c #Conflicts: 602000 | #Constraints: 35451
2253.43/2260.07 c #Conflicts: 603000 | #Constraints: 36451
2253.43/2260.07 c #Conflicts: 604000 | #Constraints: 37719
2253.43/2260.07 c #Conflicts: 605000 | #Constraints: 39284
2253.43/2260.07 c #Conflicts: 606000 | #Constraints: 40903
2253.43/2260.07 c #Conflicts: 607000 | #Constraints: 42376
2253.43/2260.07 c INPROCESSING
2253.43/2260.07 c GARBAGE COLLECT
2253.43/2260.07 c #Conflicts: 608000 | #Constraints: 26669
2253.43/2260.07 c #Conflicts: 609000 | #Constraints: 27669
2253.43/2260.07 c #Conflicts: 610000 | #Constraints: 28669
2253.43/2260.07 c #Conflicts: 611000 | #Constraints: 29669
2253.43/2260.07 c #Conflicts: 612000 | #Constraints: 30669
2253.43/2260.07 c #Conflicts: 613000 | #Constraints: 31669
2253.43/2260.07 c #Conflicts: 614000 | #Constraints: 32669
2253.43/2260.07 c #Conflicts: 615000 | #Constraints: 33669
2253.43/2260.07 c #Conflicts: 616000 | #Constraints: 34669
2253.43/2260.07 c #Conflicts: 617000 | #Constraints: 35669
2253.43/2260.07 c #Conflicts: 618000 | #Constraints: 36697
2253.43/2260.07 c #Conflicts: 619000 | #Constraints: 38227
2253.43/2260.07 c #Conflicts: 620000 | #Constraints: 39771
2253.43/2260.07 c #Conflicts: 621000 | #Constraints: 41134
2253.43/2260.07 c #Conflicts: 622000 | #Constraints: 42658
2253.43/2260.07 c #Conflicts: 623000 | #Constraints: 44141
2253.43/2260.07 c INPROCESSING
2253.43/2260.07 c GARBAGE COLLECT
2253.43/2260.07 c #Conflicts: 624000 | #Constraints: 27613
2253.43/2260.07 c #Conflicts: 625000 | #Constraints: 28613
2253.43/2260.07 c #Conflicts: 626000 | #Constraints: 29613
2253.43/2260.07 c #Conflicts: 627000 | #Constraints: 30613
2253.43/2260.07 c #Conflicts: 628000 | #Constraints: 31613
2253.43/2260.07 c #Conflicts: 629000 | #Constraints: 32613
2253.43/2260.07 c #Conflicts: 630000 | #Constraints: 33613
2253.43/2260.07 c #Conflicts: 631000 | #Constraints: 34613
2253.43/2260.07 c #Conflicts: 632000 | #Constraints: 35613
2253.43/2260.07 c #Conflicts: 633000 | #Constraints: 36613
2253.43/2260.07 c #Conflicts: 634000 | #Constraints: 37926
2253.43/2260.07 c #Conflicts: 635000 | #Constraints: 39421
2253.43/2260.07 c #Conflicts: 636000 | #Constraints: 40926
2253.43/2260.07 c #Conflicts: 637000 | #Constraints: 42447
2253.43/2260.07 c #Conflicts: 638000 | #Constraints: 43947
2253.43/2260.07 c #Conflicts: 639000 | #Constraints: 45422
2253.43/2260.07 c INPROCESSING
2253.43/2260.07 c GARBAGE COLLECT
2253.43/2260.07 c #Conflicts: 640000 | #Constraints: 28237
2253.43/2260.07 c #Conflicts: 641000 | #Constraints: 29237
2253.43/2260.07 c #Conflicts: 642000 | #Constraints: 30237
2253.43/2260.07 c #Conflicts: 643000 | #Constraints: 31237
2253.43/2260.07 c #Conflicts: 644000 | #Constraints: 32237
2253.43/2260.07 c #Conflicts: 645000 | #Constraints: 33238
2253.43/2260.07 c #Conflicts: 646000 | #Constraints: 34633
2253.43/2260.07 c #Conflicts: 647000 | #Constraints: 36144
2253.43/2260.07 c #Conflicts: 648000 | #Constraints: 37168
2253.43/2260.07 c #Conflicts: 649000 | #Constraints: 38378
2253.43/2260.07 c #Conflicts: 650000 | #Constraints: 39916
2253.43/2260.07 c #Conflicts: 651000 | #Constraints: 41438
2253.43/2260.07 c #Conflicts: 652000 | #Constraints: 42907
2253.43/2260.07 c #Conflicts: 653000 | #Constraints: 44384
2253.43/2260.07 c #Conflicts: 654000 | #Constraints: 45874
2259.79/2266.43 c #Conflicts: 655000 | #Constraints: 47373
2259.79/2266.43 c INPROCESSING
2259.79/2266.43 c GARBAGE COLLECT
2259.79/2266.43 c rational objective 1174.47
2691.78/2699.69 c #Conflicts: 656000 | #Constraints: 29586
2691.78/2699.69 c #Conflicts: 657000 | #Constraints: 31089
2691.78/2699.69 c #Conflicts: 658000 | #Constraints: 32588
2691.78/2699.69 c #Conflicts: 659000 | #Constraints: 34086
2691.78/2699.69 c #Conflicts: 660000 | #Constraints: 35615
2691.78/2699.69 c #Conflicts: 661000 | #Constraints: 37126
2691.78/2699.69 c #Conflicts: 662000 | #Constraints: 38620
2691.78/2699.69 c #Conflicts: 663000 | #Constraints: 40114
2691.78/2699.69 c #Conflicts: 664000 | #Constraints: 41637
2691.78/2699.69 c #Conflicts: 665000 | #Constraints: 42683
2691.78/2699.69 c #Conflicts: 666000 | #Constraints: 44146
2691.78/2699.69 c #Conflicts: 667000 | #Constraints: 45615
2691.78/2699.69 c #Conflicts: 668000 | #Constraints: 47102
2691.78/2699.69 c #Conflicts: 669000 | #Constraints: 48305
2691.78/2699.69 c #Conflicts: 670000 | #Constraints: 49352
2691.78/2699.69 c #Conflicts: 671000 | #Constraints: 50361
2691.78/2699.69 c INPROCESSING
2691.78/2699.69 c GARBAGE COLLECT
2691.78/2699.69 c #Conflicts: 672000 | #Constraints: 30399
2691.78/2699.69 c #Conflicts: 673000 | #Constraints: 31548
2691.78/2699.69 c #Conflicts: 674000 | #Constraints: 33086
2691.78/2699.69 c #Conflicts: 675000 | #Constraints: 34576
2691.78/2699.69 c #Conflicts: 676000 | #Constraints: 36086
2691.78/2699.69 c #Conflicts: 677000 | #Constraints: 37634
2691.78/2699.69 c #Conflicts: 678000 | #Constraints: 39177
2691.78/2699.69 c #Conflicts: 679000 | #Constraints: 40679
2691.78/2699.69 c #Conflicts: 680000 | #Constraints: 42192
2691.78/2699.69 c #Conflicts: 681000 | #Constraints: 43671
2691.78/2699.69 c #Conflicts: 682000 | #Constraints: 45171
2691.78/2699.69 c #Conflicts: 683000 | #Constraints: 46666
2691.78/2699.69 c #Conflicts: 684000 | #Constraints: 48132
2691.78/2699.69 c #Conflicts: 685000 | #Constraints: 49373
2691.78/2699.69 c #Conflicts: 686000 | #Constraints: 50835
2691.78/2699.69 c #Conflicts: 687000 | #Constraints: 52319
2691.78/2699.69 c #Conflicts: 688000 | #Constraints: 53827
2691.78/2699.69 c INPROCESSING
2691.78/2699.69 c GARBAGE COLLECT
2691.78/2699.69 c #Conflicts: 689000 | #Constraints: 32799
2691.78/2699.69 c #Conflicts: 690000 | #Constraints: 34241
2691.78/2699.69 c #Conflicts: 691000 | #Constraints: 35598
2691.78/2699.69 c #Conflicts: 692000 | #Constraints: 36771
2691.78/2699.69 c #Conflicts: 693000 | #Constraints: 37771
2691.78/2699.69 c #Conflicts: 694000 | #Constraints: 38771
2691.78/2699.69 c #Conflicts: 695000 | #Constraints: 39771
2691.78/2699.69 c #Conflicts: 696000 | #Constraints: 40921
2691.78/2699.69 c #Conflicts: 697000 | #Constraints: 42409
2691.78/2699.69 c #Conflicts: 698000 | #Constraints: 43897
2691.78/2699.69 c #Conflicts: 699000 | #Constraints: 45415
2691.78/2699.69 c #Conflicts: 700000 | #Constraints: 46918
2691.78/2699.69 c #Conflicts: 701000 | #Constraints: 48416
2691.78/2699.69 c #Conflicts: 702000 | #Constraints: 49921
2691.78/2699.69 c #Conflicts: 703000 | #Constraints: 51429
2691.78/2699.69 c #Conflicts: 704000 | #Constraints: 52937
2691.78/2699.69 c #Conflicts: 705000 | #Constraints: 54434
2691.78/2699.69 c INPROCESSING
2691.78/2699.69 c GARBAGE COLLECT
2691.78/2699.69 c #Conflicts: 706000 | #Constraints: 33268
2691.78/2699.69 c #Conflicts: 707000 | #Constraints: 34707
2691.78/2699.69 c #Conflicts: 708000 | #Constraints: 36205
2691.78/2699.69 c #Conflicts: 709000 | #Constraints: 37644
2691.78/2699.69 c #Conflicts: 710000 | #Constraints: 39105
2691.78/2699.69 c #Conflicts: 711000 | #Constraints: 40571
2691.78/2699.69 c #Conflicts: 712000 | #Constraints: 42058
2691.78/2699.69 c #Conflicts: 713000 | #Constraints: 43539
2691.78/2699.70 c #Conflicts: 714000 | #Constraints: 45002
2691.78/2699.70 c #Conflicts: 715000 | #Constraints: 46445
2691.78/2699.70 c #Conflicts: 716000 | #Constraints: 47900
2691.78/2699.70 c #Conflicts: 717000 | #Constraints: 49325
2691.78/2699.70 c #Conflicts: 718000 | #Constraints: 50797
2691.78/2699.70 c #Conflicts: 719000 | #Constraints: 52304
2691.78/2699.70 c #Conflicts: 720000 | #Constraints: 53822
2691.78/2699.70 c #Conflicts: 721000 | #Constraints: 55305
2691.78/2699.70 c #Conflicts: 722000 | #Constraints: 56769
2691.78/2699.70 c INPROCESSING
2691.78/2699.70 c GARBAGE COLLECT
2691.78/2699.70 c #Conflicts: 723000 | #Constraints: 34418
2691.78/2699.70 c #Conflicts: 724000 | #Constraints: 35900
2691.78/2699.70 c #Conflicts: 725000 | #Constraints: 37416
2691.78/2699.70 c #Conflicts: 726000 | #Constraints: 38911
2691.78/2699.70 c #Conflicts: 727000 | #Constraints: 40389
2691.78/2699.70 c #Conflicts: 728000 | #Constraints: 41891
2691.78/2699.70 c #Conflicts: 729000 | #Constraints: 43380
2691.78/2699.70 c #Conflicts: 730000 | #Constraints: 44860
2691.78/2699.70 c #Conflicts: 731000 | #Constraints: 46332
2691.78/2699.70 c #Conflicts: 732000 | #Constraints: 47821
3197.85/3207.28 c #Conflicts: 733000 | #Constraints: 49307
3197.85/3207.28 c #Conflicts: 734000 | #Constraints: 50791
3197.85/3207.28 c #Conflicts: 735000 | #Constraints: 52285
3197.85/3207.28 c #Conflicts: 736000 | #Constraints: 53777
3197.85/3207.28 c #Conflicts: 737000 | #Constraints: 55266
3197.85/3207.28 c #Conflicts: 738000 | #Constraints: 56769
3197.85/3207.28 c #Conflicts: 739000 | #Constraints: 58279
3197.85/3207.28 c INPROCESSING
3197.85/3207.28 c GARBAGE COLLECT
3197.85/3207.28 c #Conflicts: 740000 | #Constraints: 35073
3197.85/3207.28 c #Conflicts: 741000 | #Constraints: 36658
3197.85/3207.28 c #Conflicts: 742000 | #Constraints: 38195
3197.85/3207.28 c #Conflicts: 743000 | #Constraints: 39761
3197.85/3207.28 c #Conflicts: 744000 | #Constraints: 41312
3197.85/3207.28 c #Conflicts: 745000 | #Constraints: 42798
3197.85/3207.28 c #Conflicts: 746000 | #Constraints: 44280
3197.85/3207.28 c #Conflicts: 747000 | #Constraints: 45774
3197.85/3207.28 c #Conflicts: 748000 | #Constraints: 47273
3197.85/3207.28 c #Conflicts: 749000 | #Constraints: 48768
3197.85/3207.28 c #Conflicts: 750000 | #Constraints: 50247
3197.85/3207.28 c #Conflicts: 751000 | #Constraints: 51729
3197.85/3207.29 c #Conflicts: 752000 | #Constraints: 53248
3197.85/3207.29 c #Conflicts: 753000 | #Constraints: 54751
3197.85/3207.29 c #Conflicts: 754000 | #Constraints: 56249
3197.85/3207.29 c #Conflicts: 755000 | #Constraints: 57766
3197.85/3207.29 c #Conflicts: 756000 | #Constraints: 59274
3197.85/3207.29 c INPROCESSING
3197.85/3207.29 c GARBAGE COLLECT
3197.85/3207.29 c #Conflicts: 757000 | #Constraints: 35203
3197.85/3207.29 c #Conflicts: 758000 | #Constraints: 36715
3197.85/3207.29 c #Conflicts: 759000 | #Constraints: 38352
3197.85/3207.29 c #Conflicts: 760000 | #Constraints: 39932
3197.85/3207.29 c #Conflicts: 761000 | #Constraints: 41384
3197.85/3207.29 c #Conflicts: 762000 | #Constraints: 42855
3197.85/3207.29 c #Conflicts: 763000 | #Constraints: 44406
3197.85/3207.29 c #Conflicts: 764000 | #Constraints: 45914
3197.85/3207.29 c #Conflicts: 765000 | #Constraints: 47448
3197.85/3207.29 c #Conflicts: 766000 | #Constraints: 49053
3197.85/3207.29 c #Conflicts: 767000 | #Constraints: 50527
3197.85/3207.29 c #Conflicts: 768000 | #Constraints: 51987
3197.85/3207.29 c #Conflicts: 769000 | #Constraints: 53507
3197.85/3207.29 c #Conflicts: 770000 | #Constraints: 54996
3197.85/3207.29 c #Conflicts: 771000 | #Constraints: 56512
3197.85/3207.29 c #Conflicts: 772000 | #Constraints: 57986
3197.85/3207.29 c #Conflicts: 773000 | #Constraints: 59326
3197.85/3207.29 c #Conflicts: 774000 | #Constraints: 60797
3197.85/3207.29 c INPROCESSING
3197.85/3207.29 c GARBAGE COLLECT
3197.85/3207.29 c #Conflicts: 775000 | #Constraints: 35867
3197.85/3207.29 c #Conflicts: 776000 | #Constraints: 36890
3197.85/3207.29 c #Conflicts: 777000 | #Constraints: 38389
3197.85/3207.29 c #Conflicts: 778000 | #Constraints: 39884
3197.85/3207.29 c #Conflicts: 779000 | #Constraints: 41379
3197.85/3207.29 c #Conflicts: 780000 | #Constraints: 42873
3197.85/3207.29 c #Conflicts: 781000 | #Constraints: 44332
3197.85/3207.29 c #Conflicts: 782000 | #Constraints: 45778
3197.85/3207.29 c #Conflicts: 783000 | #Constraints: 47285
3197.85/3207.29 c #Conflicts: 784000 | #Constraints: 48781
3197.85/3207.29 c #Conflicts: 785000 | #Constraints: 50271
3197.85/3207.29 c #Conflicts: 786000 | #Constraints: 51750
3197.85/3207.29 c #Conflicts: 787000 | #Constraints: 53215
3197.85/3207.29 c #Conflicts: 788000 | #Constraints: 54687
3197.85/3207.29 c #Conflicts: 789000 | #Constraints: 56247
3197.85/3207.29 c #Conflicts: 790000 | #Constraints: 57768
3197.85/3207.29 c #Conflicts: 791000 | #Constraints: 59257
3197.85/3207.29 c #Conflicts: 792000 | #Constraints: 60762
3197.85/3207.29 c INPROCESSING
3197.85/3207.29 c GARBAGE COLLECT
3197.85/3207.29 c #Conflicts: 793000 | #Constraints: 36287
3197.85/3207.29 c #Conflicts: 794000 | #Constraints: 37544
3197.85/3207.29 c #Conflicts: 795000 | #Constraints: 38933
3197.85/3207.29 c #Conflicts: 796000 | #Constraints: 40051
3197.85/3207.29 c #Conflicts: 797000 | #Constraints: 41528
3197.85/3207.29 c #Conflicts: 798000 | #Constraints: 43029
3197.85/3207.29 c #Conflicts: 799000 | #Constraints: 44535
3197.85/3207.29 c #Conflicts: 800000 | #Constraints: 46035
3197.85/3207.29 c #Conflicts: 801000 | #Constraints: 47525
3197.85/3207.29 c #Conflicts: 802000 | #Constraints: 49006
3197.85/3207.29 c #Conflicts: 803000 | #Constraints: 50517
3197.85/3207.29 c #Conflicts: 804000 | #Constraints: 51999
3197.85/3207.29 c #Conflicts: 805000 | #Constraints: 53568
3197.85/3207.29 c #Conflicts: 806000 | #Constraints: 55072
3197.85/3207.29 c #Conflicts: 807000 | #Constraints: 56567
3197.85/3207.29 c #Conflicts: 808000 | #Constraints: 58054
3600.06/3610.60 c #Conflicts: 809000 | #Constraints: 59544
3600.06/3610.60 c #Conflicts: 810000 | #Constraints: 61049
3600.06/3610.60 c INPROCESSING
3600.06/3610.60 c GARBAGE COLLECT
3600.06/3610.60 c #Conflicts: 811000 | #Constraints: 36556
3600.06/3610.60 c #Conflicts: 812000 | #Constraints: 38069
3600.06/3610.60 c #Conflicts: 813000 | #Constraints: 39603
3600.06/3610.60 c #Conflicts: 814000 | #Constraints: 41099
3600.06/3610.60 c #Conflicts: 815000 | #Constraints: 42636
3600.06/3610.60 c #Conflicts: 816000 | #Constraints: 44111
3600.06/3610.60 c #Conflicts: 817000 | #Constraints: 45667
3600.06/3610.60 c #Conflicts: 818000 | #Constraints: 47077
3600.06/3610.60 c #Conflicts: 819000 | #Constraints: 48457
3600.06/3610.60 c #Conflicts: 820000 | #Constraints: 49893
3600.06/3610.60 c #Conflicts: 821000 | #Constraints: 51399
3600.06/3610.60 c #Conflicts: 822000 | #Constraints: 52913
3600.06/3610.60 c #Conflicts: 823000 | #Constraints: 54432
3600.06/3610.60 c #Conflicts: 824000 | #Constraints: 55949
3600.06/3610.60 c #Conflicts: 825000 | #Constraints: 57469
3600.06/3610.60 c #Conflicts: 826000 | #Constraints: 58984
3600.06/3610.60 c #Conflicts: 827000 | #Constraints: 60492
3600.06/3610.60 c #Conflicts: 828000 | #Constraints: 61972
3600.06/3610.60 c INPROCESSING
3600.06/3610.60 c GARBAGE COLLECT
3600.06/3610.60 c #Conflicts: 829000 | #Constraints: 36810
3600.06/3610.60 c #Conflicts: 830000 | #Constraints: 38239
3600.06/3610.60 c #Conflicts: 831000 | #Constraints: 39683
3600.06/3610.60 c #Conflicts: 832000 | #Constraints: 41142
3600.06/3610.60 c #Conflicts: 833000 | #Constraints: 42625
3600.06/3610.60 c #Conflicts: 834000 | #Constraints: 44095
3600.06/3610.60 c #Conflicts: 835000 | #Constraints: 45574
3600.06/3610.60 c #Conflicts: 836000 | #Constraints: 47051
3600.06/3610.60 c #Conflicts: 837000 | #Constraints: 48547
3600.06/3610.60 c #Conflicts: 838000 | #Constraints: 50037
3600.06/3610.60 c #Conflicts: 839000 | #Constraints: 51517
3600.06/3610.60 c #Conflicts: 840000 | #Constraints: 53016
3600.06/3610.60 c #Conflicts: 841000 | #Constraints: 54528
3600.06/3610.60 c #Conflicts: 842000 | #Constraints: 56013
3600.06/3610.60 c #Conflicts: 843000 | #Constraints: 57495
3600.06/3610.60 c #Conflicts: 844000 | #Constraints: 58986
3600.06/3610.60 c #Conflicts: 845000 | #Constraints: 60482
3600.06/3610.60 c #Conflicts: 846000 | #Constraints: 61999
3600.06/3610.60 c INPROCESSING
3600.06/3610.60 c GARBAGE COLLECT
3600.06/3610.60 c #Conflicts: 847000 | #Constraints: 36574
3600.06/3610.60 c #Conflicts: 848000 | #Constraints: 38084
3600.06/3610.60 c #Conflicts: 849000 | #Constraints: 39589
3600.06/3610.60 c #Conflicts: 850000 | #Constraints: 41091
3600.06/3610.60 c #Conflicts: 851000 | #Constraints: 42630
3600.06/3610.60 c #Conflicts: 852000 | #Constraints: 44132
3600.06/3610.60 c #Conflicts: 853000 | #Constraints: 45635
3600.06/3610.60 c #Conflicts: 854000 | #Constraints: 47119
3600.06/3610.60 c #Conflicts: 855000 | #Constraints: 48636
3600.06/3610.60 c #Conflicts: 856000 | #Constraints: 50137
3600.06/3610.60 c #Conflicts: 857000 | #Constraints: 51618
3600.06/3610.60 c #Conflicts: 858000 | #Constraints: 53104
3600.06/3610.60 c #Conflicts: 859000 | #Constraints: 54604
3600.06/3610.60 c #Conflicts: 860000 | #Constraints: 56123
3600.06/3610.60 c #Conflicts: 861000 | #Constraints: 57602
3600.06/3610.60 c #Conflicts: 862000 | #Constraints: 59062
3600.06/3610.60 c #Conflicts: 863000 | #Constraints: 60548
3600.06/3610.60 c #Conflicts: 864000 | #Constraints: 62068
3600.06/3610.60 c #Conflicts: 865000 | #Constraints: 63579
3600.06/3610.60 c INPROCESSING
3600.06/3610.60 c GARBAGE COLLECT
3600.06/3610.60 c #Conflicts: 866000 | #Constraints: 37653
3600.06/3610.60 c #Conflicts: 867000 | #Constraints: 39163
3600.06/3610.60 c #Conflicts: 868000 | #Constraints: 40679
3600.06/3610.60 c #Conflicts: 869000 | #Constraints: 42199
3600.06/3610.60 c #Conflicts: 870000 | #Constraints: 43698
3600.06/3610.60 c #Conflicts: 871000 | #Constraints: 45201
3600.06/3610.60 c #Conflicts: 872000 | #Constraints: 46690
3600.06/3610.60 c Disabling crashed LP
3600.06/3610.60 c cpu time 3576.37 s
3600.06/3610.60 c deterministic time 1152671192087 1.15e+12
3600.06/3610.60 c optimization time 21.7065 s
3600.06/3610.60 c total solve time 3554.53 s
3600.06/3610.60 c core-guided solve time 0 s
3600.06/3610.60 c propagation time 3054.46 s
3600.06/3610.60 c conflict analysis time 375.291 s
3600.06/3610.60 c propagations 86342599
3600.06/3610.60 c resolve steps 22439345
3600.06/3610.60 c decisions 2754689
3600.06/3610.60 c conflicts 872378
3600.06/3610.60 c restarts 1882
3600.06/3610.60 c inprocessing phases 84
3600.06/3610.60 c garbage collections 84 ,( 100.00 )
3600.06/3610.60 c input clauses 6942 ,( 79.77 )
3600.06/3610.60 c input cardinalities 0 ,( 0.00 )
3600.06/3610.60 c input general constraints 1761 ,( 20.23 )
3600.06/3610.60 c input average constraint length 3.18
3600.06/3610.60 c input average constraint degree 24838881026878.66
3600.06/3610.60 c learned clauses 58199 ,( 5.86 )
3600.06/3610.60 c learned cardinalities 82 ,( 0.01 )
3600.06/3610.60 c learned general constraints 935649 ,( 94.14 )
3600.06/3610.60 c learned average constraint length 503.85
3600.06/3610.60 c learned average constraint degree 1232561876.41
3600.06/3610.60 c watched CF 32, 64, 128, Arb: 10492 , 0 , 0 , 0
3600.06/3610.60 c counting CF 32, 64, 128, Arb: 926915 , 3 , 0 , 0
3600.06/3610.60 c watched constraints 10492 ,( 1.12 )
3600.06/3610.60 c counting constraints 926918 ,( 98.88 )
3600.06/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 165916462 , 2849427 , 27902760340 ,( 13453152 , 27889307188 )
3600.06/3610.60 c gcd simplifications 24695
3600.06/3610.60 c detected cardinalities 40
3600.06/3610.60 c weakened non-implied lits 4221325
3600.06/3610.60 c weakened non-implying lits 338624
3600.06/3610.60 c original variables 5092
3600.06/3610.60 c clausal propagations 39432528
3600.06/3610.60 c cardinality propagations 402228
3600.06/3610.60 c watched propagations 140137
3600.06/3610.60 c counting propagations 45502968
3600.06/3610.60 c watch lookups 31408229472
3600.06/3610.60 c watch backjump lookups 0
3600.06/3610.60 c watch checks 364908609
3600.06/3610.60 c propagation checks 1118991961110
3600.06/3610.60 c constraint additions 1726876553
3600.06/3610.60 c trail pops 89964856
3600.06/3610.60 c formula constraints 8703
3600.06/3610.60 c learned constraints 872375
3600.06/3610.60 c bound constraints 0
3600.06/3610.60 c core-guided constraints 0
3600.06/3610.60 c encountered formula constraints 17111016
3600.06/3610.60 c encountered learned constraints 6169107
3600.06/3610.60 c encountered bound constraints 0
3600.06/3610.60 c encountered core-guided constraints 0
3600.06/3610.60 c LP total time 201.182 s
3600.06/3610.60 c LP solve time 143.09 s
3600.06/3610.60 c LP constraints added 9393
3600.06/3610.60 c LP constraints removed 142
3600.06/3610.60 c LP pivots internal 86342
3600.06/3610.60 c LP pivots root 67856
3600.06/3610.60 c LP calls 121808
3600.06/3610.60 c LP optimalities 136
3600.06/3610.60 c LP no pivot count 0
3600.06/3610.60 c LP infeasibilities 121659
3600.06/3610.60 c LP valid Farkas constraints 121071
3600.06/3610.60 c LP learned Farkas constraints 3
3600.06/3610.60 c LP basis resets 10
3600.06/3610.60 c LP cycling count 3
3600.06/3610.60 c LP singular count 0
3600.06/3610.60 c LP no primal count 0
3600.06/3610.60 c LP no farkas count 1
3600.06/3610.60 c LP other issue count 6
3600.06/3610.60 c LP Gomory cuts 481
3600.06/3610.60 c LP learned cuts 209
3600.06/3610.60 c LP deleted cuts 142
3600.06/3610.60 c LP encountered Gomory constraints 4798
3600.06/3610.60 c LP encountered Farkas constraints 26753
3600.06/3610.60 c LP encountered learned Farkas constraints 46
3600.06/3610.60 c CG auxiliary variables introduced 0
3600.06/3610.60 c CG solutions found 0
3600.06/3610.60 c CG cores constructed 0
3600.06/3610.60 c CG core cardinality constraints returned 0
3600.06/3610.60 c CG unit cores 0
3600.06/3610.60 c CG single cores 0
3600.06/3610.60 c CG blocks removed during cardinality reduction 0
3600.06/3610.60 c CG first core best 0
3600.06/3610.60 c CG decision core best 0
3600.06/3610.60 c CG core reduction tie 0
3600.06/3610.60 c CG core degree average 0.00
3600.06/3610.60 c CG core slack average 0.00
3600.06/3610.60 c CG core upper bound improvements 0
3600.06/3610.60 c STR number of successful calls 0
3600.06/3610.60 c STR number of unsuccessful calls 0
3600.06/3610.60 c STR number of inconclusive calls 0
3600.06/3610.60 c STR number of successful attempts 0
3600.06/3610.60 c STR number of unsuccessful attempts 0
3600.06/3610.60 c STR number of inconclusive attempts 0
3600.06/3610.60 c STR average degree increase per successful call inf
3600.06/3610.60 c STR average degree increase per successful attempt inf
3600.06/3610.60 c STR total number of conflicts for successful attempts 0
3600.06/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.60 c STR average number of conflicts per successful attempt inf
3600.06/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.60 c AVG.sumWPerc 94.80
3600.06/3610.60 c bigint constraints 3
3600.06/3610.60 s UNKNOWN
3600.06/3610.60 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 (54211 MiB free)
memory of node 1: 64465 MiB (53317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542039-1753211729/watcher-4542039-1753211729 -o /tmp/evaluation-result-4542039-1753211729/solver-4542039-1753211729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157540 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542039-1753211729.opb /tmp/proof-4542039-1753211729
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=157593, runsolver pid=157584
[startup+0.10007 s]*
/proc/loadavg: 1.17 1.31 1.43 6/256 157603
/proc/meminfo: memFree=110074156/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157596] ppid=157593 vsize=15720 memory=8096 CPUtime=0.09 cores=1,3
/proc/157596/stat : 157596 (pbsuma) R 157593 157593 157528 0 -1 4194304 1869 0 0 0 8 1 0 0 20 0 1 0 236851584 16097280 2024 18446744073709551615 4210688 4653049 140722886842960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 21086208 140722886850823 140722886851120 140722886851120 140722886856687 0
/proc/157596/statm: 3930 2024 1024 108 0 1338 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19912 KiB
Current children cumulated memory: 11040 KiB
[startup+0.214116 s]*
/proc/loadavg: 1.17 1.31 1.43 6/256 157604
/proc/meminfo: memFree=110038496/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=57748 memory=13452 CPUtime=0.04 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 983 0 0 0 3 1 0 0 20 0 1 0 236851600 59133952 3363 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 14437 3363 2080 1147 0 1864 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61940 KiB
Current children cumulated memory: 16396 KiB
[startup+0.314125 s]*
/proc/loadavg: 1.17 1.31 1.43 6/256 157604
/proc/meminfo: memFree=110037740/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=65736 memory=21524 CPUtime=0.14 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 3271 0 0 0 12 2 0 0 20 0 1 0 236851600 67313664 5381 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 16434 5381 2304 1147 0 3861 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 69928 KiB
Current children cumulated memory: 24468 KiB
[startup+0.700372 s]
/proc/loadavg: 1.17 1.31 1.43 6/256 157604
/proc/meminfo: memFree=110019972/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=75096 memory=28824 CPUtime=0.52 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 5152 0 0 0 48 4 0 0 20 0 1 0 236851600 76898304 7206 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 18774 7206 2336 1147 0 6201 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79288 KiB
Current children cumulated memory: 31768 KiB
[startup+1.5004 s]
/proc/loadavg: 1.17 1.31 1.43 6/256 157604
/proc/meminfo: memFree=110003344/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=82340 memory=38732 CPUtime=1.31 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 7014 0 0 0 125 6 0 0 20 0 1 0 236851600 84316160 9683 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 20585 9683 2464 1147 0 8012 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 86532 KiB
Current children cumulated memory: 41676 KiB
[startup+3.11295 s]
/proc/loadavg: 1.40 1.35 1.44 6/256 157605
/proc/meminfo: memFree=109885376/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=107680 memory=60492 CPUtime=2.91 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 12456 0 0 0 282 9 0 0 20 0 1 0 236851600 110264320 15123 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 26920 15123 2464 1147 0 14347 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 111872 KiB
Current children cumulated memory: 63436 KiB
[startup+6.30034 s]
/proc/loadavg: 1.40 1.35 1.44 6/256 157605
/proc/meminfo: memFree=109804892/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=136692 memory=80600 CPUtime=6.1 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 16972 0 0 0 597 13 0 0 20 0 1 0 236851600 139972608 20150 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 34173 20150 2464 1147 0 21600 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 140884 KiB
Current children cumulated memory: 83544 KiB
[startup+12.7004 s]
/proc/loadavg: 1.69 1.41 1.46 6/257 157655
/proc/meminfo: memFree=109432956/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=154808 memory=95844 CPUtime=12.47 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 19761 0 0 0 1228 19 0 0 20 0 1 0 236851600 158523392 23961 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 38702 23961 2464 1147 0 26129 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 159000 KiB
Current children cumulated memory: 98788 KiB
[startup+25.5003 s]
/proc/loadavg: 2.20 1.54 1.50 6/257 157657
/proc/meminfo: memFree=106416640/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=176996 memory=118284 CPUtime=25.23 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 24298 0 0 0 2489 34 0 0 20 0 1 0 236851600 181243904 29571 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 44249 29571 2496 1147 0 31676 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 181188 KiB
Current children cumulated memory: 121228 KiB
[startup+51.1132 s]
/proc/loadavg: 2.89 1.75 1.57 6/255 157657
/proc/meminfo: memFree=106122924/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=204540 memory=142308 CPUtime=50.77 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 29815 0 0 0 5019 58 0 0 20 0 1 0 236851600 209448960 35577 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 51135 35577 2496 1147 0 38562 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 208732 KiB
Current children cumulated memory: 145252 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 2.15 1.72 6/255 157666
/proc/meminfo: memFree=105598996/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=209344 memory=152596 CPUtime=101.79 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 31932 0 0 0 10074 105 0 0 20 0 1 0 236851600 214368256 38149 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 52336 38149 2496 1147 0 39763 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 213536 KiB
Current children cumulated memory: 155540 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.52 1.88 6/255 157668
/proc/meminfo: memFree=105060760/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=235292 memory=162380 CPUtime=161.6 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 33890 0 0 0 15999 161 0 0 20 0 1 0 236851600 240939008 40595 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 58823 40595 2496 1147 0 46250 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 239484 KiB
Current children cumulated memory: 165324 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 2.82 2.02 6/255 157670
/proc/meminfo: memFree=104356068/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=289292 memory=217224 CPUtime=221.4 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 43061 0 0 0 21926 214 0 0 20 0 1 0 236851600 296235008 54306 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 72323 54306 2496 1147 0 59750 0
################
# More data... #
################
/proc/157604/statm: 167971 131269 2496 1147 0 155398 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 676076 KiB
Current children cumulated memory: 528020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.24 4.11 6/255 157816
/proc/meminfo: memFree=83548332/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=671884 memory=525204 CPUtime=3093.14 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 103581 0 0 0 307250 2064 0 0 20 0 1 0 236851600 688009216 131301 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 167971 131301 2496 1147 0 155398 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 676076 KiB
Current children cumulated memory: 528148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.22 4.11 6/255 157818
/proc/meminfo: memFree=83149448/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=672396 memory=537748 CPUtime=3152.96 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 103726 0 0 0 313191 2105 0 0 20 0 1 0 236851600 688533504 134437 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 168099 134437 2496 1147 0 155526 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 676588 KiB
Current children cumulated memory: 540692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.19 4.11 6/254 157820
/proc/meminfo: memFree=82852300/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=672396 memory=552596 CPUtime=3212.77 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 103736 0 0 0 319144 2133 0 0 20 0 1 0 236851600 688533504 138149 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 168099 138149 2496 1147 0 155526 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 676588 KiB
Current children cumulated memory: 555540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.20 4.11 6/254 157822
/proc/meminfo: memFree=82573588/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=672396 memory=577172 CPUtime=3272.58 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 103750 0 0 0 325077 2181 0 0 20 0 1 0 236851600 688533504 144293 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 168099 144293 2496 1147 0 155526 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 676588 KiB
Current children cumulated memory: 580116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.20 4.11 6/254 157824
/proc/meminfo: memFree=82266408/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=672396 memory=589844 CPUtime=3332.39 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 103768 0 0 0 331028 2211 0 0 20 0 1 0 236851600 688533504 147461 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 168099 147461 2496 1147 0 155526 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 676588 KiB
Current children cumulated memory: 592788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.11 6/253 157826
/proc/meminfo: memFree=81963064/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=673436 memory=590868 CPUtime=3392.22 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 104009 0 0 0 336980 2242 0 0 20 0 1 0 236851600 689598464 147717 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 168359 147717 2496 1147 0 155786 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 677628 KiB
Current children cumulated memory: 593812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.11 6/253 157828
/proc/meminfo: memFree=81691576/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=676988 memory=594852 CPUtime=3452.04 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 104505 0 0 0 342940 2264 0 0 20 0 1 0 236851600 693235712 148713 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 169247 148713 2496 1147 0 156674 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 681180 KiB
Current children cumulated memory: 597796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.11 6/254 157831
/proc/meminfo: memFree=81379760/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=678216 memory=602180 CPUtime=3511.87 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 104812 0 0 0 348882 2305 0 0 20 0 1 0 236851600 694493184 150545 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 169554 150545 2496 1147 0 156981 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 682408 KiB
Current children cumulated memory: 605124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.11 6/254 157833
/proc/meminfo: memFree=81096792/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=678216 memory=602308 CPUtime=3571.7 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 104824 0 0 0 354835 2335 0 0 20 0 1 0 236851600 694493184 150577 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 169554 150577 2496 1147 0 156981 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 682408 KiB
Current children cumulated memory: 605252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.12 4.16 4.11 5/251 157833
/proc/meminfo: memFree=81309556/131382120 swapFree=33010160/33010684
[pid=157593] ppid=157584 vsize=4192 memory=2944 CPUtime=0.14 cores=1,3
/proc/157593/stat : 157593 (run-dec-break-l) S 157584 157593 157528 0 -1 4194304 238 1939 0 0 0 0 13 1 20 0 1 0 236851583 4292608 736 18446744073709551615 94681472274432 94681473168965 140733535968656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681473408016 94681473455760 94681489334272 140733535975737 140733535975900 140733535975900 140733535981504 0
/proc/157593/statm: 1048 736 672 219 0 110 0
[pid=157604] ppid=157593 vsize=678832 memory=602692 CPUtime=3599.92 cores=1,3
/proc/157604/stat : 157604 (roundingsat) R 157593 157593 157528 0 -1 4194304 104947 0 0 0 357637 2355 0 0 20 0 1 0 236851600 695123968 150673 18446744073709551615 4227072 8923433 140735472355264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17879040 140735472359704 140735472359974 140735472359974 140735472365546 0
/proc/157604/statm: 169708 150673 2496 1147 0 157135 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 683024 KiB
Current children cumulated memory: 605636 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.61 s]
# the end of solver process 157593 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.135946 s, system=0.016691 s
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 157604 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.52 s, system=23.5715 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
Child status: 2
Real time (s): 3610.61
CPU time (s): 3600.09
CPU user time (s): 3576.52
CPU system time (s): 23.5715
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 683024
Max. memory (cumulated for all children) (KiB): 605636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.52
system time used= 23.5715
maximum resident set size= 602820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12222928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308
involuntary context switches= 4880
# summary of solver processes directly reported to runsolver:
# pid: 157593,157604
# total CPU time (s): 3600.09
# total CPU user time (s): 3576.52
# total CPU system time (s): 23.5715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.622 second user time and 35.9267 second system time
The end
Begin job on nodeC003 at 2025-07-22 21:15:29
IDJOB=4542039
IDBENCH=163735
IDSOLVER=3358
FILE ID=nodeC003/4542039-1753211729
RUNJOBID= nodeC003-1753211729-157540
SLURM_JOB_ID= 9687799
Free space on /tmp= 432264 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542039-1753211729/watcher-4542039-1753211729 -o /tmp/evaluation-result-4542039-1753211729/solver-4542039-1753211729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157540 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542039-1753211729.opb /tmp/proof-4542039-1753211729
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=485286513
nodeC003 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 : 2693.894
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.44
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 : 1197.162
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.44
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.119
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.44
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.137
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.44
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 : 1197.152
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.44
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 : 1197.115
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.003
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.182
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 110107832 kB
MemAvailable: 129890332 kB
Buffers: 2736 kB
Cached: 20550892 kB
SwapCached: 36 kB
Active: 1177336 kB
Inactive: 19445588 kB
Active(anon): 87808 kB
Inactive(anon): 7604 kB
Active(file): 1089528 kB
Inactive(file): 19437984 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30348 kB
Writeback: 24 kB
AnonPages: 72432 kB
Mapped: 107456 kB
Shmem: 26116 kB
KReclaimable: 189232 kB
Slab: 279816 kB
SReclaimable: 189232 kB
SUnreclaim: 90584 kB
KernelStack: 3960 kB
PageTables: 2660 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 342260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 403328 MiB
End job on nodeC003 at 2025-07-22 22:15:40