0.00/0.03 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03 c │ pbsuma -- a PB interface for satsuma │
0.00/0.03 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.03 c │ (c) 2025 Markus Anders │
0.00/0.03 c └────────────────────────────────────────────────────────────────┘
0.00/0.03 c parse 'HOME/instance-4508000-1751508122.opb'
0.00/0.04 c read 1.14MB (16.28ms)
0.00/0.04 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2752] (18.52ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.09 c found row 11x688, generating row predicate
0.00/0.10 c (33.30ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 82875 #edges 295616]
0.00/0.10 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.13 c [group: #symmetries 1.24*10^7 #generators 13] (36.93ms)
0.07/0.13 c
0.07/0.13 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.13 c ran it=0, +gens=2
0.17/0.26 c con best_support=1376, best_gens=13, +gens=224
0.17/0.26 c (126.32ms)
0.17/0.26 c
0.17/0.26 c finalize break order and special generators
0.17/0.26 c
0.17/0.26 c add generic predicates (break_depth=20)
0.17/0.27 c added predicates for 239 generators (6.89ms)
0.17/0.27 c
0.17/0.27 c generation finished
0.17/0.27 c [sbp: #constraints 34482 #add_vars 11411]
0.17/0.27 c
0.17/0.27 c write result to 'HOME/instance-4508000-1751508122.opb.pre'
0.17/0.27 c wrote 2.47MB (5.39ms)
0.17/0.27 c ------------------------------------------------------------------
0.17/0.27 c 126.32ms 51.30% optimize_gens
0.17/0.27 c 36.93ms 15.00% detect_generic
0.17/0.27 c 33.30ms 13.52% detect_special
0.17/0.27 c 18.52ms 7.52% approx_orbits
0.17/0.27 c 16.28ms 6.61% parse
0.17/0.27 c 6.89ms 2.80% break_generic
0.17/0.27 c 5.39ms 2.19% output
0.17/0.27 c 1.40ms 0.57% finalize_order
0.17/0.27 c 1.21ms 0.49% other
0.17/0.27 c ───────────────────────────────────────────────
0.17/0.27 c 246.24ms 100% total
0.17/0.27 c ------------------------------------------------------------------
0.17/0.29 c RoundingSat 2
0.17/0.29 c branch pb25
0.17/0.29 c commit 63f22ad
0.45/0.57 c #variables 21043 #constraints 64102
0.45/0.57 c objective is ce32
0.74/0.81 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.74/0.81 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.74/0.81 c bounds 63 >= 0 @ 0.44801
9.02/9.18 c #Conflicts: 1000 | #Constraints: 65102
9.02/9.18 c #Conflicts: 2000 | #Constraints: 66102
9.02/9.18 c INPROCESSING
9.02/9.18 c #Conflicts: 3000 | #Constraints: 66125
9.02/9.18 c #Conflicts: 4000 | #Constraints: 67125
9.02/9.18 c INPROCESSING
9.02/9.18 c GARBAGE COLLECT
9.02/9.18 c #Conflicts: 5000 | #Constraints: 66533
9.02/9.18 c #Conflicts: 6000 | #Constraints: 67533
9.02/9.18 c INPROCESSING
9.02/9.18 c #Conflicts: 7000 | #Constraints: 66540
9.02/9.18 c #Conflicts: 8000 | #Constraints: 67540
9.02/9.18 c #Conflicts: 9000 | #Constraints: 68540
9.02/9.18 c INPROCESSING
9.02/9.18 c GARBAGE COLLECT
9.02/9.18 c rational objective 0
11.01/11.12 c #Conflicts: 10000 | #Constraints: 67258
11.01/11.12 c #Conflicts: 11000 | #Constraints: 68258
11.01/11.12 c #Conflicts: 12000 | #Constraints: 69258
11.01/11.12 c INPROCESSING
11.01/11.12 c rational objective 0
22.17/22.35 c bounds 55 >= 0 @ 21.6729
22.17/22.36 c bounds 53 >= 0 @ 21.6819
22.27/22.49 c #Conflicts: 13000 | #Constraints: 67749
22.27/22.49 c bounds 45 >= 0 @ 21.7847
22.37/22.57 c #Conflicts: 14000 | #Constraints: 68750
22.37/22.57 c bounds 45 >= 5 @ 21.8595
22.37/22.58 c bounds 43 >= 5 @ 21.8659
46.49/46.79 c #Conflicts: 15000 | #Constraints: 69754
46.49/46.79 c INPROCESSING
46.49/46.79 c GARBAGE COLLECT
46.49/46.79 c #Conflicts: 16000 | #Constraints: 67962
46.49/46.79 c #Conflicts: 17000 | #Constraints: 68962
46.49/46.79 c #Conflicts: 18000 | #Constraints: 69962
46.49/46.79 c INPROCESSING
46.49/46.79 c #Conflicts: 19000 | #Constraints: 67970
46.49/46.79 c #Conflicts: 20000 | #Constraints: 68970
46.49/46.79 c #Conflicts: 21000 | #Constraints: 69970
46.49/46.79 c INPROCESSING
46.49/46.79 c GARBAGE COLLECT
46.49/46.79 c #Conflicts: 22000 | #Constraints: 67774
46.49/46.79 c #Conflicts: 23000 | #Constraints: 68774
46.49/46.79 c #Conflicts: 24000 | #Constraints: 69774
46.49/46.79 c #Conflicts: 25000 | #Constraints: 70774
46.49/46.79 c INPROCESSING
46.49/46.79 c GARBAGE COLLECT
46.49/46.79 c #Conflicts: 26000 | #Constraints: 68375
46.49/46.79 c #Conflicts: 27000 | #Constraints: 69375
46.49/46.79 c #Conflicts: 28000 | #Constraints: 70375
46.49/46.79 c #Conflicts: 29000 | #Constraints: 71375
46.49/46.79 c INPROCESSING
46.49/46.79 c GARBAGE COLLECT
46.49/46.79 c rational objective 5
46.89/47.19 c bounds 43 >= 10 @ 46.2074
88.26/88.68 c #Conflicts: 30000 | #Constraints: 68806
88.26/88.68 c #Conflicts: 31000 | #Constraints: 69806
88.26/88.68 c #Conflicts: 32000 | #Constraints: 70806
88.26/88.68 c #Conflicts: 33000 | #Constraints: 71806
88.26/88.68 c INPROCESSING
88.26/88.68 c GARBAGE COLLECT
88.26/88.68 c rational objective 10
116.87/117.35 c #Conflicts: 34000 | #Constraints: 69051
116.87/117.35 c #Conflicts: 35000 | #Constraints: 70051
116.87/117.35 c #Conflicts: 36000 | #Constraints: 71051
116.87/117.35 c #Conflicts: 37000 | #Constraints: 72051
116.87/117.35 c INPROCESSING
116.87/117.35 c GARBAGE COLLECT
116.87/117.35 c #Conflicts: 38000 | #Constraints: 69019
116.87/117.35 c #Conflicts: 39000 | #Constraints: 70019
116.87/117.35 c #Conflicts: 40000 | #Constraints: 71019
116.87/117.35 c #Conflicts: 41000 | #Constraints: 72019
116.87/117.35 c INPROCESSING
116.87/117.35 c GARBAGE COLLECT
116.87/117.35 c #Conflicts: 42000 | #Constraints: 68800
116.87/117.35 c #Conflicts: 43000 | #Constraints: 69800
116.87/117.35 c #Conflicts: 44000 | #Constraints: 70800
116.87/117.35 c #Conflicts: 45000 | #Constraints: 71800
116.87/117.35 c #Conflicts: 46000 | #Constraints: 72800
116.87/117.35 c INPROCESSING
116.87/117.35 c GARBAGE COLLECT
116.87/117.35 c #Conflicts: 47000 | #Constraints: 69390
116.87/117.35 c #Conflicts: 48000 | #Constraints: 70390
116.87/117.35 c #Conflicts: 49000 | #Constraints: 71390
116.87/117.35 c #Conflicts: 50000 | #Constraints: 72390
116.87/117.35 c #Conflicts: 51000 | #Constraints: 73390
116.87/117.35 c INPROCESSING
116.87/117.35 c GARBAGE COLLECT
116.87/117.35 c #Conflicts: 52000 | #Constraints: 69786
116.87/117.35 c #Conflicts: 53000 | #Constraints: 70786
116.87/117.35 c #Conflicts: 54000 | #Constraints: 71786
116.87/117.35 c #Conflicts: 55000 | #Constraints: 72786
116.87/117.35 c #Conflicts: 56000 | #Constraints: 73786
116.87/117.35 c INPROCESSING
116.87/117.35 c GARBAGE COLLECT
116.87/117.35 c #Conflicts: 57000 | #Constraints: 69988
116.87/117.35 c #Conflicts: 58000 | #Constraints: 70988
116.87/117.35 c #Conflicts: 59000 | #Constraints: 71988
116.87/117.35 c #Conflicts: 60000 | #Constraints: 72988
116.87/117.35 c #Conflicts: 61000 | #Constraints: 73988
116.87/117.35 c INPROCESSING
116.87/117.35 c GARBAGE COLLECT
116.87/117.35 c rational objective 10
134.82/135.32 c #Conflicts: 62000 | #Constraints: 69999
134.82/135.32 c #Conflicts: 63000 | #Constraints: 70999
134.82/135.32 c #Conflicts: 64000 | #Constraints: 71999
134.82/135.32 c #Conflicts: 65000 | #Constraints: 72999
134.82/135.32 c #Conflicts: 66000 | #Constraints: 73999
134.82/135.32 c INPROCESSING
134.82/135.32 c GARBAGE COLLECT
134.82/135.32 c rational objective 10
174.82/175.43 c #Conflicts: 67000 | #Constraints: 69852
174.82/175.43 c #Conflicts: 68000 | #Constraints: 70852
174.82/175.43 c #Conflicts: 69000 | #Constraints: 71852
174.82/175.43 c #Conflicts: 70000 | #Constraints: 72852
174.82/175.43 c #Conflicts: 71000 | #Constraints: 73852
174.82/175.43 c #Conflicts: 72000 | #Constraints: 74852
174.82/175.43 c INPROCESSING
174.82/175.43 c GARBAGE COLLECT
174.82/175.43 c rational objective 10
196.17/196.82 c #Conflicts: 73000 | #Constraints: 68706
196.17/196.82 c #Conflicts: 74000 | #Constraints: 69706
196.17/196.82 c #Conflicts: 75000 | #Constraints: 70706
196.17/196.82 c #Conflicts: 76000 | #Constraints: 71706
196.17/196.82 c #Conflicts: 77000 | #Constraints: 72706
196.17/196.82 c #Conflicts: 78000 | #Constraints: 73706
196.17/196.82 c INPROCESSING
196.17/196.82 c GARBAGE COLLECT
196.17/196.82 c #Conflicts: 79000 | #Constraints: 69064
196.17/196.82 c #Conflicts: 80000 | #Constraints: 70064
196.17/196.82 c #Conflicts: 81000 | #Constraints: 71064
196.17/196.82 c #Conflicts: 82000 | #Constraints: 72064
196.17/196.82 c #Conflicts: 83000 | #Constraints: 73064
196.17/196.82 c #Conflicts: 84000 | #Constraints: 74064
196.17/196.82 c INPROCESSING
196.17/196.82 c GARBAGE COLLECT
196.17/196.82 c #Conflicts: 85000 | #Constraints: 69242
196.17/196.82 c #Conflicts: 86000 | #Constraints: 70242
196.17/196.82 c #Conflicts: 87000 | #Constraints: 71242
196.17/196.82 c #Conflicts: 88000 | #Constraints: 72242
196.17/196.82 c #Conflicts: 89000 | #Constraints: 73242
196.17/196.82 c #Conflicts: 90000 | #Constraints: 74242
196.17/196.82 c INPROCESSING
196.17/196.82 c GARBAGE COLLECT
196.17/196.82 c #Conflicts: 91000 | #Constraints: 69230
196.17/196.82 c #Conflicts: 92000 | #Constraints: 70230
196.17/196.82 c #Conflicts: 93000 | #Constraints: 71230
196.17/196.82 c #Conflicts: 94000 | #Constraints: 72230
196.17/196.82 c #Conflicts: 95000 | #Constraints: 73230
196.17/196.82 c bounds 43 >= 15 @ 194.652
232.18/232.95 c #Conflicts: 96000 | #Constraints: 74236
232.18/232.95 c INPROCESSING
232.18/232.95 c GARBAGE COLLECT
232.18/232.95 c rational objective 15
251.35/252.15 c #Conflicts: 97000 | #Constraints: 69032
251.35/252.15 c #Conflicts: 98000 | #Constraints: 70032
251.35/252.15 c #Conflicts: 99000 | #Constraints: 71032
251.35/252.15 c #Conflicts: 100000 | #Constraints: 72032
251.35/252.15 c #Conflicts: 101000 | #Constraints: 73032
251.35/252.15 c #Conflicts: 102000 | #Constraints: 74032
251.35/252.15 c #Conflicts: 103000 | #Constraints: 75032
251.35/252.15 c INPROCESSING
251.35/252.15 c GARBAGE COLLECT
251.35/252.15 c #Conflicts: 104000 | #Constraints: 69620
251.35/252.15 c #Conflicts: 105000 | #Constraints: 70620
251.35/252.15 c #Conflicts: 106000 | #Constraints: 71620
251.35/252.15 c #Conflicts: 107000 | #Constraints: 72620
251.35/252.15 c #Conflicts: 108000 | #Constraints: 73620
251.35/252.15 c #Conflicts: 109000 | #Constraints: 74620
251.35/252.15 c #Conflicts: 110000 | #Constraints: 75620
251.35/252.15 c INPROCESSING
251.35/252.15 c GARBAGE COLLECT
251.35/252.15 c #Conflicts: 111000 | #Constraints: 70016
251.35/252.15 c #Conflicts: 112000 | #Constraints: 71016
251.35/252.15 c #Conflicts: 113000 | #Constraints: 72016
251.35/252.15 c #Conflicts: 114000 | #Constraints: 73016
251.35/252.15 c #Conflicts: 115000 | #Constraints: 74016
251.35/252.15 c #Conflicts: 116000 | #Constraints: 75016
251.35/252.15 c #Conflicts: 117000 | #Constraints: 76016
251.35/252.15 c INPROCESSING
251.35/252.15 c GARBAGE COLLECT
251.35/252.15 c rational objective 15
262.92/263.77 c #Conflicts: 118000 | #Constraints: 70261
262.92/263.77 c #Conflicts: 119000 | #Constraints: 71261
262.92/263.77 c #Conflicts: 120000 | #Constraints: 72261
262.92/263.77 c #Conflicts: 121000 | #Constraints: 73261
262.92/263.77 c #Conflicts: 122000 | #Constraints: 74261
262.92/263.77 c #Conflicts: 123000 | #Constraints: 75261
262.92/263.77 c #Conflicts: 124000 | #Constraints: 76261
262.92/263.77 c INPROCESSING
262.92/263.77 c GARBAGE COLLECT
262.92/263.77 c rational objective 15
276.59/277.43 c #Conflicts: 125000 | #Constraints: 70285
276.59/277.43 c #Conflicts: 126000 | #Constraints: 71285
276.59/277.43 c #Conflicts: 127000 | #Constraints: 72285
276.59/277.43 c #Conflicts: 128000 | #Constraints: 73285
276.59/277.43 c #Conflicts: 129000 | #Constraints: 74285
276.59/277.43 c #Conflicts: 130000 | #Constraints: 75285
276.59/277.43 c #Conflicts: 131000 | #Constraints: 76285
276.59/277.43 c INPROCESSING
276.59/277.43 c GARBAGE COLLECT
276.59/277.43 c rational objective 15
317.49/318.48 c #Conflicts: 132000 | #Constraints: 70095
317.49/318.48 c #Conflicts: 133000 | #Constraints: 71095
317.49/318.48 c #Conflicts: 134000 | #Constraints: 72095
317.49/318.48 c #Conflicts: 135000 | #Constraints: 73095
317.49/318.48 c #Conflicts: 136000 | #Constraints: 74095
317.49/318.48 c #Conflicts: 137000 | #Constraints: 75095
317.49/318.48 c #Conflicts: 138000 | #Constraints: 76095
317.49/318.48 c #Conflicts: 139000 | #Constraints: 77095
317.49/318.48 c INPROCESSING
317.49/318.48 c GARBAGE COLLECT
317.49/318.48 c rational objective 15
346.12/347.17 c #Conflicts: 140000 | #Constraints: 70676
346.12/347.17 c #Conflicts: 141000 | #Constraints: 71676
346.12/347.17 c #Conflicts: 142000 | #Constraints: 72676
346.12/347.17 c #Conflicts: 143000 | #Constraints: 73676
346.12/347.17 c #Conflicts: 144000 | #Constraints: 74676
346.12/347.17 c #Conflicts: 145000 | #Constraints: 75676
346.12/347.17 c #Conflicts: 146000 | #Constraints: 76676
346.12/347.17 c #Conflicts: 147000 | #Constraints: 77676
346.12/347.17 c INPROCESSING
346.12/347.17 c GARBAGE COLLECT
346.12/347.17 c #Conflicts: 148000 | #Constraints: 69320
346.12/347.17 c #Conflicts: 149000 | #Constraints: 70320
346.12/347.17 c #Conflicts: 150000 | #Constraints: 71320
346.12/347.17 c #Conflicts: 151000 | #Constraints: 72320
346.12/347.17 c #Conflicts: 152000 | #Constraints: 73320
346.12/347.17 c #Conflicts: 153000 | #Constraints: 74320
346.12/347.17 c #Conflicts: 154000 | #Constraints: 75320
346.12/347.17 c #Conflicts: 155000 | #Constraints: 76320
346.12/347.17 c INPROCESSING
346.12/347.17 c GARBAGE COLLECT
346.12/347.17 c #Conflicts: 156000 | #Constraints: 69509
346.12/347.17 c #Conflicts: 157000 | #Constraints: 70509
346.12/347.17 c #Conflicts: 158000 | #Constraints: 71509
346.12/347.17 c #Conflicts: 159000 | #Constraints: 72509
346.12/347.17 c #Conflicts: 160000 | #Constraints: 73509
346.12/347.17 c #Conflicts: 161000 | #Constraints: 74509
346.12/347.17 c #Conflicts: 162000 | #Constraints: 75509
346.12/347.17 c #Conflicts: 163000 | #Constraints: 76510
346.12/347.17 c INPROCESSING
346.12/347.17 c GARBAGE COLLECT
346.12/347.17 c rational objective 15
358.09/359.12 c #Conflicts: 164000 | #Constraints: 67609
358.09/359.12 c #Conflicts: 165000 | #Constraints: 68609
358.09/359.12 c #Conflicts: 166000 | #Constraints: 69609
358.09/359.12 c #Conflicts: 167000 | #Constraints: 70609
358.09/359.12 c #Conflicts: 168000 | #Constraints: 71609
358.09/359.12 c #Conflicts: 169000 | #Constraints: 72609
358.09/359.12 c #Conflicts: 170000 | #Constraints: 73609
358.09/359.12 c #Conflicts: 171000 | #Constraints: 74609
358.09/359.12 c INPROCESSING
358.09/359.12 c GARBAGE COLLECT
358.09/359.12 c rational objective 15
371.25/372.39 c #Conflicts: 172000 | #Constraints: 67407
371.25/372.39 c #Conflicts: 173000 | #Constraints: 68407
371.25/372.39 c #Conflicts: 174000 | #Constraints: 69407
371.25/372.39 c #Conflicts: 175000 | #Constraints: 70407
371.25/372.39 c #Conflicts: 176000 | #Constraints: 71407
371.25/372.39 c #Conflicts: 177000 | #Constraints: 72407
371.25/372.39 c #Conflicts: 178000 | #Constraints: 73407
371.25/372.39 c #Conflicts: 179000 | #Constraints: 74407
371.25/372.39 c #Conflicts: 180000 | #Constraints: 75407
371.25/372.39 c INPROCESSING
371.25/372.39 c GARBAGE COLLECT
371.25/372.39 c rational objective 15
405.56/406.76 c #Conflicts: 181000 | #Constraints: 68055
405.56/406.76 c #Conflicts: 182000 | #Constraints: 69055
405.56/406.76 c #Conflicts: 183000 | #Constraints: 70055
405.56/406.76 c #Conflicts: 184000 | #Constraints: 71055
405.56/406.76 c #Conflicts: 185000 | #Constraints: 72055
405.56/406.76 c #Conflicts: 186000 | #Constraints: 73055
405.56/406.76 c #Conflicts: 187000 | #Constraints: 74055
405.56/406.76 c #Conflicts: 188000 | #Constraints: 75055
405.56/406.76 c #Conflicts: 189000 | #Constraints: 76055
405.56/406.76 c INPROCESSING
405.56/406.76 c GARBAGE COLLECT
405.56/406.76 c rational objective 15
424.21/425.47 c #Conflicts: 190000 | #Constraints: 68435
424.21/425.47 c #Conflicts: 191000 | #Constraints: 69435
424.21/425.47 c #Conflicts: 192000 | #Constraints: 70435
424.21/425.47 c #Conflicts: 193000 | #Constraints: 71435
424.21/425.47 c #Conflicts: 194000 | #Constraints: 72435
424.21/425.47 c #Conflicts: 195000 | #Constraints: 73435
424.21/425.47 c #Conflicts: 196000 | #Constraints: 74435
424.21/425.47 c #Conflicts: 197000 | #Constraints: 75435
424.21/425.47 c #Conflicts: 198000 | #Constraints: 76435
424.21/425.47 c INPROCESSING
424.21/425.47 c GARBAGE COLLECT
424.21/425.47 c rational objective 15
466.09/467.40 c #Conflicts: 199000 | #Constraints: 68627
466.09/467.40 c #Conflicts: 200000 | #Constraints: 69627
466.09/467.40 c #Conflicts: 201000 | #Constraints: 70627
466.09/467.40 c #Conflicts: 202000 | #Constraints: 71627
466.09/467.40 c #Conflicts: 203000 | #Constraints: 72627
466.09/467.40 c #Conflicts: 204000 | #Constraints: 73627
466.09/467.40 c #Conflicts: 205000 | #Constraints: 74627
466.09/467.40 c #Conflicts: 206000 | #Constraints: 75627
466.09/467.40 c #Conflicts: 207000 | #Constraints: 76627
466.09/467.40 c INPROCESSING
466.09/467.40 c GARBAGE COLLECT
466.09/467.40 c rational objective 15
510.56/512.04 c #Conflicts: 208000 | #Constraints: 68618
510.56/512.04 c #Conflicts: 209000 | #Constraints: 69618
510.56/512.04 c #Conflicts: 210000 | #Constraints: 70618
510.56/512.04 c #Conflicts: 211000 | #Constraints: 71618
510.56/512.04 c #Conflicts: 212000 | #Constraints: 72618
510.56/512.04 c #Conflicts: 213000 | #Constraints: 73618
510.56/512.04 c #Conflicts: 214000 | #Constraints: 74618
510.56/512.04 c #Conflicts: 215000 | #Constraints: 75618
510.56/512.04 c #Conflicts: 216000 | #Constraints: 76618
510.56/512.04 c INPROCESSING
510.56/512.04 c GARBAGE COLLECT
510.56/512.04 c #Conflicts: 217000 | #Constraints: 68409
510.56/512.04 c #Conflicts: 218000 | #Constraints: 69409
510.56/512.04 c #Conflicts: 219000 | #Constraints: 70409
510.56/512.04 c #Conflicts: 220000 | #Constraints: 71409
510.56/512.04 c #Conflicts: 221000 | #Constraints: 72409
510.56/512.04 c #Conflicts: 222000 | #Constraints: 73409
510.56/512.04 c #Conflicts: 223000 | #Constraints: 74409
510.56/512.04 c #Conflicts: 224000 | #Constraints: 75409
510.56/512.04 c #Conflicts: 225000 | #Constraints: 76409
510.56/512.04 c #Conflicts: 226000 | #Constraints: 77409
510.56/512.04 c INPROCESSING
510.56/512.04 c GARBAGE COLLECT
510.56/512.04 c rational objective 15
553.13/554.73 c #Conflicts: 227000 | #Constraints: 69013
553.13/554.73 c #Conflicts: 228000 | #Constraints: 70013
553.13/554.73 c #Conflicts: 229000 | #Constraints: 71013
553.13/554.73 c #Conflicts: 230000 | #Constraints: 72013
553.13/554.73 c #Conflicts: 231000 | #Constraints: 73013
553.13/554.73 c #Conflicts: 232000 | #Constraints: 74013
553.13/554.73 c #Conflicts: 233000 | #Constraints: 75013
553.13/554.73 c #Conflicts: 234000 | #Constraints: 76013
553.13/554.73 c #Conflicts: 235000 | #Constraints: 77013
553.13/554.73 c #Conflicts: 236000 | #Constraints: 78013
553.13/554.73 c INPROCESSING
553.13/554.73 c GARBAGE COLLECT
553.13/554.73 c rational objective 15
572.18/573.87 c #Conflicts: 237000 | #Constraints: 69407
572.18/573.87 c #Conflicts: 238000 | #Constraints: 70407
572.18/573.87 c #Conflicts: 239000 | #Constraints: 71407
572.18/573.87 c #Conflicts: 240000 | #Constraints: 72407
572.18/573.87 c #Conflicts: 241000 | #Constraints: 73407
572.18/573.87 c #Conflicts: 242000 | #Constraints: 74407
572.18/573.87 c #Conflicts: 243000 | #Constraints: 75407
572.18/573.87 c #Conflicts: 244000 | #Constraints: 76407
572.18/573.87 c #Conflicts: 245000 | #Constraints: 77407
572.18/573.87 c #Conflicts: 246000 | #Constraints: 78407
572.18/573.87 c INPROCESSING
572.18/573.87 c GARBAGE COLLECT
572.18/573.87 c #Conflicts: 247000 | #Constraints: 69611
572.18/573.87 c #Conflicts: 248000 | #Constraints: 70611
572.18/573.87 c #Conflicts: 249000 | #Constraints: 71611
572.18/573.87 c #Conflicts: 250000 | #Constraints: 72611
572.18/573.87 c #Conflicts: 251000 | #Constraints: 73611
572.18/573.87 c #Conflicts: 252000 | #Constraints: 74611
572.18/573.87 c #Conflicts: 253000 | #Constraints: 75611
572.18/573.87 c #Conflicts: 254000 | #Constraints: 76611
572.18/573.87 c #Conflicts: 255000 | #Constraints: 77611
572.18/573.87 c #Conflicts: 256000 | #Constraints: 78611
572.18/573.87 c INPROCESSING
572.18/573.87 c GARBAGE COLLECT
572.18/573.87 c rational objective 15
589.22/590.92 c #Conflicts: 257000 | #Constraints: 69608
589.22/590.92 c #Conflicts: 258000 | #Constraints: 70608
589.22/590.92 c #Conflicts: 259000 | #Constraints: 71608
589.22/590.92 c #Conflicts: 260000 | #Constraints: 72608
589.22/590.92 c #Conflicts: 261000 | #Constraints: 73608
589.22/590.92 c #Conflicts: 262000 | #Constraints: 74608
589.22/590.92 c #Conflicts: 263000 | #Constraints: 75608
589.22/590.92 c #Conflicts: 264000 | #Constraints: 76608
589.22/590.92 c #Conflicts: 265000 | #Constraints: 77608
589.22/590.92 c #Conflicts: 266000 | #Constraints: 78608
589.22/590.92 c INPROCESSING
589.22/590.92 c GARBAGE COLLECT
589.22/590.92 c rational objective 15
626.92/628.73 c #Conflicts: 267000 | #Constraints: 69413
626.92/628.73 c #Conflicts: 268000 | #Constraints: 70413
626.92/628.73 c #Conflicts: 269000 | #Constraints: 71413
626.92/628.73 c #Conflicts: 270000 | #Constraints: 72413
626.92/628.73 c #Conflicts: 271000 | #Constraints: 73413
626.92/628.73 c #Conflicts: 272000 | #Constraints: 74413
626.92/628.73 c #Conflicts: 273000 | #Constraints: 75413
626.92/628.73 c #Conflicts: 274000 | #Constraints: 76413
626.92/628.73 c #Conflicts: 275000 | #Constraints: 77413
626.92/628.73 c #Conflicts: 276000 | #Constraints: 78413
626.92/628.73 c #Conflicts: 277000 | #Constraints: 79413
626.92/628.73 c INPROCESSING
626.92/628.73 c GARBAGE COLLECT
626.92/628.73 c rational objective 15
641.58/643.43 c #Conflicts: 278000 | #Constraints: 70015
641.58/643.43 c #Conflicts: 279000 | #Constraints: 71015
641.58/643.43 c #Conflicts: 280000 | #Constraints: 72015
641.58/643.43 c #Conflicts: 281000 | #Constraints: 73015
641.58/643.43 c #Conflicts: 282000 | #Constraints: 74015
641.58/643.43 c #Conflicts: 283000 | #Constraints: 75015
641.58/643.43 c #Conflicts: 284000 | #Constraints: 76015
641.58/643.43 c #Conflicts: 285000 | #Constraints: 77015
641.58/643.43 c #Conflicts: 286000 | #Constraints: 78015
641.58/643.43 c #Conflicts: 287000 | #Constraints: 79015
641.58/643.43 c #Conflicts: 288000 | #Constraints: 80015
641.58/643.43 c INPROCESSING
641.58/643.43 c GARBAGE COLLECT
641.58/643.43 c rational objective 15
654.74/656.60 c #Conflicts: 289000 | #Constraints: 70439
654.74/656.60 c #Conflicts: 290000 | #Constraints: 71439
654.74/656.60 c #Conflicts: 291000 | #Constraints: 72439
654.74/656.60 c #Conflicts: 292000 | #Constraints: 73439
654.74/656.60 c #Conflicts: 293000 | #Constraints: 74439
654.74/656.60 c #Conflicts: 294000 | #Constraints: 75439
654.74/656.60 c #Conflicts: 295000 | #Constraints: 76439
654.74/656.60 c #Conflicts: 296000 | #Constraints: 77439
654.74/656.60 c #Conflicts: 297000 | #Constraints: 78439
654.74/656.60 c #Conflicts: 298000 | #Constraints: 79439
654.74/656.60 c #Conflicts: 299000 | #Constraints: 80439
654.74/656.60 c INPROCESSING
654.74/656.60 c GARBAGE COLLECT
654.74/656.60 c rational objective 15
669.60/671.59 c #Conflicts: 300000 | #Constraints: 70628
669.60/671.59 c #Conflicts: 301000 | #Constraints: 71628
669.60/671.59 c #Conflicts: 302000 | #Constraints: 72628
669.60/671.59 c #Conflicts: 303000 | #Constraints: 73628
669.60/671.59 c #Conflicts: 304000 | #Constraints: 74628
669.60/671.59 c #Conflicts: 305000 | #Constraints: 75628
669.60/671.59 c #Conflicts: 306000 | #Constraints: 76628
669.60/671.59 c #Conflicts: 307000 | #Constraints: 77628
669.60/671.59 c #Conflicts: 308000 | #Constraints: 78628
669.60/671.59 c #Conflicts: 309000 | #Constraints: 79628
669.60/671.59 c #Conflicts: 310000 | #Constraints: 80628
669.60/671.59 c INPROCESSING
669.60/671.59 c GARBAGE COLLECT
669.60/671.59 c rational objective 15
681.87/683.81 c #Conflicts: 311000 | #Constraints: 70647
681.87/683.81 c #Conflicts: 312000 | #Constraints: 71647
681.87/683.81 c #Conflicts: 313000 | #Constraints: 72647
681.87/683.81 c #Conflicts: 314000 | #Constraints: 73647
681.87/683.81 c #Conflicts: 315000 | #Constraints: 74647
681.87/683.81 c #Conflicts: 316000 | #Constraints: 75647
681.87/683.81 c #Conflicts: 317000 | #Constraints: 76647
681.87/683.81 c #Conflicts: 318000 | #Constraints: 77647
681.87/683.81 c #Conflicts: 319000 | #Constraints: 78647
681.87/683.81 c #Conflicts: 320000 | #Constraints: 79647
681.87/683.81 c #Conflicts: 321000 | #Constraints: 80647
681.87/683.81 c INPROCESSING
681.87/683.81 c GARBAGE COLLECT
681.87/683.81 c rational objective 15
715.08/717.12 c #Conflicts: 322000 | #Constraints: 70438
715.08/717.12 c #Conflicts: 323000 | #Constraints: 71438
715.08/717.12 c #Conflicts: 324000 | #Constraints: 72438
715.08/717.12 c #Conflicts: 325000 | #Constraints: 73438
715.08/717.12 c #Conflicts: 326000 | #Constraints: 74438
715.08/717.12 c #Conflicts: 327000 | #Constraints: 75438
715.08/717.12 c #Conflicts: 328000 | #Constraints: 76438
715.08/717.12 c #Conflicts: 329000 | #Constraints: 77438
715.08/717.12 c #Conflicts: 330000 | #Constraints: 78438
715.08/717.12 c #Conflicts: 331000 | #Constraints: 79438
715.08/717.12 c #Conflicts: 332000 | #Constraints: 80438
715.08/717.12 c #Conflicts: 333000 | #Constraints: 81438
715.08/717.12 c INPROCESSING
715.08/717.12 c GARBAGE COLLECT
715.08/717.12 c rational objective 15
739.71/741.88 c #Conflicts: 334000 | #Constraints: 71034
739.71/741.88 c #Conflicts: 335000 | #Constraints: 72034
739.71/741.88 c #Conflicts: 336000 | #Constraints: 73034
739.71/741.88 c #Conflicts: 337000 | #Constraints: 74034
739.71/741.88 c #Conflicts: 338000 | #Constraints: 75034
739.71/741.88 c #Conflicts: 339000 | #Constraints: 76034
739.71/741.88 c #Conflicts: 340000 | #Constraints: 77034
739.71/741.88 c #Conflicts: 341000 | #Constraints: 78034
739.71/741.88 c #Conflicts: 342000 | #Constraints: 79034
739.71/741.88 c #Conflicts: 343000 | #Constraints: 80034
739.71/741.88 c #Conflicts: 344000 | #Constraints: 81034
739.71/741.88 c #Conflicts: 345000 | #Constraints: 82034
739.71/741.88 c INPROCESSING
739.71/741.88 c GARBAGE COLLECT
739.71/741.88 c rational objective 15
753.97/756.11 c #Conflicts: 346000 | #Constraints: 71426
753.97/756.11 c #Conflicts: 347000 | #Constraints: 72426
753.97/756.11 c #Conflicts: 348000 | #Constraints: 73426
753.97/756.11 c #Conflicts: 349000 | #Constraints: 74426
753.97/756.11 c #Conflicts: 350000 | #Constraints: 75426
753.97/756.11 c #Conflicts: 351000 | #Constraints: 76426
753.97/756.11 c #Conflicts: 352000 | #Constraints: 77426
753.97/756.11 c #Conflicts: 353000 | #Constraints: 78426
753.97/756.11 c #Conflicts: 354000 | #Constraints: 79426
753.97/756.11 c #Conflicts: 355000 | #Constraints: 80426
753.97/756.11 c #Conflicts: 356000 | #Constraints: 81426
753.97/756.11 c #Conflicts: 357000 | #Constraints: 82426
753.97/756.11 c INPROCESSING
753.97/756.11 c GARBAGE COLLECT
753.97/756.11 c rational objective 15
789.76/792.02 c #Conflicts: 358000 | #Constraints: 71625
789.76/792.02 c #Conflicts: 359000 | #Constraints: 72625
789.76/792.02 c #Conflicts: 360000 | #Constraints: 73625
789.76/792.02 c #Conflicts: 361000 | #Constraints: 74625
789.76/792.02 c #Conflicts: 362000 | #Constraints: 75625
789.76/792.02 c #Conflicts: 363000 | #Constraints: 76625
789.76/792.02 c #Conflicts: 364000 | #Constraints: 77625
789.76/792.02 c #Conflicts: 365000 | #Constraints: 78625
789.76/792.02 c #Conflicts: 366000 | #Constraints: 79625
789.76/792.02 c #Conflicts: 367000 | #Constraints: 80625
789.76/792.02 c #Conflicts: 368000 | #Constraints: 81625
789.76/792.02 c #Conflicts: 369000 | #Constraints: 82625
789.76/792.02 c INPROCESSING
789.76/792.02 c GARBAGE COLLECT
789.76/792.02 c rational objective 15
813.19/815.54 c #Conflicts: 370000 | #Constraints: 71684
813.19/815.54 c #Conflicts: 371000 | #Constraints: 72684
813.19/815.54 c #Conflicts: 372000 | #Constraints: 73684
813.19/815.54 c #Conflicts: 373000 | #Constraints: 74684
813.19/815.54 c #Conflicts: 374000 | #Constraints: 75684
813.19/815.54 c #Conflicts: 375000 | #Constraints: 76684
813.19/815.54 c #Conflicts: 376000 | #Constraints: 77684
813.19/815.54 c #Conflicts: 377000 | #Constraints: 78684
813.19/815.54 c #Conflicts: 378000 | #Constraints: 79684
813.19/815.54 c #Conflicts: 379000 | #Constraints: 80684
813.19/815.54 c #Conflicts: 380000 | #Constraints: 81684
813.19/815.54 c #Conflicts: 381000 | #Constraints: 82684
813.19/815.54 c INPROCESSING
813.19/815.54 c GARBAGE COLLECT
813.19/815.54 c rational objective 15
853.18/855.64 c #Conflicts: 382000 | #Constraints: 71516
853.18/855.64 c #Conflicts: 383000 | #Constraints: 72516
853.18/855.64 c #Conflicts: 384000 | #Constraints: 73516
853.18/855.64 c #Conflicts: 385000 | #Constraints: 74516
853.18/855.64 c #Conflicts: 386000 | #Constraints: 75516
853.18/855.64 c #Conflicts: 387000 | #Constraints: 76516
853.18/855.64 c #Conflicts: 388000 | #Constraints: 77516
853.18/855.64 c #Conflicts: 389000 | #Constraints: 78516
853.18/855.64 c #Conflicts: 390000 | #Constraints: 79516
853.18/855.64 c #Conflicts: 391000 | #Constraints: 80516
853.18/855.64 c #Conflicts: 392000 | #Constraints: 81516
853.18/855.64 c #Conflicts: 393000 | #Constraints: 82516
853.18/855.64 c #Conflicts: 394000 | #Constraints: 83516
853.18/855.64 c INPROCESSING
853.18/855.64 c GARBAGE COLLECT
853.18/855.64 c rational objective 15
889.67/892.30 c #Conflicts: 395000 | #Constraints: 72090
889.67/892.30 c #Conflicts: 396000 | #Constraints: 73090
889.67/892.30 c #Conflicts: 397000 | #Constraints: 74090
889.67/892.30 c #Conflicts: 398000 | #Constraints: 75090
889.67/892.30 c #Conflicts: 399000 | #Constraints: 76090
889.67/892.30 c #Conflicts: 400000 | #Constraints: 77090
889.67/892.30 c #Conflicts: 401000 | #Constraints: 78090
889.67/892.30 c #Conflicts: 402000 | #Constraints: 79090
889.67/892.30 c #Conflicts: 403000 | #Constraints: 80090
889.67/892.30 c #Conflicts: 404000 | #Constraints: 81090
889.67/892.30 c #Conflicts: 405000 | #Constraints: 82090
889.67/892.30 c #Conflicts: 406000 | #Constraints: 83090
889.67/892.30 c #Conflicts: 407000 | #Constraints: 84090
889.67/892.30 c INPROCESSING
889.67/892.30 c GARBAGE COLLECT
889.67/892.30 c rational objective 15
919.58/922.24 c #Conflicts: 408000 | #Constraints: 72476
919.58/922.24 c #Conflicts: 409000 | #Constraints: 73476
919.58/922.24 c #Conflicts: 410000 | #Constraints: 74476
919.58/922.24 c #Conflicts: 411000 | #Constraints: 75476
919.58/922.24 c #Conflicts: 412000 | #Constraints: 76476
919.58/922.24 c #Conflicts: 413000 | #Constraints: 77476
919.58/922.24 c #Conflicts: 414000 | #Constraints: 78476
919.58/922.24 c #Conflicts: 415000 | #Constraints: 79476
919.58/922.24 c #Conflicts: 416000 | #Constraints: 80476
919.58/922.24 c #Conflicts: 417000 | #Constraints: 81476
919.58/922.24 c #Conflicts: 418000 | #Constraints: 82476
919.58/922.24 c #Conflicts: 419000 | #Constraints: 83476
919.58/922.24 c #Conflicts: 420000 | #Constraints: 84476
919.58/922.24 c INPROCESSING
919.58/922.24 c GARBAGE COLLECT
919.58/922.24 c rational objective 15
954.99/957.72 c #Conflicts: 421000 | #Constraints: 72680
954.99/957.72 c #Conflicts: 422000 | #Constraints: 73680
954.99/957.72 c #Conflicts: 423000 | #Constraints: 74680
954.99/957.72 c #Conflicts: 424000 | #Constraints: 75680
954.99/957.72 c #Conflicts: 425000 | #Constraints: 76680
954.99/957.72 c #Conflicts: 426000 | #Constraints: 77680
954.99/957.72 c #Conflicts: 427000 | #Constraints: 78680
954.99/957.72 c #Conflicts: 428000 | #Constraints: 79680
954.99/957.72 c #Conflicts: 429000 | #Constraints: 80680
954.99/957.72 c #Conflicts: 430000 | #Constraints: 81680
954.99/957.72 c #Conflicts: 431000 | #Constraints: 82680
954.99/957.72 c #Conflicts: 432000 | #Constraints: 83680
954.99/957.72 c #Conflicts: 433000 | #Constraints: 84680
954.99/957.72 c INPROCESSING
954.99/957.72 c GARBAGE COLLECT
954.99/957.72 c rational objective 15
983.41/986.24 c #Conflicts: 434000 | #Constraints: 72664
983.41/986.24 c #Conflicts: 435000 | #Constraints: 73664
983.41/986.24 c #Conflicts: 436000 | #Constraints: 74664
983.41/986.24 c #Conflicts: 437000 | #Constraints: 75664
983.41/986.24 c #Conflicts: 438000 | #Constraints: 76664
983.41/986.24 c #Conflicts: 439000 | #Constraints: 77664
983.41/986.24 c #Conflicts: 440000 | #Constraints: 78664
983.41/986.24 c #Conflicts: 441000 | #Constraints: 79664
983.41/986.24 c #Conflicts: 442000 | #Constraints: 80664
983.41/986.24 c #Conflicts: 443000 | #Constraints: 81664
983.41/986.24 c #Conflicts: 444000 | #Constraints: 82664
983.41/986.24 c #Conflicts: 445000 | #Constraints: 83664
983.41/986.24 c #Conflicts: 446000 | #Constraints: 84664
983.41/986.24 c INPROCESSING
983.41/986.24 c GARBAGE COLLECT
983.41/986.24 c rational objective 15
997.07/999.91 c #Conflicts: 447000 | #Constraints: 72441
997.07/999.91 c #Conflicts: 448000 | #Constraints: 73441
997.07/999.91 c #Conflicts: 449000 | #Constraints: 74441
997.07/999.91 c #Conflicts: 450000 | #Constraints: 75441
997.07/999.91 c #Conflicts: 451000 | #Constraints: 76441
997.07/999.91 c #Conflicts: 452000 | #Constraints: 77441
997.07/999.91 c #Conflicts: 453000 | #Constraints: 78441
997.07/999.91 c #Conflicts: 454000 | #Constraints: 79441
997.07/999.91 c #Conflicts: 455000 | #Constraints: 80441
997.07/999.91 c #Conflicts: 456000 | #Constraints: 81441
997.07/999.91 c #Conflicts: 457000 | #Constraints: 82441
997.07/999.91 c #Conflicts: 458000 | #Constraints: 83441
997.07/999.91 c #Conflicts: 459000 | #Constraints: 84442
997.07/999.91 c #Conflicts: 460000 | #Constraints: 85442
997.07/999.91 c INPROCESSING
997.07/999.91 c GARBAGE COLLECT
997.07/999.91 c rational objective 15
1010.52/1013.46 c #Conflicts: 461000 | #Constraints: 73048
1010.52/1013.46 c #Conflicts: 462000 | #Constraints: 74048
1010.52/1013.46 c #Conflicts: 463000 | #Constraints: 75048
1010.52/1013.46 c #Conflicts: 464000 | #Constraints: 76048
1010.52/1013.46 c #Conflicts: 465000 | #Constraints: 77048
1010.52/1013.46 c #Conflicts: 466000 | #Constraints: 78048
1010.52/1013.46 c #Conflicts: 467000 | #Constraints: 79048
1010.52/1013.46 c #Conflicts: 468000 | #Constraints: 80048
1010.52/1013.46 c #Conflicts: 469000 | #Constraints: 81048
1010.52/1013.46 c #Conflicts: 470000 | #Constraints: 82048
1010.52/1013.46 c #Conflicts: 471000 | #Constraints: 83048
1010.52/1013.46 c #Conflicts: 472000 | #Constraints: 84048
1010.52/1013.46 c #Conflicts: 473000 | #Constraints: 85048
1010.52/1013.46 c #Conflicts: 474000 | #Constraints: 86048
1010.52/1013.46 c INPROCESSING
1010.52/1013.46 c GARBAGE COLLECT
1010.52/1013.46 c rational objective 15
1044.73/1047.74 c #Conflicts: 475000 | #Constraints: 73432
1044.73/1047.74 c #Conflicts: 476000 | #Constraints: 74432
1044.73/1047.74 c #Conflicts: 477000 | #Constraints: 75432
1044.73/1047.74 c #Conflicts: 478000 | #Constraints: 76432
1044.73/1047.74 c #Conflicts: 479000 | #Constraints: 77432
1044.73/1047.74 c #Conflicts: 480000 | #Constraints: 78432
1044.73/1047.74 c #Conflicts: 481000 | #Constraints: 79432
1044.73/1047.74 c #Conflicts: 482000 | #Constraints: 80432
1044.73/1047.74 c #Conflicts: 483000 | #Constraints: 81432
1044.73/1047.74 c #Conflicts: 484000 | #Constraints: 82432
1044.73/1047.74 c #Conflicts: 485000 | #Constraints: 83432
1044.73/1047.74 c #Conflicts: 486000 | #Constraints: 84432
1044.73/1047.74 c #Conflicts: 487000 | #Constraints: 85432
1044.73/1047.74 c #Conflicts: 488000 | #Constraints: 86432
1044.73/1047.74 c INPROCESSING
1044.73/1047.74 c GARBAGE COLLECT
1044.73/1047.74 c rational objective 15
1083.91/1087.03 c #Conflicts: 489000 | #Constraints: 73640
1083.91/1087.03 c #Conflicts: 490000 | #Constraints: 74640
1083.91/1087.03 c #Conflicts: 491000 | #Constraints: 75640
1083.91/1087.03 c #Conflicts: 492000 | #Constraints: 76640
1083.91/1087.03 c #Conflicts: 493000 | #Constraints: 77640
1083.91/1087.03 c #Conflicts: 494000 | #Constraints: 78640
1083.91/1087.03 c #Conflicts: 495000 | #Constraints: 79640
1083.91/1087.03 c #Conflicts: 496000 | #Constraints: 80640
1083.91/1087.03 c #Conflicts: 497000 | #Constraints: 81640
1083.91/1087.03 c #Conflicts: 498000 | #Constraints: 82640
1083.91/1087.03 c #Conflicts: 499000 | #Constraints: 83640
1083.91/1087.03 c #Conflicts: 500000 | #Constraints: 84640
1083.91/1087.03 c #Conflicts: 501000 | #Constraints: 85640
1083.91/1087.03 c #Conflicts: 502000 | #Constraints: 86640
1083.91/1087.03 c INPROCESSING
1083.91/1087.03 c GARBAGE COLLECT
1083.91/1087.03 c rational objective 15
1099.48/1102.64 c #Conflicts: 503000 | #Constraints: 73677
1099.48/1102.64 c #Conflicts: 504000 | #Constraints: 74677
1099.48/1102.64 c #Conflicts: 505000 | #Constraints: 75677
1099.48/1102.64 c #Conflicts: 506000 | #Constraints: 76677
1099.48/1102.64 c #Conflicts: 507000 | #Constraints: 77677
1099.48/1102.64 c #Conflicts: 508000 | #Constraints: 78677
1099.48/1102.64 c #Conflicts: 509000 | #Constraints: 79677
1099.48/1102.64 c #Conflicts: 510000 | #Constraints: 80677
1099.48/1102.64 c #Conflicts: 511000 | #Constraints: 81677
1099.48/1102.64 c #Conflicts: 512000 | #Constraints: 82677
1099.48/1102.64 c #Conflicts: 513000 | #Constraints: 83677
1099.48/1102.64 c #Conflicts: 514000 | #Constraints: 84677
1099.48/1102.64 c #Conflicts: 515000 | #Constraints: 85677
1099.48/1102.64 c #Conflicts: 516000 | #Constraints: 86677
1099.48/1102.64 c INPROCESSING
1099.48/1102.64 c GARBAGE COLLECT
1099.48/1102.64 c rational objective 15
1115.83/1119.03 c #Conflicts: 517000 | #Constraints: 73489
1115.83/1119.03 c #Conflicts: 518000 | #Constraints: 74489
1115.83/1119.03 c #Conflicts: 519000 | #Constraints: 75489
1115.83/1119.03 c #Conflicts: 520000 | #Constraints: 76489
1115.83/1119.03 c #Conflicts: 521000 | #Constraints: 77489
1115.83/1119.03 c #Conflicts: 522000 | #Constraints: 78489
1115.83/1119.03 c #Conflicts: 523000 | #Constraints: 79489
1115.83/1119.03 c #Conflicts: 524000 | #Constraints: 80489
1115.83/1119.03 c #Conflicts: 525000 | #Constraints: 81489
1115.83/1119.03 c #Conflicts: 526000 | #Constraints: 82489
1115.83/1119.03 c #Conflicts: 527000 | #Constraints: 83489
1115.83/1119.03 c #Conflicts: 528000 | #Constraints: 84489
1115.83/1119.03 c #Conflicts: 529000 | #Constraints: 85489
1115.83/1119.03 c #Conflicts: 530000 | #Constraints: 86489
1115.83/1119.03 c #Conflicts: 531000 | #Constraints: 87489
1115.83/1119.03 c INPROCESSING
1115.83/1119.03 c GARBAGE COLLECT
1115.83/1119.03 c rational objective 15
1130.39/1133.67 c #Conflicts: 532000 | #Constraints: 74053
1130.39/1133.67 c #Conflicts: 533000 | #Constraints: 75053
1130.39/1133.67 c #Conflicts: 534000 | #Constraints: 76053
1130.39/1133.67 c #Conflicts: 535000 | #Constraints: 77053
1130.39/1133.67 c #Conflicts: 536000 | #Constraints: 78053
1130.39/1133.67 c #Conflicts: 537000 | #Constraints: 79053
1130.39/1133.67 c #Conflicts: 538000 | #Constraints: 80053
1130.39/1133.67 c #Conflicts: 539000 | #Constraints: 81053
1130.39/1133.67 c #Conflicts: 540000 | #Constraints: 82053
1130.39/1133.67 c #Conflicts: 541000 | #Constraints: 83053
1130.39/1133.67 c #Conflicts: 542000 | #Constraints: 84053
1130.39/1133.67 c #Conflicts: 543000 | #Constraints: 85053
1130.39/1133.67 c #Conflicts: 544000 | #Constraints: 86053
1130.39/1133.67 c #Conflicts: 545000 | #Constraints: 87053
1130.39/1133.67 c #Conflicts: 546000 | #Constraints: 88053
1130.39/1133.67 c INPROCESSING
1130.39/1133.67 c GARBAGE COLLECT
1130.39/1133.67 c rational objective 15
1146.94/1150.28 c #Conflicts: 547000 | #Constraints: 74479
1146.94/1150.28 c #Conflicts: 548000 | #Constraints: 75479
1146.94/1150.28 c #Conflicts: 549000 | #Constraints: 76479
1146.94/1150.28 c #Conflicts: 550000 | #Constraints: 77479
1146.94/1150.28 c #Conflicts: 551000 | #Constraints: 78479
1146.94/1150.28 c #Conflicts: 552000 | #Constraints: 79479
1146.94/1150.28 c #Conflicts: 553000 | #Constraints: 80479
1146.94/1150.28 c #Conflicts: 554000 | #Constraints: 81479
1146.94/1150.28 c #Conflicts: 555000 | #Constraints: 82479
1146.94/1150.28 c #Conflicts: 556000 | #Constraints: 83479
1146.94/1150.28 c #Conflicts: 557000 | #Constraints: 84479
1146.94/1150.28 c #Conflicts: 558000 | #Constraints: 85479
1146.94/1150.28 c #Conflicts: 559000 | #Constraints: 86479
1146.94/1150.28 c #Conflicts: 560000 | #Constraints: 87479
1146.94/1150.28 c #Conflicts: 561000 | #Constraints: 88479
1146.94/1150.28 c INPROCESSING
1146.94/1150.28 c GARBAGE COLLECT
1146.94/1150.28 c rational objective 15
1164.49/1167.88 c #Conflicts: 562000 | #Constraints: 74692
1164.49/1167.88 c #Conflicts: 563000 | #Constraints: 75692
1164.49/1167.88 c #Conflicts: 564000 | #Constraints: 76692
1164.49/1167.88 c #Conflicts: 565000 | #Constraints: 77692
1164.49/1167.88 c #Conflicts: 566000 | #Constraints: 78692
1164.49/1167.88 c #Conflicts: 567000 | #Constraints: 79692
1164.49/1167.88 c #Conflicts: 568000 | #Constraints: 80692
1164.49/1167.88 c #Conflicts: 569000 | #Constraints: 81692
1164.49/1167.88 c #Conflicts: 570000 | #Constraints: 82692
1164.49/1167.88 c #Conflicts: 571000 | #Constraints: 83692
1164.49/1167.88 c #Conflicts: 572000 | #Constraints: 84692
1164.49/1167.88 c #Conflicts: 573000 | #Constraints: 85692
1164.49/1167.88 c #Conflicts: 574000 | #Constraints: 86692
1164.49/1167.88 c #Conflicts: 575000 | #Constraints: 87692
1164.49/1167.88 c #Conflicts: 576000 | #Constraints: 88692
1164.49/1167.88 c INPROCESSING
1164.49/1167.88 c GARBAGE COLLECT
1164.49/1167.88 c rational objective 15
1180.65/1184.09 c #Conflicts: 577000 | #Constraints: 74674
1180.65/1184.09 c #Conflicts: 578000 | #Constraints: 75674
1180.65/1184.09 c #Conflicts: 579000 | #Constraints: 76674
1180.65/1184.09 c #Conflicts: 580000 | #Constraints: 77674
1180.65/1184.09 c #Conflicts: 581000 | #Constraints: 78674
1180.65/1184.09 c #Conflicts: 582000 | #Constraints: 79674
1180.65/1184.09 c #Conflicts: 583000 | #Constraints: 80674
1180.65/1184.09 c #Conflicts: 584000 | #Constraints: 81674
1180.65/1184.09 c #Conflicts: 585000 | #Constraints: 82674
1180.65/1184.09 c #Conflicts: 586000 | #Constraints: 83674
1180.65/1184.09 c #Conflicts: 587000 | #Constraints: 84674
1180.65/1184.09 c #Conflicts: 588000 | #Constraints: 85674
1180.65/1184.09 c #Conflicts: 589000 | #Constraints: 86674
1180.65/1184.09 c #Conflicts: 590000 | #Constraints: 87674
1180.65/1184.09 c #Conflicts: 591000 | #Constraints: 88674
1180.65/1184.09 c INPROCESSING
1180.65/1184.09 c GARBAGE COLLECT
1180.65/1184.09 c rational objective 15
1214.05/1217.59 c #Conflicts: 592000 | #Constraints: 74445
1214.05/1217.59 c #Conflicts: 593000 | #Constraints: 75445
1214.05/1217.59 c #Conflicts: 594000 | #Constraints: 76445
1214.05/1217.59 c #Conflicts: 595000 | #Constraints: 77445
1214.05/1217.59 c #Conflicts: 596000 | #Constraints: 78445
1214.05/1217.59 c #Conflicts: 597000 | #Constraints: 79445
1214.05/1217.59 c #Conflicts: 598000 | #Constraints: 80445
1214.05/1217.59 c #Conflicts: 599000 | #Constraints: 81445
1214.05/1217.59 c #Conflicts: 600000 | #Constraints: 82445
1214.05/1217.59 c #Conflicts: 601000 | #Constraints: 83445
1214.05/1217.59 c #Conflicts: 602000 | #Constraints: 84445
1214.05/1217.59 c #Conflicts: 603000 | #Constraints: 85445
1214.05/1217.59 c #Conflicts: 604000 | #Constraints: 86445
1214.05/1217.59 c #Conflicts: 605000 | #Constraints: 87445
1214.05/1217.59 c #Conflicts: 606000 | #Constraints: 88445
1214.05/1217.59 c #Conflicts: 607000 | #Constraints: 89445
1214.05/1217.59 c INPROCESSING
1214.05/1217.59 c GARBAGE COLLECT
1214.05/1217.59 c rational objective 15
1229.81/1233.35 c #Conflicts: 608000 | #Constraints: 75037
1229.81/1233.35 c #Conflicts: 609000 | #Constraints: 76037
1229.81/1233.35 c #Conflicts: 610000 | #Constraints: 77037
1229.81/1233.35 c #Conflicts: 611000 | #Constraints: 78037
1229.81/1233.35 c #Conflicts: 612000 | #Constraints: 79037
1229.81/1233.35 c #Conflicts: 613000 | #Constraints: 80037
1229.81/1233.35 c #Conflicts: 614000 | #Constraints: 81037
1229.81/1233.35 c #Conflicts: 615000 | #Constraints: 82037
1229.81/1233.35 c #Conflicts: 616000 | #Constraints: 83037
1229.81/1233.35 c #Conflicts: 617000 | #Constraints: 84037
1229.81/1233.35 c #Conflicts: 618000 | #Constraints: 85037
1229.81/1233.35 c #Conflicts: 619000 | #Constraints: 86037
1229.81/1233.35 c #Conflicts: 620000 | #Constraints: 87037
1229.81/1233.35 c #Conflicts: 621000 | #Constraints: 88037
1229.81/1233.35 c #Conflicts: 622000 | #Constraints: 89037
1229.81/1233.35 c #Conflicts: 623000 | #Constraints: 90037
1229.81/1233.35 c INPROCESSING
1229.81/1233.35 c GARBAGE COLLECT
1229.81/1233.35 c rational objective 15
1248.55/1252.16 c #Conflicts: 624000 | #Constraints: 75428
1248.55/1252.16 c #Conflicts: 625000 | #Constraints: 76428
1248.55/1252.16 c #Conflicts: 626000 | #Constraints: 77428
1248.55/1252.16 c #Conflicts: 627000 | #Constraints: 78428
1248.55/1252.16 c #Conflicts: 628000 | #Constraints: 79428
1248.55/1252.16 c #Conflicts: 629000 | #Constraints: 80428
1248.55/1252.16 c #Conflicts: 630000 | #Constraints: 81428
1248.55/1252.16 c #Conflicts: 631000 | #Constraints: 82428
1248.55/1252.16 c #Conflicts: 632000 | #Constraints: 83428
1248.55/1252.16 c #Conflicts: 633000 | #Constraints: 84428
1248.55/1252.16 c #Conflicts: 634000 | #Constraints: 85428
1248.55/1252.16 c #Conflicts: 635000 | #Constraints: 86428
1248.55/1252.16 c #Conflicts: 636000 | #Constraints: 87428
1248.55/1252.16 c #Conflicts: 637000 | #Constraints: 88428
1248.55/1252.16 c #Conflicts: 638000 | #Constraints: 89428
1248.55/1252.16 c #Conflicts: 639000 | #Constraints: 90428
1248.55/1252.16 c INPROCESSING
1248.55/1252.16 c GARBAGE COLLECT
1248.55/1252.16 c rational objective 15
1268.00/1271.61 c #Conflicts: 640000 | #Constraints: 75622
1268.00/1271.61 c #Conflicts: 641000 | #Constraints: 76622
1268.00/1271.61 c #Conflicts: 642000 | #Constraints: 77622
1268.00/1271.61 c #Conflicts: 643000 | #Constraints: 78622
1268.00/1271.61 c #Conflicts: 644000 | #Constraints: 79622
1268.00/1271.61 c #Conflicts: 645000 | #Constraints: 80622
1268.00/1271.61 c #Conflicts: 646000 | #Constraints: 81622
1268.00/1271.61 c #Conflicts: 647000 | #Constraints: 82622
1268.00/1271.61 c #Conflicts: 648000 | #Constraints: 83622
1268.00/1271.61 c #Conflicts: 649000 | #Constraints: 84622
1268.00/1271.61 c #Conflicts: 650000 | #Constraints: 85622
1268.00/1271.61 c #Conflicts: 651000 | #Constraints: 86622
1268.00/1271.61 c #Conflicts: 652000 | #Constraints: 87622
1268.00/1271.61 c #Conflicts: 653000 | #Constraints: 88622
1268.00/1271.61 c #Conflicts: 654000 | #Constraints: 89622
1268.00/1271.61 c #Conflicts: 655000 | #Constraints: 90622
1268.00/1271.61 c INPROCESSING
1268.00/1271.61 c GARBAGE COLLECT
1268.00/1271.61 c rational objective 15
1281.96/1285.61 c #Conflicts: 656000 | #Constraints: 75619
1281.96/1285.61 c #Conflicts: 657000 | #Constraints: 76619
1281.96/1285.61 c #Conflicts: 658000 | #Constraints: 77619
1281.96/1285.61 c #Conflicts: 659000 | #Constraints: 78619
1281.96/1285.61 c #Conflicts: 660000 | #Constraints: 79619
1281.96/1285.61 c #Conflicts: 661000 | #Constraints: 80619
1281.96/1285.61 c #Conflicts: 662000 | #Constraints: 81619
1281.96/1285.61 c #Conflicts: 663000 | #Constraints: 82619
1281.96/1285.61 c #Conflicts: 664000 | #Constraints: 83619
1281.96/1285.61 c #Conflicts: 665000 | #Constraints: 84619
1281.96/1285.61 c #Conflicts: 666000 | #Constraints: 85619
1281.96/1285.61 c #Conflicts: 667000 | #Constraints: 86619
1281.96/1285.61 c #Conflicts: 668000 | #Constraints: 87619
1281.96/1285.61 c #Conflicts: 669000 | #Constraints: 88619
1281.96/1285.61 c #Conflicts: 670000 | #Constraints: 89620
1281.96/1285.61 c #Conflicts: 671000 | #Constraints: 90620
1281.96/1285.61 c INPROCESSING
1281.96/1285.61 c GARBAGE COLLECT
1281.96/1285.61 c rational objective 15
1299.01/1302.79 c #Conflicts: 672000 | #Constraints: 75415
1299.01/1302.79 c #Conflicts: 673000 | #Constraints: 76415
1299.01/1302.79 c #Conflicts: 674000 | #Constraints: 77415
1299.01/1302.79 c #Conflicts: 675000 | #Constraints: 78415
1299.01/1302.79 c #Conflicts: 676000 | #Constraints: 79415
1299.01/1302.79 c #Conflicts: 677000 | #Constraints: 80415
1299.01/1302.79 c #Conflicts: 678000 | #Constraints: 81415
1299.01/1302.79 c #Conflicts: 679000 | #Constraints: 82415
1299.01/1302.79 c #Conflicts: 680000 | #Constraints: 83415
1299.01/1302.79 c #Conflicts: 681000 | #Constraints: 84415
1299.01/1302.79 c #Conflicts: 682000 | #Constraints: 85415
1299.01/1302.79 c #Conflicts: 683000 | #Constraints: 86415
1299.01/1302.79 c #Conflicts: 684000 | #Constraints: 87415
1299.01/1302.79 c #Conflicts: 685000 | #Constraints: 88415
1299.01/1302.79 c #Conflicts: 686000 | #Constraints: 89415
1299.01/1302.79 c #Conflicts: 687000 | #Constraints: 90415
1299.01/1302.79 c #Conflicts: 688000 | #Constraints: 91415
1299.01/1302.79 c INPROCESSING
1299.01/1302.79 c GARBAGE COLLECT
1299.01/1302.79 c rational objective 15
1315.87/1319.63 c #Conflicts: 689000 | #Constraints: 76071
1315.87/1319.63 c #Conflicts: 690000 | #Constraints: 77071
1315.87/1319.63 c #Conflicts: 691000 | #Constraints: 78071
1315.87/1319.63 c #Conflicts: 692000 | #Constraints: 79071
1315.87/1319.63 c #Conflicts: 693000 | #Constraints: 80071
1315.87/1319.63 c #Conflicts: 694000 | #Constraints: 81071
1315.87/1319.63 c #Conflicts: 695000 | #Constraints: 82071
1315.87/1319.63 c #Conflicts: 696000 | #Constraints: 83071
1315.87/1319.63 c #Conflicts: 697000 | #Constraints: 84071
1315.87/1319.63 c #Conflicts: 698000 | #Constraints: 85071
1315.87/1319.63 c #Conflicts: 699000 | #Constraints: 86071
1315.87/1319.63 c #Conflicts: 700000 | #Constraints: 87071
1315.87/1319.63 c #Conflicts: 701000 | #Constraints: 88071
1315.87/1319.63 c #Conflicts: 702000 | #Constraints: 89071
1315.87/1319.63 c #Conflicts: 703000 | #Constraints: 90071
1315.87/1319.63 c #Conflicts: 704000 | #Constraints: 91071
1315.87/1319.63 c #Conflicts: 705000 | #Constraints: 92071
1315.87/1319.63 c INPROCESSING
1315.87/1319.63 c GARBAGE COLLECT
1315.87/1319.63 c rational objective 15
1332.52/1336.31 c #Conflicts: 706000 | #Constraints: 76447
1332.52/1336.31 c #Conflicts: 707000 | #Constraints: 77447
1332.52/1336.31 c #Conflicts: 708000 | #Constraints: 78447
1332.52/1336.31 c #Conflicts: 709000 | #Constraints: 79447
1332.52/1336.31 c #Conflicts: 710000 | #Constraints: 80447
1332.52/1336.31 c #Conflicts: 711000 | #Constraints: 81447
1332.52/1336.31 c #Conflicts: 712000 | #Constraints: 82447
1332.52/1336.31 c #Conflicts: 713000 | #Constraints: 83447
1332.52/1336.31 c #Conflicts: 714000 | #Constraints: 84447
1332.52/1336.31 c #Conflicts: 715000 | #Constraints: 85447
1332.52/1336.31 c #Conflicts: 716000 | #Constraints: 86447
1332.52/1336.31 c #Conflicts: 717000 | #Constraints: 87447
1332.52/1336.31 c #Conflicts: 718000 | #Constraints: 88447
1332.52/1336.31 c #Conflicts: 719000 | #Constraints: 89447
1332.52/1336.31 c #Conflicts: 720000 | #Constraints: 90447
1332.52/1336.31 c #Conflicts: 721000 | #Constraints: 91447
1332.52/1336.31 c #Conflicts: 722000 | #Constraints: 92447
1332.52/1336.31 c INPROCESSING
1332.52/1336.31 c GARBAGE COLLECT
1332.52/1336.31 c rational objective 15
1354.45/1358.37 c #Conflicts: 723000 | #Constraints: 76631
1354.45/1358.37 c #Conflicts: 724000 | #Constraints: 77631
1354.45/1358.37 c #Conflicts: 725000 | #Constraints: 78631
1354.45/1358.37 c #Conflicts: 726000 | #Constraints: 79631
1354.45/1358.37 c #Conflicts: 727000 | #Constraints: 80631
1354.45/1358.37 c #Conflicts: 728000 | #Constraints: 81631
1354.45/1358.37 c #Conflicts: 729000 | #Constraints: 82631
1354.45/1358.37 c #Conflicts: 730000 | #Constraints: 83631
1354.45/1358.37 c #Conflicts: 731000 | #Constraints: 84631
1354.45/1358.37 c #Conflicts: 732000 | #Constraints: 85631
1354.45/1358.37 c #Conflicts: 733000 | #Constraints: 86631
1354.45/1358.37 c #Conflicts: 734000 | #Constraints: 87631
1354.45/1358.37 c #Conflicts: 735000 | #Constraints: 88631
1354.45/1358.37 c #Conflicts: 736000 | #Constraints: 89631
1354.45/1358.37 c #Conflicts: 737000 | #Constraints: 90631
1354.45/1358.37 c #Conflicts: 738000 | #Constraints: 91631
1354.45/1358.37 c #Conflicts: 739000 | #Constraints: 92631
1354.45/1358.37 c INPROCESSING
1354.45/1358.37 c GARBAGE COLLECT
1354.45/1358.37 c rational objective 15
1397.92/1401.90 c #Conflicts: 740000 | #Constraints: 76642
1397.92/1401.90 c #Conflicts: 741000 | #Constraints: 77642
1397.92/1401.90 c #Conflicts: 742000 | #Constraints: 78642
1397.92/1401.90 c #Conflicts: 743000 | #Constraints: 79642
1397.92/1401.90 c #Conflicts: 744000 | #Constraints: 80642
1397.92/1401.90 c #Conflicts: 745000 | #Constraints: 81642
1397.92/1401.90 c #Conflicts: 746000 | #Constraints: 82642
1397.92/1401.90 c #Conflicts: 747000 | #Constraints: 83642
1397.92/1401.90 c #Conflicts: 748000 | #Constraints: 84642
1397.92/1401.90 c #Conflicts: 749000 | #Constraints: 85642
1397.92/1401.90 c #Conflicts: 750000 | #Constraints: 86642
1397.92/1401.90 c #Conflicts: 751000 | #Constraints: 87642
1397.92/1401.90 c #Conflicts: 752000 | #Constraints: 88642
1397.92/1401.90 c #Conflicts: 753000 | #Constraints: 89642
1397.92/1401.90 c #Conflicts: 754000 | #Constraints: 90642
1397.92/1401.90 c #Conflicts: 755000 | #Constraints: 91642
1397.92/1401.90 c #Conflicts: 756000 | #Constraints: 92642
1397.92/1401.90 c INPROCESSING
1397.92/1401.90 c GARBAGE COLLECT
1397.92/1401.90 c rational objective 15
1423.35/1427.42 c #Conflicts: 757000 | #Constraints: 76435
1423.35/1427.42 c #Conflicts: 758000 | #Constraints: 77435
1423.35/1427.42 c #Conflicts: 759000 | #Constraints: 78435
1423.35/1427.42 c #Conflicts: 760000 | #Constraints: 79435
1423.35/1427.42 c #Conflicts: 761000 | #Constraints: 80435
1423.35/1427.42 c #Conflicts: 762000 | #Constraints: 81435
1423.35/1427.42 c #Conflicts: 763000 | #Constraints: 82435
1423.35/1427.42 c #Conflicts: 764000 | #Constraints: 83435
1423.35/1427.42 c #Conflicts: 765000 | #Constraints: 84435
1423.35/1427.42 c #Conflicts: 766000 | #Constraints: 85435
1423.35/1427.42 c #Conflicts: 767000 | #Constraints: 86435
1423.35/1427.42 c #Conflicts: 768000 | #Constraints: 87435
1423.35/1427.42 c #Conflicts: 769000 | #Constraints: 88435
1423.35/1427.42 c #Conflicts: 770000 | #Constraints: 89435
1423.35/1427.42 c #Conflicts: 771000 | #Constraints: 90435
1423.35/1427.42 c #Conflicts: 772000 | #Constraints: 91435
1423.35/1427.42 c #Conflicts: 773000 | #Constraints: 92435
1423.35/1427.42 c #Conflicts: 774000 | #Constraints: 93435
1423.35/1427.42 c INPROCESSING
1423.35/1427.42 c GARBAGE COLLECT
1423.35/1427.42 c rational objective 15
1470.22/1474.40 c #Conflicts: 775000 | #Constraints: 77030
1470.22/1474.40 c #Conflicts: 776000 | #Constraints: 78030
1470.22/1474.40 c #Conflicts: 777000 | #Constraints: 79030
1470.22/1474.40 c #Conflicts: 778000 | #Constraints: 80030
1470.22/1474.40 c #Conflicts: 779000 | #Constraints: 81030
1470.22/1474.40 c #Conflicts: 780000 | #Constraints: 82030
1470.22/1474.40 c #Conflicts: 781000 | #Constraints: 83030
1470.22/1474.40 c #Conflicts: 782000 | #Constraints: 84030
1470.22/1474.40 c #Conflicts: 783000 | #Constraints: 85030
1470.22/1474.40 c #Conflicts: 784000 | #Constraints: 86030
1470.22/1474.40 c #Conflicts: 785000 | #Constraints: 87030
1470.22/1474.40 c #Conflicts: 786000 | #Constraints: 88030
1470.22/1474.40 c #Conflicts: 787000 | #Constraints: 89030
1470.22/1474.40 c #Conflicts: 788000 | #Constraints: 90030
1470.22/1474.40 c #Conflicts: 789000 | #Constraints: 91030
1470.22/1474.40 c #Conflicts: 790000 | #Constraints: 92030
1470.22/1474.40 c #Conflicts: 791000 | #Constraints: 93030
1470.22/1474.40 c #Conflicts: 792000 | #Constraints: 94030
1470.22/1474.40 c INPROCESSING
1470.22/1474.40 c GARBAGE COLLECT
1470.22/1474.40 c rational objective 15
1491.05/1495.32 c #Conflicts: 793000 | #Constraints: 77439
1491.05/1495.32 c #Conflicts: 794000 | #Constraints: 78439
1491.05/1495.32 c #Conflicts: 795000 | #Constraints: 79439
1491.05/1495.32 c #Conflicts: 796000 | #Constraints: 80439
1491.05/1495.32 c #Conflicts: 797000 | #Constraints: 81439
1491.05/1495.32 c #Conflicts: 798000 | #Constraints: 82439
1491.05/1495.32 c #Conflicts: 799000 | #Constraints: 83439
1491.05/1495.32 c #Conflicts: 800000 | #Constraints: 84439
1491.05/1495.32 c #Conflicts: 801000 | #Constraints: 85439
1491.05/1495.32 c #Conflicts: 802000 | #Constraints: 86439
1491.05/1495.32 c #Conflicts: 803000 | #Constraints: 87439
1491.05/1495.32 c #Conflicts: 804000 | #Constraints: 88439
1491.05/1495.32 c #Conflicts: 805000 | #Constraints: 89439
1491.05/1495.32 c #Conflicts: 806000 | #Constraints: 90439
1491.05/1495.32 c #Conflicts: 807000 | #Constraints: 91439
1491.05/1495.32 c #Conflicts: 808000 | #Constraints: 92439
1491.05/1495.32 c #Conflicts: 809000 | #Constraints: 93439
1491.05/1495.32 c #Conflicts: 810000 | #Constraints: 94439
1491.05/1495.32 c INPROCESSING
1491.05/1495.32 c GARBAGE COLLECT
1491.05/1495.32 c rational objective 15
1511.70/1516.07 c #Conflicts: 811000 | #Constraints: 77693
1511.70/1516.07 c #Conflicts: 812000 | #Constraints: 78693
1511.70/1516.07 c #Conflicts: 813000 | #Constraints: 79693
1511.70/1516.07 c #Conflicts: 814000 | #Constraints: 80693
1511.70/1516.07 c #Conflicts: 815000 | #Constraints: 81693
1511.70/1516.07 c #Conflicts: 816000 | #Constraints: 82693
1511.70/1516.07 c #Conflicts: 817000 | #Constraints: 83693
1511.70/1516.07 c #Conflicts: 818000 | #Constraints: 84693
1511.70/1516.07 c #Conflicts: 819000 | #Constraints: 85693
1511.70/1516.07 c #Conflicts: 820000 | #Constraints: 86693
1511.70/1516.07 c #Conflicts: 821000 | #Constraints: 87693
1511.70/1516.07 c #Conflicts: 822000 | #Constraints: 88693
1511.70/1516.07 c #Conflicts: 823000 | #Constraints: 89693
1511.70/1516.07 c #Conflicts: 824000 | #Constraints: 90693
1511.70/1516.07 c #Conflicts: 825000 | #Constraints: 91693
1511.70/1516.07 c #Conflicts: 826000 | #Constraints: 92693
1511.70/1516.07 c #Conflicts: 827000 | #Constraints: 93694
1511.70/1516.07 c #Conflicts: 828000 | #Constraints: 94694
1511.70/1516.07 c INPROCESSING
1511.70/1516.07 c GARBAGE COLLECT
1511.70/1516.07 c rational objective 15
1528.44/1532.82 c #Conflicts: 829000 | #Constraints: 77658
1528.44/1532.82 c #Conflicts: 830000 | #Constraints: 78658
1528.44/1532.82 c #Conflicts: 831000 | #Constraints: 79658
1528.44/1532.82 c #Conflicts: 832000 | #Constraints: 80658
1528.44/1532.82 c #Conflicts: 833000 | #Constraints: 81658
1528.44/1532.82 c #Conflicts: 834000 | #Constraints: 82658
1528.44/1532.82 c #Conflicts: 835000 | #Constraints: 83658
1528.44/1532.82 c #Conflicts: 836000 | #Constraints: 84658
1528.44/1532.82 c #Conflicts: 837000 | #Constraints: 85658
1528.44/1532.82 c #Conflicts: 838000 | #Constraints: 86658
1528.44/1532.82 c #Conflicts: 839000 | #Constraints: 87658
1528.44/1532.82 c #Conflicts: 840000 | #Constraints: 88658
1528.44/1532.82 c #Conflicts: 841000 | #Constraints: 89658
1528.44/1532.82 c #Conflicts: 842000 | #Constraints: 90658
1528.44/1532.82 c #Conflicts: 843000 | #Constraints: 91658
1528.44/1532.82 c #Conflicts: 844000 | #Constraints: 92658
1528.44/1532.82 c #Conflicts: 845000 | #Constraints: 93658
1528.44/1532.82 c #Conflicts: 846000 | #Constraints: 94658
1528.44/1532.82 c INPROCESSING
1528.44/1532.82 c GARBAGE COLLECT
1528.44/1532.82 c rational objective 15
1555.47/1559.96 c #Conflicts: 847000 | #Constraints: 77438
1555.47/1559.96 c #Conflicts: 848000 | #Constraints: 78438
1555.47/1559.96 c #Conflicts: 849000 | #Constraints: 79438
1555.47/1559.96 c #Conflicts: 850000 | #Constraints: 80438
1555.47/1559.96 c #Conflicts: 851000 | #Constraints: 81438
1555.47/1559.96 c #Conflicts: 852000 | #Constraints: 82438
1555.47/1559.96 c #Conflicts: 853000 | #Constraints: 83438
1555.47/1559.96 c #Conflicts: 854000 | #Constraints: 84438
1555.47/1559.96 c #Conflicts: 855000 | #Constraints: 85438
1555.47/1559.96 c #Conflicts: 856000 | #Constraints: 86438
1555.47/1559.96 c #Conflicts: 857000 | #Constraints: 87438
1555.47/1559.96 c #Conflicts: 858000 | #Constraints: 88438
1555.47/1559.96 c #Conflicts: 859000 | #Constraints: 89438
1555.47/1559.96 c #Conflicts: 860000 | #Constraints: 90438
1555.47/1559.96 c #Conflicts: 861000 | #Constraints: 91438
1555.47/1559.96 c #Conflicts: 862000 | #Constraints: 92438
1555.47/1559.96 c #Conflicts: 863000 | #Constraints: 93438
1555.47/1559.96 c #Conflicts: 864000 | #Constraints: 94438
1555.47/1559.96 c #Conflicts: 865000 | #Constraints: 95438
1555.47/1559.96 c INPROCESSING
1555.47/1559.96 c GARBAGE COLLECT
1555.47/1559.96 c rational objective 15
1591.77/1596.35 c #Conflicts: 866000 | #Constraints: 78027
1591.77/1596.35 c #Conflicts: 867000 | #Constraints: 79027
1591.77/1596.35 c #Conflicts: 868000 | #Constraints: 80027
1591.77/1596.35 c #Conflicts: 869000 | #Constraints: 81027
1591.77/1596.35 c #Conflicts: 870000 | #Constraints: 82027
1591.77/1596.35 c #Conflicts: 871000 | #Constraints: 83027
1591.77/1596.35 c #Conflicts: 872000 | #Constraints: 84027
1591.77/1596.35 c #Conflicts: 873000 | #Constraints: 85027
1591.77/1596.35 c #Conflicts: 874000 | #Constraints: 86027
1591.77/1596.35 c #Conflicts: 875000 | #Constraints: 87027
1591.77/1596.35 c #Conflicts: 876000 | #Constraints: 88027
1591.77/1596.35 c #Conflicts: 877000 | #Constraints: 89027
1591.77/1596.35 c #Conflicts: 878000 | #Constraints: 90027
1591.77/1596.35 c #Conflicts: 879000 | #Constraints: 91027
1591.77/1596.35 c #Conflicts: 880000 | #Constraints: 92027
1591.77/1596.35 c #Conflicts: 881000 | #Constraints: 93027
1591.77/1596.35 c #Conflicts: 882000 | #Constraints: 94027
1591.77/1596.35 c #Conflicts: 883000 | #Constraints: 95027
1591.77/1596.35 c #Conflicts: 884000 | #Constraints: 96027
1591.77/1596.35 c INPROCESSING
1591.77/1596.35 c GARBAGE COLLECT
1591.77/1596.35 c rational objective 15
1631.66/1636.39 c #Conflicts: 885000 | #Constraints: 78423
1631.66/1636.39 c #Conflicts: 886000 | #Constraints: 79423
1631.66/1636.39 c #Conflicts: 887000 | #Constraints: 80423
1631.66/1636.39 c #Conflicts: 888000 | #Constraints: 81423
1631.66/1636.39 c #Conflicts: 889000 | #Constraints: 82423
1631.66/1636.39 c #Conflicts: 890000 | #Constraints: 83423
1631.66/1636.39 c #Conflicts: 891000 | #Constraints: 84423
1631.66/1636.39 c #Conflicts: 892000 | #Constraints: 85423
1631.66/1636.39 c #Conflicts: 893000 | #Constraints: 86423
1631.66/1636.39 c #Conflicts: 894000 | #Constraints: 87423
1631.66/1636.39 c #Conflicts: 895000 | #Constraints: 88423
1631.66/1636.39 c #Conflicts: 896000 | #Constraints: 89423
1631.66/1636.39 c #Conflicts: 897000 | #Constraints: 90423
1631.66/1636.39 c #Conflicts: 898000 | #Constraints: 91423
1631.66/1636.39 c #Conflicts: 899000 | #Constraints: 92423
1631.66/1636.39 c #Conflicts: 900000 | #Constraints: 93423
1631.66/1636.39 c #Conflicts: 901000 | #Constraints: 94423
1631.66/1636.39 c #Conflicts: 902000 | #Constraints: 95423
1631.66/1636.39 c #Conflicts: 903000 | #Constraints: 96423
1631.66/1636.39 c INPROCESSING
1631.66/1636.39 c GARBAGE COLLECT
1631.66/1636.39 c rational objective 15
1655.98/1660.72 c #Conflicts: 904000 | #Constraints: 78636
1655.98/1660.72 c #Conflicts: 905000 | #Constraints: 79636
1655.98/1660.72 c #Conflicts: 906000 | #Constraints: 80636
1655.98/1660.72 c #Conflicts: 907000 | #Constraints: 81636
1655.98/1660.72 c #Conflicts: 908000 | #Constraints: 82636
1655.98/1660.72 c #Conflicts: 909000 | #Constraints: 83636
1655.98/1660.72 c #Conflicts: 910000 | #Constraints: 84636
1655.98/1660.72 c #Conflicts: 911000 | #Constraints: 85636
1655.98/1660.72 c #Conflicts: 912000 | #Constraints: 86636
1655.98/1660.72 c #Conflicts: 913000 | #Constraints: 87636
1655.98/1660.72 c #Conflicts: 914000 | #Constraints: 88636
1655.98/1660.72 c #Conflicts: 915000 | #Constraints: 89636
1655.98/1660.72 c #Conflicts: 916000 | #Constraints: 90636
1655.98/1660.72 c #Conflicts: 917000 | #Constraints: 91636
1655.98/1660.72 c #Conflicts: 918000 | #Constraints: 92636
1655.98/1660.72 c #Conflicts: 919000 | #Constraints: 93636
1655.98/1660.72 c #Conflicts: 920000 | #Constraints: 94636
1655.98/1660.72 c #Conflicts: 921000 | #Constraints: 95636
1655.98/1660.72 c #Conflicts: 922000 | #Constraints: 96636
1655.98/1660.72 c INPROCESSING
1655.98/1660.72 c GARBAGE COLLECT
1655.98/1660.72 c rational objective 15
1700.65/1705.52 c #Conflicts: 923000 | #Constraints: 78630
1700.65/1705.52 c #Conflicts: 924000 | #Constraints: 79630
1700.65/1705.52 c #Conflicts: 925000 | #Constraints: 80630
1700.65/1705.52 c #Conflicts: 926000 | #Constraints: 81630
1700.65/1705.52 c #Conflicts: 927000 | #Constraints: 82630
1700.65/1705.52 c #Conflicts: 928000 | #Constraints: 83630
1700.65/1705.52 c #Conflicts: 929000 | #Constraints: 84630
1700.65/1705.52 c #Conflicts: 930000 | #Constraints: 85630
1700.65/1705.52 c #Conflicts: 931000 | #Constraints: 86630
1700.65/1705.52 c #Conflicts: 932000 | #Constraints: 87630
1700.65/1705.52 c #Conflicts: 933000 | #Constraints: 88630
1700.65/1705.52 c #Conflicts: 934000 | #Constraints: 89630
1700.65/1705.52 c #Conflicts: 935000 | #Constraints: 90630
1700.65/1705.52 c #Conflicts: 936000 | #Constraints: 91630
1700.65/1705.52 c #Conflicts: 937000 | #Constraints: 92630
1700.65/1705.52 c #Conflicts: 938000 | #Constraints: 93630
1700.65/1705.52 c #Conflicts: 939000 | #Constraints: 94630
1700.65/1705.52 c #Conflicts: 940000 | #Constraints: 95630
1700.65/1705.52 c #Conflicts: 941000 | #Constraints: 96630
1700.65/1705.52 c INPROCESSING
1700.65/1705.52 c GARBAGE COLLECT
1700.65/1705.52 c rational objective 15
1721.70/1726.60 c #Conflicts: 942000 | #Constraints: 78434
1721.70/1726.60 c #Conflicts: 943000 | #Constraints: 79434
1721.70/1726.60 c #Conflicts: 944000 | #Constraints: 80434
1721.70/1726.60 c #Conflicts: 945000 | #Constraints: 81434
1721.70/1726.60 c #Conflicts: 946000 | #Constraints: 82434
1721.70/1726.60 c #Conflicts: 947000 | #Constraints: 83434
1721.70/1726.60 c #Conflicts: 948000 | #Constraints: 84434
1721.70/1726.60 c #Conflicts: 949000 | #Constraints: 85434
1721.70/1726.60 c #Conflicts: 950000 | #Constraints: 86434
1721.70/1726.60 c #Conflicts: 951000 | #Constraints: 87434
1721.70/1726.60 c #Conflicts: 952000 | #Constraints: 88434
1721.70/1726.60 c #Conflicts: 953000 | #Constraints: 89434
1721.70/1726.60 c #Conflicts: 954000 | #Constraints: 90434
1721.70/1726.60 c #Conflicts: 955000 | #Constraints: 91434
1721.70/1726.60 c #Conflicts: 956000 | #Constraints: 92434
1721.70/1726.60 c #Conflicts: 957000 | #Constraints: 93434
1721.70/1726.60 c #Conflicts: 958000 | #Constraints: 94434
1721.70/1726.60 c #Conflicts: 959000 | #Constraints: 95434
1721.70/1726.60 c #Conflicts: 960000 | #Constraints: 96434
1721.70/1726.60 c #Conflicts: 961000 | #Constraints: 97434
1721.70/1726.60 c INPROCESSING
1721.70/1726.60 c GARBAGE COLLECT
1721.70/1726.60 c rational objective 15
1745.23/1750.25 c #Conflicts: 962000 | #Constraints: 79025
1745.23/1750.25 c #Conflicts: 963000 | #Constraints: 80025
1745.23/1750.25 c #Conflicts: 964000 | #Constraints: 81025
1745.23/1750.25 c #Conflicts: 965000 | #Constraints: 82025
1745.23/1750.25 c #Conflicts: 966000 | #Constraints: 83025
1745.23/1750.25 c #Conflicts: 967000 | #Constraints: 84025
1745.23/1750.25 c #Conflicts: 968000 | #Constraints: 85025
1745.23/1750.25 c #Conflicts: 969000 | #Constraints: 86025
1745.23/1750.25 c #Conflicts: 970000 | #Constraints: 87025
1745.23/1750.25 c #Conflicts: 971000 | #Constraints: 88025
1745.23/1750.25 c #Conflicts: 972000 | #Constraints: 89025
1745.23/1750.25 c #Conflicts: 973000 | #Constraints: 90025
1745.23/1750.25 c #Conflicts: 974000 | #Constraints: 91025
1745.23/1750.25 c #Conflicts: 975000 | #Constraints: 92025
1745.23/1750.25 c #Conflicts: 976000 | #Constraints: 93025
1745.23/1750.25 c #Conflicts: 977000 | #Constraints: 94025
1745.23/1750.25 c #Conflicts: 978000 | #Constraints: 95025
1745.23/1750.25 c #Conflicts: 979000 | #Constraints: 96025
1745.23/1750.25 c #Conflicts: 980000 | #Constraints: 97025
1745.23/1750.25 c #Conflicts: 981000 | #Constraints: 98025
1745.23/1750.25 c INPROCESSING
1745.23/1750.25 c GARBAGE COLLECT
1745.23/1750.25 c rational objective 15
1764.08/1769.18 c #Conflicts: 982000 | #Constraints: 79424
1764.08/1769.18 c #Conflicts: 983000 | #Constraints: 80424
1764.08/1769.18 c #Conflicts: 984000 | #Constraints: 81424
1764.08/1769.18 c #Conflicts: 985000 | #Constraints: 82424
1764.08/1769.18 c #Conflicts: 986000 | #Constraints: 83424
1764.08/1769.18 c #Conflicts: 987000 | #Constraints: 84424
1764.08/1769.18 c #Conflicts: 988000 | #Constraints: 85424
1764.08/1769.18 c #Conflicts: 989000 | #Constraints: 86424
1764.08/1769.18 c #Conflicts: 990000 | #Constraints: 87424
1764.08/1769.18 c #Conflicts: 991000 | #Constraints: 88424
1764.08/1769.18 c #Conflicts: 992000 | #Constraints: 89424
1764.08/1769.18 c #Conflicts: 993000 | #Constraints: 90424
1764.08/1769.18 c #Conflicts: 994000 | #Constraints: 91424
1764.08/1769.18 c #Conflicts: 995000 | #Constraints: 92424
1764.08/1769.18 c #Conflicts: 996000 | #Constraints: 93424
1764.08/1769.18 c #Conflicts: 997000 | #Constraints: 94424
1764.08/1769.18 c #Conflicts: 998000 | #Constraints: 95424
1764.08/1769.18 c #Conflicts: 999000 | #Constraints: 96424
1764.08/1769.18 c #Conflicts: 1000000 | #Constraints: 97424
1764.08/1769.18 c #Conflicts: 1001000 | #Constraints: 98424
1764.08/1769.18 c INPROCESSING
1764.08/1769.18 c GARBAGE COLLECT
1764.08/1769.18 c rational objective 15
1795.79/1800.91 c #Conflicts: 1002000 | #Constraints: 79622
1795.79/1800.91 c #Conflicts: 1003000 | #Constraints: 80622
1795.79/1800.91 c #Conflicts: 1004000 | #Constraints: 81622
1795.79/1800.91 c #Conflicts: 1005000 | #Constraints: 82622
1795.79/1800.91 c #Conflicts: 1006000 | #Constraints: 83622
1795.79/1800.91 c #Conflicts: 1007000 | #Constraints: 84622
1795.79/1800.91 c #Conflicts: 1008000 | #Constraints: 85622
1795.79/1800.91 c #Conflicts: 1009000 | #Constraints: 86622
1795.79/1800.91 c #Conflicts: 1010000 | #Constraints: 87622
1795.79/1800.91 c #Conflicts: 1011000 | #Constraints: 88622
1795.79/1800.91 c #Conflicts: 1012000 | #Constraints: 89622
1795.79/1800.91 c #Conflicts: 1013000 | #Constraints: 90622
1795.79/1800.91 c #Conflicts: 1014000 | #Constraints: 91622
1795.79/1800.91 c #Conflicts: 1015000 | #Constraints: 92622
1795.79/1800.91 c #Conflicts: 1016000 | #Constraints: 93622
1795.79/1800.91 c #Conflicts: 1017000 | #Constraints: 94622
1795.79/1800.91 c #Conflicts: 1018000 | #Constraints: 95622
1795.79/1800.91 c #Conflicts: 1019000 | #Constraints: 96622
1795.79/1800.91 c #Conflicts: 1020000 | #Constraints: 97622
1795.79/1800.91 c #Conflicts: 1021000 | #Constraints: 98622
1795.79/1800.91 c INPROCESSING
1795.79/1800.91 c GARBAGE COLLECT
1795.79/1800.91 c rational objective 15
1817.32/1822.59 c #Conflicts: 1022000 | #Constraints: 79633
1817.32/1822.59 c #Conflicts: 1023000 | #Constraints: 80633
1817.32/1822.59 c #Conflicts: 1024000 | #Constraints: 81633
1817.32/1822.59 c #Conflicts: 1025000 | #Constraints: 82633
1817.32/1822.59 c #Conflicts: 1026000 | #Constraints: 83633
1817.32/1822.59 c #Conflicts: 1027000 | #Constraints: 84633
1817.32/1822.59 c #Conflicts: 1028000 | #Constraints: 85633
1817.32/1822.59 c #Conflicts: 1029000 | #Constraints: 86633
1817.32/1822.59 c #Conflicts: 1030000 | #Constraints: 87633
1817.32/1822.59 c #Conflicts: 1031000 | #Constraints: 88633
1817.32/1822.59 c #Conflicts: 1032000 | #Constraints: 89633
1817.32/1822.59 c #Conflicts: 1033000 | #Constraints: 90633
1817.32/1822.59 c #Conflicts: 1034000 | #Constraints: 91633
1817.32/1822.59 c #Conflicts: 1035000 | #Constraints: 92633
1817.32/1822.59 c #Conflicts: 1036000 | #Constraints: 93633
1817.32/1822.59 c #Conflicts: 1037000 | #Constraints: 94633
1817.32/1822.59 c #Conflicts: 1038000 | #Constraints: 95633
1817.32/1822.59 c #Conflicts: 1039000 | #Constraints: 96633
1817.32/1822.59 c #Conflicts: 1040000 | #Constraints: 97633
1817.32/1822.59 c #Conflicts: 1041000 | #Constraints: 98633
1817.32/1822.59 c INPROCESSING
1817.32/1822.59 c GARBAGE COLLECT
1817.32/1822.59 c rational objective 15
1849.22/1854.53 c #Conflicts: 1042000 | #Constraints: 79428
1849.22/1854.53 c #Conflicts: 1043000 | #Constraints: 80428
1849.22/1854.53 c #Conflicts: 1044000 | #Constraints: 81428
1849.22/1854.53 c #Conflicts: 1045000 | #Constraints: 82428
1849.22/1854.53 c #Conflicts: 1046000 | #Constraints: 83428
1849.22/1854.53 c #Conflicts: 1047000 | #Constraints: 84428
1849.22/1854.53 c #Conflicts: 1048000 | #Constraints: 85428
1849.22/1854.53 c #Conflicts: 1049000 | #Constraints: 86428
1849.22/1854.53 c #Conflicts: 1050000 | #Constraints: 87428
1849.22/1854.53 c #Conflicts: 1051000 | #Constraints: 88428
1849.22/1854.53 c #Conflicts: 1052000 | #Constraints: 89428
1849.22/1854.53 c #Conflicts: 1053000 | #Constraints: 90428
1849.22/1854.53 c #Conflicts: 1054000 | #Constraints: 91428
1849.22/1854.53 c #Conflicts: 1055000 | #Constraints: 92428
1849.22/1854.53 c #Conflicts: 1056000 | #Constraints: 93428
1849.22/1854.53 c #Conflicts: 1057000 | #Constraints: 94428
1849.22/1854.53 c #Conflicts: 1058000 | #Constraints: 95428
1849.22/1854.53 c #Conflicts: 1059000 | #Constraints: 96428
1849.22/1854.53 c #Conflicts: 1060000 | #Constraints: 97428
1849.22/1854.53 c #Conflicts: 1061000 | #Constraints: 98428
1849.22/1854.53 c #Conflicts: 1062000 | #Constraints: 99428
1849.22/1854.53 c INPROCESSING
1849.22/1854.53 c GARBAGE COLLECT
1849.22/1854.53 c rational objective 15
1877.24/1882.61 c #Conflicts: 1063000 | #Constraints: 80030
1877.24/1882.61 c #Conflicts: 1064000 | #Constraints: 81030
1877.24/1882.61 c #Conflicts: 1065000 | #Constraints: 82030
1877.24/1882.61 c #Conflicts: 1066000 | #Constraints: 83030
1877.24/1882.61 c #Conflicts: 1067000 | #Constraints: 84030
1877.24/1882.61 c #Conflicts: 1068000 | #Constraints: 85030
1877.24/1882.61 c #Conflicts: 1069000 | #Constraints: 86030
1877.24/1882.61 c #Conflicts: 1070000 | #Constraints: 87030
1877.24/1882.61 c #Conflicts: 1071000 | #Constraints: 88030
1877.24/1882.61 c #Conflicts: 1072000 | #Constraints: 89030
1877.24/1882.61 c #Conflicts: 1073000 | #Constraints: 90030
1877.24/1882.61 c #Conflicts: 1074000 | #Constraints: 91030
1877.24/1882.61 c #Conflicts: 1075000 | #Constraints: 92030
1877.24/1882.61 c #Conflicts: 1076000 | #Constraints: 93030
1877.24/1882.61 c #Conflicts: 1077000 | #Constraints: 94030
1877.24/1882.61 c #Conflicts: 1078000 | #Constraints: 95030
1877.24/1882.61 c #Conflicts: 1079000 | #Constraints: 96030
1877.24/1882.61 c #Conflicts: 1080000 | #Constraints: 97030
1877.24/1882.61 c #Conflicts: 1081000 | #Constraints: 98030
1877.24/1882.61 c #Conflicts: 1082000 | #Constraints: 99030
1877.24/1882.61 c #Conflicts: 1083000 | #Constraints: 100030
1877.24/1882.61 c INPROCESSING
1877.24/1882.61 c GARBAGE COLLECT
1877.24/1882.61 c rational objective 15
1901.67/1907.11 c #Conflicts: 1084000 | #Constraints: 80427
1901.67/1907.11 c #Conflicts: 1085000 | #Constraints: 81427
1901.67/1907.11 c #Conflicts: 1086000 | #Constraints: 82427
1901.67/1907.11 c #Conflicts: 1087000 | #Constraints: 83427
1901.67/1907.11 c #Conflicts: 1088000 | #Constraints: 84427
1901.67/1907.11 c #Conflicts: 1089000 | #Constraints: 85427
1901.67/1907.11 c #Conflicts: 1090000 | #Constraints: 86427
1901.67/1907.11 c #Conflicts: 1091000 | #Constraints: 87427
1901.67/1907.11 c #Conflicts: 1092000 | #Constraints: 88427
1901.67/1907.11 c #Conflicts: 1093000 | #Constraints: 89427
1901.67/1907.11 c #Conflicts: 1094000 | #Constraints: 90427
1901.67/1907.11 c #Conflicts: 1095000 | #Constraints: 91427
1901.67/1907.11 c #Conflicts: 1096000 | #Constraints: 92427
1901.67/1907.11 c #Conflicts: 1097000 | #Constraints: 93427
1901.67/1907.11 c #Conflicts: 1098000 | #Constraints: 94427
1901.67/1907.11 c #Conflicts: 1099000 | #Constraints: 95427
1901.67/1907.11 c #Conflicts: 1100000 | #Constraints: 96427
1901.67/1907.11 c #Conflicts: 1101000 | #Constraints: 97427
1901.67/1907.11 c #Conflicts: 1102000 | #Constraints: 98427
1901.67/1907.11 c #Conflicts: 1103000 | #Constraints: 99427
1901.67/1907.11 c #Conflicts: 1104000 | #Constraints: 100427
1901.67/1907.11 c INPROCESSING
1901.67/1907.11 c GARBAGE COLLECT
1901.67/1907.11 c rational objective 15
1949.54/1955.18 c #Conflicts: 1105000 | #Constraints: 80638
1949.54/1955.18 c #Conflicts: 1106000 | #Constraints: 81638
1949.54/1955.18 c #Conflicts: 1107000 | #Constraints: 82638
1949.54/1955.18 c #Conflicts: 1108000 | #Constraints: 83638
1949.54/1955.18 c #Conflicts: 1109000 | #Constraints: 84638
1949.54/1955.18 c #Conflicts: 1110000 | #Constraints: 85638
1949.54/1955.18 c #Conflicts: 1111000 | #Constraints: 86638
1949.54/1955.18 c #Conflicts: 1112000 | #Constraints: 87638
1949.54/1955.18 c #Conflicts: 1113000 | #Constraints: 88638
1949.54/1955.18 c #Conflicts: 1114000 | #Constraints: 89638
1949.54/1955.18 c #Conflicts: 1115000 | #Constraints: 90638
1949.54/1955.18 c #Conflicts: 1116000 | #Constraints: 91638
1949.54/1955.18 c #Conflicts: 1117000 | #Constraints: 92638
1949.54/1955.18 c #Conflicts: 1118000 | #Constraints: 93638
1949.54/1955.18 c #Conflicts: 1119000 | #Constraints: 94638
1949.54/1955.18 c #Conflicts: 1120000 | #Constraints: 95638
1949.54/1955.18 c #Conflicts: 1121000 | #Constraints: 96638
1949.54/1955.18 c #Conflicts: 1122000 | #Constraints: 97638
1949.54/1955.18 c #Conflicts: 1123000 | #Constraints: 98638
1949.54/1955.18 c #Conflicts: 1124000 | #Constraints: 99638
1949.54/1955.18 c #Conflicts: 1125000 | #Constraints: 100638
1949.54/1955.18 c INPROCESSING
1949.54/1955.18 c GARBAGE COLLECT
1949.54/1955.18 c rational objective 15
1976.56/1982.22 c #Conflicts: 1126000 | #Constraints: 80666
1976.56/1982.22 c #Conflicts: 1127000 | #Constraints: 81666
1976.56/1982.22 c #Conflicts: 1128000 | #Constraints: 82666
1976.56/1982.22 c #Conflicts: 1129000 | #Constraints: 83666
1976.56/1982.22 c #Conflicts: 1130000 | #Constraints: 84666
1976.56/1982.22 c #Conflicts: 1131000 | #Constraints: 85666
1976.56/1982.22 c #Conflicts: 1132000 | #Constraints: 86666
1976.56/1982.22 c #Conflicts: 1133000 | #Constraints: 87666
1976.56/1982.22 c #Conflicts: 1134000 | #Constraints: 88666
1976.56/1982.22 c #Conflicts: 1135000 | #Constraints: 89666
1976.56/1982.22 c #Conflicts: 1136000 | #Constraints: 90666
1976.56/1982.22 c #Conflicts: 1137000 | #Constraints: 91666
1976.56/1982.22 c #Conflicts: 1138000 | #Constraints: 92666
1976.56/1982.22 c #Conflicts: 1139000 | #Constraints: 93666
1976.56/1982.22 c #Conflicts: 1140000 | #Constraints: 94666
1976.56/1982.22 c #Conflicts: 1141000 | #Constraints: 95666
1976.56/1982.22 c #Conflicts: 1142000 | #Constraints: 96666
1976.56/1982.22 c #Conflicts: 1143000 | #Constraints: 97666
1976.56/1982.22 c #Conflicts: 1144000 | #Constraints: 98666
1976.56/1982.22 c #Conflicts: 1145000 | #Constraints: 99666
1976.56/1982.22 c #Conflicts: 1146000 | #Constraints: 100666
1976.56/1982.22 c INPROCESSING
1976.56/1982.22 c GARBAGE COLLECT
1976.56/1982.22 c rational objective 15
1997.89/2003.63 c #Conflicts: 1147000 | #Constraints: 80448
1997.89/2003.63 c #Conflicts: 1148000 | #Constraints: 81448
1997.89/2003.63 c #Conflicts: 1149000 | #Constraints: 82448
1997.89/2003.63 c #Conflicts: 1150000 | #Constraints: 83448
1997.89/2003.63 c #Conflicts: 1151000 | #Constraints: 84448
1997.89/2003.63 c #Conflicts: 1152000 | #Constraints: 85448
1997.89/2003.63 c #Conflicts: 1153000 | #Constraints: 86448
1997.89/2003.63 c #Conflicts: 1154000 | #Constraints: 87448
1997.89/2003.63 c #Conflicts: 1155000 | #Constraints: 88448
1997.89/2003.63 c #Conflicts: 1156000 | #Constraints: 89448
1997.89/2003.63 c #Conflicts: 1157000 | #Constraints: 90448
1997.89/2003.63 c #Conflicts: 1158000 | #Constraints: 91448
1997.89/2003.63 c #Conflicts: 1159000 | #Constraints: 92448
1997.89/2003.63 c #Conflicts: 1160000 | #Constraints: 93448
1997.89/2003.63 c #Conflicts: 1161000 | #Constraints: 94448
1997.89/2003.63 c #Conflicts: 1162000 | #Constraints: 95448
1997.89/2003.63 c #Conflicts: 1163000 | #Constraints: 96448
1997.89/2003.63 c #Conflicts: 1164000 | #Constraints: 97448
1997.89/2003.63 c #Conflicts: 1165000 | #Constraints: 98448
1997.89/2003.63 c #Conflicts: 1166000 | #Constraints: 99448
1997.89/2003.63 c #Conflicts: 1167000 | #Constraints: 100448
1997.89/2003.63 c #Conflicts: 1168000 | #Constraints: 101448
1997.89/2003.63 c INPROCESSING
1997.89/2003.63 c GARBAGE COLLECT
1997.89/2003.63 c rational objective 15
2020.73/2026.57 c #Conflicts: 1169000 | #Constraints: 81037
2020.73/2026.57 c #Conflicts: 1170000 | #Constraints: 82037
2020.73/2026.57 c #Conflicts: 1171000 | #Constraints: 83037
2020.73/2026.57 c #Conflicts: 1172000 | #Constraints: 84037
2020.73/2026.57 c #Conflicts: 1173000 | #Constraints: 85037
2020.73/2026.57 c #Conflicts: 1174000 | #Constraints: 86037
2020.73/2026.57 c #Conflicts: 1175000 | #Constraints: 87037
2020.73/2026.57 c #Conflicts: 1176000 | #Constraints: 88037
2020.73/2026.57 c #Conflicts: 1177000 | #Constraints: 89037
2020.73/2026.57 c #Conflicts: 1178000 | #Constraints: 90037
2020.73/2026.57 c #Conflicts: 1179000 | #Constraints: 91037
2020.73/2026.57 c #Conflicts: 1180000 | #Constraints: 92037
2020.73/2026.57 c #Conflicts: 1181000 | #Constraints: 93037
2020.73/2026.57 c #Conflicts: 1182000 | #Constraints: 94037
2020.73/2026.57 c #Conflicts: 1183000 | #Constraints: 95037
2020.73/2026.57 c #Conflicts: 1184000 | #Constraints: 96037
2020.73/2026.57 c #Conflicts: 1185000 | #Constraints: 97037
2020.73/2026.57 c #Conflicts: 1186000 | #Constraints: 98037
2020.73/2026.57 c #Conflicts: 1187000 | #Constraints: 99037
2020.73/2026.57 c #Conflicts: 1188000 | #Constraints: 100037
2020.73/2026.57 c #Conflicts: 1189000 | #Constraints: 101037
2020.73/2026.57 c #Conflicts: 1190000 | #Constraints: 102037
2020.73/2026.57 c INPROCESSING
2020.73/2026.57 c GARBAGE COLLECT
2020.73/2026.57 c rational objective 15
2046.27/2052.19 c #Conflicts: 1191000 | #Constraints: 81434
2046.27/2052.19 c #Conflicts: 1192000 | #Constraints: 82434
2046.27/2052.19 c #Conflicts: 1193000 | #Constraints: 83434
2046.27/2052.19 c #Conflicts: 1194000 | #Constraints: 84434
2046.27/2052.19 c #Conflicts: 1195000 | #Constraints: 85434
2046.27/2052.19 c #Conflicts: 1196000 | #Constraints: 86434
2046.27/2052.19 c #Conflicts: 1197000 | #Constraints: 87434
2046.27/2052.19 c #Conflicts: 1198000 | #Constraints: 88434
2046.27/2052.19 c #Conflicts: 1199000 | #Constraints: 89434
2046.27/2052.19 c #Conflicts: 1200000 | #Constraints: 90434
2046.27/2052.19 c #Conflicts: 1201000 | #Constraints: 91434
2046.27/2052.19 c #Conflicts: 1202000 | #Constraints: 92434
2046.27/2052.19 c #Conflicts: 1203000 | #Constraints: 93434
2046.27/2052.19 c #Conflicts: 1204000 | #Constraints: 94434
2046.27/2052.19 c #Conflicts: 1205000 | #Constraints: 95434
2046.27/2052.19 c #Conflicts: 1206000 | #Constraints: 96434
2046.27/2052.19 c #Conflicts: 1207000 | #Constraints: 97434
2046.27/2052.19 c #Conflicts: 1208000 | #Constraints: 98434
2046.27/2052.19 c #Conflicts: 1209000 | #Constraints: 99434
2046.27/2052.19 c #Conflicts: 1210000 | #Constraints: 100434
2046.27/2052.19 c #Conflicts: 1211000 | #Constraints: 101434
2046.27/2052.19 c #Conflicts: 1212000 | #Constraints: 102434
2046.27/2052.19 c INPROCESSING
2046.27/2052.19 c GARBAGE COLLECT
2046.27/2052.19 c rational objective 15
2069.89/2075.80 c #Conflicts: 1213000 | #Constraints: 81628
2069.89/2075.80 c #Conflicts: 1214000 | #Constraints: 82628
2069.89/2075.80 c #Conflicts: 1215000 | #Constraints: 83628
2069.89/2075.80 c #Conflicts: 1216000 | #Constraints: 84628
2069.89/2075.80 c #Conflicts: 1217000 | #Constraints: 85628
2069.89/2075.80 c #Conflicts: 1218000 | #Constraints: 86628
2069.89/2075.80 c #Conflicts: 1219000 | #Constraints: 87628
2069.89/2075.80 c #Conflicts: 1220000 | #Constraints: 88628
2069.89/2075.80 c #Conflicts: 1221000 | #Constraints: 89628
2069.89/2075.80 c #Conflicts: 1222000 | #Constraints: 90628
2069.89/2075.80 c #Conflicts: 1223000 | #Constraints: 91628
2069.89/2075.80 c #Conflicts: 1224000 | #Constraints: 92628
2069.89/2075.80 c #Conflicts: 1225000 | #Constraints: 93628
2069.89/2075.80 c #Conflicts: 1226000 | #Constraints: 94628
2069.89/2075.80 c #Conflicts: 1227000 | #Constraints: 95628
2069.89/2075.80 c #Conflicts: 1228000 | #Constraints: 96628
2069.89/2075.80 c #Conflicts: 1229000 | #Constraints: 97628
2069.89/2075.80 c #Conflicts: 1230000 | #Constraints: 98628
2069.89/2075.80 c #Conflicts: 1231000 | #Constraints: 99628
2069.89/2075.80 c #Conflicts: 1232000 | #Constraints: 100628
2069.89/2075.80 c #Conflicts: 1233000 | #Constraints: 101628
2069.89/2075.80 c #Conflicts: 1234000 | #Constraints: 102628
2069.89/2075.80 c INPROCESSING
2069.89/2075.80 c GARBAGE COLLECT
2069.89/2075.80 c rational objective 15
2092.42/2098.40 c #Conflicts: 1235000 | #Constraints: 81626
2092.42/2098.40 c #Conflicts: 1236000 | #Constraints: 82626
2092.42/2098.40 c #Conflicts: 1237000 | #Constraints: 83626
2092.42/2098.40 c #Conflicts: 1238000 | #Constraints: 84626
2092.42/2098.40 c #Conflicts: 1239000 | #Constraints: 85626
2092.42/2098.40 c #Conflicts: 1240000 | #Constraints: 86626
2092.42/2098.40 c #Conflicts: 1241000 | #Constraints: 87626
2092.42/2098.40 c #Conflicts: 1242000 | #Constraints: 88626
2092.42/2098.40 c #Conflicts: 1243000 | #Constraints: 89626
2092.42/2098.40 c #Conflicts: 1244000 | #Constraints: 90626
2092.42/2098.40 c #Conflicts: 1245000 | #Constraints: 91626
2092.42/2098.40 c #Conflicts: 1246000 | #Constraints: 92626
2092.42/2098.40 c #Conflicts: 1247000 | #Constraints: 93626
2092.42/2098.40 c #Conflicts: 1248000 | #Constraints: 94626
2092.42/2098.40 c #Conflicts: 1249000 | #Constraints: 95626
2092.42/2098.40 c #Conflicts: 1250000 | #Constraints: 96626
2092.42/2098.40 c #Conflicts: 1251000 | #Constraints: 97626
2092.42/2098.40 c #Conflicts: 1252000 | #Constraints: 98626
2092.42/2098.40 c #Conflicts: 1253000 | #Constraints: 99626
2092.42/2098.40 c #Conflicts: 1254000 | #Constraints: 100626
2092.42/2098.40 c #Conflicts: 1255000 | #Constraints: 101626
2092.42/2098.40 c #Conflicts: 1256000 | #Constraints: 102626
2092.42/2098.40 c INPROCESSING
2092.42/2098.40 c GARBAGE COLLECT
2092.42/2098.40 c rational objective 15
2122.04/2128.18 c #Conflicts: 1257000 | #Constraints: 81444
2122.04/2128.18 c #Conflicts: 1258000 | #Constraints: 82444
2122.04/2128.18 c #Conflicts: 1259000 | #Constraints: 83444
2122.04/2128.18 c #Conflicts: 1260000 | #Constraints: 84444
2122.04/2128.18 c #Conflicts: 1261000 | #Constraints: 85444
2122.04/2128.18 c #Conflicts: 1262000 | #Constraints: 86444
2122.04/2128.18 c #Conflicts: 1263000 | #Constraints: 87444
2122.04/2128.18 c #Conflicts: 1264000 | #Constraints: 88444
2122.04/2128.18 c #Conflicts: 1265000 | #Constraints: 89444
2122.04/2128.18 c #Conflicts: 1266000 | #Constraints: 90444
2122.04/2128.18 c #Conflicts: 1267000 | #Constraints: 91444
2122.04/2128.18 c #Conflicts: 1268000 | #Constraints: 92444
2122.04/2128.18 c #Conflicts: 1269000 | #Constraints: 93444
2122.04/2128.18 c #Conflicts: 1270000 | #Constraints: 94444
2122.04/2128.18 c #Conflicts: 1271000 | #Constraints: 95444
2122.04/2128.18 c #Conflicts: 1272000 | #Constraints: 96444
2122.04/2128.18 c #Conflicts: 1273000 | #Constraints: 97444
2122.04/2128.18 c #Conflicts: 1274000 | #Constraints: 98444
2122.04/2128.18 c #Conflicts: 1275000 | #Constraints: 99444
2122.04/2128.18 c #Conflicts: 1276000 | #Constraints: 100444
2122.04/2128.18 c #Conflicts: 1277000 | #Constraints: 101444
2122.04/2128.18 c #Conflicts: 1278000 | #Constraints: 102445
2122.04/2128.18 c #Conflicts: 1279000 | #Constraints: 103445
2122.04/2128.18 c INPROCESSING
2122.04/2128.18 c GARBAGE COLLECT
2122.04/2128.18 c rational objective 15
2146.46/2152.67 c #Conflicts: 1280000 | #Constraints: 82033
2146.46/2152.67 c #Conflicts: 1281000 | #Constraints: 83033
2146.46/2152.67 c #Conflicts: 1282000 | #Constraints: 84033
2146.46/2152.67 c #Conflicts: 1283000 | #Constraints: 85033
2146.46/2152.67 c #Conflicts: 1284000 | #Constraints: 86033
2146.46/2152.67 c #Conflicts: 1285000 | #Constraints: 87033
2146.46/2152.67 c #Conflicts: 1286000 | #Constraints: 88033
2146.46/2152.67 c #Conflicts: 1287000 | #Constraints: 89033
2146.46/2152.67 c #Conflicts: 1288000 | #Constraints: 90033
2146.46/2152.67 c #Conflicts: 1289000 | #Constraints: 91033
2146.46/2152.67 c #Conflicts: 1290000 | #Constraints: 92033
2146.46/2152.67 c #Conflicts: 1291000 | #Constraints: 93033
2146.46/2152.67 c #Conflicts: 1292000 | #Constraints: 94033
2146.46/2152.67 c #Conflicts: 1293000 | #Constraints: 95033
2146.46/2152.67 c #Conflicts: 1294000 | #Constraints: 96033
2146.46/2152.67 c #Conflicts: 1295000 | #Constraints: 97033
2146.46/2152.67 c #Conflicts: 1296000 | #Constraints: 98033
2146.46/2152.67 c #Conflicts: 1297000 | #Constraints: 99033
2146.46/2152.67 c #Conflicts: 1298000 | #Constraints: 100033
2146.46/2152.67 c #Conflicts: 1299000 | #Constraints: 101033
2146.46/2152.67 c #Conflicts: 1300000 | #Constraints: 102033
2146.46/2152.67 c #Conflicts: 1301000 | #Constraints: 103033
2146.46/2152.67 c #Conflicts: 1302000 | #Constraints: 104033
2146.46/2152.67 c INPROCESSING
2146.46/2152.67 c GARBAGE COLLECT
2146.46/2152.67 c rational objective 15
2176.97/2183.21 c #Conflicts: 1303000 | #Constraints: 82432
2176.97/2183.21 c #Conflicts: 1304000 | #Constraints: 83432
2176.97/2183.21 c #Conflicts: 1305000 | #Constraints: 84432
2176.97/2183.21 c #Conflicts: 1306000 | #Constraints: 85432
2176.97/2183.21 c #Conflicts: 1307000 | #Constraints: 86432
2176.97/2183.21 c #Conflicts: 1308000 | #Constraints: 87432
2176.97/2183.21 c #Conflicts: 1309000 | #Constraints: 88432
2176.97/2183.21 c #Conflicts: 1310000 | #Constraints: 89432
2176.97/2183.21 c #Conflicts: 1311000 | #Constraints: 90432
2176.97/2183.21 c #Conflicts: 1312000 | #Constraints: 91432
2176.97/2183.21 c #Conflicts: 1313000 | #Constraints: 92432
2176.97/2183.21 c #Conflicts: 1314000 | #Constraints: 93432
2176.97/2183.21 c #Conflicts: 1315000 | #Constraints: 94432
2176.97/2183.21 c #Conflicts: 1316000 | #Constraints: 95432
2176.97/2183.21 c #Conflicts: 1317000 | #Constraints: 96432
2176.97/2183.21 c #Conflicts: 1318000 | #Constraints: 97432
2176.97/2183.21 c #Conflicts: 1319000 | #Constraints: 98432
2176.97/2183.21 c #Conflicts: 1320000 | #Constraints: 99432
2176.97/2183.21 c #Conflicts: 1321000 | #Constraints: 100432
2176.97/2183.21 c #Conflicts: 1322000 | #Constraints: 101432
2176.97/2183.21 c #Conflicts: 1323000 | #Constraints: 102432
2176.97/2183.21 c #Conflicts: 1324000 | #Constraints: 103432
2176.97/2183.21 c #Conflicts: 1325000 | #Constraints: 104432
2176.97/2183.21 c INPROCESSING
2176.97/2183.21 c GARBAGE COLLECT
2176.97/2183.21 c rational objective 15
2204.20/2210.58 c #Conflicts: 1326000 | #Constraints: 82631
2204.20/2210.58 c #Conflicts: 1327000 | #Constraints: 83631
2204.20/2210.58 c #Conflicts: 1328000 | #Constraints: 84631
2204.20/2210.58 c #Conflicts: 1329000 | #Constraints: 85631
2204.20/2210.58 c #Conflicts: 1330000 | #Constraints: 86631
2204.20/2210.58 c #Conflicts: 1331000 | #Constraints: 87631
2204.20/2210.58 c #Conflicts: 1332000 | #Constraints: 88631
2204.20/2210.58 c #Conflicts: 1333000 | #Constraints: 89631
2204.20/2210.58 c #Conflicts: 1334000 | #Constraints: 90631
2204.20/2210.58 c #Conflicts: 1335000 | #Constraints: 91631
2204.20/2210.58 c #Conflicts: 1336000 | #Constraints: 92631
2204.20/2210.58 c #Conflicts: 1337000 | #Constraints: 93631
2204.20/2210.58 c #Conflicts: 1338000 | #Constraints: 94631
2204.20/2210.58 c #Conflicts: 1339000 | #Constraints: 95631
2204.20/2210.58 c #Conflicts: 1340000 | #Constraints: 96631
2204.20/2210.58 c #Conflicts: 1341000 | #Constraints: 97631
2204.20/2210.58 c #Conflicts: 1342000 | #Constraints: 98631
2204.20/2210.58 c #Conflicts: 1343000 | #Constraints: 99631
2204.20/2210.58 c #Conflicts: 1344000 | #Constraints: 100631
2204.20/2210.58 c #Conflicts: 1345000 | #Constraints: 101631
2204.20/2210.58 c #Conflicts: 1346000 | #Constraints: 102631
2204.20/2210.58 c #Conflicts: 1347000 | #Constraints: 103631
2204.20/2210.58 c #Conflicts: 1348000 | #Constraints: 104631
2204.20/2210.58 c INPROCESSING
2204.20/2210.58 c GARBAGE COLLECT
2204.20/2210.58 c rational objective 15
2233.03/2239.47 c #Conflicts: 1349000 | #Constraints: 82628
2233.03/2239.47 c #Conflicts: 1350000 | #Constraints: 83628
2233.03/2239.47 c #Conflicts: 1351000 | #Constraints: 84628
2233.03/2239.47 c #Conflicts: 1352000 | #Constraints: 85628
2233.03/2239.47 c #Conflicts: 1353000 | #Constraints: 86628
2233.03/2239.47 c #Conflicts: 1354000 | #Constraints: 87628
2233.03/2239.47 c #Conflicts: 1355000 | #Constraints: 88628
2233.03/2239.47 c #Conflicts: 1356000 | #Constraints: 89628
2233.03/2239.47 c #Conflicts: 1357000 | #Constraints: 90628
2233.03/2239.47 c #Conflicts: 1358000 | #Constraints: 91628
2233.03/2239.47 c #Conflicts: 1359000 | #Constraints: 92628
2233.03/2239.47 c #Conflicts: 1360000 | #Constraints: 93628
2233.03/2239.47 c #Conflicts: 1361000 | #Constraints: 94628
2233.03/2239.47 c #Conflicts: 1362000 | #Constraints: 95628
2233.03/2239.47 c #Conflicts: 1363000 | #Constraints: 96628
2233.03/2239.47 c #Conflicts: 1364000 | #Constraints: 97628
2233.03/2239.47 c #Conflicts: 1365000 | #Constraints: 98628
2233.03/2239.47 c #Conflicts: 1366000 | #Constraints: 99628
2233.03/2239.47 c #Conflicts: 1367000 | #Constraints: 100628
2233.03/2239.47 c #Conflicts: 1368000 | #Constraints: 101628
2233.03/2239.47 c #Conflicts: 1369000 | #Constraints: 102628
2233.03/2239.47 c #Conflicts: 1370000 | #Constraints: 103628
2233.03/2239.47 c #Conflicts: 1371000 | #Constraints: 104628
2233.03/2239.47 c INPROCESSING
2233.03/2239.47 c GARBAGE COLLECT
2233.03/2239.47 c rational objective 15
2254.78/2261.24 c #Conflicts: 1372000 | #Constraints: 82425
2254.78/2261.24 c #Conflicts: 1373000 | #Constraints: 83425
2254.78/2261.24 c #Conflicts: 1374000 | #Constraints: 84425
2254.78/2261.24 c #Conflicts: 1375000 | #Constraints: 85425
2254.78/2261.24 c #Conflicts: 1376000 | #Constraints: 86425
2254.78/2261.24 c #Conflicts: 1377000 | #Constraints: 87425
2254.78/2261.24 c #Conflicts: 1378000 | #Constraints: 88425
2254.78/2261.24 c #Conflicts: 1379000 | #Constraints: 89425
2254.78/2261.24 c #Conflicts: 1380000 | #Constraints: 90425
2254.78/2261.24 c #Conflicts: 1381000 | #Constraints: 91425
2254.78/2261.24 c #Conflicts: 1382000 | #Constraints: 92425
2254.78/2261.24 c #Conflicts: 1383000 | #Constraints: 93425
2254.78/2261.24 c #Conflicts: 1384000 | #Constraints: 94425
2254.78/2261.24 c #Conflicts: 1385000 | #Constraints: 95425
2254.78/2261.24 c #Conflicts: 1386000 | #Constraints: 96425
2254.78/2261.24 c #Conflicts: 1387000 | #Constraints: 97425
2254.78/2261.24 c #Conflicts: 1388000 | #Constraints: 98425
2254.78/2261.24 c #Conflicts: 1389000 | #Constraints: 99425
2254.78/2261.24 c #Conflicts: 1390000 | #Constraints: 100425
2254.78/2261.24 c #Conflicts: 1391000 | #Constraints: 101425
2254.78/2261.24 c #Conflicts: 1392000 | #Constraints: 102425
2254.78/2261.24 c #Conflicts: 1393000 | #Constraints: 103425
2254.78/2261.24 c #Conflicts: 1394000 | #Constraints: 104425
2254.78/2261.24 c #Conflicts: 1395000 | #Constraints: 105425
2254.78/2261.24 c INPROCESSING
2254.78/2261.24 c GARBAGE COLLECT
2254.78/2261.24 c rational objective 15
2283.91/2290.45 c #Conflicts: 1396000 | #Constraints: 83023
2283.91/2290.45 c #Conflicts: 1397000 | #Constraints: 84023
2283.91/2290.45 c #Conflicts: 1398000 | #Constraints: 85023
2283.91/2290.45 c #Conflicts: 1399000 | #Constraints: 86023
2283.91/2290.45 c #Conflicts: 1400000 | #Constraints: 87023
2283.91/2290.45 c #Conflicts: 1401000 | #Constraints: 88023
2283.91/2290.45 c #Conflicts: 1402000 | #Constraints: 89023
2283.91/2290.45 c #Conflicts: 1403000 | #Constraints: 90023
2283.91/2290.45 c #Conflicts: 1404000 | #Constraints: 91023
2283.91/2290.45 c #Conflicts: 1405000 | #Constraints: 92023
2283.91/2290.45 c #Conflicts: 1406000 | #Constraints: 93023
2283.91/2290.45 c #Conflicts: 1407000 | #Constraints: 94023
2283.91/2290.45 c #Conflicts: 1408000 | #Constraints: 95023
2283.91/2290.45 c #Conflicts: 1409000 | #Constraints: 96023
2283.91/2290.45 c #Conflicts: 1410000 | #Constraints: 97023
2283.91/2290.45 c #Conflicts: 1411000 | #Constraints: 98023
2283.91/2290.45 c #Conflicts: 1412000 | #Constraints: 99023
2283.91/2290.45 c #Conflicts: 1413000 | #Constraints: 100023
2283.91/2290.45 c #Conflicts: 1414000 | #Constraints: 101023
2283.91/2290.45 c #Conflicts: 1415000 | #Constraints: 102023
2283.91/2290.45 c #Conflicts: 1416000 | #Constraints: 103023
2283.91/2290.45 c #Conflicts: 1417000 | #Constraints: 104023
2283.91/2290.45 c #Conflicts: 1418000 | #Constraints: 105023
2283.91/2290.45 c #Conflicts: 1419000 | #Constraints: 106023
2283.91/2290.45 c INPROCESSING
2283.91/2290.45 c GARBAGE COLLECT
2283.91/2290.45 c rational objective 15
2311.94/2318.53 c #Conflicts: 1420000 | #Constraints: 83426
2311.94/2318.53 c #Conflicts: 1421000 | #Constraints: 84426
2311.94/2318.53 c #Conflicts: 1422000 | #Constraints: 85426
2311.94/2318.53 c #Conflicts: 1423000 | #Constraints: 86426
2311.94/2318.53 c #Conflicts: 1424000 | #Constraints: 87426
2311.94/2318.53 c #Conflicts: 1425000 | #Constraints: 88426
2311.94/2318.53 c #Conflicts: 1426000 | #Constraints: 89426
2311.94/2318.53 c #Conflicts: 1427000 | #Constraints: 90426
2311.94/2318.53 c #Conflicts: 1428000 | #Constraints: 91426
2311.94/2318.53 c #Conflicts: 1429000 | #Constraints: 92426
2311.94/2318.53 c #Conflicts: 1430000 | #Constraints: 93426
2311.94/2318.53 c #Conflicts: 1431000 | #Constraints: 94426
2311.94/2318.53 c #Conflicts: 1432000 | #Constraints: 95426
2311.94/2318.53 c #Conflicts: 1433000 | #Constraints: 96426
2311.94/2318.53 c #Conflicts: 1434000 | #Constraints: 97426
2311.94/2318.53 c #Conflicts: 1435000 | #Constraints: 98426
2311.94/2318.53 c #Conflicts: 1436000 | #Constraints: 99426
2311.94/2318.53 c #Conflicts: 1437000 | #Constraints: 100426
2311.94/2318.53 c #Conflicts: 1438000 | #Constraints: 101426
2311.94/2318.53 c #Conflicts: 1439000 | #Constraints: 102426
2311.94/2318.53 c #Conflicts: 1440000 | #Constraints: 103426
2311.94/2318.53 c #Conflicts: 1441000 | #Constraints: 104426
2311.94/2318.53 c #Conflicts: 1442000 | #Constraints: 105426
2311.94/2318.53 c #Conflicts: 1443000 | #Constraints: 106426
2311.94/2318.53 c INPROCESSING
2311.94/2318.53 c GARBAGE COLLECT
2311.94/2318.53 c rational objective 15
2345.27/2351.92 c #Conflicts: 1444000 | #Constraints: 83622
2345.27/2351.92 c #Conflicts: 1445000 | #Constraints: 84622
2345.27/2351.92 c #Conflicts: 1446000 | #Constraints: 85622
2345.27/2351.92 c #Conflicts: 1447000 | #Constraints: 86622
2345.27/2351.92 c #Conflicts: 1448000 | #Constraints: 87622
2345.27/2351.92 c #Conflicts: 1449000 | #Constraints: 88622
2345.27/2351.92 c #Conflicts: 1450000 | #Constraints: 89622
2345.27/2351.92 c #Conflicts: 1451000 | #Constraints: 90622
2345.27/2351.92 c #Conflicts: 1452000 | #Constraints: 91622
2345.27/2351.92 c #Conflicts: 1453000 | #Constraints: 92622
2345.27/2351.92 c #Conflicts: 1454000 | #Constraints: 93622
2345.27/2351.92 c #Conflicts: 1455000 | #Constraints: 94622
2345.27/2351.92 c #Conflicts: 1456000 | #Constraints: 95622
2345.27/2351.92 c #Conflicts: 1457000 | #Constraints: 96622
2345.27/2351.92 c #Conflicts: 1458000 | #Constraints: 97622
2345.27/2351.92 c #Conflicts: 1459000 | #Constraints: 98622
2345.27/2351.92 c #Conflicts: 1460000 | #Constraints: 99622
2345.27/2351.92 c #Conflicts: 1461000 | #Constraints: 100622
2345.27/2351.92 c #Conflicts: 1462000 | #Constraints: 101622
2345.27/2351.92 c #Conflicts: 1463000 | #Constraints: 102622
2345.27/2351.92 c #Conflicts: 1464000 | #Constraints: 103622
2345.27/2351.92 c #Conflicts: 1465000 | #Constraints: 104622
2345.27/2351.92 c #Conflicts: 1466000 | #Constraints: 105622
2345.27/2351.92 c #Conflicts: 1467000 | #Constraints: 106622
2345.27/2351.92 c INPROCESSING
2345.27/2351.92 c GARBAGE COLLECT
2345.27/2351.92 c rational objective 15
2379.09/2385.83 c #Conflicts: 1468000 | #Constraints: 83624
2379.09/2385.83 c #Conflicts: 1469000 | #Constraints: 84624
2379.09/2385.83 c #Conflicts: 1470000 | #Constraints: 85624
2379.09/2385.83 c #Conflicts: 1471000 | #Constraints: 86624
2379.09/2385.83 c #Conflicts: 1472000 | #Constraints: 87624
2379.09/2385.83 c #Conflicts: 1473000 | #Constraints: 88624
2379.09/2385.83 c #Conflicts: 1474000 | #Constraints: 89624
2379.09/2385.83 c #Conflicts: 1475000 | #Constraints: 90624
2379.09/2385.83 c #Conflicts: 1476000 | #Constraints: 91624
2379.09/2385.83 c #Conflicts: 1477000 | #Constraints: 92624
2379.09/2385.83 c #Conflicts: 1478000 | #Constraints: 93624
2379.09/2385.83 c #Conflicts: 1479000 | #Constraints: 94624
2379.09/2385.83 c #Conflicts: 1480000 | #Constraints: 95624
2379.09/2385.83 c #Conflicts: 1481000 | #Constraints: 96624
2379.09/2385.83 c #Conflicts: 1482000 | #Constraints: 97624
2379.09/2385.83 c #Conflicts: 1483000 | #Constraints: 98624
2379.09/2385.83 c #Conflicts: 1484000 | #Constraints: 99624
2379.09/2385.83 c #Conflicts: 1485000 | #Constraints: 100624
2379.09/2385.83 c #Conflicts: 1486000 | #Constraints: 101624
2379.09/2385.83 c #Conflicts: 1487000 | #Constraints: 102624
2379.09/2385.83 c #Conflicts: 1488000 | #Constraints: 103624
2379.09/2385.83 c #Conflicts: 1489000 | #Constraints: 104624
2379.09/2385.83 c #Conflicts: 1490000 | #Constraints: 105624
2379.09/2385.83 c #Conflicts: 1491000 | #Constraints: 106624
2379.09/2385.83 c INPROCESSING
2379.09/2385.83 c GARBAGE COLLECT
2379.09/2385.83 c rational objective 15
2458.31/2465.24 c #Conflicts: 1492000 | #Constraints: 83453
2458.31/2465.24 c #Conflicts: 1493000 | #Constraints: 84453
2458.31/2465.24 c #Conflicts: 1494000 | #Constraints: 85453
2458.31/2465.24 c #Conflicts: 1495000 | #Constraints: 86453
2458.31/2465.24 c #Conflicts: 1496000 | #Constraints: 87453
2458.31/2465.24 c #Conflicts: 1497000 | #Constraints: 88453
2458.31/2465.24 c #Conflicts: 1498000 | #Constraints: 89453
2458.31/2465.24 c #Conflicts: 1499000 | #Constraints: 90453
2458.31/2465.24 c #Conflicts: 1500000 | #Constraints: 91453
2458.31/2465.24 c #Conflicts: 1501000 | #Constraints: 92453
2458.31/2465.24 c #Conflicts: 1502000 | #Constraints: 93453
2458.31/2465.24 c #Conflicts: 1503000 | #Constraints: 94453
2458.31/2465.24 c #Conflicts: 1504000 | #Constraints: 95453
2458.31/2465.24 c #Conflicts: 1505000 | #Constraints: 96453
2458.31/2465.24 c #Conflicts: 1506000 | #Constraints: 97453
2458.31/2465.24 c #Conflicts: 1507000 | #Constraints: 98453
2458.31/2465.24 c #Conflicts: 1508000 | #Constraints: 99453
2458.31/2465.24 c #Conflicts: 1509000 | #Constraints: 100453
2458.31/2465.24 c #Conflicts: 1510000 | #Constraints: 101453
2458.31/2465.24 c #Conflicts: 1511000 | #Constraints: 102453
2458.31/2465.24 c #Conflicts: 1512000 | #Constraints: 103453
2458.31/2465.24 c #Conflicts: 1513000 | #Constraints: 104453
2458.31/2465.24 c #Conflicts: 1514000 | #Constraints: 105453
2458.31/2465.24 c #Conflicts: 1515000 | #Constraints: 106453
2458.31/2465.24 c #Conflicts: 1516000 | #Constraints: 107453
2458.31/2465.24 c INPROCESSING
2458.31/2465.24 c GARBAGE COLLECT
2458.31/2465.24 c #Conflicts: 1517000 | #Constraints: 84036
2458.31/2465.24 c #Conflicts: 1518000 | #Constraints: 85036
2458.31/2465.24 c #Conflicts: 1519000 | #Constraints: 86036
2458.31/2465.24 c #Conflicts: 1520000 | #Constraints: 87036
2458.31/2465.24 c #Conflicts: 1521000 | #Constraints: 88036
2458.31/2465.24 c #Conflicts: 1522000 | #Constraints: 89036
2458.31/2465.24 c #Conflicts: 1523000 | #Constraints: 90036
2458.31/2465.24 c #Conflicts: 1524000 | #Constraints: 91036
2458.31/2465.24 c #Conflicts: 1525000 | #Constraints: 92036
2458.31/2465.24 c #Conflicts: 1526000 | #Constraints: 93036
2458.31/2465.24 c #Conflicts: 1527000 | #Constraints: 94036
2458.31/2465.24 c #Conflicts: 1528000 | #Constraints: 95036
2458.31/2465.24 c #Conflicts: 1529000 | #Constraints: 96036
2458.31/2465.24 c #Conflicts: 1530000 | #Constraints: 97036
2458.31/2465.24 c #Conflicts: 1531000 | #Constraints: 98036
2458.31/2465.24 c #Conflicts: 1532000 | #Constraints: 99036
2458.31/2465.24 c #Conflicts: 1533000 | #Constraints: 100036
2458.31/2465.24 c #Conflicts: 1534000 | #Constraints: 101036
2458.31/2465.24 c #Conflicts: 1535000 | #Constraints: 102036
2458.31/2465.24 c #Conflicts: 1536000 | #Constraints: 103036
2458.31/2465.24 c #Conflicts: 1537000 | #Constraints: 104036
2458.31/2465.24 c #Conflicts: 1538000 | #Constraints: 105036
2458.31/2465.24 c #Conflicts: 1539000 | #Constraints: 106036
2458.31/2465.24 c #Conflicts: 1540000 | #Constraints: 107036
2458.31/2465.24 c #Conflicts: 1541000 | #Constraints: 108036
2458.31/2465.24 c INPROCESSING
2458.31/2465.24 c GARBAGE COLLECT
2458.31/2465.24 c rational objective 15
2491.23/2498.26 c #Conflicts: 1542000 | #Constraints: 84431
2491.23/2498.26 c #Conflicts: 1543000 | #Constraints: 85431
2491.23/2498.26 c #Conflicts: 1544000 | #Constraints: 86431
2491.23/2498.26 c #Conflicts: 1545000 | #Constraints: 87431
2491.23/2498.26 c #Conflicts: 1546000 | #Constraints: 88431
2491.23/2498.26 c #Conflicts: 1547000 | #Constraints: 89431
2491.23/2498.26 c #Conflicts: 1548000 | #Constraints: 90431
2491.23/2498.26 c #Conflicts: 1549000 | #Constraints: 91431
2491.23/2498.26 c #Conflicts: 1550000 | #Constraints: 92431
2491.23/2498.26 c #Conflicts: 1551000 | #Constraints: 93431
2491.23/2498.26 c #Conflicts: 1552000 | #Constraints: 94431
2491.23/2498.26 c #Conflicts: 1553000 | #Constraints: 95431
2491.23/2498.26 c #Conflicts: 1554000 | #Constraints: 96431
2491.23/2498.26 c #Conflicts: 1555000 | #Constraints: 97431
2491.23/2498.26 c #Conflicts: 1556000 | #Constraints: 98431
2491.23/2498.26 c #Conflicts: 1557000 | #Constraints: 99431
2491.23/2498.26 c #Conflicts: 1558000 | #Constraints: 100431
2491.23/2498.26 c #Conflicts: 1559000 | #Constraints: 101431
2491.23/2498.26 c #Conflicts: 1560000 | #Constraints: 102431
2491.23/2498.26 c #Conflicts: 1561000 | #Constraints: 103431
2491.23/2498.26 c #Conflicts: 1562000 | #Constraints: 104431
2491.23/2498.26 c #Conflicts: 1563000 | #Constraints: 105431
2491.23/2498.26 c #Conflicts: 1564000 | #Constraints: 106431
2491.23/2498.26 c #Conflicts: 1565000 | #Constraints: 107431
2491.23/2498.26 c #Conflicts: 1566000 | #Constraints: 108431
2491.23/2498.26 c INPROCESSING
2491.23/2498.26 c GARBAGE COLLECT
2491.23/2498.26 c rational objective 15
2525.55/2532.61 c #Conflicts: 1567000 | #Constraints: 84631
2525.55/2532.61 c #Conflicts: 1568000 | #Constraints: 85631
2525.55/2532.61 c #Conflicts: 1569000 | #Constraints: 86631
2525.55/2532.61 c #Conflicts: 1570000 | #Constraints: 87631
2525.55/2532.61 c #Conflicts: 1571000 | #Constraints: 88631
2525.55/2532.61 c #Conflicts: 1572000 | #Constraints: 89631
2525.55/2532.61 c #Conflicts: 1573000 | #Constraints: 90631
2525.55/2532.61 c #Conflicts: 1574000 | #Constraints: 91631
2525.55/2532.61 c #Conflicts: 1575000 | #Constraints: 92631
2525.55/2532.61 c #Conflicts: 1576000 | #Constraints: 93631
2525.55/2532.61 c #Conflicts: 1577000 | #Constraints: 94631
2525.55/2532.61 c #Conflicts: 1578000 | #Constraints: 95631
2525.55/2532.61 c #Conflicts: 1579000 | #Constraints: 96631
2525.55/2532.61 c #Conflicts: 1580000 | #Constraints: 97631
2525.55/2532.61 c #Conflicts: 1581000 | #Constraints: 98631
2525.55/2532.61 c #Conflicts: 1582000 | #Constraints: 99631
2525.55/2532.61 c #Conflicts: 1583000 | #Constraints: 100631
2525.55/2532.61 c #Conflicts: 1584000 | #Constraints: 101631
2525.55/2532.61 c #Conflicts: 1585000 | #Constraints: 102631
2525.55/2532.61 c #Conflicts: 1586000 | #Constraints: 103631
2525.55/2532.61 c #Conflicts: 1587000 | #Constraints: 104631
2525.55/2532.61 c #Conflicts: 1588000 | #Constraints: 105631
2525.55/2532.61 c #Conflicts: 1589000 | #Constraints: 106631
2525.55/2532.61 c #Conflicts: 1590000 | #Constraints: 107631
2525.55/2532.61 c #Conflicts: 1591000 | #Constraints: 108631
2525.55/2532.61 c INPROCESSING
2525.55/2532.61 c GARBAGE COLLECT
2525.55/2532.61 c rational objective 15
2752.61/2760.26 c #Conflicts: 1592000 | #Constraints: 84669
2752.61/2760.26 c #Conflicts: 1593000 | #Constraints: 85669
2752.61/2760.26 c #Conflicts: 1594000 | #Constraints: 86669
2752.61/2760.26 c #Conflicts: 1595000 | #Constraints: 87669
2752.61/2760.26 c #Conflicts: 1596000 | #Constraints: 88669
2752.61/2760.26 c #Conflicts: 1597000 | #Constraints: 89669
2752.61/2760.26 c #Conflicts: 1598000 | #Constraints: 90669
2752.61/2760.26 c #Conflicts: 1599000 | #Constraints: 91669
2752.61/2760.26 c #Conflicts: 1600000 | #Constraints: 92669
2752.61/2760.26 c #Conflicts: 1601000 | #Constraints: 93669
2752.61/2760.26 c #Conflicts: 1602000 | #Constraints: 94669
2752.61/2760.26 c #Conflicts: 1603000 | #Constraints: 95669
2752.61/2760.26 c #Conflicts: 1604000 | #Constraints: 96669
2752.61/2760.26 c #Conflicts: 1605000 | #Constraints: 97669
2752.61/2760.26 c #Conflicts: 1606000 | #Constraints: 98669
2752.61/2760.26 c #Conflicts: 1607000 | #Constraints: 99669
2752.61/2760.26 c #Conflicts: 1608000 | #Constraints: 100669
2752.61/2760.26 c #Conflicts: 1609000 | #Constraints: 101669
2752.61/2760.26 c #Conflicts: 1610000 | #Constraints: 102669
2752.61/2760.26 c #Conflicts: 1611000 | #Constraints: 103669
2752.61/2760.26 c #Conflicts: 1612000 | #Constraints: 104669
2752.61/2760.26 c #Conflicts: 1613000 | #Constraints: 105669
2752.61/2760.26 c #Conflicts: 1614000 | #Constraints: 106669
2752.61/2760.26 c #Conflicts: 1615000 | #Constraints: 107669
2752.61/2760.26 c #Conflicts: 1616000 | #Constraints: 108669
2752.61/2760.26 c INPROCESSING
2752.61/2760.26 c GARBAGE COLLECT
2752.61/2760.26 c #Conflicts: 1617000 | #Constraints: 84452
2752.61/2760.26 c #Conflicts: 1618000 | #Constraints: 85452
2752.61/2760.26 c #Conflicts: 1619000 | #Constraints: 86452
2752.61/2760.26 c #Conflicts: 1620000 | #Constraints: 87452
2752.61/2760.26 c #Conflicts: 1621000 | #Constraints: 88452
2752.61/2760.26 c #Conflicts: 1622000 | #Constraints: 89452
2752.61/2760.26 c #Conflicts: 1623000 | #Constraints: 90452
2752.61/2760.26 c #Conflicts: 1624000 | #Constraints: 91452
2752.61/2760.26 c #Conflicts: 1625000 | #Constraints: 92452
2752.61/2760.26 c #Conflicts: 1626000 | #Constraints: 93452
2752.61/2760.26 c #Conflicts: 1627000 | #Constraints: 94452
2752.61/2760.26 c #Conflicts: 1628000 | #Constraints: 95452
2752.61/2760.26 c #Conflicts: 1629000 | #Constraints: 96452
2752.61/2760.26 c #Conflicts: 1630000 | #Constraints: 97452
2752.61/2760.26 c #Conflicts: 1631000 | #Constraints: 98452
2752.61/2760.26 c #Conflicts: 1632000 | #Constraints: 99452
2752.61/2760.26 c #Conflicts: 1633000 | #Constraints: 100452
2752.61/2760.26 c #Conflicts: 1634000 | #Constraints: 101452
2752.61/2760.26 c #Conflicts: 1635000 | #Constraints: 102452
2752.61/2760.26 c #Conflicts: 1636000 | #Constraints: 103452
2752.61/2760.26 c #Conflicts: 1637000 | #Constraints: 104452
2752.61/2760.26 c #Conflicts: 1638000 | #Constraints: 105452
2752.61/2760.26 c #Conflicts: 1639000 | #Constraints: 106452
2752.61/2760.26 c #Conflicts: 1640000 | #Constraints: 107452
2752.61/2760.26 c #Conflicts: 1641000 | #Constraints: 108452
2752.61/2760.26 c #Conflicts: 1642000 | #Constraints: 109452
2752.61/2760.26 c INPROCESSING
2752.61/2760.26 c GARBAGE COLLECT
2752.61/2760.26 c rational objective 15
2867.63/2875.50 c #Conflicts: 1643000 | #Constraints: 85062
2867.63/2875.50 c #Conflicts: 1644000 | #Constraints: 86062
2867.63/2875.50 c #Conflicts: 1645000 | #Constraints: 87062
2867.63/2875.50 c #Conflicts: 1646000 | #Constraints: 88062
2867.63/2875.50 c #Conflicts: 1647000 | #Constraints: 89062
2867.63/2875.50 c #Conflicts: 1648000 | #Constraints: 90062
2867.63/2875.50 c #Conflicts: 1649000 | #Constraints: 91062
2867.63/2875.50 c #Conflicts: 1650000 | #Constraints: 92062
2867.63/2875.50 c #Conflicts: 1651000 | #Constraints: 93062
2867.63/2875.50 c #Conflicts: 1652000 | #Constraints: 94062
2867.63/2875.50 c #Conflicts: 1653000 | #Constraints: 95062
2867.63/2875.50 c #Conflicts: 1654000 | #Constraints: 96062
2867.63/2875.50 c #Conflicts: 1655000 | #Constraints: 97062
2867.63/2875.50 c #Conflicts: 1656000 | #Constraints: 98062
2867.63/2875.50 c #Conflicts: 1657000 | #Constraints: 99062
2867.63/2875.50 c #Conflicts: 1658000 | #Constraints: 100062
2867.63/2875.50 c #Conflicts: 1659000 | #Constraints: 101062
2867.63/2875.50 c #Conflicts: 1660000 | #Constraints: 102062
2867.63/2875.50 c #Conflicts: 1661000 | #Constraints: 103062
2867.63/2875.50 c #Conflicts: 1662000 | #Constraints: 104062
2867.63/2875.50 c #Conflicts: 1663000 | #Constraints: 105062
2867.63/2875.50 c #Conflicts: 1664000 | #Constraints: 106062
2867.63/2875.50 c #Conflicts: 1665000 | #Constraints: 107062
2867.63/2875.50 c #Conflicts: 1666000 | #Constraints: 108062
2867.63/2875.50 c #Conflicts: 1667000 | #Constraints: 109062
2867.63/2875.50 c #Conflicts: 1668000 | #Constraints: 110062
2867.63/2875.50 c INPROCESSING
2867.63/2875.50 c GARBAGE COLLECT
2867.63/2875.50 c rational objective 15
2970.79/2978.92 c #Conflicts: 1669000 | #Constraints: 85447
2970.79/2978.92 c #Conflicts: 1670000 | #Constraints: 86447
2970.79/2978.92 c #Conflicts: 1671000 | #Constraints: 87447
2970.79/2978.92 c #Conflicts: 1672000 | #Constraints: 88447
2970.79/2978.92 c #Conflicts: 1673000 | #Constraints: 89447
2970.79/2978.92 c #Conflicts: 1674000 | #Constraints: 90447
2970.79/2978.92 c #Conflicts: 1675000 | #Constraints: 91447
2970.79/2978.92 c #Conflicts: 1676000 | #Constraints: 92447
2970.79/2978.92 c #Conflicts: 1677000 | #Constraints: 93447
2970.79/2978.92 c #Conflicts: 1678000 | #Constraints: 94447
2970.79/2978.92 c #Conflicts: 1679000 | #Constraints: 95447
2970.79/2978.92 c #Conflicts: 1680000 | #Constraints: 96447
2970.79/2978.92 c #Conflicts: 1681000 | #Constraints: 97447
2970.79/2978.92 c #Conflicts: 1682000 | #Constraints: 98447
2970.79/2978.92 c #Conflicts: 1683000 | #Constraints: 99447
2970.79/2978.92 c #Conflicts: 1684000 | #Constraints: 100447
2970.79/2978.92 c #Conflicts: 1685000 | #Constraints: 101447
2970.79/2978.92 c #Conflicts: 1686000 | #Constraints: 102447
2970.79/2978.92 c #Conflicts: 1687000 | #Constraints: 103447
2970.79/2978.92 c #Conflicts: 1688000 | #Constraints: 104447
2970.79/2978.92 c #Conflicts: 1689000 | #Constraints: 105447
2970.79/2978.92 c #Conflicts: 1690000 | #Constraints: 106447
2970.79/2978.92 c #Conflicts: 1691000 | #Constraints: 107447
2970.79/2978.92 c #Conflicts: 1692000 | #Constraints: 108447
2970.79/2978.92 c #Conflicts: 1693000 | #Constraints: 109447
2970.79/2978.92 c #Conflicts: 1694000 | #Constraints: 110447
2970.79/2978.92 c INPROCESSING
2970.79/2978.92 c GARBAGE COLLECT
2970.79/2978.92 c rational objective 15
3038.02/3046.38 c #Conflicts: 1695000 | #Constraints: 85673
3038.02/3046.38 c #Conflicts: 1696000 | #Constraints: 86673
3038.02/3046.38 c #Conflicts: 1697000 | #Constraints: 87673
3038.02/3046.38 c #Conflicts: 1698000 | #Constraints: 88673
3038.02/3046.38 c #Conflicts: 1699000 | #Constraints: 89673
3038.02/3046.38 c #Conflicts: 1700000 | #Constraints: 90673
3038.02/3046.38 c #Conflicts: 1701000 | #Constraints: 91673
3038.02/3046.38 c #Conflicts: 1702000 | #Constraints: 92673
3038.02/3046.38 c #Conflicts: 1703000 | #Constraints: 93673
3038.02/3046.38 c #Conflicts: 1704000 | #Constraints: 94673
3038.02/3046.38 c #Conflicts: 1705000 | #Constraints: 95673
3038.02/3046.38 c #Conflicts: 1706000 | #Constraints: 96673
3038.02/3046.38 c #Conflicts: 1707000 | #Constraints: 97673
3038.02/3046.38 c #Conflicts: 1708000 | #Constraints: 98673
3038.02/3046.38 c #Conflicts: 1709000 | #Constraints: 99673
3038.02/3046.38 c #Conflicts: 1710000 | #Constraints: 100673
3038.02/3046.38 c #Conflicts: 1711000 | #Constraints: 101673
3038.02/3046.38 c #Conflicts: 1712000 | #Constraints: 102673
3038.02/3046.38 c #Conflicts: 1713000 | #Constraints: 103673
3038.02/3046.38 c #Conflicts: 1714000 | #Constraints: 104673
3038.02/3046.38 c #Conflicts: 1715000 | #Constraints: 105673
3038.02/3046.38 c #Conflicts: 1716000 | #Constraints: 106673
3038.02/3046.38 c #Conflicts: 1717000 | #Constraints: 107673
3038.02/3046.38 c #Conflicts: 1718000 | #Constraints: 108673
3038.02/3046.38 c #Conflicts: 1719000 | #Constraints: 109673
3038.02/3046.38 c #Conflicts: 1720000 | #Constraints: 110673
3038.02/3046.38 c INPROCESSING
3038.02/3046.38 c GARBAGE COLLECT
3038.02/3046.38 c rational objective 15
3043.51/3051.88 c #Conflicts: 1721000 | #Constraints: 85646
3043.51/3051.88 c #Conflicts: 1722000 | #Constraints: 86646
3043.51/3051.88 c #Conflicts: 1723000 | #Constraints: 87646
3043.51/3051.88 c #Conflicts: 1724000 | #Constraints: 88646
3043.51/3051.88 c #Conflicts: 1725000 | #Constraints: 89646
3043.51/3051.88 c #Conflicts: 1726000 | #Constraints: 90646
3043.51/3051.88 c #Conflicts: 1727000 | #Constraints: 91646
3043.51/3051.88 c #Conflicts: 1728000 | #Constraints: 92646
3043.51/3051.88 c #Conflicts: 1729000 | #Constraints: 93646
3043.51/3051.88 c #Conflicts: 1730000 | #Constraints: 94646
3043.51/3051.88 c #Conflicts: 1731000 | #Constraints: 95646
3043.51/3051.88 c #Conflicts: 1732000 | #Constraints: 96646
3043.51/3051.88 c #Conflicts: 1733000 | #Constraints: 97646
3043.51/3051.88 c bounds 43 >= 20 @ 3025.96
3113.85/3122.33 c #Conflicts: 1734000 | #Constraints: 98652
3113.85/3122.33 c #Conflicts: 1735000 | #Constraints: 99652
3113.85/3122.33 c #Conflicts: 1736000 | #Constraints: 100652
3113.85/3122.33 c #Conflicts: 1737000 | #Constraints: 101652
3113.85/3122.33 c #Conflicts: 1738000 | #Constraints: 102652
3113.85/3122.33 c #Conflicts: 1739000 | #Constraints: 103652
3113.85/3122.33 c #Conflicts: 1740000 | #Constraints: 104652
3113.85/3122.33 c #Conflicts: 1741000 | #Constraints: 105652
3113.85/3122.33 c #Conflicts: 1742000 | #Constraints: 106652
3113.85/3122.33 c #Conflicts: 1743000 | #Constraints: 107652
3113.85/3122.33 c #Conflicts: 1744000 | #Constraints: 108652
3113.85/3122.33 c #Conflicts: 1745000 | #Constraints: 109652
3113.85/3122.33 c #Conflicts: 1746000 | #Constraints: 110652
3113.85/3122.33 c INPROCESSING
3113.85/3122.33 c GARBAGE COLLECT
3113.85/3122.33 c rational objective 20
3231.68/3240.45 c #Conflicts: 1747000 | #Constraints: 85438
3231.68/3240.45 c #Conflicts: 1748000 | #Constraints: 86438
3231.68/3240.45 c #Conflicts: 1749000 | #Constraints: 87438
3231.68/3240.45 c #Conflicts: 1750000 | #Constraints: 88438
3231.68/3240.45 c #Conflicts: 1751000 | #Constraints: 89438
3231.68/3240.45 c #Conflicts: 1752000 | #Constraints: 90438
3231.68/3240.45 c #Conflicts: 1753000 | #Constraints: 91438
3231.68/3240.45 c #Conflicts: 1754000 | #Constraints: 92438
3231.68/3240.45 c #Conflicts: 1755000 | #Constraints: 93438
3231.68/3240.45 c #Conflicts: 1756000 | #Constraints: 94438
3231.68/3240.45 c #Conflicts: 1757000 | #Constraints: 95438
3231.68/3240.45 c #Conflicts: 1758000 | #Constraints: 96438
3231.68/3240.45 c #Conflicts: 1759000 | #Constraints: 97438
3231.68/3240.45 c #Conflicts: 1760000 | #Constraints: 98438
3231.68/3240.45 c #Conflicts: 1761000 | #Constraints: 99438
3231.68/3240.45 c #Conflicts: 1762000 | #Constraints: 100438
3231.68/3240.45 c #Conflicts: 1763000 | #Constraints: 101438
3231.68/3240.45 c #Conflicts: 1764000 | #Constraints: 102438
3231.68/3240.45 c #Conflicts: 1765000 | #Constraints: 103438
3231.68/3240.45 c #Conflicts: 1766000 | #Constraints: 104438
3231.68/3240.45 c #Conflicts: 1767000 | #Constraints: 105438
3231.68/3240.45 c #Conflicts: 1768000 | #Constraints: 106438
3231.68/3240.45 c #Conflicts: 1769000 | #Constraints: 107438
3231.68/3240.45 c #Conflicts: 1770000 | #Constraints: 108438
3231.68/3240.45 c #Conflicts: 1771000 | #Constraints: 109438
3231.68/3240.45 c #Conflicts: 1772000 | #Constraints: 110438
3231.68/3240.45 c #Conflicts: 1773000 | #Constraints: 111438
3231.68/3240.45 c INPROCESSING
3231.68/3240.45 c GARBAGE COLLECT
3231.68/3240.45 c rational objective 20
3342.52/3351.57 c #Conflicts: 1774000 | #Constraints: 86034
3342.52/3351.57 c #Conflicts: 1775000 | #Constraints: 87034
3342.52/3351.57 c #Conflicts: 1776000 | #Constraints: 88034
3342.52/3351.57 c #Conflicts: 1777000 | #Constraints: 89034
3342.52/3351.57 c #Conflicts: 1778000 | #Constraints: 90034
3342.52/3351.57 c #Conflicts: 1779000 | #Constraints: 91034
3342.52/3351.57 c #Conflicts: 1780000 | #Constraints: 92034
3342.52/3351.57 c #Conflicts: 1781000 | #Constraints: 93034
3342.52/3351.57 c #Conflicts: 1782000 | #Constraints: 94034
3342.52/3351.57 c #Conflicts: 1783000 | #Constraints: 95034
3342.52/3351.57 c #Conflicts: 1784000 | #Constraints: 96034
3342.52/3351.57 c #Conflicts: 1785000 | #Constraints: 97034
3342.52/3351.57 c #Conflicts: 1786000 | #Constraints: 98034
3342.52/3351.57 c #Conflicts: 1787000 | #Constraints: 99034
3342.52/3351.57 c #Conflicts: 1788000 | #Constraints: 100034
3342.52/3351.57 c #Conflicts: 1789000 | #Constraints: 101034
3342.52/3351.57 c #Conflicts: 1790000 | #Constraints: 102034
3342.52/3351.57 c #Conflicts: 1791000 | #Constraints: 103034
3342.52/3351.57 c #Conflicts: 1792000 | #Constraints: 104034
3342.52/3351.57 c #Conflicts: 1793000 | #Constraints: 105034
3342.52/3351.57 c #Conflicts: 1794000 | #Constraints: 106034
3342.52/3351.57 c #Conflicts: 1795000 | #Constraints: 107034
3342.52/3351.57 c #Conflicts: 1796000 | #Constraints: 108034
3342.52/3351.57 c #Conflicts: 1797000 | #Constraints: 109034
3342.52/3351.57 c #Conflicts: 1798000 | #Constraints: 110034
3342.52/3351.57 c #Conflicts: 1799000 | #Constraints: 111034
3342.52/3351.57 c #Conflicts: 1800000 | #Constraints: 112034
3342.52/3351.57 c INPROCESSING
3342.52/3351.57 c GARBAGE COLLECT
3342.52/3351.57 c rational objective 20
3428.31/3437.52 c #Conflicts: 1801000 | #Constraints: 86433
3428.31/3437.52 c #Conflicts: 1802000 | #Constraints: 87433
3428.31/3437.52 c #Conflicts: 1803000 | #Constraints: 88433
3428.31/3437.52 c #Conflicts: 1804000 | #Constraints: 89433
3428.31/3437.52 c #Conflicts: 1805000 | #Constraints: 90433
3428.31/3437.52 c #Conflicts: 1806000 | #Constraints: 91433
3428.31/3437.52 c #Conflicts: 1807000 | #Constraints: 92433
3428.31/3437.52 c #Conflicts: 1808000 | #Constraints: 93433
3428.31/3437.52 c #Conflicts: 1809000 | #Constraints: 94433
3428.31/3437.52 c #Conflicts: 1810000 | #Constraints: 95433
3428.31/3437.52 c #Conflicts: 1811000 | #Constraints: 96433
3428.31/3437.52 c #Conflicts: 1812000 | #Constraints: 97433
3428.31/3437.52 c #Conflicts: 1813000 | #Constraints: 98433
3428.31/3437.52 c #Conflicts: 1814000 | #Constraints: 99433
3428.31/3437.52 c #Conflicts: 1815000 | #Constraints: 100433
3428.31/3437.52 c #Conflicts: 1816000 | #Constraints: 101433
3428.31/3437.52 c #Conflicts: 1817000 | #Constraints: 102433
3428.31/3437.52 c #Conflicts: 1818000 | #Constraints: 103433
3428.31/3437.52 c #Conflicts: 1819000 | #Constraints: 104433
3428.31/3437.52 c #Conflicts: 1820000 | #Constraints: 105433
3428.31/3437.52 c #Conflicts: 1821000 | #Constraints: 106433
3428.31/3437.52 c #Conflicts: 1822000 | #Constraints: 107433
3428.31/3437.52 c #Conflicts: 1823000 | #Constraints: 108433
3428.31/3437.52 c #Conflicts: 1824000 | #Constraints: 109433
3428.31/3437.52 c #Conflicts: 1825000 | #Constraints: 110433
3428.31/3437.52 c #Conflicts: 1826000 | #Constraints: 111433
3428.31/3437.52 c #Conflicts: 1827000 | #Constraints: 112433
3428.31/3437.52 c INPROCESSING
3428.31/3437.52 c GARBAGE COLLECT
3428.31/3437.52 c rational objective 20
3465.23/3474.58 c #Conflicts: 1828000 | #Constraints: 86632
3465.23/3474.58 c #Conflicts: 1829000 | #Constraints: 87632
3465.23/3474.58 c #Conflicts: 1830000 | #Constraints: 88632
3465.23/3474.58 c #Conflicts: 1831000 | #Constraints: 89632
3465.23/3474.58 c #Conflicts: 1832000 | #Constraints: 90632
3465.23/3474.58 c #Conflicts: 1833000 | #Constraints: 91632
3465.23/3474.58 c #Conflicts: 1834000 | #Constraints: 92632
3465.23/3474.58 c #Conflicts: 1835000 | #Constraints: 93632
3465.23/3474.58 c #Conflicts: 1836000 | #Constraints: 94632
3465.23/3474.58 c #Conflicts: 1837000 | #Constraints: 95632
3465.23/3474.58 c #Conflicts: 1838000 | #Constraints: 96632
3465.23/3474.58 c #Conflicts: 1839000 | #Constraints: 97632
3465.23/3474.58 c #Conflicts: 1840000 | #Constraints: 98632
3465.23/3474.58 c #Conflicts: 1841000 | #Constraints: 99632
3465.23/3474.58 c #Conflicts: 1842000 | #Constraints: 100632
3465.23/3474.58 c #Conflicts: 1843000 | #Constraints: 101632
3465.23/3474.58 c #Conflicts: 1844000 | #Constraints: 102632
3465.23/3474.58 c #Conflicts: 1845000 | #Constraints: 103632
3465.23/3474.58 c #Conflicts: 1846000 | #Constraints: 104632
3465.23/3474.58 c #Conflicts: 1847000 | #Constraints: 105632
3465.23/3474.58 c #Conflicts: 1848000 | #Constraints: 106632
3465.23/3474.58 c #Conflicts: 1849000 | #Constraints: 107632
3465.23/3474.58 c #Conflicts: 1850000 | #Constraints: 108632
3465.23/3474.58 c #Conflicts: 1851000 | #Constraints: 109632
3465.23/3474.58 c #Conflicts: 1852000 | #Constraints: 110632
3465.23/3474.58 c #Conflicts: 1853000 | #Constraints: 111632
3465.23/3474.58 c #Conflicts: 1854000 | #Constraints: 112632
3465.23/3474.58 c INPROCESSING
3465.23/3474.58 c GARBAGE COLLECT
3465.23/3474.58 c rational objective 20
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: 63665 MiB (58236 MiB free)
memory of node 1: 64507 MiB (45794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508000-1751508122/watcher-4508000-1751508122 -o /tmp/evaluation-result-4508000-1751508122/solver-4508000-1751508122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72543 --watchdog 3760 run-opt-ls.sh HOME/instance-4508000-1751508122.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 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=72593, runsolver pid=72584
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.99 3.56 3.91 6/270 72606
/proc/meminfo: memFree=106419296/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72600] ppid=72593 vsize=41452 memory=28408 CPUtime=0.07 cores=4,6
/proc/72600/stat : 72600 (pbsuma) R 72593 72593 72530 0 -1 4194304 7931 0 0 0 6 1 0 0 20 0 1 0 66491028 42446848 7102 18446744073709551615 4210688 4653049 140732641934432 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23703552 140732641941859 140732641942066 140732641942066 140732641947631 0
/proc/72600/statm: 10363 7102 1024 108 0 7771 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45644 KiB
Current children cumulated memory: 31352 KiB
[startup+0.204722 s]*
/proc/loadavg: 1.99 3.56 3.91 6/270 72606
/proc/meminfo: memFree=106380000/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72600] ppid=72593 vsize=42236 memory=30580 CPUtime=0.17 cores=4,6
/proc/72600/stat : 72600 (pbsuma) R 72593 72593 72530 0 -1 4194304 11050 0 0 0 16 1 0 0 20 0 1 0 66491028 43249664 7645 18446744073709551615 4210688 4653049 140732641934432 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23703552 140732641941859 140732641942066 140732641942066 140732641947631 0
/proc/72600/statm: 10559 7645 1024 108 0 7967 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46428 KiB
Current children cumulated memory: 33524 KiB
[startup+0.305325 s]*
/proc/loadavg: 1.99 3.56 3.91 6/270 72610
/proc/meminfo: memFree=106435208/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=62200 memory=15232 CPUtime=0.01 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 2025 0 0 0 1 0 0 0 20 0 1 0 66491054 63692800 3808 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 15550 3808 1984 1147 0 2977 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 66392 KiB
Current children cumulated memory: 18176 KiB
[startup+0.700159 s]
/proc/loadavg: 1.99 3.56 3.91 6/270 72610
/proc/meminfo: memFree=106339784/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=125832 memory=81916 CPUtime=0.4 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 12634 0 0 0 33 7 0 0 20 0 1 0 66491054 128851968 20479 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 31458 20479 2304 1147 0 18885 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 130024 KiB
Current children cumulated memory: 84860 KiB
[startup+1.50016 s]
/proc/loadavg: 1.99 3.56 3.91 6/270 72610
/proc/meminfo: memFree=106100324/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=159936 memory=114512 CPUtime=1.19 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 17942 0 0 0 109 10 0 0 20 0 1 0 66491054 163774464 28628 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 39984 28628 2400 1147 0 27411 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 164128 KiB
Current children cumulated memory: 117456 KiB
[startup+3.10456 s]
/proc/loadavg: 2.15 3.57 3.91 6/270 72610
/proc/meminfo: memFree=106088804/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=161936 memory=117712 CPUtime=2.79 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 18729 0 0 0 267 12 0 0 20 0 1 0 66491054 165822464 29428 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 40484 29428 2400 1147 0 27911 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 166128 KiB
Current children cumulated memory: 120656 KiB
[startup+6.30016 s]
/proc/loadavg: 2.15 3.57 3.91 6/270 72610
/proc/meminfo: memFree=106066028/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=162188 memory=118736 CPUtime=5.98 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 19003 0 0 0 583 15 0 0 20 0 1 0 66491054 166080512 29684 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 40547 29684 2400 1147 0 27974 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 166380 KiB
Current children cumulated memory: 121680 KiB
[startup+12.7002 s]
/proc/loadavg: 2.30 3.57 3.91 6/270 72610
/proc/meminfo: memFree=106035460/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=178816 memory=131272 CPUtime=12.36 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 21625 0 0 0 1212 24 0 0 20 0 1 0 66491054 183107584 32818 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 44704 32818 2400 1147 0 32131 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 183008 KiB
Current children cumulated memory: 134216 KiB
[startup+25.5002 s]
/proc/loadavg: 2.68 3.60 3.91 6/271 72612
/proc/meminfo: memFree=106021372/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=183588 memory=133956 CPUtime=25.12 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 22703 0 0 0 2473 39 0 0 20 0 1 0 66491054 187994112 33489 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 45897 33489 2432 1147 0 33324 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 187780 KiB
Current children cumulated memory: 136900 KiB
[startup+51.105 s]
/proc/loadavg: 3.20 3.64 3.92 6/271 72612
/proc/meminfo: memFree=105989976/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=186760 memory=137284 CPUtime=50.64 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 23521 0 0 0 5006 58 0 0 20 0 1 0 66491054 191242240 34321 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 46690 34321 2432 1147 0 34117 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 190952 KiB
Current children cumulated memory: 140228 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 3.72 3.93 6/271 72614
/proc/meminfo: memFree=105906420/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=192348 memory=142020 CPUtime=101.68 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 24699 0 0 0 10090 78 0 0 20 0 1 0 66491054 196964352 35505 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 48087 35505 2432 1147 0 35514 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 196540 KiB
Current children cumulated memory: 144964 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.77 3.94 6/270 72616
/proc/meminfo: memFree=105885688/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=195280 memory=152516 CPUtime=161.51 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 25753 0 0 0 16040 111 0 0 20 0 1 0 66491054 199966720 38129 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 48820 38129 2432 1147 0 36247 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 199472 KiB
Current children cumulated memory: 155460 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.85 3.95 6/270 72619
/proc/meminfo: memFree=105868596/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=195280 memory=152644 CPUtime=221.38 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 25824 0 0 0 21999 139 0 0 20 0 1 0 66491054 199966720 38161 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 48820 38161 2432 1147 0 36247 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=246608 memory=199416 CPUtime=3213.38 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35571 0 0 0 319535 1803 0 0 20 0 1 0 66491054 252526592 49854 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61652 49854 2432 1147 0 49079 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 250800 KiB
Current children cumulated memory: 202360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 72813
/proc/meminfo: memFree=105624324/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=246608 memory=199416 CPUtime=3273.23 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35637 0 0 0 325497 1826 0 0 20 0 1 0 66491054 252526592 49854 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61652 49854 2432 1147 0 49079 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 250800 KiB
Current children cumulated memory: 202360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 72815
/proc/meminfo: memFree=105634828/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=246608 memory=199672 CPUtime=3333.09 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35699 0 0 0 331466 1843 0 0 20 0 1 0 66491054 252526592 49918 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61652 49918 2432 1147 0 49079 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 250800 KiB
Current children cumulated memory: 202616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 72817
/proc/meminfo: memFree=105633712/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=247368 memory=200056 CPUtime=3392.95 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35810 0 0 0 337429 1866 0 0 20 0 1 0 66491054 253304832 50014 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50014 2432 1147 0 49269 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 251560 KiB
Current children cumulated memory: 203000 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 72819
/proc/meminfo: memFree=105634148/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=247368 memory=200568 CPUtime=3452.81 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35894 0 0 0 343378 1903 0 0 20 0 1 0 66491054 253304832 50142 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50142 2432 1147 0 49269 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 251560 KiB
Current children cumulated memory: 203512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 72821
/proc/meminfo: memFree=105633556/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=247368 memory=200568 CPUtime=3512.67 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35896 0 0 0 349340 1927 0 0 20 0 1 0 66491054 253304832 50142 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50142 2432 1147 0 49269 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 251560 KiB
Current children cumulated memory: 203512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 72838
/proc/meminfo: memFree=105629384/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=247368 memory=200696 CPUtime=3572.53 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35917 0 0 0 355309 1944 0 0 20 0 1 0 66491054 253304832 50174 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50174 2432 1147 0 49269 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 251560 KiB
Current children cumulated memory: 203640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.07 4.08 4.09 4/266 72850
/proc/meminfo: memFree=105907440/131249988 swapFree=33010160/33010684
[pid=72593] ppid=72584 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/72593/stat : 72593 (run-opt-ls.sh) S 72584 72593 72530 0 -1 4194304 238 11294 0 0 0 0 23 1 20 0 1 0 66491026 4292608 736 18446744073709551615 94228263821312 94228264715845 140729704096944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94228264954896 94228265002640 94228291608576 140729704102247 140729704102373 140729704102373 140729704107975 0
/proc/72593/statm: 1048 736 672 219 0 110 0
[pid=72607] ppid=72593 vsize=247368 memory=200696 CPUtime=3599.76 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72593 72593 72530 0 -1 4194304 35917 0 0 0 358020 1956 0 0 20 0 1 0 66491054 253304832 50174 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50174 2432 1147 0 49269 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 251560 KiB
Current children cumulated memory: 203640 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 72593 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.235517 s, system=0.017749 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.6 s]
# the end of solver process 72607 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.43 s, system=19.5896 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+3610.4 s]
/proc/loadavg: 4.07 4.08 4.09 3/257 72858
/proc/meminfo: memFree=106104976/131249988 swapFree=33010160/33010684
[pid=72607] ppid=72584 vsize=247368 memory=200696 CPUtime=3600.56 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72584 72593 72530 0 -1 4194304 35917 0 0 0 358100 1956 0 0 20 0 1 0 66491054 253304832 50174 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50174 2432 1147 0 49269 0
Current cumulated CPU time of completed processes: 0.253266 s
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 247368 KiB
Current children cumulated memory: 200696 KiB
[startup+3611.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 72924
/proc/meminfo: memFree=106095540/131249988 swapFree=33010160/33010684
[pid=72607] ppid=72584 vsize=247368 memory=200696 CPUtime=3601.36 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72584 72593 72530 0 -1 4194304 35917 0 0 0 358180 1956 0 0 20 0 1 0 66491054 253304832 50174 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50174 2432 1147 0 49269 0
Current cumulated CPU time of completed processes: 0.253266 s
Current children cumulated CPU time: 3601.36 s
Current children cumulated vsize: 247368 KiB
Current children cumulated memory: 200696 KiB
[startup+3611.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 72924
/proc/meminfo: memFree=106095540/131249988 swapFree=33010160/33010684
[pid=72607] ppid=72584 vsize=247368 memory=200696 CPUtime=3601.76 cores=4,6
/proc/72607/stat : 72607 (roundingsat) R 72584 72593 72530 0 -1 4194304 35917 0 0 0 358219 1957 0 0 20 0 1 0 66491054 253304832 50174 18446744073709551615 4227072 8923433 140731650659744 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43012096 140731650664774 140731650665000 140731650665000 140731650670570 0
/proc/72607/statm: 61842 50174 2432 1147 0 49269 0
Current cumulated CPU time of completed processes: 0.253266 s
Current children cumulated CPU time: 3601.76 s
Current children cumulated vsize: 247368 KiB
Current children cumulated memory: 200696 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.6
CPU time (s): 3602.02
CPU user time (s): 3582.43
CPU system time (s): 19.5896
CPU usage (%): 99.7347
Max. virtual memory (cumulated for all children) (KiB): 251560
Max. memory (cumulated for all children) (KiB): 203640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.43
system time used= 19.5896
maximum resident set size= 200696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305
involuntary context switches= 2220
# summary of solver processes directly reported to runsolver:
# pid: 72593,72607
# total CPU time (s): 3602.02
# total CPU user time (s): 3582.43
# total CPU system time (s): 19.5896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04843 second user time and 16.3184 second system time
The end
Begin job on nodeC034 at 2025-07-03 04:02:02
IDJOB=4508000
IDBENCH=158391
IDSOLVER=3355
FILE ID=nodeC034/4508000-1751508122
RUNJOBID= nodeC034-1751508121-72543
SLURM_JOB_ID= 9598604
Free space on /tmp= 431144 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-may6.5.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508000-1751508122/watcher-4508000-1751508122 -o /tmp/evaluation-result-4508000-1751508122/solver-4508000-1751508122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72543 --watchdog 3760 run-opt-ls.sh HOME/instance-4508000-1751508122.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 76e67d27ce5ae72e711eb5f869f0e7e5
RANDOM SEED=1159050467
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.339
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.757
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3568.097
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.733
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.904
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.707
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3487.333
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106533656 kB
MemAvailable: 129722204 kB
Buffers: 2128 kB
Cached: 23927696 kB
SwapCached: 36 kB
Active: 555832 kB
Inactive: 23453104 kB
Active(anon): 92972 kB
Inactive(anon): 4208 kB
Active(file): 462860 kB
Inactive(file): 23448896 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32668 kB
Writeback: 8 kB
AnonPages: 82236 kB
Mapped: 103736 kB
Shmem: 18068 kB
KReclaimable: 231664 kB
Slab: 324780 kB
SReclaimable: 231664 kB
SUnreclaim: 93116 kB
KernelStack: 4144 kB
PageTables: 2876 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 340416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431104 MiB
End job on nodeC034 at 2025-07-03 05:02:13