0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.27/0.40 c #variables 595 #constraints 27847
0.27/0.40 c objective is ce32
0.47/0.61 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.47/0.61 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.47/0.61 c GLOBAL bounds - >= -595 @ 0.423776
0.55/0.61 c GLOBAL bounds - >= -595 @ 0.424384
0.55/0.61 c GLOBAL bounds - >= -595 @ 0.42559
0.55/0.62 c GLOBAL bounds - >= -595 @ 0.42656
0.55/0.63 c GLOBAL bounds - >= -595 @ 0.439117
0.55/0.64 c GLOBAL bounds - >= -595 @ 0.450569
0.55/0.64 c GLOBAL bounds - >= -595 @ 0.452252
0.55/0.64 c GLOBAL bounds - >= -595 @ 0.453784
0.55/0.65 c GLOBAL bounds - >= -595 @ 0.460411
0.55/0.69 c GLOBAL bounds - >= -595 @ 0.49735
0.55/0.69 c GLOBAL bounds - >= -595 @ 0.498666
0.64/0.70 c GLOBAL bounds - >= -595 @ 0.504137
0.64/0.70 c GLOBAL bounds - >= -595 @ 0.505659
0.64/0.70 c GLOBAL bounds - >= -595 @ 0.507088
0.64/0.70 c GLOBAL bounds - >= -595 @ 0.508325
0.64/0.71 c GLOBAL bounds - >= -595 @ 0.510641
0.64/0.72 c GLOBAL bounds - >= -595 @ 0.519705
0.64/0.72 c GLOBAL bounds - >= -595 @ 0.521014
0.64/0.72 c GLOBAL bounds - >= -595 @ 0.522134
0.64/0.72 c GLOBAL bounds - >= -595 @ 0.524174
0.64/0.74 c GLOBAL bounds - >= -595 @ 0.538763
0.64/0.74 c GLOBAL bounds - >= -595 @ 0.540086
0.64/0.74 c GLOBAL bounds - >= -595 @ 0.541198
0.64/0.74 c GLOBAL bounds - >= -595 @ 0.542309
0.64/0.74 c GLOBAL bounds - >= -595 @ 0.543446
0.64/0.75 c GLOBAL bounds - >= -595 @ 0.55379
0.64/0.75 c GLOBAL bounds - >= -595 @ 0.556281
0.64/0.76 c GLOBAL bounds - >= -595 @ 0.558091
0.64/0.76 c GLOBAL bounds - >= -595 @ 0.559884
0.64/0.76 c GLOBAL bounds - >= -595 @ 0.564641
136.03/136.59 c #Conflicts: 1000 | #Constraints: 28903
136.03/136.59 c #Conflicts: 2000 | #Constraints: 29903
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 3000 | #Constraints: 29908
136.03/136.59 c #Conflicts: 4000 | #Constraints: 30908
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 5000 | #Constraints: 30311
136.03/136.59 c #Conflicts: 6000 | #Constraints: 31311
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 7000 | #Constraints: 30313
136.03/136.59 c #Conflicts: 8000 | #Constraints: 31313
136.03/136.59 c #Conflicts: 9000 | #Constraints: 32313
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 10000 | #Constraints: 31014
136.03/136.59 c #Conflicts: 11000 | #Constraints: 32014
136.03/136.59 c #Conflicts: 12000 | #Constraints: 33014
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 13000 | #Constraints: 31464
136.03/136.59 c #Conflicts: 14000 | #Constraints: 32464
136.03/136.59 c #Conflicts: 15000 | #Constraints: 33464
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 16000 | #Constraints: 31690
136.03/136.59 c #Conflicts: 17000 | #Constraints: 32690
136.03/136.59 c #Conflicts: 18000 | #Constraints: 33690
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 19000 | #Constraints: 31703
136.03/136.59 c #Conflicts: 20000 | #Constraints: 32703
136.03/136.59 c #Conflicts: 21000 | #Constraints: 33703
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 22000 | #Constraints: 31508
136.03/136.59 c #Conflicts: 23000 | #Constraints: 32508
136.03/136.59 c #Conflicts: 24000 | #Constraints: 33508
136.03/136.59 c #Conflicts: 25000 | #Constraints: 34508
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 26000 | #Constraints: 32112
136.03/136.59 c #Conflicts: 27000 | #Constraints: 33112
136.03/136.59 c #Conflicts: 28000 | #Constraints: 34112
136.03/136.59 c #Conflicts: 29000 | #Constraints: 35112
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 30000 | #Constraints: 32513
136.03/136.59 c #Conflicts: 31000 | #Constraints: 33513
136.03/136.59 c #Conflicts: 32000 | #Constraints: 34513
136.03/136.59 c #Conflicts: 33000 | #Constraints: 35513
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 34000 | #Constraints: 32715
136.03/136.59 c #Conflicts: 35000 | #Constraints: 33715
136.03/136.59 c #Conflicts: 36000 | #Constraints: 34715
136.03/136.59 c #Conflicts: 37000 | #Constraints: 35715
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 38000 | #Constraints: 32710
136.03/136.59 c #Conflicts: 39000 | #Constraints: 33710
136.03/136.59 c #Conflicts: 40000 | #Constraints: 34710
136.03/136.59 c #Conflicts: 41000 | #Constraints: 35710
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 42000 | #Constraints: 32513
136.03/136.59 c #Conflicts: 43000 | #Constraints: 33513
136.03/136.59 c #Conflicts: 44000 | #Constraints: 34513
136.03/136.59 c #Conflicts: 45000 | #Constraints: 35513
136.03/136.59 c #Conflicts: 46000 | #Constraints: 36513
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 47000 | #Constraints: 33113
136.03/136.59 c #Conflicts: 48000 | #Constraints: 34113
136.03/136.59 c #Conflicts: 49000 | #Constraints: 35113
136.03/136.59 c #Conflicts: 50000 | #Constraints: 36113
136.03/136.59 c #Conflicts: 51000 | #Constraints: 37113
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 52000 | #Constraints: 33512
136.03/136.59 c #Conflicts: 53000 | #Constraints: 34512
136.03/136.59 c #Conflicts: 54000 | #Constraints: 35512
136.03/136.59 c #Conflicts: 55000 | #Constraints: 36512
136.03/136.59 c #Conflicts: 56000 | #Constraints: 37512
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 57000 | #Constraints: 33714
136.03/136.59 c #Conflicts: 58000 | #Constraints: 34714
136.03/136.59 c #Conflicts: 59000 | #Constraints: 35714
136.03/136.59 c #Conflicts: 60000 | #Constraints: 36714
136.03/136.59 c #Conflicts: 61000 | #Constraints: 37714
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 62000 | #Constraints: 33716
136.03/136.59 c #Conflicts: 63000 | #Constraints: 34716
136.03/136.59 c #Conflicts: 64000 | #Constraints: 35716
136.03/136.59 c #Conflicts: 65000 | #Constraints: 36716
136.03/136.59 c #Conflicts: 66000 | #Constraints: 37716
136.03/136.59 c INPROCESSING
136.03/136.59 c GARBAGE COLLECT
136.03/136.59 c #Conflicts: 67000 | #Constraints: 33518
136.03/136.59 c #Conflicts: 68000 | #Constraints: 34518
393.78/395.04 c #Conflicts: 69000 | #Constraints: 35518
393.78/395.04 c #Conflicts: 70000 | #Constraints: 36518
393.78/395.04 c #Conflicts: 71000 | #Constraints: 37518
393.78/395.04 c #Conflicts: 72000 | #Constraints: 38518
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 73000 | #Constraints: 34117
393.78/395.04 c #Conflicts: 74000 | #Constraints: 35117
393.78/395.04 c #Conflicts: 75000 | #Constraints: 36117
393.78/395.04 c #Conflicts: 76000 | #Constraints: 37117
393.78/395.04 c #Conflicts: 77000 | #Constraints: 38117
393.78/395.04 c #Conflicts: 78000 | #Constraints: 39117
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 79000 | #Constraints: 34520
393.78/395.04 c #Conflicts: 80000 | #Constraints: 35520
393.78/395.04 c #Conflicts: 81000 | #Constraints: 36520
393.78/395.04 c #Conflicts: 82000 | #Constraints: 37520
393.78/395.04 c #Conflicts: 83000 | #Constraints: 38520
393.78/395.04 c #Conflicts: 84000 | #Constraints: 39520
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 85000 | #Constraints: 34716
393.78/395.04 c #Conflicts: 86000 | #Constraints: 35716
393.78/395.04 c #Conflicts: 87000 | #Constraints: 36716
393.78/395.04 c #Conflicts: 88000 | #Constraints: 37716
393.78/395.04 c #Conflicts: 89000 | #Constraints: 38716
393.78/395.04 c #Conflicts: 90000 | #Constraints: 39716
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 91000 | #Constraints: 34716
393.78/395.04 c #Conflicts: 92000 | #Constraints: 35716
393.78/395.04 c #Conflicts: 93000 | #Constraints: 36716
393.78/395.04 c #Conflicts: 94000 | #Constraints: 37716
393.78/395.04 c #Conflicts: 95000 | #Constraints: 38716
393.78/395.04 c #Conflicts: 96000 | #Constraints: 39716
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 97000 | #Constraints: 34514
393.78/395.04 c #Conflicts: 98000 | #Constraints: 35514
393.78/395.04 c #Conflicts: 99000 | #Constraints: 36514
393.78/395.04 c #Conflicts: 100000 | #Constraints: 37514
393.78/395.04 c #Conflicts: 101000 | #Constraints: 38514
393.78/395.04 c #Conflicts: 102000 | #Constraints: 39514
393.78/395.04 c #Conflicts: 103000 | #Constraints: 40514
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 104000 | #Constraints: 35117
393.78/395.04 c #Conflicts: 105000 | #Constraints: 36117
393.78/395.04 c #Conflicts: 106000 | #Constraints: 37117
393.78/395.04 c #Conflicts: 107000 | #Constraints: 38117
393.78/395.04 c #Conflicts: 108000 | #Constraints: 39117
393.78/395.04 c #Conflicts: 109000 | #Constraints: 40117
393.78/395.04 c #Conflicts: 110000 | #Constraints: 41117
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 111000 | #Constraints: 35516
393.78/395.04 c #Conflicts: 112000 | #Constraints: 36516
393.78/395.04 c #Conflicts: 113000 | #Constraints: 37516
393.78/395.04 c #Conflicts: 114000 | #Constraints: 38516
393.78/395.04 c #Conflicts: 115000 | #Constraints: 39516
393.78/395.04 c #Conflicts: 116000 | #Constraints: 40516
393.78/395.04 c #Conflicts: 117000 | #Constraints: 41516
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 118000 | #Constraints: 35720
393.78/395.04 c #Conflicts: 119000 | #Constraints: 36720
393.78/395.04 c #Conflicts: 120000 | #Constraints: 37720
393.78/395.04 c #Conflicts: 121000 | #Constraints: 38720
393.78/395.04 c #Conflicts: 122000 | #Constraints: 39720
393.78/395.04 c #Conflicts: 123000 | #Constraints: 40720
393.78/395.04 c #Conflicts: 124000 | #Constraints: 41720
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 125000 | #Constraints: 35719
393.78/395.04 c #Conflicts: 126000 | #Constraints: 36719
393.78/395.04 c #Conflicts: 127000 | #Constraints: 37719
393.78/395.04 c #Conflicts: 128000 | #Constraints: 38719
393.78/395.04 c #Conflicts: 129000 | #Constraints: 39719
393.78/395.04 c #Conflicts: 130000 | #Constraints: 40719
393.78/395.04 c #Conflicts: 131000 | #Constraints: 41719
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 132000 | #Constraints: 35516
393.78/395.04 c #Conflicts: 133000 | #Constraints: 36516
393.78/395.04 c #Conflicts: 134000 | #Constraints: 37516
393.78/395.04 c #Conflicts: 135000 | #Constraints: 38516
393.78/395.04 c #Conflicts: 136000 | #Constraints: 39516
393.78/395.04 c #Conflicts: 137000 | #Constraints: 40516
393.78/395.04 c #Conflicts: 138000 | #Constraints: 41516
393.78/395.04 c #Conflicts: 139000 | #Constraints: 42516
393.78/395.04 c INPROCESSING
393.78/395.04 c GARBAGE COLLECT
393.78/395.04 c #Conflicts: 140000 | #Constraints: 36117
733.87/736.15 c #Conflicts: 141000 | #Constraints: 37117
733.87/736.15 c #Conflicts: 142000 | #Constraints: 38117
733.87/736.15 c #Conflicts: 143000 | #Constraints: 39117
733.87/736.15 c #Conflicts: 144000 | #Constraints: 40117
733.87/736.15 c #Conflicts: 145000 | #Constraints: 41117
733.87/736.15 c #Conflicts: 146000 | #Constraints: 42117
733.87/736.15 c #Conflicts: 147000 | #Constraints: 43117
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 148000 | #Constraints: 36515
733.87/736.15 c #Conflicts: 149000 | #Constraints: 37515
733.87/736.15 c #Conflicts: 150000 | #Constraints: 38515
733.87/736.15 c #Conflicts: 151000 | #Constraints: 39515
733.87/736.15 c #Conflicts: 152000 | #Constraints: 40515
733.87/736.15 c #Conflicts: 153000 | #Constraints: 41515
733.87/736.15 c #Conflicts: 154000 | #Constraints: 42515
733.87/736.15 c #Conflicts: 155000 | #Constraints: 43515
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 156000 | #Constraints: 36717
733.87/736.15 c #Conflicts: 157000 | #Constraints: 37717
733.87/736.15 c #Conflicts: 158000 | #Constraints: 38717
733.87/736.15 c #Conflicts: 159000 | #Constraints: 39717
733.87/736.15 c #Conflicts: 160000 | #Constraints: 40717
733.87/736.15 c #Conflicts: 161000 | #Constraints: 41717
733.87/736.15 c #Conflicts: 162000 | #Constraints: 42717
733.87/736.15 c #Conflicts: 163000 | #Constraints: 43717
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 164000 | #Constraints: 36716
733.87/736.15 c #Conflicts: 165000 | #Constraints: 37716
733.87/736.15 c #Conflicts: 166000 | #Constraints: 38716
733.87/736.15 c #Conflicts: 167000 | #Constraints: 39716
733.87/736.15 c #Conflicts: 168000 | #Constraints: 40716
733.87/736.15 c #Conflicts: 169000 | #Constraints: 41716
733.87/736.15 c #Conflicts: 170000 | #Constraints: 42716
733.87/736.15 c #Conflicts: 171000 | #Constraints: 43716
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 172000 | #Constraints: 36516
733.87/736.15 c #Conflicts: 173000 | #Constraints: 37516
733.87/736.15 c #Conflicts: 174000 | #Constraints: 38516
733.87/736.15 c #Conflicts: 175000 | #Constraints: 39516
733.87/736.15 c #Conflicts: 176000 | #Constraints: 40516
733.87/736.15 c #Conflicts: 177000 | #Constraints: 41516
733.87/736.15 c #Conflicts: 178000 | #Constraints: 42516
733.87/736.15 c #Conflicts: 179000 | #Constraints: 43516
733.87/736.15 c #Conflicts: 180000 | #Constraints: 44516
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 181000 | #Constraints: 37116
733.87/736.15 c #Conflicts: 182000 | #Constraints: 38116
733.87/736.15 c #Conflicts: 183000 | #Constraints: 39116
733.87/736.15 c #Conflicts: 184000 | #Constraints: 40116
733.87/736.15 c #Conflicts: 185000 | #Constraints: 41116
733.87/736.15 c #Conflicts: 186000 | #Constraints: 42116
733.87/736.15 c #Conflicts: 187000 | #Constraints: 43116
733.87/736.15 c #Conflicts: 188000 | #Constraints: 44116
733.87/736.15 c #Conflicts: 189000 | #Constraints: 45116
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 190000 | #Constraints: 37517
733.87/736.15 c #Conflicts: 191000 | #Constraints: 38517
733.87/736.15 c #Conflicts: 192000 | #Constraints: 39517
733.87/736.15 c #Conflicts: 193000 | #Constraints: 40517
733.87/736.15 c #Conflicts: 194000 | #Constraints: 41517
733.87/736.15 c #Conflicts: 195000 | #Constraints: 42517
733.87/736.15 c #Conflicts: 196000 | #Constraints: 43517
733.87/736.15 c #Conflicts: 197000 | #Constraints: 44517
733.87/736.15 c #Conflicts: 198000 | #Constraints: 45517
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 199000 | #Constraints: 37717
733.87/736.15 c #Conflicts: 200000 | #Constraints: 38717
733.87/736.15 c #Conflicts: 201000 | #Constraints: 39717
733.87/736.15 c #Conflicts: 202000 | #Constraints: 40717
733.87/736.15 c #Conflicts: 203000 | #Constraints: 41717
733.87/736.15 c #Conflicts: 204000 | #Constraints: 42717
733.87/736.15 c #Conflicts: 205000 | #Constraints: 43717
733.87/736.15 c #Conflicts: 206000 | #Constraints: 44717
733.87/736.15 c #Conflicts: 207000 | #Constraints: 45717
733.87/736.15 c INPROCESSING
733.87/736.15 c GARBAGE COLLECT
733.87/736.15 c #Conflicts: 208000 | #Constraints: 37716
733.87/736.15 c #Conflicts: 209000 | #Constraints: 38716
733.87/736.15 c #Conflicts: 210000 | #Constraints: 39716
733.87/736.15 c #Conflicts: 211000 | #Constraints: 40716
733.87/736.15 c #Conflicts: 212000 | #Constraints: 41716
733.87/736.15 c #Conflicts: 213000 | #Constraints: 42716
1154.79/1158.40 c #Conflicts: 214000 | #Constraints: 43716
1154.79/1158.40 c #Conflicts: 215000 | #Constraints: 44716
1154.79/1158.40 c #Conflicts: 216000 | #Constraints: 45716
1154.79/1158.40 c INPROCESSING
1154.79/1158.40 c GARBAGE COLLECT
1154.79/1158.40 c #Conflicts: 217000 | #Constraints: 37517
1154.79/1158.40 c #Conflicts: 218000 | #Constraints: 38517
1154.79/1158.40 c #Conflicts: 219000 | #Constraints: 39517
1154.79/1158.40 c #Conflicts: 220000 | #Constraints: 40517
1154.79/1158.40 c #Conflicts: 221000 | #Constraints: 41517
1154.79/1158.40 c #Conflicts: 222000 | #Constraints: 42517
1154.79/1158.40 c #Conflicts: 223000 | #Constraints: 43517
1154.79/1158.40 c #Conflicts: 224000 | #Constraints: 44517
1154.79/1158.40 c #Conflicts: 225000 | #Constraints: 45517
1154.79/1158.40 c #Conflicts: 226000 | #Constraints: 46517
1154.79/1158.40 c INPROCESSING
1154.79/1158.40 c GARBAGE COLLECT
1154.79/1158.40 c #Conflicts: 227000 | #Constraints: 38117
1154.79/1158.40 c #Conflicts: 228000 | #Constraints: 39117
1154.79/1158.40 c #Conflicts: 229000 | #Constraints: 40117
1154.79/1158.40 c #Conflicts: 230000 | #Constraints: 41117
1154.79/1158.40 c #Conflicts: 231000 | #Constraints: 42117
1154.79/1158.40 c #Conflicts: 232000 | #Constraints: 43117
1154.79/1158.40 c #Conflicts: 233000 | #Constraints: 44117
1154.79/1158.40 c #Conflicts: 234000 | #Constraints: 45117
1154.79/1158.40 c #Conflicts: 235000 | #Constraints: 46117
1154.79/1158.40 c #Conflicts: 236000 | #Constraints: 47117
1154.79/1158.40 c INPROCESSING
1154.79/1158.40 c GARBAGE COLLECT
1154.79/1158.40 c #Conflicts: 237000 | #Constraints: 38519
1154.79/1158.40 c #Conflicts: 238000 | #Constraints: 39519
1154.79/1158.40 c #Conflicts: 239000 | #Constraints: 40519
1154.79/1158.40 c #Conflicts: 240000 | #Constraints: 41519
1154.79/1158.40 c #Conflicts: 241000 | #Constraints: 42519
1154.79/1158.40 c #Conflicts: 242000 | #Constraints: 43519
1154.79/1158.40 c #Conflicts: 243000 | #Constraints: 44519
1154.79/1158.40 c #Conflicts: 244000 | #Constraints: 45519
1154.79/1158.40 c #Conflicts: 245000 | #Constraints: 46519
1154.79/1158.40 c #Conflicts: 246000 | #Constraints: 47519
1154.79/1158.40 c INPROCESSING
1154.79/1158.40 c GARBAGE COLLECT
1154.79/1158.40 c #Conflicts: 247000 | #Constraints: 38719
1154.79/1158.40 c #Conflicts: 248000 | #Constraints: 39719
1154.79/1158.40 c #Conflicts: 249000 | #Constraints: 40719
1154.79/1158.40 c #Conflicts: 250000 | #Constraints: 41719
1154.79/1158.40 c #Conflicts: 251000 | #Constraints: 42719
1154.79/1158.40 c #Conflicts: 252000 | #Constraints: 43719
1154.79/1158.40 c #Conflicts: 253000 | #Constraints: 44719
1154.79/1158.40 c #Conflicts: 254000 | #Constraints: 45719
1154.79/1158.40 c #Conflicts: 255000 | #Constraints: 46719
1154.79/1158.40 c #Conflicts: 256000 | #Constraints: 47719
1154.79/1158.40 c INPROCESSING
1154.79/1158.40 c GARBAGE COLLECT
1154.79/1158.40 c #Conflicts: 257000 | #Constraints: 38715
1154.79/1158.40 c #Conflicts: 258000 | #Constraints: 39715
1154.79/1158.40 c #Conflicts: 259000 | #Constraints: 40715
1154.79/1158.40 c #Conflicts: 260000 | #Constraints: 41715
1154.79/1158.40 c #Conflicts: 261000 | #Constraints: 42715
1154.79/1158.40 c #Conflicts: 262000 | #Constraints: 43715
1154.79/1158.40 c #Conflicts: 263000 | #Constraints: 44715
1154.79/1158.40 c #Conflicts: 264000 | #Constraints: 45715
1154.79/1158.40 c #Conflicts: 265000 | #Constraints: 46715
1154.79/1158.40 c #Conflicts: 266000 | #Constraints: 47715
1154.79/1158.40 c INPROCESSING
1154.79/1158.40 c GARBAGE COLLECT
1154.79/1158.40 c #Conflicts: 267000 | #Constraints: 38517
1154.79/1158.40 c #Conflicts: 268000 | #Constraints: 39517
1154.79/1158.40 c #Conflicts: 269000 | #Constraints: 40517
1154.79/1158.40 c #Conflicts: 270000 | #Constraints: 41517
1154.79/1158.40 c #Conflicts: 271000 | #Constraints: 42517
1154.79/1158.40 c #Conflicts: 272000 | #Constraints: 43517
1154.79/1158.40 c #Conflicts: 273000 | #Constraints: 44517
1154.79/1158.40 c #Conflicts: 274000 | #Constraints: 45517
1154.79/1158.40 c #Conflicts: 275000 | #Constraints: 46517
1154.79/1158.40 c #Conflicts: 276000 | #Constraints: 47517
1154.79/1158.40 c #Conflicts: 277000 | #Constraints: 48517
1154.79/1158.40 c INPROCESSING
1154.79/1158.40 c GARBAGE COLLECT
1154.79/1158.40 c #Conflicts: 278000 | #Constraints: 39118
1154.79/1158.40 c #Conflicts: 279000 | #Constraints: 40118
1154.79/1158.40 c #Conflicts: 280000 | #Constraints: 41118
1154.79/1158.40 c #Conflicts: 281000 | #Constraints: 42118
1154.79/1158.40 c #Conflicts: 282000 | #Constraints: 43118
1154.79/1158.40 c #Conflicts: 283000 | #Constraints: 44118
1154.79/1158.40 c #Conflicts: 284000 | #Constraints: 45118
1154.79/1158.40 c #Conflicts: 285000 | #Constraints: 46118
1154.79/1158.40 c #Conflicts: 286000 | #Constraints: 47118
1154.79/1158.40 c #Conflicts: 287000 | #Constraints: 48118
1154.79/1158.40 c #Conflicts: 288000 | #Constraints: 49118
1614.29/1619.29 c INPROCESSING
1614.29/1619.29 c GARBAGE COLLECT
1614.29/1619.29 c #Conflicts: 289000 | #Constraints: 39515
1614.29/1619.29 c #Conflicts: 290000 | #Constraints: 40515
1614.29/1619.29 c #Conflicts: 291000 | #Constraints: 41515
1614.29/1619.29 c #Conflicts: 292000 | #Constraints: 42515
1614.29/1619.29 c #Conflicts: 293000 | #Constraints: 43515
1614.29/1619.29 c #Conflicts: 294000 | #Constraints: 44515
1614.29/1619.29 c #Conflicts: 295000 | #Constraints: 45515
1614.29/1619.29 c #Conflicts: 296000 | #Constraints: 46515
1614.29/1619.29 c #Conflicts: 297000 | #Constraints: 47515
1614.29/1619.29 c #Conflicts: 298000 | #Constraints: 48515
1614.29/1619.29 c #Conflicts: 299000 | #Constraints: 49515
1614.29/1619.29 c INPROCESSING
1614.29/1619.29 c GARBAGE COLLECT
1614.29/1619.29 c #Conflicts: 300000 | #Constraints: 39715
1614.29/1619.29 c #Conflicts: 301000 | #Constraints: 40715
1614.29/1619.29 c #Conflicts: 302000 | #Constraints: 41715
1614.29/1619.29 c #Conflicts: 303000 | #Constraints: 42715
1614.29/1619.29 c #Conflicts: 304000 | #Constraints: 43715
1614.29/1619.29 c #Conflicts: 305000 | #Constraints: 44715
1614.29/1619.29 c #Conflicts: 306000 | #Constraints: 45715
1614.29/1619.29 c #Conflicts: 307000 | #Constraints: 46715
1614.29/1619.29 c #Conflicts: 308000 | #Constraints: 47715
1614.29/1619.29 c #Conflicts: 309000 | #Constraints: 48715
1614.29/1619.29 c #Conflicts: 310000 | #Constraints: 49715
1614.29/1619.29 c INPROCESSING
1614.29/1619.29 c GARBAGE COLLECT
1614.29/1619.29 c #Conflicts: 311000 | #Constraints: 39715
1614.29/1619.29 c #Conflicts: 312000 | #Constraints: 40715
1614.29/1619.29 c #Conflicts: 313000 | #Constraints: 41715
1614.29/1619.29 c #Conflicts: 314000 | #Constraints: 42715
1614.29/1619.29 c #Conflicts: 315000 | #Constraints: 43715
1614.29/1619.29 c #Conflicts: 316000 | #Constraints: 44715
1614.29/1619.29 c #Conflicts: 317000 | #Constraints: 45715
1614.29/1619.29 c #Conflicts: 318000 | #Constraints: 46715
1614.29/1619.29 c #Conflicts: 319000 | #Constraints: 47715
1614.29/1619.29 c #Conflicts: 320000 | #Constraints: 48715
1614.29/1619.29 c #Conflicts: 321000 | #Constraints: 49715
1614.29/1619.29 c INPROCESSING
1614.29/1619.29 c GARBAGE COLLECT
1614.29/1619.29 c #Conflicts: 322000 | #Constraints: 39519
1614.29/1619.29 c #Conflicts: 323000 | #Constraints: 40519
1614.29/1619.29 c #Conflicts: 324000 | #Constraints: 41519
1614.29/1619.29 c #Conflicts: 325000 | #Constraints: 42519
1614.29/1619.29 c #Conflicts: 326000 | #Constraints: 43519
1614.29/1619.29 c #Conflicts: 327000 | #Constraints: 44519
1614.29/1619.29 c #Conflicts: 328000 | #Constraints: 45519
1614.29/1619.29 c #Conflicts: 329000 | #Constraints: 46519
1614.29/1619.29 c #Conflicts: 330000 | #Constraints: 47519
1614.29/1619.29 c #Conflicts: 331000 | #Constraints: 48519
1614.29/1619.29 c #Conflicts: 332000 | #Constraints: 49519
1614.29/1619.29 c #Conflicts: 333000 | #Constraints: 50519
1614.29/1619.29 c INPROCESSING
1614.29/1619.29 c GARBAGE COLLECT
1614.29/1619.29 c #Conflicts: 334000 | #Constraints: 40117
1614.29/1619.29 c #Conflicts: 335000 | #Constraints: 41117
1614.29/1619.29 c #Conflicts: 336000 | #Constraints: 42117
1614.29/1619.29 c #Conflicts: 337000 | #Constraints: 43117
1614.29/1619.29 c #Conflicts: 338000 | #Constraints: 44117
1614.29/1619.29 c #Conflicts: 339000 | #Constraints: 45117
1614.29/1619.29 c #Conflicts: 340000 | #Constraints: 46117
1614.29/1619.29 c #Conflicts: 341000 | #Constraints: 47117
1614.29/1619.29 c #Conflicts: 342000 | #Constraints: 48117
1614.29/1619.29 c #Conflicts: 343000 | #Constraints: 49117
1614.29/1619.29 c #Conflicts: 344000 | #Constraints: 50117
1614.29/1619.29 c #Conflicts: 345000 | #Constraints: 51117
1614.29/1619.29 c INPROCESSING
1614.29/1619.29 c GARBAGE COLLECT
1614.29/1619.29 c #Conflicts: 346000 | #Constraints: 40518
1614.29/1619.29 c #Conflicts: 347000 | #Constraints: 41518
1614.29/1619.29 c #Conflicts: 348000 | #Constraints: 42518
1614.29/1619.29 c #Conflicts: 349000 | #Constraints: 43518
1614.29/1619.29 c #Conflicts: 350000 | #Constraints: 44518
1614.29/1619.29 c #Conflicts: 351000 | #Constraints: 45518
1614.29/1619.29 c #Conflicts: 352000 | #Constraints: 46518
1614.29/1619.29 c #Conflicts: 353000 | #Constraints: 47518
1614.29/1619.29 c #Conflicts: 354000 | #Constraints: 48518
1614.29/1619.29 c #Conflicts: 355000 | #Constraints: 49518
1614.29/1619.29 c #Conflicts: 356000 | #Constraints: 50518
1614.29/1619.29 c #Conflicts: 357000 | #Constraints: 51518
1614.29/1619.29 c INPROCESSING
1614.29/1619.29 c GARBAGE COLLECT
1614.29/1619.29 c #Conflicts: 358000 | #Constraints: 40716
1614.29/1619.29 c #Conflicts: 359000 | #Constraints: 41716
1614.29/1619.29 c #Conflicts: 360000 | #Constraints: 42716
1614.29/1619.29 c #Conflicts: 361000 | #Constraints: 43716
1614.29/1619.29 c #Conflicts: 362000 | #Constraints: 44716
1955.25/1961.29 c #Conflicts: 363000 | #Constraints: 45716
1955.25/1961.29 c #Conflicts: 364000 | #Constraints: 46716
1955.25/1961.29 c #Conflicts: 365000 | #Constraints: 47716
1955.25/1961.29 c #Conflicts: 366000 | #Constraints: 48716
1955.25/1961.29 c #Conflicts: 367000 | #Constraints: 49716
1955.25/1961.29 c #Conflicts: 368000 | #Constraints: 50716
1955.25/1961.29 c #Conflicts: 369000 | #Constraints: 51716
1955.25/1961.29 c INPROCESSING
1955.25/1961.29 c GARBAGE COLLECT
1955.25/1961.29 c #Conflicts: 370000 | #Constraints: 40717
1955.25/1961.29 c #Conflicts: 371000 | #Constraints: 41717
1955.25/1961.29 c #Conflicts: 372000 | #Constraints: 42717
1955.25/1961.29 c #Conflicts: 373000 | #Constraints: 43717
1955.25/1961.29 c #Conflicts: 374000 | #Constraints: 44717
1955.25/1961.29 c #Conflicts: 375000 | #Constraints: 45717
1955.25/1961.29 c #Conflicts: 376000 | #Constraints: 46717
1955.25/1961.29 c #Conflicts: 377000 | #Constraints: 47717
1955.25/1961.29 c #Conflicts: 378000 | #Constraints: 48717
1955.25/1961.29 c #Conflicts: 379000 | #Constraints: 49717
1955.25/1961.29 c #Conflicts: 380000 | #Constraints: 50717
1955.25/1961.29 c #Conflicts: 381000 | #Constraints: 51717
1955.25/1961.29 c INPROCESSING
1955.25/1961.29 c GARBAGE COLLECT
1955.25/1961.29 c #Conflicts: 382000 | #Constraints: 40515
1955.25/1961.29 c #Conflicts: 383000 | #Constraints: 41515
1955.25/1961.29 c #Conflicts: 384000 | #Constraints: 42515
1955.25/1961.29 c #Conflicts: 385000 | #Constraints: 43515
1955.25/1961.29 c #Conflicts: 386000 | #Constraints: 44515
1955.25/1961.29 c #Conflicts: 387000 | #Constraints: 45515
1955.25/1961.29 c #Conflicts: 388000 | #Constraints: 46515
1955.25/1961.29 c #Conflicts: 389000 | #Constraints: 47515
1955.25/1961.29 c #Conflicts: 390000 | #Constraints: 48515
1955.25/1961.29 c #Conflicts: 391000 | #Constraints: 49515
1955.25/1961.29 c #Conflicts: 392000 | #Constraints: 50515
1955.25/1961.29 c #Conflicts: 393000 | #Constraints: 51515
1955.25/1961.29 c #Conflicts: 394000 | #Constraints: 52515
1955.25/1961.29 c INPROCESSING
1955.25/1961.29 c GARBAGE COLLECT
1955.25/1961.29 c #Conflicts: 395000 | #Constraints: 41112
1955.25/1961.29 c #Conflicts: 396000 | #Constraints: 42112
1955.25/1961.29 c #Conflicts: 397000 | #Constraints: 43112
1955.25/1961.29 c #Conflicts: 398000 | #Constraints: 44112
1955.25/1961.29 c #Conflicts: 399000 | #Constraints: 45112
1955.25/1961.29 c #Conflicts: 400000 | #Constraints: 46112
1955.25/1961.29 c #Conflicts: 401000 | #Constraints: 47112
1955.25/1961.29 c #Conflicts: 402000 | #Constraints: 48112
1955.25/1961.29 c #Conflicts: 403000 | #Constraints: 49112
1955.25/1961.29 c #Conflicts: 404000 | #Constraints: 50112
1955.25/1961.29 c #Conflicts: 405000 | #Constraints: 51112
1955.25/1961.29 c #Conflicts: 406000 | #Constraints: 52112
1955.25/1961.29 c #Conflicts: 407000 | #Constraints: 53112
1955.25/1961.29 c INPROCESSING
1955.25/1961.29 c GARBAGE COLLECT
1955.25/1961.29 c #Conflicts: 408000 | #Constraints: 41513
1955.25/1961.29 c #Conflicts: 409000 | #Constraints: 42513
1955.25/1961.29 c GLOBAL bounds - >= -595 @ 1952.72
1983.75/1989.85 c #Conflicts: 410000 | #Constraints: 43515
1983.75/1989.85 c #Conflicts: 411000 | #Constraints: 44515
1983.75/1989.85 c #Conflicts: 412000 | #Constraints: 45515
1983.75/1989.85 c #Conflicts: 413000 | #Constraints: 46515
1983.75/1989.85 c GLOBAL bounds - >= -595 @ 1981.15
2624.31/2632.38 c #Conflicts: 414000 | #Constraints: 47517
2624.31/2632.38 c #Conflicts: 415000 | #Constraints: 48517
2624.31/2632.38 c #Conflicts: 416000 | #Constraints: 49517
2624.31/2632.38 c #Conflicts: 417000 | #Constraints: 50517
2624.31/2632.38 c #Conflicts: 418000 | #Constraints: 51517
2624.31/2632.38 c #Conflicts: 419000 | #Constraints: 52517
2624.31/2632.38 c #Conflicts: 420000 | #Constraints: 53517
2624.31/2632.38 c INPROCESSING
2624.31/2632.38 c GARBAGE COLLECT
2624.31/2632.38 c #Conflicts: 421000 | #Constraints: 41718
2624.31/2632.38 c #Conflicts: 422000 | #Constraints: 42718
2624.31/2632.38 c #Conflicts: 423000 | #Constraints: 43718
2624.31/2632.38 c #Conflicts: 424000 | #Constraints: 44718
2624.31/2632.38 c #Conflicts: 425000 | #Constraints: 45718
2624.31/2632.38 c #Conflicts: 426000 | #Constraints: 46718
2624.31/2632.38 c #Conflicts: 427000 | #Constraints: 47718
2624.31/2632.38 c #Conflicts: 428000 | #Constraints: 48718
2624.31/2632.38 c #Conflicts: 429000 | #Constraints: 49718
2624.31/2632.38 c #Conflicts: 430000 | #Constraints: 50718
2624.31/2632.38 c #Conflicts: 431000 | #Constraints: 51718
2624.31/2632.38 c #Conflicts: 432000 | #Constraints: 52718
2624.31/2632.38 c #Conflicts: 433000 | #Constraints: 53718
2624.31/2632.38 c INPROCESSING
2624.31/2632.38 c GARBAGE COLLECT
2624.31/2632.38 c #Conflicts: 434000 | #Constraints: 41718
2624.31/2632.38 c #Conflicts: 435000 | #Constraints: 42718
2624.31/2632.38 c #Conflicts: 436000 | #Constraints: 43718
2624.31/2632.38 c #Conflicts: 437000 | #Constraints: 44718
2624.31/2632.38 c #Conflicts: 438000 | #Constraints: 45718
2624.31/2632.38 c #Conflicts: 439000 | #Constraints: 46718
2624.31/2632.38 c #Conflicts: 440000 | #Constraints: 47718
2624.31/2632.38 c #Conflicts: 441000 | #Constraints: 48718
2624.31/2632.38 c #Conflicts: 442000 | #Constraints: 49718
2624.31/2632.38 c #Conflicts: 443000 | #Constraints: 50718
2624.31/2632.38 c #Conflicts: 444000 | #Constraints: 51718
2624.31/2632.38 c #Conflicts: 445000 | #Constraints: 52718
2624.31/2632.38 c #Conflicts: 446000 | #Constraints: 53718
2624.31/2632.38 c INPROCESSING
2624.31/2632.38 c GARBAGE COLLECT
2624.31/2632.38 c #Conflicts: 447000 | #Constraints: 41521
2624.31/2632.38 c #Conflicts: 448000 | #Constraints: 42521
2624.31/2632.38 c #Conflicts: 449000 | #Constraints: 43521
2624.31/2632.38 c #Conflicts: 450000 | #Constraints: 44521
2624.31/2632.38 c #Conflicts: 451000 | #Constraints: 45521
2624.31/2632.38 c #Conflicts: 452000 | #Constraints: 46521
2624.31/2632.38 c #Conflicts: 453000 | #Constraints: 47521
2624.31/2632.38 c #Conflicts: 454000 | #Constraints: 48521
2624.31/2632.38 c #Conflicts: 455000 | #Constraints: 49521
2624.31/2632.38 c #Conflicts: 456000 | #Constraints: 50521
2624.31/2632.38 c #Conflicts: 457000 | #Constraints: 51521
2624.31/2632.38 c #Conflicts: 458000 | #Constraints: 52521
2624.31/2632.38 c #Conflicts: 459000 | #Constraints: 53521
2624.31/2632.38 c #Conflicts: 460000 | #Constraints: 54521
2624.31/2632.38 c INPROCESSING
2624.31/2632.38 c GARBAGE COLLECT
2624.31/2632.38 c #Conflicts: 461000 | #Constraints: 42120
2624.31/2632.38 c #Conflicts: 462000 | #Constraints: 43120
2624.31/2632.38 c #Conflicts: 463000 | #Constraints: 44120
2624.31/2632.38 c #Conflicts: 464000 | #Constraints: 45120
2624.31/2632.38 c #Conflicts: 465000 | #Constraints: 46120
2624.31/2632.38 c #Conflicts: 466000 | #Constraints: 47120
2624.31/2632.38 c #Conflicts: 467000 | #Constraints: 48120
2624.31/2632.38 c #Conflicts: 468000 | #Constraints: 49120
2624.31/2632.38 c #Conflicts: 469000 | #Constraints: 50120
2624.31/2632.38 c #Conflicts: 470000 | #Constraints: 51120
2624.31/2632.38 c #Conflicts: 471000 | #Constraints: 52120
2624.31/2632.38 c #Conflicts: 472000 | #Constraints: 53120
2624.31/2632.38 c #Conflicts: 473000 | #Constraints: 54120
2624.31/2632.38 c #Conflicts: 474000 | #Constraints: 55120
2624.31/2632.38 c INPROCESSING
2624.31/2632.38 c GARBAGE COLLECT
2624.31/2632.38 c #Conflicts: 475000 | #Constraints: 42519
2624.31/2632.38 c #Conflicts: 476000 | #Constraints: 43519
2624.31/2632.38 c #Conflicts: 477000 | #Constraints: 44519
2624.31/2632.38 c #Conflicts: 478000 | #Constraints: 45519
2624.31/2632.38 c #Conflicts: 479000 | #Constraints: 46519
2624.31/2632.38 c #Conflicts: 480000 | #Constraints: 47519
2624.31/2632.38 c #Conflicts: 481000 | #Constraints: 48519
2624.31/2632.38 c #Conflicts: 482000 | #Constraints: 49519
2624.31/2632.38 c #Conflicts: 483000 | #Constraints: 50519
2624.31/2632.38 c #Conflicts: 484000 | #Constraints: 51519
2624.31/2632.38 c #Conflicts: 485000 | #Constraints: 52519
2624.31/2632.38 c #Conflicts: 486000 | #Constraints: 53519
2624.31/2632.38 c #Conflicts: 487000 | #Constraints: 54519
2624.31/2632.38 c #Conflicts: 488000 | #Constraints: 55519
2624.31/2632.38 c INPROCESSING
2624.31/2632.38 c GARBAGE COLLECT
3287.77/3297.67 c #Conflicts: 489000 | #Constraints: 42720
3287.77/3297.67 c #Conflicts: 490000 | #Constraints: 43720
3287.77/3297.67 c #Conflicts: 491000 | #Constraints: 44720
3287.77/3297.67 c #Conflicts: 492000 | #Constraints: 45720
3287.77/3297.67 c #Conflicts: 493000 | #Constraints: 46720
3287.77/3297.67 c #Conflicts: 494000 | #Constraints: 47720
3287.77/3297.67 c #Conflicts: 495000 | #Constraints: 48720
3287.77/3297.67 c #Conflicts: 496000 | #Constraints: 49720
3287.77/3297.67 c #Conflicts: 497000 | #Constraints: 50720
3287.77/3297.67 c #Conflicts: 498000 | #Constraints: 51720
3287.77/3297.67 c #Conflicts: 499000 | #Constraints: 52720
3287.77/3297.67 c #Conflicts: 500000 | #Constraints: 53720
3287.77/3297.67 c #Conflicts: 501000 | #Constraints: 54720
3287.77/3297.67 c #Conflicts: 502000 | #Constraints: 55720
3287.77/3297.67 c INPROCESSING
3287.77/3297.67 c GARBAGE COLLECT
3287.77/3297.67 c #Conflicts: 503000 | #Constraints: 42721
3287.77/3297.67 c #Conflicts: 504000 | #Constraints: 43721
3287.77/3297.67 c #Conflicts: 505000 | #Constraints: 44721
3287.77/3297.67 c #Conflicts: 506000 | #Constraints: 45721
3287.77/3297.67 c #Conflicts: 507000 | #Constraints: 46721
3287.77/3297.67 c #Conflicts: 508000 | #Constraints: 47721
3287.77/3297.67 c #Conflicts: 509000 | #Constraints: 48721
3287.77/3297.67 c #Conflicts: 510000 | #Constraints: 49721
3287.77/3297.67 c #Conflicts: 511000 | #Constraints: 50721
3287.77/3297.67 c #Conflicts: 512000 | #Constraints: 51721
3287.77/3297.67 c #Conflicts: 513000 | #Constraints: 52721
3287.77/3297.67 c #Conflicts: 514000 | #Constraints: 53721
3287.77/3297.67 c #Conflicts: 515000 | #Constraints: 54721
3287.77/3297.67 c #Conflicts: 516000 | #Constraints: 55721
3287.77/3297.67 c INPROCESSING
3287.77/3297.67 c GARBAGE COLLECT
3287.77/3297.67 c #Conflicts: 517000 | #Constraints: 42521
3287.77/3297.67 c #Conflicts: 518000 | #Constraints: 43521
3287.77/3297.67 c #Conflicts: 519000 | #Constraints: 44521
3287.77/3297.67 c #Conflicts: 520000 | #Constraints: 45521
3287.77/3297.67 c #Conflicts: 521000 | #Constraints: 46521
3287.77/3297.67 c #Conflicts: 522000 | #Constraints: 47521
3287.77/3297.67 c #Conflicts: 523000 | #Constraints: 48521
3287.77/3297.67 c #Conflicts: 524000 | #Constraints: 49521
3287.77/3297.67 c #Conflicts: 525000 | #Constraints: 50521
3287.77/3297.67 c #Conflicts: 526000 | #Constraints: 51521
3287.77/3297.67 c #Conflicts: 527000 | #Constraints: 52521
3287.77/3297.67 c #Conflicts: 528000 | #Constraints: 53521
3287.77/3297.67 c #Conflicts: 529000 | #Constraints: 54521
3287.77/3297.67 c #Conflicts: 530000 | #Constraints: 55521
3287.77/3297.67 c #Conflicts: 531000 | #Constraints: 56521
3287.77/3297.67 c INPROCESSING
3287.77/3297.67 c GARBAGE COLLECT
3287.77/3297.67 c #Conflicts: 532000 | #Constraints: 43119
3287.77/3297.67 c #Conflicts: 533000 | #Constraints: 44119
3287.77/3297.67 c #Conflicts: 534000 | #Constraints: 45119
3287.77/3297.67 c #Conflicts: 535000 | #Constraints: 46119
3287.77/3297.67 c #Conflicts: 536000 | #Constraints: 47119
3287.77/3297.67 c #Conflicts: 537000 | #Constraints: 48119
3287.77/3297.67 c #Conflicts: 538000 | #Constraints: 49119
3287.77/3297.67 c #Conflicts: 539000 | #Constraints: 50119
3287.77/3297.67 c #Conflicts: 540000 | #Constraints: 51119
3287.77/3297.67 c #Conflicts: 541000 | #Constraints: 52119
3287.77/3297.67 c #Conflicts: 542000 | #Constraints: 53119
3287.77/3297.67 c #Conflicts: 543000 | #Constraints: 54119
3287.77/3297.67 c #Conflicts: 544000 | #Constraints: 55119
3287.77/3297.67 c #Conflicts: 545000 | #Constraints: 56119
3287.77/3297.67 c #Conflicts: 546000 | #Constraints: 57119
3287.77/3297.67 c INPROCESSING
3287.77/3297.67 c GARBAGE COLLECT
3287.77/3297.67 c #Conflicts: 547000 | #Constraints: 43518
3287.77/3297.67 c #Conflicts: 548000 | #Constraints: 44518
3287.77/3297.67 c #Conflicts: 549000 | #Constraints: 45518
3287.77/3297.67 c #Conflicts: 550000 | #Constraints: 46518
3287.77/3297.67 c #Conflicts: 551000 | #Constraints: 47518
3287.77/3297.67 c #Conflicts: 552000 | #Constraints: 48518
3287.77/3297.67 c #Conflicts: 553000 | #Constraints: 49518
3287.77/3297.67 c #Conflicts: 554000 | #Constraints: 50518
3287.77/3297.67 c #Conflicts: 555000 | #Constraints: 51518
3287.77/3297.67 c #Conflicts: 556000 | #Constraints: 52518
3287.77/3297.67 c #Conflicts: 557000 | #Constraints: 53518
3287.77/3297.67 c #Conflicts: 558000 | #Constraints: 54518
3287.77/3297.67 c #Conflicts: 559000 | #Constraints: 55518
3287.77/3297.67 c #Conflicts: 560000 | #Constraints: 56518
3287.77/3297.67 c #Conflicts: 561000 | #Constraints: 57518
3287.77/3297.67 c INPROCESSING
3287.77/3297.67 c GARBAGE COLLECT
3287.77/3297.67 c #Conflicts: 562000 | #Constraints: 43717
3287.77/3297.67 c #Conflicts: 563000 | #Constraints: 44717
3287.77/3297.67 c #Conflicts: 564000 | #Constraints: 45717
3600.00/3610.80 c #Conflicts: 565000 | #Constraints: 46717
3600.00/3610.80 c #Conflicts: 566000 | #Constraints: 47717
3600.00/3610.80 c #Conflicts: 567000 | #Constraints: 48717
3600.00/3610.80 c #Conflicts: 568000 | #Constraints: 49717
3600.00/3610.80 c #Conflicts: 569000 | #Constraints: 50717
3600.00/3610.80 c #Conflicts: 570000 | #Constraints: 51717
3600.00/3610.80 c #Conflicts: 571000 | #Constraints: 52717
3600.00/3610.80 c #Conflicts: 572000 | #Constraints: 53717
3600.00/3610.80 c #Conflicts: 573000 | #Constraints: 54717
3600.00/3610.80 c #Conflicts: 574000 | #Constraints: 55717
3600.00/3610.80 c #Conflicts: 575000 | #Constraints: 56717
3600.00/3610.80 c #Conflicts: 576000 | #Constraints: 57717
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 577000 | #Constraints: 43720
3600.00/3610.80 c #Conflicts: 578000 | #Constraints: 44720
3600.00/3610.80 c #Conflicts: 579000 | #Constraints: 45720
3600.00/3610.80 c #Conflicts: 580000 | #Constraints: 46720
3600.00/3610.80 c #Conflicts: 581000 | #Constraints: 47720
3600.00/3610.80 c #Conflicts: 582000 | #Constraints: 48720
3600.00/3610.80 c #Conflicts: 583000 | #Constraints: 49720
3600.00/3610.80 c #Conflicts: 584000 | #Constraints: 50720
3600.00/3610.80 c #Conflicts: 585000 | #Constraints: 51720
3600.00/3610.80 c #Conflicts: 586000 | #Constraints: 52720
3600.00/3610.80 c #Conflicts: 587000 | #Constraints: 53720
3600.00/3610.80 c #Conflicts: 588000 | #Constraints: 54720
3600.00/3610.80 c #Conflicts: 589000 | #Constraints: 55720
3600.00/3610.80 c #Conflicts: 590000 | #Constraints: 56720
3600.00/3610.80 c #Conflicts: 591000 | #Constraints: 57720
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 592000 | #Constraints: 43521
3600.00/3610.80 c #Conflicts: 593000 | #Constraints: 44521
3600.00/3610.80 c #Conflicts: 594000 | #Constraints: 45521
3600.00/3610.80 c #Conflicts: 595000 | #Constraints: 46521
3600.00/3610.80 c #Conflicts: 596000 | #Constraints: 47521
3600.00/3610.80 c #Conflicts: 597000 | #Constraints: 48521
3600.00/3610.80 c #Conflicts: 598000 | #Constraints: 49521
3600.00/3610.80 c #Conflicts: 599000 | #Constraints: 50521
3600.00/3610.80 c #Conflicts: 600000 | #Constraints: 51521
3600.00/3610.80 c #Conflicts: 601000 | #Constraints: 52521
3600.00/3610.80 c #Conflicts: 602000 | #Constraints: 53521
3600.00/3610.80 c cpu time 3596.25 s
3600.00/3610.80 c deterministic time 1 1.00e+00
3600.00/3610.80 c optimization time 3595.97 s
3600.00/3610.80 c total solve time 0 s
3600.00/3610.80 c core-guided solve time 0 s
3600.00/3610.80 c propagation time 0.026291 s
3600.00/3610.80 c conflict analysis time 0 s
3600.00/3610.80 c propagations 0
3600.00/3610.80 c resolve steps 0
3600.00/3610.80 c decisions 0
3600.00/3610.80 c conflicts 0
3600.00/3610.80 c restarts 0
3600.00/3610.80 c inprocessing phases 0
3600.00/3610.80 c garbage collections 0 ,( -nan )
3600.00/3610.80 c input clauses 27847 ,( 100.00 )
3600.00/3610.80 c input cardinalities 0 ,( 0.00 )
3600.00/3610.80 c input general constraints 0 ,( 0.00 )
3600.00/3610.80 c input average constraint length 2.00
3600.00/3610.80 c input average constraint degree 1.00
3600.00/3610.80 c learned clauses 0 ,( 0.00 )
3600.00/3610.80 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.80 c learned general constraints 0 ,( 0.00 )
3600.00/3610.80 c learned average constraint length 0.00
3600.00/3610.80 c learned average constraint degree 0.00
3600.00/3610.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3610.80 c watched constraints 0 ,( -nan )
3600.00/3610.80 c counting constraints 0 ,( -nan )
3600.00/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.80 c gcd simplifications 0
3600.00/3610.80 c detected cardinalities 0
3600.00/3610.80 c weakened non-implied lits 0
3600.00/3610.80 c weakened non-implying lits 0
3600.00/3610.80 c original variables 595
3600.00/3610.80 c clausal propagations 0
3600.00/3610.80 c cardinality propagations 0
3600.00/3610.80 c watched propagations 0
3600.00/3610.80 c counting propagations 0
3600.00/3610.80 c watch lookups 0
3600.00/3610.80 c watch backjump lookups 0
3600.00/3610.80 c watch checks 0
3600.00/3610.80 c propagation checks 0
3600.00/3610.80 c constraint additions 0
3600.00/3610.80 c trail pops 0
3600.00/3610.80 c formula constraints 27847
3600.00/3610.80 c learned constraints 0
3600.00/3610.80 c bound constraints 0
3600.00/3610.80 c core-guided constraints 0
3600.00/3610.80 c encountered formula constraints 0
3600.00/3610.80 c encountered learned constraints 0
3600.00/3610.80 c encountered bound constraints 0
3600.00/3610.80 c encountered core-guided constraints 0
3600.00/3610.80 c LP total time 0 s
3600.00/3610.80 c LP solve time 0 s
3600.00/3610.80 c LP constraints added 0
3600.00/3610.80 c LP constraints removed 0
3600.00/3610.80 c LP pivots internal 0
3600.00/3610.80 c LP pivots root 0
3600.00/3610.80 c LP calls 0
3600.00/3610.80 c LP optimalities 0
3600.00/3610.80 c LP no pivot count 0
3600.00/3610.80 c LP infeasibilities 0
3600.00/3610.80 c LP valid Farkas constraints 0
3600.00/3610.80 c LP learned Farkas constraints 0
3600.00/3610.80 c LP basis resets 0
3600.00/3610.80 c LP cycling count 0
3600.00/3610.80 c LP singular count 0
3600.00/3610.80 c LP no primal count 0
3600.00/3610.80 c LP no farkas count 0
3600.00/3610.80 c LP other issue count 0
3600.00/3610.80 c LP Gomory cuts 0
3600.00/3610.80 c LP learned cuts 0
3600.00/3610.80 c LP deleted cuts 0
3600.00/3610.80 c LP encountered Gomory constraints 0
3600.00/3610.80 c LP encountered Farkas constraints 0
3600.00/3610.80 c LP encountered learned Farkas constraints 0
3600.00/3610.80 c CG auxiliary variables introduced 0
3600.00/3610.80 c CG solutions found 0
3600.00/3610.80 c CG cores constructed 0
3600.00/3610.80 c CG core cardinality constraints returned 0
3600.00/3610.80 c CG unit cores 0
3600.00/3610.80 c CG single cores 0
3600.00/3610.80 c CG blocks removed during cardinality reduction 0
3600.00/3610.80 c CG first core best 0
3600.00/3610.80 c CG decision core best 0
3600.00/3610.80 c CG core reduction tie 0
3600.00/3610.80 c CG core degree average 0.00
3600.00/3610.80 c CG core slack average 0.00
3600.00/3610.80 c CG core upper bound improvements 0
3600.00/3610.80 c STR number of successful calls 0
3600.00/3610.80 c STR number of unsuccessful calls 0
3600.00/3610.80 c STR number of inconclusive calls 0
3600.00/3610.80 c STR number of successful attempts 0
3600.00/3610.80 c STR number of unsuccessful attempts 0
3600.00/3610.80 c STR number of inconclusive attempts 0
3600.00/3610.80 c STR average degree increase per successful call inf
3600.00/3610.80 c STR average degree increase per successful attempt inf
3600.00/3610.80 c STR total number of conflicts for successful attempts 0
3600.00/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.80 c STR average number of conflicts per successful attempt inf
3600.00/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.80 c AVG.sumWPerc -nan
3600.00/3610.80 c bigint constraints 0
3600.00/3610.80 s UNKNOWN
3600.00/3610.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62896 MiB free)
memory of node 1: 64465 MiB (63194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485091-1751299592/watcher-4485091-1751299592 -o /tmp/evaluation-result-4485091-1751299592/solver-4485091-1751299592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39156 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485091-1751299592.opb PROOFDIR/proof-4485091-1751299592
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40119, runsolver pid=40116
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.35 4.26 4.18 5/258 40121
/proc/meminfo: memFree=129116520/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=56284 memory=11476 CPUtime=0.07 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 644 0 0 0 5 2 0 0 20 0 1 0 45638574 57634816 2869 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 14071 2869 1952 1147 0 1498 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60476 KiB
Current children cumulated memory: 14292 KiB
[startup+0.214756 s]*
/proc/loadavg: 4.35 4.26 4.18 5/258 40121
/proc/meminfo: memFree=129116520/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=57720 memory=12884 CPUtime=0.18 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 1062 0 0 0 13 5 0 0 20 0 1 0 45638574 59105280 3221 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 14430 3221 1952 1147 0 1857 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61912 KiB
Current children cumulated memory: 15700 KiB
[startup+0.313597 s]*
/proc/loadavg: 4.35 4.26 4.18 5/258 40121
/proc/meminfo: memFree=129104296/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=67984 memory=22492 CPUtime=0.27 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 2681 0 0 0 21 6 0 0 20 0 1 0 45638574 69615616 5623 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 16996 5623 2240 1147 0 4423 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72176 KiB
Current children cumulated memory: 25308 KiB
[startup+0.70039 s]
/proc/loadavg: 4.35 4.26 4.18 5/258 40121
/proc/meminfo: memFree=129079472/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=99688 memory=53992 CPUtime=0.64 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 8588 0 0 0 50 14 0 0 20 0 1 0 45638574 102080512 13498 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 24922 13498 2336 1147 0 12349 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 103880 KiB
Current children cumulated memory: 56808 KiB
[startup+1.50044 s]
/proc/loadavg: 4.32 4.26 4.18 5/258 40121
/proc/meminfo: memFree=129071408/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=99688 memory=54760 CPUtime=1.45 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 8809 0 0 0 129 16 0 0 20 0 1 0 45638574 102080512 13690 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 24922 13690 2336 1147 0 12349 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 103880 KiB
Current children cumulated memory: 57576 KiB
[startup+3.11334 s]
/proc/loadavg: 4.32 4.26 4.18 5/258 40121
/proc/meminfo: memFree=129071540/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=99688 memory=54888 CPUtime=3.05 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 8820 0 0 0 288 17 0 0 20 0 1 0 45638574 102080512 13722 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 24922 13722 2336 1147 0 12349 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 103880 KiB
Current children cumulated memory: 57704 KiB
[startup+6.30042 s]
/proc/loadavg: 4.29 4.25 4.18 5/258 40121
/proc/meminfo: memFree=129055232/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=118508 memory=70580 CPUtime=6.22 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 9167 0 0 0 604 18 0 0 20 0 1 0 45638574 121352192 17645 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 29627 17645 2336 1147 0 17054 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 122700 KiB
Current children cumulated memory: 73396 KiB
[startup+12.7004 s]
/proc/loadavg: 4.27 4.25 4.18 5/258 40121
/proc/meminfo: memFree=129047108/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=118508 memory=72924 CPUtime=12.61 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 9262 0 0 0 1240 21 0 0 20 0 1 0 45638574 121352192 18231 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 29627 18231 2336 1147 0 17054 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 122700 KiB
Current children cumulated memory: 75740 KiB
[startup+25.5005 s]
/proc/loadavg: 4.39 4.27 4.19 5/257 40122
/proc/meminfo: memFree=128998940/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=130184 memory=76396 CPUtime=25.37 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 9607 0 0 0 2512 25 0 0 20 0 1 0 45638574 133308416 19099 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 32546 19099 2336 1147 0 19973 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 134376 KiB
Current children cumulated memory: 79212 KiB
[startup+51.1133 s]
/proc/loadavg: 4.23 4.25 4.18 5/256 40122
/proc/meminfo: memFree=128974888/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=138584 memory=89236 CPUtime=50.9 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 11297 0 0 0 5057 33 0 0 20 0 1 0 45638574 141910016 22309 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 34646 22309 2336 1147 0 22073 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 142776 KiB
Current children cumulated memory: 92052 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.22 4.18 5/256 40124
/proc/meminfo: memFree=128916600/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=170916 memory=105228 CPUtime=101.94 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 14273 0 0 0 10145 49 0 0 20 0 1 0 45638574 175017984 26307 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 42729 26307 2336 1147 0 30156 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 175108 KiB
Current children cumulated memory: 108044 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/256 40126
/proc/meminfo: memFree=128857836/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=176956 memory=114616 CPUtime=161.75 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 15600 0 0 0 16113 62 0 0 20 0 1 0 45638574 181202944 28654 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 44239 28654 2336 1147 0 31666 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 181148 KiB
Current children cumulated memory: 117432 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/255 40128
/proc/meminfo: memFree=128799640/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=179908 memory=122100 CPUtime=221.56 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 16451 0 0 0 22083 73 0 0 20 0 1 0 45638574 184225792 30525 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
################
# More data... #
################
/proc/40121/statm: 90358 69306 2336 1147 0 77785 0
Current children cumulated CPU time: 3033.19 s
Current children cumulated vsize: 365624 KiB
Current children cumulated memory: 280040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/253 40272
/proc/meminfo: memFree=127911144/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=362372 memory=278120 CPUtime=3093.01 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 36993 0 0 0 308959 342 0 0 20 0 1 0 45638574 371068928 69530 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 90593 69530 2336 1147 0 78020 0
Current children cumulated CPU time: 3093.01 s
Current children cumulated vsize: 366564 KiB
Current children cumulated memory: 280936 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/253 40274
/proc/meminfo: memFree=127868264/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=366116 memory=290144 CPUtime=3152.85 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 37616 0 0 0 314939 346 0 0 20 0 1 0 45638574 374902784 72536 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 91529 72536 2336 1147 0 78956 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 370308 KiB
Current children cumulated memory: 292960 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/254 40277
/proc/meminfo: memFree=127853956/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=366116 memory=290144 CPUtime=3212.67 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 37735 0 0 0 320919 348 0 0 20 0 1 0 45638574 374902784 72536 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 91529 72536 2336 1147 0 78956 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 370308 KiB
Current children cumulated memory: 292960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/254 40290
/proc/meminfo: memFree=127852312/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=368168 memory=293748 CPUtime=3272.51 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 38131 0 0 0 326899 352 0 0 20 0 1 0 45638574 377004032 73437 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 92042 73437 2336 1147 0 79469 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 372360 KiB
Current children cumulated memory: 296564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/255 40299
/proc/meminfo: memFree=127848740/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=368168 memory=293748 CPUtime=3332.34 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 38131 0 0 0 332879 355 0 0 20 0 1 0 45638574 377004032 73437 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 92042 73437 2336 1147 0 79469 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 372360 KiB
Current children cumulated memory: 296564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 40301
/proc/meminfo: memFree=127816160/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=368168 memory=293748 CPUtime=3392.18 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 38139 0 0 0 338859 359 0 0 20 0 1 0 45638574 377004032 73437 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 92042 73437 2336 1147 0 79469 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 372360 KiB
Current children cumulated memory: 296564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 40303
/proc/meminfo: memFree=127805704/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=369196 memory=294772 CPUtime=3452 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 38391 0 0 0 344837 363 0 0 20 0 1 0 45638574 378056704 73693 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 92299 73693 2336 1147 0 79726 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 297588 KiB
[startup+3522.3 s]
/proc/loadavg: 2.79 3.78 3.97 2/235 40398
/proc/meminfo: memFree=129167660/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=369196 memory=294772 CPUtime=3511.81 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 38391 0 0 0 350813 368 0 0 20 0 1 0 45638574 378056704 73693 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 92299 73693 2336 1147 0 79726 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 297588 KiB
[startup+3582.3 s]
/proc/loadavg: 1.80 3.31 3.80 2/236 40402
/proc/meminfo: memFree=129174064/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=369892 memory=295412 CPUtime=3571.61 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 38558 0 0 0 356788 373 0 0 20 0 1 0 45638574 378769408 73853 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 92473 73853 2336 1147 0 79900 0
Current children cumulated CPU time: 3571.61 s
Current children cumulated vsize: 374084 KiB
Current children cumulated memory: 298228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 1.59 3.14 3.73 2/236 40402
/proc/meminfo: memFree=129166952/131382116 swapFree=33010684/33010684
[pid=40119] ppid=40116 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/40119/stat : 40119 (run-opt-log.sh) S 40116 40119 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 45638573 4292608 704 18446744073709551615 94113536937984 94113537832517 140731747750448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94113538071568 94113538119312 94113565396992 140731747756321 140731747756516 140731747756516 140731747762118 0
/proc/40119/statm: 1048 704 672 219 0 110 0
[pid=40121] ppid=40119 vsize=369892 memory=297076 CPUtime=3600 cores=5,7
/proc/40121/stat : 40121 (roundingsat) R 40119 40119 39143 0 -1 4194304 38559 0 0 0 359625 375 0 0 20 0 1 0 45638574 378769408 74269 18446744073709551615 4227072 8923433 140733034924832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140733034932562 140733034932776 140733034932776 140733034938346 0
/proc/40121/statm: 92473 74269 2336 1147 0 79900 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 374084 KiB
Current children cumulated memory: 299892 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.81 s]
# the end of solver process 40119 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000822 s, system=0.004353 s
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 40121 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.26 s, system=3.7624 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.81
CPU time (s): 3600.02
CPU user time (s): 3596.26
CPU system time (s): 3.7624
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 374084
Max. memory (cumulated for all children) (KiB): 299892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.26
system time used= 3.7624
maximum resident set size= 297460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 4874
# summary of solver processes directly reported to runsolver:
# pid: 40119,40121
# total CPU time (s): 3600.02
# total CPU user time (s): 3596.26
# total CPU system time (s): 3.7624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6005 second user time and 38.6708 second system time
The end
Begin job on nodeC010 at 2025-06-30 18:06:32
IDJOB=4485091
IDBENCH=146693
IDSOLVER=3351
FILE ID=nodeC010/4485091-1751299592
RUNJOBID= nodeC010-1751292234-39156
SLURM_JOB_ID= 9594261
Free space on /tmp= 432668 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485091-1751299592/watcher-4485091-1751299592 -o /tmp/evaluation-result-4485091-1751299592/solver-4485091-1751299592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39156 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485091-1751299592.opb PROOFDIR/proof-4485091-1751299592
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d08022a8f602c12904bf031cb8221b8f
RANDOM SEED=1220223800
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.781
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3649.869
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.899
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.678
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.064
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.284
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129116520 kB
MemAvailable: 129527348 kB
Buffers: 3280 kB
Cached: 1218648 kB
SwapCached: 0 kB
Active: 804744 kB
Inactive: 913808 kB
Active(anon): 514648 kB
Inactive(anon): 0 kB
Active(file): 290096 kB
Inactive(file): 913808 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8560 kB
Writeback: 4 kB
AnonPages: 499768 kB
Mapped: 117180 kB
Shmem: 17960 kB
KReclaimable: 93100 kB
Slab: 176532 kB
SReclaimable: 93100 kB
SUnreclaim: 83432 kB
KernelStack: 4160 kB
PageTables: 4168 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 912052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432684 MiB
End job on nodeC010 at 2025-06-30 19:06:43