0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.11 c #variables 595 #constraints 27847
0.08/0.11 c objective is ce32
0.08/0.16 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.16 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.16 c GLOBAL bounds - >= -595 @ 0.103028
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.103694
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.104285
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.104782
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.108852
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.111582
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.111985
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.112344
0.08/0.18 c GLOBAL bounds - >= -595 @ 0.114556
0.08/0.19 c GLOBAL bounds - >= -595 @ 0.12655
0.08/0.19 c GLOBAL bounds - >= -595 @ 0.126883
0.08/0.19 c GLOBAL bounds - >= -595 @ 0.128463
0.08/0.19 c GLOBAL bounds - >= -595 @ 0.129137
0.08/0.19 c GLOBAL bounds - >= -595 @ 0.12947
0.08/0.19 c GLOBAL bounds - >= -595 @ 0.129739
0.08/0.19 c GLOBAL bounds - >= -595 @ 0.129885
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.132019
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.132328
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.132561
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.133378
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.137761
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.138112
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.13835
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.138585
0.08/0.20 c GLOBAL bounds - >= -595 @ 0.139137
0.08/0.21 c GLOBAL bounds - >= -595 @ 0.142644
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.14337
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.143732
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.143732
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.144678
130.70/131.11 c #Conflicts: 1000 | #Constraints: 28903
130.70/131.11 c #Conflicts: 2000 | #Constraints: 29903
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 3000 | #Constraints: 29908
130.70/131.11 c #Conflicts: 4000 | #Constraints: 30908
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 5000 | #Constraints: 30311
130.70/131.11 c #Conflicts: 6000 | #Constraints: 31311
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 7000 | #Constraints: 30313
130.70/131.11 c #Conflicts: 8000 | #Constraints: 31313
130.70/131.11 c #Conflicts: 9000 | #Constraints: 32313
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 10000 | #Constraints: 31014
130.70/131.11 c #Conflicts: 11000 | #Constraints: 32014
130.70/131.11 c #Conflicts: 12000 | #Constraints: 33014
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 13000 | #Constraints: 31464
130.70/131.11 c #Conflicts: 14000 | #Constraints: 32464
130.70/131.11 c #Conflicts: 15000 | #Constraints: 33464
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 16000 | #Constraints: 31690
130.70/131.11 c #Conflicts: 17000 | #Constraints: 32690
130.70/131.11 c #Conflicts: 18000 | #Constraints: 33690
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 19000 | #Constraints: 31703
130.70/131.11 c #Conflicts: 20000 | #Constraints: 32703
130.70/131.11 c #Conflicts: 21000 | #Constraints: 33703
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 22000 | #Constraints: 31508
130.70/131.11 c #Conflicts: 23000 | #Constraints: 32508
130.70/131.11 c #Conflicts: 24000 | #Constraints: 33508
130.70/131.11 c #Conflicts: 25000 | #Constraints: 34508
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 26000 | #Constraints: 32112
130.70/131.11 c #Conflicts: 27000 | #Constraints: 33112
130.70/131.11 c #Conflicts: 28000 | #Constraints: 34112
130.70/131.11 c #Conflicts: 29000 | #Constraints: 35112
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 30000 | #Constraints: 32513
130.70/131.11 c #Conflicts: 31000 | #Constraints: 33513
130.70/131.11 c #Conflicts: 32000 | #Constraints: 34513
130.70/131.11 c #Conflicts: 33000 | #Constraints: 35513
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 34000 | #Constraints: 32715
130.70/131.11 c #Conflicts: 35000 | #Constraints: 33715
130.70/131.11 c #Conflicts: 36000 | #Constraints: 34715
130.70/131.11 c #Conflicts: 37000 | #Constraints: 35715
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 38000 | #Constraints: 32710
130.70/131.11 c #Conflicts: 39000 | #Constraints: 33710
130.70/131.11 c #Conflicts: 40000 | #Constraints: 34710
130.70/131.11 c #Conflicts: 41000 | #Constraints: 35710
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 42000 | #Constraints: 32513
130.70/131.11 c #Conflicts: 43000 | #Constraints: 33513
130.70/131.11 c #Conflicts: 44000 | #Constraints: 34513
130.70/131.11 c #Conflicts: 45000 | #Constraints: 35513
130.70/131.11 c #Conflicts: 46000 | #Constraints: 36513
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 47000 | #Constraints: 33113
130.70/131.11 c #Conflicts: 48000 | #Constraints: 34113
130.70/131.11 c #Conflicts: 49000 | #Constraints: 35113
130.70/131.11 c #Conflicts: 50000 | #Constraints: 36113
130.70/131.11 c #Conflicts: 51000 | #Constraints: 37113
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 52000 | #Constraints: 33512
130.70/131.11 c #Conflicts: 53000 | #Constraints: 34512
130.70/131.11 c #Conflicts: 54000 | #Constraints: 35512
130.70/131.11 c #Conflicts: 55000 | #Constraints: 36512
130.70/131.11 c #Conflicts: 56000 | #Constraints: 37512
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 57000 | #Constraints: 33714
130.70/131.11 c #Conflicts: 58000 | #Constraints: 34714
130.70/131.11 c #Conflicts: 59000 | #Constraints: 35714
130.70/131.11 c #Conflicts: 60000 | #Constraints: 36714
130.70/131.11 c #Conflicts: 61000 | #Constraints: 37714
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 62000 | #Constraints: 33716
130.70/131.11 c #Conflicts: 63000 | #Constraints: 34716
130.70/131.11 c #Conflicts: 64000 | #Constraints: 35716
130.70/131.11 c #Conflicts: 65000 | #Constraints: 36716
130.70/131.11 c #Conflicts: 66000 | #Constraints: 37716
130.70/131.11 c INPROCESSING
130.70/131.11 c GARBAGE COLLECT
130.70/131.11 c #Conflicts: 67000 | #Constraints: 33518
130.70/131.11 c #Conflicts: 68000 | #Constraints: 34518
380.07/381.24 c #Conflicts: 69000 | #Constraints: 35518
380.07/381.24 c #Conflicts: 70000 | #Constraints: 36518
380.07/381.24 c #Conflicts: 71000 | #Constraints: 37518
380.07/381.24 c #Conflicts: 72000 | #Constraints: 38518
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 73000 | #Constraints: 34117
380.07/381.24 c #Conflicts: 74000 | #Constraints: 35117
380.07/381.24 c #Conflicts: 75000 | #Constraints: 36117
380.07/381.24 c #Conflicts: 76000 | #Constraints: 37117
380.07/381.24 c #Conflicts: 77000 | #Constraints: 38117
380.07/381.24 c #Conflicts: 78000 | #Constraints: 39117
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 79000 | #Constraints: 34520
380.07/381.24 c #Conflicts: 80000 | #Constraints: 35520
380.07/381.24 c #Conflicts: 81000 | #Constraints: 36520
380.07/381.24 c #Conflicts: 82000 | #Constraints: 37520
380.07/381.24 c #Conflicts: 83000 | #Constraints: 38520
380.07/381.24 c #Conflicts: 84000 | #Constraints: 39520
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 85000 | #Constraints: 34716
380.07/381.24 c #Conflicts: 86000 | #Constraints: 35716
380.07/381.24 c #Conflicts: 87000 | #Constraints: 36716
380.07/381.24 c #Conflicts: 88000 | #Constraints: 37716
380.07/381.24 c #Conflicts: 89000 | #Constraints: 38716
380.07/381.24 c #Conflicts: 90000 | #Constraints: 39716
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 91000 | #Constraints: 34716
380.07/381.24 c #Conflicts: 92000 | #Constraints: 35716
380.07/381.24 c #Conflicts: 93000 | #Constraints: 36716
380.07/381.24 c #Conflicts: 94000 | #Constraints: 37716
380.07/381.24 c #Conflicts: 95000 | #Constraints: 38716
380.07/381.24 c #Conflicts: 96000 | #Constraints: 39716
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 97000 | #Constraints: 34514
380.07/381.24 c #Conflicts: 98000 | #Constraints: 35514
380.07/381.24 c #Conflicts: 99000 | #Constraints: 36514
380.07/381.24 c #Conflicts: 100000 | #Constraints: 37514
380.07/381.24 c #Conflicts: 101000 | #Constraints: 38514
380.07/381.24 c #Conflicts: 102000 | #Constraints: 39514
380.07/381.24 c #Conflicts: 103000 | #Constraints: 40514
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 104000 | #Constraints: 35117
380.07/381.24 c #Conflicts: 105000 | #Constraints: 36117
380.07/381.24 c #Conflicts: 106000 | #Constraints: 37117
380.07/381.24 c #Conflicts: 107000 | #Constraints: 38117
380.07/381.24 c #Conflicts: 108000 | #Constraints: 39117
380.07/381.24 c #Conflicts: 109000 | #Constraints: 40117
380.07/381.24 c #Conflicts: 110000 | #Constraints: 41117
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 111000 | #Constraints: 35516
380.07/381.24 c #Conflicts: 112000 | #Constraints: 36516
380.07/381.24 c #Conflicts: 113000 | #Constraints: 37516
380.07/381.24 c #Conflicts: 114000 | #Constraints: 38516
380.07/381.24 c #Conflicts: 115000 | #Constraints: 39516
380.07/381.24 c #Conflicts: 116000 | #Constraints: 40516
380.07/381.24 c #Conflicts: 117000 | #Constraints: 41516
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 118000 | #Constraints: 35720
380.07/381.24 c #Conflicts: 119000 | #Constraints: 36720
380.07/381.24 c #Conflicts: 120000 | #Constraints: 37720
380.07/381.24 c #Conflicts: 121000 | #Constraints: 38720
380.07/381.24 c #Conflicts: 122000 | #Constraints: 39720
380.07/381.24 c #Conflicts: 123000 | #Constraints: 40720
380.07/381.24 c #Conflicts: 124000 | #Constraints: 41720
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 125000 | #Constraints: 35719
380.07/381.24 c #Conflicts: 126000 | #Constraints: 36719
380.07/381.24 c #Conflicts: 127000 | #Constraints: 37719
380.07/381.24 c #Conflicts: 128000 | #Constraints: 38719
380.07/381.24 c #Conflicts: 129000 | #Constraints: 39719
380.07/381.24 c #Conflicts: 130000 | #Constraints: 40719
380.07/381.24 c #Conflicts: 131000 | #Constraints: 41719
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 132000 | #Constraints: 35516
380.07/381.24 c #Conflicts: 133000 | #Constraints: 36516
380.07/381.24 c #Conflicts: 134000 | #Constraints: 37516
380.07/381.24 c #Conflicts: 135000 | #Constraints: 38516
380.07/381.24 c #Conflicts: 136000 | #Constraints: 39516
380.07/381.24 c #Conflicts: 137000 | #Constraints: 40516
380.07/381.24 c #Conflicts: 138000 | #Constraints: 41516
380.07/381.24 c #Conflicts: 139000 | #Constraints: 42516
380.07/381.24 c INPROCESSING
380.07/381.24 c GARBAGE COLLECT
380.07/381.24 c #Conflicts: 140000 | #Constraints: 36117
708.00/710.16 c #Conflicts: 141000 | #Constraints: 37117
708.00/710.16 c #Conflicts: 142000 | #Constraints: 38117
708.00/710.16 c #Conflicts: 143000 | #Constraints: 39117
708.00/710.16 c #Conflicts: 144000 | #Constraints: 40117
708.00/710.16 c #Conflicts: 145000 | #Constraints: 41117
708.00/710.16 c #Conflicts: 146000 | #Constraints: 42117
708.00/710.16 c #Conflicts: 147000 | #Constraints: 43117
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 148000 | #Constraints: 36515
708.00/710.16 c #Conflicts: 149000 | #Constraints: 37515
708.00/710.16 c #Conflicts: 150000 | #Constraints: 38515
708.00/710.16 c #Conflicts: 151000 | #Constraints: 39515
708.00/710.16 c #Conflicts: 152000 | #Constraints: 40515
708.00/710.16 c #Conflicts: 153000 | #Constraints: 41515
708.00/710.16 c #Conflicts: 154000 | #Constraints: 42515
708.00/710.16 c #Conflicts: 155000 | #Constraints: 43515
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 156000 | #Constraints: 36717
708.00/710.16 c #Conflicts: 157000 | #Constraints: 37717
708.00/710.16 c #Conflicts: 158000 | #Constraints: 38717
708.00/710.16 c #Conflicts: 159000 | #Constraints: 39717
708.00/710.16 c #Conflicts: 160000 | #Constraints: 40717
708.00/710.16 c #Conflicts: 161000 | #Constraints: 41717
708.00/710.16 c #Conflicts: 162000 | #Constraints: 42717
708.00/710.16 c #Conflicts: 163000 | #Constraints: 43717
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 164000 | #Constraints: 36716
708.00/710.16 c #Conflicts: 165000 | #Constraints: 37716
708.00/710.16 c #Conflicts: 166000 | #Constraints: 38716
708.00/710.16 c #Conflicts: 167000 | #Constraints: 39716
708.00/710.16 c #Conflicts: 168000 | #Constraints: 40716
708.00/710.16 c #Conflicts: 169000 | #Constraints: 41716
708.00/710.16 c #Conflicts: 170000 | #Constraints: 42716
708.00/710.16 c #Conflicts: 171000 | #Constraints: 43716
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 172000 | #Constraints: 36516
708.00/710.16 c #Conflicts: 173000 | #Constraints: 37516
708.00/710.16 c #Conflicts: 174000 | #Constraints: 38516
708.00/710.16 c #Conflicts: 175000 | #Constraints: 39516
708.00/710.16 c #Conflicts: 176000 | #Constraints: 40516
708.00/710.16 c #Conflicts: 177000 | #Constraints: 41516
708.00/710.16 c #Conflicts: 178000 | #Constraints: 42516
708.00/710.16 c #Conflicts: 179000 | #Constraints: 43516
708.00/710.16 c #Conflicts: 180000 | #Constraints: 44516
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 181000 | #Constraints: 37116
708.00/710.16 c #Conflicts: 182000 | #Constraints: 38116
708.00/710.16 c #Conflicts: 183000 | #Constraints: 39116
708.00/710.16 c #Conflicts: 184000 | #Constraints: 40116
708.00/710.16 c #Conflicts: 185000 | #Constraints: 41116
708.00/710.16 c #Conflicts: 186000 | #Constraints: 42116
708.00/710.16 c #Conflicts: 187000 | #Constraints: 43116
708.00/710.16 c #Conflicts: 188000 | #Constraints: 44116
708.00/710.16 c #Conflicts: 189000 | #Constraints: 45116
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 190000 | #Constraints: 37517
708.00/710.16 c #Conflicts: 191000 | #Constraints: 38517
708.00/710.16 c #Conflicts: 192000 | #Constraints: 39517
708.00/710.16 c #Conflicts: 193000 | #Constraints: 40517
708.00/710.16 c #Conflicts: 194000 | #Constraints: 41517
708.00/710.16 c #Conflicts: 195000 | #Constraints: 42517
708.00/710.16 c #Conflicts: 196000 | #Constraints: 43517
708.00/710.16 c #Conflicts: 197000 | #Constraints: 44517
708.00/710.16 c #Conflicts: 198000 | #Constraints: 45517
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 199000 | #Constraints: 37717
708.00/710.16 c #Conflicts: 200000 | #Constraints: 38717
708.00/710.16 c #Conflicts: 201000 | #Constraints: 39717
708.00/710.16 c #Conflicts: 202000 | #Constraints: 40717
708.00/710.16 c #Conflicts: 203000 | #Constraints: 41717
708.00/710.16 c #Conflicts: 204000 | #Constraints: 42717
708.00/710.16 c #Conflicts: 205000 | #Constraints: 43717
708.00/710.16 c #Conflicts: 206000 | #Constraints: 44717
708.00/710.16 c #Conflicts: 207000 | #Constraints: 45717
708.00/710.16 c INPROCESSING
708.00/710.16 c GARBAGE COLLECT
708.00/710.16 c #Conflicts: 208000 | #Constraints: 37716
708.00/710.16 c #Conflicts: 209000 | #Constraints: 38716
708.00/710.16 c #Conflicts: 210000 | #Constraints: 39716
708.00/710.16 c #Conflicts: 211000 | #Constraints: 40716
708.00/710.16 c #Conflicts: 212000 | #Constraints: 41716
708.00/710.16 c #Conflicts: 213000 | #Constraints: 42716
1114.13/1117.44 c #Conflicts: 214000 | #Constraints: 43716
1114.13/1117.44 c #Conflicts: 215000 | #Constraints: 44716
1114.13/1117.44 c #Conflicts: 216000 | #Constraints: 45716
1114.13/1117.44 c INPROCESSING
1114.13/1117.44 c GARBAGE COLLECT
1114.13/1117.44 c #Conflicts: 217000 | #Constraints: 37517
1114.13/1117.44 c #Conflicts: 218000 | #Constraints: 38517
1114.13/1117.44 c #Conflicts: 219000 | #Constraints: 39517
1114.13/1117.44 c #Conflicts: 220000 | #Constraints: 40517
1114.13/1117.44 c #Conflicts: 221000 | #Constraints: 41517
1114.13/1117.44 c #Conflicts: 222000 | #Constraints: 42517
1114.13/1117.44 c #Conflicts: 223000 | #Constraints: 43517
1114.13/1117.44 c #Conflicts: 224000 | #Constraints: 44517
1114.13/1117.44 c #Conflicts: 225000 | #Constraints: 45517
1114.13/1117.44 c #Conflicts: 226000 | #Constraints: 46517
1114.13/1117.44 c INPROCESSING
1114.13/1117.44 c GARBAGE COLLECT
1114.13/1117.44 c #Conflicts: 227000 | #Constraints: 38117
1114.13/1117.44 c #Conflicts: 228000 | #Constraints: 39117
1114.13/1117.44 c #Conflicts: 229000 | #Constraints: 40117
1114.13/1117.44 c #Conflicts: 230000 | #Constraints: 41117
1114.13/1117.44 c #Conflicts: 231000 | #Constraints: 42117
1114.13/1117.44 c #Conflicts: 232000 | #Constraints: 43117
1114.13/1117.44 c #Conflicts: 233000 | #Constraints: 44117
1114.13/1117.44 c #Conflicts: 234000 | #Constraints: 45117
1114.13/1117.44 c #Conflicts: 235000 | #Constraints: 46117
1114.13/1117.44 c #Conflicts: 236000 | #Constraints: 47117
1114.13/1117.44 c INPROCESSING
1114.13/1117.44 c GARBAGE COLLECT
1114.13/1117.44 c #Conflicts: 237000 | #Constraints: 38519
1114.13/1117.44 c #Conflicts: 238000 | #Constraints: 39519
1114.13/1117.44 c #Conflicts: 239000 | #Constraints: 40519
1114.13/1117.44 c #Conflicts: 240000 | #Constraints: 41519
1114.13/1117.44 c #Conflicts: 241000 | #Constraints: 42519
1114.13/1117.44 c #Conflicts: 242000 | #Constraints: 43519
1114.13/1117.44 c #Conflicts: 243000 | #Constraints: 44519
1114.13/1117.44 c #Conflicts: 244000 | #Constraints: 45519
1114.13/1117.44 c #Conflicts: 245000 | #Constraints: 46519
1114.13/1117.44 c #Conflicts: 246000 | #Constraints: 47519
1114.13/1117.44 c INPROCESSING
1114.13/1117.44 c GARBAGE COLLECT
1114.13/1117.44 c #Conflicts: 247000 | #Constraints: 38719
1114.13/1117.44 c #Conflicts: 248000 | #Constraints: 39719
1114.13/1117.44 c #Conflicts: 249000 | #Constraints: 40719
1114.13/1117.44 c #Conflicts: 250000 | #Constraints: 41719
1114.13/1117.44 c #Conflicts: 251000 | #Constraints: 42719
1114.13/1117.44 c #Conflicts: 252000 | #Constraints: 43719
1114.13/1117.44 c #Conflicts: 253000 | #Constraints: 44719
1114.13/1117.44 c #Conflicts: 254000 | #Constraints: 45719
1114.13/1117.44 c #Conflicts: 255000 | #Constraints: 46719
1114.13/1117.44 c #Conflicts: 256000 | #Constraints: 47719
1114.13/1117.44 c INPROCESSING
1114.13/1117.44 c GARBAGE COLLECT
1114.13/1117.44 c #Conflicts: 257000 | #Constraints: 38715
1114.13/1117.44 c #Conflicts: 258000 | #Constraints: 39715
1114.13/1117.44 c #Conflicts: 259000 | #Constraints: 40715
1114.13/1117.44 c #Conflicts: 260000 | #Constraints: 41715
1114.13/1117.44 c #Conflicts: 261000 | #Constraints: 42715
1114.13/1117.44 c #Conflicts: 262000 | #Constraints: 43715
1114.13/1117.44 c #Conflicts: 263000 | #Constraints: 44715
1114.13/1117.44 c #Conflicts: 264000 | #Constraints: 45715
1114.13/1117.44 c #Conflicts: 265000 | #Constraints: 46715
1114.13/1117.44 c #Conflicts: 266000 | #Constraints: 47715
1114.13/1117.44 c INPROCESSING
1114.13/1117.44 c GARBAGE COLLECT
1114.13/1117.44 c #Conflicts: 267000 | #Constraints: 38517
1114.13/1117.44 c #Conflicts: 268000 | #Constraints: 39517
1114.13/1117.44 c #Conflicts: 269000 | #Constraints: 40517
1114.13/1117.44 c #Conflicts: 270000 | #Constraints: 41517
1114.13/1117.44 c #Conflicts: 271000 | #Constraints: 42517
1114.13/1117.44 c #Conflicts: 272000 | #Constraints: 43517
1114.13/1117.44 c #Conflicts: 273000 | #Constraints: 44517
1114.13/1117.44 c #Conflicts: 274000 | #Constraints: 45517
1114.13/1117.44 c #Conflicts: 275000 | #Constraints: 46517
1114.13/1117.44 c #Conflicts: 276000 | #Constraints: 47517
1114.13/1117.44 c #Conflicts: 277000 | #Constraints: 48517
1114.13/1117.44 c INPROCESSING
1114.13/1117.44 c GARBAGE COLLECT
1114.13/1117.44 c #Conflicts: 278000 | #Constraints: 39118
1114.13/1117.44 c #Conflicts: 279000 | #Constraints: 40118
1114.13/1117.44 c #Conflicts: 280000 | #Constraints: 41118
1114.13/1117.44 c #Conflicts: 281000 | #Constraints: 42118
1114.13/1117.44 c #Conflicts: 282000 | #Constraints: 43118
1114.13/1117.44 c #Conflicts: 283000 | #Constraints: 44118
1114.13/1117.44 c #Conflicts: 284000 | #Constraints: 45118
1114.13/1117.44 c #Conflicts: 285000 | #Constraints: 46118
1114.13/1117.44 c #Conflicts: 286000 | #Constraints: 47118
1114.13/1117.44 c #Conflicts: 287000 | #Constraints: 48118
1114.13/1117.44 c #Conflicts: 288000 | #Constraints: 49118
1557.92/1562.50 c INPROCESSING
1557.92/1562.50 c GARBAGE COLLECT
1557.92/1562.50 c #Conflicts: 289000 | #Constraints: 39515
1557.92/1562.50 c #Conflicts: 290000 | #Constraints: 40515
1557.92/1562.50 c #Conflicts: 291000 | #Constraints: 41515
1557.92/1562.50 c #Conflicts: 292000 | #Constraints: 42515
1557.92/1562.50 c #Conflicts: 293000 | #Constraints: 43515
1557.92/1562.50 c #Conflicts: 294000 | #Constraints: 44515
1557.92/1562.50 c #Conflicts: 295000 | #Constraints: 45515
1557.92/1562.50 c #Conflicts: 296000 | #Constraints: 46515
1557.92/1562.50 c #Conflicts: 297000 | #Constraints: 47515
1557.92/1562.50 c #Conflicts: 298000 | #Constraints: 48515
1557.92/1562.50 c #Conflicts: 299000 | #Constraints: 49515
1557.92/1562.50 c INPROCESSING
1557.92/1562.50 c GARBAGE COLLECT
1557.92/1562.50 c #Conflicts: 300000 | #Constraints: 39715
1557.92/1562.50 c #Conflicts: 301000 | #Constraints: 40715
1557.92/1562.50 c #Conflicts: 302000 | #Constraints: 41715
1557.92/1562.50 c #Conflicts: 303000 | #Constraints: 42715
1557.92/1562.50 c #Conflicts: 304000 | #Constraints: 43715
1557.92/1562.50 c #Conflicts: 305000 | #Constraints: 44715
1557.92/1562.50 c #Conflicts: 306000 | #Constraints: 45715
1557.92/1562.50 c #Conflicts: 307000 | #Constraints: 46715
1557.92/1562.50 c #Conflicts: 308000 | #Constraints: 47715
1557.92/1562.50 c #Conflicts: 309000 | #Constraints: 48715
1557.92/1562.50 c #Conflicts: 310000 | #Constraints: 49715
1557.92/1562.50 c INPROCESSING
1557.92/1562.50 c GARBAGE COLLECT
1557.92/1562.50 c #Conflicts: 311000 | #Constraints: 39715
1557.92/1562.50 c #Conflicts: 312000 | #Constraints: 40715
1557.92/1562.50 c #Conflicts: 313000 | #Constraints: 41715
1557.92/1562.50 c #Conflicts: 314000 | #Constraints: 42715
1557.92/1562.50 c #Conflicts: 315000 | #Constraints: 43715
1557.92/1562.50 c #Conflicts: 316000 | #Constraints: 44715
1557.92/1562.50 c #Conflicts: 317000 | #Constraints: 45715
1557.92/1562.50 c #Conflicts: 318000 | #Constraints: 46715
1557.92/1562.50 c #Conflicts: 319000 | #Constraints: 47715
1557.92/1562.50 c #Conflicts: 320000 | #Constraints: 48715
1557.92/1562.50 c #Conflicts: 321000 | #Constraints: 49715
1557.92/1562.50 c INPROCESSING
1557.92/1562.50 c GARBAGE COLLECT
1557.92/1562.50 c #Conflicts: 322000 | #Constraints: 39519
1557.92/1562.50 c #Conflicts: 323000 | #Constraints: 40519
1557.92/1562.50 c #Conflicts: 324000 | #Constraints: 41519
1557.92/1562.50 c #Conflicts: 325000 | #Constraints: 42519
1557.92/1562.50 c #Conflicts: 326000 | #Constraints: 43519
1557.92/1562.50 c #Conflicts: 327000 | #Constraints: 44519
1557.92/1562.50 c #Conflicts: 328000 | #Constraints: 45519
1557.92/1562.50 c #Conflicts: 329000 | #Constraints: 46519
1557.92/1562.50 c #Conflicts: 330000 | #Constraints: 47519
1557.92/1562.50 c #Conflicts: 331000 | #Constraints: 48519
1557.92/1562.50 c #Conflicts: 332000 | #Constraints: 49519
1557.92/1562.50 c #Conflicts: 333000 | #Constraints: 50519
1557.92/1562.50 c INPROCESSING
1557.92/1562.50 c GARBAGE COLLECT
1557.92/1562.50 c #Conflicts: 334000 | #Constraints: 40117
1557.92/1562.50 c #Conflicts: 335000 | #Constraints: 41117
1557.92/1562.50 c #Conflicts: 336000 | #Constraints: 42117
1557.92/1562.50 c #Conflicts: 337000 | #Constraints: 43117
1557.92/1562.50 c #Conflicts: 338000 | #Constraints: 44117
1557.92/1562.50 c #Conflicts: 339000 | #Constraints: 45117
1557.92/1562.50 c #Conflicts: 340000 | #Constraints: 46117
1557.92/1562.50 c #Conflicts: 341000 | #Constraints: 47117
1557.92/1562.50 c #Conflicts: 342000 | #Constraints: 48117
1557.92/1562.50 c #Conflicts: 343000 | #Constraints: 49117
1557.92/1562.50 c #Conflicts: 344000 | #Constraints: 50117
1557.92/1562.50 c #Conflicts: 345000 | #Constraints: 51117
1557.92/1562.50 c INPROCESSING
1557.92/1562.50 c GARBAGE COLLECT
1557.92/1562.50 c #Conflicts: 346000 | #Constraints: 40518
1557.92/1562.50 c #Conflicts: 347000 | #Constraints: 41518
1557.92/1562.50 c #Conflicts: 348000 | #Constraints: 42518
1557.92/1562.50 c #Conflicts: 349000 | #Constraints: 43518
1557.92/1562.50 c #Conflicts: 350000 | #Constraints: 44518
1557.92/1562.50 c #Conflicts: 351000 | #Constraints: 45518
1557.92/1562.50 c #Conflicts: 352000 | #Constraints: 46518
1557.92/1562.50 c #Conflicts: 353000 | #Constraints: 47518
1557.92/1562.50 c #Conflicts: 354000 | #Constraints: 48518
1557.92/1562.50 c #Conflicts: 355000 | #Constraints: 49518
1557.92/1562.50 c #Conflicts: 356000 | #Constraints: 50518
1557.92/1562.50 c #Conflicts: 357000 | #Constraints: 51518
1557.92/1562.50 c INPROCESSING
1557.92/1562.50 c GARBAGE COLLECT
1557.92/1562.50 c #Conflicts: 358000 | #Constraints: 40716
1557.92/1562.50 c #Conflicts: 359000 | #Constraints: 41716
1557.92/1562.50 c #Conflicts: 360000 | #Constraints: 42716
1557.92/1562.50 c #Conflicts: 361000 | #Constraints: 43716
1557.92/1562.50 c #Conflicts: 362000 | #Constraints: 44716
1887.12/1892.72 c #Conflicts: 363000 | #Constraints: 45716
1887.12/1892.72 c #Conflicts: 364000 | #Constraints: 46716
1887.12/1892.72 c #Conflicts: 365000 | #Constraints: 47716
1887.12/1892.72 c #Conflicts: 366000 | #Constraints: 48716
1887.12/1892.72 c #Conflicts: 367000 | #Constraints: 49716
1887.12/1892.72 c #Conflicts: 368000 | #Constraints: 50716
1887.12/1892.72 c #Conflicts: 369000 | #Constraints: 51716
1887.12/1892.72 c INPROCESSING
1887.12/1892.72 c GARBAGE COLLECT
1887.12/1892.72 c #Conflicts: 370000 | #Constraints: 40717
1887.12/1892.72 c #Conflicts: 371000 | #Constraints: 41717
1887.12/1892.72 c #Conflicts: 372000 | #Constraints: 42717
1887.12/1892.72 c #Conflicts: 373000 | #Constraints: 43717
1887.12/1892.72 c #Conflicts: 374000 | #Constraints: 44717
1887.12/1892.72 c #Conflicts: 375000 | #Constraints: 45717
1887.12/1892.72 c #Conflicts: 376000 | #Constraints: 46717
1887.12/1892.72 c #Conflicts: 377000 | #Constraints: 47717
1887.12/1892.72 c #Conflicts: 378000 | #Constraints: 48717
1887.12/1892.72 c #Conflicts: 379000 | #Constraints: 49717
1887.12/1892.72 c #Conflicts: 380000 | #Constraints: 50717
1887.12/1892.72 c #Conflicts: 381000 | #Constraints: 51717
1887.12/1892.72 c INPROCESSING
1887.12/1892.72 c GARBAGE COLLECT
1887.12/1892.72 c #Conflicts: 382000 | #Constraints: 40515
1887.12/1892.72 c #Conflicts: 383000 | #Constraints: 41515
1887.12/1892.72 c #Conflicts: 384000 | #Constraints: 42515
1887.12/1892.72 c #Conflicts: 385000 | #Constraints: 43515
1887.12/1892.72 c #Conflicts: 386000 | #Constraints: 44515
1887.12/1892.72 c #Conflicts: 387000 | #Constraints: 45515
1887.12/1892.72 c #Conflicts: 388000 | #Constraints: 46515
1887.12/1892.72 c #Conflicts: 389000 | #Constraints: 47515
1887.12/1892.72 c #Conflicts: 390000 | #Constraints: 48515
1887.12/1892.72 c #Conflicts: 391000 | #Constraints: 49515
1887.12/1892.72 c #Conflicts: 392000 | #Constraints: 50515
1887.12/1892.72 c #Conflicts: 393000 | #Constraints: 51515
1887.12/1892.72 c #Conflicts: 394000 | #Constraints: 52515
1887.12/1892.72 c INPROCESSING
1887.12/1892.72 c GARBAGE COLLECT
1887.12/1892.72 c #Conflicts: 395000 | #Constraints: 41112
1887.12/1892.72 c #Conflicts: 396000 | #Constraints: 42112
1887.12/1892.72 c #Conflicts: 397000 | #Constraints: 43112
1887.12/1892.72 c #Conflicts: 398000 | #Constraints: 44112
1887.12/1892.72 c #Conflicts: 399000 | #Constraints: 45112
1887.12/1892.72 c #Conflicts: 400000 | #Constraints: 46112
1887.12/1892.72 c #Conflicts: 401000 | #Constraints: 47112
1887.12/1892.72 c #Conflicts: 402000 | #Constraints: 48112
1887.12/1892.72 c #Conflicts: 403000 | #Constraints: 49112
1887.12/1892.72 c #Conflicts: 404000 | #Constraints: 50112
1887.12/1892.72 c #Conflicts: 405000 | #Constraints: 51112
1887.12/1892.72 c #Conflicts: 406000 | #Constraints: 52112
1887.12/1892.72 c #Conflicts: 407000 | #Constraints: 53112
1887.12/1892.72 c INPROCESSING
1887.12/1892.72 c GARBAGE COLLECT
1887.12/1892.72 c #Conflicts: 408000 | #Constraints: 41513
1887.12/1892.72 c #Conflicts: 409000 | #Constraints: 42513
1887.12/1892.72 c GLOBAL bounds - >= -595 @ 1884.52
1914.14/1919.83 c #Conflicts: 410000 | #Constraints: 43515
1914.14/1919.83 c #Conflicts: 411000 | #Constraints: 44515
1914.14/1919.83 c #Conflicts: 412000 | #Constraints: 45515
1914.14/1919.83 c #Conflicts: 413000 | #Constraints: 46515
1914.14/1919.83 c GLOBAL bounds - >= -595 @ 1911.52
2534.14/2541.80 c #Conflicts: 414000 | #Constraints: 47517
2534.14/2541.80 c #Conflicts: 415000 | #Constraints: 48517
2534.14/2541.80 c #Conflicts: 416000 | #Constraints: 49517
2534.14/2541.80 c #Conflicts: 417000 | #Constraints: 50517
2534.14/2541.80 c #Conflicts: 418000 | #Constraints: 51517
2534.14/2541.80 c #Conflicts: 419000 | #Constraints: 52517
2534.14/2541.80 c #Conflicts: 420000 | #Constraints: 53517
2534.14/2541.80 c INPROCESSING
2534.14/2541.80 c GARBAGE COLLECT
2534.14/2541.80 c #Conflicts: 421000 | #Constraints: 41718
2534.14/2541.80 c #Conflicts: 422000 | #Constraints: 42718
2534.14/2541.80 c #Conflicts: 423000 | #Constraints: 43718
2534.14/2541.80 c #Conflicts: 424000 | #Constraints: 44718
2534.14/2541.80 c #Conflicts: 425000 | #Constraints: 45718
2534.14/2541.80 c #Conflicts: 426000 | #Constraints: 46718
2534.14/2541.80 c #Conflicts: 427000 | #Constraints: 47718
2534.14/2541.80 c #Conflicts: 428000 | #Constraints: 48718
2534.14/2541.80 c #Conflicts: 429000 | #Constraints: 49718
2534.14/2541.80 c #Conflicts: 430000 | #Constraints: 50718
2534.14/2541.80 c #Conflicts: 431000 | #Constraints: 51718
2534.14/2541.80 c #Conflicts: 432000 | #Constraints: 52718
2534.14/2541.80 c #Conflicts: 433000 | #Constraints: 53718
2534.14/2541.80 c INPROCESSING
2534.14/2541.80 c GARBAGE COLLECT
2534.14/2541.80 c #Conflicts: 434000 | #Constraints: 41718
2534.14/2541.80 c #Conflicts: 435000 | #Constraints: 42718
2534.14/2541.80 c #Conflicts: 436000 | #Constraints: 43718
2534.14/2541.80 c #Conflicts: 437000 | #Constraints: 44718
2534.14/2541.80 c #Conflicts: 438000 | #Constraints: 45718
2534.14/2541.80 c #Conflicts: 439000 | #Constraints: 46718
2534.14/2541.80 c #Conflicts: 440000 | #Constraints: 47718
2534.14/2541.80 c #Conflicts: 441000 | #Constraints: 48718
2534.14/2541.80 c #Conflicts: 442000 | #Constraints: 49718
2534.14/2541.80 c #Conflicts: 443000 | #Constraints: 50718
2534.14/2541.80 c #Conflicts: 444000 | #Constraints: 51718
2534.14/2541.80 c #Conflicts: 445000 | #Constraints: 52718
2534.14/2541.80 c #Conflicts: 446000 | #Constraints: 53718
2534.14/2541.80 c INPROCESSING
2534.14/2541.80 c GARBAGE COLLECT
2534.14/2541.80 c #Conflicts: 447000 | #Constraints: 41521
2534.14/2541.80 c #Conflicts: 448000 | #Constraints: 42521
2534.14/2541.80 c #Conflicts: 449000 | #Constraints: 43521
2534.14/2541.80 c #Conflicts: 450000 | #Constraints: 44521
2534.14/2541.80 c #Conflicts: 451000 | #Constraints: 45521
2534.24/2541.80 c #Conflicts: 452000 | #Constraints: 46521
2534.24/2541.80 c #Conflicts: 453000 | #Constraints: 47521
2534.24/2541.80 c #Conflicts: 454000 | #Constraints: 48521
2534.24/2541.80 c #Conflicts: 455000 | #Constraints: 49521
2534.24/2541.80 c #Conflicts: 456000 | #Constraints: 50521
2534.24/2541.80 c #Conflicts: 457000 | #Constraints: 51521
2534.24/2541.80 c #Conflicts: 458000 | #Constraints: 52521
2534.24/2541.80 c #Conflicts: 459000 | #Constraints: 53521
2534.24/2541.80 c #Conflicts: 460000 | #Constraints: 54521
2534.24/2541.80 c INPROCESSING
2534.24/2541.80 c GARBAGE COLLECT
2534.24/2541.80 c #Conflicts: 461000 | #Constraints: 42120
2534.24/2541.80 c #Conflicts: 462000 | #Constraints: 43120
2534.24/2541.80 c #Conflicts: 463000 | #Constraints: 44120
2534.24/2541.80 c #Conflicts: 464000 | #Constraints: 45120
2534.24/2541.80 c #Conflicts: 465000 | #Constraints: 46120
2534.24/2541.80 c #Conflicts: 466000 | #Constraints: 47120
2534.24/2541.80 c #Conflicts: 467000 | #Constraints: 48120
2534.24/2541.80 c #Conflicts: 468000 | #Constraints: 49120
2534.24/2541.80 c #Conflicts: 469000 | #Constraints: 50120
2534.24/2541.80 c #Conflicts: 470000 | #Constraints: 51120
2534.24/2541.80 c #Conflicts: 471000 | #Constraints: 52120
2534.24/2541.80 c #Conflicts: 472000 | #Constraints: 53120
2534.24/2541.80 c #Conflicts: 473000 | #Constraints: 54120
2534.24/2541.80 c #Conflicts: 474000 | #Constraints: 55120
2534.24/2541.80 c INPROCESSING
2534.24/2541.80 c GARBAGE COLLECT
2534.24/2541.80 c #Conflicts: 475000 | #Constraints: 42519
2534.24/2541.80 c #Conflicts: 476000 | #Constraints: 43519
2534.24/2541.80 c #Conflicts: 477000 | #Constraints: 44519
2534.24/2541.80 c #Conflicts: 478000 | #Constraints: 45519
2534.24/2541.80 c #Conflicts: 479000 | #Constraints: 46519
2534.24/2541.80 c #Conflicts: 480000 | #Constraints: 47519
2534.24/2541.80 c #Conflicts: 481000 | #Constraints: 48519
2534.24/2541.80 c #Conflicts: 482000 | #Constraints: 49519
2534.24/2541.80 c #Conflicts: 483000 | #Constraints: 50519
2534.24/2541.80 c #Conflicts: 484000 | #Constraints: 51519
2534.24/2541.80 c #Conflicts: 485000 | #Constraints: 52519
2534.24/2541.80 c #Conflicts: 486000 | #Constraints: 53519
2534.24/2541.80 c #Conflicts: 487000 | #Constraints: 54519
2534.24/2541.80 c #Conflicts: 488000 | #Constraints: 55519
2534.24/2541.80 c INPROCESSING
2534.24/2541.80 c GARBAGE COLLECT
3174.32/3183.82 c #Conflicts: 489000 | #Constraints: 42720
3174.32/3183.82 c #Conflicts: 490000 | #Constraints: 43720
3174.32/3183.82 c #Conflicts: 491000 | #Constraints: 44720
3174.32/3183.82 c #Conflicts: 492000 | #Constraints: 45720
3174.32/3183.82 c #Conflicts: 493000 | #Constraints: 46720
3174.32/3183.82 c #Conflicts: 494000 | #Constraints: 47720
3174.32/3183.82 c #Conflicts: 495000 | #Constraints: 48720
3174.32/3183.82 c #Conflicts: 496000 | #Constraints: 49720
3174.32/3183.82 c #Conflicts: 497000 | #Constraints: 50720
3174.32/3183.82 c #Conflicts: 498000 | #Constraints: 51720
3174.32/3183.82 c #Conflicts: 499000 | #Constraints: 52720
3174.32/3183.82 c #Conflicts: 500000 | #Constraints: 53720
3174.32/3183.82 c #Conflicts: 501000 | #Constraints: 54720
3174.32/3183.82 c #Conflicts: 502000 | #Constraints: 55720
3174.32/3183.82 c INPROCESSING
3174.32/3183.82 c GARBAGE COLLECT
3174.32/3183.82 c #Conflicts: 503000 | #Constraints: 42721
3174.32/3183.82 c #Conflicts: 504000 | #Constraints: 43721
3174.32/3183.82 c #Conflicts: 505000 | #Constraints: 44721
3174.32/3183.82 c #Conflicts: 506000 | #Constraints: 45721
3174.32/3183.82 c #Conflicts: 507000 | #Constraints: 46721
3174.32/3183.82 c #Conflicts: 508000 | #Constraints: 47721
3174.32/3183.82 c #Conflicts: 509000 | #Constraints: 48721
3174.32/3183.82 c #Conflicts: 510000 | #Constraints: 49721
3174.32/3183.82 c #Conflicts: 511000 | #Constraints: 50721
3174.32/3183.82 c #Conflicts: 512000 | #Constraints: 51721
3174.32/3183.82 c #Conflicts: 513000 | #Constraints: 52721
3174.32/3183.82 c #Conflicts: 514000 | #Constraints: 53721
3174.32/3183.82 c #Conflicts: 515000 | #Constraints: 54721
3174.32/3183.82 c #Conflicts: 516000 | #Constraints: 55721
3174.32/3183.82 c INPROCESSING
3174.32/3183.82 c GARBAGE COLLECT
3174.32/3183.82 c #Conflicts: 517000 | #Constraints: 42521
3174.32/3183.82 c #Conflicts: 518000 | #Constraints: 43521
3174.32/3183.82 c #Conflicts: 519000 | #Constraints: 44521
3174.32/3183.82 c #Conflicts: 520000 | #Constraints: 45521
3174.32/3183.82 c #Conflicts: 521000 | #Constraints: 46521
3174.32/3183.82 c #Conflicts: 522000 | #Constraints: 47521
3174.32/3183.82 c #Conflicts: 523000 | #Constraints: 48521
3174.32/3183.82 c #Conflicts: 524000 | #Constraints: 49521
3174.32/3183.82 c #Conflicts: 525000 | #Constraints: 50521
3174.32/3183.82 c #Conflicts: 526000 | #Constraints: 51521
3174.32/3183.82 c #Conflicts: 527000 | #Constraints: 52521
3174.32/3183.82 c #Conflicts: 528000 | #Constraints: 53521
3174.32/3183.82 c #Conflicts: 529000 | #Constraints: 54521
3174.32/3183.82 c #Conflicts: 530000 | #Constraints: 55521
3174.32/3183.82 c #Conflicts: 531000 | #Constraints: 56521
3174.32/3183.82 c INPROCESSING
3174.32/3183.82 c GARBAGE COLLECT
3174.32/3183.82 c #Conflicts: 532000 | #Constraints: 43119
3174.32/3183.82 c #Conflicts: 533000 | #Constraints: 44119
3174.32/3183.82 c #Conflicts: 534000 | #Constraints: 45119
3174.32/3183.82 c #Conflicts: 535000 | #Constraints: 46119
3174.32/3183.82 c #Conflicts: 536000 | #Constraints: 47119
3174.32/3183.82 c #Conflicts: 537000 | #Constraints: 48119
3174.32/3183.82 c #Conflicts: 538000 | #Constraints: 49119
3174.32/3183.82 c #Conflicts: 539000 | #Constraints: 50119
3174.32/3183.82 c #Conflicts: 540000 | #Constraints: 51119
3174.32/3183.82 c #Conflicts: 541000 | #Constraints: 52119
3174.32/3183.82 c #Conflicts: 542000 | #Constraints: 53119
3174.32/3183.82 c #Conflicts: 543000 | #Constraints: 54119
3174.32/3183.82 c #Conflicts: 544000 | #Constraints: 55119
3174.32/3183.82 c #Conflicts: 545000 | #Constraints: 56119
3174.32/3183.82 c #Conflicts: 546000 | #Constraints: 57119
3174.32/3183.82 c INPROCESSING
3174.32/3183.82 c GARBAGE COLLECT
3174.32/3183.82 c #Conflicts: 547000 | #Constraints: 43518
3174.32/3183.82 c #Conflicts: 548000 | #Constraints: 44518
3174.32/3183.82 c #Conflicts: 549000 | #Constraints: 45518
3174.32/3183.82 c #Conflicts: 550000 | #Constraints: 46518
3174.32/3183.82 c #Conflicts: 551000 | #Constraints: 47518
3174.32/3183.82 c #Conflicts: 552000 | #Constraints: 48518
3174.32/3183.82 c #Conflicts: 553000 | #Constraints: 49518
3174.32/3183.82 c #Conflicts: 554000 | #Constraints: 50518
3174.32/3183.82 c #Conflicts: 555000 | #Constraints: 51518
3174.32/3183.82 c #Conflicts: 556000 | #Constraints: 52518
3174.32/3183.82 c #Conflicts: 557000 | #Constraints: 53518
3174.32/3183.82 c #Conflicts: 558000 | #Constraints: 54518
3174.32/3183.82 c #Conflicts: 559000 | #Constraints: 55518
3174.32/3183.82 c #Conflicts: 560000 | #Constraints: 56518
3174.32/3183.82 c #Conflicts: 561000 | #Constraints: 57518
3174.32/3183.82 c INPROCESSING
3174.32/3183.82 c GARBAGE COLLECT
3174.32/3183.82 c #Conflicts: 562000 | #Constraints: 43717
3174.32/3183.82 c #Conflicts: 563000 | #Constraints: 44717
3174.32/3183.82 c #Conflicts: 564000 | #Constraints: 45717
3600.09/3610.80 c #Conflicts: 565000 | #Constraints: 46717
3600.09/3610.80 c #Conflicts: 566000 | #Constraints: 47717
3600.09/3610.80 c #Conflicts: 567000 | #Constraints: 48717
3600.09/3610.80 c #Conflicts: 568000 | #Constraints: 49717
3600.09/3610.80 c #Conflicts: 569000 | #Constraints: 50717
3600.09/3610.80 c #Conflicts: 570000 | #Constraints: 51717
3600.09/3610.80 c #Conflicts: 571000 | #Constraints: 52717
3600.09/3610.80 c #Conflicts: 572000 | #Constraints: 53717
3600.09/3610.80 c #Conflicts: 573000 | #Constraints: 54717
3600.09/3610.80 c #Conflicts: 574000 | #Constraints: 55717
3600.09/3610.80 c #Conflicts: 575000 | #Constraints: 56717
3600.09/3610.80 c #Conflicts: 576000 | #Constraints: 57717
3600.09/3610.80 c INPROCESSING
3600.09/3610.80 c GARBAGE COLLECT
3600.09/3610.80 c #Conflicts: 577000 | #Constraints: 43720
3600.09/3610.80 c #Conflicts: 578000 | #Constraints: 44720
3600.09/3610.80 c #Conflicts: 579000 | #Constraints: 45720
3600.09/3610.80 c #Conflicts: 580000 | #Constraints: 46720
3600.09/3610.80 c #Conflicts: 581000 | #Constraints: 47720
3600.09/3610.80 c #Conflicts: 582000 | #Constraints: 48720
3600.09/3610.80 c #Conflicts: 583000 | #Constraints: 49720
3600.09/3610.80 c #Conflicts: 584000 | #Constraints: 50720
3600.09/3610.80 c #Conflicts: 585000 | #Constraints: 51720
3600.09/3610.80 c #Conflicts: 586000 | #Constraints: 52720
3600.09/3610.80 c #Conflicts: 587000 | #Constraints: 53720
3600.09/3610.80 c #Conflicts: 588000 | #Constraints: 54720
3600.09/3610.80 c #Conflicts: 589000 | #Constraints: 55720
3600.09/3610.80 c #Conflicts: 590000 | #Constraints: 56720
3600.09/3610.80 c #Conflicts: 591000 | #Constraints: 57720
3600.09/3610.80 c INPROCESSING
3600.09/3610.80 c GARBAGE COLLECT
3600.09/3610.80 c #Conflicts: 592000 | #Constraints: 43521
3600.09/3610.80 c #Conflicts: 593000 | #Constraints: 44521
3600.09/3610.80 c #Conflicts: 594000 | #Constraints: 45521
3600.09/3610.80 c #Conflicts: 595000 | #Constraints: 46521
3600.09/3610.80 c #Conflicts: 596000 | #Constraints: 47521
3600.09/3610.80 c #Conflicts: 597000 | #Constraints: 48521
3600.09/3610.80 c #Conflicts: 598000 | #Constraints: 49521
3600.09/3610.80 c #Conflicts: 599000 | #Constraints: 50521
3600.09/3610.80 c #Conflicts: 600000 | #Constraints: 51521
3600.09/3610.80 c #Conflicts: 601000 | #Constraints: 52521
3600.09/3610.80 c #Conflicts: 602000 | #Constraints: 53521
3600.09/3610.80 c #Conflicts: 603000 | #Constraints: 54521
3600.09/3610.80 c #Conflicts: 604000 | #Constraints: 55521
3600.09/3610.80 c #Conflicts: 605000 | #Constraints: 56521
3600.09/3610.80 c #Conflicts: 606000 | #Constraints: 57521
3600.09/3610.80 c #Conflicts: 607000 | #Constraints: 58521
3600.09/3610.80 c INPROCESSING
3600.09/3610.80 c GARBAGE COLLECT
3600.09/3610.80 c #Conflicts: 608000 | #Constraints: 44126
3600.09/3610.80 c #Conflicts: 609000 | #Constraints: 45126
3600.09/3610.80 c #Conflicts: 610000 | #Constraints: 46126
3600.09/3610.80 c #Conflicts: 611000 | #Constraints: 47126
3600.09/3610.80 c #Conflicts: 612000 | #Constraints: 48126
3600.09/3610.80 c #Conflicts: 613000 | #Constraints: 49126
3600.09/3610.80 c #Conflicts: 614000 | #Constraints: 50126
3600.09/3610.80 c #Conflicts: 615000 | #Constraints: 51126
3600.09/3610.80 c #Conflicts: 616000 | #Constraints: 52126
3600.09/3610.80 c #Conflicts: 617000 | #Constraints: 53126
3600.09/3610.80 c cpu time 3596.05 s
3600.09/3610.80 c deterministic time 1 1.00e+00
3600.09/3610.80 c optimization time 3595.98 s
3600.09/3610.80 c total solve time 0 s
3600.09/3610.80 c core-guided solve time 0 s
3600.09/3610.80 c propagation time 0.008407 s
3600.09/3610.80 c conflict analysis time 0 s
3600.09/3610.80 c propagations 0
3600.09/3610.80 c resolve steps 0
3600.09/3610.80 c decisions 0
3600.09/3610.80 c conflicts 0
3600.09/3610.80 c restarts 0
3600.09/3610.80 c inprocessing phases 0
3600.09/3610.80 c garbage collections 0 ,( -nan )
3600.09/3610.80 c input clauses 27847 ,( 100.00 )
3600.09/3610.80 c input cardinalities 0 ,( 0.00 )
3600.09/3610.80 c input general constraints 0 ,( 0.00 )
3600.09/3610.80 c input average constraint length 2.00
3600.09/3610.80 c input average constraint degree 1.00
3600.09/3610.80 c learned clauses 0 ,( 0.00 )
3600.09/3610.80 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.80 c learned general constraints 0 ,( 0.00 )
3600.09/3610.80 c learned average constraint length 0.00
3600.09/3610.80 c learned average constraint degree 0.00
3600.09/3610.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3610.80 c watched constraints 0 ,( -nan )
3600.09/3610.80 c counting constraints 0 ,( -nan )
3600.09/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.80 c gcd simplifications 0
3600.09/3610.80 c detected cardinalities 0
3600.09/3610.80 c weakened non-implied lits 0
3600.09/3610.80 c weakened non-implying lits 0
3600.09/3610.80 c original variables 595
3600.09/3610.80 c clausal propagations 0
3600.09/3610.80 c cardinality propagations 0
3600.09/3610.80 c watched propagations 0
3600.09/3610.80 c counting propagations 0
3600.09/3610.80 c watch lookups 0
3600.09/3610.80 c watch backjump lookups 0
3600.09/3610.80 c watch checks 0
3600.09/3610.80 c propagation checks 0
3600.09/3610.80 c constraint additions 0
3600.09/3610.80 c trail pops 0
3600.09/3610.80 c formula constraints 27847
3600.09/3610.80 c learned constraints 0
3600.09/3610.80 c bound constraints 0
3600.09/3610.80 c core-guided constraints 0
3600.09/3610.80 c encountered formula constraints 0
3600.09/3610.80 c encountered learned constraints 0
3600.09/3610.80 c encountered bound constraints 0
3600.09/3610.80 c encountered core-guided constraints 0
3600.09/3610.80 c LP total time 0 s
3600.09/3610.80 c LP solve time 0 s
3600.09/3610.80 c LP constraints added 0
3600.09/3610.80 c LP constraints removed 0
3600.09/3610.80 c LP pivots internal 0
3600.09/3610.80 c LP pivots root 0
3600.09/3610.80 c LP calls 0
3600.09/3610.80 c LP optimalities 0
3600.09/3610.80 c LP no pivot count 0
3600.09/3610.80 c LP infeasibilities 0
3600.09/3610.80 c LP valid Farkas constraints 0
3600.09/3610.80 c LP learned Farkas constraints 0
3600.09/3610.80 c LP basis resets 0
3600.09/3610.80 c LP cycling count 0
3600.09/3610.80 c LP singular count 0
3600.09/3610.80 c LP no primal count 0
3600.09/3610.80 c LP no farkas count 0
3600.09/3610.80 c LP other issue count 0
3600.09/3610.80 c LP Gomory cuts 0
3600.09/3610.80 c LP learned cuts 0
3600.09/3610.80 c LP deleted cuts 0
3600.09/3610.80 c LP encountered Gomory constraints 0
3600.09/3610.80 c LP encountered Farkas constraints 0
3600.09/3610.80 c LP encountered learned Farkas constraints 0
3600.09/3610.80 c CG auxiliary variables introduced 0
3600.09/3610.80 c CG solutions found 0
3600.09/3610.80 c CG cores constructed 0
3600.09/3610.80 c CG core cardinality constraints returned 0
3600.09/3610.80 c CG unit cores 0
3600.09/3610.80 c CG single cores 0
3600.09/3610.80 c CG blocks removed during cardinality reduction 0
3600.09/3610.80 c CG first core best 0
3600.09/3610.80 c CG decision core best 0
3600.09/3610.80 c CG core reduction tie 0
3600.09/3610.80 c CG core degree average 0.00
3600.09/3610.80 c CG core slack average 0.00
3600.09/3610.80 c CG core upper bound improvements 0
3600.09/3610.80 c STR number of successful calls 0
3600.09/3610.80 c STR number of unsuccessful calls 0
3600.09/3610.80 c STR number of inconclusive calls 0
3600.09/3610.80 c STR number of successful attempts 0
3600.09/3610.80 c STR number of unsuccessful attempts 0
3600.09/3610.80 c STR number of inconclusive attempts 0
3600.09/3610.80 c STR average degree increase per successful call inf
3600.09/3610.80 c STR average degree increase per successful attempt inf
3600.09/3610.80 c STR total number of conflicts for successful attempts 0
3600.09/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.80 c STR average number of conflicts per successful attempt inf
3600.09/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.80 c AVG.sumWPerc -nan
3600.09/3610.80 c bigint constraints 0
3600.09/3610.80 s UNKNOWN
3600.09/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: 63708 MiB (60475 MiB free)
memory of node 1: 64465 MiB (61269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485090-1751299567/watcher-4485090-1751299567 -o /tmp/evaluation-result-4485090-1751299567/solver-4485090-1751299567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39122 --watchdog 3760 run-opt.sh HOME/instance-4485090-1751299567.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
Current StackSize limit: 8192 KiB
solver pid=40066, runsolver pid=40063
[startup+0.100066 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 40068
/proc/meminfo: memFree=124658800/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=76204 memory=26036 CPUtime=0.08 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 3653 0 0 0 6 2 0 0 20 0 1 0 45631269 78032896 6509 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 19051 6509 2208 1147 0 6478 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80396 KiB
Current children cumulated memory: 28852 KiB
[startup+0.205712 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 40068
/proc/meminfo: memFree=124630764/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=98464 memory=52360 CPUtime=0.19 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 8689 0 0 0 14 5 0 0 20 0 1 0 45631269 100827136 13090 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 24616 13090 2336 1147 0 12043 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102656 KiB
Current children cumulated memory: 55176 KiB
[startup+0.305527 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 40068
/proc/meminfo: memFree=124630764/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=98464 memory=52360 CPUtime=0.28 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 8690 0 0 0 23 5 0 0 20 0 1 0 45631269 100827136 13090 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 24616 13090 2336 1147 0 12043 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 102656 KiB
Current children cumulated memory: 55176 KiB
[startup+0.700207 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 40068
/proc/meminfo: memFree=124630764/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=98464 memory=52744 CPUtime=0.68 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 8806 0 0 0 62 6 0 0 20 0 1 0 45631269 100827136 13186 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 24616 13186 2336 1147 0 12043 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 102656 KiB
Current children cumulated memory: 55560 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 40068
/proc/meminfo: memFree=124630764/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=98464 memory=52744 CPUtime=1.47 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 8816 0 0 0 141 6 0 0 20 0 1 0 45631269 100827136 13186 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 24616 13186 2336 1147 0 12043 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 102656 KiB
Current children cumulated memory: 55560 KiB
[startup+3.10542 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 40068
/proc/meminfo: memFree=124614532/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=117280 memory=65656 CPUtime=3.08 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 8948 0 0 0 300 8 0 0 20 0 1 0 45631269 120094720 16414 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 29320 16414 2336 1147 0 16747 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121472 KiB
Current children cumulated memory: 68472 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 40068
/proc/meminfo: memFree=124609696/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=117280 memory=67708 CPUtime=6.26 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 8959 0 0 0 617 9 0 0 20 0 1 0 45631269 120094720 16927 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 29320 16927 2336 1147 0 16747 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 121472 KiB
Current children cumulated memory: 70524 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 40068
/proc/meminfo: memFree=124608760/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=117280 memory=70916 CPUtime=12.64 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 9284 0 0 0 1252 12 0 0 20 0 1 0 45631269 120094720 17729 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 29320 17729 2336 1147 0 16747 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121472 KiB
Current children cumulated memory: 73732 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 40068
/proc/meminfo: memFree=124589528/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=129340 memory=75800 CPUtime=25.41 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 9970 0 0 0 2525 16 0 0 20 0 1 0 45631269 132444160 18950 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 32335 18950 2336 1147 0 19762 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 133532 KiB
Current children cumulated memory: 78616 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 40069
/proc/meminfo: memFree=124523736/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=136960 memory=88176 CPUtime=50.94 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 11542 0 0 0 5070 24 0 0 20 0 1 0 45631269 140247040 22044 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 34240 22044 2336 1147 0 21667 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 141152 KiB
Current children cumulated memory: 90992 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 40076
/proc/meminfo: memFree=124488592/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=170088 memory=104784 CPUtime=101.98 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 14668 0 0 0 10160 38 0 0 20 0 1 0 45631269 174170112 26196 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 42522 26196 2336 1147 0 29949 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 174280 KiB
Current children cumulated memory: 107600 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 40078
/proc/meminfo: memFree=124483216/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=175732 memory=114156 CPUtime=161.81 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 16007 0 0 0 16130 51 0 0 20 0 1 0 45631269 179949568 28539 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 43933 28539 2336 1147 0 31360 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 179924 KiB
Current children cumulated memory: 116972 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 40082
/proc/meminfo: memFree=124414884/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=178944 memory=121596 CPUtime=221.63 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 16856 0 0 0 22102 61 0 0 20 0 1 0 45631269 183238656 30399 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 44736 30399 2336 1147 0 32163 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/40068/statm: 90961 70413 2336 1147 0 78388 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 368036 KiB
Current children cumulated memory: 284468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 40218
/proc/meminfo: memFree=123718536/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=363844 memory=281652 CPUtime=3093.07 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37070 0 0 0 308947 360 0 0 20 0 1 0 45631269 372576256 70413 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 90961 70413 2336 1147 0 78388 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 368036 KiB
Current children cumulated memory: 284468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 40220
/proc/meminfo: memFree=123717676/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=364268 memory=281908 CPUtime=3152.89 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37135 0 0 0 314924 365 0 0 20 0 1 0 45631269 373010432 70477 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91067 70477 2336 1147 0 78494 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 368460 KiB
Current children cumulated memory: 284724 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 40224
/proc/meminfo: memFree=123709684/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=365384 memory=284856 CPUtime=3212.71 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37371 0 0 0 320901 370 0 0 20 0 1 0 45631269 374153216 71214 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91346 71214 2336 1147 0 78773 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 369576 KiB
Current children cumulated memory: 287672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 40227
/proc/meminfo: memFree=123681140/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=365384 memory=292920 CPUtime=3272.53 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37375 0 0 0 326878 375 0 0 20 0 1 0 45631269 374153216 73230 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91346 73230 2336 1147 0 78773 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 369576 KiB
Current children cumulated memory: 295736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/268 40240
/proc/meminfo: memFree=123681660/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=366412 memory=293816 CPUtime=3332.35 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37589 0 0 0 332855 380 0 0 20 0 1 0 45631269 375205888 73454 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91603 73454 2336 1147 0 79030 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 370604 KiB
Current children cumulated memory: 296632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 40242
/proc/meminfo: memFree=123669164/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=366412 memory=293816 CPUtime=3392.18 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37600 0 0 0 338834 384 0 0 20 0 1 0 45631269 375205888 73454 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91603 73454 2336 1147 0 79030 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 370604 KiB
Current children cumulated memory: 296632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 40244
/proc/meminfo: memFree=123669656/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=366984 memory=294328 CPUtime=3452 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37743 0 0 0 344811 389 0 0 20 0 1 0 45631269 375791616 73582 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91746 73582 2336 1147 0 79173 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 371176 KiB
Current children cumulated memory: 297144 KiB
[startup+3522.3 s]
/proc/loadavg: 3.25 3.89 4.02 2/247 40340
/proc/meminfo: memFree=124791128/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=366984 memory=294328 CPUtime=3511.83 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37743 0 0 0 350787 396 0 0 20 0 1 0 45631269 375791616 73582 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91746 73582 2336 1147 0 79173 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 371176 KiB
Current children cumulated memory: 297144 KiB
[startup+3582.3 s]
/proc/loadavg: 1.87 3.38 3.84 2/246 40342
/proc/meminfo: memFree=124787640/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=367952 memory=297124 CPUtime=3571.67 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37932 0 0 0 356764 403 0 0 20 0 1 0 45631269 376782848 74281 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91988 74281 2336 1147 0 79415 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 372144 KiB
Current children cumulated memory: 299940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 1.59 3.16 3.75 2/246 40343
/proc/meminfo: memFree=124787924/131249992 swapFree=33010160/33010684
[pid=40066] ppid=40063 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/40066/stat : 40066 (run-opt.sh) S 40063 40066 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45631269 4292608 704 18446744073709551615 94550746161152 94550747055685 140735221468944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550747294736 94550747342480 94550753828864 140735221471597 140735221471720 140735221471720 140735221477322 0
/proc/40066/statm: 1048 704 672 219 0 110 0
[pid=40068] ppid=40066 vsize=367952 memory=297124 CPUtime=3600.09 cores=0,2
/proc/40068/stat : 40068 (roundingsat) R 40066 40066 39107 0 -1 4194304 37932 0 0 0 359604 405 0 0 20 0 1 0 45631269 376782848 74281 18446744073709551615 4227072 8923433 140723745389024 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39751680 140723745397154 140723745397288 140723745397288 140723745402858 0
/proc/40068/statm: 91988 74281 2336 1147 0 79415 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 372144 KiB
Current children cumulated memory: 299940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 40066 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002325 s, system=0 s
[startup+3610.81 s]
# the end of solver process 40068 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.06 s, system=4.05953 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.12
CPU user time (s): 3596.06
CPU system time (s): 4.05953
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 372144
Max. memory (cumulated for all children) (KiB): 299940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.06
system time used= 4.05953
maximum resident set size= 297380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 8035
# summary of solver processes directly reported to runsolver:
# pid: 40066,40068
# total CPU time (s): 3600.12
# total CPU user time (s): 3596.06
# total CPU system time (s): 4.05953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02081 second user time and 16.9688 second system time
The end
Begin job on nodeC035 at 2025-06-30 18:06:07
IDJOB=4485090
IDBENCH=146693
IDSOLVER=3350
FILE ID=nodeC035/4485090-1751299567
RUNJOBID= nodeC035-1751292233-39122
SLURM_JOB_ID= 9594262
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485090-1751299567/watcher-4485090-1751299567 -o /tmp/evaluation-result-4485090-1751299567/solver-4485090-1751299567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39122 --watchdog 3760 run-opt.sh HOME/instance-4485090-1751299567.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d08022a8f602c12904bf031cb8221b8f
RANDOM SEED=1220223800
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.540
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.562
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.953
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.751
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3583.814
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 124666608 kB
MemAvailable: 129315744 kB
Buffers: 1840 kB
Cached: 5402592 kB
SwapCached: 8 kB
Active: 771660 kB
Inactive: 5123132 kB
Active(anon): 496788 kB
Inactive(anon): 11624 kB
Active(file): 274872 kB
Inactive(file): 5111508 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7860 kB
Writeback: 0 kB
AnonPages: 493448 kB
Mapped: 116320 kB
Shmem: 18048 kB
KReclaimable: 203992 kB
Slab: 292548 kB
SReclaimable: 203992 kB
SUnreclaim: 88556 kB
KernelStack: 4368 kB
PageTables: 4228 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 899796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 151552 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC035 at 2025-06-30 19:06:18