0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4508049-1751494099.opb'
0.00/0.06 c read 1.14MB (43.04ms)
0.00/0.06 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.07 c output proof to 'PROOFDIR/proof-4508049-1751494099'
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.08/0.11 c [group: #orbits ~= 2752] (48.44ms)
0.08/0.11 c
0.08/0.11 c detect special group actions
0.08/0.11 c probe for Johnson action (limit=64)
0.08/0.14 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.17 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.19 c found row 11x688, generating row predicate
0.08/0.19 c (76.72ms)
0.08/0.19 c
0.08/0.19 c detect symmetries on remainder
0.08/0.19 c [graph: #vertices 82875 #edges 295616]
0.08/0.19 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.20/0.29 c [group: #symmetries 1.24*10^7 #generators 13] (94.14ms)
0.20/0.29 c
0.20/0.29 c optimize generators (opt_passes=64, conjugate_limit=256)
0.20/0.29 c ran it=0, +gens=2
0.49/0.60 c con best_support=1376, best_gens=13, +gens=224
0.49/0.60 c (315.82ms)
0.49/0.60 c
0.49/0.60 c finalize break order and special generators
0.49/0.60 c
0.49/0.60 c add generic predicates (break_depth=20)
0.49/0.61 c added predicates for 239 generators (3.96ms)
1.07/1.17 c
1.07/1.17 c generation finished
1.07/1.17 c [sbp: #constraints 34482 #add_vars 11411]
1.07/1.17 c
1.07/1.17 c write result to 'HOME/instance-4508049-1751494099.opb.pre'
1.07/1.18 c wrote 2.47MB (8.48ms)
1.07/1.18 c ------------------------------------------------------------------
1.07/1.18 c 566.13ms 48.81% other
1.07/1.18 c 315.82ms 27.23% optimize_gens
1.07/1.18 c 94.14ms 8.12% detect_generic
1.07/1.18 c 76.72ms 6.61% detect_special
1.07/1.18 c 48.44ms 4.18% approx_orbits
1.07/1.18 c 43.03ms 3.71% parse
1.07/1.18 c 8.48ms 0.73% output
1.07/1.18 c 3.96ms 0.34% break_generic
1.07/1.18 c 3.13ms 0.27% finalize_order
1.07/1.18 c ───────────────────────────────────────────────
1.07/1.18 c 1159.86ms 100% total
1.07/1.18 c ------------------------------------------------------------------
1.18/1.34 c RoundingSat 2
1.18/1.34 c branch pb25
1.18/1.34 c commit 63f22ad
2.12/2.36 c #variables 21043 #constraints 64102
2.12/2.36 c objective is ce32
2.12/2.36 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
2.12/2.36 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.12/2.36 c bounds - >= 0 @ 0.85088
7.71/7.97 c #Conflicts: 1000 | #Constraints: 65101
7.71/7.97 c #Conflicts: 2000 | #Constraints: 66101
7.71/7.97 c INPROCESSING
7.71/7.97 c bounds - >= 10 @ 6.30131
8.40/8.66 c #Conflicts: 3000 | #Constraints: 66133
8.40/8.66 c #Conflicts: 4000 | #Constraints: 67133
8.40/8.66 c INPROCESSING
8.40/8.66 c bounds 211 >= 10 @ 6.7538
19.97/20.26 c #Conflicts: 5000 | #Constraints: 66540
19.97/20.26 c #Conflicts: 6000 | #Constraints: 67540
19.97/20.26 c INPROCESSING
19.97/20.26 c GARBAGE COLLECT
19.97/20.26 c bounds 206 >= 10 @ 18.2576
19.97/20.28 c bounds 204 >= 10 @ 18.2659
19.97/20.30 c bounds 184 >= 10 @ 18.2795
20.07/20.31 c bounds 182 >= 10 @ 18.2876
20.07/20.34 c bounds 169 >= 10 @ 18.3032
20.07/20.35 c bounds 149 >= 10 @ 18.3097
20.07/20.36 c bounds 144 >= 10 @ 18.3177
20.07/20.37 c bounds 142 >= 10 @ 18.3236
20.17/20.41 c bounds 132 >= 10 @ 18.3487
20.17/20.42 c bounds 130 >= 10 @ 18.3544
20.17/20.43 c bounds 128 >= 10 @ 18.3629
20.17/20.44 c bounds 126 >= 10 @ 18.3665
20.17/20.48 c bounds 116 >= 10 @ 18.3866
20.27/20.55 c #Conflicts: 7000 | #Constraints: 66564
20.27/20.55 c bounds 114 >= 10 @ 18.4509
20.27/20.58 c #Conflicts: 8000 | #Constraints: 67565
20.27/20.58 c bounds 106 >= 10 @ 18.4675
20.27/20.59 c bounds 104 >= 10 @ 18.4735
20.37/20.64 c bounds 101 >= 10 @ 18.5052
20.37/20.65 c bounds 99 >= 10 @ 18.5117
20.37/20.69 c bounds 91 >= 10 @ 18.5468
20.37/20.69 c bounds 91 >= 12 @ 18.5477
20.46/20.72 c bounds 91 >= 17 @ 18.5756
20.46/20.73 c bounds 89 >= 17 @ 18.5827
65.33/65.71 c #Conflicts: 9000 | #Constraints: 68578
65.33/65.71 c INPROCESSING
65.33/65.71 c rational objective 17
65.63/66.07 c bounds 89 >= 19 @ 63.6496
66.13/66.58 c #Conflicts: 10000 | #Constraints: 67295
66.13/66.58 c #Conflicts: 11000 | #Constraints: 68295
66.13/66.58 c #Conflicts: 12000 | #Constraints: 69295
66.13/66.58 c INPROCESSING
66.13/66.58 c GARBAGE COLLECT
66.13/66.58 c #Conflicts: 13000 | #Constraints: 67760
66.13/66.58 c #Conflicts: 14000 | #Constraints: 68760
66.13/66.58 c bounds 81 >= 19 @ 64.1302
66.23/66.67 c #Conflicts: 15000 | #Constraints: 69761
66.23/66.67 c INPROCESSING
66.23/66.67 c GARBAGE COLLECT
66.23/66.67 c bounds 79 >= 19 @ 64.221
79.88/80.38 c #Conflicts: 16000 | #Constraints: 67997
79.88/80.38 c #Conflicts: 17000 | #Constraints: 68997
79.88/80.38 c #Conflicts: 18000 | #Constraints: 69997
79.88/80.38 c INPROCESSING
79.88/80.38 c #Conflicts: 19000 | #Constraints: 68008
79.88/80.38 c #Conflicts: 20000 | #Constraints: 69008
79.88/80.38 c #Conflicts: 21000 | #Constraints: 70008
79.88/80.38 c INPROCESSING
79.88/80.38 c GARBAGE COLLECT
79.88/80.38 c #Conflicts: 22000 | #Constraints: 67817
79.88/80.38 c #Conflicts: 23000 | #Constraints: 68817
79.88/80.38 c #Conflicts: 24000 | #Constraints: 69817
79.88/80.38 c #Conflicts: 25000 | #Constraints: 70817
79.88/80.38 c INPROCESSING
79.88/80.38 c GARBAGE COLLECT
79.88/80.38 c bounds 79 >= 20 @ 77.7728
80.18/80.68 c #Conflicts: 26000 | #Constraints: 68421
80.18/80.68 c #Conflicts: 27000 | #Constraints: 69421
80.18/80.68 c #Conflicts: 28000 | #Constraints: 70421
80.18/80.68 c #Conflicts: 29000 | #Constraints: 71421
80.18/80.68 c INPROCESSING
80.18/80.68 c GARBAGE COLLECT
80.18/80.68 c bounds 79 >= 22 @ 78.0661
80.18/80.70 c bounds 79 >= 24 @ 78.0777
102.42/102.92 c #Conflicts: 30000 | #Constraints: 68832
102.42/102.92 c #Conflicts: 31000 | #Constraints: 69832
102.42/102.92 c #Conflicts: 32000 | #Constraints: 70832
102.42/102.92 c #Conflicts: 33000 | #Constraints: 71832
102.42/102.92 c INPROCESSING
102.42/102.92 c GARBAGE COLLECT
102.42/102.92 c #Conflicts: 34000 | #Constraints: 69034
102.42/102.92 c #Conflicts: 35000 | #Constraints: 70034
102.42/102.92 c #Conflicts: 36000 | #Constraints: 71034
102.42/102.92 c #Conflicts: 37000 | #Constraints: 72034
102.42/102.92 c INPROCESSING
102.42/102.92 c GARBAGE COLLECT
102.42/102.92 c #Conflicts: 38000 | #Constraints: 69030
102.42/102.92 c #Conflicts: 39000 | #Constraints: 70030
102.42/102.92 c #Conflicts: 40000 | #Constraints: 71030
102.42/102.92 c #Conflicts: 41000 | #Constraints: 72030
102.42/102.92 c INPROCESSING
102.42/102.92 c GARBAGE COLLECT
102.42/102.92 c rational objective 24
160.64/161.31 c #Conflicts: 42000 | #Constraints: 68838
160.64/161.31 c #Conflicts: 43000 | #Constraints: 69838
160.64/161.31 c #Conflicts: 44000 | #Constraints: 70838
160.64/161.31 c #Conflicts: 45000 | #Constraints: 71838
160.64/161.31 c #Conflicts: 46000 | #Constraints: 72838
160.64/161.31 c INPROCESSING
160.64/161.31 c GARBAGE COLLECT
160.64/161.31 c rational objective 24
168.52/169.28 c #Conflicts: 47000 | #Constraints: 69493
168.52/169.28 c #Conflicts: 48000 | #Constraints: 70493
168.52/169.28 c #Conflicts: 49000 | #Constraints: 71493
168.52/169.28 c #Conflicts: 50000 | #Constraints: 72493
168.52/169.28 c #Conflicts: 51000 | #Constraints: 73493
168.52/169.28 c INPROCESSING
168.52/169.28 c GARBAGE COLLECT
168.52/169.28 c #Conflicts: 52000 | #Constraints: 69868
168.52/169.28 c #Conflicts: 53000 | #Constraints: 70868
168.52/169.28 c #Conflicts: 54000 | #Constraints: 71868
168.52/169.28 c #Conflicts: 55000 | #Constraints: 72868
168.52/169.28 c #Conflicts: 56000 | #Constraints: 73868
168.52/169.28 c INPROCESSING
168.52/169.28 c GARBAGE COLLECT
168.52/169.28 c #Conflicts: 57000 | #Constraints: 70051
168.52/169.28 c #Conflicts: 58000 | #Constraints: 71051
168.52/169.28 c #Conflicts: 59000 | #Constraints: 72051
168.52/169.28 c bounds 79 >= 26 @ 165.995
202.42/203.29 c #Conflicts: 60000 | #Constraints: 73063
202.42/203.29 c #Conflicts: 61000 | #Constraints: 74063
202.42/203.29 c INPROCESSING
202.42/203.29 c GARBAGE COLLECT
202.42/203.29 c #Conflicts: 62000 | #Constraints: 70053
202.42/203.29 c #Conflicts: 63000 | #Constraints: 71053
202.42/203.29 c #Conflicts: 64000 | #Constraints: 72053
202.42/203.29 c #Conflicts: 65000 | #Constraints: 73053
202.42/203.29 c #Conflicts: 66000 | #Constraints: 74053
202.42/203.29 c INPROCESSING
202.42/203.29 c GARBAGE COLLECT
202.42/203.29 c #Conflicts: 67000 | #Constraints: 69848
202.42/203.29 c #Conflicts: 68000 | #Constraints: 70848
202.42/203.29 c #Conflicts: 69000 | #Constraints: 71848
202.42/203.29 c #Conflicts: 70000 | #Constraints: 72848
202.42/203.29 c #Conflicts: 71000 | #Constraints: 73848
202.42/203.29 c #Conflicts: 72000 | #Constraints: 74848
202.42/203.29 c INPROCESSING
202.42/203.29 c GARBAGE COLLECT
202.42/203.29 c #Conflicts: 73000 | #Constraints: 70444
202.42/203.29 c #Conflicts: 74000 | #Constraints: 71444
202.42/203.29 c #Conflicts: 75000 | #Constraints: 72444
202.42/203.29 c #Conflicts: 76000 | #Constraints: 73444
202.42/203.29 c bounds 79 >= 27 @ 199.72
230.63/231.51 c #Conflicts: 77000 | #Constraints: 74450
230.63/231.51 c #Conflicts: 78000 | #Constraints: 75450
230.63/231.51 c INPROCESSING
230.63/231.51 c GARBAGE COLLECT
230.63/231.51 c rational objective 27
232.02/232.93 c #Conflicts: 79000 | #Constraints: 70915
232.02/232.93 c #Conflicts: 80000 | #Constraints: 71915
232.02/232.93 c #Conflicts: 81000 | #Constraints: 72915
232.02/232.93 c #Conflicts: 82000 | #Constraints: 73915
232.02/232.93 c #Conflicts: 83000 | #Constraints: 74915
232.02/232.93 c #Conflicts: 84000 | #Constraints: 75915
232.02/232.93 c INPROCESSING
232.02/232.93 c GARBAGE COLLECT
232.02/232.93 c #Conflicts: 85000 | #Constraints: 71083
232.02/232.93 c #Conflicts: 86000 | #Constraints: 72083
232.02/232.93 c #Conflicts: 87000 | #Constraints: 73083
232.02/232.93 c #Conflicts: 88000 | #Constraints: 74083
232.02/232.93 c #Conflicts: 89000 | #Constraints: 75083
232.02/232.93 c #Conflicts: 90000 | #Constraints: 76083
232.02/232.93 c INPROCESSING
232.02/232.93 c GARBAGE COLLECT
232.02/232.93 c bounds 79 >= 29 @ 229.079
232.13/233.08 c #Conflicts: 91000 | #Constraints: 71071
232.13/233.08 c bounds 79 >= 31 @ 229.231
248.08/249.10 c #Conflicts: 92000 | #Constraints: 72077
248.08/249.10 c #Conflicts: 93000 | #Constraints: 73077
248.08/249.10 c #Conflicts: 94000 | #Constraints: 74077
248.08/249.10 c #Conflicts: 95000 | #Constraints: 75077
248.08/249.10 c #Conflicts: 96000 | #Constraints: 76077
248.08/249.10 c INPROCESSING
248.08/249.10 c GARBAGE COLLECT
248.08/249.10 c #Conflicts: 97000 | #Constraints: 70862
248.08/249.10 c #Conflicts: 98000 | #Constraints: 71862
248.08/249.10 c #Conflicts: 99000 | #Constraints: 72862
248.08/249.10 c #Conflicts: 100000 | #Constraints: 73862
248.08/249.10 c #Conflicts: 101000 | #Constraints: 74862
248.08/249.10 c #Conflicts: 102000 | #Constraints: 75862
248.08/249.10 c #Conflicts: 103000 | #Constraints: 76862
248.08/249.10 c INPROCESSING
248.08/249.10 c GARBAGE COLLECT
248.08/249.10 c rational objective 31
265.32/266.32 c #Conflicts: 104000 | #Constraints: 71483
265.32/266.32 c #Conflicts: 105000 | #Constraints: 72483
265.32/266.32 c #Conflicts: 106000 | #Constraints: 73483
265.32/266.32 c #Conflicts: 107000 | #Constraints: 74483
265.32/266.32 c #Conflicts: 108000 | #Constraints: 75483
265.32/266.32 c #Conflicts: 109000 | #Constraints: 76483
265.32/266.32 c #Conflicts: 110000 | #Constraints: 77483
265.32/266.32 c INPROCESSING
265.32/266.32 c GARBAGE COLLECT
265.32/266.32 c rational objective 31
342.57/343.84 c #Conflicts: 111000 | #Constraints: 71871
342.57/343.84 c #Conflicts: 112000 | #Constraints: 72871
342.57/343.84 c #Conflicts: 113000 | #Constraints: 73871
342.57/343.84 c #Conflicts: 114000 | #Constraints: 74871
342.57/343.84 c #Conflicts: 115000 | #Constraints: 75871
342.57/343.84 c #Conflicts: 116000 | #Constraints: 76871
342.57/343.84 c #Conflicts: 117000 | #Constraints: 77871
342.57/343.84 c INPROCESSING
342.57/343.84 c GARBAGE COLLECT
342.57/343.84 c #Conflicts: 118000 | #Constraints: 72069
342.57/343.84 c #Conflicts: 119000 | #Constraints: 73069
342.57/343.84 c #Conflicts: 120000 | #Constraints: 74069
342.57/343.84 c #Conflicts: 121000 | #Constraints: 75069
342.57/343.84 c #Conflicts: 122000 | #Constraints: 76069
342.57/343.84 c #Conflicts: 123000 | #Constraints: 77069
342.57/343.84 c #Conflicts: 124000 | #Constraints: 78069
342.57/343.84 c INPROCESSING
342.57/343.84 c GARBAGE COLLECT
342.57/343.84 c #Conflicts: 125000 | #Constraints: 72064
342.57/343.84 c #Conflicts: 126000 | #Constraints: 73064
342.57/343.84 c #Conflicts: 127000 | #Constraints: 74064
342.57/343.84 c #Conflicts: 128000 | #Constraints: 75064
342.57/343.84 c #Conflicts: 129000 | #Constraints: 76064
342.57/343.84 c #Conflicts: 130000 | #Constraints: 77064
342.57/343.84 c #Conflicts: 131000 | #Constraints: 78064
342.57/343.84 c INPROCESSING
342.57/343.84 c GARBAGE COLLECT
342.57/343.84 c #Conflicts: 132000 | #Constraints: 71861
342.57/343.84 c #Conflicts: 133000 | #Constraints: 72861
342.57/343.84 c #Conflicts: 134000 | #Constraints: 73861
342.57/343.84 c #Conflicts: 135000 | #Constraints: 74861
342.57/343.84 c #Conflicts: 136000 | #Constraints: 75861
342.57/343.84 c #Conflicts: 137000 | #Constraints: 76861
342.57/343.84 c #Conflicts: 138000 | #Constraints: 77861
342.57/343.84 c #Conflicts: 139000 | #Constraints: 78861
342.57/343.84 c INPROCESSING
342.57/343.84 c GARBAGE COLLECT
342.57/343.84 c rational objective 31
429.38/431.00 c #Conflicts: 140000 | #Constraints: 72458
429.38/431.00 c #Conflicts: 141000 | #Constraints: 73458
429.38/431.00 c #Conflicts: 142000 | #Constraints: 74458
429.38/431.00 c #Conflicts: 143000 | #Constraints: 75458
429.38/431.00 c #Conflicts: 144000 | #Constraints: 76458
429.38/431.00 c #Conflicts: 145000 | #Constraints: 77458
429.38/431.00 c #Conflicts: 146000 | #Constraints: 78458
429.38/431.00 c #Conflicts: 147000 | #Constraints: 79458
429.38/431.00 c INPROCESSING
429.38/431.00 c GARBAGE COLLECT
429.38/431.00 c rational objective 31
455.19/456.82 c #Conflicts: 148000 | #Constraints: 72891
455.19/456.82 c #Conflicts: 149000 | #Constraints: 73891
455.19/456.82 c #Conflicts: 150000 | #Constraints: 74891
455.19/456.82 c #Conflicts: 151000 | #Constraints: 75891
455.19/456.82 c #Conflicts: 152000 | #Constraints: 76891
455.19/456.82 c #Conflicts: 153000 | #Constraints: 77891
455.19/456.82 c #Conflicts: 154000 | #Constraints: 78891
455.19/456.82 c #Conflicts: 155000 | #Constraints: 79891
455.19/456.82 c INPROCESSING
455.19/456.82 c GARBAGE COLLECT
455.19/456.82 c #Conflicts: 156000 | #Constraints: 73074
455.19/456.82 c #Conflicts: 157000 | #Constraints: 74074
455.19/456.82 c #Conflicts: 158000 | #Constraints: 75074
455.19/456.82 c #Conflicts: 159000 | #Constraints: 76074
455.19/456.82 c #Conflicts: 160000 | #Constraints: 77074
455.19/456.82 c #Conflicts: 161000 | #Constraints: 78074
455.19/456.82 c #Conflicts: 162000 | #Constraints: 79074
455.19/456.82 c #Conflicts: 163000 | #Constraints: 80074
455.19/456.82 c INPROCESSING
455.19/456.82 c GARBAGE COLLECT
455.19/456.82 c #Conflicts: 164000 | #Constraints: 73066
455.19/456.82 c #Conflicts: 165000 | #Constraints: 74066
455.19/456.82 c #Conflicts: 166000 | #Constraints: 75066
455.19/456.82 c #Conflicts: 167000 | #Constraints: 76066
455.19/456.82 c #Conflicts: 168000 | #Constraints: 77066
455.19/456.82 c #Conflicts: 169000 | #Constraints: 78066
455.19/456.82 c #Conflicts: 170000 | #Constraints: 79066
455.19/456.82 c #Conflicts: 171000 | #Constraints: 80066
455.19/456.82 c INPROCESSING
455.19/456.82 c GARBAGE COLLECT
455.19/456.82 c rational objective 31
511.21/513.06 c #Conflicts: 172000 | #Constraints: 72864
511.21/513.06 c #Conflicts: 173000 | #Constraints: 73864
511.21/513.06 c #Conflicts: 174000 | #Constraints: 74864
511.21/513.06 c #Conflicts: 175000 | #Constraints: 75864
511.21/513.06 c #Conflicts: 176000 | #Constraints: 76864
511.21/513.06 c #Conflicts: 177000 | #Constraints: 77864
511.21/513.06 c #Conflicts: 178000 | #Constraints: 78864
511.21/513.06 c #Conflicts: 179000 | #Constraints: 79864
511.21/513.06 c #Conflicts: 180000 | #Constraints: 80864
511.21/513.06 c INPROCESSING
511.21/513.06 c GARBAGE COLLECT
511.21/513.06 c rational objective 31
545.10/547.07 c #Conflicts: 181000 | #Constraints: 73496
545.10/547.07 c #Conflicts: 182000 | #Constraints: 74496
545.10/547.07 c #Conflicts: 183000 | #Constraints: 75496
545.10/547.07 c #Conflicts: 184000 | #Constraints: 76496
545.10/547.07 c #Conflicts: 185000 | #Constraints: 77496
545.10/547.07 c #Conflicts: 186000 | #Constraints: 78496
545.10/547.07 c #Conflicts: 187000 | #Constraints: 79496
545.10/547.07 c #Conflicts: 188000 | #Constraints: 80496
545.10/547.07 c #Conflicts: 189000 | #Constraints: 81496
545.10/547.07 c INPROCESSING
545.10/547.07 c GARBAGE COLLECT
545.10/547.07 c #Conflicts: 190000 | #Constraints: 73876
545.10/547.07 c #Conflicts: 191000 | #Constraints: 74876
545.10/547.07 c #Conflicts: 192000 | #Constraints: 75876
545.10/547.07 c #Conflicts: 193000 | #Constraints: 76876
545.10/547.07 c #Conflicts: 194000 | #Constraints: 77876
545.10/547.07 c #Conflicts: 195000 | #Constraints: 78876
545.10/547.07 c #Conflicts: 196000 | #Constraints: 79876
545.10/547.07 c #Conflicts: 197000 | #Constraints: 80876
545.10/547.07 c #Conflicts: 198000 | #Constraints: 81876
545.10/547.07 c INPROCESSING
545.10/547.07 c GARBAGE COLLECT
545.10/547.07 c #Conflicts: 199000 | #Constraints: 74064
545.10/547.07 c #Conflicts: 200000 | #Constraints: 75064
545.10/547.07 c #Conflicts: 201000 | #Constraints: 76064
545.10/547.07 c #Conflicts: 202000 | #Constraints: 77064
545.10/547.07 c #Conflicts: 203000 | #Constraints: 78064
545.10/547.07 c #Conflicts: 204000 | #Constraints: 79064
545.10/547.07 c #Conflicts: 205000 | #Constraints: 80064
545.10/547.07 c #Conflicts: 206000 | #Constraints: 81064
545.10/547.07 c #Conflicts: 207000 | #Constraints: 82064
545.10/547.07 c INPROCESSING
545.10/547.07 c GARBAGE COLLECT
545.10/547.07 c rational objective 31
588.16/590.25 c #Conflicts: 208000 | #Constraints: 74066
588.16/590.25 c #Conflicts: 209000 | #Constraints: 75066
588.16/590.25 c #Conflicts: 210000 | #Constraints: 76066
588.16/590.25 c #Conflicts: 211000 | #Constraints: 77066
588.16/590.25 c #Conflicts: 212000 | #Constraints: 78066
588.16/590.25 c #Conflicts: 213000 | #Constraints: 79066
588.16/590.25 c #Conflicts: 214000 | #Constraints: 80066
588.16/590.25 c #Conflicts: 215000 | #Constraints: 81066
588.16/590.25 c #Conflicts: 216000 | #Constraints: 82066
588.16/590.25 c INPROCESSING
588.16/590.25 c GARBAGE COLLECT
588.16/590.25 c rational objective 31
612.00/614.13 c #Conflicts: 217000 | #Constraints: 73918
612.00/614.13 c #Conflicts: 218000 | #Constraints: 74918
612.00/614.13 c #Conflicts: 219000 | #Constraints: 75918
612.00/614.13 c #Conflicts: 220000 | #Constraints: 76918
612.00/614.13 c #Conflicts: 221000 | #Constraints: 77918
612.00/614.13 c #Conflicts: 222000 | #Constraints: 78918
612.00/614.13 c #Conflicts: 223000 | #Constraints: 79918
612.00/614.13 c #Conflicts: 224000 | #Constraints: 80918
612.00/614.13 c #Conflicts: 225000 | #Constraints: 81918
612.00/614.13 c #Conflicts: 226000 | #Constraints: 82918
612.00/614.13 c INPROCESSING
612.00/614.13 c GARBAGE COLLECT
612.00/614.13 c #Conflicts: 227000 | #Constraints: 74488
612.00/614.13 c #Conflicts: 228000 | #Constraints: 75488
612.00/614.13 c #Conflicts: 229000 | #Constraints: 76488
612.00/614.13 c #Conflicts: 230000 | #Constraints: 77488
612.00/614.13 c #Conflicts: 231000 | #Constraints: 78488
612.00/614.13 c #Conflicts: 232000 | #Constraints: 79488
612.00/614.13 c #Conflicts: 233000 | #Constraints: 80488
612.00/614.13 c #Conflicts: 234000 | #Constraints: 81488
612.00/614.13 c #Conflicts: 235000 | #Constraints: 82488
612.00/614.13 c #Conflicts: 236000 | #Constraints: 83488
612.00/614.13 c INPROCESSING
612.00/614.13 c GARBAGE COLLECT
612.00/614.13 c rational objective 31
630.44/632.67 c #Conflicts: 237000 | #Constraints: 74882
630.44/632.67 c #Conflicts: 238000 | #Constraints: 75882
630.44/632.67 c #Conflicts: 239000 | #Constraints: 76882
630.44/632.67 c #Conflicts: 240000 | #Constraints: 77882
630.44/632.67 c #Conflicts: 241000 | #Constraints: 78882
630.44/632.67 c #Conflicts: 242000 | #Constraints: 79882
630.44/632.67 c #Conflicts: 243000 | #Constraints: 80882
630.44/632.67 c #Conflicts: 244000 | #Constraints: 81882
630.44/632.67 c #Conflicts: 245000 | #Constraints: 82882
630.44/632.67 c #Conflicts: 246000 | #Constraints: 83882
630.44/632.67 c INPROCESSING
630.44/632.67 c GARBAGE COLLECT
630.44/632.67 c rational objective 31
680.71/683.01 c #Conflicts: 247000 | #Constraints: 75128
680.71/683.01 c #Conflicts: 248000 | #Constraints: 76128
680.71/683.01 c #Conflicts: 249000 | #Constraints: 77128
680.71/683.01 c #Conflicts: 250000 | #Constraints: 78128
680.71/683.01 c #Conflicts: 251000 | #Constraints: 79128
680.71/683.01 c #Conflicts: 252000 | #Constraints: 80128
680.71/683.01 c #Conflicts: 253000 | #Constraints: 81128
680.71/683.01 c #Conflicts: 254000 | #Constraints: 82128
680.71/683.01 c #Conflicts: 255000 | #Constraints: 83128
680.71/683.01 c #Conflicts: 256000 | #Constraints: 84128
680.71/683.01 c INPROCESSING
680.71/683.01 c GARBAGE COLLECT
680.71/683.01 c rational objective 31
702.64/705.02 c #Conflicts: 257000 | #Constraints: 75127
702.64/705.02 c #Conflicts: 258000 | #Constraints: 76127
702.64/705.02 c #Conflicts: 259000 | #Constraints: 77127
702.64/705.02 c #Conflicts: 260000 | #Constraints: 78127
702.64/705.02 c #Conflicts: 261000 | #Constraints: 79127
702.64/705.02 c #Conflicts: 262000 | #Constraints: 80127
702.64/705.02 c #Conflicts: 263000 | #Constraints: 81127
702.64/705.02 c #Conflicts: 264000 | #Constraints: 82127
702.64/705.02 c #Conflicts: 265000 | #Constraints: 83127
702.64/705.02 c #Conflicts: 266000 | #Constraints: 84127
702.64/705.02 c INPROCESSING
702.64/705.02 c GARBAGE COLLECT
702.64/705.02 c #Conflicts: 267000 | #Constraints: 74894
702.64/705.02 c #Conflicts: 268000 | #Constraints: 75894
702.64/705.02 c #Conflicts: 269000 | #Constraints: 76894
702.64/705.02 c #Conflicts: 270000 | #Constraints: 77894
702.64/705.02 c #Conflicts: 271000 | #Constraints: 78894
702.64/705.02 c #Conflicts: 272000 | #Constraints: 79894
702.64/705.02 c #Conflicts: 273000 | #Constraints: 80894
702.64/705.02 c #Conflicts: 274000 | #Constraints: 81894
702.64/705.02 c #Conflicts: 275000 | #Constraints: 82894
702.64/705.02 c #Conflicts: 276000 | #Constraints: 83894
702.64/705.02 c #Conflicts: 277000 | #Constraints: 84894
702.64/705.02 c INPROCESSING
702.64/705.02 c GARBAGE COLLECT
702.64/705.02 c rational objective 31
717.78/720.24 c #Conflicts: 278000 | #Constraints: 75478
717.78/720.24 c #Conflicts: 279000 | #Constraints: 76478
717.78/720.24 c #Conflicts: 280000 | #Constraints: 77478
717.78/720.24 c #Conflicts: 281000 | #Constraints: 78478
717.78/720.24 c #Conflicts: 282000 | #Constraints: 79478
717.78/720.24 c #Conflicts: 283000 | #Constraints: 80478
717.78/720.24 c #Conflicts: 284000 | #Constraints: 81478
717.78/720.24 c #Conflicts: 285000 | #Constraints: 82478
717.78/720.24 c #Conflicts: 286000 | #Constraints: 83478
717.78/720.24 c #Conflicts: 287000 | #Constraints: 84478
717.78/720.24 c #Conflicts: 288000 | #Constraints: 85478
717.78/720.24 c INPROCESSING
717.78/720.24 c GARBAGE COLLECT
717.78/720.24 c rational objective 31
734.74/737.22 c #Conflicts: 289000 | #Constraints: 75869
734.74/737.22 c #Conflicts: 290000 | #Constraints: 76869
734.74/737.22 c #Conflicts: 291000 | #Constraints: 77869
734.74/737.22 c #Conflicts: 292000 | #Constraints: 78869
734.74/737.22 c #Conflicts: 293000 | #Constraints: 79869
734.74/737.22 c #Conflicts: 294000 | #Constraints: 80869
734.74/737.22 c #Conflicts: 295000 | #Constraints: 81869
734.74/737.22 c #Conflicts: 296000 | #Constraints: 82869
734.74/737.22 c #Conflicts: 297000 | #Constraints: 83869
734.74/737.22 c #Conflicts: 298000 | #Constraints: 84869
734.74/737.22 c #Conflicts: 299000 | #Constraints: 85869
734.74/737.22 c INPROCESSING
734.74/737.22 c GARBAGE COLLECT
734.74/737.22 c rational objective 31
791.56/794.25 c #Conflicts: 300000 | #Constraints: 76070
791.56/794.25 c #Conflicts: 301000 | #Constraints: 77070
791.56/794.25 c #Conflicts: 302000 | #Constraints: 78070
791.56/794.25 c #Conflicts: 303000 | #Constraints: 79070
791.56/794.25 c #Conflicts: 304000 | #Constraints: 80070
791.56/794.25 c #Conflicts: 305000 | #Constraints: 81070
791.56/794.25 c #Conflicts: 306000 | #Constraints: 82070
791.56/794.25 c #Conflicts: 307000 | #Constraints: 83070
791.56/794.25 c #Conflicts: 308000 | #Constraints: 84070
791.56/794.25 c #Conflicts: 309000 | #Constraints: 85070
791.56/794.25 c #Conflicts: 310000 | #Constraints: 86070
791.56/794.25 c INPROCESSING
791.56/794.25 c GARBAGE COLLECT
791.56/794.25 c rational objective 31
808.02/810.75 c #Conflicts: 311000 | #Constraints: 76082
808.02/810.75 c #Conflicts: 312000 | #Constraints: 77082
808.02/810.75 c #Conflicts: 313000 | #Constraints: 78082
808.02/810.75 c #Conflicts: 314000 | #Constraints: 79082
808.02/810.75 c #Conflicts: 315000 | #Constraints: 80082
808.02/810.75 c #Conflicts: 316000 | #Constraints: 81082
808.02/810.75 c #Conflicts: 317000 | #Constraints: 82082
808.02/810.75 c #Conflicts: 318000 | #Constraints: 83082
808.02/810.75 c #Conflicts: 319000 | #Constraints: 84082
808.02/810.75 c #Conflicts: 320000 | #Constraints: 85082
808.02/810.75 c #Conflicts: 321000 | #Constraints: 86082
808.02/810.75 c INPROCESSING
808.02/810.75 c GARBAGE COLLECT
808.02/810.75 c rational objective 31
832.74/835.53 c #Conflicts: 322000 | #Constraints: 75878
832.74/835.53 c #Conflicts: 323000 | #Constraints: 76878
832.74/835.53 c #Conflicts: 324000 | #Constraints: 77878
832.74/835.53 c #Conflicts: 325000 | #Constraints: 78878
832.74/835.53 c #Conflicts: 326000 | #Constraints: 79878
832.74/835.53 c #Conflicts: 327000 | #Constraints: 80878
832.74/835.53 c #Conflicts: 328000 | #Constraints: 81878
832.74/835.53 c #Conflicts: 329000 | #Constraints: 82878
832.74/835.53 c #Conflicts: 330000 | #Constraints: 83878
832.74/835.53 c #Conflicts: 331000 | #Constraints: 84878
832.74/835.53 c #Conflicts: 332000 | #Constraints: 85878
832.74/835.53 c #Conflicts: 333000 | #Constraints: 86878
832.74/835.53 c INPROCESSING
832.74/835.53 c GARBAGE COLLECT
832.74/835.53 c rational objective 31
887.78/890.77 c #Conflicts: 334000 | #Constraints: 76476
887.78/890.77 c #Conflicts: 335000 | #Constraints: 77476
887.78/890.77 c #Conflicts: 336000 | #Constraints: 78476
887.78/890.77 c #Conflicts: 337000 | #Constraints: 79476
887.78/890.77 c #Conflicts: 338000 | #Constraints: 80476
887.78/890.77 c #Conflicts: 339000 | #Constraints: 81476
887.78/890.77 c #Conflicts: 340000 | #Constraints: 82476
887.78/890.77 c #Conflicts: 341000 | #Constraints: 83476
887.78/890.77 c #Conflicts: 342000 | #Constraints: 84476
887.78/890.77 c #Conflicts: 343000 | #Constraints: 85476
887.78/890.77 c #Conflicts: 344000 | #Constraints: 86476
887.78/890.77 c #Conflicts: 345000 | #Constraints: 87476
887.78/890.77 c INPROCESSING
887.78/890.77 c GARBAGE COLLECT
887.78/890.77 c rational objective 31
905.41/908.43 c #Conflicts: 346000 | #Constraints: 76917
905.41/908.43 c #Conflicts: 347000 | #Constraints: 77917
905.41/908.43 c #Conflicts: 348000 | #Constraints: 78917
905.41/908.43 c #Conflicts: 349000 | #Constraints: 79917
905.41/908.43 c #Conflicts: 350000 | #Constraints: 80917
905.41/908.43 c #Conflicts: 351000 | #Constraints: 81917
905.41/908.43 c #Conflicts: 352000 | #Constraints: 82917
905.41/908.43 c #Conflicts: 353000 | #Constraints: 83917
905.41/908.43 c #Conflicts: 354000 | #Constraints: 84917
905.41/908.43 c #Conflicts: 355000 | #Constraints: 85917
905.41/908.43 c #Conflicts: 356000 | #Constraints: 86917
905.41/908.43 c #Conflicts: 357000 | #Constraints: 87917
905.41/908.43 c INPROCESSING
905.41/908.43 c GARBAGE COLLECT
905.41/908.43 c rational objective 31
922.49/925.69 c #Conflicts: 358000 | #Constraints: 77089
922.49/925.69 c #Conflicts: 359000 | #Constraints: 78089
922.49/925.69 c #Conflicts: 360000 | #Constraints: 79089
922.49/925.69 c #Conflicts: 361000 | #Constraints: 80089
922.49/925.69 c #Conflicts: 362000 | #Constraints: 81089
922.49/925.69 c #Conflicts: 363000 | #Constraints: 82089
922.49/925.69 c #Conflicts: 364000 | #Constraints: 83089
922.49/925.69 c #Conflicts: 365000 | #Constraints: 84089
922.49/925.69 c #Conflicts: 366000 | #Constraints: 85089
922.49/925.69 c #Conflicts: 367000 | #Constraints: 86089
922.49/925.69 c #Conflicts: 368000 | #Constraints: 87089
922.49/925.69 c #Conflicts: 369000 | #Constraints: 88089
922.49/925.69 c INPROCESSING
922.49/925.69 c GARBAGE COLLECT
922.49/925.69 c rational objective 31
953.99/957.26 c #Conflicts: 370000 | #Constraints: 77081
953.99/957.26 c #Conflicts: 371000 | #Constraints: 78081
953.99/957.26 c #Conflicts: 372000 | #Constraints: 79081
953.99/957.26 c #Conflicts: 373000 | #Constraints: 80081
953.99/957.26 c #Conflicts: 374000 | #Constraints: 81081
953.99/957.26 c #Conflicts: 375000 | #Constraints: 82081
953.99/957.26 c #Conflicts: 376000 | #Constraints: 83081
953.99/957.26 c #Conflicts: 377000 | #Constraints: 84081
953.99/957.26 c #Conflicts: 378000 | #Constraints: 85081
953.99/957.26 c #Conflicts: 379000 | #Constraints: 86081
953.99/957.26 c #Conflicts: 380000 | #Constraints: 87081
953.99/957.26 c #Conflicts: 381000 | #Constraints: 88081
953.99/957.26 c INPROCESSING
953.99/957.26 c GARBAGE COLLECT
953.99/957.26 c rational objective 31
997.47/1000.82 c #Conflicts: 382000 | #Constraints: 76875
997.47/1000.82 c #Conflicts: 383000 | #Constraints: 77875
997.47/1000.82 c #Conflicts: 384000 | #Constraints: 78875
997.47/1000.82 c #Conflicts: 385000 | #Constraints: 79875
997.47/1000.82 c #Conflicts: 386000 | #Constraints: 80875
997.47/1000.82 c #Conflicts: 387000 | #Constraints: 81875
997.47/1000.82 c #Conflicts: 388000 | #Constraints: 82875
997.47/1000.82 c #Conflicts: 389000 | #Constraints: 83875
997.47/1000.82 c #Conflicts: 390000 | #Constraints: 84875
997.47/1000.82 c #Conflicts: 391000 | #Constraints: 85875
997.47/1000.82 c #Conflicts: 392000 | #Constraints: 86875
997.47/1000.82 c #Conflicts: 393000 | #Constraints: 87875
997.47/1000.82 c #Conflicts: 394000 | #Constraints: 88875
997.47/1000.82 c INPROCESSING
997.47/1000.82 c GARBAGE COLLECT
997.47/1000.82 c rational objective 31
1042.41/1045.95 c #Conflicts: 395000 | #Constraints: 77488
1042.41/1045.95 c #Conflicts: 396000 | #Constraints: 78488
1042.41/1045.95 c #Conflicts: 397000 | #Constraints: 79488
1042.41/1045.95 c #Conflicts: 398000 | #Constraints: 80488
1042.41/1045.95 c #Conflicts: 399000 | #Constraints: 81488
1042.41/1045.95 c #Conflicts: 400000 | #Constraints: 82488
1042.41/1045.95 c #Conflicts: 401000 | #Constraints: 83488
1042.41/1045.95 c #Conflicts: 402000 | #Constraints: 84488
1042.41/1045.95 c #Conflicts: 403000 | #Constraints: 85488
1042.41/1045.95 c #Conflicts: 404000 | #Constraints: 86488
1042.41/1045.95 c #Conflicts: 405000 | #Constraints: 87488
1042.41/1045.95 c #Conflicts: 406000 | #Constraints: 88488
1042.41/1045.95 c #Conflicts: 407000 | #Constraints: 89488
1042.41/1045.95 c INPROCESSING
1042.41/1045.95 c GARBAGE COLLECT
1042.41/1045.95 c rational objective 31
1060.25/1063.83 c #Conflicts: 408000 | #Constraints: 77925
1060.25/1063.83 c #Conflicts: 409000 | #Constraints: 78925
1060.25/1063.83 c #Conflicts: 410000 | #Constraints: 79925
1060.25/1063.83 c #Conflicts: 411000 | #Constraints: 80925
1060.25/1063.83 c #Conflicts: 412000 | #Constraints: 81925
1060.25/1063.83 c #Conflicts: 413000 | #Constraints: 82925
1060.25/1063.83 c #Conflicts: 414000 | #Constraints: 83925
1060.25/1063.83 c #Conflicts: 415000 | #Constraints: 84925
1060.25/1063.83 c #Conflicts: 416000 | #Constraints: 85925
1060.25/1063.83 c #Conflicts: 417000 | #Constraints: 86925
1060.25/1063.83 c #Conflicts: 418000 | #Constraints: 87925
1060.25/1063.83 c #Conflicts: 419000 | #Constraints: 88925
1060.25/1063.83 c #Conflicts: 420000 | #Constraints: 89925
1060.25/1063.83 c INPROCESSING
1060.25/1063.83 c GARBAGE COLLECT
1060.25/1063.83 c rational objective 31
1081.68/1085.30 c #Conflicts: 421000 | #Constraints: 78098
1081.68/1085.30 c #Conflicts: 422000 | #Constraints: 79098
1081.68/1085.30 c #Conflicts: 423000 | #Constraints: 80098
1081.68/1085.30 c #Conflicts: 424000 | #Constraints: 81098
1081.68/1085.30 c #Conflicts: 425000 | #Constraints: 82098
1081.68/1085.30 c #Conflicts: 426000 | #Constraints: 83098
1081.68/1085.30 c #Conflicts: 427000 | #Constraints: 84098
1081.68/1085.30 c #Conflicts: 428000 | #Constraints: 85098
1081.68/1085.30 c #Conflicts: 429000 | #Constraints: 86098
1081.68/1085.30 c #Conflicts: 430000 | #Constraints: 87098
1081.68/1085.30 c #Conflicts: 431000 | #Constraints: 88098
1081.68/1085.30 c #Conflicts: 432000 | #Constraints: 89098
1081.68/1085.30 c #Conflicts: 433000 | #Constraints: 90098
1081.68/1085.30 c INPROCESSING
1081.68/1085.30 c GARBAGE COLLECT
1081.68/1085.30 c rational objective 31
1123.82/1127.63 c #Conflicts: 434000 | #Constraints: 78135
1123.82/1127.63 c #Conflicts: 435000 | #Constraints: 79135
1123.82/1127.63 c #Conflicts: 436000 | #Constraints: 80135
1123.82/1127.63 c #Conflicts: 437000 | #Constraints: 81135
1123.82/1127.63 c #Conflicts: 438000 | #Constraints: 82135
1123.82/1127.63 c #Conflicts: 439000 | #Constraints: 83135
1123.82/1127.63 c #Conflicts: 440000 | #Constraints: 84135
1123.82/1127.63 c #Conflicts: 441000 | #Constraints: 85135
1123.82/1127.63 c #Conflicts: 442000 | #Constraints: 86135
1123.82/1127.63 c #Conflicts: 443000 | #Constraints: 87135
1123.82/1127.63 c #Conflicts: 444000 | #Constraints: 88135
1123.82/1127.63 c #Conflicts: 445000 | #Constraints: 89135
1123.82/1127.63 c #Conflicts: 446000 | #Constraints: 90135
1123.82/1127.63 c INPROCESSING
1123.82/1127.63 c GARBAGE COLLECT
1123.82/1127.63 c rational objective 31
1173.47/1177.47 c #Conflicts: 447000 | #Constraints: 77899
1173.47/1177.47 c #Conflicts: 448000 | #Constraints: 78899
1173.47/1177.47 c #Conflicts: 449000 | #Constraints: 79899
1173.47/1177.47 c #Conflicts: 450000 | #Constraints: 80899
1173.47/1177.47 c #Conflicts: 451000 | #Constraints: 81899
1173.47/1177.47 c #Conflicts: 452000 | #Constraints: 82899
1173.47/1177.47 c #Conflicts: 453000 | #Constraints: 83899
1173.47/1177.47 c #Conflicts: 454000 | #Constraints: 84899
1173.47/1177.47 c #Conflicts: 455000 | #Constraints: 85899
1173.47/1177.47 c #Conflicts: 456000 | #Constraints: 86899
1173.47/1177.47 c #Conflicts: 457000 | #Constraints: 87899
1173.47/1177.47 c #Conflicts: 458000 | #Constraints: 88899
1173.47/1177.47 c #Conflicts: 459000 | #Constraints: 89899
1173.47/1177.47 c #Conflicts: 460000 | #Constraints: 90899
1173.47/1177.47 c INPROCESSING
1173.47/1177.47 c GARBAGE COLLECT
1173.47/1177.47 c rational objective 31
1196.90/1200.93 c #Conflicts: 461000 | #Constraints: 78488
1196.90/1200.93 c #Conflicts: 462000 | #Constraints: 79488
1196.90/1200.93 c #Conflicts: 463000 | #Constraints: 80488
1196.90/1200.93 c #Conflicts: 464000 | #Constraints: 81488
1196.90/1200.93 c #Conflicts: 465000 | #Constraints: 82488
1196.90/1200.93 c #Conflicts: 466000 | #Constraints: 83488
1196.90/1200.93 c #Conflicts: 467000 | #Constraints: 84488
1196.90/1200.93 c #Conflicts: 468000 | #Constraints: 85488
1196.90/1200.93 c #Conflicts: 469000 | #Constraints: 86488
1196.90/1200.93 c #Conflicts: 470000 | #Constraints: 87488
1196.90/1200.93 c #Conflicts: 471000 | #Constraints: 88488
1196.90/1200.93 c #Conflicts: 472000 | #Constraints: 89488
1196.90/1200.93 c #Conflicts: 473000 | #Constraints: 90488
1196.90/1200.93 c #Conflicts: 474000 | #Constraints: 91488
1196.90/1200.93 c INPROCESSING
1196.90/1200.93 c GARBAGE COLLECT
1196.90/1200.93 c rational objective 31
1239.57/1243.71 c #Conflicts: 475000 | #Constraints: 78880
1239.57/1243.71 c #Conflicts: 476000 | #Constraints: 79880
1239.57/1243.71 c #Conflicts: 477000 | #Constraints: 80880
1239.57/1243.71 c #Conflicts: 478000 | #Constraints: 81880
1239.57/1243.71 c #Conflicts: 479000 | #Constraints: 82880
1239.57/1243.71 c #Conflicts: 480000 | #Constraints: 83880
1239.57/1243.71 c #Conflicts: 481000 | #Constraints: 84880
1239.57/1243.71 c #Conflicts: 482000 | #Constraints: 85880
1239.57/1243.71 c #Conflicts: 483000 | #Constraints: 86880
1239.57/1243.71 c #Conflicts: 484000 | #Constraints: 87880
1239.57/1243.71 c #Conflicts: 485000 | #Constraints: 88880
1239.57/1243.71 c #Conflicts: 486000 | #Constraints: 89880
1239.57/1243.71 c #Conflicts: 487000 | #Constraints: 90880
1239.57/1243.71 c #Conflicts: 488000 | #Constraints: 91880
1239.57/1243.71 c INPROCESSING
1239.57/1243.71 c GARBAGE COLLECT
1239.57/1243.71 c rational objective 31
1260.83/1265.02 c #Conflicts: 489000 | #Constraints: 79078
1260.83/1265.02 c #Conflicts: 490000 | #Constraints: 80078
1260.83/1265.02 c #Conflicts: 491000 | #Constraints: 81078
1260.83/1265.02 c #Conflicts: 492000 | #Constraints: 82078
1260.83/1265.02 c #Conflicts: 493000 | #Constraints: 83078
1260.83/1265.02 c #Conflicts: 494000 | #Constraints: 84078
1260.83/1265.02 c #Conflicts: 495000 | #Constraints: 85078
1260.83/1265.02 c #Conflicts: 496000 | #Constraints: 86078
1260.83/1265.02 c #Conflicts: 497000 | #Constraints: 87078
1260.83/1265.02 c #Conflicts: 498000 | #Constraints: 88078
1260.83/1265.02 c #Conflicts: 499000 | #Constraints: 89078
1260.83/1265.02 c #Conflicts: 500000 | #Constraints: 90078
1260.83/1265.02 c #Conflicts: 501000 | #Constraints: 91078
1260.83/1265.02 c #Conflicts: 502000 | #Constraints: 92078
1260.83/1265.02 c INPROCESSING
1260.83/1265.02 c GARBAGE COLLECT
1260.83/1265.02 c rational objective 31
1283.35/1287.65 c #Conflicts: 503000 | #Constraints: 79073
1283.35/1287.65 c #Conflicts: 504000 | #Constraints: 80073
1283.35/1287.65 c #Conflicts: 505000 | #Constraints: 81073
1283.35/1287.65 c #Conflicts: 506000 | #Constraints: 82073
1283.35/1287.65 c #Conflicts: 507000 | #Constraints: 83073
1283.35/1287.65 c #Conflicts: 508000 | #Constraints: 84073
1283.35/1287.65 c #Conflicts: 509000 | #Constraints: 85073
1283.35/1287.65 c #Conflicts: 510000 | #Constraints: 86073
1283.35/1287.65 c #Conflicts: 511000 | #Constraints: 87073
1283.35/1287.65 c #Conflicts: 512000 | #Constraints: 88073
1283.35/1287.65 c #Conflicts: 513000 | #Constraints: 89073
1283.35/1287.65 c #Conflicts: 514000 | #Constraints: 90073
1283.35/1287.65 c #Conflicts: 515000 | #Constraints: 91073
1283.35/1287.65 c #Conflicts: 516000 | #Constraints: 92073
1283.35/1287.65 c INPROCESSING
1283.35/1287.65 c GARBAGE COLLECT
1283.35/1287.65 c rational objective 31
1312.06/1316.42 c #Conflicts: 517000 | #Constraints: 78873
1312.06/1316.42 c #Conflicts: 518000 | #Constraints: 79873
1312.06/1316.42 c #Conflicts: 519000 | #Constraints: 80873
1312.06/1316.42 c #Conflicts: 520000 | #Constraints: 81873
1312.06/1316.42 c #Conflicts: 521000 | #Constraints: 82873
1312.06/1316.42 c #Conflicts: 522000 | #Constraints: 83873
1312.06/1316.42 c #Conflicts: 523000 | #Constraints: 84873
1312.06/1316.42 c #Conflicts: 524000 | #Constraints: 85873
1312.06/1316.42 c #Conflicts: 525000 | #Constraints: 86873
1312.06/1316.42 c #Conflicts: 526000 | #Constraints: 87873
1312.06/1316.42 c #Conflicts: 527000 | #Constraints: 88873
1312.06/1316.42 c #Conflicts: 528000 | #Constraints: 89873
1312.06/1316.42 c #Conflicts: 529000 | #Constraints: 90873
1312.06/1316.42 c #Conflicts: 530000 | #Constraints: 91873
1312.06/1316.42 c #Conflicts: 531000 | #Constraints: 92873
1312.06/1316.42 c INPROCESSING
1312.06/1316.42 c GARBAGE COLLECT
1312.06/1316.42 c rational objective 31
1368.70/1373.29 c #Conflicts: 532000 | #Constraints: 79475
1368.70/1373.29 c #Conflicts: 533000 | #Constraints: 80475
1368.70/1373.29 c #Conflicts: 534000 | #Constraints: 81475
1368.70/1373.29 c #Conflicts: 535000 | #Constraints: 82475
1368.70/1373.29 c #Conflicts: 536000 | #Constraints: 83475
1368.70/1373.29 c #Conflicts: 537000 | #Constraints: 84475
1368.70/1373.29 c #Conflicts: 538000 | #Constraints: 85475
1368.70/1373.29 c #Conflicts: 539000 | #Constraints: 86475
1368.70/1373.29 c #Conflicts: 540000 | #Constraints: 87475
1368.70/1373.29 c #Conflicts: 541000 | #Constraints: 88475
1368.70/1373.29 c #Conflicts: 542000 | #Constraints: 89475
1368.70/1373.29 c #Conflicts: 543000 | #Constraints: 90475
1368.70/1373.29 c #Conflicts: 544000 | #Constraints: 91475
1368.70/1373.29 c #Conflicts: 545000 | #Constraints: 92475
1368.70/1373.29 c #Conflicts: 546000 | #Constraints: 93475
1368.70/1373.29 c INPROCESSING
1368.70/1373.29 c GARBAGE COLLECT
1368.70/1373.29 c rational objective 31
1408.78/1413.48 c #Conflicts: 547000 | #Constraints: 79874
1408.78/1413.48 c #Conflicts: 548000 | #Constraints: 80874
1408.78/1413.48 c #Conflicts: 549000 | #Constraints: 81874
1408.78/1413.48 c #Conflicts: 550000 | #Constraints: 82874
1408.78/1413.48 c #Conflicts: 551000 | #Constraints: 83874
1408.78/1413.48 c #Conflicts: 552000 | #Constraints: 84874
1408.78/1413.48 c #Conflicts: 553000 | #Constraints: 85874
1408.78/1413.48 c #Conflicts: 554000 | #Constraints: 86874
1408.78/1413.48 c #Conflicts: 555000 | #Constraints: 87874
1408.78/1413.48 c #Conflicts: 556000 | #Constraints: 88874
1408.78/1413.48 c #Conflicts: 557000 | #Constraints: 89874
1408.78/1413.48 c #Conflicts: 558000 | #Constraints: 90874
1408.78/1413.48 c #Conflicts: 559000 | #Constraints: 91874
1408.78/1413.48 c #Conflicts: 560000 | #Constraints: 92874
1408.78/1413.48 c #Conflicts: 561000 | #Constraints: 93874
1408.78/1413.48 c INPROCESSING
1408.78/1413.48 c GARBAGE COLLECT
1408.78/1413.48 c rational objective 31
1409.98/1414.60 c #Conflicts: 562000 | #Constraints: 80077
1409.98/1414.60 c #Conflicts: 563000 | #Constraints: 81077
1409.98/1414.60 c bounds 79 >= 32 @ 1401.22
1461.43/1466.23 c #Conflicts: 564000 | #Constraints: 82083
1461.43/1466.23 c #Conflicts: 565000 | #Constraints: 83083
1461.43/1466.23 c #Conflicts: 566000 | #Constraints: 84083
1461.43/1466.23 c #Conflicts: 567000 | #Constraints: 85083
1461.43/1466.23 c #Conflicts: 568000 | #Constraints: 86083
1461.43/1466.23 c #Conflicts: 569000 | #Constraints: 87083
1461.43/1466.23 c #Conflicts: 570000 | #Constraints: 88083
1461.43/1466.23 c #Conflicts: 571000 | #Constraints: 89083
1461.43/1466.23 c #Conflicts: 572000 | #Constraints: 90083
1461.43/1466.23 c #Conflicts: 573000 | #Constraints: 91083
1461.43/1466.23 c #Conflicts: 574000 | #Constraints: 92083
1461.43/1466.23 c #Conflicts: 575000 | #Constraints: 93083
1461.43/1466.23 c #Conflicts: 576000 | #Constraints: 94083
1461.43/1466.23 c INPROCESSING
1461.43/1466.23 c GARBAGE COLLECT
1461.43/1466.23 c rational objective 32
1461.83/1466.60 c bounds 79 >= 33 @ 1452.87
1490.43/1495.34 c #Conflicts: 577000 | #Constraints: 80135
1490.43/1495.34 c #Conflicts: 578000 | #Constraints: 81135
1490.43/1495.34 c #Conflicts: 579000 | #Constraints: 82135
1490.43/1495.34 c #Conflicts: 580000 | #Constraints: 83135
1490.43/1495.34 c #Conflicts: 581000 | #Constraints: 84135
1490.43/1495.34 c #Conflicts: 582000 | #Constraints: 85135
1490.43/1495.34 c #Conflicts: 583000 | #Constraints: 86135
1490.43/1495.34 c #Conflicts: 584000 | #Constraints: 87135
1490.43/1495.34 c #Conflicts: 585000 | #Constraints: 88135
1490.43/1495.34 c #Conflicts: 586000 | #Constraints: 89135
1490.43/1495.34 c #Conflicts: 587000 | #Constraints: 90135
1490.43/1495.34 c #Conflicts: 588000 | #Constraints: 91135
1490.43/1495.34 c #Conflicts: 589000 | #Constraints: 92135
1490.43/1495.34 c #Conflicts: 590000 | #Constraints: 93135
1490.43/1495.34 c #Conflicts: 591000 | #Constraints: 94135
1490.43/1495.34 c INPROCESSING
1490.43/1495.34 c GARBAGE COLLECT
1490.43/1495.34 c rational objective 33
1519.84/1524.84 c #Conflicts: 592000 | #Constraints: 79910
1519.84/1524.84 c #Conflicts: 593000 | #Constraints: 80910
1519.84/1524.84 c #Conflicts: 594000 | #Constraints: 81910
1519.84/1524.84 c #Conflicts: 595000 | #Constraints: 82910
1519.84/1524.84 c #Conflicts: 596000 | #Constraints: 83910
1519.84/1524.84 c #Conflicts: 597000 | #Constraints: 84910
1519.84/1524.84 c #Conflicts: 598000 | #Constraints: 85910
1519.84/1524.84 c #Conflicts: 599000 | #Constraints: 86910
1519.84/1524.84 c #Conflicts: 600000 | #Constraints: 87910
1519.84/1524.84 c #Conflicts: 601000 | #Constraints: 88910
1519.84/1524.84 c #Conflicts: 602000 | #Constraints: 89910
1519.84/1524.84 c #Conflicts: 603000 | #Constraints: 90910
1519.84/1524.84 c #Conflicts: 604000 | #Constraints: 91910
1519.84/1524.84 c #Conflicts: 605000 | #Constraints: 92910
1519.84/1524.84 c #Conflicts: 606000 | #Constraints: 93910
1519.84/1524.84 c #Conflicts: 607000 | #Constraints: 94910
1519.84/1524.84 c INPROCESSING
1519.84/1524.84 c GARBAGE COLLECT
1519.84/1524.84 c rational objective 33
1551.85/1556.96 c #Conflicts: 608000 | #Constraints: 80494
1551.85/1556.96 c #Conflicts: 609000 | #Constraints: 81494
1551.85/1556.96 c #Conflicts: 610000 | #Constraints: 82494
1551.85/1556.96 c #Conflicts: 611000 | #Constraints: 83494
1551.85/1556.96 c #Conflicts: 612000 | #Constraints: 84494
1551.85/1556.96 c #Conflicts: 613000 | #Constraints: 85494
1551.85/1556.96 c #Conflicts: 614000 | #Constraints: 86494
1551.85/1556.96 c #Conflicts: 615000 | #Constraints: 87494
1551.85/1556.96 c #Conflicts: 616000 | #Constraints: 88494
1551.85/1556.96 c #Conflicts: 617000 | #Constraints: 89494
1551.85/1556.96 c #Conflicts: 618000 | #Constraints: 90494
1551.85/1556.96 c #Conflicts: 619000 | #Constraints: 91494
1551.85/1556.96 c #Conflicts: 620000 | #Constraints: 92494
1551.85/1556.96 c #Conflicts: 621000 | #Constraints: 93494
1551.85/1556.96 c #Conflicts: 622000 | #Constraints: 94494
1551.85/1556.96 c #Conflicts: 623000 | #Constraints: 95494
1551.85/1556.96 c INPROCESSING
1551.85/1556.96 c GARBAGE COLLECT
1551.85/1556.96 c rational objective 33
1604.70/1609.93 c #Conflicts: 624000 | #Constraints: 80891
1604.70/1609.93 c #Conflicts: 625000 | #Constraints: 81891
1604.70/1609.93 c #Conflicts: 626000 | #Constraints: 82891
1604.70/1609.93 c #Conflicts: 627000 | #Constraints: 83891
1604.70/1609.93 c #Conflicts: 628000 | #Constraints: 84891
1604.70/1609.93 c #Conflicts: 629000 | #Constraints: 85891
1604.70/1609.93 c #Conflicts: 630000 | #Constraints: 86891
1604.70/1609.93 c #Conflicts: 631000 | #Constraints: 87891
1604.70/1609.93 c #Conflicts: 632000 | #Constraints: 88891
1604.70/1609.93 c #Conflicts: 633000 | #Constraints: 89891
1604.70/1609.93 c #Conflicts: 634000 | #Constraints: 90891
1604.70/1609.93 c #Conflicts: 635000 | #Constraints: 91891
1604.70/1609.93 c #Conflicts: 636000 | #Constraints: 92891
1604.70/1609.93 c #Conflicts: 637000 | #Constraints: 93891
1604.70/1609.93 c #Conflicts: 638000 | #Constraints: 94891
1604.70/1609.93 c #Conflicts: 639000 | #Constraints: 95891
1604.70/1609.93 c INPROCESSING
1604.70/1609.93 c GARBAGE COLLECT
1604.70/1609.93 c rational objective 33
1630.83/1636.12 c #Conflicts: 640000 | #Constraints: 81089
1630.83/1636.12 c #Conflicts: 641000 | #Constraints: 82089
1630.83/1636.12 c #Conflicts: 642000 | #Constraints: 83089
1630.83/1636.12 c #Conflicts: 643000 | #Constraints: 84089
1630.83/1636.12 c #Conflicts: 644000 | #Constraints: 85089
1630.83/1636.12 c #Conflicts: 645000 | #Constraints: 86089
1630.83/1636.12 c #Conflicts: 646000 | #Constraints: 87089
1630.83/1636.12 c #Conflicts: 647000 | #Constraints: 88089
1630.83/1636.12 c #Conflicts: 648000 | #Constraints: 89089
1630.83/1636.12 c #Conflicts: 649000 | #Constraints: 90089
1630.83/1636.12 c #Conflicts: 650000 | #Constraints: 91089
1630.83/1636.12 c #Conflicts: 651000 | #Constraints: 92089
1630.83/1636.12 c #Conflicts: 652000 | #Constraints: 93089
1630.83/1636.12 c #Conflicts: 653000 | #Constraints: 94089
1630.83/1636.12 c #Conflicts: 654000 | #Constraints: 95089
1630.83/1636.12 c #Conflicts: 655000 | #Constraints: 96089
1630.83/1636.12 c INPROCESSING
1630.83/1636.12 c GARBAGE COLLECT
1630.83/1636.12 c rational objective 33
1649.97/1655.33 c #Conflicts: 656000 | #Constraints: 81131
1649.97/1655.33 c #Conflicts: 657000 | #Constraints: 82131
1649.97/1655.33 c #Conflicts: 658000 | #Constraints: 83131
1649.97/1655.33 c #Conflicts: 659000 | #Constraints: 84131
1649.97/1655.33 c #Conflicts: 660000 | #Constraints: 85131
1649.97/1655.33 c #Conflicts: 661000 | #Constraints: 86131
1649.97/1655.33 c #Conflicts: 662000 | #Constraints: 87131
1649.97/1655.33 c #Conflicts: 663000 | #Constraints: 88131
1649.97/1655.33 c #Conflicts: 664000 | #Constraints: 89131
1649.97/1655.33 c #Conflicts: 665000 | #Constraints: 90131
1649.97/1655.33 c #Conflicts: 666000 | #Constraints: 91131
1649.97/1655.33 c #Conflicts: 667000 | #Constraints: 92131
1649.97/1655.33 c #Conflicts: 668000 | #Constraints: 93131
1649.97/1655.33 c #Conflicts: 669000 | #Constraints: 94131
1649.97/1655.33 c #Conflicts: 670000 | #Constraints: 95131
1649.97/1655.33 c #Conflicts: 671000 | #Constraints: 96131
1649.97/1655.33 c INPROCESSING
1649.97/1655.33 c GARBAGE COLLECT
1649.97/1655.33 c rational objective 33
1708.51/1714.03 c #Conflicts: 672000 | #Constraints: 80917
1708.51/1714.03 c #Conflicts: 673000 | #Constraints: 81917
1708.51/1714.03 c #Conflicts: 674000 | #Constraints: 82917
1708.51/1714.03 c #Conflicts: 675000 | #Constraints: 83917
1708.51/1714.03 c #Conflicts: 676000 | #Constraints: 84917
1708.51/1714.03 c #Conflicts: 677000 | #Constraints: 85917
1708.51/1714.03 c #Conflicts: 678000 | #Constraints: 86917
1708.51/1714.03 c #Conflicts: 679000 | #Constraints: 87917
1708.51/1714.03 c #Conflicts: 680000 | #Constraints: 88917
1708.51/1714.03 c #Conflicts: 681000 | #Constraints: 89917
1708.51/1714.03 c #Conflicts: 682000 | #Constraints: 90917
1708.51/1714.03 c #Conflicts: 683000 | #Constraints: 91917
1708.51/1714.03 c #Conflicts: 684000 | #Constraints: 92917
1708.51/1714.03 c #Conflicts: 685000 | #Constraints: 93917
1708.51/1714.03 c #Conflicts: 686000 | #Constraints: 94917
1708.51/1714.03 c #Conflicts: 687000 | #Constraints: 95917
1708.51/1714.03 c #Conflicts: 688000 | #Constraints: 96917
1708.51/1714.03 c INPROCESSING
1708.51/1714.03 c GARBAGE COLLECT
1708.51/1714.03 c rational objective 33
1824.39/1830.35 c #Conflicts: 689000 | #Constraints: 81498
1824.39/1830.35 c #Conflicts: 690000 | #Constraints: 82498
1824.39/1830.35 c #Conflicts: 691000 | #Constraints: 83498
1824.39/1830.35 c #Conflicts: 692000 | #Constraints: 84498
1824.39/1830.35 c #Conflicts: 693000 | #Constraints: 85498
1824.39/1830.35 c #Conflicts: 694000 | #Constraints: 86498
1824.39/1830.35 c #Conflicts: 695000 | #Constraints: 87498
1824.39/1830.35 c #Conflicts: 696000 | #Constraints: 88498
1824.39/1830.35 c #Conflicts: 697000 | #Constraints: 89498
1824.39/1830.35 c #Conflicts: 698000 | #Constraints: 90498
1824.39/1830.35 c #Conflicts: 699000 | #Constraints: 91498
1824.39/1830.35 c #Conflicts: 700000 | #Constraints: 92498
1824.39/1830.35 c #Conflicts: 701000 | #Constraints: 93498
1824.39/1830.35 c #Conflicts: 702000 | #Constraints: 94498
1824.39/1830.35 c #Conflicts: 703000 | #Constraints: 95498
1824.39/1830.35 c #Conflicts: 704000 | #Constraints: 96498
1824.39/1830.35 c #Conflicts: 705000 | #Constraints: 97498
1824.39/1830.35 c INPROCESSING
1824.39/1830.35 c GARBAGE COLLECT
1824.39/1830.35 c #Conflicts: 706000 | #Constraints: 81888
1824.39/1830.35 c #Conflicts: 707000 | #Constraints: 82888
1824.39/1830.35 c #Conflicts: 708000 | #Constraints: 83888
1824.39/1830.35 c #Conflicts: 709000 | #Constraints: 84888
1824.39/1830.35 c #Conflicts: 710000 | #Constraints: 85888
1824.39/1830.35 c #Conflicts: 711000 | #Constraints: 86888
1824.39/1830.35 c #Conflicts: 712000 | #Constraints: 87888
1824.39/1830.35 c #Conflicts: 713000 | #Constraints: 88888
1824.39/1830.35 c #Conflicts: 714000 | #Constraints: 89888
1824.39/1830.35 c #Conflicts: 715000 | #Constraints: 90888
1824.39/1830.35 c #Conflicts: 716000 | #Constraints: 91888
1824.39/1830.35 c #Conflicts: 717000 | #Constraints: 92888
1824.39/1830.35 c #Conflicts: 718000 | #Constraints: 93888
1824.39/1830.35 c #Conflicts: 719000 | #Constraints: 94888
1824.39/1830.35 c #Conflicts: 720000 | #Constraints: 95888
1824.39/1830.35 c #Conflicts: 721000 | #Constraints: 96888
1824.39/1830.35 c #Conflicts: 722000 | #Constraints: 97888
1824.39/1830.35 c INPROCESSING
1824.39/1830.35 c GARBAGE COLLECT
1824.39/1830.35 c rational objective 33
1903.23/1909.44 c #Conflicts: 723000 | #Constraints: 82086
1903.23/1909.44 c #Conflicts: 724000 | #Constraints: 83086
1903.23/1909.44 c #Conflicts: 725000 | #Constraints: 84086
1903.23/1909.44 c #Conflicts: 726000 | #Constraints: 85086
1903.23/1909.44 c #Conflicts: 727000 | #Constraints: 86086
1903.23/1909.44 c #Conflicts: 728000 | #Constraints: 87086
1903.23/1909.44 c #Conflicts: 729000 | #Constraints: 88086
1903.23/1909.44 c #Conflicts: 730000 | #Constraints: 89086
1903.23/1909.44 c #Conflicts: 731000 | #Constraints: 90086
1903.23/1909.44 c #Conflicts: 732000 | #Constraints: 91086
1903.23/1909.44 c #Conflicts: 733000 | #Constraints: 92086
1903.23/1909.44 c #Conflicts: 734000 | #Constraints: 93086
1903.23/1909.44 c #Conflicts: 735000 | #Constraints: 94086
1903.23/1909.44 c #Conflicts: 736000 | #Constraints: 95086
1903.23/1909.44 c #Conflicts: 737000 | #Constraints: 96086
1903.23/1909.44 c #Conflicts: 738000 | #Constraints: 97086
1903.23/1909.44 c #Conflicts: 739000 | #Constraints: 98086
1903.23/1909.44 c INPROCESSING
1903.23/1909.44 c GARBAGE COLLECT
1903.23/1909.44 c rational objective 33
2224.68/2231.90 c #Conflicts: 740000 | #Constraints: 82090
2224.68/2231.90 c #Conflicts: 741000 | #Constraints: 83090
2224.68/2231.90 c #Conflicts: 742000 | #Constraints: 84090
2224.68/2231.90 c #Conflicts: 743000 | #Constraints: 85090
2224.68/2231.90 c #Conflicts: 744000 | #Constraints: 86090
2224.68/2231.90 c #Conflicts: 745000 | #Constraints: 87090
2224.68/2231.90 c #Conflicts: 746000 | #Constraints: 88090
2224.68/2231.90 c #Conflicts: 747000 | #Constraints: 89090
2224.68/2231.90 c #Conflicts: 748000 | #Constraints: 90090
2224.68/2231.90 c #Conflicts: 749000 | #Constraints: 91090
2224.68/2231.90 c #Conflicts: 750000 | #Constraints: 92090
2224.68/2231.90 c #Conflicts: 751000 | #Constraints: 93090
2224.68/2231.90 c #Conflicts: 752000 | #Constraints: 94090
2224.68/2231.90 c #Conflicts: 753000 | #Constraints: 95090
2224.68/2231.90 c #Conflicts: 754000 | #Constraints: 96090
2224.68/2231.90 c #Conflicts: 755000 | #Constraints: 97090
2224.68/2231.90 c #Conflicts: 756000 | #Constraints: 98090
2224.68/2231.90 c INPROCESSING
2224.68/2231.90 c GARBAGE COLLECT
2224.68/2231.90 c #Conflicts: 757000 | #Constraints: 81881
2224.68/2231.90 c #Conflicts: 758000 | #Constraints: 82881
2224.68/2231.90 c #Conflicts: 759000 | #Constraints: 83881
2224.68/2231.90 c #Conflicts: 760000 | #Constraints: 84881
2224.68/2231.90 c #Conflicts: 761000 | #Constraints: 85881
2224.68/2231.90 c #Conflicts: 762000 | #Constraints: 86881
2224.68/2231.90 c #Conflicts: 763000 | #Constraints: 87881
2224.68/2231.90 c #Conflicts: 764000 | #Constraints: 88881
2224.68/2231.90 c #Conflicts: 765000 | #Constraints: 89881
2224.68/2231.90 c #Conflicts: 766000 | #Constraints: 90881
2224.68/2231.90 c #Conflicts: 767000 | #Constraints: 91881
2224.68/2231.90 c #Conflicts: 768000 | #Constraints: 92881
2224.68/2231.90 c #Conflicts: 769000 | #Constraints: 93881
2224.68/2231.90 c #Conflicts: 770000 | #Constraints: 94881
2224.68/2231.90 c #Conflicts: 771000 | #Constraints: 95881
2224.68/2231.90 c #Conflicts: 772000 | #Constraints: 96881
2224.68/2231.90 c #Conflicts: 773000 | #Constraints: 97881
2224.68/2231.90 c #Conflicts: 774000 | #Constraints: 98881
2224.68/2231.90 c INPROCESSING
2224.68/2231.90 c GARBAGE COLLECT
2224.68/2231.90 c #Conflicts: 775000 | #Constraints: 82484
2224.68/2231.90 c #Conflicts: 776000 | #Constraints: 83484
2224.68/2231.90 c #Conflicts: 777000 | #Constraints: 84484
2224.68/2231.90 c #Conflicts: 778000 | #Constraints: 85484
2224.68/2231.90 c #Conflicts: 779000 | #Constraints: 86484
2224.68/2231.90 c #Conflicts: 780000 | #Constraints: 87484
2224.68/2231.90 c #Conflicts: 781000 | #Constraints: 88484
2224.68/2231.90 c #Conflicts: 782000 | #Constraints: 89484
2224.68/2231.90 c #Conflicts: 783000 | #Constraints: 90484
2224.68/2231.90 c #Conflicts: 784000 | #Constraints: 91484
2224.68/2231.90 c #Conflicts: 785000 | #Constraints: 92484
2224.68/2231.90 c #Conflicts: 786000 | #Constraints: 93484
2224.68/2231.90 c #Conflicts: 787000 | #Constraints: 94484
2224.68/2231.90 c #Conflicts: 788000 | #Constraints: 95484
2224.68/2231.90 c #Conflicts: 789000 | #Constraints: 96484
2224.68/2231.90 c #Conflicts: 790000 | #Constraints: 97484
2224.68/2231.90 c #Conflicts: 791000 | #Constraints: 98484
2224.68/2231.90 c #Conflicts: 792000 | #Constraints: 99484
2224.68/2231.90 c INPROCESSING
2224.68/2231.90 c GARBAGE COLLECT
2224.68/2231.90 c #Conflicts: 793000 | #Constraints: 82879
2224.68/2231.90 c #Conflicts: 794000 | #Constraints: 83879
2224.68/2231.90 c #Conflicts: 795000 | #Constraints: 84879
2224.68/2231.90 c #Conflicts: 796000 | #Constraints: 85879
2224.68/2231.90 c #Conflicts: 797000 | #Constraints: 86879
2224.68/2231.90 c #Conflicts: 798000 | #Constraints: 87879
2224.68/2231.90 c #Conflicts: 799000 | #Constraints: 88879
2224.68/2231.90 c #Conflicts: 800000 | #Constraints: 89879
2224.68/2231.90 c #Conflicts: 801000 | #Constraints: 90879
2224.68/2231.90 c #Conflicts: 802000 | #Constraints: 91879
2224.68/2231.90 c #Conflicts: 803000 | #Constraints: 92879
2224.68/2231.90 c #Conflicts: 804000 | #Constraints: 93879
2224.68/2231.90 c #Conflicts: 805000 | #Constraints: 94879
2224.68/2231.90 c #Conflicts: 806000 | #Constraints: 95879
2224.68/2231.90 c #Conflicts: 807000 | #Constraints: 96879
2224.68/2231.90 c #Conflicts: 808000 | #Constraints: 97879
2224.68/2231.90 c #Conflicts: 809000 | #Constraints: 98879
2224.68/2231.90 c #Conflicts: 810000 | #Constraints: 99879
2224.68/2231.90 c INPROCESSING
2224.68/2231.90 c GARBAGE COLLECT
2224.68/2231.90 c #Conflicts: 811000 | #Constraints: 83079
2224.68/2231.90 c #Conflicts: 812000 | #Constraints: 84079
2224.68/2231.90 c #Conflicts: 813000 | #Constraints: 85079
2224.68/2231.90 c #Conflicts: 814000 | #Constraints: 86079
2224.68/2231.90 c #Conflicts: 815000 | #Constraints: 87079
2224.68/2231.90 c #Conflicts: 816000 | #Constraints: 88079
2227.58/2234.77 c #Conflicts: 817000 | #Constraints: 89079
2227.58/2234.77 c #Conflicts: 818000 | #Constraints: 90079
2227.58/2234.77 c #Conflicts: 819000 | #Constraints: 91079
2227.58/2234.77 c #Conflicts: 820000 | #Constraints: 92079
2227.58/2234.77 c #Conflicts: 821000 | #Constraints: 93079
2227.58/2234.77 c #Conflicts: 822000 | #Constraints: 94079
2227.58/2234.77 c #Conflicts: 823000 | #Constraints: 95079
2227.58/2234.77 c #Conflicts: 824000 | #Constraints: 96079
2227.58/2234.77 c #Conflicts: 825000 | #Constraints: 97079
2227.58/2234.77 c #Conflicts: 826000 | #Constraints: 98079
2227.58/2234.77 c #Conflicts: 827000 | #Constraints: 99079
2227.58/2234.77 c #Conflicts: 828000 | #Constraints: 100079
2227.58/2234.77 c INPROCESSING
2227.58/2234.77 c GARBAGE COLLECT
2227.58/2234.77 c #Conflicts: 829000 | #Constraints: 83077
2227.58/2234.77 c #Conflicts: 830000 | #Constraints: 84077
2227.58/2234.77 c bounds 79 >= 34 @ 2215.53
2228.48/2235.61 c #Conflicts: 831000 | #Constraints: 85086
2228.48/2235.61 c #Conflicts: 832000 | #Constraints: 86086
2228.48/2235.61 c #Conflicts: 833000 | #Constraints: 87086
2228.48/2235.61 c bounds 79 >= 35 @ 2216.36
2247.22/2254.46 c #Conflicts: 834000 | #Constraints: 88095
2247.22/2254.46 c #Conflicts: 835000 | #Constraints: 89095
2247.22/2254.46 c #Conflicts: 836000 | #Constraints: 90095
2247.22/2254.46 c #Conflicts: 837000 | #Constraints: 91095
2247.22/2254.46 c #Conflicts: 838000 | #Constraints: 92095
2247.22/2254.46 c #Conflicts: 839000 | #Constraints: 93095
2247.22/2254.46 c #Conflicts: 840000 | #Constraints: 94095
2247.22/2254.46 c #Conflicts: 841000 | #Constraints: 95095
2247.22/2254.46 c #Conflicts: 842000 | #Constraints: 96095
2247.22/2254.46 c #Conflicts: 843000 | #Constraints: 97095
2247.22/2254.46 c #Conflicts: 844000 | #Constraints: 98095
2247.22/2254.46 c #Conflicts: 845000 | #Constraints: 99095
2247.22/2254.46 c #Conflicts: 846000 | #Constraints: 100095
2247.22/2254.46 c INPROCESSING
2247.22/2254.46 c GARBAGE COLLECT
2247.22/2254.46 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
2314.64/2322.03 c rational objective 35
2315.03/2322.44 c bounds 79 >= 36 @ 2302.66
2373.58/2381.27 c #Conflicts: 847000 | #Constraints: 82905
2373.58/2381.27 c #Conflicts: 848000 | #Constraints: 83905
2373.58/2381.27 c #Conflicts: 849000 | #Constraints: 84905
2373.58/2381.27 c #Conflicts: 850000 | #Constraints: 85905
2373.58/2381.27 c #Conflicts: 851000 | #Constraints: 86905
2373.58/2381.27 c #Conflicts: 852000 | #Constraints: 87905
2373.58/2381.27 c #Conflicts: 853000 | #Constraints: 88905
2373.58/2381.27 c #Conflicts: 854000 | #Constraints: 89905
2373.58/2381.27 c #Conflicts: 855000 | #Constraints: 90905
2373.58/2381.27 c #Conflicts: 856000 | #Constraints: 91905
2373.58/2381.27 c #Conflicts: 857000 | #Constraints: 92905
2373.58/2381.27 c #Conflicts: 858000 | #Constraints: 93905
2373.58/2381.27 c #Conflicts: 859000 | #Constraints: 94905
2373.58/2381.27 c #Conflicts: 860000 | #Constraints: 95906
2373.58/2381.27 c #Conflicts: 861000 | #Constraints: 96906
2373.58/2381.27 c #Conflicts: 862000 | #Constraints: 97906
2373.58/2381.27 c #Conflicts: 863000 | #Constraints: 98906
2373.58/2381.27 c #Conflicts: 864000 | #Constraints: 99906
2373.58/2381.27 c #Conflicts: 865000 | #Constraints: 100906
2373.58/2381.27 c INPROCESSING
2373.58/2381.27 c GARBAGE COLLECT
2373.58/2381.27 c #Conflicts: 866000 | #Constraints: 83498
2373.58/2381.27 c #Conflicts: 867000 | #Constraints: 84498
2373.58/2381.27 c #Conflicts: 868000 | #Constraints: 85498
2373.58/2381.27 c #Conflicts: 869000 | #Constraints: 86498
2373.58/2381.27 c #Conflicts: 870000 | #Constraints: 87498
2373.58/2381.27 c #Conflicts: 871000 | #Constraints: 88498
2373.58/2381.27 c #Conflicts: 872000 | #Constraints: 89498
2373.58/2381.27 c #Conflicts: 873000 | #Constraints: 90498
2373.58/2381.27 c #Conflicts: 874000 | #Constraints: 91498
2373.58/2381.27 c #Conflicts: 875000 | #Constraints: 92498
2373.58/2381.27 c #Conflicts: 876000 | #Constraints: 93498
2373.58/2381.27 c #Conflicts: 877000 | #Constraints: 94498
2373.58/2381.27 c #Conflicts: 878000 | #Constraints: 95498
2373.58/2381.27 c #Conflicts: 879000 | #Constraints: 96498
2373.58/2381.27 c #Conflicts: 880000 | #Constraints: 97498
2373.58/2381.27 c #Conflicts: 881000 | #Constraints: 98498
2373.58/2381.27 c #Conflicts: 882000 | #Constraints: 99498
2373.58/2381.27 c #Conflicts: 883000 | #Constraints: 100498
2373.58/2381.27 c #Conflicts: 884000 | #Constraints: 101498
2373.58/2381.27 c INPROCESSING
2373.58/2381.27 c GARBAGE COLLECT
2373.58/2381.27 c #Conflicts: 885000 | #Constraints: 83891
2373.58/2381.27 c #Conflicts: 886000 | #Constraints: 84891
2373.58/2381.27 c #Conflicts: 887000 | #Constraints: 85891
2373.58/2381.27 c #Conflicts: 888000 | #Constraints: 86891
2373.58/2381.27 c #Conflicts: 889000 | #Constraints: 87891
2373.58/2381.27 c #Conflicts: 890000 | #Constraints: 88891
2373.58/2381.27 c #Conflicts: 891000 | #Constraints: 89891
2373.58/2381.27 c #Conflicts: 892000 | #Constraints: 90891
2373.58/2381.27 c #Conflicts: 893000 | #Constraints: 91891
2373.58/2381.27 c #Conflicts: 894000 | #Constraints: 92891
2373.58/2381.27 c #Conflicts: 895000 | #Constraints: 93891
2373.58/2381.27 c #Conflicts: 896000 | #Constraints: 94891
2373.58/2381.27 c #Conflicts: 897000 | #Constraints: 95891
2373.58/2381.27 c #Conflicts: 898000 | #Constraints: 96891
2373.58/2381.27 c #Conflicts: 899000 | #Constraints: 97891
2373.58/2381.27 c #Conflicts: 900000 | #Constraints: 98891
2373.58/2381.27 c #Conflicts: 901000 | #Constraints: 99891
2373.58/2381.27 c #Conflicts: 902000 | #Constraints: 100891
2373.58/2381.27 c #Conflicts: 903000 | #Constraints: 101891
2373.58/2381.27 c INPROCESSING
2373.58/2381.27 c GARBAGE COLLECT
2373.58/2381.27 c rational objective 36
2494.14/2502.22 c #Conflicts: 904000 | #Constraints: 84095
2494.14/2502.22 c #Conflicts: 905000 | #Constraints: 85095
2494.14/2502.22 c #Conflicts: 906000 | #Constraints: 86095
2494.14/2502.22 c #Conflicts: 907000 | #Constraints: 87095
2494.14/2502.22 c #Conflicts: 908000 | #Constraints: 88095
2494.14/2502.22 c #Conflicts: 909000 | #Constraints: 89096
2494.14/2502.22 c #Conflicts: 910000 | #Constraints: 90096
2494.14/2502.22 c #Conflicts: 911000 | #Constraints: 91096
2494.14/2502.22 c #Conflicts: 912000 | #Constraints: 92096
2494.14/2502.22 c #Conflicts: 913000 | #Constraints: 93096
2494.14/2502.22 c #Conflicts: 914000 | #Constraints: 94096
2494.14/2502.22 c #Conflicts: 915000 | #Constraints: 95096
2494.14/2502.22 c #Conflicts: 916000 | #Constraints: 96096
2494.14/2502.22 c #Conflicts: 917000 | #Constraints: 97096
2494.14/2502.22 c #Conflicts: 918000 | #Constraints: 98096
2494.14/2502.22 c #Conflicts: 919000 | #Constraints: 99096
2494.14/2502.22 c #Conflicts: 920000 | #Constraints: 100096
2494.14/2502.22 c #Conflicts: 921000 | #Constraints: 101096
2494.14/2502.22 c #Conflicts: 922000 | #Constraints: 102096
2494.14/2502.22 c INPROCESSING
2494.14/2502.22 c GARBAGE COLLECT
2494.14/2502.22 c #Conflicts: 923000 | #Constraints: 84098
2494.14/2502.22 c #Conflicts: 924000 | #Constraints: 85098
2494.14/2502.22 c #Conflicts: 925000 | #Constraints: 86098
2494.14/2502.22 c #Conflicts: 926000 | #Constraints: 87098
2494.14/2502.22 c #Conflicts: 927000 | #Constraints: 88098
2494.14/2502.22 c #Conflicts: 928000 | #Constraints: 89098
2494.14/2502.22 c #Conflicts: 929000 | #Constraints: 90098
2494.14/2502.22 c #Conflicts: 930000 | #Constraints: 91098
2494.14/2502.22 c #Conflicts: 931000 | #Constraints: 92098
2494.14/2502.22 c #Conflicts: 932000 | #Constraints: 93098
2494.14/2502.22 c #Conflicts: 933000 | #Constraints: 94098
2494.14/2502.22 c #Conflicts: 934000 | #Constraints: 95098
2494.14/2502.22 c #Conflicts: 935000 | #Constraints: 96098
2494.14/2502.22 c #Conflicts: 936000 | #Constraints: 97098
2494.14/2502.22 c #Conflicts: 937000 | #Constraints: 98098
2494.14/2502.22 c #Conflicts: 938000 | #Constraints: 99098
2494.14/2502.22 c #Conflicts: 939000 | #Constraints: 100098
2494.14/2502.22 c #Conflicts: 940000 | #Constraints: 101098
2494.14/2502.22 c #Conflicts: 941000 | #Constraints: 102099
2494.14/2502.22 c INPROCESSING
2494.14/2502.22 c GARBAGE COLLECT
2494.14/2502.22 c rational objective 36
2610.29/2618.71 c #Conflicts: 942000 | #Constraints: 83901
2610.29/2618.71 c #Conflicts: 943000 | #Constraints: 84901
2610.29/2618.71 c #Conflicts: 944000 | #Constraints: 85901
2610.29/2618.71 c #Conflicts: 945000 | #Constraints: 86901
2610.29/2618.71 c #Conflicts: 946000 | #Constraints: 87901
2610.29/2618.71 c #Conflicts: 947000 | #Constraints: 88901
2610.29/2618.71 c #Conflicts: 948000 | #Constraints: 89901
2610.29/2618.71 c #Conflicts: 949000 | #Constraints: 90901
2610.29/2618.71 c #Conflicts: 950000 | #Constraints: 91901
2610.29/2618.71 c #Conflicts: 951000 | #Constraints: 92901
2610.29/2618.71 c #Conflicts: 952000 | #Constraints: 93901
2610.29/2618.71 c #Conflicts: 953000 | #Constraints: 94901
2610.29/2618.71 c #Conflicts: 954000 | #Constraints: 95901
2610.29/2618.71 c #Conflicts: 955000 | #Constraints: 96901
2610.29/2618.71 c #Conflicts: 956000 | #Constraints: 97901
2610.29/2618.71 c #Conflicts: 957000 | #Constraints: 98901
2610.29/2618.71 c #Conflicts: 958000 | #Constraints: 99901
2610.29/2618.71 c #Conflicts: 959000 | #Constraints: 100901
2610.29/2618.71 c #Conflicts: 960000 | #Constraints: 101901
2610.29/2618.71 c #Conflicts: 961000 | #Constraints: 102901
2610.29/2618.71 c INPROCESSING
2610.29/2618.71 c GARBAGE COLLECT
2610.29/2618.71 c rational objective 36
2693.64/2702.30 c #Conflicts: 962000 | #Constraints: 84523
2693.64/2702.30 c #Conflicts: 963000 | #Constraints: 85523
2693.64/2702.30 c #Conflicts: 964000 | #Constraints: 86523
2693.64/2702.30 c #Conflicts: 965000 | #Constraints: 87523
2693.64/2702.30 c #Conflicts: 966000 | #Constraints: 88523
2693.64/2702.30 c #Conflicts: 967000 | #Constraints: 89523
2693.64/2702.30 c #Conflicts: 968000 | #Constraints: 90523
2693.64/2702.30 c #Conflicts: 969000 | #Constraints: 91523
2693.64/2702.30 c #Conflicts: 970000 | #Constraints: 92523
2693.64/2702.30 c #Conflicts: 971000 | #Constraints: 93523
2693.64/2702.30 c #Conflicts: 972000 | #Constraints: 94523
2693.64/2702.30 c #Conflicts: 973000 | #Constraints: 95523
2693.64/2702.30 c #Conflicts: 974000 | #Constraints: 96523
2693.64/2702.30 c #Conflicts: 975000 | #Constraints: 97523
2693.64/2702.30 c #Conflicts: 976000 | #Constraints: 98523
2693.64/2702.30 c #Conflicts: 977000 | #Constraints: 99523
2693.64/2702.30 c #Conflicts: 978000 | #Constraints: 100523
2693.64/2702.30 c #Conflicts: 979000 | #Constraints: 101523
2693.64/2702.30 c #Conflicts: 980000 | #Constraints: 102523
2693.64/2702.30 c #Conflicts: 981000 | #Constraints: 103523
2693.64/2702.30 c INPROCESSING
2693.64/2702.30 c GARBAGE COLLECT
2693.64/2702.30 c #Conflicts: 982000 | #Constraints: 84916
2693.64/2702.30 c #Conflicts: 983000 | #Constraints: 85916
2693.64/2702.30 c #Conflicts: 984000 | #Constraints: 86916
2693.64/2702.30 c #Conflicts: 985000 | #Constraints: 87916
2693.64/2702.30 c #Conflicts: 986000 | #Constraints: 88916
2693.64/2702.30 c #Conflicts: 987000 | #Constraints: 89916
2693.64/2702.30 c #Conflicts: 988000 | #Constraints: 90916
2693.64/2702.30 c #Conflicts: 989000 | #Constraints: 91916
2693.64/2702.30 c #Conflicts: 990000 | #Constraints: 92916
2693.64/2702.30 c #Conflicts: 991000 | #Constraints: 93916
2693.64/2702.30 c #Conflicts: 992000 | #Constraints: 94916
2693.64/2702.30 c #Conflicts: 993000 | #Constraints: 95916
2693.64/2702.30 c #Conflicts: 994000 | #Constraints: 96916
2693.64/2702.30 c #Conflicts: 995000 | #Constraints: 97916
2693.64/2702.30 c #Conflicts: 996000 | #Constraints: 98916
2693.64/2702.30 c #Conflicts: 997000 | #Constraints: 99916
2693.64/2702.30 c #Conflicts: 998000 | #Constraints: 100916
2693.64/2702.30 c #Conflicts: 999000 | #Constraints: 101916
2693.64/2702.30 c #Conflicts: 1000000 | #Constraints: 102916
2693.64/2702.30 c #Conflicts: 1001000 | #Constraints: 103916
2693.64/2702.30 c INPROCESSING
2693.64/2702.30 c GARBAGE COLLECT
2693.64/2702.30 c rational objective 36
2844.48/2853.64 c #Conflicts: 1002000 | #Constraints: 85133
2844.48/2853.64 c #Conflicts: 1003000 | #Constraints: 86133
2844.48/2853.64 c #Conflicts: 1004000 | #Constraints: 87133
2844.48/2853.64 c #Conflicts: 1005000 | #Constraints: 88133
2844.48/2853.64 c #Conflicts: 1006000 | #Constraints: 89133
2844.48/2853.64 c #Conflicts: 1007000 | #Constraints: 90133
2844.48/2853.64 c #Conflicts: 1008000 | #Constraints: 91133
2844.48/2853.64 c #Conflicts: 1009000 | #Constraints: 92133
2844.48/2853.64 c #Conflicts: 1010000 | #Constraints: 93133
2844.48/2853.64 c #Conflicts: 1011000 | #Constraints: 94133
2844.48/2853.64 c #Conflicts: 1012000 | #Constraints: 95133
2844.48/2853.64 c #Conflicts: 1013000 | #Constraints: 96133
2844.48/2853.64 c #Conflicts: 1014000 | #Constraints: 97133
2844.48/2853.64 c #Conflicts: 1015000 | #Constraints: 98133
2844.48/2853.64 c #Conflicts: 1016000 | #Constraints: 99133
2844.48/2853.64 c #Conflicts: 1017000 | #Constraints: 100133
2844.48/2853.64 c #Conflicts: 1018000 | #Constraints: 101133
2844.48/2853.64 c #Conflicts: 1019000 | #Constraints: 102133
2844.48/2853.64 c #Conflicts: 1020000 | #Constraints: 103133
2844.48/2853.64 c #Conflicts: 1021000 | #Constraints: 104133
2844.48/2853.64 c INPROCESSING
2844.48/2853.64 c GARBAGE COLLECT
2844.48/2853.64 c rational objective 36
2893.44/2902.76 c #Conflicts: 1022000 | #Constraints: 85162
2893.44/2902.76 c #Conflicts: 1023000 | #Constraints: 86162
2893.44/2902.76 c #Conflicts: 1024000 | #Constraints: 87162
2893.44/2902.76 c #Conflicts: 1025000 | #Constraints: 88162
2893.44/2902.76 c #Conflicts: 1026000 | #Constraints: 89162
2893.44/2902.76 c #Conflicts: 1027000 | #Constraints: 90162
2893.44/2902.76 c #Conflicts: 1028000 | #Constraints: 91162
2893.44/2902.76 c #Conflicts: 1029000 | #Constraints: 92162
2893.44/2902.76 c #Conflicts: 1030000 | #Constraints: 93162
2893.44/2902.76 c #Conflicts: 1031000 | #Constraints: 94162
2893.44/2902.76 c #Conflicts: 1032000 | #Constraints: 95162
2893.44/2902.76 c #Conflicts: 1033000 | #Constraints: 96162
2893.44/2902.76 c #Conflicts: 1034000 | #Constraints: 97162
2893.44/2902.76 c #Conflicts: 1035000 | #Constraints: 98162
2893.44/2902.76 c #Conflicts: 1036000 | #Constraints: 99162
2893.44/2902.76 c #Conflicts: 1037000 | #Constraints: 100162
2893.44/2902.76 c #Conflicts: 1038000 | #Constraints: 101162
2893.44/2902.76 c #Conflicts: 1039000 | #Constraints: 102162
2893.44/2902.76 c #Conflicts: 1040000 | #Constraints: 103162
2893.44/2902.76 c #Conflicts: 1041000 | #Constraints: 104162
2893.44/2902.76 c INPROCESSING
2893.44/2902.76 c GARBAGE COLLECT
2893.44/2902.76 c #Conflicts: 1042000 | #Constraints: 84932
2893.44/2902.76 c #Conflicts: 1043000 | #Constraints: 85932
2893.44/2902.76 c #Conflicts: 1044000 | #Constraints: 86932
2893.44/2902.76 c #Conflicts: 1045000 | #Constraints: 87932
2893.44/2902.76 c #Conflicts: 1046000 | #Constraints: 88932
2893.44/2902.76 c #Conflicts: 1047000 | #Constraints: 89932
2893.44/2902.76 c #Conflicts: 1048000 | #Constraints: 90932
2893.44/2902.76 c #Conflicts: 1049000 | #Constraints: 91932
2893.44/2902.76 c #Conflicts: 1050000 | #Constraints: 92932
2893.44/2902.76 c #Conflicts: 1051000 | #Constraints: 93932
2893.44/2902.76 c #Conflicts: 1052000 | #Constraints: 94932
2893.44/2902.76 c #Conflicts: 1053000 | #Constraints: 95932
2893.44/2902.76 c #Conflicts: 1054000 | #Constraints: 96932
2893.44/2902.76 c #Conflicts: 1055000 | #Constraints: 97932
2893.44/2902.76 c #Conflicts: 1056000 | #Constraints: 98932
2893.44/2902.76 c #Conflicts: 1057000 | #Constraints: 99932
2893.44/2902.76 c #Conflicts: 1058000 | #Constraints: 100932
2893.44/2902.76 c #Conflicts: 1059000 | #Constraints: 101932
2893.44/2902.76 c #Conflicts: 1060000 | #Constraints: 102932
2893.44/2902.76 c #Conflicts: 1061000 | #Constraints: 103932
2893.44/2902.76 c #Conflicts: 1062000 | #Constraints: 104932
2893.44/2902.76 c INPROCESSING
2893.44/2902.76 c GARBAGE COLLECT
2893.44/2902.76 c rational objective 36
3063.63/3073.48 c #Conflicts: 1063000 | #Constraints: 85519
3063.63/3073.48 c #Conflicts: 1064000 | #Constraints: 86519
3063.63/3073.48 c #Conflicts: 1065000 | #Constraints: 87519
3063.63/3073.48 c #Conflicts: 1066000 | #Constraints: 88519
3063.63/3073.48 c #Conflicts: 1067000 | #Constraints: 89519
3063.63/3073.48 c #Conflicts: 1068000 | #Constraints: 90519
3063.63/3073.48 c #Conflicts: 1069000 | #Constraints: 91519
3063.63/3073.48 c #Conflicts: 1070000 | #Constraints: 92519
3063.63/3073.48 c #Conflicts: 1071000 | #Constraints: 93519
3063.63/3073.48 c #Conflicts: 1072000 | #Constraints: 94519
3063.63/3073.48 c #Conflicts: 1073000 | #Constraints: 95519
3063.63/3073.48 c #Conflicts: 1074000 | #Constraints: 96519
3063.63/3073.48 c #Conflicts: 1075000 | #Constraints: 97519
3063.63/3073.48 c #Conflicts: 1076000 | #Constraints: 98519
3063.63/3073.48 c #Conflicts: 1077000 | #Constraints: 99519
3063.63/3073.48 c #Conflicts: 1078000 | #Constraints: 100519
3063.63/3073.48 c #Conflicts: 1079000 | #Constraints: 101519
3063.63/3073.48 c #Conflicts: 1080000 | #Constraints: 102519
3063.63/3073.48 c #Conflicts: 1081000 | #Constraints: 103519
3063.63/3073.48 c #Conflicts: 1082000 | #Constraints: 104519
3063.63/3073.48 c #Conflicts: 1083000 | #Constraints: 105519
3063.63/3073.48 c INPROCESSING
3063.63/3073.48 c GARBAGE COLLECT
3063.63/3073.48 c #Conflicts: 1084000 | #Constraints: 85908
3063.63/3073.48 c #Conflicts: 1085000 | #Constraints: 86908
3063.63/3073.48 c #Conflicts: 1086000 | #Constraints: 87908
3063.63/3073.48 c #Conflicts: 1087000 | #Constraints: 88908
3063.63/3073.48 c #Conflicts: 1088000 | #Constraints: 89908
3063.63/3073.48 c #Conflicts: 1089000 | #Constraints: 90908
3063.63/3073.48 c #Conflicts: 1090000 | #Constraints: 91908
3063.63/3073.48 c #Conflicts: 1091000 | #Constraints: 92908
3063.63/3073.48 c #Conflicts: 1092000 | #Constraints: 93908
3063.63/3073.48 c #Conflicts: 1093000 | #Constraints: 94908
3063.63/3073.48 c #Conflicts: 1094000 | #Constraints: 95908
3063.63/3073.48 c #Conflicts: 1095000 | #Constraints: 96908
3063.63/3073.48 c #Conflicts: 1096000 | #Constraints: 97908
3063.63/3073.48 c #Conflicts: 1097000 | #Constraints: 98908
3063.63/3073.48 c #Conflicts: 1098000 | #Constraints: 99908
3063.63/3073.48 c #Conflicts: 1099000 | #Constraints: 100908
3063.63/3073.48 c #Conflicts: 1100000 | #Constraints: 101908
3063.63/3073.48 c #Conflicts: 1101000 | #Constraints: 102908
3063.63/3073.48 c #Conflicts: 1102000 | #Constraints: 103908
3063.63/3073.48 c #Conflicts: 1103000 | #Constraints: 104908
3063.63/3073.48 c bounds 79 >= 37 @ 3047.96
3071.10/3080.97 c #Conflicts: 1104000 | #Constraints: 105914
3071.10/3080.97 c INPROCESSING
3071.10/3080.97 c GARBAGE COLLECT
3071.10/3080.97 c #Conflicts: 1105000 | #Constraints: 86104
3071.10/3080.97 c #Conflicts: 1106000 | #Constraints: 87104
3071.10/3080.97 c #Conflicts: 1107000 | #Constraints: 88104
3071.10/3080.97 c #Conflicts: 1108000 | #Constraints: 89104
3071.10/3080.97 c #Conflicts: 1109000 | #Constraints: 90104
3071.10/3080.97 c #Conflicts: 1110000 | #Constraints: 91104
3071.10/3080.97 c #Conflicts: 1111000 | #Constraints: 92104
3071.10/3080.97 c #Conflicts: 1112000 | #Constraints: 93104
3071.10/3080.97 c #Conflicts: 1113000 | #Constraints: 94104
3071.10/3080.97 c #Conflicts: 1114000 | #Constraints: 95104
3071.10/3080.97 c #Conflicts: 1115000 | #Constraints: 96104
3071.10/3080.97 c #Conflicts: 1116000 | #Constraints: 97104
3071.10/3080.97 c #Conflicts: 1117000 | #Constraints: 98104
3071.10/3080.97 c #Conflicts: 1118000 | #Constraints: 99104
3071.10/3080.97 c #Conflicts: 1119000 | #Constraints: 100104
3071.10/3080.97 c #Conflicts: 1120000 | #Constraints: 101104
3071.10/3080.97 c #Conflicts: 1121000 | #Constraints: 102104
3071.10/3080.97 c #Conflicts: 1122000 | #Constraints: 103104
3071.10/3080.97 c #Conflicts: 1123000 | #Constraints: 104104
3071.10/3080.97 c #Conflicts: 1124000 | #Constraints: 105104
3071.10/3080.97 c #Conflicts: 1125000 | #Constraints: 106104
3071.10/3080.97 c INPROCESSING
3071.10/3080.97 c GARBAGE COLLECT
3071.10/3080.97 c bounds 79 >= 38 @ 3055.34
3116.86/3126.81 c #Conflicts: 1126000 | #Constraints: 86113
3116.86/3126.81 c #Conflicts: 1127000 | #Constraints: 87113
3116.86/3126.81 c #Conflicts: 1128000 | #Constraints: 88113
3116.86/3126.81 c #Conflicts: 1129000 | #Constraints: 89113
3116.86/3126.81 c #Conflicts: 1130000 | #Constraints: 90113
3116.86/3126.81 c #Conflicts: 1131000 | #Constraints: 91113
3116.86/3126.81 c #Conflicts: 1132000 | #Constraints: 92113
3116.86/3126.81 c #Conflicts: 1133000 | #Constraints: 93113
3116.86/3126.81 c #Conflicts: 1134000 | #Constraints: 94113
3116.86/3126.81 c #Conflicts: 1135000 | #Constraints: 95113
3116.86/3126.81 c #Conflicts: 1136000 | #Constraints: 96113
3116.86/3126.81 c #Conflicts: 1137000 | #Constraints: 97113
3116.86/3126.81 c #Conflicts: 1138000 | #Constraints: 98113
3116.86/3126.81 c #Conflicts: 1139000 | #Constraints: 99113
3116.86/3126.81 c #Conflicts: 1140000 | #Constraints: 100113
3116.86/3126.81 c #Conflicts: 1141000 | #Constraints: 101113
3116.86/3126.81 c #Conflicts: 1142000 | #Constraints: 102113
3116.86/3126.81 c #Conflicts: 1143000 | #Constraints: 103113
3116.86/3126.81 c #Conflicts: 1144000 | #Constraints: 104113
3116.86/3126.81 c #Conflicts: 1145000 | #Constraints: 105113
3116.86/3126.81 c #Conflicts: 1146000 | #Constraints: 106113
3116.86/3126.81 c INPROCESSING
3116.86/3126.81 c GARBAGE COLLECT
3116.86/3126.81 c rational objective 38
3224.30/3234.68 c #Conflicts: 1147000 | #Constraints: 85913
3224.30/3234.68 c #Conflicts: 1148000 | #Constraints: 86913
3224.30/3234.68 c #Conflicts: 1149000 | #Constraints: 87913
3224.30/3234.68 c #Conflicts: 1150000 | #Constraints: 88913
3224.30/3234.68 c #Conflicts: 1151000 | #Constraints: 89913
3224.30/3234.68 c #Conflicts: 1152000 | #Constraints: 90913
3224.30/3234.68 c #Conflicts: 1153000 | #Constraints: 91913
3224.30/3234.68 c #Conflicts: 1154000 | #Constraints: 92913
3224.30/3234.68 c #Conflicts: 1155000 | #Constraints: 93913
3224.30/3234.68 c #Conflicts: 1156000 | #Constraints: 94913
3224.30/3234.68 c #Conflicts: 1157000 | #Constraints: 95913
3224.30/3234.68 c #Conflicts: 1158000 | #Constraints: 96913
3224.30/3234.68 c #Conflicts: 1159000 | #Constraints: 97913
3224.30/3234.68 c #Conflicts: 1160000 | #Constraints: 98913
3224.30/3234.68 c #Conflicts: 1161000 | #Constraints: 99913
3224.30/3234.68 c #Conflicts: 1162000 | #Constraints: 100913
3224.30/3234.68 c #Conflicts: 1163000 | #Constraints: 101913
3224.30/3234.68 c #Conflicts: 1164000 | #Constraints: 102913
3224.30/3234.68 c #Conflicts: 1165000 | #Constraints: 103913
3224.30/3234.68 c #Conflicts: 1166000 | #Constraints: 104913
3224.30/3234.68 c #Conflicts: 1167000 | #Constraints: 105913
3224.30/3234.68 c #Conflicts: 1168000 | #Constraints: 106913
3224.30/3234.68 c INPROCESSING
3224.30/3234.68 c GARBAGE COLLECT
3224.30/3234.68 c rational objective 38
3317.18/3327.80 c #Conflicts: 1169000 | #Constraints: 86548
3317.18/3327.80 c #Conflicts: 1170000 | #Constraints: 87548
3317.18/3327.80 c #Conflicts: 1171000 | #Constraints: 88548
3317.18/3327.80 c #Conflicts: 1172000 | #Constraints: 89548
3317.18/3327.80 c #Conflicts: 1173000 | #Constraints: 90548
3317.18/3327.80 c #Conflicts: 1174000 | #Constraints: 91548
3317.18/3327.80 c #Conflicts: 1175000 | #Constraints: 92548
3317.18/3327.80 c #Conflicts: 1176000 | #Constraints: 93548
3317.18/3327.80 c #Conflicts: 1177000 | #Constraints: 94548
3317.18/3327.80 c #Conflicts: 1178000 | #Constraints: 95548
3317.18/3327.80 c #Conflicts: 1179000 | #Constraints: 96548
3317.18/3327.80 c #Conflicts: 1180000 | #Constraints: 97548
3317.18/3327.80 c #Conflicts: 1181000 | #Constraints: 98548
3317.18/3327.80 c #Conflicts: 1182000 | #Constraints: 99548
3317.18/3327.80 c #Conflicts: 1183000 | #Constraints: 100548
3317.18/3327.80 c #Conflicts: 1184000 | #Constraints: 101548
3317.18/3327.80 c #Conflicts: 1185000 | #Constraints: 102548
3317.18/3327.80 c #Conflicts: 1186000 | #Constraints: 103548
3317.18/3327.80 c #Conflicts: 1187000 | #Constraints: 104548
3317.18/3327.80 c #Conflicts: 1188000 | #Constraints: 105548
3317.18/3327.80 c #Conflicts: 1189000 | #Constraints: 106548
3317.18/3327.80 c #Conflicts: 1190000 | #Constraints: 107548
3317.18/3327.80 c INPROCESSING
3317.18/3327.80 c GARBAGE COLLECT
3317.18/3327.80 c #Conflicts: 1191000 | #Constraints: 86929
3317.18/3327.80 c #Conflicts: 1192000 | #Constraints: 87929
3317.18/3327.80 c #Conflicts: 1193000 | #Constraints: 88929
3317.18/3327.80 c #Conflicts: 1194000 | #Constraints: 89929
3317.18/3327.80 c #Conflicts: 1195000 | #Constraints: 90929
3317.18/3327.80 c #Conflicts: 1196000 | #Constraints: 91929
3317.18/3327.80 c #Conflicts: 1197000 | #Constraints: 92929
3317.18/3327.80 c #Conflicts: 1198000 | #Constraints: 93929
3317.18/3327.80 c #Conflicts: 1199000 | #Constraints: 94929
3317.18/3327.80 c #Conflicts: 1200000 | #Constraints: 95929
3317.18/3327.80 c #Conflicts: 1201000 | #Constraints: 96929
3317.18/3327.80 c #Conflicts: 1202000 | #Constraints: 97929
3317.18/3327.80 c #Conflicts: 1203000 | #Constraints: 98929
3317.18/3327.80 c #Conflicts: 1204000 | #Constraints: 99929
3317.18/3327.80 c #Conflicts: 1205000 | #Constraints: 100929
3317.18/3327.80 c #Conflicts: 1206000 | #Constraints: 101929
3317.18/3327.80 c #Conflicts: 1207000 | #Constraints: 102929
3317.18/3327.80 c #Conflicts: 1208000 | #Constraints: 103929
3317.18/3327.80 c #Conflicts: 1209000 | #Constraints: 104929
3317.18/3327.80 c #Conflicts: 1210000 | #Constraints: 105929
3317.18/3327.80 c #Conflicts: 1211000 | #Constraints: 106929
3317.18/3327.80 c #Conflicts: 1212000 | #Constraints: 107929
3317.18/3327.80 c INPROCESSING
3317.18/3327.80 c GARBAGE COLLECT
3317.18/3327.80 c rational objective 38
3438.48/3449.50 c #Conflicts: 1213000 | #Constraints: 87120
3438.48/3449.50 c #Conflicts: 1214000 | #Constraints: 88120
3438.48/3449.50 c #Conflicts: 1215000 | #Constraints: 89120
3438.48/3449.50 c #Conflicts: 1216000 | #Constraints: 90120
3438.48/3449.50 c #Conflicts: 1217000 | #Constraints: 91120
3438.48/3449.50 c #Conflicts: 1218000 | #Constraints: 92120
3438.48/3449.50 c #Conflicts: 1219000 | #Constraints: 93120
3438.48/3449.50 c #Conflicts: 1220000 | #Constraints: 94120
3438.48/3449.50 c #Conflicts: 1221000 | #Constraints: 95120
3438.48/3449.50 c #Conflicts: 1222000 | #Constraints: 96120
3438.48/3449.50 c #Conflicts: 1223000 | #Constraints: 97120
3438.48/3449.50 c #Conflicts: 1224000 | #Constraints: 98120
3438.48/3449.50 c #Conflicts: 1225000 | #Constraints: 99120
3438.48/3449.50 c #Conflicts: 1226000 | #Constraints: 100120
3438.48/3449.50 c #Conflicts: 1227000 | #Constraints: 101120
3438.48/3449.50 c #Conflicts: 1228000 | #Constraints: 102120
3438.48/3449.50 c #Conflicts: 1229000 | #Constraints: 103120
3438.48/3449.50 c #Conflicts: 1230000 | #Constraints: 104120
3438.48/3449.50 c #Conflicts: 1231000 | #Constraints: 105120
3438.48/3449.50 c #Conflicts: 1232000 | #Constraints: 106120
3438.48/3449.50 c #Conflicts: 1233000 | #Constraints: 107120
3438.48/3449.50 c #Conflicts: 1234000 | #Constraints: 108120
3438.48/3449.50 c INPROCESSING
3438.48/3449.50 c GARBAGE COLLECT
3438.48/3449.50 c rational objective 38
3535.06/3546.48 c #Conflicts: 1235000 | #Constraints: 87168
3535.06/3546.48 c #Conflicts: 1236000 | #Constraints: 88168
3535.06/3546.48 c #Conflicts: 1237000 | #Constraints: 89168
3535.06/3546.48 c #Conflicts: 1238000 | #Constraints: 90168
3535.06/3546.48 c #Conflicts: 1239000 | #Constraints: 91168
3535.06/3546.48 c #Conflicts: 1240000 | #Constraints: 92168
3535.06/3546.48 c #Conflicts: 1241000 | #Constraints: 93168
3535.06/3546.48 c #Conflicts: 1242000 | #Constraints: 94168
3535.06/3546.48 c #Conflicts: 1243000 | #Constraints: 95168
3535.06/3546.48 c #Conflicts: 1244000 | #Constraints: 96168
3535.06/3546.48 c #Conflicts: 1245000 | #Constraints: 97168
3535.06/3546.48 c #Conflicts: 1246000 | #Constraints: 98168
3535.06/3546.48 c #Conflicts: 1247000 | #Constraints: 99168
3535.06/3546.48 c #Conflicts: 1248000 | #Constraints: 100168
3535.06/3546.48 c #Conflicts: 1249000 | #Constraints: 101168
3535.06/3546.48 c #Conflicts: 1250000 | #Constraints: 102168
3535.06/3546.48 c #Conflicts: 1251000 | #Constraints: 103168
3535.06/3546.48 c #Conflicts: 1252000 | #Constraints: 104168
3535.06/3546.48 c #Conflicts: 1253000 | #Constraints: 105168
3535.06/3546.48 c #Conflicts: 1254000 | #Constraints: 106168
3535.06/3546.48 c #Conflicts: 1255000 | #Constraints: 107168
3535.06/3546.48 c #Conflicts: 1256000 | #Constraints: 108168
3535.06/3546.48 c INPROCESSING
3535.06/3546.48 c GARBAGE COLLECT
3535.06/3546.48 c #Conflicts: 1257000 | #Constraints: 86941
3535.06/3546.48 c #Conflicts: 1258000 | #Constraints: 87941
3535.06/3546.48 c #Conflicts: 1259000 | #Constraints: 88941
3535.06/3546.48 c #Conflicts: 1260000 | #Constraints: 89941
3535.06/3546.48 c #Conflicts: 1261000 | #Constraints: 90941
3535.06/3546.48 c #Conflicts: 1262000 | #Constraints: 91941
3535.06/3546.48 c #Conflicts: 1263000 | #Constraints: 92941
3535.06/3546.48 c #Conflicts: 1264000 | #Constraints: 93941
3535.06/3546.48 c #Conflicts: 1265000 | #Constraints: 94941
3535.06/3546.48 c #Conflicts: 1266000 | #Constraints: 95941
3535.06/3546.48 c #Conflicts: 1267000 | #Constraints: 96941
3535.06/3546.48 c #Conflicts: 1268000 | #Constraints: 97941
3535.06/3546.48 c #Conflicts: 1269000 | #Constraints: 98941
3535.06/3546.48 c #Conflicts: 1270000 | #Constraints: 99941
3535.06/3546.48 c #Conflicts: 1271000 | #Constraints: 100941
3535.06/3546.48 c #Conflicts: 1272000 | #Constraints: 101941
3535.06/3546.48 c #Conflicts: 1273000 | #Constraints: 102941
3535.06/3546.48 c #Conflicts: 1274000 | #Constraints: 103941
3535.06/3546.48 c #Conflicts: 1275000 | #Constraints: 104941
3535.06/3546.48 c #Conflicts: 1276000 | #Constraints: 105941
3535.06/3546.48 c #Conflicts: 1277000 | #Constraints: 106941
3535.06/3546.48 c #Conflicts: 1278000 | #Constraints: 107941
3535.06/3546.48 c #Conflicts: 1279000 | #Constraints: 108941
3535.06/3546.48 c INPROCESSING
3535.06/3546.48 c GARBAGE COLLECT
3535.06/3546.48 c rational objective 38
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61996 MiB free)
memory of node 1: 64465 MiB (63383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508049-1751494099/watcher-4508049-1751494099 -o /tmp/evaluation-result-4508049-1751494099/solver-4508049-1751494099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751486819-68423 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4508049-1751494099.opb PROOFDIR/proof-4508049-1751494099
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69331, runsolver pid=69328
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.18 4.15 4.16 5/265 69333
/proc/meminfo: memFree=128361832/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69333] ppid=69331 vsize=37008 memory=25320 CPUtime=0.08 cores=1,3
/proc/69333/stat : 69333 (pbsuma) R 69331 69331 68411 0 -1 4194304 5597 0 0 0 7 1 0 0 20 0 1 0 65089272 37896192 6330 18446744073709551615 4210688 4653049 140733643058496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 22614016 140733643065571 140733643065906 140733643065906 140733643071471 0
/proc/69333/statm: 9252 6330 960 108 0 6660 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41200 KiB
Current children cumulated memory: 28392 KiB
[startup+0.213963 s]*
/proc/loadavg: 4.18 4.15 4.16 5/265 69333
/proc/meminfo: memFree=128353776/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69333] ppid=69331 vsize=51768 memory=34496 CPUtime=0.2 cores=1,3
/proc/69333/stat : 69333 (pbsuma) R 69331 69331 68411 0 -1 4194304 9020 0 0 0 17 3 0 0 20 0 1 0 65089272 53010432 8592 18446744073709551615 4210688 4653049 140733643058496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 22614016 140733643065571 140733643065906 140733643065906 140733643071471 0
/proc/69333/statm: 12942 8624 992 108 0 10350 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55960 KiB
Current children cumulated memory: 37568 KiB
[startup+0.313793 s]*
/proc/loadavg: 4.18 4.15 4.16 5/265 69333
/proc/meminfo: memFree=128345964/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69333] ppid=69331 vsize=40860 memory=29032 CPUtime=0.29 cores=1,3
/proc/69333/stat : 69333 (pbsuma) R 69331 69331 68411 0 -1 4194304 10209 0 0 0 26 3 0 0 20 0 1 0 65089272 41840640 7258 18446744073709551615 4210688 4653049 140733643058496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 22614016 140733643065571 140733643065906 140733643065906 140733643071471 0
/proc/69333/statm: 10215 7258 992 108 0 7623 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 32104 KiB
[startup+0.700351 s]
/proc/loadavg: 4.18 4.15 4.16 5/265 69333
/proc/meminfo: memFree=128345964/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69333] ppid=69331 vsize=40860 memory=29032 CPUtime=0.67 cores=1,3
/proc/69333/stat : 69333 (pbsuma) R 69331 69331 68411 0 -1 4194304 10235 0 0 0 63 4 0 0 20 0 1 0 65089272 41840640 7258 18446744073709551615 4210688 4653049 140733643058496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 22614016 140733643065571 140733643065906 140733643065906 140733643071471 0
/proc/69333/statm: 10215 7258 992 108 0 7623 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 32104 KiB
[startup+1.50027 s]
/proc/loadavg: 4.18 4.15 4.16 5/265 69333
/proc/meminfo: memFree=128289768/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.11351 s]
/proc/loadavg: 4.17 4.14 4.16 5/265 69334
/proc/meminfo: memFree=128177488/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=140480 memory=97232 CPUtime=1.75 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 14012 0 0 0 157 18 0 0 20 0 1 0 65089404 143851520 24308 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 35120 24308 2336 1147 0 22547 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 144672 KiB
Current children cumulated memory: 100304 KiB
[startup+6.30036 s]
/proc/loadavg: 4.17 4.14 4.16 5/265 69334
/proc/meminfo: memFree=128177488/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=145088 memory=101600 CPUtime=4.93 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 15210 0 0 0 464 29 0 0 20 0 1 0 65089404 148570112 25400 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 36272 25400 2368 1147 0 23699 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 149280 KiB
Current children cumulated memory: 104672 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.14 4.16 5/265 69334
/proc/meminfo: memFree=128167192/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=155924 memory=110648 CPUtime=11.31 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 16841 0 0 0 1074 57 0 0 20 0 1 0 65089404 159666176 27662 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 38981 27662 2400 1147 0 26408 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 160116 KiB
Current children cumulated memory: 113720 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.16 5/265 69335
/proc/meminfo: memFree=128131980/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=157392 memory=112696 CPUtime=24.08 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 17349 0 0 0 2330 78 0 0 20 0 1 0 65089404 161169408 28174 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 39348 28174 2400 1147 0 26775 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 161584 KiB
Current children cumulated memory: 115768 KiB
[startup+51.1136 s]
/proc/loadavg: 4.14 4.14 4.16 5/264 69335
/proc/meminfo: memFree=128114312/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=160932 memory=116280 CPUtime=49.61 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 18264 0 0 0 4879 82 0 0 20 0 1 0 65089404 164794368 29070 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 40233 29070 2400 1147 0 27660 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 165124 KiB
Current children cumulated memory: 119352 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/265 69342
/proc/meminfo: memFree=128003808/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=174060 memory=126976 CPUtime=100.64 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 19404 0 0 0 9946 118 0 0 20 0 1 0 65089404 178237440 31744 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 43515 31744 2400 1147 0 30942 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 178252 KiB
Current children cumulated memory: 130048 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/266 69345
/proc/meminfo: memFree=127936592/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=179780 memory=131072 CPUtime=160.46 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 20426 0 0 0 15908 138 0 0 20 0 1 0 65089404 184094720 32768 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 44945 32768 2400 1147 0 32372 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 183972 KiB
Current children cumulated memory: 134144 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/260 69347
/proc/meminfo: memFree=127912996/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=180436 memory=131712 CPUtime=220.28 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 20571 0 0 0 21859 169 0 0 20 0 1 0 65089404 184766464 32928 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 45109 32928 2400 1147 0 32536 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 184628 KiB
Current children cumulated memory: 134784 KiB
################
# More data... #
################
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3210.85 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28822 0 0 0 319560 1525 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/259 69562
/proc/meminfo: memFree=126295116/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3270.65 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28822 0 0 0 325513 1552 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3271.83 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/258 69564
/proc/meminfo: memFree=126211840/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3330.43 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28822 0 0 0 331457 1586 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/257 69565
/proc/meminfo: memFree=126188112/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3390.24 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28881 0 0 0 337424 1600 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3391.42 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/255 69567
/proc/meminfo: memFree=126161776/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3450.07 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28887 0 0 0 343388 1619 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3451.25 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.15 4.15 5/256 69570
/proc/meminfo: memFree=126114956/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3509.87 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28887 0 0 0 349351 1636 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3511.05 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/255 69572
/proc/meminfo: memFree=126056828/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3569.67 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28890 0 0 0 355291 1676 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 3.58 4.01 4.10 3/242 69638
/proc/meminfo: memFree=127613444/131382116 swapFree=33009904/33010684
[pid=69331] ppid=69328 vsize=4192 memory=3072 CPUtime=1.18 cores=1,3
/proc/69331/stat : 69331 (run-opt-break-l) S 69328 69331 68411 0 -1 4194304 244 10944 0 0 0 0 103 15 20 0 1 0 65089271 4292608 768 18446744073709551615 94890625519616 94890626414149 140736794010704 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890626653200 94890626700944 94890628284416 140736794011925 140736794012126 140736794012126 140736794017728 0
/proc/69331/statm: 1048 768 704 219 0 110 0
[pid=69334] ppid=69331 vsize=233152 memory=187412 CPUtime=3598.83 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69331 69331 68411 0 -1 4194304 28890 0 0 0 358195 1688 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 237344 KiB
Current children cumulated memory: 190484 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.61 s]
# the end of solver process 69331 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.03932 s, system=0.161167 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.6 s]
# the end of solver process 69334 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3584.99 s, system=17.0521 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 3.58 4.01 4.10 3/241 69638
/proc/meminfo: memFree=127613444/131382116 swapFree=33009904/33010684
[pid=69334] ppid=69328 vsize=233152 memory=187412 CPUtime=3600.03 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69328 69331 68411 0 -1 4194304 28890 0 0 0 358315 1688 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current cumulated CPU time of completed processes: 1.20048 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 233152 KiB
Current children cumulated memory: 187412 KiB
[startup+3613.2 s]
/proc/loadavg: 3.58 4.01 4.10 3/241 69638
/proc/meminfo: memFree=127613444/131382116 swapFree=33009904/33010684
[pid=69334] ppid=69328 vsize=233152 memory=187412 CPUtime=3600.43 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69328 69331 68411 0 -1 4194304 28890 0 0 0 358355 1688 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current cumulated CPU time of completed processes: 1.20048 s
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 233152 KiB
Current children cumulated memory: 187412 KiB
[startup+3613.6 s]
/proc/loadavg: 3.58 4.01 4.10 3/241 69638
/proc/meminfo: memFree=127613444/131382116 swapFree=33009904/33010684
[pid=69334] ppid=69328 vsize=233152 memory=187412 CPUtime=3600.83 cores=1,3
/proc/69334/stat : 69334 (roundingsat) R 69328 69331 68411 0 -1 4194304 28890 0 0 0 358395 1688 0 0 20 0 1 0 65089404 238747648 46853 18446744073709551615 4227072 8923433 140737165750496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15437824 140737165752596 140737165752872 140737165752872 140737165758442 0
/proc/69334/statm: 58288 46853 2400 1147 0 45715 0
Current cumulated CPU time of completed processes: 1.20048 s
Current children cumulated CPU time: 3600.83 s
Current children cumulated vsize: 233152 KiB
Current children cumulated memory: 187412 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.6
CPU time (s): 3602.04
CPU user time (s): 3584.99
CPU system time (s): 17.0521
CPU usage (%): 99.6801
Max. virtual memory (cumulated for all children) (KiB): 237344
Max. memory (cumulated for all children) (KiB): 190484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.99
system time used= 17.0521
maximum resident set size= 187412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1040168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3776
involuntary context switches= 19278
# summary of solver processes directly reported to runsolver:
# pid: 69331,69334
# total CPU time (s): 3602.04
# total CPU user time (s): 3584.99
# total CPU system time (s): 17.0521
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9104 second user time and 36.4632 second system time
The end
Begin job on nodeC010 at 2025-07-03 00:08:19
IDJOB=4508049
IDBENCH=158392
IDSOLVER=3360
FILE ID=nodeC010/4508049-1751494099
RUNJOBID= nodeC010-1751486819-68423
SLURM_JOB_ID= 9598541
Free space on /tmp= 432032 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508049-1751494099/watcher-4508049-1751494099 -o /tmp/evaluation-result-4508049-1751494099/solver-4508049-1751494099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751486819-68423 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4508049-1751494099.opb PROOFDIR/proof-4508049-1751494099
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f8efbeb69f885a3b6f9ae87862f80cd
RANDOM SEED=1310453797
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.457
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.682
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.371
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.810
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.493
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.564
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.510
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.888
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128389644 kB
MemAvailable: 129576272 kB
Buffers: 2128 kB
Cached: 1986488 kB
SwapCached: 24 kB
Active: 996336 kB
Inactive: 1400520 kB
Active(anon): 419872 kB
Inactive(anon): 6336 kB
Active(file): 576464 kB
Inactive(file): 1394184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31192 kB
Writeback: 0 kB
AnonPages: 411516 kB
Mapped: 117824 kB
Shmem: 17936 kB
KReclaimable: 111216 kB
Slab: 198164 kB
SReclaimable: 111216 kB
SUnreclaim: 86948 kB
KernelStack: 4320 kB
PageTables: 4052 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 767228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149592 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 159744 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432044 MiB
End job on nodeC010 at 2025-07-03 01:08:32