0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4509610-1751519972.opb'
0.00/0.01 c read 0.48MB (5.34ms)
0.00/0.01 c [cnf: #variables 11744 #clauses 799 #duplicates 0 #arr 47008]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 504] (13.92ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 1312 blocks of candidate 16x734r
0.00/0.08 c recursing 18 blocks of candidate 3x64r
0.00/0.08 c recursing 240 blocks of candidate 3x734r
0.00/0.08 c recursing 20 blocks of candidate 5x64r
0.00/0.08 c recursing 858 blocks of candidate 11x734r
0.00/0.08 c recursing 10 blocks of candidate 5x64r
0.00/0.09 c found row 5x64, generating row predicate
0.00/0.09 c recursing 12 blocks of candidate 6x64r
0.00/0.09 c found row 6x64, generating row predicate
0.00/0.09 c recursing 8 blocks of candidate 4x64r
0.00/0.09 c found row 4x64, generating row predicate
0.00/0.09 c recursing 6 blocks of candidate 3x64r
0.00/0.09 c found row 3x64, generating row predicate
0.00/0.09 c recursing 14 blocks of candidate 7x64r
0.00/0.10 c found row 7x64, generating row predicate
0.00/0.10 c recursing 18 blocks of candidate 9x64r
0.08/0.11 c found row 9x64, generating row predicate
0.08/0.11 c recursing 20 blocks of candidate 10x64r
0.08/0.12 c found row 10x64, generating row predicate
0.08/0.12 c recursing 22 blocks of candidate 11x64r
0.08/0.12 c found row 11x64, generating row predicate
0.08/0.12 c recursing 24 blocks of candidate 12x64r
0.08/0.14 c found row 12x64, generating row predicate
0.08/0.14 c recursing 62 blocks of candidate 31x64r
0.08/0.16 c found row 31x64, generating row predicate
0.08/0.16 c recursing 84 blocks of candidate 42x64r
0.08/0.20 c found row 42x64, generating row predicate
0.19/0.21 c found row 11x734, generating row predicate
0.19/0.21 c found row 5x64, generating row predicate
0.19/0.21 c recursing 12 blocks of candidate 6x64r
0.19/0.22 c found row 6x64, generating row predicate
0.19/0.22 c recursing 6 blocks of candidate 3x64r
0.19/0.22 c found row 3x64, generating row predicate
0.19/0.22 c recursing 22 blocks of candidate 11x64r
0.19/0.23 c found row 11x64, generating row predicate
0.19/0.23 c found row 3x734, generating row predicate
0.19/0.23 c found row 3x64, generating row predicate
0.19/0.23 c recursing 14 blocks of candidate 7x64r
0.19/0.24 c found row 7x64, generating row predicate
0.19/0.24 c recursing 20 blocks of candidate 10x64r
0.19/0.25 c found row 10x64, generating row predicate
0.19/0.25 c recursing 22 blocks of candidate 11x64r
0.19/0.26 c found row 11x64, generating row predicate
0.19/0.26 c found row 16x734, generating row predicate
0.19/0.27 c (242.77ms)
0.19/0.27 c
0.19/0.27 c detect symmetries on remainder
0.19/0.27 c [graph: #vertices 71229 #edges 211388]
0.19/0.27 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.29/0.31 c [group: #symmetries 3.04*10^94 #generators 130] (42.19ms)
0.29/0.31 c
0.29/0.31 c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.33 c opt it=15, l=3711, m=166, opt=36, avg=454, b=128, gens=130
0.29/0.34 c opt it=31, l=4022, m=283, opt=59, avg=441, b=128, gens=130
0.29/0.35 c opt it=47, l=4323, m=383, opt=72, avg=435, b=128, gens=130
0.29/0.36 c opt it=63, l=4614, m=496, opt=91, avg=426, b=128, gens=130
0.29/0.36 c ran it=0, +gens=19
0.49/0.51 c con best_support=128, best_gens=122, +gens=235
0.49/0.51 c (201.17ms)
0.49/0.51 c
0.49/0.51 c finalize break order and special generators
0.49/0.51 c
0.49/0.51 c add generic predicates (break_depth=20)
0.49/0.52 c added predicates for 384 generators (4.16ms)
0.49/0.52 c
0.49/0.52 c generation finished
0.49/0.52 c [sbp: #constraints 115302 #add_vars 38238]
0.49/0.52 c
0.49/0.52 c write result to 'HOME/instance-4509610-1751519972.opb.pre'
0.49/0.53 c wrote 4.88MB (10.30ms)
0.49/0.53 c ------------------------------------------------------------------
0.49/0.53 c 242.77ms 46.40% detect_special
0.49/0.53 c 201.17ms 38.45% optimize_gens
0.49/0.53 c 42.19ms 8.06% detect_generic
0.49/0.53 c 13.92ms 2.66% approx_orbits
0.49/0.53 c 10.30ms 1.97% output
0.49/0.53 c 5.33ms 1.02% parse
0.49/0.53 c 4.16ms 0.80% break_generic
0.49/0.53 c 1.75ms 0.33% other
0.49/0.53 c 1.57ms 0.30% finalize_order
0.49/0.53 c ───────────────────────────────────────────────
0.49/0.53 c 523.17ms 100% total
0.49/0.53 c ------------------------------------------------------------------
0.49/0.54 c RoundingSat 2
0.49/0.54 c branch pb25
0.49/0.54 c commit 63f22ad
0.96/1.06 c #variables 49982 #constraints 115991
0.96/1.06 c objective is ce32
1.15/1.25 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.15/1.25 c initial counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
1.15/1.25 c bounds - >= 0 @ 0.577895
148.05/148.57 c #Conflicts: 1000 | #Constraints: 116990
148.05/148.57 c #Conflicts: 2000 | #Constraints: 117990
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 3000 | #Constraints: 117351
148.05/148.57 c #Conflicts: 4000 | #Constraints: 118351
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 5000 | #Constraints: 117495
148.05/148.57 c #Conflicts: 6000 | #Constraints: 118495
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 7000 | #Constraints: 117500
148.05/148.57 c #Conflicts: 8000 | #Constraints: 118500
148.05/148.57 c #Conflicts: 9000 | #Constraints: 119500
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 10000 | #Constraints: 118267
148.05/148.57 c #Conflicts: 11000 | #Constraints: 119268
148.05/148.57 c #Conflicts: 12000 | #Constraints: 120268
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 13000 | #Constraints: 118716
148.05/148.57 c #Conflicts: 14000 | #Constraints: 119716
148.05/148.57 c #Conflicts: 15000 | #Constraints: 120716
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 16000 | #Constraints: 119051
148.05/148.57 c #Conflicts: 17000 | #Constraints: 120052
148.05/148.57 c #Conflicts: 18000 | #Constraints: 121052
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 19000 | #Constraints: 119115
148.05/148.57 c #Conflicts: 20000 | #Constraints: 120115
148.05/148.57 c #Conflicts: 21000 | #Constraints: 121115
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c #Conflicts: 22000 | #Constraints: 118939
148.05/148.57 c #Conflicts: 23000 | #Constraints: 119939
148.05/148.57 c #Conflicts: 24000 | #Constraints: 120939
148.05/148.57 c #Conflicts: 25000 | #Constraints: 121939
148.05/148.57 c INPROCESSING
148.05/148.57 c GARBAGE COLLECT
148.05/148.57 c rational objective 32
267.11/267.91 c #Conflicts: 26000 | #Constraints: 119569
267.11/267.91 c #Conflicts: 27000 | #Constraints: 120569
267.11/267.91 c #Conflicts: 28000 | #Constraints: 121570
267.11/267.91 c #Conflicts: 29000 | #Constraints: 122570
267.11/267.91 c INPROCESSING
267.11/267.91 c GARBAGE COLLECT
267.11/267.91 c #Conflicts: 30000 | #Constraints: 119789
267.11/267.91 c #Conflicts: 31000 | #Constraints: 120789
267.11/267.91 c #Conflicts: 32000 | #Constraints: 121789
267.11/267.91 c #Conflicts: 33000 | #Constraints: 122789
267.11/267.91 c INPROCESSING
267.11/267.91 c GARBAGE COLLECT
267.11/267.91 c #Conflicts: 34000 | #Constraints: 119532
267.11/267.91 c #Conflicts: 35000 | #Constraints: 120532
267.11/267.91 c #Conflicts: 36000 | #Constraints: 121533
267.11/267.91 c #Conflicts: 37000 | #Constraints: 122533
267.11/267.91 c INPROCESSING
267.11/267.91 c GARBAGE COLLECT
267.11/267.91 c #Conflicts: 38000 | #Constraints: 119589
267.11/267.91 c #Conflicts: 39000 | #Constraints: 120589
267.11/267.91 c #Conflicts: 40000 | #Constraints: 121589
267.11/267.91 c #Conflicts: 41000 | #Constraints: 122589
267.11/267.91 c INPROCESSING
267.11/267.91 c GARBAGE COLLECT
267.11/267.91 c #Conflicts: 42000 | #Constraints: 119248
267.11/267.91 c #Conflicts: 43000 | #Constraints: 120248
267.11/267.91 c #Conflicts: 44000 | #Constraints: 121248
267.11/267.91 c #Conflicts: 45000 | #Constraints: 122248
267.11/267.91 c #Conflicts: 46000 | #Constraints: 123248
267.11/267.91 c INPROCESSING
267.11/267.91 c GARBAGE COLLECT
267.11/267.91 c rational objective 32
323.95/324.92 c #Conflicts: 47000 | #Constraints: 119855
323.95/324.92 c #Conflicts: 48000 | #Constraints: 120855
323.95/324.92 c #Conflicts: 49000 | #Constraints: 121855
323.95/324.92 c #Conflicts: 50000 | #Constraints: 122855
323.95/324.92 c #Conflicts: 51000 | #Constraints: 123855
323.95/324.92 c INPROCESSING
323.95/324.92 c GARBAGE COLLECT
323.95/324.92 c #Conflicts: 52000 | #Constraints: 120363
323.95/324.92 c #Conflicts: 53000 | #Constraints: 121363
323.95/324.92 c #Conflicts: 54000 | #Constraints: 122363
323.95/324.92 c #Conflicts: 55000 | #Constraints: 123364
323.95/324.92 c #Conflicts: 56000 | #Constraints: 124364
323.95/324.92 c INPROCESSING
323.95/324.92 c GARBAGE COLLECT
323.95/324.92 c rational objective 32
338.21/339.21 c #Conflicts: 57000 | #Constraints: 120592
338.21/339.21 c #Conflicts: 58000 | #Constraints: 121592
338.21/339.21 c #Conflicts: 59000 | #Constraints: 122592
338.21/339.21 c #Conflicts: 60000 | #Constraints: 123592
338.21/339.21 c #Conflicts: 61000 | #Constraints: 124592
338.21/339.21 c INPROCESSING
338.21/339.21 c GARBAGE COLLECT
338.21/339.21 c #Conflicts: 62000 | #Constraints: 120561
338.21/339.21 c #Conflicts: 63000 | #Constraints: 121562
338.21/339.21 c #Conflicts: 64000 | #Constraints: 122562
338.21/339.21 c #Conflicts: 65000 | #Constraints: 123563
338.21/339.21 c #Conflicts: 66000 | #Constraints: 124565
338.21/339.21 c INPROCESSING
338.21/339.21 c GARBAGE COLLECT
338.21/339.21 c rational objective 32
383.89/385.01 c #Conflicts: 67000 | #Constraints: 120362
383.89/385.01 c #Conflicts: 68000 | #Constraints: 121362
383.89/385.01 c #Conflicts: 69000 | #Constraints: 122363
383.89/385.01 c #Conflicts: 70000 | #Constraints: 123363
383.89/385.01 c #Conflicts: 71000 | #Constraints: 124363
383.89/385.01 c #Conflicts: 72000 | #Constraints: 125363
383.89/385.01 c INPROCESSING
383.89/385.01 c GARBAGE COLLECT
383.89/385.01 c #Conflicts: 73000 | #Constraints: 121008
383.89/385.01 c #Conflicts: 74000 | #Constraints: 122008
383.89/385.01 c #Conflicts: 75000 | #Constraints: 123008
383.89/385.01 c #Conflicts: 76000 | #Constraints: 124009
383.89/385.01 c #Conflicts: 77000 | #Constraints: 125009
383.89/385.01 c #Conflicts: 78000 | #Constraints: 126009
383.89/385.01 c INPROCESSING
383.89/385.01 c GARBAGE COLLECT
383.89/385.01 c rational objective 32
417.81/419.06 c #Conflicts: 79000 | #Constraints: 120705
417.81/419.06 c #Conflicts: 80000 | #Constraints: 121705
417.81/419.06 c #Conflicts: 81000 | #Constraints: 122705
417.81/419.06 c #Conflicts: 82000 | #Constraints: 123705
417.81/419.06 c #Conflicts: 83000 | #Constraints: 124706
417.81/419.06 c #Conflicts: 84000 | #Constraints: 125706
417.81/419.06 c INPROCESSING
417.81/419.06 c GARBAGE COLLECT
417.81/419.06 c #Conflicts: 85000 | #Constraints: 120944
417.81/419.06 c #Conflicts: 86000 | #Constraints: 121944
417.81/419.06 c #Conflicts: 87000 | #Constraints: 122946
417.81/419.06 c #Conflicts: 88000 | #Constraints: 123950
417.81/419.06 c #Conflicts: 89000 | #Constraints: 124952
417.81/419.06 c #Conflicts: 90000 | #Constraints: 125953
417.81/419.06 c INPROCESSING
417.81/419.06 c GARBAGE COLLECT
417.81/419.06 c rational objective 32
498.00/499.41 c #Conflicts: 91000 | #Constraints: 120965
498.00/499.41 c #Conflicts: 92000 | #Constraints: 121965
498.00/499.41 c #Conflicts: 93000 | #Constraints: 122965
498.00/499.41 c #Conflicts: 94000 | #Constraints: 123965
498.00/499.41 c #Conflicts: 95000 | #Constraints: 124965
498.00/499.41 c #Conflicts: 96000 | #Constraints: 125965
498.00/499.41 c INPROCESSING
498.00/499.41 c GARBAGE COLLECT
498.00/499.41 c #Conflicts: 97000 | #Constraints: 120848
498.00/499.41 c #Conflicts: 98000 | #Constraints: 121848
498.00/499.41 c #Conflicts: 99000 | #Constraints: 122848
498.00/499.41 c #Conflicts: 100000 | #Constraints: 123848
498.00/499.41 c #Conflicts: 101000 | #Constraints: 124848
498.00/499.41 c #Conflicts: 102000 | #Constraints: 125849
498.00/499.41 c #Conflicts: 103000 | #Constraints: 126849
498.00/499.41 c INPROCESSING
498.00/499.41 c GARBAGE COLLECT
498.00/499.41 c rational objective 32
532.52/534.02 c #Conflicts: 104000 | #Constraints: 121485
532.52/534.02 c #Conflicts: 105000 | #Constraints: 122485
532.52/534.02 c #Conflicts: 106000 | #Constraints: 123485
532.52/534.02 c #Conflicts: 107000 | #Constraints: 124485
532.52/534.02 c #Conflicts: 108000 | #Constraints: 125485
532.52/534.02 c #Conflicts: 109000 | #Constraints: 126485
532.52/534.02 c #Conflicts: 110000 | #Constraints: 127485
532.52/534.02 c INPROCESSING
532.52/534.02 c GARBAGE COLLECT
532.52/534.02 c #Conflicts: 111000 | #Constraints: 121764
532.52/534.02 c #Conflicts: 112000 | #Constraints: 122764
532.52/534.02 c #Conflicts: 113000 | #Constraints: 123764
532.52/534.02 c #Conflicts: 114000 | #Constraints: 124764
532.52/534.02 c #Conflicts: 115000 | #Constraints: 125764
532.52/534.02 c #Conflicts: 116000 | #Constraints: 126764
532.52/534.02 c #Conflicts: 117000 | #Constraints: 127764
532.52/534.02 c INPROCESSING
532.52/534.02 c GARBAGE COLLECT
532.52/534.02 c rational objective 32
580.59/582.21 c #Conflicts: 118000 | #Constraints: 122050
580.59/582.21 c #Conflicts: 119000 | #Constraints: 123050
580.59/582.21 c #Conflicts: 120000 | #Constraints: 124050
580.59/582.21 c #Conflicts: 121000 | #Constraints: 125050
580.59/582.21 c #Conflicts: 122000 | #Constraints: 126051
580.59/582.21 c #Conflicts: 123000 | #Constraints: 127051
580.59/582.21 c #Conflicts: 124000 | #Constraints: 128052
580.59/582.21 c INPROCESSING
580.59/582.21 c GARBAGE COLLECT
580.59/582.21 c rational objective 32
606.61/608.39 c #Conflicts: 125000 | #Constraints: 122139
606.61/608.39 c #Conflicts: 126000 | #Constraints: 123140
606.61/608.39 c #Conflicts: 127000 | #Constraints: 124140
606.61/608.39 c #Conflicts: 128000 | #Constraints: 125140
606.61/608.39 c #Conflicts: 129000 | #Constraints: 126140
606.61/608.39 c #Conflicts: 130000 | #Constraints: 127140
606.61/608.39 c #Conflicts: 131000 | #Constraints: 128140
606.61/608.39 c INPROCESSING
606.61/608.39 c GARBAGE COLLECT
606.61/608.39 c rational objective 32
644.23/646.03 c #Conflicts: 132000 | #Constraints: 121943
644.23/646.03 c #Conflicts: 133000 | #Constraints: 122943
644.23/646.03 c #Conflicts: 134000 | #Constraints: 123943
644.23/646.03 c #Conflicts: 135000 | #Constraints: 124943
644.23/646.03 c #Conflicts: 136000 | #Constraints: 125943
644.23/646.03 c #Conflicts: 137000 | #Constraints: 126943
644.23/646.03 c #Conflicts: 138000 | #Constraints: 127943
644.23/646.03 c #Conflicts: 139000 | #Constraints: 128943
644.23/646.03 c INPROCESSING
644.23/646.03 c GARBAGE COLLECT
644.23/646.03 c rational objective 32
726.29/728.35 c #Conflicts: 140000 | #Constraints: 122551
726.29/728.35 c #Conflicts: 141000 | #Constraints: 123551
726.29/728.35 c #Conflicts: 142000 | #Constraints: 124552
726.29/728.35 c #Conflicts: 143000 | #Constraints: 125552
726.29/728.35 c #Conflicts: 144000 | #Constraints: 126552
726.29/728.35 c #Conflicts: 145000 | #Constraints: 127553
726.29/728.35 c #Conflicts: 146000 | #Constraints: 128553
726.29/728.35 c #Conflicts: 147000 | #Constraints: 129554
726.29/728.35 c INPROCESSING
726.29/728.35 c GARBAGE COLLECT
726.29/728.35 c #Conflicts: 148000 | #Constraints: 123024
726.29/728.35 c #Conflicts: 149000 | #Constraints: 124026
726.29/728.35 c #Conflicts: 150000 | #Constraints: 125026
726.29/728.35 c #Conflicts: 151000 | #Constraints: 126028
726.29/728.35 c #Conflicts: 152000 | #Constraints: 127028
726.29/728.35 c #Conflicts: 153000 | #Constraints: 128029
726.29/728.35 c #Conflicts: 154000 | #Constraints: 129029
726.29/728.35 c #Conflicts: 155000 | #Constraints: 130030
726.29/728.35 c INPROCESSING
726.29/728.35 c GARBAGE COLLECT
726.29/728.35 c rational objective 32
806.17/808.46 c #Conflicts: 156000 | #Constraints: 123255
806.17/808.46 c #Conflicts: 157000 | #Constraints: 124255
806.17/808.46 c #Conflicts: 158000 | #Constraints: 125255
806.17/808.46 c #Conflicts: 159000 | #Constraints: 126256
806.17/808.46 c #Conflicts: 160000 | #Constraints: 127257
806.17/808.46 c #Conflicts: 161000 | #Constraints: 128257
806.17/808.46 c #Conflicts: 162000 | #Constraints: 129258
806.17/808.46 c #Conflicts: 163000 | #Constraints: 130258
806.17/808.46 c INPROCESSING
806.17/808.46 c GARBAGE COLLECT
806.17/808.46 c #Conflicts: 164000 | #Constraints: 123253
806.17/808.46 c #Conflicts: 165000 | #Constraints: 124254
806.17/808.46 c #Conflicts: 166000 | #Constraints: 125254
806.17/808.46 c #Conflicts: 167000 | #Constraints: 126254
806.17/808.46 c #Conflicts: 168000 | #Constraints: 127255
806.17/808.46 c #Conflicts: 169000 | #Constraints: 128255
806.17/808.46 c #Conflicts: 170000 | #Constraints: 129255
806.17/808.46 c #Conflicts: 171000 | #Constraints: 130256
806.17/808.46 c INPROCESSING
806.17/808.46 c GARBAGE COLLECT
806.17/808.46 c rational objective 32
855.34/857.74 c #Conflicts: 172000 | #Constraints: 123076
855.34/857.74 c #Conflicts: 173000 | #Constraints: 124076
855.34/857.74 c #Conflicts: 174000 | #Constraints: 125081
855.34/857.74 c #Conflicts: 175000 | #Constraints: 126087
855.34/857.74 c #Conflicts: 176000 | #Constraints: 127087
855.34/857.74 c #Conflicts: 177000 | #Constraints: 128088
855.34/857.74 c #Conflicts: 178000 | #Constraints: 129088
855.34/857.74 c #Conflicts: 179000 | #Constraints: 130088
855.34/857.74 c #Conflicts: 180000 | #Constraints: 131088
855.34/857.74 c INPROCESSING
855.34/857.74 c GARBAGE COLLECT
855.34/857.74 c rational objective 32
948.69/951.34 c #Conflicts: 181000 | #Constraints: 123802
948.69/951.34 c #Conflicts: 182000 | #Constraints: 124803
948.69/951.34 c #Conflicts: 183000 | #Constraints: 125803
948.69/951.34 c #Conflicts: 184000 | #Constraints: 126803
948.69/951.34 c #Conflicts: 185000 | #Constraints: 127803
948.69/951.34 c #Conflicts: 186000 | #Constraints: 128804
948.69/951.34 c #Conflicts: 187000 | #Constraints: 129804
948.69/951.34 c #Conflicts: 188000 | #Constraints: 130804
948.69/951.34 c #Conflicts: 189000 | #Constraints: 131805
948.69/951.34 c INPROCESSING
948.69/951.34 c GARBAGE COLLECT
948.69/951.34 c #Conflicts: 190000 | #Constraints: 124151
948.69/951.34 c #Conflicts: 191000 | #Constraints: 125151
948.69/951.34 c #Conflicts: 192000 | #Constraints: 126152
948.69/951.34 c #Conflicts: 193000 | #Constraints: 127152
948.69/951.34 c #Conflicts: 194000 | #Constraints: 128152
948.69/951.34 c #Conflicts: 195000 | #Constraints: 129152
948.69/951.34 c #Conflicts: 196000 | #Constraints: 130153
948.69/951.34 c #Conflicts: 197000 | #Constraints: 131153
948.69/951.34 c #Conflicts: 198000 | #Constraints: 132153
948.69/951.34 c INPROCESSING
948.69/951.34 c GARBAGE COLLECT
948.69/951.34 c rational objective 32
1028.77/1031.61 c #Conflicts: 199000 | #Constraints: 124360
1028.77/1031.61 c #Conflicts: 200000 | #Constraints: 125360
1028.77/1031.61 c #Conflicts: 201000 | #Constraints: 126360
1028.77/1031.61 c #Conflicts: 202000 | #Constraints: 127361
1028.77/1031.61 c #Conflicts: 203000 | #Constraints: 128365
1028.77/1031.61 c #Conflicts: 204000 | #Constraints: 129371
1028.77/1031.61 c #Conflicts: 205000 | #Constraints: 130372
1028.77/1031.61 c #Conflicts: 206000 | #Constraints: 131374
1028.77/1031.61 c #Conflicts: 207000 | #Constraints: 132376
1028.77/1031.61 c INPROCESSING
1028.77/1031.61 c GARBAGE COLLECT
1028.77/1031.61 c #Conflicts: 208000 | #Constraints: 124366
1028.77/1031.61 c #Conflicts: 209000 | #Constraints: 125368
1028.77/1031.61 c #Conflicts: 210000 | #Constraints: 126368
1028.77/1031.61 c #Conflicts: 211000 | #Constraints: 127368
1028.77/1031.61 c #Conflicts: 212000 | #Constraints: 128374
1028.77/1031.61 c #Conflicts: 213000 | #Constraints: 129376
1028.77/1031.61 c #Conflicts: 214000 | #Constraints: 130377
1028.77/1031.61 c #Conflicts: 215000 | #Constraints: 131377
1028.77/1031.61 c #Conflicts: 216000 | #Constraints: 132377
1028.77/1031.61 c INPROCESSING
1028.77/1031.61 c GARBAGE COLLECT
1028.77/1031.61 c rational objective 32
1106.56/1109.63 c #Conflicts: 217000 | #Constraints: 124192
1106.56/1109.63 c #Conflicts: 218000 | #Constraints: 125192
1106.56/1109.63 c #Conflicts: 219000 | #Constraints: 126193
1106.56/1109.63 c #Conflicts: 220000 | #Constraints: 127197
1106.56/1109.63 c #Conflicts: 221000 | #Constraints: 128197
1106.56/1109.63 c #Conflicts: 222000 | #Constraints: 129198
1106.56/1109.63 c #Conflicts: 223000 | #Constraints: 130198
1106.56/1109.63 c #Conflicts: 224000 | #Constraints: 131199
1106.56/1109.63 c #Conflicts: 225000 | #Constraints: 132201
1106.56/1109.63 c #Conflicts: 226000 | #Constraints: 133203
1106.56/1109.63 c INPROCESSING
1106.56/1109.63 c GARBAGE COLLECT
1106.56/1109.63 c #Conflicts: 227000 | #Constraints: 124848
1106.56/1109.63 c #Conflicts: 228000 | #Constraints: 125850
1106.56/1109.63 c #Conflicts: 229000 | #Constraints: 126851
1106.56/1109.63 c #Conflicts: 230000 | #Constraints: 127854
1106.56/1109.63 c #Conflicts: 231000 | #Constraints: 128855
1106.56/1109.63 c #Conflicts: 232000 | #Constraints: 129856
1106.56/1109.63 c #Conflicts: 233000 | #Constraints: 130857
1106.56/1109.63 c #Conflicts: 234000 | #Constraints: 131857
1106.56/1109.63 c #Conflicts: 235000 | #Constraints: 132857
1106.56/1109.63 c #Conflicts: 236000 | #Constraints: 133858
1106.56/1109.63 c INPROCESSING
1106.56/1109.63 c GARBAGE COLLECT
1106.56/1109.63 c rational objective 32
1127.69/1130.80 c #Conflicts: 237000 | #Constraints: 125265
1127.69/1130.80 c #Conflicts: 238000 | #Constraints: 126266
1127.69/1130.80 c #Conflicts: 239000 | #Constraints: 127266
1127.69/1130.80 c #Conflicts: 240000 | #Constraints: 128266
1127.69/1130.80 c #Conflicts: 241000 | #Constraints: 129266
1127.69/1130.80 c #Conflicts: 242000 | #Constraints: 130267
1127.69/1130.80 c #Conflicts: 243000 | #Constraints: 131268
1127.69/1130.80 c #Conflicts: 244000 | #Constraints: 132268
1127.69/1130.80 c #Conflicts: 245000 | #Constraints: 133268
1127.69/1130.80 c #Conflicts: 246000 | #Constraints: 134268
1127.69/1130.80 c INPROCESSING
1127.69/1130.80 c GARBAGE COLLECT
1127.69/1130.80 c rational objective 32
1178.45/1181.76 c #Conflicts: 247000 | #Constraints: 125525
1178.45/1181.76 c #Conflicts: 248000 | #Constraints: 126525
1178.45/1181.76 c #Conflicts: 249000 | #Constraints: 127525
1178.45/1181.76 c #Conflicts: 250000 | #Constraints: 128526
1178.45/1181.76 c #Conflicts: 251000 | #Constraints: 129526
1178.45/1181.76 c #Conflicts: 252000 | #Constraints: 130527
1178.45/1181.76 c #Conflicts: 253000 | #Constraints: 131527
1178.45/1181.76 c #Conflicts: 254000 | #Constraints: 132528
1178.45/1181.76 c #Conflicts: 255000 | #Constraints: 133528
1178.45/1181.76 c #Conflicts: 256000 | #Constraints: 134529
1178.45/1181.76 c INPROCESSING
1178.45/1181.76 c GARBAGE COLLECT
1178.45/1181.76 c rational objective 32
1198.81/1202.16 c #Conflicts: 257000 | #Constraints: 125595
1198.81/1202.16 c #Conflicts: 258000 | #Constraints: 126595
1198.81/1202.16 c #Conflicts: 259000 | #Constraints: 127596
1198.81/1202.16 c #Conflicts: 260000 | #Constraints: 128596
1198.81/1202.16 c #Conflicts: 261000 | #Constraints: 129596
1198.81/1202.16 c #Conflicts: 262000 | #Constraints: 130596
1198.81/1202.16 c #Conflicts: 263000 | #Constraints: 131596
1198.81/1202.16 c #Conflicts: 264000 | #Constraints: 132597
1198.81/1202.16 c #Conflicts: 265000 | #Constraints: 133599
1198.81/1202.16 c #Conflicts: 266000 | #Constraints: 134600
1198.81/1202.16 c INPROCESSING
1198.81/1202.16 c GARBAGE COLLECT
1198.81/1202.16 c rational objective 32
1252.25/1255.74 c #Conflicts: 267000 | #Constraints: 125413
1252.25/1255.74 c #Conflicts: 268000 | #Constraints: 126413
1252.25/1255.74 c #Conflicts: 269000 | #Constraints: 127414
1252.25/1255.74 c #Conflicts: 270000 | #Constraints: 128415
1252.25/1255.74 c #Conflicts: 271000 | #Constraints: 129415
1252.25/1255.74 c #Conflicts: 272000 | #Constraints: 130417
1252.25/1255.74 c #Conflicts: 273000 | #Constraints: 131418
1252.25/1255.74 c #Conflicts: 274000 | #Constraints: 132421
1252.25/1255.74 c #Conflicts: 275000 | #Constraints: 133422
1252.25/1255.74 c #Conflicts: 276000 | #Constraints: 134423
1252.25/1255.74 c #Conflicts: 277000 | #Constraints: 135423
1252.25/1255.74 c INPROCESSING
1252.25/1255.74 c GARBAGE COLLECT
1252.25/1255.74 c rational objective 32
1296.24/1299.89 c #Conflicts: 278000 | #Constraints: 126027
1296.24/1299.89 c #Conflicts: 279000 | #Constraints: 127027
1296.24/1299.89 c #Conflicts: 280000 | #Constraints: 128027
1296.24/1299.89 c #Conflicts: 281000 | #Constraints: 129027
1296.24/1299.89 c #Conflicts: 282000 | #Constraints: 130027
1296.24/1299.89 c #Conflicts: 283000 | #Constraints: 131027
1296.24/1299.89 c #Conflicts: 284000 | #Constraints: 132028
1296.24/1299.89 c #Conflicts: 285000 | #Constraints: 133028
1296.24/1299.89 c #Conflicts: 286000 | #Constraints: 134028
1296.24/1299.89 c #Conflicts: 287000 | #Constraints: 135028
1296.24/1299.89 c #Conflicts: 288000 | #Constraints: 136028
1296.24/1299.89 c INPROCESSING
1296.24/1299.89 c GARBAGE COLLECT
1296.24/1299.89 c rational objective 32
1336.54/1340.28 c #Conflicts: 289000 | #Constraints: 126548
1336.54/1340.28 c #Conflicts: 290000 | #Constraints: 127548
1336.54/1340.28 c #Conflicts: 291000 | #Constraints: 128548
1336.54/1340.28 c #Conflicts: 292000 | #Constraints: 129548
1336.54/1340.28 c #Conflicts: 293000 | #Constraints: 130548
1336.54/1340.28 c #Conflicts: 294000 | #Constraints: 131548
1336.54/1340.28 c #Conflicts: 295000 | #Constraints: 132548
1336.54/1340.28 c #Conflicts: 296000 | #Constraints: 133548
1336.54/1340.28 c #Conflicts: 297000 | #Constraints: 134548
1336.54/1340.28 c #Conflicts: 298000 | #Constraints: 135548
1336.54/1340.28 c #Conflicts: 299000 | #Constraints: 136548
1336.54/1340.28 c INPROCESSING
1336.54/1340.28 c GARBAGE COLLECT
1336.54/1340.28 c rational objective 32
1388.70/1392.58 c #Conflicts: 300000 | #Constraints: 126689
1388.70/1392.58 c #Conflicts: 301000 | #Constraints: 127689
1388.70/1392.58 c #Conflicts: 302000 | #Constraints: 128689
1388.70/1392.58 c #Conflicts: 303000 | #Constraints: 129689
1388.70/1392.58 c #Conflicts: 304000 | #Constraints: 130689
1388.70/1392.58 c #Conflicts: 305000 | #Constraints: 131690
1388.70/1392.58 c #Conflicts: 306000 | #Constraints: 132690
1388.70/1392.58 c #Conflicts: 307000 | #Constraints: 133690
1388.70/1392.58 c #Conflicts: 308000 | #Constraints: 134690
1388.70/1392.58 c #Conflicts: 309000 | #Constraints: 135691
1388.70/1392.58 c #Conflicts: 310000 | #Constraints: 136691
1388.70/1392.58 c INPROCESSING
1388.70/1392.58 c GARBAGE COLLECT
1388.70/1392.58 c rational objective 32
1456.40/1460.47 c #Conflicts: 311000 | #Constraints: 126822
1456.40/1460.47 c #Conflicts: 312000 | #Constraints: 127822
1456.40/1460.47 c #Conflicts: 313000 | #Constraints: 128822
1456.40/1460.47 c #Conflicts: 314000 | #Constraints: 129823
1456.40/1460.47 c #Conflicts: 315000 | #Constraints: 130823
1456.40/1460.47 c #Conflicts: 316000 | #Constraints: 131824
1456.40/1460.47 c #Conflicts: 317000 | #Constraints: 132826
1456.40/1460.47 c #Conflicts: 318000 | #Constraints: 133827
1456.40/1460.47 c #Conflicts: 319000 | #Constraints: 134827
1456.40/1460.47 c #Conflicts: 320000 | #Constraints: 135827
1456.40/1460.47 c #Conflicts: 321000 | #Constraints: 136827
1456.40/1460.47 c INPROCESSING
1456.40/1460.47 c GARBAGE COLLECT
1456.40/1460.47 c rational objective 32
1515.15/1519.36 c #Conflicts: 322000 | #Constraints: 126618
1515.15/1519.36 c #Conflicts: 323000 | #Constraints: 127618
1515.15/1519.36 c #Conflicts: 324000 | #Constraints: 128618
1515.15/1519.36 c #Conflicts: 325000 | #Constraints: 129618
1515.15/1519.36 c #Conflicts: 326000 | #Constraints: 130618
1515.15/1519.36 c #Conflicts: 327000 | #Constraints: 131618
1515.15/1519.36 c #Conflicts: 328000 | #Constraints: 132618
1515.15/1519.36 c #Conflicts: 329000 | #Constraints: 133619
1515.15/1519.36 c #Conflicts: 330000 | #Constraints: 134620
1515.15/1519.36 c #Conflicts: 331000 | #Constraints: 135621
1515.15/1519.36 c #Conflicts: 332000 | #Constraints: 136622
1515.15/1519.36 c #Conflicts: 333000 | #Constraints: 137623
1515.15/1519.36 c INPROCESSING
1515.15/1519.36 c GARBAGE COLLECT
1515.15/1519.36 c rational objective 32
1544.27/1548.53 c #Conflicts: 334000 | #Constraints: 127230
1544.27/1548.53 c #Conflicts: 335000 | #Constraints: 128230
1544.27/1548.53 c #Conflicts: 336000 | #Constraints: 129230
1544.27/1548.53 c #Conflicts: 337000 | #Constraints: 130230
1544.27/1548.53 c #Conflicts: 338000 | #Constraints: 131230
1544.27/1548.53 c #Conflicts: 339000 | #Constraints: 132230
1544.27/1548.53 c #Conflicts: 340000 | #Constraints: 133230
1544.27/1548.53 c #Conflicts: 341000 | #Constraints: 134231
1544.27/1548.53 c #Conflicts: 342000 | #Constraints: 135231
1544.27/1548.53 c #Conflicts: 343000 | #Constraints: 136232
1544.27/1548.53 c #Conflicts: 344000 | #Constraints: 137232
1544.27/1548.53 c #Conflicts: 345000 | #Constraints: 138234
1544.27/1548.53 c INPROCESSING
1544.27/1548.53 c GARBAGE COLLECT
1544.27/1548.53 c rational objective 32
1613.59/1618.09 c #Conflicts: 346000 | #Constraints: 127656
1613.59/1618.09 c #Conflicts: 347000 | #Constraints: 128657
1613.59/1618.09 c #Conflicts: 348000 | #Constraints: 129657
1613.59/1618.09 c #Conflicts: 349000 | #Constraints: 130657
1613.59/1618.09 c #Conflicts: 350000 | #Constraints: 131657
1613.59/1618.09 c #Conflicts: 351000 | #Constraints: 132657
1613.59/1618.09 c #Conflicts: 352000 | #Constraints: 133657
1613.59/1618.09 c #Conflicts: 353000 | #Constraints: 134658
1613.59/1618.09 c #Conflicts: 354000 | #Constraints: 135658
1613.59/1618.09 c #Conflicts: 355000 | #Constraints: 136659
1613.59/1618.09 c #Conflicts: 356000 | #Constraints: 137659
1613.59/1618.09 c #Conflicts: 357000 | #Constraints: 138659
1613.59/1618.09 c INPROCESSING
1613.59/1618.09 c GARBAGE COLLECT
1613.59/1618.09 c rational objective 32
1700.14/1704.81 c #Conflicts: 358000 | #Constraints: 127862
1700.14/1704.81 c #Conflicts: 359000 | #Constraints: 128863
1700.14/1704.81 c #Conflicts: 360000 | #Constraints: 129863
1700.14/1704.81 c #Conflicts: 361000 | #Constraints: 130864
1700.14/1704.81 c #Conflicts: 362000 | #Constraints: 131864
1700.14/1704.81 c #Conflicts: 363000 | #Constraints: 132865
1700.14/1704.81 c #Conflicts: 364000 | #Constraints: 133865
1700.14/1704.81 c #Conflicts: 365000 | #Constraints: 134865
1700.14/1704.81 c #Conflicts: 366000 | #Constraints: 135866
1700.14/1704.81 c #Conflicts: 367000 | #Constraints: 136866
1700.14/1704.81 c #Conflicts: 368000 | #Constraints: 137866
1700.14/1704.81 c #Conflicts: 369000 | #Constraints: 138866
1700.14/1704.81 c INPROCESSING
1700.14/1704.81 c GARBAGE COLLECT
1700.14/1704.81 c rational objective 32
1759.29/1764.19 c #Conflicts: 370000 | #Constraints: 127945
1759.29/1764.19 c #Conflicts: 371000 | #Constraints: 128945
1759.29/1764.19 c #Conflicts: 372000 | #Constraints: 129945
1759.29/1764.19 c #Conflicts: 373000 | #Constraints: 130946
1759.29/1764.19 c #Conflicts: 374000 | #Constraints: 131946
1759.29/1764.19 c #Conflicts: 375000 | #Constraints: 132946
1759.29/1764.19 c #Conflicts: 376000 | #Constraints: 133946
1759.29/1764.19 c #Conflicts: 377000 | #Constraints: 134946
1759.29/1764.19 c #Conflicts: 378000 | #Constraints: 135946
1759.29/1764.19 c #Conflicts: 379000 | #Constraints: 136946
1759.29/1764.19 c #Conflicts: 380000 | #Constraints: 137946
1759.29/1764.19 c #Conflicts: 381000 | #Constraints: 138947
1759.29/1764.19 c INPROCESSING
1759.29/1764.19 c GARBAGE COLLECT
1759.29/1764.19 c rational objective 32
1825.21/1830.22 c #Conflicts: 382000 | #Constraints: 127820
1825.21/1830.22 c #Conflicts: 383000 | #Constraints: 128822
1825.21/1830.22 c #Conflicts: 384000 | #Constraints: 129822
1825.21/1830.22 c #Conflicts: 385000 | #Constraints: 130822
1825.21/1830.22 c #Conflicts: 386000 | #Constraints: 131822
1825.21/1830.22 c #Conflicts: 387000 | #Constraints: 132822
1825.21/1830.22 c #Conflicts: 388000 | #Constraints: 133823
1825.21/1830.22 c #Conflicts: 389000 | #Constraints: 134823
1825.21/1830.22 c #Conflicts: 390000 | #Constraints: 135823
1825.21/1830.22 c #Conflicts: 391000 | #Constraints: 136823
1825.21/1830.22 c #Conflicts: 392000 | #Constraints: 137823
1825.21/1830.22 c #Conflicts: 393000 | #Constraints: 138823
1825.21/1830.22 c #Conflicts: 394000 | #Constraints: 139823
1825.21/1830.22 c INPROCESSING
1825.21/1830.22 c GARBAGE COLLECT
1825.21/1830.22 c rational objective 32
1872.09/1877.28 c #Conflicts: 395000 | #Constraints: 128364
1872.09/1877.28 c #Conflicts: 396000 | #Constraints: 129364
1872.09/1877.28 c #Conflicts: 397000 | #Constraints: 130364
1872.09/1877.28 c #Conflicts: 398000 | #Constraints: 131364
1872.09/1877.28 c #Conflicts: 399000 | #Constraints: 132364
1872.09/1877.28 c #Conflicts: 400000 | #Constraints: 133364
1872.09/1877.28 c #Conflicts: 401000 | #Constraints: 134364
1872.09/1877.28 c #Conflicts: 402000 | #Constraints: 135364
1872.09/1877.28 c #Conflicts: 403000 | #Constraints: 136364
1872.09/1877.28 c #Conflicts: 404000 | #Constraints: 137364
1872.09/1877.28 c #Conflicts: 405000 | #Constraints: 138364
1872.09/1877.28 c #Conflicts: 406000 | #Constraints: 139365
1872.09/1877.28 c #Conflicts: 407000 | #Constraints: 140365
1872.09/1877.28 c INPROCESSING
1872.09/1877.28 c GARBAGE COLLECT
1872.09/1877.28 c rational objective 32
1947.59/1952.95 c #Conflicts: 408000 | #Constraints: 128744
1947.59/1952.95 c #Conflicts: 409000 | #Constraints: 129744
1947.59/1952.95 c #Conflicts: 410000 | #Constraints: 130745
1947.59/1952.95 c #Conflicts: 411000 | #Constraints: 131745
1947.59/1952.95 c #Conflicts: 412000 | #Constraints: 132745
1947.59/1952.95 c #Conflicts: 413000 | #Constraints: 133745
1947.59/1952.95 c #Conflicts: 414000 | #Constraints: 134745
1947.59/1952.95 c #Conflicts: 415000 | #Constraints: 135746
1947.59/1952.95 c #Conflicts: 416000 | #Constraints: 136746
1947.59/1952.95 c #Conflicts: 417000 | #Constraints: 137747
1947.59/1952.95 c #Conflicts: 418000 | #Constraints: 138747
1947.59/1952.95 c #Conflicts: 419000 | #Constraints: 139747
1947.59/1952.95 c #Conflicts: 420000 | #Constraints: 140748
1947.59/1952.95 c INPROCESSING
1947.59/1952.95 c GARBAGE COLLECT
1947.59/1952.95 c rational objective 32
1990.38/1995.84 c #Conflicts: 421000 | #Constraints: 128967
1990.38/1995.84 c #Conflicts: 422000 | #Constraints: 129967
1990.38/1995.84 c #Conflicts: 423000 | #Constraints: 130967
1990.38/1995.84 c #Conflicts: 424000 | #Constraints: 131968
1990.38/1995.84 c #Conflicts: 425000 | #Constraints: 132968
1990.38/1995.84 c #Conflicts: 426000 | #Constraints: 133968
1990.38/1995.84 c #Conflicts: 427000 | #Constraints: 134968
1990.38/1995.84 c #Conflicts: 428000 | #Constraints: 135970
1990.38/1995.84 c #Conflicts: 429000 | #Constraints: 136971
1990.38/1995.84 c #Conflicts: 430000 | #Constraints: 137971
1990.38/1995.84 c #Conflicts: 431000 | #Constraints: 138974
1990.38/1995.84 c #Conflicts: 432000 | #Constraints: 139975
1990.38/1995.84 c #Conflicts: 433000 | #Constraints: 140976
1990.38/1995.84 c INPROCESSING
1990.38/1995.84 c GARBAGE COLLECT
1990.38/1995.84 c rational objective 32
2068.38/2074.05 c #Conflicts: 434000 | #Constraints: 129010
2068.38/2074.05 c #Conflicts: 435000 | #Constraints: 130010
2068.38/2074.05 c #Conflicts: 436000 | #Constraints: 131010
2068.38/2074.05 c #Conflicts: 437000 | #Constraints: 132010
2068.38/2074.05 c #Conflicts: 438000 | #Constraints: 133010
2068.38/2074.05 c #Conflicts: 439000 | #Constraints: 134010
2068.38/2074.05 c #Conflicts: 440000 | #Constraints: 135011
2068.38/2074.05 c #Conflicts: 441000 | #Constraints: 136011
2068.38/2074.05 c #Conflicts: 442000 | #Constraints: 137013
2068.38/2074.05 c #Conflicts: 443000 | #Constraints: 138014
2068.38/2074.05 c #Conflicts: 444000 | #Constraints: 139017
2068.38/2074.05 c #Conflicts: 445000 | #Constraints: 140018
2068.38/2074.05 c #Conflicts: 446000 | #Constraints: 141019
2068.38/2074.05 c INPROCESSING
2068.38/2074.05 c GARBAGE COLLECT
2068.38/2074.05 c rational objective 32
2121.42/2127.24 c #Conflicts: 447000 | #Constraints: 128839
2121.42/2127.24 c #Conflicts: 448000 | #Constraints: 129842
2121.42/2127.24 c #Conflicts: 449000 | #Constraints: 130843
2121.42/2127.24 c #Conflicts: 450000 | #Constraints: 131844
2121.42/2127.24 c #Conflicts: 451000 | #Constraints: 132845
2121.42/2127.24 c #Conflicts: 452000 | #Constraints: 133846
2121.42/2127.24 c #Conflicts: 453000 | #Constraints: 134847
2121.42/2127.24 c #Conflicts: 454000 | #Constraints: 135850
2121.42/2127.24 c #Conflicts: 455000 | #Constraints: 136866
2121.42/2127.24 c #Conflicts: 456000 | #Constraints: 137869
2121.42/2127.24 c #Conflicts: 457000 | #Constraints: 138870
2121.42/2127.24 c #Conflicts: 458000 | #Constraints: 139877
2121.42/2127.24 c #Conflicts: 459000 | #Constraints: 140880
2121.42/2127.24 c #Conflicts: 460000 | #Constraints: 141898
2121.42/2127.24 c INPROCESSING
2121.42/2127.24 c GARBAGE COLLECT
2121.42/2127.24 c rational objective 32
2138.18/2144.01 c #Conflicts: 461000 | #Constraints: 129465
2138.18/2144.01 c #Conflicts: 462000 | #Constraints: 130465
2138.18/2144.01 c #Conflicts: 463000 | #Constraints: 131465
2138.18/2144.01 c #Conflicts: 464000 | #Constraints: 132466
2138.18/2144.01 c #Conflicts: 465000 | #Constraints: 133468
2138.18/2144.01 c #Conflicts: 466000 | #Constraints: 134471
2138.18/2144.01 c #Conflicts: 467000 | #Constraints: 135472
2138.18/2144.01 c #Conflicts: 468000 | #Constraints: 136473
2138.18/2144.01 c #Conflicts: 469000 | #Constraints: 137476
2138.18/2144.01 c #Conflicts: 470000 | #Constraints: 138478
2138.18/2144.01 c #Conflicts: 471000 | #Constraints: 139478
2138.18/2144.01 c #Conflicts: 472000 | #Constraints: 140479
2138.18/2144.01 c #Conflicts: 473000 | #Constraints: 141480
2138.18/2144.01 c #Conflicts: 474000 | #Constraints: 142482
2138.18/2144.01 c INPROCESSING
2138.18/2144.01 c GARBAGE COLLECT
2138.18/2144.01 c rational objective 32
2165.90/2171.84 c #Conflicts: 475000 | #Constraints: 129855
2165.90/2171.84 c #Conflicts: 476000 | #Constraints: 130855
2165.90/2171.84 c #Conflicts: 477000 | #Constraints: 131855
2165.90/2171.84 c #Conflicts: 478000 | #Constraints: 132857
2165.90/2171.84 c #Conflicts: 479000 | #Constraints: 133860
2165.90/2171.84 c #Conflicts: 480000 | #Constraints: 134862
2165.90/2171.84 c #Conflicts: 481000 | #Constraints: 135864
2165.90/2171.84 c #Conflicts: 482000 | #Constraints: 136865
2165.90/2171.84 c #Conflicts: 483000 | #Constraints: 137865
2165.90/2171.84 c #Conflicts: 484000 | #Constraints: 138866
2165.90/2171.84 c #Conflicts: 485000 | #Constraints: 139867
2165.90/2171.84 c #Conflicts: 486000 | #Constraints: 140868
2165.90/2171.84 c #Conflicts: 487000 | #Constraints: 141871
2165.90/2171.84 c #Conflicts: 488000 | #Constraints: 142874
2165.90/2171.84 c INPROCESSING
2165.90/2171.84 c GARBAGE COLLECT
2165.90/2171.84 c rational objective 32
2314.66/2321.06 c #Conflicts: 489000 | #Constraints: 130019
2314.66/2321.06 c #Conflicts: 490000 | #Constraints: 131019
2314.66/2321.06 c #Conflicts: 491000 | #Constraints: 132020
2314.66/2321.06 c #Conflicts: 492000 | #Constraints: 133023
2314.66/2321.06 c #Conflicts: 493000 | #Constraints: 134027
2314.66/2321.06 c #Conflicts: 494000 | #Constraints: 135032
2314.66/2321.06 c #Conflicts: 495000 | #Constraints: 136034
2314.66/2321.06 c #Conflicts: 496000 | #Constraints: 137034
2314.66/2321.06 c #Conflicts: 497000 | #Constraints: 138037
2314.66/2321.06 c #Conflicts: 498000 | #Constraints: 139037
2314.66/2321.06 c #Conflicts: 499000 | #Constraints: 140037
2314.66/2321.06 c #Conflicts: 500000 | #Constraints: 141037
2314.66/2321.06 c #Conflicts: 501000 | #Constraints: 142037
2314.66/2321.06 c #Conflicts: 502000 | #Constraints: 143037
2314.66/2321.06 c INPROCESSING
2314.66/2321.06 c GARBAGE COLLECT
2314.66/2321.06 c rational objective 32
2374.61/2381.11 c #Conflicts: 503000 | #Constraints: 129980
2374.61/2381.11 c #Conflicts: 504000 | #Constraints: 130980
2374.61/2381.11 c #Conflicts: 505000 | #Constraints: 131980
2374.61/2381.11 c #Conflicts: 506000 | #Constraints: 132980
2374.61/2381.11 c #Conflicts: 507000 | #Constraints: 133980
2374.61/2381.11 c #Conflicts: 508000 | #Constraints: 134980
2374.61/2381.11 c #Conflicts: 509000 | #Constraints: 135980
2374.61/2381.11 c #Conflicts: 510000 | #Constraints: 136980
2374.61/2381.11 c #Conflicts: 511000 | #Constraints: 137980
2374.61/2381.11 c #Conflicts: 512000 | #Constraints: 138980
2374.61/2381.11 c #Conflicts: 513000 | #Constraints: 139980
2374.61/2381.11 c #Conflicts: 514000 | #Constraints: 140980
2374.61/2381.11 c #Conflicts: 515000 | #Constraints: 141980
2374.61/2381.11 c #Conflicts: 516000 | #Constraints: 142980
2374.61/2381.11 c INPROCESSING
2374.61/2381.11 c GARBAGE COLLECT
2374.61/2381.11 c rational objective 32
2428.37/2435.08 c #Conflicts: 517000 | #Constraints: 129797
2428.37/2435.08 c #Conflicts: 518000 | #Constraints: 130797
2428.37/2435.08 c #Conflicts: 519000 | #Constraints: 131797
2428.37/2435.08 c #Conflicts: 520000 | #Constraints: 132798
2428.37/2435.08 c #Conflicts: 521000 | #Constraints: 133798
2428.37/2435.08 c #Conflicts: 522000 | #Constraints: 134798
2428.37/2435.08 c #Conflicts: 523000 | #Constraints: 135798
2428.37/2435.08 c #Conflicts: 524000 | #Constraints: 136798
2428.37/2435.08 c #Conflicts: 525000 | #Constraints: 137798
2428.37/2435.08 c #Conflicts: 526000 | #Constraints: 138799
2428.37/2435.08 c #Conflicts: 527000 | #Constraints: 139799
2428.37/2435.08 c #Conflicts: 528000 | #Constraints: 140800
2428.37/2435.08 c #Conflicts: 529000 | #Constraints: 141801
2428.37/2435.08 c #Conflicts: 530000 | #Constraints: 142802
2428.37/2435.08 c #Conflicts: 531000 | #Constraints: 143803
2428.37/2435.08 c INPROCESSING
2428.37/2435.08 c GARBAGE COLLECT
2428.37/2435.08 c rational objective 32
2513.04/2519.91 c #Conflicts: 532000 | #Constraints: 130398
2513.04/2519.91 c #Conflicts: 533000 | #Constraints: 131399
2513.04/2519.91 c #Conflicts: 534000 | #Constraints: 132400
2513.04/2519.91 c #Conflicts: 535000 | #Constraints: 133400
2513.04/2519.91 c #Conflicts: 536000 | #Constraints: 134401
2513.04/2519.91 c #Conflicts: 537000 | #Constraints: 135401
2513.04/2519.91 c #Conflicts: 538000 | #Constraints: 136401
2513.04/2519.91 c #Conflicts: 539000 | #Constraints: 137401
2513.04/2519.91 c #Conflicts: 540000 | #Constraints: 138401
2513.04/2519.91 c #Conflicts: 541000 | #Constraints: 139401
2513.04/2519.91 c #Conflicts: 542000 | #Constraints: 140401
2513.04/2519.91 c #Conflicts: 543000 | #Constraints: 141401
2513.04/2519.91 c #Conflicts: 544000 | #Constraints: 142402
2513.04/2519.91 c #Conflicts: 545000 | #Constraints: 143402
2513.04/2519.91 c #Conflicts: 546000 | #Constraints: 144402
2513.04/2519.91 c INPROCESSING
2513.04/2519.91 c GARBAGE COLLECT
2513.04/2519.91 c rational objective 32
2619.73/2627.00 c #Conflicts: 547000 | #Constraints: 130878
2619.73/2627.00 c #Conflicts: 548000 | #Constraints: 131879
2619.73/2627.00 c #Conflicts: 549000 | #Constraints: 132879
2619.73/2627.00 c #Conflicts: 550000 | #Constraints: 133879
2619.73/2627.00 c #Conflicts: 551000 | #Constraints: 134879
2619.73/2627.00 c #Conflicts: 552000 | #Constraints: 135879
2619.73/2627.00 c #Conflicts: 553000 | #Constraints: 136879
2619.73/2627.00 c #Conflicts: 554000 | #Constraints: 137879
2619.73/2627.00 c #Conflicts: 555000 | #Constraints: 138879
2619.73/2627.00 c #Conflicts: 556000 | #Constraints: 139879
2619.73/2627.00 c #Conflicts: 557000 | #Constraints: 140879
2619.73/2627.00 c #Conflicts: 558000 | #Constraints: 141880
2619.73/2627.00 c #Conflicts: 559000 | #Constraints: 142880
2619.73/2627.00 c #Conflicts: 560000 | #Constraints: 143880
2619.73/2627.00 c #Conflicts: 561000 | #Constraints: 144880
2619.73/2627.00 c INPROCESSING
2619.73/2627.00 c GARBAGE COLLECT
2619.73/2627.00 c rational objective 32
2656.13/2663.49 c #Conflicts: 562000 | #Constraints: 131161
2656.13/2663.49 c #Conflicts: 563000 | #Constraints: 132161
2656.13/2663.49 c #Conflicts: 564000 | #Constraints: 133161
2656.13/2663.49 c #Conflicts: 565000 | #Constraints: 134161
2656.13/2663.49 c #Conflicts: 566000 | #Constraints: 135161
2656.13/2663.49 c #Conflicts: 567000 | #Constraints: 136162
2656.13/2663.49 c #Conflicts: 568000 | #Constraints: 137162
2656.13/2663.49 c #Conflicts: 569000 | #Constraints: 138162
2656.13/2663.49 c #Conflicts: 570000 | #Constraints: 139162
2656.13/2663.49 c #Conflicts: 571000 | #Constraints: 140162
2656.13/2663.49 c #Conflicts: 572000 | #Constraints: 141162
2656.13/2663.49 c #Conflicts: 573000 | #Constraints: 142163
2656.13/2663.49 c #Conflicts: 574000 | #Constraints: 143163
2656.13/2663.49 c #Conflicts: 575000 | #Constraints: 144163
2656.13/2663.49 c #Conflicts: 576000 | #Constraints: 145166
2656.13/2663.49 c INPROCESSING
2656.13/2663.49 c GARBAGE COLLECT
2656.13/2663.49 c rational objective 32
2729.03/2736.53 c #Conflicts: 577000 | #Constraints: 131232
2729.03/2736.53 c #Conflicts: 578000 | #Constraints: 132232
2729.03/2736.53 c #Conflicts: 579000 | #Constraints: 133232
2729.03/2736.53 c #Conflicts: 580000 | #Constraints: 134232
2729.03/2736.53 c #Conflicts: 581000 | #Constraints: 135233
2729.03/2736.53 c #Conflicts: 582000 | #Constraints: 136233
2729.03/2736.53 c #Conflicts: 583000 | #Constraints: 137234
2729.03/2736.53 c #Conflicts: 584000 | #Constraints: 138234
2729.03/2736.53 c #Conflicts: 585000 | #Constraints: 139234
2729.03/2736.53 c #Conflicts: 586000 | #Constraints: 140234
2729.03/2736.53 c #Conflicts: 587000 | #Constraints: 141234
2729.03/2736.53 c #Conflicts: 588000 | #Constraints: 142235
2729.03/2736.53 c #Conflicts: 589000 | #Constraints: 143235
2729.03/2736.53 c #Conflicts: 590000 | #Constraints: 144235
2729.03/2736.53 c #Conflicts: 591000 | #Constraints: 145235
2729.03/2736.53 c INPROCESSING
2729.03/2736.53 c GARBAGE COLLECT
2729.03/2736.53 c rational objective 32
2759.84/2767.49 c #Conflicts: 592000 | #Constraints: 131027
2759.84/2767.49 c #Conflicts: 593000 | #Constraints: 132027
2759.84/2767.49 c #Conflicts: 594000 | #Constraints: 133027
2759.84/2767.49 c #Conflicts: 595000 | #Constraints: 134027
2759.84/2767.49 c #Conflicts: 596000 | #Constraints: 135028
2759.84/2767.49 c #Conflicts: 597000 | #Constraints: 136028
2759.84/2767.49 c #Conflicts: 598000 | #Constraints: 137028
2759.84/2767.49 c #Conflicts: 599000 | #Constraints: 138029
2759.84/2767.49 c #Conflicts: 600000 | #Constraints: 139030
2759.84/2767.49 c #Conflicts: 601000 | #Constraints: 140030
2759.84/2767.49 c #Conflicts: 602000 | #Constraints: 141031
2759.84/2767.49 c #Conflicts: 603000 | #Constraints: 142032
2759.84/2767.49 c #Conflicts: 604000 | #Constraints: 143033
2759.84/2767.49 c #Conflicts: 605000 | #Constraints: 144034
2759.84/2767.49 c #Conflicts: 606000 | #Constraints: 145035
2759.84/2767.49 c #Conflicts: 607000 | #Constraints: 146036
2759.84/2767.49 c INPROCESSING
2759.84/2767.49 c GARBAGE COLLECT
2759.84/2767.49 c rational objective 32
2825.86/2833.63 c #Conflicts: 608000 | #Constraints: 131536
2825.86/2833.63 c #Conflicts: 609000 | #Constraints: 132536
2825.86/2833.63 c #Conflicts: 610000 | #Constraints: 133537
2825.86/2833.63 c #Conflicts: 611000 | #Constraints: 134537
2825.86/2833.63 c #Conflicts: 612000 | #Constraints: 135538
2825.86/2833.63 c #Conflicts: 613000 | #Constraints: 136540
2825.86/2833.63 c #Conflicts: 614000 | #Constraints: 137540
2825.86/2833.63 c #Conflicts: 615000 | #Constraints: 138541
2825.86/2833.63 c #Conflicts: 616000 | #Constraints: 139541
2825.86/2833.63 c #Conflicts: 617000 | #Constraints: 140542
2825.86/2833.63 c #Conflicts: 618000 | #Constraints: 141542
2825.86/2833.63 c #Conflicts: 619000 | #Constraints: 142542
2825.86/2833.63 c #Conflicts: 620000 | #Constraints: 143543
2825.86/2833.63 c #Conflicts: 621000 | #Constraints: 144546
2825.86/2833.63 c #Conflicts: 622000 | #Constraints: 145547
2825.86/2833.63 c #Conflicts: 623000 | #Constraints: 146547
2825.86/2833.63 c INPROCESSING
2825.86/2833.63 c GARBAGE COLLECT
2825.86/2833.63 c rational objective 32
2912.81/2920.80 c #Conflicts: 624000 | #Constraints: 131947
2912.81/2920.80 c #Conflicts: 625000 | #Constraints: 132947
2912.81/2920.80 c #Conflicts: 626000 | #Constraints: 133947
2912.81/2920.80 c #Conflicts: 627000 | #Constraints: 134947
2912.81/2920.80 c #Conflicts: 628000 | #Constraints: 135947
2912.81/2920.80 c #Conflicts: 629000 | #Constraints: 136947
2912.81/2920.80 c #Conflicts: 630000 | #Constraints: 137947
2912.81/2920.80 c #Conflicts: 631000 | #Constraints: 138947
2912.81/2920.80 c #Conflicts: 632000 | #Constraints: 139948
2912.81/2920.80 c #Conflicts: 633000 | #Constraints: 140948
2912.81/2920.80 c #Conflicts: 634000 | #Constraints: 141949
2912.81/2920.80 c #Conflicts: 635000 | #Constraints: 142949
2912.81/2920.80 c #Conflicts: 636000 | #Constraints: 143949
2912.81/2920.80 c #Conflicts: 637000 | #Constraints: 144950
2912.81/2920.80 c #Conflicts: 638000 | #Constraints: 145950
2912.81/2920.80 c #Conflicts: 639000 | #Constraints: 146950
2912.81/2920.80 c INPROCESSING
2912.81/2920.80 c GARBAGE COLLECT
2912.81/2920.80 c rational objective 32
2957.29/2965.41 c #Conflicts: 640000 | #Constraints: 132154
2957.29/2965.41 c #Conflicts: 641000 | #Constraints: 133154
2957.29/2965.41 c #Conflicts: 642000 | #Constraints: 134154
2957.29/2965.41 c #Conflicts: 643000 | #Constraints: 135154
2957.29/2965.41 c #Conflicts: 644000 | #Constraints: 136154
2957.29/2965.41 c #Conflicts: 645000 | #Constraints: 137155
2957.29/2965.41 c #Conflicts: 646000 | #Constraints: 138155
2957.29/2965.41 c #Conflicts: 647000 | #Constraints: 139156
2957.29/2965.41 c #Conflicts: 648000 | #Constraints: 140156
2957.29/2965.41 c #Conflicts: 649000 | #Constraints: 141156
2957.29/2965.41 c #Conflicts: 650000 | #Constraints: 142156
2957.29/2965.41 c #Conflicts: 651000 | #Constraints: 143156
2957.29/2965.41 c #Conflicts: 652000 | #Constraints: 144156
2957.29/2965.41 c #Conflicts: 653000 | #Constraints: 145157
2957.29/2965.41 c #Conflicts: 654000 | #Constraints: 146157
2957.29/2965.41 c #Conflicts: 655000 | #Constraints: 147157
2957.29/2965.41 c INPROCESSING
2957.29/2965.41 c GARBAGE COLLECT
2957.29/2965.41 c rational objective 32
3065.40/3073.87 c #Conflicts: 656000 | #Constraints: 132156
3065.40/3073.87 c #Conflicts: 657000 | #Constraints: 133156
3065.40/3073.87 c #Conflicts: 658000 | #Constraints: 134156
3065.40/3073.87 c #Conflicts: 659000 | #Constraints: 135156
3065.40/3073.87 c #Conflicts: 660000 | #Constraints: 136157
3065.40/3073.87 c #Conflicts: 661000 | #Constraints: 137157
3065.40/3073.87 c #Conflicts: 662000 | #Constraints: 138158
3065.40/3073.87 c #Conflicts: 663000 | #Constraints: 139158
3065.40/3073.87 c #Conflicts: 664000 | #Constraints: 140159
3065.40/3073.87 c #Conflicts: 665000 | #Constraints: 141160
3065.40/3073.87 c #Conflicts: 666000 | #Constraints: 142160
3065.40/3073.87 c #Conflicts: 667000 | #Constraints: 143161
3065.40/3073.87 c #Conflicts: 668000 | #Constraints: 144161
3065.40/3073.87 c #Conflicts: 669000 | #Constraints: 145162
3065.40/3073.87 c #Conflicts: 670000 | #Constraints: 146163
3065.40/3073.87 c #Conflicts: 671000 | #Constraints: 147163
3065.40/3073.87 c INPROCESSING
3065.40/3073.87 c GARBAGE COLLECT
3065.40/3073.87 c rational objective 32
3130.82/3139.41 c #Conflicts: 672000 | #Constraints: 131896
3130.82/3139.41 c #Conflicts: 673000 | #Constraints: 132896
3130.82/3139.41 c #Conflicts: 674000 | #Constraints: 133896
3130.82/3139.41 c #Conflicts: 675000 | #Constraints: 134896
3130.82/3139.41 c #Conflicts: 676000 | #Constraints: 135896
3130.82/3139.41 c #Conflicts: 677000 | #Constraints: 136896
3130.82/3139.41 c #Conflicts: 678000 | #Constraints: 137896
3130.82/3139.41 c #Conflicts: 679000 | #Constraints: 138896
3130.82/3139.41 c #Conflicts: 680000 | #Constraints: 139898
3130.82/3139.41 c #Conflicts: 681000 | #Constraints: 140898
3130.82/3139.41 c #Conflicts: 682000 | #Constraints: 141898
3130.82/3139.41 c #Conflicts: 683000 | #Constraints: 142898
3130.82/3139.41 c #Conflicts: 684000 | #Constraints: 143898
3130.82/3139.41 c #Conflicts: 685000 | #Constraints: 144898
3130.82/3139.41 c #Conflicts: 686000 | #Constraints: 145898
3130.82/3139.41 c #Conflicts: 687000 | #Constraints: 146899
3130.82/3139.41 c #Conflicts: 688000 | #Constraints: 147899
3130.82/3139.41 c INPROCESSING
3130.82/3139.41 c GARBAGE COLLECT
3130.82/3139.41 c rational objective 32
3167.32/3176.03 c #Conflicts: 689000 | #Constraints: 132621
3167.32/3176.03 c #Conflicts: 690000 | #Constraints: 133621
3167.32/3176.03 c #Conflicts: 691000 | #Constraints: 134621
3167.32/3176.03 c #Conflicts: 692000 | #Constraints: 135621
3167.32/3176.03 c #Conflicts: 693000 | #Constraints: 136622
3167.32/3176.03 c #Conflicts: 694000 | #Constraints: 137622
3167.32/3176.03 c #Conflicts: 695000 | #Constraints: 138622
3167.32/3176.03 c #Conflicts: 696000 | #Constraints: 139622
3167.32/3176.03 c #Conflicts: 697000 | #Constraints: 140622
3167.32/3176.03 c #Conflicts: 698000 | #Constraints: 141622
3167.32/3176.03 c #Conflicts: 699000 | #Constraints: 142622
3167.32/3176.03 c #Conflicts: 700000 | #Constraints: 143622
3167.32/3176.03 c #Conflicts: 701000 | #Constraints: 144622
3167.32/3176.03 c #Conflicts: 702000 | #Constraints: 145622
3167.32/3176.03 c #Conflicts: 703000 | #Constraints: 146622
3167.32/3176.03 c #Conflicts: 704000 | #Constraints: 147622
3167.32/3176.03 c #Conflicts: 705000 | #Constraints: 148622
3167.32/3176.03 c INPROCESSING
3167.32/3176.03 c GARBAGE COLLECT
3167.32/3176.03 c rational objective 32
3198.04/3206.80 c #Conflicts: 706000 | #Constraints: 133098
3198.04/3206.80 c #Conflicts: 707000 | #Constraints: 134099
3198.04/3206.80 c #Conflicts: 708000 | #Constraints: 135099
3198.04/3206.80 c #Conflicts: 709000 | #Constraints: 136100
3198.04/3206.80 c #Conflicts: 710000 | #Constraints: 137102
3198.04/3206.80 c #Conflicts: 711000 | #Constraints: 138103
3198.04/3206.80 c #Conflicts: 712000 | #Constraints: 139103
3198.04/3206.80 c #Conflicts: 713000 | #Constraints: 140105
3198.04/3206.80 c #Conflicts: 714000 | #Constraints: 141107
3198.04/3206.80 c #Conflicts: 715000 | #Constraints: 142108
3198.04/3206.80 c #Conflicts: 716000 | #Constraints: 143110
3198.04/3206.80 c #Conflicts: 717000 | #Constraints: 144112
3198.04/3206.80 c #Conflicts: 718000 | #Constraints: 145112
3198.04/3206.80 c #Conflicts: 719000 | #Constraints: 146113
3198.04/3206.80 c #Conflicts: 720000 | #Constraints: 147113
3198.04/3206.80 c #Conflicts: 721000 | #Constraints: 148114
3198.04/3206.80 c #Conflicts: 722000 | #Constraints: 149117
3198.04/3206.80 c INPROCESSING
3198.04/3206.80 c GARBAGE COLLECT
3198.04/3206.80 c rational objective 32
3224.86/3233.70 c #Conflicts: 723000 | #Constraints: 133301
3224.86/3233.70 c #Conflicts: 724000 | #Constraints: 134302
3224.86/3233.70 c #Conflicts: 725000 | #Constraints: 135302
3224.86/3233.70 c #Conflicts: 726000 | #Constraints: 136302
3224.86/3233.70 c #Conflicts: 727000 | #Constraints: 137302
3224.86/3233.70 c #Conflicts: 728000 | #Constraints: 138303
3224.86/3233.70 c #Conflicts: 729000 | #Constraints: 139304
3224.86/3233.70 c #Conflicts: 730000 | #Constraints: 140306
3224.86/3233.70 c #Conflicts: 731000 | #Constraints: 141308
3224.86/3233.70 c #Conflicts: 732000 | #Constraints: 142310
3224.86/3233.70 c #Conflicts: 733000 | #Constraints: 143311
3224.86/3233.70 c #Conflicts: 734000 | #Constraints: 144314
3224.86/3233.70 c #Conflicts: 735000 | #Constraints: 145316
3224.86/3233.70 c #Conflicts: 736000 | #Constraints: 146316
3224.86/3233.70 c #Conflicts: 737000 | #Constraints: 147317
3224.86/3233.70 c #Conflicts: 738000 | #Constraints: 148319
3224.86/3233.70 c #Conflicts: 739000 | #Constraints: 149322
3224.86/3233.70 c INPROCESSING
3224.86/3233.70 c GARBAGE COLLECT
3224.86/3233.70 c rational objective 32
3295.67/3304.77 c #Conflicts: 740000 | #Constraints: 133300
3295.67/3304.77 c #Conflicts: 741000 | #Constraints: 134300
3295.67/3304.77 c #Conflicts: 742000 | #Constraints: 135300
3295.67/3304.77 c #Conflicts: 743000 | #Constraints: 136300
3295.67/3304.77 c #Conflicts: 744000 | #Constraints: 137300
3295.67/3304.77 c #Conflicts: 745000 | #Constraints: 138300
3295.67/3304.77 c #Conflicts: 746000 | #Constraints: 139300
3295.67/3304.77 c #Conflicts: 747000 | #Constraints: 140300
3295.67/3304.77 c #Conflicts: 748000 | #Constraints: 141300
3295.67/3304.77 c #Conflicts: 749000 | #Constraints: 142300
3295.67/3304.77 c #Conflicts: 750000 | #Constraints: 143300
3295.67/3304.77 c #Conflicts: 751000 | #Constraints: 144300
3295.67/3304.77 c #Conflicts: 752000 | #Constraints: 145301
3295.67/3304.77 c #Conflicts: 753000 | #Constraints: 146301
3295.67/3304.77 c #Conflicts: 754000 | #Constraints: 147301
3295.67/3304.77 c #Conflicts: 755000 | #Constraints: 148302
3295.67/3304.77 c #Conflicts: 756000 | #Constraints: 149302
3295.67/3304.77 c INPROCESSING
3295.67/3304.77 c GARBAGE COLLECT
3295.67/3304.77 c rational objective 32
3394.41/3403.70 c #Conflicts: 757000 | #Constraints: 133141
3394.41/3403.70 c #Conflicts: 758000 | #Constraints: 134141
3394.41/3403.70 c #Conflicts: 759000 | #Constraints: 135142
3394.41/3403.70 c #Conflicts: 760000 | #Constraints: 136149
3394.41/3403.70 c #Conflicts: 761000 | #Constraints: 137149
3394.41/3403.70 c #Conflicts: 762000 | #Constraints: 138150
3394.41/3403.70 c #Conflicts: 763000 | #Constraints: 139150
3394.41/3403.70 c #Conflicts: 764000 | #Constraints: 140151
3394.41/3403.70 c #Conflicts: 765000 | #Constraints: 141152
3394.41/3403.70 c #Conflicts: 766000 | #Constraints: 142153
3394.41/3403.70 c #Conflicts: 767000 | #Constraints: 143154
3394.41/3403.70 c #Conflicts: 768000 | #Constraints: 144154
3394.41/3403.70 c #Conflicts: 769000 | #Constraints: 145154
3394.41/3403.70 c #Conflicts: 770000 | #Constraints: 146154
3394.41/3403.70 c #Conflicts: 771000 | #Constraints: 147154
3394.41/3403.70 c #Conflicts: 772000 | #Constraints: 148155
3394.41/3403.70 c #Conflicts: 773000 | #Constraints: 149155
3394.41/3403.70 c #Conflicts: 774000 | #Constraints: 150155
3394.41/3403.70 c INPROCESSING
3394.41/3403.70 c GARBAGE COLLECT
3394.41/3403.70 c rational objective 32
3478.00/3487.50 c #Conflicts: 775000 | #Constraints: 133807
3478.00/3487.50 c #Conflicts: 776000 | #Constraints: 134808
3478.00/3487.50 c #Conflicts: 777000 | #Constraints: 135808
3478.00/3487.50 c #Conflicts: 778000 | #Constraints: 136808
3478.00/3487.50 c #Conflicts: 779000 | #Constraints: 137808
3478.00/3487.50 c #Conflicts: 780000 | #Constraints: 138808
3478.00/3487.50 c #Conflicts: 781000 | #Constraints: 139808
3478.00/3487.50 c #Conflicts: 782000 | #Constraints: 140808
3478.00/3487.50 c #Conflicts: 783000 | #Constraints: 141808
3478.00/3487.50 c #Conflicts: 784000 | #Constraints: 142808
3478.00/3487.50 c #Conflicts: 785000 | #Constraints: 143808
3478.00/3487.50 c #Conflicts: 786000 | #Constraints: 144808
3478.00/3487.50 c #Conflicts: 787000 | #Constraints: 145808
3478.00/3487.50 c #Conflicts: 788000 | #Constraints: 146808
3478.00/3487.50 c #Conflicts: 789000 | #Constraints: 147808
3478.00/3487.50 c #Conflicts: 790000 | #Constraints: 148808
3478.00/3487.50 c #Conflicts: 791000 | #Constraints: 149809
3478.00/3487.50 c #Conflicts: 792000 | #Constraints: 150809
3478.00/3487.50 c INPROCESSING
3478.00/3487.50 c GARBAGE COLLECT
3478.00/3487.50 c rational objective 32
3552.70/3562.49 c #Conflicts: 793000 | #Constraints: 134309
3552.70/3562.49 c #Conflicts: 794000 | #Constraints: 135309
3552.70/3562.49 c #Conflicts: 795000 | #Constraints: 136309
3552.70/3562.49 c #Conflicts: 796000 | #Constraints: 137310
3552.70/3562.49 c #Conflicts: 797000 | #Constraints: 138310
3552.70/3562.49 c #Conflicts: 798000 | #Constraints: 139310
3552.70/3562.49 c #Conflicts: 799000 | #Constraints: 140310
3552.70/3562.49 c #Conflicts: 800000 | #Constraints: 141311
3552.70/3562.49 c #Conflicts: 801000 | #Constraints: 142311
3552.70/3562.49 c #Conflicts: 802000 | #Constraints: 143312
3552.70/3562.49 c #Conflicts: 803000 | #Constraints: 144312
3552.70/3562.49 c #Conflicts: 804000 | #Constraints: 145313
3552.70/3562.49 c #Conflicts: 805000 | #Constraints: 146314
3552.70/3562.49 c #Conflicts: 806000 | #Constraints: 147315
3552.70/3562.49 c #Conflicts: 807000 | #Constraints: 148316
3552.70/3562.49 c #Conflicts: 808000 | #Constraints: 149316
3552.70/3562.49 c #Conflicts: 809000 | #Constraints: 150316
3552.70/3562.49 c #Conflicts: 810000 | #Constraints: 151316
3552.70/3562.49 c INPROCESSING
3552.70/3562.49 c GARBAGE COLLECT
3552.70/3562.49 c rational objective 32
3600.07/3609.90 c #Conflicts: 811000 | #Constraints: 134629
3600.07/3609.90 c #Conflicts: 812000 | #Constraints: 135629
3600.07/3609.90 c #Conflicts: 813000 | #Constraints: 136630
3600.07/3609.90 c #Conflicts: 814000 | #Constraints: 137631
3600.07/3609.90 c #Conflicts: 815000 | #Constraints: 138633
3600.07/3609.90 c #Conflicts: 816000 | #Constraints: 139633
3600.07/3609.90 c #Conflicts: 817000 | #Constraints: 140633
3600.07/3609.90 c #Conflicts: 818000 | #Constraints: 141633
3600.07/3609.90 c #Conflicts: 819000 | #Constraints: 142634
3600.07/3609.90 c #Conflicts: 820000 | #Constraints: 143634
3600.07/3609.90 c #Conflicts: 821000 | #Constraints: 144634
3600.07/3609.90 c #Conflicts: 822000 | #Constraints: 145634
3600.07/3609.90 c #Conflicts: 823000 | #Constraints: 146635
3600.07/3609.90 c #Conflicts: 824000 | #Constraints: 147635
3600.07/3609.90 c #Conflicts: 825000 | #Constraints: 148635
3600.07/3609.90 c cpu time 3576.92 s
3600.07/3609.90 c deterministic time 205901954125 2.06e+11
3600.07/3609.90 c optimization time 46.4777 s
3600.07/3609.90 c total solve time 3530.05 s
3600.07/3609.90 c core-guided solve time 1972.92 s
3600.07/3609.90 c propagation time 1351.18 s
3600.07/3609.90 c conflict analysis time 467.257 s
3600.07/3609.90 c propagations 320176034
3600.07/3609.90 c resolve steps 6036376
3600.07/3609.90 c decisions 13362873
3600.07/3609.90 c conflicts 825170
3600.07/3609.90 c restarts 1786
3600.07/3609.90 c inprocessing phases 81
3600.07/3609.90 c garbage collections 81 ,( 100.00 )
3600.07/3609.90 c input clauses 115560 ,( 99.63 )
3600.07/3609.90 c input cardinalities 367 ,( 0.32 )
3600.07/3609.90 c input general constraints 64 ,( 0.06 )
3600.07/3609.90 c input average constraint length 3.37
3600.07/3609.90 c input average constraint degree 81.55
3600.07/3609.90 c learned clauses 104229 ,( 12.62 )
3600.07/3609.90 c learned cardinalities 7226 ,( 0.87 )
3600.07/3609.90 c learned general constraints 714613 ,( 86.51 )
3600.07/3609.90 c learned average constraint length 2073.61
3600.07/3609.90 c learned average constraint degree 7883850617.94
3600.07/3609.90 c watched CF 32, 64, 128, Arb: 195205 , 0 , 0 , 0
3600.07/3609.90 c counting CF 32, 64, 128, Arb: 519473 , 0 , 0 , 0
3600.07/3609.90 c watched constraints 195205 ,( 27.31 )
3600.07/3609.90 c counting constraints 519472 ,( 72.69 )
3600.07/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 180074938 , 15677939 , 449669740 ,( 32780476 , 416889264 )
3600.07/3609.90 c gcd simplifications 24603
3600.07/3609.90 c detected cardinalities 182
3600.07/3609.90 c weakened non-implied lits 621872007
3600.07/3609.90 c weakened non-implying lits 482090
3600.07/3609.90 c original variables 49982
3600.07/3609.90 c clausal propagations 160170149
3600.07/3609.90 c cardinality propagations 22392911
3600.07/3609.90 c watched propagations 344587
3600.07/3609.90 c counting propagations 128896017
3600.07/3609.90 c watch lookups 28410179562
3600.07/3609.90 c watch backjump lookups 0
3600.07/3609.90 c watch checks 15796046384
3600.07/3609.90 c propagation checks 156252933949
3600.07/3609.90 c constraint additions 4773463347
3600.07/3609.90 c trail pops 334341068
3600.07/3609.90 c formula constraints 115991
3600.07/3609.90 c learned constraints 824708
3600.07/3609.90 c bound constraints 0
3600.07/3609.90 c core-guided constraints 0
3600.07/3609.90 c encountered formula constraints 4670126
3600.07/3609.90 c encountered learned constraints 1921709
3600.07/3609.90 c encountered bound constraints 0
3600.07/3609.90 c encountered core-guided constraints 0
3600.07/3609.90 c LP total time 2215.65 s
3600.07/3609.90 c LP solve time 2170.37 s
3600.07/3609.90 c LP constraints added 127021
3600.07/3609.90 c LP constraints removed 10736
3600.07/3609.90 c LP pivots internal 828434
3600.07/3609.90 c LP pivots root 622473
3600.07/3609.90 c LP calls 3948
3600.07/3609.90 c LP optimalities 3480
3600.07/3609.90 c LP no pivot count 1133
3600.07/3609.90 c LP infeasibilities 462
3600.07/3609.90 c LP valid Farkas constraints 461
3600.07/3609.90 c LP learned Farkas constraints 461
3600.07/3609.90 c LP basis resets 2
3600.07/3609.90 c LP cycling count 0
3600.07/3609.90 c LP singular count 1
3600.07/3609.90 c LP no primal count 0
3600.07/3609.90 c LP no farkas count 1
3600.07/3609.90 c LP other issue count 0
3600.07/3609.90 c LP Gomory cuts 438
3600.07/3609.90 c LP learned cuts 10592
3600.07/3609.90 c LP deleted cuts 10736
3600.07/3609.90 c LP encountered Gomory constraints 7068
3600.07/3609.90 c LP encountered Farkas constraints 255534
3600.07/3609.90 c LP encountered learned Farkas constraints 6648
3600.07/3609.90 c CG auxiliary variables introduced 0
3600.07/3609.90 c CG solutions found 0
3600.07/3609.90 c CG cores constructed 0
3600.07/3609.90 c CG core cardinality constraints returned 0
3600.07/3609.90 c CG unit cores 0
3600.07/3609.90 c CG single cores 0
3600.07/3609.90 c CG blocks removed during cardinality reduction 0
3600.07/3609.90 c CG first core best 0
3600.07/3609.90 c CG decision core best 0
3600.07/3609.90 c CG core reduction tie 0
3600.07/3609.90 c CG core degree average 0.00
3600.07/3609.90 c CG core slack average 0.00
3600.07/3609.90 c CG core upper bound improvements 0
3600.07/3609.90 c STR number of successful calls 0
3600.07/3609.90 c STR number of unsuccessful calls 0
3600.07/3609.90 c STR number of inconclusive calls 0
3600.07/3609.90 c STR number of successful attempts 0
3600.07/3609.90 c STR number of unsuccessful attempts 0
3600.07/3609.90 c STR number of inconclusive attempts 0
3600.07/3609.90 c STR average degree increase per successful call inf
3600.07/3609.90 c STR average degree increase per successful attempt inf
3600.07/3609.90 c STR total number of conflicts for successful attempts 0
3600.07/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.90 c STR average number of conflicts per successful attempt inf
3600.07/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.90 c AVG.sumWPerc 60.57
3600.07/3609.90 c bigint constraints 0
3600.07/3609.90 s UNKNOWN
3600.07/3609.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62106 MiB free)
memory of node 1: 64465 MiB (58691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509610-1751519972/watcher-4509610-1751519972 -o /tmp/evaluation-result-4509610-1751519972/solver-4509610-1751519972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751512741-72401 --watchdog 3760 run-opt-ls.sh HOME/instance-4509610-1751519972.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=73727, runsolver pid=73724
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 73729
/proc/meminfo: memFree=123676652/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73729] ppid=73727 vsize=33140 memory=22952 CPUtime=0.08 cores=0,2
/proc/73729/stat : 73729 (pbsuma) R 73727 73727 72384 0 -1 4194304 6148 0 0 0 8 0 0 0 20 0 1 0 67673802 33935360 5738 18446744073709551615 4210688 4653049 140734851063440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20647936 140734851066211 140734851066418 140734851066418 140734851071983 0
/proc/73729/statm: 8285 5738 1024 108 0 5693 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 37332 KiB
Current children cumulated memory: 26024 KiB
[startup+0.205388 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 73729
/proc/meminfo: memFree=123672620/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73729] ppid=73727 vsize=34452 memory=23976 CPUtime=0.19 cores=0,2
/proc/73729/stat : 73729 (pbsuma) R 73727 73727 72384 0 -1 4194304 6410 0 0 0 19 0 0 0 20 0 1 0 67673802 35278848 5994 18446744073709551615 4210688 4653049 140734851063440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20647936 140734851066211 140734851066418 140734851066418 140734851071983 0
/proc/73729/statm: 8613 5994 1024 108 0 6021 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38644 KiB
Current children cumulated memory: 27048 KiB
[startup+0.304881 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 73729
/proc/meminfo: memFree=123656492/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73729] ppid=73727 vsize=51128 memory=38252 CPUtime=0.29 cores=0,2
/proc/73729/stat : 73729 (pbsuma) R 73727 73727 72384 0 -1 4194304 9526 0 0 0 28 1 0 0 20 0 1 0 67673802 52355072 9563 18446744073709551615 4210688 4653049 140734851063440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 20647936 140734851066211 140734851066418 140734851066418 140734851071983 0
/proc/73729/statm: 12782 9563 1024 108 0 10190 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55320 KiB
Current children cumulated memory: 41324 KiB
[startup+0.700203 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 73729
/proc/meminfo: memFree=123656492/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.50015 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 73730
/proc/meminfo: memFree=123572020/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=254464 memory=201644 CPUtime=0.94 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 28972 0 0 0 80 14 0 0 20 0 1 0 67673855 260571136 50411 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 63616 50411 2368 1147 0 51043 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 258656 KiB
Current children cumulated memory: 204716 KiB
[startup+3.10559 s]
/proc/loadavg: 4.22 4.13 4.10 5/266 73730
/proc/meminfo: memFree=123469220/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=279892 memory=224952 CPUtime=2.55 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 34251 0 0 0 232 23 0 0 20 0 1 0 67673855 286609408 56238 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 69973 56238 2432 1147 0 57400 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 284084 KiB
Current children cumulated memory: 228024 KiB
[startup+6.3002 s]
/proc/loadavg: 4.22 4.13 4.10 5/266 73730
/proc/meminfo: memFree=123405372/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=283276 memory=231480 CPUtime=5.74 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 35880 0 0 0 549 25 0 0 20 0 1 0 67673855 290074624 57870 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 70819 57870 2432 1147 0 58246 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 287468 KiB
Current children cumulated memory: 234552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.10 5/266 73730
/proc/meminfo: memFree=123306716/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=363952 memory=300920 CPUtime=12.11 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 48680 0 0 0 1171 40 0 0 20 0 1 0 67673855 372686848 75230 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 90988 75230 2432 1147 0 78415 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 368144 KiB
Current children cumulated memory: 303992 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 73784
/proc/meminfo: memFree=126908244/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=399476 memory=333816 CPUtime=24.88 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 56889 0 0 0 2437 51 0 0 20 0 1 0 67673855 409063424 83454 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 99869 83454 2432 1147 0 87296 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 403668 KiB
Current children cumulated memory: 336888 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 73786
/proc/meminfo: memFree=126451940/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=408504 memory=341368 CPUtime=50.41 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 58792 0 0 0 4987 54 0 0 20 0 1 0 67673855 418308096 85342 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 102126 85342 2432 1147 0 89553 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 412696 KiB
Current children cumulated memory: 344440 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 73787
/proc/meminfo: memFree=126085424/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=692908 memory=578536 CPUtime=101.46 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 104794 0 0 0 10036 110 0 0 20 0 1 0 67673855 709537792 144634 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 173227 144634 2432 1147 0 160654 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 697100 KiB
Current children cumulated memory: 581608 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 73789
/proc/meminfo: memFree=125972520/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=722400 memory=603528 CPUtime=161.3 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 107966 0 0 0 16002 128 0 0 20 0 1 0 67673855 739737600 150882 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 180600 150882 2432 1147 0 168027 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 726592 KiB
Current children cumulated memory: 606600 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 73791
/proc/meminfo: memFree=125837128/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=740192 memory=621284 CPUtime=221.12 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 111913 0 0 0 21959 153 0 0 20 0 1 0 67673855 757956608 155321 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 185048 155321 2432 1147 0 172475 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 744384 KiB
Current children cumulated memory: 624356 KiB
################
# More data... #
################
/proc/73730/statm: 1180880 1099896 2528 1147 0 1168307 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 4727712 KiB
Current children cumulated memory: 4402656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.17 4.12 5/269 73950
/proc/meminfo: memFree=116841696/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4723924 memory=4400224 CPUtime=3153.15 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 826515 0 0 0 313329 1986 0 0 20 0 1 0 67673855 4837298176 1100056 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1180981 1100056 2528 1147 0 1168408 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 4728116 KiB
Current children cumulated memory: 4403296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/268 73952
/proc/meminfo: memFree=116823016/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4740888 memory=4412640 CPUtime=3212.98 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 829660 0 0 0 319273 2025 0 0 20 0 1 0 67673855 4854669312 1103160 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185222 1103160 2528 1147 0 1172649 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 4745080 KiB
Current children cumulated memory: 4415712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/268 73954
/proc/meminfo: memFree=116801384/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4741344 memory=4413408 CPUtime=3272.8 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 829898 0 0 0 325209 2071 0 0 20 0 1 0 67673855 4855136256 1103352 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185336 1103352 2528 1147 0 1172763 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 4745536 KiB
Current children cumulated memory: 4416480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/268 73956
/proc/meminfo: memFree=116781072/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4741344 memory=4413536 CPUtime=3332.66 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 829960 0 0 0 331156 2110 0 0 20 0 1 0 67673855 4855136256 1103384 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185336 1103384 2528 1147 0 1172763 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 4745536 KiB
Current children cumulated memory: 4416608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/267 73958
/proc/meminfo: memFree=116732624/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4741344 memory=4413536 CPUtime=3392.5 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 830005 0 0 0 337113 2137 0 0 20 0 1 0 67673855 4855136256 1103384 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185336 1103384 2528 1147 0 1172763 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 4745536 KiB
Current children cumulated memory: 4416608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/268 73961
/proc/meminfo: memFree=116698488/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4742360 memory=4414048 CPUtime=3452.34 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 830131 0 0 0 343058 2176 0 0 20 0 1 0 67673855 4856176640 1103512 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185590 1103512 2528 1147 0 1173017 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 4746552 KiB
Current children cumulated memory: 4417120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/268 73963
/proc/meminfo: memFree=116691408/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4742360 memory=4414176 CPUtime=3512.19 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 830191 0 0 0 349005 2214 0 0 20 0 1 0 67673855 4856176640 1103544 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185590 1103544 2528 1147 0 1173017 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 4746552 KiB
Current children cumulated memory: 4417248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/268 73965
/proc/meminfo: memFree=116376864/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4742360 memory=4414688 CPUtime=3572.03 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 830353 0 0 0 354955 2248 0 0 20 0 1 0 67673855 4856176640 1103672 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185590 1103672 2528 1147 0 1173017 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 4746552 KiB
Current children cumulated memory: 4417760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.08 4.13 4.11 3/255 74028
/proc/meminfo: memFree=122602228/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4742360 memory=4414688 CPUtime=3599.56 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 830353 0 0 0 357691 2265 0 0 20 0 1 0 67673855 4856176640 1103672 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185590 1103672 2528 1147 0 1173017 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4746552 KiB
Current children cumulated memory: 4417760 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 73727 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.508293 s, system=0.019057 s
Sleeping 2 seconds
[startup+3609.95 s]
# the end of solver process 73730 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.45 s, system=22.6994 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+3609.9 s]
/proc/loadavg: 4.08 4.13 4.11 3/255 74028
/proc/meminfo: memFree=122602228/131250000 swapFree=33010672/33010684
[pid=73727] ppid=73724 vsize=4192 memory=3072 CPUtime=0.51 cores=0,2
/proc/73727/stat : 73727 (run-opt-ls.sh) S 73724 73727 72384 0 -1 4194304 238 9701 0 0 0 0 50 1 20 0 1 0 67673802 4292608 768 18446744073709551615 94364750397440 94364751291973 140732079728784 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94364751531024 94364751578768 94364773044224 140732079733095 140732079733221 140732079733221 140732079738823 0
/proc/73727/statm: 1048 768 704 219 0 110 0
[pid=73730] ppid=73727 vsize=4742360 memory=4414688 CPUtime=3599.56 cores=0,2
/proc/73730/stat : 73730 (roundingsat) R 73727 73727 72384 0 -1 4194304 830353 0 0 0 357691 2265 0 0 20 0 1 0 67673855 4856176640 1103672 18446744073709551615 4227072 8923433 140720787335472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24563712 140720787339590 140720787339816 140720787339816 140720787345386 0
/proc/73730/statm: 1185590 1103672 2528 1147 0 1173017 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4746552 KiB
Current children cumulated memory: 4417760 KiB
Child status: 2
Real time (s): 3609.95
CPU time (s): 3600.15
CPU user time (s): 3577.45
CPU system time (s): 22.6994
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 4746552
Max. memory (cumulated for all children) (KiB): 4417760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.45
system time used= 22.6994
maximum resident set size= 4414816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 840311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 386
involuntary context switches= 4789
# summary of solver processes directly reported to runsolver:
# pid: 73727,73730
# total CPU time (s): 3600.15
# total CPU user time (s): 3577.45
# total CPU system time (s): 22.6994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83968 second user time and 15.8283 second system time
The end