0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532665-1752596913.opb'
0.00/0.02 c read 0.48MB (5.33ms)
0.00/0.02 c [cnf: #variables 11744 #clauses 799 #duplicates 0 #arr 47008]
0.00/0.06 c output proof to 'PROOFDIR/proof-4532665-1752596913'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 504] (14.20ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.08 c probe for row-column symmetry (limit=64, splits=16.78M)
0.04/0.13 c probe for row symmetry (limit=64, splits=16.78M)
0.04/0.13 c recursing 1312 blocks of candidate 16x734r
0.04/0.14 c recursing 18 blocks of candidate 3x64r
0.04/0.14 c recursing 240 blocks of candidate 3x734r
0.04/0.14 c recursing 20 blocks of candidate 5x64r
0.04/0.14 c recursing 858 blocks of candidate 11x734r
0.04/0.14 c recursing 10 blocks of candidate 5x64r
0.04/0.15 c found row 5x64, generating row predicate
0.04/0.15 c recursing 12 blocks of candidate 6x64r
0.04/0.15 c found row 6x64, generating row predicate
0.04/0.15 c recursing 8 blocks of candidate 4x64r
0.04/0.15 c found row 4x64, generating row predicate
0.04/0.15 c recursing 6 blocks of candidate 3x64r
0.04/0.16 c found row 3x64, generating row predicate
0.04/0.16 c recursing 14 blocks of candidate 7x64r
0.04/0.16 c found row 7x64, generating row predicate
0.04/0.16 c recursing 18 blocks of candidate 9x64r
0.04/0.17 c found row 9x64, generating row predicate
0.04/0.17 c recursing 20 blocks of candidate 10x64r
0.04/0.18 c found row 10x64, generating row predicate
0.04/0.18 c recursing 22 blocks of candidate 11x64r
0.04/0.19 c found row 11x64, generating row predicate
0.04/0.19 c recursing 24 blocks of candidate 12x64r
0.04/0.20 c found row 12x64, generating row predicate
0.04/0.20 c recursing 62 blocks of candidate 31x64r
0.14/0.23 c found row 31x64, generating row predicate
0.14/0.24 c recursing 84 blocks of candidate 42x64r
0.14/0.27 c found row 42x64, generating row predicate
0.14/0.28 c found row 11x734, generating row predicate
0.14/0.28 c found row 5x64, generating row predicate
0.14/0.28 c recursing 12 blocks of candidate 6x64r
0.14/0.29 c found row 6x64, generating row predicate
0.14/0.29 c recursing 6 blocks of candidate 3x64r
0.14/0.29 c found row 3x64, generating row predicate
0.14/0.29 c recursing 22 blocks of candidate 11x64r
0.14/0.30 c found row 11x64, generating row predicate
0.14/0.30 c found row 3x734, generating row predicate
0.14/0.30 c found row 3x64, generating row predicate
0.14/0.30 c recursing 14 blocks of candidate 7x64r
0.14/0.31 c found row 7x64, generating row predicate
0.14/0.31 c recursing 20 blocks of candidate 10x64r
0.23/0.32 c found row 10x64, generating row predicate
0.23/0.32 c recursing 22 blocks of candidate 11x64r
0.23/0.33 c found row 11x64, generating row predicate
0.23/0.34 c found row 16x734, generating row predicate
0.23/0.34 c (265.59ms)
0.23/0.34 c
0.23/0.34 c detect symmetries on remainder
0.23/0.34 c [graph: #vertices 71229 #edges 211388]
0.23/0.34 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.23/0.38 c [group: #symmetries 3.04*10^94 #generators 130] (43.91ms)
0.23/0.38 c
0.23/0.38 c optimize generators (opt_passes=64, conjugate_limit=256)
0.23/0.40 c opt it=15, l=3711, m=166, opt=36, avg=454, b=128, gens=130
0.23/0.41 c opt it=31, l=4022, m=283, opt=59, avg=441, b=128, gens=130
0.33/0.42 c opt it=47, l=4323, m=383, opt=72, avg=435, b=128, gens=130
0.33/0.43 c opt it=63, l=4614, m=496, opt=91, avg=426, b=128, gens=130
0.33/0.43 c ran it=0, +gens=19
0.43/0.58 c con best_support=128, best_gens=122, +gens=235
0.43/0.58 c (200.29ms)
0.43/0.58 c
0.43/0.58 c finalize break order and special generators
0.43/0.58 c
0.43/0.58 c add generic predicates (break_depth=20)
0.43/0.59 c added predicates for 384 generators (1.54ms)
0.43/0.59 c
0.43/0.59 c generation finished
0.43/0.59 c [sbp: #constraints 0 #add_vars 0]
0.43/0.59 c
0.43/0.59 c write result to 'HOME/instance-4532665-1752596913.opb.pre'
0.43/0.59 c wrote 0.48MB (1.31ms)
0.43/0.59 c ------------------------------------------------------------------
0.43/0.59 c 265.59ms 45.78% detect_special
0.43/0.59 c 200.29ms 34.52% optimize_gens
0.43/0.59 c 46.56ms 8.03% other
0.43/0.59 c 43.91ms 7.57% detect_generic
0.43/0.59 c 14.20ms 2.45% approx_orbits
0.43/0.59 c 5.33ms 0.92% parse
0.43/0.59 c 1.54ms 0.27% break_generic
0.43/0.59 c 1.44ms 0.25% finalize_order
0.43/0.59 c 1.31ms 0.23% output
0.43/0.59 c ───────────────────────────────────────────────
0.43/0.59 c 580.18ms 100% total
0.43/0.59 c ------------------------------------------------------------------
0.51/0.61 c RoundingSat 2
0.51/0.61 c branch pb25
0.51/0.61 c commit 0f876b3
0.51/0.65 c #variables 11744 #constraints 797
0.51/0.65 c objective is ce32
0.51/0.65 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.51/0.65 c initial counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
0.51/0.65 c bounds - >= 0 @ 0.024729
2.08/2.27 c #Conflicts: 1000 | #Constraints: 1796
2.08/2.27 c #Conflicts: 2000 | #Constraints: 2796
2.08/2.27 c INPROCESSING
2.08/2.27 c GARBAGE COLLECT
2.08/2.27 c rational objective 32
7.46/7.60 c #Conflicts: 3000 | #Constraints: 2817
7.46/7.60 c #Conflicts: 4000 | #Constraints: 3821
7.46/7.60 c INPROCESSING
7.46/7.60 c GARBAGE COLLECT
7.46/7.60 c rational objective 32
14.04/14.29 c #Conflicts: 5000 | #Constraints: 3244
14.04/14.29 c #Conflicts: 6000 | #Constraints: 4266
14.04/14.29 c INPROCESSING
14.04/14.29 c GARBAGE COLLECT
14.04/14.29 c rational objective 32
23.93/24.15 c #Conflicts: 7000 | #Constraints: 3274
23.93/24.15 c #Conflicts: 8000 | #Constraints: 4292
23.93/24.15 c #Conflicts: 9000 | #Constraints: 5315
23.93/24.15 c INPROCESSING
23.93/24.15 c GARBAGE COLLECT
23.93/24.15 c rational objective 32
31.70/32.00 c #Conflicts: 10000 | #Constraints: 3984
31.70/32.00 c #Conflicts: 11000 | #Constraints: 4986
31.70/32.00 c #Conflicts: 12000 | #Constraints: 5988
31.70/32.00 c INPROCESSING
31.70/32.00 c GARBAGE COLLECT
31.70/32.00 c rational objective 32
40.07/40.30 c #Conflicts: 13000 | #Constraints: 4425
40.07/40.30 c #Conflicts: 14000 | #Constraints: 5436
40.07/40.30 c #Conflicts: 15000 | #Constraints: 6452
40.07/40.30 c INPROCESSING
40.07/40.30 c GARBAGE COLLECT
40.07/40.30 c rational objective 32
53.94/54.26 c #Conflicts: 16000 | #Constraints: 4658
53.94/54.26 c #Conflicts: 17000 | #Constraints: 5663
53.94/54.26 c #Conflicts: 18000 | #Constraints: 6663
53.94/54.26 c INPROCESSING
53.94/54.26 c GARBAGE COLLECT
53.94/54.26 c rational objective 32
65.90/66.20 c #Conflicts: 19000 | #Constraints: 4647
65.90/66.20 c #Conflicts: 20000 | #Constraints: 5647
65.90/66.20 c #Conflicts: 21000 | #Constraints: 6647
65.90/66.20 c INPROCESSING
65.90/66.20 c GARBAGE COLLECT
65.90/66.20 c rational objective 32
81.66/82.06 c #Conflicts: 22000 | #Constraints: 4443
81.66/82.06 c #Conflicts: 23000 | #Constraints: 5458
81.66/82.06 c #Conflicts: 24000 | #Constraints: 6462
81.66/82.06 c #Conflicts: 25000 | #Constraints: 7464
81.66/82.06 c INPROCESSING
81.66/82.06 c GARBAGE COLLECT
81.66/82.06 c rational objective 32
95.21/95.67 c #Conflicts: 26000 | #Constraints: 5046
95.21/95.67 c #Conflicts: 27000 | #Constraints: 6049
95.21/95.67 c #Conflicts: 28000 | #Constraints: 7070
95.21/95.67 c #Conflicts: 29000 | #Constraints: 8082
95.21/95.67 c INPROCESSING
95.21/95.67 c GARBAGE COLLECT
95.21/95.67 c rational objective 32
110.67/111.15 c #Conflicts: 30000 | #Constraints: 5481
110.67/111.15 c #Conflicts: 31000 | #Constraints: 6489
110.67/111.15 c #Conflicts: 32000 | #Constraints: 7496
110.67/111.15 c #Conflicts: 33000 | #Constraints: 8514
110.67/111.15 c INPROCESSING
110.67/111.15 c GARBAGE COLLECT
110.67/111.15 c rational objective 32
125.81/126.37 c #Conflicts: 34000 | #Constraints: 5685
125.81/126.37 c #Conflicts: 35000 | #Constraints: 6687
125.81/126.37 c #Conflicts: 36000 | #Constraints: 7709
125.81/126.37 c #Conflicts: 37000 | #Constraints: 8726
125.81/126.37 c INPROCESSING
125.81/126.37 c GARBAGE COLLECT
125.81/126.37 c rational objective 32
139.16/139.79 c #Conflicts: 38000 | #Constraints: 5704
139.16/139.79 c #Conflicts: 39000 | #Constraints: 6720
139.16/139.79 c #Conflicts: 40000 | #Constraints: 7750
139.16/139.79 c #Conflicts: 41000 | #Constraints: 8766
139.16/139.79 c INPROCESSING
139.16/139.79 c GARBAGE COLLECT
139.16/139.79 c rational objective 32
168.57/169.26 c #Conflicts: 42000 | #Constraints: 5535
168.57/169.26 c #Conflicts: 43000 | #Constraints: 6554
168.57/169.26 c #Conflicts: 44000 | #Constraints: 7554
168.57/169.26 c #Conflicts: 45000 | #Constraints: 8562
168.57/169.26 c #Conflicts: 46000 | #Constraints: 9572
168.57/169.26 c INPROCESSING
168.57/169.26 c GARBAGE COLLECT
168.57/169.26 c rational objective 32
184.82/185.58 c #Conflicts: 47000 | #Constraints: 6114
184.82/185.58 c #Conflicts: 48000 | #Constraints: 7126
184.82/185.58 c #Conflicts: 49000 | #Constraints: 8143
184.82/185.58 c #Conflicts: 50000 | #Constraints: 9150
184.82/185.58 c #Conflicts: 51000 | #Constraints: 10164
184.82/185.58 c INPROCESSING
184.82/185.58 c GARBAGE COLLECT
184.82/185.58 c rational objective 32
203.16/204.00 c #Conflicts: 52000 | #Constraints: 6515
203.16/204.00 c #Conflicts: 53000 | #Constraints: 7534
203.16/204.00 c #Conflicts: 54000 | #Constraints: 8535
203.16/204.00 c #Conflicts: 55000 | #Constraints: 9543
203.16/204.00 c #Conflicts: 56000 | #Constraints: 10572
203.16/204.00 c INPROCESSING
203.16/204.00 c GARBAGE COLLECT
203.16/204.00 c rational objective 32
218.41/219.22 c #Conflicts: 57000 | #Constraints: 6718
218.41/219.22 c #Conflicts: 58000 | #Constraints: 7727
218.41/219.22 c #Conflicts: 59000 | #Constraints: 8729
218.41/219.22 c #Conflicts: 60000 | #Constraints: 9729
218.41/219.22 c #Conflicts: 61000 | #Constraints: 10731
218.41/219.22 c INPROCESSING
218.41/219.22 c GARBAGE COLLECT
218.41/219.22 c rational objective 32
233.17/234.08 c #Conflicts: 62000 | #Constraints: 6696
233.17/234.08 c #Conflicts: 63000 | #Constraints: 7708
233.17/234.08 c #Conflicts: 64000 | #Constraints: 8710
233.17/234.08 c #Conflicts: 65000 | #Constraints: 9728
233.17/234.08 c #Conflicts: 66000 | #Constraints: 10734
233.17/234.08 c INPROCESSING
233.17/234.08 c GARBAGE COLLECT
233.17/234.08 c rational objective 32
253.60/254.58 c #Conflicts: 67000 | #Constraints: 6499
253.60/254.58 c #Conflicts: 68000 | #Constraints: 7525
253.60/254.58 c #Conflicts: 69000 | #Constraints: 8538
253.60/254.58 c #Conflicts: 70000 | #Constraints: 9543
253.60/254.58 c #Conflicts: 71000 | #Constraints: 10566
253.60/254.58 c #Conflicts: 72000 | #Constraints: 11567
253.60/254.58 c INPROCESSING
253.60/254.58 c GARBAGE COLLECT
253.60/254.58 c rational objective 32
268.25/269.27 c #Conflicts: 73000 | #Constraints: 7111
268.25/269.27 c #Conflicts: 74000 | #Constraints: 8125
268.25/269.27 c #Conflicts: 75000 | #Constraints: 9133
268.25/269.27 c #Conflicts: 76000 | #Constraints: 10158
268.25/269.27 c #Conflicts: 77000 | #Constraints: 11170
268.25/269.27 c #Conflicts: 78000 | #Constraints: 12185
268.25/269.27 c INPROCESSING
268.25/269.27 c GARBAGE COLLECT
268.25/269.27 c rational objective 32
288.29/289.31 c #Conflicts: 79000 | #Constraints: 7551
288.29/289.31 c #Conflicts: 80000 | #Constraints: 8551
288.29/289.31 c #Conflicts: 81000 | #Constraints: 9552
288.29/289.31 c #Conflicts: 82000 | #Constraints: 10552
288.29/289.31 c #Conflicts: 83000 | #Constraints: 11553
288.29/289.31 c #Conflicts: 84000 | #Constraints: 12553
288.29/289.31 c INPROCESSING
288.29/289.31 c GARBAGE COLLECT
288.29/289.31 c rational objective 32
299.35/300.44 c #Conflicts: 85000 | #Constraints: 7699
299.35/300.44 c #Conflicts: 86000 | #Constraints: 8699
299.35/300.44 c #Conflicts: 87000 | #Constraints: 9699
299.35/300.44 c #Conflicts: 88000 | #Constraints: 10699
299.35/300.44 c #Conflicts: 89000 | #Constraints: 11699
299.35/300.44 c #Conflicts: 90000 | #Constraints: 12699
299.35/300.44 c INPROCESSING
299.35/300.44 c GARBAGE COLLECT
299.35/300.44 c rational objective 32
330.95/332.16 c #Conflicts: 91000 | #Constraints: 7684
330.95/332.16 c #Conflicts: 92000 | #Constraints: 8719
330.95/332.16 c #Conflicts: 93000 | #Constraints: 10437
330.95/332.16 c #Conflicts: 94000 | #Constraints: 12276
330.95/332.16 c #Conflicts: 95000 | #Constraints: 14079
330.95/332.16 c #Conflicts: 96000 | #Constraints: 15722
330.95/332.16 c INPROCESSING
330.95/332.16 c GARBAGE COLLECT
330.95/332.16 c rational objective 32
353.97/355.23 c #Conflicts: 97000 | #Constraints: 9182
353.97/355.23 c #Conflicts: 98000 | #Constraints: 10182
353.97/355.23 c #Conflicts: 99000 | #Constraints: 11182
353.97/355.23 c #Conflicts: 100000 | #Constraints: 12183
353.97/355.23 c #Conflicts: 101000 | #Constraints: 13188
353.97/355.23 c #Conflicts: 102000 | #Constraints: 14188
353.97/355.23 c #Conflicts: 103000 | #Constraints: 15188
353.97/355.23 c INPROCESSING
353.97/355.23 c GARBAGE COLLECT
353.97/355.23 c rational objective 32
367.74/369.09 c #Conflicts: 104000 | #Constraints: 8922
367.74/369.09 c #Conflicts: 105000 | #Constraints: 9922
367.74/369.09 c #Conflicts: 106000 | #Constraints: 10922
367.74/369.09 c #Conflicts: 107000 | #Constraints: 11922
367.74/369.09 c #Conflicts: 108000 | #Constraints: 12922
367.74/369.09 c #Conflicts: 109000 | #Constraints: 13922
367.74/369.09 c #Conflicts: 110000 | #Constraints: 14922
367.74/369.09 c INPROCESSING
367.74/369.09 c GARBAGE COLLECT
367.74/369.09 c rational objective 32
378.70/380.09 c #Conflicts: 111000 | #Constraints: 8880
378.70/380.09 c #Conflicts: 112000 | #Constraints: 9880
378.70/380.09 c #Conflicts: 113000 | #Constraints: 10880
378.70/380.09 c #Conflicts: 114000 | #Constraints: 11880
378.70/380.09 c #Conflicts: 115000 | #Constraints: 12880
378.70/380.09 c #Conflicts: 116000 | #Constraints: 13880
378.70/380.09 c #Conflicts: 117000 | #Constraints: 14880
378.70/380.09 c INPROCESSING
378.70/380.09 c GARBAGE COLLECT
378.70/380.09 c rational objective 32
406.21/407.61 c #Conflicts: 118000 | #Constraints: 8858
406.21/407.61 c #Conflicts: 119000 | #Constraints: 9864
406.21/407.61 c #Conflicts: 120000 | #Constraints: 10873
406.21/407.61 c #Conflicts: 121000 | #Constraints: 11877
406.21/407.61 c #Conflicts: 122000 | #Constraints: 12898
406.21/407.61 c #Conflicts: 123000 | #Constraints: 13940
406.21/407.61 c #Conflicts: 124000 | #Constraints: 14973
406.21/407.61 c INPROCESSING
406.21/407.61 c GARBAGE COLLECT
406.21/407.61 c rational objective 32
427.33/428.83 c #Conflicts: 125000 | #Constraints: 8826
427.33/428.83 c #Conflicts: 126000 | #Constraints: 9839
427.33/428.83 c #Conflicts: 127000 | #Constraints: 10840
427.33/428.83 c #Conflicts: 128000 | #Constraints: 11842
427.33/428.83 c #Conflicts: 129000 | #Constraints: 12848
427.33/428.83 c #Conflicts: 130000 | #Constraints: 13884
427.33/428.83 c #Conflicts: 131000 | #Constraints: 14892
427.33/428.83 c INPROCESSING
427.33/428.83 c GARBAGE COLLECT
427.33/428.83 c rational objective 32
448.77/450.38 c #Conflicts: 132000 | #Constraints: 8565
448.77/450.38 c #Conflicts: 133000 | #Constraints: 9567
448.77/450.38 c #Conflicts: 134000 | #Constraints: 10581
448.77/450.38 c #Conflicts: 135000 | #Constraints: 11596
448.77/450.38 c #Conflicts: 136000 | #Constraints: 12614
448.77/450.38 c #Conflicts: 137000 | #Constraints: 13619
448.77/450.38 c #Conflicts: 138000 | #Constraints: 14627
448.77/450.38 c #Conflicts: 139000 | #Constraints: 15642
448.77/450.38 c INPROCESSING
448.77/450.38 c GARBAGE COLLECT
448.77/450.38 c rational objective 32
473.99/475.64 c #Conflicts: 140000 | #Constraints: 9173
473.99/475.64 c #Conflicts: 141000 | #Constraints: 10187
473.99/475.64 c #Conflicts: 142000 | #Constraints: 11193
473.99/475.64 c #Conflicts: 143000 | #Constraints: 12200
473.99/475.64 c #Conflicts: 144000 | #Constraints: 13201
473.99/475.64 c #Conflicts: 145000 | #Constraints: 14201
473.99/475.64 c #Conflicts: 146000 | #Constraints: 15202
473.99/475.64 c #Conflicts: 147000 | #Constraints: 16203
473.99/475.64 c INPROCESSING
473.99/475.64 c GARBAGE COLLECT
473.99/475.64 c rational objective 32
506.58/508.38 c #Conflicts: 148000 | #Constraints: 9534
506.58/508.38 c #Conflicts: 149000 | #Constraints: 10534
506.58/508.38 c #Conflicts: 150000 | #Constraints: 11535
506.58/508.38 c #Conflicts: 151000 | #Constraints: 12535
506.58/508.38 c #Conflicts: 152000 | #Constraints: 13537
506.58/508.38 c #Conflicts: 153000 | #Constraints: 14537
506.58/508.38 c #Conflicts: 154000 | #Constraints: 15546
506.58/508.38 c #Conflicts: 155000 | #Constraints: 16557
506.58/508.38 c INPROCESSING
506.58/508.38 c GARBAGE COLLECT
506.58/508.38 c rational objective 32
529.21/531.08 c #Conflicts: 156000 | #Constraints: 9719
529.21/531.08 c #Conflicts: 157000 | #Constraints: 10742
529.21/531.08 c #Conflicts: 158000 | #Constraints: 11764
529.21/531.08 c #Conflicts: 159000 | #Constraints: 12788
529.21/531.08 c #Conflicts: 160000 | #Constraints: 13801
529.21/531.08 c #Conflicts: 161000 | #Constraints: 14829
529.21/531.08 c #Conflicts: 162000 | #Constraints: 15842
529.21/531.08 c #Conflicts: 163000 | #Constraints: 16854
529.21/531.08 c INPROCESSING
529.21/531.08 c GARBAGE COLLECT
529.21/531.08 c rational objective 32
554.72/556.60 c #Conflicts: 164000 | #Constraints: 9761
554.72/556.60 c #Conflicts: 165000 | #Constraints: 10761
554.72/556.60 c #Conflicts: 166000 | #Constraints: 11761
554.72/556.60 c #Conflicts: 167000 | #Constraints: 12761
554.72/556.60 c #Conflicts: 168000 | #Constraints: 13761
554.72/556.60 c #Conflicts: 169000 | #Constraints: 14761
554.72/556.60 c #Conflicts: 170000 | #Constraints: 15761
554.72/556.60 c #Conflicts: 171000 | #Constraints: 16761
554.72/556.60 c INPROCESSING
554.72/556.60 c GARBAGE COLLECT
554.72/556.60 c rational objective 32
589.22/591.28 c #Conflicts: 172000 | #Constraints: 9506
589.22/591.28 c #Conflicts: 173000 | #Constraints: 10507
589.22/591.28 c #Conflicts: 174000 | #Constraints: 11507
589.22/591.28 c #Conflicts: 175000 | #Constraints: 12508
589.22/591.28 c #Conflicts: 176000 | #Constraints: 13509
589.22/591.28 c #Conflicts: 177000 | #Constraints: 14514
589.22/591.28 c #Conflicts: 178000 | #Constraints: 15520
589.22/591.28 c #Conflicts: 179000 | #Constraints: 16524
589.22/591.28 c #Conflicts: 180000 | #Constraints: 17525
589.22/591.28 c INPROCESSING
589.22/591.28 c GARBAGE COLLECT
589.22/591.28 c rational objective 32
638.75/640.96 c #Conflicts: 181000 | #Constraints: 10079
638.75/640.96 c #Conflicts: 182000 | #Constraints: 11082
638.75/640.96 c #Conflicts: 183000 | #Constraints: 12086
638.75/640.96 c #Conflicts: 184000 | #Constraints: 13091
638.75/640.96 c #Conflicts: 185000 | #Constraints: 14098
638.75/640.96 c #Conflicts: 186000 | #Constraints: 15106
638.75/640.96 c #Conflicts: 187000 | #Constraints: 16120
638.75/640.96 c #Conflicts: 188000 | #Constraints: 17144
638.75/640.96 c #Conflicts: 189000 | #Constraints: 18146
638.75/640.96 c INPROCESSING
638.75/640.96 c GARBAGE COLLECT
638.75/640.96 c rational objective 32
669.35/671.61 c #Conflicts: 190000 | #Constraints: 10520
669.35/671.61 c #Conflicts: 191000 | #Constraints: 11523
669.35/671.61 c #Conflicts: 192000 | #Constraints: 12632
669.35/671.61 c #Conflicts: 193000 | #Constraints: 14032
669.35/671.61 c #Conflicts: 194000 | #Constraints: 15543
669.35/671.61 c #Conflicts: 195000 | #Constraints: 17069
669.35/671.61 c #Conflicts: 196000 | #Constraints: 18549
669.35/671.61 c #Conflicts: 197000 | #Constraints: 20066
669.35/671.61 c #Conflicts: 198000 | #Constraints: 21563
669.35/671.61 c INPROCESSING
669.35/671.61 c GARBAGE COLLECT
669.35/671.61 c rational objective 32
698.36/700.73 c #Conflicts: 199000 | #Constraints: 12203
698.36/700.73 c #Conflicts: 200000 | #Constraints: 13204
698.36/700.73 c #Conflicts: 201000 | #Constraints: 14208
698.36/700.73 c #Conflicts: 202000 | #Constraints: 15210
698.36/700.73 c #Conflicts: 203000 | #Constraints: 16210
698.36/700.73 c #Conflicts: 204000 | #Constraints: 17216
698.36/700.73 c #Conflicts: 205000 | #Constraints: 18217
698.36/700.73 c #Conflicts: 206000 | #Constraints: 19217
698.36/700.73 c #Conflicts: 207000 | #Constraints: 20217
698.36/700.73 c INPROCESSING
698.36/700.73 c GARBAGE COLLECT
698.36/700.73 c rational objective 32
709.02/711.42 c #Conflicts: 208000 | #Constraints: 11440
709.02/711.42 c #Conflicts: 209000 | #Constraints: 12440
709.02/711.42 c #Conflicts: 210000 | #Constraints: 13440
709.02/711.42 c #Conflicts: 211000 | #Constraints: 14440
709.02/711.42 c #Conflicts: 212000 | #Constraints: 15440
709.02/711.42 c #Conflicts: 213000 | #Constraints: 16440
709.02/711.42 c #Conflicts: 214000 | #Constraints: 17440
709.02/711.42 c #Conflicts: 215000 | #Constraints: 18440
709.02/711.42 c #Conflicts: 216000 | #Constraints: 19441
709.02/711.42 c INPROCESSING
709.02/711.42 c GARBAGE COLLECT
709.02/711.42 c rational objective 32
770.42/773.09 c #Conflicts: 217000 | #Constraints: 10849
770.42/773.09 c #Conflicts: 218000 | #Constraints: 11857
770.42/773.09 c #Conflicts: 219000 | #Constraints: 12867
770.42/773.09 c #Conflicts: 220000 | #Constraints: 13879
770.42/773.09 c #Conflicts: 221000 | #Constraints: 14901
770.42/773.09 c #Conflicts: 222000 | #Constraints: 15903
770.42/773.09 c #Conflicts: 223000 | #Constraints: 16903
770.42/773.09 c #Conflicts: 224000 | #Constraints: 17903
770.42/773.09 c #Conflicts: 225000 | #Constraints: 18903
770.42/773.09 c #Conflicts: 226000 | #Constraints: 19903
770.42/773.09 c INPROCESSING
770.42/773.09 c GARBAGE COLLECT
770.42/773.09 c rational objective 32
812.88/815.66 c #Conflicts: 227000 | #Constraints: 11295
812.88/815.66 c #Conflicts: 228000 | #Constraints: 12295
812.88/815.66 c #Conflicts: 229000 | #Constraints: 13295
812.88/815.66 c #Conflicts: 230000 | #Constraints: 14296
812.88/815.66 c #Conflicts: 231000 | #Constraints: 15301
812.88/815.66 c #Conflicts: 232000 | #Constraints: 16305
812.88/815.66 c #Conflicts: 233000 | #Constraints: 17307
812.88/815.66 c #Conflicts: 234000 | #Constraints: 18308
812.88/815.66 c #Conflicts: 235000 | #Constraints: 19310
812.88/815.66 c #Conflicts: 236000 | #Constraints: 20320
812.88/815.66 c INPROCESSING
812.88/815.66 c GARBAGE COLLECT
812.88/815.66 c rational objective 32
847.77/850.63 c #Conflicts: 237000 | #Constraints: 11588
847.77/850.63 c #Conflicts: 238000 | #Constraints: 12599
847.77/850.63 c #Conflicts: 239000 | #Constraints: 13603
847.77/850.63 c #Conflicts: 240000 | #Constraints: 14611
847.77/850.63 c #Conflicts: 241000 | #Constraints: 15630
847.77/850.63 c #Conflicts: 242000 | #Constraints: 16649
847.77/850.63 c #Conflicts: 243000 | #Constraints: 17663
847.77/850.63 c #Conflicts: 244000 | #Constraints: 18692
847.77/850.63 c #Conflicts: 245000 | #Constraints: 19700
847.77/850.63 c #Conflicts: 246000 | #Constraints: 20718
847.77/850.63 c INPROCESSING
847.77/850.63 c GARBAGE COLLECT
847.77/850.63 c rational objective 32
890.04/893.10 c #Conflicts: 247000 | #Constraints: 11819
890.04/893.10 c #Conflicts: 248000 | #Constraints: 12829
890.04/893.10 c #Conflicts: 249000 | #Constraints: 13831
890.04/893.10 c #Conflicts: 250000 | #Constraints: 14838
890.04/893.10 c #Conflicts: 251000 | #Constraints: 15865
890.04/893.10 c #Conflicts: 252000 | #Constraints: 16904
890.04/893.10 c #Conflicts: 253000 | #Constraints: 17908
890.04/893.10 c #Conflicts: 254000 | #Constraints: 18944
890.04/893.10 c #Conflicts: 255000 | #Constraints: 19970
890.04/893.10 c #Conflicts: 256000 | #Constraints: 20998
890.04/893.10 c INPROCESSING
890.04/893.10 c GARBAGE COLLECT
890.04/893.10 c rational objective 32
928.52/931.65 c #Conflicts: 257000 | #Constraints: 11836
928.52/931.65 c #Conflicts: 258000 | #Constraints: 12841
928.52/931.65 c #Conflicts: 259000 | #Constraints: 13857
928.52/931.65 c #Conflicts: 260000 | #Constraints: 14884
928.52/931.65 c #Conflicts: 261000 | #Constraints: 15900
928.52/931.65 c #Conflicts: 262000 | #Constraints: 16912
928.52/931.65 c #Conflicts: 263000 | #Constraints: 17934
928.52/931.65 c #Conflicts: 264000 | #Constraints: 18960
928.52/931.65 c #Conflicts: 265000 | #Constraints: 19987
928.52/931.65 c #Conflicts: 266000 | #Constraints: 21008
928.52/931.65 c INPROCESSING
928.52/931.65 c GARBAGE COLLECT
928.52/931.65 c rational objective 32
997.94/1001.25 c #Conflicts: 267000 | #Constraints: 11658
997.94/1001.25 c #Conflicts: 268000 | #Constraints: 12671
997.94/1001.25 c #Conflicts: 269000 | #Constraints: 14001
997.94/1001.25 c #Conflicts: 270000 | #Constraints: 15027
997.94/1001.25 c #Conflicts: 271000 | #Constraints: 16027
997.94/1001.25 c #Conflicts: 272000 | #Constraints: 17028
997.94/1001.25 c #Conflicts: 273000 | #Constraints: 18028
997.94/1001.25 c #Conflicts: 274000 | #Constraints: 19028
997.94/1001.25 c #Conflicts: 275000 | #Constraints: 20028
997.94/1001.25 c #Conflicts: 276000 | #Constraints: 21028
997.94/1001.25 c #Conflicts: 277000 | #Constraints: 22028
997.94/1001.25 c INPROCESSING
997.94/1001.25 c GARBAGE COLLECT
997.94/1001.25 c rational objective 32
1025.86/1029.23 c #Conflicts: 278000 | #Constraints: 12338
1025.86/1029.23 c #Conflicts: 279000 | #Constraints: 13338
1025.86/1029.23 c #Conflicts: 280000 | #Constraints: 14338
1025.86/1029.23 c #Conflicts: 281000 | #Constraints: 15338
1025.86/1029.23 c #Conflicts: 282000 | #Constraints: 16338
1025.86/1029.23 c #Conflicts: 283000 | #Constraints: 17340
1025.86/1029.23 c #Conflicts: 284000 | #Constraints: 18346
1025.86/1029.23 c #Conflicts: 285000 | #Constraints: 19349
1025.86/1029.23 c #Conflicts: 286000 | #Constraints: 20360
1025.86/1029.23 c #Conflicts: 287000 | #Constraints: 21392
1025.86/1029.23 c #Conflicts: 288000 | #Constraints: 22425
1025.86/1029.23 c INPROCESSING
1025.86/1029.23 c GARBAGE COLLECT
1025.86/1029.23 c rational objective 32
1058.18/1061.69 c #Conflicts: 289000 | #Constraints: 12639
1058.18/1061.69 c #Conflicts: 290000 | #Constraints: 13654
1058.18/1061.69 c #Conflicts: 291000 | #Constraints: 14682
1058.18/1061.69 c #Conflicts: 292000 | #Constraints: 15702
1058.18/1061.69 c #Conflicts: 293000 | #Constraints: 16720
1058.18/1061.69 c #Conflicts: 294000 | #Constraints: 17731
1058.18/1061.69 c #Conflicts: 295000 | #Constraints: 18753
1058.18/1061.69 c #Conflicts: 296000 | #Constraints: 19779
1058.18/1061.69 c #Conflicts: 297000 | #Constraints: 20798
1058.18/1061.69 c #Conflicts: 298000 | #Constraints: 21824
1058.18/1061.69 c #Conflicts: 299000 | #Constraints: 22844
1058.18/1061.69 c INPROCESSING
1058.18/1061.69 c GARBAGE COLLECT
1058.18/1061.69 c rational objective 32
1093.39/1096.93 c #Conflicts: 300000 | #Constraints: 12853
1093.39/1096.93 c #Conflicts: 301000 | #Constraints: 13869
1093.39/1096.93 c #Conflicts: 302000 | #Constraints: 14888
1093.39/1096.93 c #Conflicts: 303000 | #Constraints: 15898
1093.39/1096.93 c #Conflicts: 304000 | #Constraints: 16920
1093.39/1096.93 c #Conflicts: 305000 | #Constraints: 17933
1093.39/1096.93 c #Conflicts: 306000 | #Constraints: 18958
1093.39/1096.93 c #Conflicts: 307000 | #Constraints: 19978
1093.39/1096.93 c #Conflicts: 308000 | #Constraints: 20988
1093.39/1096.93 c #Conflicts: 309000 | #Constraints: 22025
1093.39/1096.93 c #Conflicts: 310000 | #Constraints: 23049
1093.39/1096.93 c INPROCESSING
1093.39/1096.93 c GARBAGE COLLECT
1093.39/1096.93 c rational objective 32
1128.28/1131.97 c #Conflicts: 311000 | #Constraints: 12850
1128.28/1131.97 c #Conflicts: 312000 | #Constraints: 13850
1128.28/1131.97 c #Conflicts: 313000 | #Constraints: 14850
1128.28/1131.97 c #Conflicts: 314000 | #Constraints: 15850
1128.28/1131.97 c #Conflicts: 315000 | #Constraints: 16850
1128.28/1131.97 c #Conflicts: 316000 | #Constraints: 17850
1128.28/1131.97 c #Conflicts: 317000 | #Constraints: 18850
1128.28/1131.97 c #Conflicts: 318000 | #Constraints: 19850
1128.28/1131.97 c #Conflicts: 319000 | #Constraints: 20854
1128.28/1131.97 c #Conflicts: 320000 | #Constraints: 21854
1128.28/1131.97 c #Conflicts: 321000 | #Constraints: 22854
1128.28/1131.97 c INPROCESSING
1128.28/1131.97 c GARBAGE COLLECT
1128.28/1131.97 c rational objective 32
1143.55/1147.27 c #Conflicts: 322000 | #Constraints: 12549
1143.55/1147.27 c #Conflicts: 323000 | #Constraints: 13549
1143.55/1147.27 c #Conflicts: 324000 | #Constraints: 14549
1143.55/1147.27 c #Conflicts: 325000 | #Constraints: 15549
1143.55/1147.27 c #Conflicts: 326000 | #Constraints: 16549
1143.55/1147.27 c #Conflicts: 327000 | #Constraints: 17549
1143.55/1147.27 c #Conflicts: 328000 | #Constraints: 18549
1143.55/1147.27 c #Conflicts: 329000 | #Constraints: 19549
1143.55/1147.27 c #Conflicts: 330000 | #Constraints: 20549
1143.55/1147.27 c #Conflicts: 331000 | #Constraints: 21549
1143.55/1147.27 c #Conflicts: 332000 | #Constraints: 22550
1143.55/1147.27 c #Conflicts: 333000 | #Constraints: 23559
1143.55/1147.27 c INPROCESSING
1143.55/1147.27 c GARBAGE COLLECT
1143.55/1147.27 c rational objective 32
1187.33/1191.18 c #Conflicts: 334000 | #Constraints: 13113
1187.33/1191.18 c #Conflicts: 335000 | #Constraints: 14134
1187.33/1191.18 c #Conflicts: 336000 | #Constraints: 15157
1187.33/1191.18 c #Conflicts: 337000 | #Constraints: 16176
1187.33/1191.18 c #Conflicts: 338000 | #Constraints: 17197
1187.33/1191.18 c #Conflicts: 339000 | #Constraints: 18215
1187.33/1191.18 c #Conflicts: 340000 | #Constraints: 19235
1187.33/1191.18 c #Conflicts: 341000 | #Constraints: 20235
1187.33/1191.18 c #Conflicts: 342000 | #Constraints: 21279
1187.33/1191.18 c #Conflicts: 343000 | #Constraints: 22310
1187.33/1191.18 c #Conflicts: 344000 | #Constraints: 23324
1187.33/1191.18 c #Conflicts: 345000 | #Constraints: 24340
1187.33/1191.18 c INPROCESSING
1187.33/1191.18 c GARBAGE COLLECT
1187.33/1191.18 c rational objective 32
1238.99/1242.93 c #Conflicts: 346000 | #Constraints: 13605
1238.99/1242.93 c #Conflicts: 347000 | #Constraints: 14628
1238.99/1242.93 c #Conflicts: 348000 | #Constraints: 15634
1238.99/1242.93 c #Conflicts: 349000 | #Constraints: 16642
1238.99/1242.93 c #Conflicts: 350000 | #Constraints: 17642
1238.99/1242.93 c #Conflicts: 351000 | #Constraints: 18642
1238.99/1242.93 c #Conflicts: 352000 | #Constraints: 19642
1238.99/1242.93 c #Conflicts: 353000 | #Constraints: 20663
1238.99/1242.93 c #Conflicts: 354000 | #Constraints: 21680
1238.99/1242.93 c #Conflicts: 355000 | #Constraints: 22694
1238.99/1242.93 c #Conflicts: 356000 | #Constraints: 23718
1238.99/1242.93 c #Conflicts: 357000 | #Constraints: 24751
1238.99/1242.93 c INPROCESSING
1238.99/1242.93 c GARBAGE COLLECT
1238.99/1242.93 c rational objective 32
1287.66/1291.73 c #Conflicts: 358000 | #Constraints: 13813
1287.66/1291.73 c #Conflicts: 359000 | #Constraints: 14836
1287.66/1291.73 c #Conflicts: 360000 | #Constraints: 15841
1287.66/1291.73 c #Conflicts: 361000 | #Constraints: 16854
1287.66/1291.73 c #Conflicts: 362000 | #Constraints: 17878
1287.66/1291.73 c #Conflicts: 363000 | #Constraints: 18902
1287.66/1291.73 c #Conflicts: 364000 | #Constraints: 19915
1287.66/1291.73 c #Conflicts: 365000 | #Constraints: 20922
1287.66/1291.73 c #Conflicts: 366000 | #Constraints: 21935
1287.66/1291.73 c #Conflicts: 367000 | #Constraints: 22949
1287.66/1291.73 c #Conflicts: 368000 | #Constraints: 23971
1287.66/1291.73 c #Conflicts: 369000 | #Constraints: 24991
1287.66/1291.73 c INPROCESSING
1287.66/1291.73 c GARBAGE COLLECT
1287.66/1291.73 c rational objective 32
1385.49/1389.88 c #Conflicts: 370000 | #Constraints: 13826
1385.49/1389.88 c #Conflicts: 371000 | #Constraints: 14831
1385.49/1389.88 c #Conflicts: 372000 | #Constraints: 15831
1385.49/1389.88 c #Conflicts: 373000 | #Constraints: 16831
1385.49/1389.88 c #Conflicts: 374000 | #Constraints: 17832
1385.49/1389.88 c #Conflicts: 375000 | #Constraints: 18832
1385.49/1389.88 c #Conflicts: 376000 | #Constraints: 19832
1385.49/1389.88 c #Conflicts: 377000 | #Constraints: 20832
1385.49/1389.88 c #Conflicts: 378000 | #Constraints: 21842
1385.49/1389.88 c #Conflicts: 379000 | #Constraints: 22897
1385.49/1389.88 c #Conflicts: 380000 | #Constraints: 23975
1385.49/1389.88 c #Conflicts: 381000 | #Constraints: 24987
1385.49/1389.88 c INPROCESSING
1385.49/1389.88 c GARBAGE COLLECT
1385.49/1389.88 c rational objective 32
1441.34/1445.87 c #Conflicts: 382000 | #Constraints: 13631
1441.34/1445.87 c #Conflicts: 383000 | #Constraints: 14634
1441.34/1445.87 c #Conflicts: 384000 | #Constraints: 15635
1441.34/1445.87 c #Conflicts: 385000 | #Constraints: 16637
1441.34/1445.87 c #Conflicts: 386000 | #Constraints: 17638
1441.34/1445.87 c #Conflicts: 387000 | #Constraints: 18638
1441.34/1445.87 c #Conflicts: 388000 | #Constraints: 19638
1441.34/1445.87 c #Conflicts: 389000 | #Constraints: 20638
1441.34/1445.87 c #Conflicts: 390000 | #Constraints: 21638
1441.34/1445.87 c #Conflicts: 391000 | #Constraints: 22638
1441.34/1445.87 c #Conflicts: 392000 | #Constraints: 23638
1441.34/1445.87 c #Conflicts: 393000 | #Constraints: 24638
1441.34/1445.87 c #Conflicts: 394000 | #Constraints: 25638
1441.34/1445.87 c INPROCESSING
1441.34/1445.87 c GARBAGE COLLECT
1441.34/1445.87 c rational objective 32
1478.14/1482.75 c #Conflicts: 395000 | #Constraints: 14144
1478.14/1482.75 c #Conflicts: 396000 | #Constraints: 15144
1478.14/1482.75 c #Conflicts: 397000 | #Constraints: 16156
1478.14/1482.75 c #Conflicts: 398000 | #Constraints: 17171
1478.14/1482.75 c #Conflicts: 399000 | #Constraints: 18181
1478.14/1482.75 c #Conflicts: 400000 | #Constraints: 19206
1478.14/1482.75 c #Conflicts: 401000 | #Constraints: 20235
1478.14/1482.75 c #Conflicts: 402000 | #Constraints: 21265
1478.14/1482.75 c #Conflicts: 403000 | #Constraints: 22283
1478.14/1482.75 c #Conflicts: 404000 | #Constraints: 23308
1478.14/1482.75 c #Conflicts: 405000 | #Constraints: 24337
1478.14/1482.75 c #Conflicts: 406000 | #Constraints: 25344
1478.14/1482.75 c #Conflicts: 407000 | #Constraints: 26353
1478.14/1482.75 c INPROCESSING
1478.14/1482.75 c GARBAGE COLLECT
1478.14/1482.75 c rational objective 32
1518.93/1523.68 c #Conflicts: 408000 | #Constraints: 14603
1518.93/1523.68 c #Conflicts: 409000 | #Constraints: 15604
1518.93/1523.68 c #Conflicts: 410000 | #Constraints: 16608
1518.93/1523.68 c #Conflicts: 411000 | #Constraints: 17611
1518.93/1523.68 c #Conflicts: 412000 | #Constraints: 18611
1518.93/1523.68 c #Conflicts: 413000 | #Constraints: 19613
1518.93/1523.68 c #Conflicts: 414000 | #Constraints: 20616
1518.93/1523.68 c #Conflicts: 415000 | #Constraints: 21644
1518.93/1523.68 c #Conflicts: 416000 | #Constraints: 22685
1518.93/1523.68 c #Conflicts: 417000 | #Constraints: 23704
1518.93/1523.68 c #Conflicts: 418000 | #Constraints: 24726
1518.93/1523.68 c #Conflicts: 419000 | #Constraints: 25742
1518.93/1523.68 c #Conflicts: 420000 | #Constraints: 26756
1518.93/1523.68 c INPROCESSING
1518.93/1523.68 c GARBAGE COLLECT
1518.93/1523.68 c rational objective 32
1598.62/1603.51 c #Conflicts: 421000 | #Constraints: 14821
1598.62/1603.51 c #Conflicts: 422000 | #Constraints: 15835
1598.62/1603.51 c #Conflicts: 423000 | #Constraints: 16851
1598.62/1603.51 c #Conflicts: 424000 | #Constraints: 17862
1598.62/1603.51 c #Conflicts: 425000 | #Constraints: 18869
1598.62/1603.51 c #Conflicts: 426000 | #Constraints: 19883
1598.62/1603.51 c #Conflicts: 427000 | #Constraints: 20892
1598.62/1603.51 c #Conflicts: 428000 | #Constraints: 21892
1598.62/1603.51 c #Conflicts: 429000 | #Constraints: 22892
1598.62/1603.51 c #Conflicts: 430000 | #Constraints: 23892
1598.62/1603.51 c #Conflicts: 431000 | #Constraints: 24893
1598.62/1603.51 c #Conflicts: 432000 | #Constraints: 25894
1598.62/1603.51 c #Conflicts: 433000 | #Constraints: 26895
1598.62/1603.51 c INPROCESSING
1598.62/1603.51 c GARBAGE COLLECT
1598.62/1603.51 c rational objective 32
1694.06/1699.26 c #Conflicts: 434000 | #Constraints: 14794
1694.06/1699.26 c #Conflicts: 435000 | #Constraints: 15794
1694.06/1699.26 c #Conflicts: 436000 | #Constraints: 16813
1694.06/1699.26 c #Conflicts: 437000 | #Constraints: 17813
1694.06/1699.26 c #Conflicts: 438000 | #Constraints: 18814
1694.06/1699.26 c #Conflicts: 439000 | #Constraints: 19814
1694.06/1699.26 c #Conflicts: 440000 | #Constraints: 20814
1694.06/1699.26 c #Conflicts: 441000 | #Constraints: 21814
1694.06/1699.26 c #Conflicts: 442000 | #Constraints: 22814
1694.06/1699.26 c #Conflicts: 443000 | #Constraints: 23814
1694.06/1699.26 c #Conflicts: 444000 | #Constraints: 24814
1694.06/1699.26 c #Conflicts: 445000 | #Constraints: 25814
1694.06/1699.26 c #Conflicts: 446000 | #Constraints: 26814
1694.06/1699.26 c INPROCESSING
1694.06/1699.26 c GARBAGE COLLECT
1694.06/1699.26 c rational objective 32
1794.89/1800.38 c #Conflicts: 447000 | #Constraints: 14557
1794.89/1800.38 c #Conflicts: 448000 | #Constraints: 15569
1794.89/1800.38 c #Conflicts: 449000 | #Constraints: 16574
1794.89/1800.38 c #Conflicts: 450000 | #Constraints: 17580
1794.89/1800.38 c #Conflicts: 451000 | #Constraints: 18582
1794.89/1800.38 c #Conflicts: 452000 | #Constraints: 19597
1794.89/1800.38 c #Conflicts: 453000 | #Constraints: 20615
1794.89/1800.38 c #Conflicts: 454000 | #Constraints: 21618
1794.89/1800.38 c #Conflicts: 455000 | #Constraints: 22619
1794.89/1800.38 c #Conflicts: 456000 | #Constraints: 23621
1794.89/1800.38 c #Conflicts: 457000 | #Constraints: 24622
1794.89/1800.38 c #Conflicts: 458000 | #Constraints: 25622
1794.89/1800.38 c #Conflicts: 459000 | #Constraints: 26622
1794.89/1800.38 c #Conflicts: 460000 | #Constraints: 27622
1794.89/1800.38 c INPROCESSING
1794.89/1800.38 c GARBAGE COLLECT
1794.89/1800.38 c rational objective 32
1911.57/1917.38 c #Conflicts: 461000 | #Constraints: 15181
1911.57/1917.38 c #Conflicts: 462000 | #Constraints: 16202
1911.57/1917.38 c #Conflicts: 463000 | #Constraints: 17207
1911.57/1917.38 c #Conflicts: 464000 | #Constraints: 18233
1911.57/1917.38 c #Conflicts: 465000 | #Constraints: 19244
1911.57/1917.38 c #Conflicts: 466000 | #Constraints: 20250
1911.57/1917.38 c #Conflicts: 467000 | #Constraints: 21259
1911.57/1917.38 c #Conflicts: 468000 | #Constraints: 22260
1911.57/1917.38 c #Conflicts: 469000 | #Constraints: 23260
1911.57/1917.38 c #Conflicts: 470000 | #Constraints: 24261
1911.57/1917.38 c #Conflicts: 471000 | #Constraints: 25262
1911.57/1917.38 c #Conflicts: 472000 | #Constraints: 26262
1911.57/1917.38 c #Conflicts: 473000 | #Constraints: 27262
1911.57/1917.38 c #Conflicts: 474000 | #Constraints: 28263
1911.57/1917.38 c INPROCESSING
1911.57/1917.38 c GARBAGE COLLECT
1911.57/1917.38 c rational objective 32
2004.77/2010.96 c #Conflicts: 475000 | #Constraints: 15592
2004.77/2010.96 c #Conflicts: 476000 | #Constraints: 16602
2004.77/2010.96 c #Conflicts: 477000 | #Constraints: 17604
2004.77/2010.96 c #Conflicts: 478000 | #Constraints: 18607
2004.77/2010.96 c #Conflicts: 479000 | #Constraints: 19607
2004.77/2010.96 c #Conflicts: 480000 | #Constraints: 20613
2004.77/2010.96 c #Conflicts: 481000 | #Constraints: 21622
2004.77/2010.96 c #Conflicts: 482000 | #Constraints: 22628
2004.77/2010.96 c #Conflicts: 483000 | #Constraints: 23644
2004.77/2010.96 c #Conflicts: 484000 | #Constraints: 24648
2004.77/2010.96 c #Conflicts: 485000 | #Constraints: 25652
2004.77/2010.96 c #Conflicts: 486000 | #Constraints: 26653
2004.77/2010.96 c #Conflicts: 487000 | #Constraints: 27657
2004.77/2010.96 c #Conflicts: 488000 | #Constraints: 28661
2004.77/2010.96 c INPROCESSING
2004.77/2010.96 c GARBAGE COLLECT
2004.77/2010.96 c rational objective 32
2076.57/2083.40 c #Conflicts: 489000 | #Constraints: 15776
2076.57/2083.40 c #Conflicts: 490000 | #Constraints: 16776
2076.57/2083.40 c #Conflicts: 491000 | #Constraints: 17791
2076.57/2083.40 c #Conflicts: 492000 | #Constraints: 18799
2076.57/2083.40 c #Conflicts: 493000 | #Constraints: 19812
2076.57/2083.40 c #Conflicts: 494000 | #Constraints: 20813
2076.57/2083.40 c #Conflicts: 495000 | #Constraints: 21816
2076.57/2083.40 c #Conflicts: 496000 | #Constraints: 22818
2076.57/2083.40 c #Conflicts: 497000 | #Constraints: 23822
2076.57/2083.40 c #Conflicts: 498000 | #Constraints: 24823
2076.57/2083.40 c #Conflicts: 499000 | #Constraints: 25823
2076.57/2083.40 c #Conflicts: 500000 | #Constraints: 26827
2076.57/2083.40 c #Conflicts: 501000 | #Constraints: 27827
2076.57/2083.40 c #Conflicts: 502000 | #Constraints: 28832
2076.57/2083.40 c INPROCESSING
2076.57/2083.40 c GARBAGE COLLECT
2076.57/2083.40 c rational objective 32
2125.24/2132.72 c #Conflicts: 503000 | #Constraints: 15762
2125.24/2132.72 c #Conflicts: 504000 | #Constraints: 16762
2125.24/2132.72 c #Conflicts: 505000 | #Constraints: 17762
2125.24/2132.72 c #Conflicts: 506000 | #Constraints: 18762
2125.24/2132.72 c #Conflicts: 507000 | #Constraints: 19762
2125.24/2132.72 c #Conflicts: 508000 | #Constraints: 20762
2125.24/2132.72 c #Conflicts: 509000 | #Constraints: 21762
2125.24/2132.72 c #Conflicts: 510000 | #Constraints: 22762
2125.24/2132.72 c #Conflicts: 511000 | #Constraints: 23762
2125.24/2132.72 c #Conflicts: 512000 | #Constraints: 24762
2125.24/2132.72 c #Conflicts: 513000 | #Constraints: 25762
2125.24/2132.72 c #Conflicts: 514000 | #Constraints: 26762
2125.24/2132.72 c #Conflicts: 515000 | #Constraints: 27762
2125.24/2132.72 c #Conflicts: 516000 | #Constraints: 28762
2125.24/2132.72 c INPROCESSING
2125.24/2132.72 c GARBAGE COLLECT
2125.24/2132.72 c rational objective 32
2181.37/2190.36 c #Conflicts: 517000 | #Constraints: 15504
2181.37/2190.36 c #Conflicts: 518000 | #Constraints: 16505
2181.37/2190.36 c #Conflicts: 519000 | #Constraints: 17505
2181.37/2190.36 c #Conflicts: 520000 | #Constraints: 18505
2181.37/2190.36 c #Conflicts: 521000 | #Constraints: 19506
2181.37/2190.36 c #Conflicts: 522000 | #Constraints: 20517
2181.37/2190.36 c #Conflicts: 523000 | #Constraints: 21525
2181.37/2190.36 c #Conflicts: 524000 | #Constraints: 22536
2181.37/2190.36 c #Conflicts: 525000 | #Constraints: 23542
2181.37/2190.36 c #Conflicts: 526000 | #Constraints: 24557
2181.37/2190.36 c #Conflicts: 527000 | #Constraints: 25586
2181.37/2190.36 c #Conflicts: 528000 | #Constraints: 26594
2181.37/2190.36 c #Conflicts: 529000 | #Constraints: 27607
2181.37/2190.36 c #Conflicts: 530000 | #Constraints: 28610
2181.37/2190.36 c #Conflicts: 531000 | #Constraints: 29612
2181.37/2190.36 c INPROCESSING
2181.37/2190.36 c GARBAGE COLLECT
2181.37/2190.36 c rational objective 32
2223.40/2233.23 c #Conflicts: 532000 | #Constraints: 16142
2223.40/2233.23 c #Conflicts: 533000 | #Constraints: 17154
2223.40/2233.23 c #Conflicts: 534000 | #Constraints: 18155
2223.40/2233.23 c #Conflicts: 535000 | #Constraints: 19155
2223.40/2233.23 c #Conflicts: 536000 | #Constraints: 20157
2223.40/2233.23 c #Conflicts: 537000 | #Constraints: 21345
2223.40/2233.23 c #Conflicts: 538000 | #Constraints: 22348
2223.40/2233.23 c #Conflicts: 539000 | #Constraints: 23596
2223.40/2233.23 c #Conflicts: 540000 | #Constraints: 24957
2223.40/2233.23 c #Conflicts: 541000 | #Constraints: 25959
2223.40/2233.23 c #Conflicts: 542000 | #Constraints: 26963
2223.40/2233.23 c #Conflicts: 543000 | #Constraints: 27968
2223.40/2233.23 c #Conflicts: 544000 | #Constraints: 28968
2223.40/2233.23 c #Conflicts: 545000 | #Constraints: 29969
2223.40/2233.23 c #Conflicts: 546000 | #Constraints: 30972
2223.40/2233.23 c INPROCESSING
2223.40/2233.23 c GARBAGE COLLECT
2223.40/2233.23 c rational objective 32
2279.97/2290.52 c #Conflicts: 547000 | #Constraints: 16897
2279.97/2290.52 c #Conflicts: 548000 | #Constraints: 17897
2279.97/2290.52 c #Conflicts: 549000 | #Constraints: 18897
2279.97/2290.52 c #Conflicts: 550000 | #Constraints: 19898
2279.97/2290.52 c #Conflicts: 551000 | #Constraints: 20901
2279.97/2290.52 c #Conflicts: 552000 | #Constraints: 21918
2279.97/2290.52 c #Conflicts: 553000 | #Constraints: 22931
2279.97/2290.52 c #Conflicts: 554000 | #Constraints: 23933
2279.97/2290.52 c #Conflicts: 555000 | #Constraints: 24933
2279.97/2290.52 c #Conflicts: 556000 | #Constraints: 25933
2279.97/2290.52 c #Conflicts: 557000 | #Constraints: 26933
2279.97/2290.52 c #Conflicts: 558000 | #Constraints: 27943
2279.97/2290.52 c #Conflicts: 559000 | #Constraints: 28968
2279.97/2290.52 c #Conflicts: 560000 | #Constraints: 29983
2279.97/2290.52 c #Conflicts: 561000 | #Constraints: 31004
2279.97/2290.52 c INPROCESSING
2279.97/2290.52 c GARBAGE COLLECT
2279.97/2290.52 c rational objective 32
2337.13/2348.41 c #Conflicts: 562000 | #Constraints: 16942
2337.13/2348.41 c #Conflicts: 563000 | #Constraints: 17949
2337.13/2348.41 c #Conflicts: 564000 | #Constraints: 18951
2337.13/2348.41 c #Conflicts: 565000 | #Constraints: 19963
2337.13/2348.41 c #Conflicts: 566000 | #Constraints: 20977
2337.13/2348.41 c #Conflicts: 567000 | #Constraints: 21995
2337.13/2348.41 c #Conflicts: 568000 | #Constraints: 23021
2337.13/2348.41 c #Conflicts: 569000 | #Constraints: 24040
2337.13/2348.41 c #Conflicts: 570000 | #Constraints: 25051
2337.13/2348.41 c #Conflicts: 571000 | #Constraints: 26074
2337.13/2348.41 c #Conflicts: 572000 | #Constraints: 27108
2337.13/2348.41 c #Conflicts: 573000 | #Constraints: 28134
2337.13/2348.41 c #Conflicts: 574000 | #Constraints: 29161
2337.13/2348.41 c #Conflicts: 575000 | #Constraints: 30183
2337.13/2348.41 c #Conflicts: 576000 | #Constraints: 31194
2337.13/2348.41 c INPROCESSING
2337.13/2348.41 c GARBAGE COLLECT
2337.13/2348.41 c rational objective 32
2400.30/2412.85 c #Conflicts: 577000 | #Constraints: 16933
2400.30/2412.85 c #Conflicts: 578000 | #Constraints: 17935
2400.30/2412.85 c #Conflicts: 579000 | #Constraints: 18937
2400.30/2412.85 c #Conflicts: 580000 | #Constraints: 19938
2400.30/2412.85 c #Conflicts: 581000 | #Constraints: 20938
2400.30/2412.85 c #Conflicts: 582000 | #Constraints: 21938
2400.30/2412.85 c #Conflicts: 583000 | #Constraints: 22941
2400.30/2412.85 c #Conflicts: 584000 | #Constraints: 23944
2400.30/2412.85 c #Conflicts: 585000 | #Constraints: 24950
2400.30/2412.85 c #Conflicts: 586000 | #Constraints: 25979
2400.30/2412.85 c #Conflicts: 587000 | #Constraints: 26987
2400.30/2412.85 c #Conflicts: 588000 | #Constraints: 27988
2400.30/2412.85 c #Conflicts: 589000 | #Constraints: 28989
2400.30/2412.85 c #Conflicts: 590000 | #Constraints: 29991
2400.30/2412.85 c #Conflicts: 591000 | #Constraints: 30994
2400.30/2412.85 c INPROCESSING
2400.30/2412.85 c GARBAGE COLLECT
2400.30/2412.85 c rational objective 32
2486.75/2500.48 c #Conflicts: 592000 | #Constraints: 16634
2486.75/2500.48 c #Conflicts: 593000 | #Constraints: 17659
2486.75/2500.48 c #Conflicts: 594000 | #Constraints: 18676
2486.75/2500.48 c #Conflicts: 595000 | #Constraints: 19681
2486.75/2500.48 c #Conflicts: 596000 | #Constraints: 20689
2486.75/2500.48 c #Conflicts: 597000 | #Constraints: 21707
2486.75/2500.48 c #Conflicts: 598000 | #Constraints: 22711
2486.75/2500.48 c #Conflicts: 599000 | #Constraints: 23711
2486.75/2500.48 c #Conflicts: 600000 | #Constraints: 24711
2486.75/2500.48 c #Conflicts: 601000 | #Constraints: 25711
2486.75/2500.48 c #Conflicts: 602000 | #Constraints: 26711
2486.75/2500.48 c #Conflicts: 603000 | #Constraints: 27734
2486.75/2500.48 c #Conflicts: 604000 | #Constraints: 28750
2486.75/2500.48 c #Conflicts: 605000 | #Constraints: 29752
2486.75/2500.48 c #Conflicts: 606000 | #Constraints: 30752
2486.75/2500.48 c #Conflicts: 607000 | #Constraints: 31753
2486.75/2500.48 c INPROCESSING
2486.75/2500.48 c GARBAGE COLLECT
2486.75/2500.48 c rational objective 32
2574.03/2588.82 c #Conflicts: 608000 | #Constraints: 17217
2574.03/2588.82 c #Conflicts: 609000 | #Constraints: 18221
2574.03/2588.82 c #Conflicts: 610000 | #Constraints: 19226
2574.03/2588.82 c #Conflicts: 611000 | #Constraints: 20237
2574.03/2588.82 c #Conflicts: 612000 | #Constraints: 21237
2574.03/2588.82 c #Conflicts: 613000 | #Constraints: 22237
2574.03/2588.82 c #Conflicts: 614000 | #Constraints: 23250
2574.03/2588.82 c #Conflicts: 615000 | #Constraints: 24258
2574.03/2588.82 c #Conflicts: 616000 | #Constraints: 25296
2574.03/2588.82 c #Conflicts: 617000 | #Constraints: 26336
2574.03/2588.82 c #Conflicts: 618000 | #Constraints: 27361
2574.03/2588.82 c #Conflicts: 619000 | #Constraints: 28388
2574.03/2588.82 c #Conflicts: 620000 | #Constraints: 29425
2574.03/2588.82 c #Conflicts: 621000 | #Constraints: 30450
2574.03/2588.82 c #Conflicts: 622000 | #Constraints: 31455
2574.03/2588.82 c #Conflicts: 623000 | #Constraints: 32456
2574.03/2588.82 c INPROCESSING
2574.03/2588.82 c GARBAGE COLLECT
2574.03/2588.82 c rational objective 32
2643.61/2659.67 c #Conflicts: 624000 | #Constraints: 17655
2643.61/2659.67 c #Conflicts: 625000 | #Constraints: 18679
2643.61/2659.67 c #Conflicts: 626000 | #Constraints: 19695
2643.61/2659.67 c #Conflicts: 627000 | #Constraints: 20719
2643.61/2659.67 c #Conflicts: 628000 | #Constraints: 21735
2643.61/2659.67 c #Conflicts: 629000 | #Constraints: 22744
2643.61/2659.67 c #Conflicts: 630000 | #Constraints: 23759
2643.61/2659.67 c #Conflicts: 631000 | #Constraints: 24764
2643.61/2659.67 c #Conflicts: 632000 | #Constraints: 25776
2643.61/2659.67 c #Conflicts: 633000 | #Constraints: 26776
2643.61/2659.67 c #Conflicts: 634000 | #Constraints: 27776
2643.61/2659.67 c #Conflicts: 635000 | #Constraints: 28794
2643.61/2659.67 c #Conflicts: 636000 | #Constraints: 29813
2643.61/2659.67 c #Conflicts: 637000 | #Constraints: 30837
2643.61/2659.67 c #Conflicts: 638000 | #Constraints: 31877
2643.61/2659.67 c #Conflicts: 639000 | #Constraints: 32897
2643.61/2659.67 c INPROCESSING
2643.61/2659.67 c GARBAGE COLLECT
2643.61/2659.67 c rational objective 32
2711.84/2729.75 c #Conflicts: 640000 | #Constraints: 17878
2711.84/2729.75 c #Conflicts: 641000 | #Constraints: 18887
2711.84/2729.75 c #Conflicts: 642000 | #Constraints: 19901
2711.84/2729.75 c #Conflicts: 643000 | #Constraints: 20926
2711.84/2729.75 c #Conflicts: 644000 | #Constraints: 21934
2711.84/2729.75 c #Conflicts: 645000 | #Constraints: 22936
2711.84/2729.75 c #Conflicts: 646000 | #Constraints: 23960
2711.84/2729.75 c #Conflicts: 647000 | #Constraints: 24990
2711.84/2729.75 c #Conflicts: 648000 | #Constraints: 26008
2711.84/2729.75 c #Conflicts: 649000 | #Constraints: 27028
2711.84/2729.75 c #Conflicts: 650000 | #Constraints: 28051
2711.84/2729.75 c #Conflicts: 651000 | #Constraints: 29072
2711.84/2729.75 c #Conflicts: 652000 | #Constraints: 30072
2711.84/2729.75 c #Conflicts: 653000 | #Constraints: 31072
2711.84/2729.75 c #Conflicts: 654000 | #Constraints: 32075
2711.84/2729.75 c #Conflicts: 655000 | #Constraints: 33076
2711.84/2729.75 c INPROCESSING
2711.84/2729.75 c GARBAGE COLLECT
2711.84/2729.75 c rational objective 32
2771.29/2790.26 c #Conflicts: 656000 | #Constraints: 17867
2771.29/2790.26 c #Conflicts: 657000 | #Constraints: 18873
2771.29/2790.26 c #Conflicts: 658000 | #Constraints: 19925
2771.29/2790.26 c #Conflicts: 659000 | #Constraints: 20978
2771.29/2790.26 c #Conflicts: 660000 | #Constraints: 21981
2771.29/2790.26 c #Conflicts: 661000 | #Constraints: 22981
2771.29/2790.26 c #Conflicts: 662000 | #Constraints: 23981
2771.29/2790.26 c #Conflicts: 663000 | #Constraints: 25111
2771.29/2790.26 c #Conflicts: 664000 | #Constraints: 26145
2771.29/2790.26 c #Conflicts: 665000 | #Constraints: 27173
2771.29/2790.26 c #Conflicts: 666000 | #Constraints: 28173
2771.29/2790.26 c #Conflicts: 667000 | #Constraints: 29174
2771.29/2790.26 c #Conflicts: 668000 | #Constraints: 30174
2771.29/2790.26 c #Conflicts: 669000 | #Constraints: 31175
2771.29/2790.26 c #Conflicts: 670000 | #Constraints: 32178
2771.29/2790.26 c #Conflicts: 671000 | #Constraints: 33178
2771.29/2790.26 c INPROCESSING
2771.29/2790.26 c GARBAGE COLLECT
2771.29/2790.26 c rational objective 32
2822.25/2842.03 c #Conflicts: 672000 | #Constraints: 17705
2822.25/2842.03 c #Conflicts: 673000 | #Constraints: 18705
2822.25/2842.03 c #Conflicts: 674000 | #Constraints: 19705
2822.25/2842.03 c #Conflicts: 675000 | #Constraints: 20705
2822.25/2842.03 c #Conflicts: 676000 | #Constraints: 21705
2822.25/2842.03 c #Conflicts: 677000 | #Constraints: 22705
2822.25/2842.03 c #Conflicts: 678000 | #Constraints: 23706
2822.25/2842.03 c #Conflicts: 679000 | #Constraints: 24707
2822.25/2842.03 c #Conflicts: 680000 | #Constraints: 25715
2822.25/2842.03 c #Conflicts: 681000 | #Constraints: 26736
2822.25/2842.03 c #Conflicts: 682000 | #Constraints: 27762
2822.25/2842.03 c #Conflicts: 683000 | #Constraints: 28784
2822.25/2842.03 c #Conflicts: 684000 | #Constraints: 29785
2822.25/2842.03 c #Conflicts: 685000 | #Constraints: 30799
2822.25/2842.03 c #Conflicts: 686000 | #Constraints: 31820
2822.25/2842.03 c #Conflicts: 687000 | #Constraints: 32832
2822.25/2842.03 c #Conflicts: 688000 | #Constraints: 33864
2822.25/2842.03 c INPROCESSING
2822.25/2842.03 c GARBAGE COLLECT
2822.25/2842.03 c rational objective 32
2912.30/2932.37 c #Conflicts: 689000 | #Constraints: 18275
2912.30/2932.37 c #Conflicts: 690000 | #Constraints: 19287
2912.30/2932.37 c #Conflicts: 691000 | #Constraints: 20306
2912.30/2932.37 c #Conflicts: 692000 | #Constraints: 21326
2912.30/2932.37 c #Conflicts: 693000 | #Constraints: 22341
2912.30/2932.37 c #Conflicts: 694000 | #Constraints: 23364
2912.30/2932.37 c #Conflicts: 695000 | #Constraints: 24365
2912.30/2932.37 c #Conflicts: 696000 | #Constraints: 25385
2912.30/2932.37 c #Conflicts: 697000 | #Constraints: 26395
2912.30/2932.37 c #Conflicts: 698000 | #Constraints: 27395
2912.30/2932.37 c #Conflicts: 699000 | #Constraints: 28401
2912.30/2932.37 c #Conflicts: 700000 | #Constraints: 29403
2912.30/2932.37 c #Conflicts: 701000 | #Constraints: 30404
2912.30/2932.37 c #Conflicts: 702000 | #Constraints: 31407
2912.30/2932.37 c #Conflicts: 703000 | #Constraints: 32407
2912.30/2932.37 c #Conflicts: 704000 | #Constraints: 33407
2912.30/2932.37 c #Conflicts: 705000 | #Constraints: 34422
2912.30/2932.37 c INPROCESSING
2912.30/2932.37 c GARBAGE COLLECT
2912.30/2932.37 c rational objective 32
2999.47/3019.74 c #Conflicts: 706000 | #Constraints: 18666
2999.47/3019.74 c #Conflicts: 707000 | #Constraints: 19668
2999.47/3019.74 c #Conflicts: 708000 | #Constraints: 20676
2999.47/3019.74 c #Conflicts: 709000 | #Constraints: 21683
2999.47/3019.74 c #Conflicts: 710000 | #Constraints: 22687
2999.47/3019.74 c #Conflicts: 711000 | #Constraints: 23697
2999.47/3019.74 c #Conflicts: 712000 | #Constraints: 24705
2999.47/3019.74 c #Conflicts: 713000 | #Constraints: 25715
2999.47/3019.74 c #Conflicts: 714000 | #Constraints: 26717
2999.47/3019.74 c #Conflicts: 715000 | #Constraints: 27719
2999.47/3019.74 c #Conflicts: 716000 | #Constraints: 28720
2999.47/3019.74 c #Conflicts: 717000 | #Constraints: 29721
2999.47/3019.74 c #Conflicts: 718000 | #Constraints: 30731
2999.47/3019.74 c #Conflicts: 719000 | #Constraints: 31740
2999.47/3019.74 c #Conflicts: 720000 | #Constraints: 32742
2999.47/3019.74 c #Conflicts: 721000 | #Constraints: 33746
2999.47/3019.74 c #Conflicts: 722000 | #Constraints: 34751
2999.47/3019.74 c INPROCESSING
2999.47/3019.74 c GARBAGE COLLECT
2999.47/3019.74 c rational objective 32
3150.82/3172.88 c #Conflicts: 723000 | #Constraints: 18808
3150.82/3172.88 c #Conflicts: 724000 | #Constraints: 19809
3150.82/3172.88 c #Conflicts: 725000 | #Constraints: 20818
3150.82/3172.88 c #Conflicts: 726000 | #Constraints: 21832
3150.82/3172.88 c #Conflicts: 727000 | #Constraints: 22839
3150.82/3172.88 c #Conflicts: 728000 | #Constraints: 23854
3150.82/3172.88 c #Conflicts: 729000 | #Constraints: 24854
3150.82/3172.88 c #Conflicts: 730000 | #Constraints: 25855
3150.82/3172.88 c #Conflicts: 731000 | #Constraints: 26855
3150.82/3172.88 c #Conflicts: 732000 | #Constraints: 27855
3150.82/3172.88 c #Conflicts: 733000 | #Constraints: 28855
3150.82/3172.88 c #Conflicts: 734000 | #Constraints: 29855
3150.82/3172.88 c #Conflicts: 735000 | #Constraints: 30855
3150.82/3172.88 c #Conflicts: 736000 | #Constraints: 31855
3150.82/3172.88 c #Conflicts: 737000 | #Constraints: 32855
3150.82/3172.88 c #Conflicts: 738000 | #Constraints: 33855
3150.82/3172.88 c #Conflicts: 739000 | #Constraints: 34855
3150.82/3172.88 c INPROCESSING
3150.82/3172.88 c GARBAGE COLLECT
3150.82/3172.88 c rational objective 32
3253.39/3276.71 c #Conflicts: 740000 | #Constraints: 18769
3253.39/3276.71 c #Conflicts: 741000 | #Constraints: 19771
3253.39/3276.71 c #Conflicts: 742000 | #Constraints: 20771
3253.39/3276.71 c #Conflicts: 743000 | #Constraints: 21771
3253.39/3276.71 c #Conflicts: 744000 | #Constraints: 22812
3253.39/3276.71 c #Conflicts: 745000 | #Constraints: 23812
3253.39/3276.71 c #Conflicts: 746000 | #Constraints: 24816
3253.39/3276.71 c #Conflicts: 747000 | #Constraints: 25830
3253.39/3276.71 c #Conflicts: 748000 | #Constraints: 27135
3253.39/3276.71 c #Conflicts: 749000 | #Constraints: 28136
3253.39/3276.71 c #Conflicts: 750000 | #Constraints: 29139
3253.39/3276.71 c #Conflicts: 751000 | #Constraints: 30144
3253.39/3276.71 c #Conflicts: 752000 | #Constraints: 31187
3253.39/3276.71 c #Conflicts: 753000 | #Constraints: 32187
3253.39/3276.71 c #Conflicts: 754000 | #Constraints: 33187
3253.39/3276.71 c #Conflicts: 755000 | #Constraints: 34187
3253.39/3276.71 c #Conflicts: 756000 | #Constraints: 35187
3253.39/3276.71 c INPROCESSING
3253.39/3276.71 c GARBAGE COLLECT
3253.39/3276.71 c rational objective 32
3325.35/3351.14 c #Conflicts: 757000 | #Constraints: 18721
3325.35/3351.14 c #Conflicts: 758000 | #Constraints: 19721
3325.35/3351.14 c #Conflicts: 759000 | #Constraints: 20721
3325.35/3351.14 c #Conflicts: 760000 | #Constraints: 21721
3325.35/3351.14 c #Conflicts: 761000 | #Constraints: 22721
3325.35/3351.14 c #Conflicts: 762000 | #Constraints: 23721
3325.35/3351.14 c #Conflicts: 763000 | #Constraints: 24721
3325.35/3351.14 c #Conflicts: 764000 | #Constraints: 25721
3325.35/3351.14 c #Conflicts: 765000 | #Constraints: 26722
3325.35/3351.14 c #Conflicts: 766000 | #Constraints: 27722
3325.35/3351.14 c #Conflicts: 767000 | #Constraints: 28722
3325.35/3351.14 c #Conflicts: 768000 | #Constraints: 29727
3325.35/3351.14 c #Conflicts: 769000 | #Constraints: 30738
3325.35/3351.14 c #Conflicts: 770000 | #Constraints: 31743
3325.35/3351.14 c #Conflicts: 771000 | #Constraints: 32745
3325.35/3351.14 c #Conflicts: 772000 | #Constraints: 33745
3325.35/3351.14 c #Conflicts: 773000 | #Constraints: 34745
3325.35/3351.14 c #Conflicts: 774000 | #Constraints: 35745
3325.35/3351.14 c INPROCESSING
3325.35/3351.14 c GARBAGE COLLECT
3325.35/3351.14 c rational objective 32
3396.69/3424.15 c #Conflicts: 775000 | #Constraints: 19191
3396.69/3424.15 c #Conflicts: 776000 | #Constraints: 20191
3396.69/3424.15 c #Conflicts: 777000 | #Constraints: 21191
3396.69/3424.15 c #Conflicts: 778000 | #Constraints: 22191
3396.69/3424.15 c #Conflicts: 779000 | #Constraints: 23191
3396.69/3424.15 c #Conflicts: 780000 | #Constraints: 24192
3396.69/3424.15 c #Conflicts: 781000 | #Constraints: 25192
3396.69/3424.15 c #Conflicts: 782000 | #Constraints: 26196
3396.69/3424.15 c #Conflicts: 783000 | #Constraints: 27214
3396.69/3424.15 c #Conflicts: 784000 | #Constraints: 28221
3396.69/3424.15 c #Conflicts: 785000 | #Constraints: 29230
3396.69/3424.15 c #Conflicts: 786000 | #Constraints: 30234
3396.69/3424.15 c #Conflicts: 787000 | #Constraints: 31253
3396.69/3424.15 c #Conflicts: 788000 | #Constraints: 32265
3396.69/3424.15 c #Conflicts: 789000 | #Constraints: 33271
3396.69/3424.15 c #Conflicts: 790000 | #Constraints: 34281
3396.69/3424.15 c #Conflicts: 791000 | #Constraints: 35307
3396.69/3424.15 c #Conflicts: 792000 | #Constraints: 36327
3396.69/3424.15 c INPROCESSING
3396.69/3424.15 c GARBAGE COLLECT
3396.69/3424.15 c rational objective 32
3483.51/3512.42 c #Conflicts: 793000 | #Constraints: 19612
3483.51/3512.42 c #Conflicts: 794000 | #Constraints: 20634
3483.51/3512.42 c #Conflicts: 795000 | #Constraints: 21655
3483.51/3512.42 c #Conflicts: 796000 | #Constraints: 22658
3483.51/3512.42 c #Conflicts: 797000 | #Constraints: 23680
3483.51/3512.42 c #Conflicts: 798000 | #Constraints: 24710
3483.51/3512.42 c #Conflicts: 799000 | #Constraints: 25727
3483.51/3512.42 c #Conflicts: 800000 | #Constraints: 26760
3483.51/3512.42 c #Conflicts: 801000 | #Constraints: 27791
3483.51/3512.42 c #Conflicts: 802000 | #Constraints: 28807
3483.51/3512.42 c #Conflicts: 803000 | #Constraints: 29823
3483.51/3512.42 c #Conflicts: 804000 | #Constraints: 30829
3483.51/3512.42 c #Conflicts: 805000 | #Constraints: 31842
3483.51/3512.42 c #Conflicts: 806000 | #Constraints: 32847
3483.51/3512.42 c #Conflicts: 807000 | #Constraints: 33847
3483.51/3512.42 c #Conflicts: 808000 | #Constraints: 34860
3483.51/3512.42 c #Conflicts: 809000 | #Constraints: 35868
3483.51/3512.42 c #Conflicts: 810000 | #Constraints: 36876
3483.51/3512.42 c INPROCESSING
3483.51/3512.42 c GARBAGE COLLECT
3483.51/3512.42 c rational objective 32
3551.73/3580.89 c #Conflicts: 811000 | #Constraints: 19891
3551.73/3580.89 c #Conflicts: 812000 | #Constraints: 20904
3551.73/3580.89 c #Conflicts: 813000 | #Constraints: 21924
3551.73/3580.89 c #Conflicts: 814000 | #Constraints: 22942
3551.73/3580.89 c #Conflicts: 815000 | #Constraints: 23963
3551.73/3580.89 c #Conflicts: 816000 | #Constraints: 24984
3551.73/3580.89 c #Conflicts: 817000 | #Constraints: 26000
3551.73/3580.89 c #Conflicts: 818000 | #Constraints: 27017
3551.73/3580.89 c #Conflicts: 819000 | #Constraints: 28025
3551.73/3580.89 c #Conflicts: 820000 | #Constraints: 29030
3551.73/3580.89 c #Conflicts: 821000 | #Constraints: 30042
3551.73/3580.89 c #Conflicts: 822000 | #Constraints: 31056
3551.73/3580.89 c #Conflicts: 823000 | #Constraints: 32062
3551.73/3580.89 c #Conflicts: 824000 | #Constraints: 33078
3551.73/3580.89 c #Conflicts: 825000 | #Constraints: 34087
3551.73/3580.89 c #Conflicts: 826000 | #Constraints: 35096
3551.73/3580.89 c #Conflicts: 827000 | #Constraints: 36117
3551.73/3580.89 c #Conflicts: 828000 | #Constraints: 37122
3551.73/3580.89 c INPROCESSING
3551.73/3580.89 c GARBAGE COLLECT
3551.73/3580.89 c rational objective 32
3600.09/3629.30 c #Conflicts: 829000 | #Constraints: 19912
3600.09/3629.30 c #Conflicts: 830000 | #Constraints: 20920
3600.09/3629.30 c #Conflicts: 831000 | #Constraints: 21926
3600.09/3629.30 c #Conflicts: 832000 | #Constraints: 22931
3600.09/3629.30 c #Conflicts: 833000 | #Constraints: 23933
3600.09/3629.30 c #Conflicts: 834000 | #Constraints: 24953
3600.09/3629.30 c #Conflicts: 835000 | #Constraints: 25955
3600.09/3629.30 c #Conflicts: 836000 | #Constraints: 26955
3600.09/3629.30 c #Conflicts: 837000 | #Constraints: 27955
3600.09/3629.30 c #Conflicts: 838000 | #Constraints: 28955
3600.09/3629.30 c #Conflicts: 839000 | #Constraints: 29955
3600.09/3629.30 c cpu time 3548.84 s
3600.09/3629.30 c deterministic time 596158222788 5.96e+11
3600.09/3629.30 c optimization time 47.0446 s
3600.09/3629.30 c total solve time 3501.77 s
3600.09/3629.30 c core-guided solve time 1595.17 s
3600.09/3629.30 c propagation time 2214.03 s
3600.09/3629.30 c conflict analysis time 1001.86 s
3600.09/3629.30 c propagations 104974886
3600.09/3629.30 c resolve steps 3109752
3600.09/3629.30 c decisions 15256989
3600.09/3629.30 c conflicts 839296
3600.09/3629.30 c restarts 1788
3600.09/3629.30 c inprocessing phases 82
3600.09/3629.30 c garbage collections 82 ,( 100.00 )
3600.09/3629.30 c input clauses 366 ,( 45.92 )
3600.09/3629.30 c input cardinalities 367 ,( 46.05 )
3600.09/3629.30 c input general constraints 64 ,( 8.03 )
3600.09/3629.30 c input average constraint length 58.82
3600.09/3629.30 c input average constraint degree 11723.44
3600.09/3629.30 c learned clauses 36019 ,( 4.21 )
3600.09/3629.30 c learned cardinalities 826 ,( 0.10 )
3600.09/3629.30 c learned general constraints 818492 ,( 95.69 )
3600.09/3629.30 c learned average constraint length 3164.05
3600.09/3629.30 c learned average constraint degree 36790685826.14
3600.09/3629.30 c watched CF 32, 64, 128, Arb: 182994 , 0 , 0 , 0
3600.09/3629.30 c counting CF 32, 64, 128, Arb: 635563 , 0 , 0 , 0
3600.09/3629.30 c watched constraints 182994 ,( 22.36 )
3600.09/3629.30 c counting constraints 635562 ,( 77.64 )
3600.09/3629.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5584491 , 3925243 , 1282223414 ,( 66927306 , 1215296108 )
3600.09/3629.30 c gcd simplifications 14249
3600.09/3629.30 c detected cardinalities 58
3600.09/3629.30 c weakened non-implied lits 503325240
3600.09/3629.30 c weakened non-implying lits 2244550
3600.09/3629.30 c original variables 11744
3600.09/3629.30 c clausal propagations 1265689
3600.09/3629.30 c cardinality propagations 27261465
3600.09/3629.30 c watched propagations 293989
3600.09/3629.30 c counting propagations 68760321
3600.09/3629.30 c watch lookups 59506123491
3600.09/3629.30 c watch backjump lookups 0
3600.09/3629.30 c watch checks 48028338032
3600.09/3629.30 c propagation checks 481496465493
3600.09/3629.30 c constraint additions 6885095919
3600.09/3629.30 c trail pops 121057368
3600.09/3629.30 c formula constraints 797
3600.09/3629.30 c learned constraints 832287
3600.09/3629.30 c bound constraints 0
3600.09/3629.30 c core-guided constraints 0
3600.09/3629.30 c encountered formula constraints 2086996
3600.09/3629.30 c encountered learned constraints 1258035
3600.09/3629.30 c encountered bound constraints 0
3600.09/3629.30 c encountered core-guided constraints 0
3600.09/3629.30 c LP total time 488.496 s
3600.09/3629.30 c LP solve time 329.88 s
3600.09/3629.30 c LP constraints added 1466
3600.09/3629.30 c LP constraints removed 664
3600.09/3629.30 c LP pivots internal 838047
3600.09/3629.30 c LP pivots root 72562
3600.09/3629.30 c LP calls 137027
3600.09/3629.30 c LP optimalities 121618
3600.09/3629.30 c LP no pivot count 44795
3600.09/3629.30 c LP infeasibilities 15401
3600.09/3629.30 c LP valid Farkas constraints 15388
3600.09/3629.30 c LP learned Farkas constraints 7008
3600.09/3629.30 c LP basis resets 16
3600.09/3629.30 c LP cycling count 0
3600.09/3629.30 c LP singular count 3
3600.09/3629.30 c LP no primal count 0
3600.09/3629.30 c LP no farkas count 13
3600.09/3629.30 c LP other issue count 0
3600.09/3629.30 c LP Gomory cuts 654
3600.09/3629.30 c LP learned cuts 15
3600.09/3629.30 c LP deleted cuts 664
3600.09/3629.30 c LP encountered Gomory constraints 3
3600.09/3629.30 c LP encountered Farkas constraints 551447
3600.09/3629.30 c LP encountered learned Farkas constraints 45559
3600.09/3629.30 c CG auxiliary variables introduced 0
3600.09/3629.30 c CG solutions found 0
3600.09/3629.30 c CG cores constructed 0
3600.09/3629.30 c CG core cardinality constraints returned 0
3600.09/3629.30 c CG unit cores 0
3600.09/3629.30 c CG single cores 0
3600.09/3629.30 c CG blocks removed during cardinality reduction 0
3600.09/3629.30 c CG first core best 0
3600.09/3629.30 c CG decision core best 0
3600.09/3629.30 c CG core reduction tie 0
3600.09/3629.30 c CG core degree average 0.00
3600.09/3629.30 c CG core slack average 0.00
3600.09/3629.30 c CG core upper bound improvements 0
3600.09/3629.30 c STR number of successful calls 0
3600.09/3629.30 c STR number of unsuccessful calls 0
3600.09/3629.30 c STR number of inconclusive calls 0
3600.09/3629.30 c STR number of successful attempts 0
3600.09/3629.30 c STR number of unsuccessful attempts 0
3600.09/3629.30 c STR number of inconclusive attempts 0
3600.09/3629.30 c STR average degree increase per successful call inf
3600.09/3629.30 c STR average degree increase per successful attempt inf
3600.09/3629.30 c STR total number of conflicts for successful attempts 0
3600.09/3629.30 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3629.30 c STR total number of conflicts for inconclusive attempts 0
3600.09/3629.30 c STR average number of conflicts per successful attempt inf
3600.09/3629.30 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3629.30 c STR average number of conflicts per inconclusive attempt inf
3600.09/3629.30 c AVG.sumWPerc 59.58
3600.09/3629.30 c bigint constraints 0
3600.09/3629.30 s UNKNOWN
3600.09/3629.30 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: 63708 MiB (60993 MiB free)
memory of node 1: 64465 MiB (63568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532665-1752596913/watcher-4532665-1752596913 -o /tmp/evaluation-result-4532665-1752596913/solver-4532665-1752596913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752596850-136812 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532665-1752596913.opb PROOFDIR/proof-4532665-1752596913
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=137067, runsolver pid=137064
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 6.58 4.43 3.96 5/406 137069
/proc/meminfo: memFree=127551620/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137069] ppid=137067 vsize=31336 memory=21092 CPUtime=0.04 cores=5,7
/proc/137069/stat : 137069 (pbsuma) R 137067 137067 136799 0 -1 4194304 5646 0 0 0 3 1 0 0 20 0 1 0 175368784 32088064 5273 18446744073709551615 4210688 4653049 140732962811792 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 19042304 140732962818273 140732962818608 140732962818608 140732962824175 0
/proc/137069/statm: 7834 5273 1024 108 0 5242 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 35528 KiB
Current children cumulated memory: 24036 KiB
[startup+0.208898 s]*
/proc/loadavg: 6.58 4.43 3.96 5/406 137069
/proc/meminfo: memFree=127551620/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137069] ppid=137067 vsize=32952 memory=22756 CPUtime=0.14 cores=5,7
/proc/137069/stat : 137069 (pbsuma) R 137067 137067 136799 0 -1 4194304 6085 0 0 0 13 1 0 0 20 0 1 0 175368784 33742848 5689 18446744073709551615 4210688 4653049 140732962811792 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 19042304 140732962818273 140732962818608 140732962818608 140732962824175 0
/proc/137069/statm: 8238 5689 1024 108 0 5646 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 37144 KiB
Current children cumulated memory: 25700 KiB
[startup+0.308785 s]*
/proc/loadavg: 6.58 4.43 3.96 5/406 137069
/proc/meminfo: memFree=127551620/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137069] ppid=137067 vsize=33172 memory=22884 CPUtime=0.23 cores=5,7
/proc/137069/stat : 137069 (pbsuma) R 137067 137067 136799 0 -1 4194304 6111 0 0 0 22 1 0 0 20 0 1 0 175368784 33968128 5721 18446744073709551615 4210688 4653049 140732962811792 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19042304 140732962818273 140732962818608 140732962818608 140732962824175 0
/proc/137069/statm: 8293 5721 1024 108 0 5701 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 37364 KiB
Current children cumulated memory: 25828 KiB
[startup+0.700167 s]
/proc/loadavg: 6.58 4.43 3.96 5/406 137069
/proc/meminfo: memFree=127551620/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50018 s]
/proc/loadavg: 6.58 4.43 3.96 5/406 137070
/proc/meminfo: memFree=127566660/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=81476 memory=40044 CPUtime=0.87 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 7347 0 0 0 81 6 0 0 20 0 1 0 175368843 83431424 10011 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 20369 10011 2400 1147 0 7795 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 85668 KiB
Current children cumulated memory: 42988 KiB
[startup+3.10866 s]
/proc/loadavg: 6.37 4.43 3.96 5/406 137070
/proc/meminfo: memFree=127479264/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=124440 memory=80864 CPUtime=2.47 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 17000 0 0 0 235 12 0 0 20 0 1 0 175368843 127426560 20216 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 31110 20216 2432 1147 0 18536 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 128632 KiB
Current children cumulated memory: 83808 KiB
[startup+6.30015 s]
/proc/loadavg: 6.37 4.43 3.96 5/406 137070
/proc/meminfo: memFree=127310056/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=257716 memory=208472 CPUtime=5.66 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 41762 0 0 0 544 22 0 0 20 0 1 0 175368843 263901184 52118 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 64429 52118 2432 1147 0 51855 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 261908 KiB
Current children cumulated memory: 211416 KiB
[startup+12.7002 s]
/proc/loadavg: 6.18 4.42 3.96 5/406 137070
/proc/meminfo: memFree=127092828/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=361880 memory=291004 CPUtime=12.04 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 60357 0 0 0 1163 41 0 0 20 0 1 0 175368843 370565120 72751 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 90470 72751 2432 1147 0 77896 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 366072 KiB
Current children cumulated memory: 293948 KiB
[startup+25.5001 s]
/proc/loadavg: 5.77 4.41 3.97 4/406 137070
/proc/meminfo: memFree=126730896/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=555532 memory=448360 CPUtime=24.8 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 92034 0 0 0 2411 69 0 0 20 0 1 0 175368843 568864768 112090 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 138883 112090 2432 1147 0 126309 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 559724 KiB
Current children cumulated memory: 451304 KiB
[startup+51.1086 s]
/proc/loadavg: 5.17 4.38 3.97 5/401 137097
/proc/meminfo: memFree=126231328/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=831528 memory=689396 CPUtime=50.34 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 149647 0 0 0 4904 130 0 0 20 0 1 0 175368843 851484672 172349 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 207882 172349 2432 1147 0 195308 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 835720 KiB
Current children cumulated memory: 692340 KiB
[startup+102.3 s]
/proc/loadavg: 4.59 4.35 3.99 5/406 137215
/proc/meminfo: memFree=125018988/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=1035740 memory=858680 CPUtime=101.38 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 183332 0 0 0 9912 226 0 0 20 0 1 0 175368843 1060597760 214670 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 258935 214670 2496 1147 0 246361 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1039932 KiB
Current children cumulated memory: 861624 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.31 4.00 5/405 137217
/proc/meminfo: memFree=123528972/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=1344396 memory=1151144 CPUtime=161.18 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 250857 0 0 0 15781 337 0 0 20 0 1 0 175368843 1376661504 287786 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 336099 287786 2496 1147 0 323525 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1348588 KiB
Current children cumulated memory: 1154088 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.30 4.02 5/407 137223
/proc/meminfo: memFree=122021756/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=1477668 memory=1322712 CPUtime=221 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 285121 0 0 0 21646 454 0 0 20 0 1 0 175368843 1513132032 330678 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 369417 330678 2496 1147 0 356843 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1481860 KiB
Current children cumulated memory: 1325656 KiB
################
# More data... #
################
Current children cumulated memory: 5559848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 137451
/proc/meminfo: memFree=64090976/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=6411840 memory=5589840 CPUtime=3316.06 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 1198338 0 0 0 326918 4688 0 0 20 0 1 0 175368843 6565724160 1397460 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1602960 1397460 2528 1147 0 1590386 0
Current children cumulated CPU time: 3316.57 s
Current children cumulated vsize: 6416032 KiB
Current children cumulated memory: 5592784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 137453
/proc/meminfo: memFree=63260748/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=6412596 memory=5612880 CPUtime=3375.47 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 1200522 0 0 0 332780 4767 0 0 20 0 1 0 175368843 6566498304 1403220 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1403220 2528 1147 0 1590575 0
Current children cumulated CPU time: 3375.98 s
Current children cumulated vsize: 6416788 KiB
Current children cumulated memory: 5615824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 137455
/proc/meminfo: memFree=62543420/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=6412596 memory=5633104 CPUtime=3433.74 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 1200544 0 0 0 338521 4853 0 0 20 0 1 0 175368843 6566498304 1408276 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1408276 2528 1147 0 1590575 0
Current children cumulated CPU time: 3434.25 s
Current children cumulated vsize: 6416788 KiB
Current children cumulated memory: 5636048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 137459
/proc/meminfo: memFree=61757464/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=6412596 memory=5667792 CPUtime=3492.88 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 1202633 0 0 0 344358 4930 0 0 20 0 1 0 175368843 6566498304 1416948 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1416948 2528 1147 0 1590575 0
Current children cumulated CPU time: 3493.39 s
Current children cumulated vsize: 6416788 KiB
Current children cumulated memory: 5670736 KiB
[startup+3582.3 s]
/proc/loadavg: 3.74 4.00 4.06 4/267 137492
/proc/meminfo: memFree=61809128/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=6412596 memory=5702864 CPUtime=3552.71 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 1202643 0 0 0 350243 5028 0 0 20 0 1 0 175368843 6566498304 1425716 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1425716 2528 1147 0 1590575 0
Current children cumulated CPU time: 3553.22 s
Current children cumulated vsize: 6416788 KiB
Current children cumulated memory: 5705808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3629.3 s]
/proc/loadavg: 3.43 3.88 4.01 4/267 137494
/proc/meminfo: memFree=61440408/131249996 swapFree=33006296/33010684
[pid=137067] ppid=137064 vsize=4192 memory=2944 CPUtime=0.51 cores=5,7
/proc/137067/stat : 137067 (run-opt-break-l) S 137064 137067 136799 0 -1 4194304 241 8910 0 0 0 0 50 1 20 0 1 0 175368783 4292608 736 18446744073709551615 94407704879104 94407705773637 140734354165808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94407706012688 94407706060432 94407739314176 140734354172179 140734354172380 140734354172380 140734354177984 0
/proc/137067/statm: 1048 736 672 219 0 110 0
[pid=137070] ppid=137067 vsize=6412596 memory=5727056 CPUtime=3599.58 cores=5,7
/proc/137070/stat : 137070 (roundingsat) R 137067 137067 136799 0 -1 4194304 1204471 0 0 0 354883 5075 0 0 20 0 1 0 175368843 6566498304 1431764 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1431764 2528 1147 0 1590575 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 6416788 KiB
Current children cumulated memory: 5730000 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3629.3 s]
# the end of solver process 137067 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.501986 s, system=0.019911 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 3.43 3.88 4.01 3/266 137494
/proc/meminfo: memFree=61441720/131249996 swapFree=33006296/33010684
[pid=137070] ppid=137064 vsize=6412596 memory=5727184 CPUtime=3599.59 cores=5,7
/proc/137070/stat : 137070 (roundingsat) D 137064 137067 136799 0 -1 4194304 1204474 0 0 0 354884 5075 0 0 20 0 1 0 175368843 6566498304 1431796 18446744073709551615 4227072 8923577 140734744456912 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 9
/proc/137070/statm: 1603149 1431796 2560 1147 0 1590575 0
??? kill 137070 sig 9
??? end of watcher thread
[startup+3633.82 s]
# the end of solver process 137070 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3549.34 s, system=50.8401 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3630.4 s]
/proc/loadavg: 3.43 3.88 4.01 3/266 137494
/proc/meminfo: memFree=61441624/131249996 swapFree=33006296/33010684
[pid=137070] ppid=137064 vsize=6412596 memory=5727184 CPUtime=3599.59 cores=5,7
/proc/137070/stat : 137070 (roundingsat) D 137064 137067 136799 0 -1 4194304 1204474 0 0 0 354884 5075 0 0 20 0 1 0 175368843 6566498304 1431796 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1431796 2560 1147 0 1590575 0
Current cumulated CPU time of completed processes: 0.521897 s
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 6412596 KiB
Current children cumulated memory: 5727184 KiB
[startup+3630.8 s]
/proc/loadavg: 3.43 3.88 4.01 3/266 137494
/proc/meminfo: memFree=61441624/131249996 swapFree=33006296/33010684
[pid=137070] ppid=137064 vsize=6412596 memory=5727184 CPUtime=3599.59 cores=5,7
/proc/137070/stat : 137070 (roundingsat) D 137064 137067 136799 0 -1 4194304 1204474 0 0 0 354884 5075 0 0 20 0 1 0 175368843 6566498304 1431796 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1431796 2560 1147 0 1590575 0
Current cumulated CPU time of completed processes: 0.521897 s
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 6412596 KiB
Current children cumulated memory: 5727184 KiB
[startup+3631.2 s]
/proc/loadavg: 3.43 3.88 4.01 3/266 137494
/proc/meminfo: memFree=61440472/131249996 swapFree=33006296/33010684
[pid=137070] ppid=137064 vsize=6412596 memory=5727184 CPUtime=3599.59 cores=5,7
/proc/137070/stat : 137070 (roundingsat) D 137064 137067 136799 0 -1 4194304 1204474 0 0 0 354884 5075 0 0 20 0 1 0 175368843 6566498304 1431796 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1431796 2560 1147 0 1590575 0
Current cumulated CPU time of completed processes: 0.521897 s
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 6412596 KiB
Current children cumulated memory: 5727184 KiB
[startup+3631.3 s]
/proc/loadavg: 3.43 3.88 4.01 3/266 137494
/proc/meminfo: memFree=61440472/131249996 swapFree=33006296/33010684
[pid=137070] ppid=137064 vsize=6412596 memory=5727184 CPUtime=3599.59 cores=5,7
/proc/137070/stat : 137070 (roundingsat) D 137064 137067 136799 0 -1 4194304 1204474 0 0 0 354884 5075 0 0 20 0 1 0 175368843 6566498304 1431796 18446744073709551615 4227072 8923577 140734744456912 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 28299264 140734744459538 140734744459814 140734744459814 140734744465386 0
/proc/137070/statm: 1603149 1431796 2560 1147 0 1590575 0
Current cumulated CPU time of completed processes: 0.521897 s
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 6412596 KiB
Current children cumulated memory: 5727184 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3633.82
CPU time (s): 3600.18
CPU user time (s): 3549.34
CPU system time (s): 50.8401
CPU usage (%): 99.0743
Max. virtual memory (cumulated for all children) (KiB): 6416788
Max. memory (cumulated for all children) (KiB): 5730000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.34
system time used= 50.8401
maximum resident set size= 5727184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1213625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 78421232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6249
involuntary context switches= 4908
# summary of solver processes directly reported to runsolver:
# pid: 137067,137070
# total CPU time (s): 3600.18
# total CPU user time (s): 3549.34
# total CPU system time (s): 50.8401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35219 second user time and 16.5495 second system time
The end