0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.09/0.16 c [STEP] solving
0.09/0.16 c #variables 2025 #constraints 61821
0.09/0.16 c SMALL=int, LARGE=long long
0.09/0.16 c bounds - >= -326 @ 0.112516
0.09/0.16 c stratification level: 3
0.09/0.17 c bounds - >= -306 @ 0.113464
0.09/0.17 c bounds - >= -303 @ 0.113535
0.09/0.17 c bounds - >= -300 @ 0.113639
0.09/0.17 c bounds - >= -296 @ 0.113799
0.09/0.17 c bounds - >= -293 @ 0.113862
0.09/0.17 c bounds - >= -289 @ 0.113992
0.09/0.17 c bounds - >= -286 @ 0.114049
0.09/0.17 c bounds - >= -282 @ 0.114175
0.09/0.17 c bounds - >= -278 @ 0.11426
0.09/0.17 c bounds - >= -275 @ 0.114345
0.09/0.17 c bounds - >= -272 @ 0.114475
0.09/0.17 c bounds - >= -269 @ 0.114682
0.09/0.17 c bounds - >= -266 @ 0.114759
0.09/0.17 c bounds - >= -263 @ 0.11482
0.09/0.17 c bounds - >= -260 @ 0.114935
0.09/0.17 c bounds - >= -257 @ 0.115062
0.09/0.17 c finalizing WCE round: reformulating cores
0.20/0.21 c bounds -133 >= -270 @ 0.128934
0.20/0.21 c bounds -146 >= -259 @ 0.130266
0.20/0.21 c bounds -151 >= -255 @ 0.136308
0.20/0.21 c bounds -151 >= -252 @ 0.136504
0.20/0.21 c bounds -151 >= -249 @ 0.13668
0.20/0.21 c finalizing WCE round: reformulating cores
0.30/0.31 c bounds -158 >= -249 @ 0.18159
0.30/0.31 c #Conflicts: 1000 | #Constraints: 62917
0.30/0.31 c bounds -159 >= -249 @ 0.242928
0.30/0.31 c stratification level: 2
0.49/0.54 c bounds -159 >= -239 @ 0.243024
0.49/0.54 c bounds -159 >= -237 @ 0.243097
0.49/0.54 c bounds -159 >= -235 @ 0.243157
0.49/0.54 c bounds -159 >= -233 @ 0.243289
0.49/0.54 c bounds -159 >= -231 @ 0.243425
0.49/0.54 c bounds -159 >= -229 @ 0.247646
0.49/0.54 c #Conflicts: 2000 | #Constraints: 63933
0.49/0.54 c INPROCESSING
0.49/0.54 c #Conflicts: 3000 | #Constraints: 63897
0.49/0.54 c #Conflicts: 4000 | #Constraints: 64897
0.49/0.54 c INPROCESSING
0.49/0.54 c GARBAGE COLLECT
0.49/0.54 c finalizing WCE round: reformulating cores
1.88/1.96 c #Conflicts: 5000 | #Constraints: 64313
1.88/1.96 c #Conflicts: 6000 | #Constraints: 65318
1.88/1.96 c INPROCESSING
1.88/1.96 c bounds -162 >= -231 @ 0.657749
1.88/1.96 c #Conflicts: 7000 | #Constraints: 64336
1.88/1.96 c #Conflicts: 8000 | #Constraints: 65338
1.88/1.96 c #Conflicts: 9000 | #Constraints: 66340
1.88/1.96 c bounds -162 >= -225 @ 0.879339
1.88/1.96 c INPROCESSING
1.88/1.96 c GARBAGE COLLECT
1.88/1.96 c bounds -162 >= -223 @ 0.930985
1.88/1.96 c #Conflicts: 10000 | #Constraints: 64928
1.88/1.96 c #Conflicts: 11000 | #Constraints: 65928
1.88/1.96 c #Conflicts: 12000 | #Constraints: 66928
1.88/1.96 c INPROCESSING
1.88/1.96 c #Conflicts: 13000 | #Constraints: 65459
1.88/1.96 c #Conflicts: 14000 | #Constraints: 66459
1.88/1.96 c finalizing WCE round: reformulating cores
3.18/3.29 c #Conflicts: 15000 | #Constraints: 67462
3.18/3.29 c INPROCESSING
3.18/3.29 c GARBAGE COLLECT
3.18/3.29 c bounds -164 >= -223 @ 2.10404
3.18/3.29 c #Conflicts: 16000 | #Constraints: 65732
3.18/3.29 c #Conflicts: 17000 | #Constraints: 66732
3.18/3.29 c #Conflicts: 18000 | #Constraints: 67732
3.18/3.29 c INPROCESSING
3.18/3.29 c GARBAGE COLLECT
3.18/3.29 c #Conflicts: 19000 | #Constraints: 65773
3.18/3.29 c #Conflicts: 20000 | #Constraints: 66773
3.18/3.29 c bounds -166 >= -223 @ 3.15368
3.18/3.29 c stratification level: 1
3.78/3.89 c bounds -166 >= -214 @ 3.15536
3.78/3.89 c bounds -166 >= -213 @ 3.15569
3.78/3.89 c bounds -166 >= -212 @ 3.1559
3.78/3.89 c bounds -166 >= -211 @ 3.15658
3.78/3.89 c bounds -166 >= -210 @ 3.15732
3.78/3.89 c bounds -166 >= -209 @ 3.15769
3.78/3.89 c bounds -166 >= -208 @ 3.15832
3.78/3.89 c bounds -166 >= -207 @ 3.15861
3.78/3.89 c bounds -166 >= -206 @ 3.1588
3.78/3.89 c bounds -166 >= -205 @ 3.15998
3.78/3.89 c bounds -166 >= -204 @ 3.16077
3.78/3.89 c bounds -166 >= -203 @ 3.16286
3.78/3.89 c bounds -166 >= -202 @ 3.16392
3.78/3.89 c bounds -166 >= -201 @ 3.16724
3.78/3.89 c bounds -166 >= -200 @ 3.17042
3.78/3.89 c bounds -166 >= -199 @ 3.17986
3.78/3.89 c bounds -166 >= -198 @ 3.23676
3.78/3.89 c #Conflicts: 21000 | #Constraints: 67969
3.78/3.89 c INPROCESSING
3.78/3.89 c GARBAGE COLLECT
3.78/3.89 c #Conflicts: 22000 | #Constraints: 65740
3.78/3.89 c bounds -166 >= -197 @ 3.54689
3.78/3.89 c #Conflicts: 23000 | #Constraints: 66759
3.78/3.89 c finalizing WCE round: reformulating cores
16.83/16.90 c #Conflicts: 24000 | #Constraints: 67764
16.83/16.90 c #Conflicts: 25000 | #Constraints: 68766
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 26000 | #Constraints: 66339
16.83/16.90 c #Conflicts: 27000 | #Constraints: 67341
16.83/16.90 c bounds -167 >= -210 @ 4.36375
16.83/16.90 c #Conflicts: 28000 | #Constraints: 68343
16.83/16.90 c bounds -167 >= -208 @ 4.62591
16.83/16.90 c #Conflicts: 29000 | #Constraints: 69347
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 30000 | #Constraints: 66564
16.83/16.90 c bounds -167 >= -205 @ 4.90249
16.83/16.90 c #Conflicts: 31000 | #Constraints: 67568
16.83/16.90 c bounds -167 >= -203 @ 5.08246
16.83/16.90 c #Conflicts: 32000 | #Constraints: 68572
16.83/16.90 c bounds -167 >= -201 @ 5.30947
16.83/16.90 c bounds -167 >= -201 @ 5.3262
16.83/16.90 c bounds -167 >= -201 @ 5.42075
16.83/16.90 c #Conflicts: 33000 | #Constraints: 69580
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c bounds -167 >= -197 @ 5.59751
16.83/16.90 c bounds -167 >= -197 @ 5.61304
16.83/16.90 c #Conflicts: 34000 | #Constraints: 66644
16.83/16.90 c bounds -167 >= -197 @ 5.64527
16.83/16.90 c bounds -167 >= -193 @ 5.80312
16.83/16.90 c bounds -167 >= -193 @ 5.81997
16.83/16.90 c #Conflicts: 35000 | #Constraints: 67652
16.83/16.90 c bounds -167 >= -190 @ 6.02386
16.83/16.90 c #Conflicts: 36000 | #Constraints: 68656
16.83/16.90 c #Conflicts: 37000 | #Constraints: 69658
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 38000 | #Constraints: 66638
16.83/16.90 c #Conflicts: 39000 | #Constraints: 67640
16.83/16.90 c bounds -167 >= -185 @ 6.78283
16.83/16.90 c #Conflicts: 40000 | #Constraints: 68644
16.83/16.90 c #Conflicts: 41000 | #Constraints: 69646
16.83/16.90 c bounds -167 >= -183 @ 7.00219
16.83/16.90 c bounds -167 >= -182 @ 7.00387
16.83/16.90 c bounds -167 >= -181 @ 7.00455
16.83/16.90 c bounds -167 >= -180 @ 7.00571
16.83/16.90 c bounds -167 >= -179 @ 7.02011
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c bounds -167 >= -178 @ 7.17001
16.83/16.90 c #Conflicts: 42000 | #Constraints: 66728
16.83/16.90 c #Conflicts: 43000 | #Constraints: 67728
16.83/16.90 c #Conflicts: 44000 | #Constraints: 68728
16.83/16.90 c #Conflicts: 45000 | #Constraints: 69728
16.83/16.90 c #Conflicts: 46000 | #Constraints: 70728
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 47000 | #Constraints: 67387
16.83/16.90 c #Conflicts: 48000 | #Constraints: 68387
16.83/16.90 c #Conflicts: 49000 | #Constraints: 69387
16.83/16.90 c #Conflicts: 50000 | #Constraints: 70387
16.83/16.90 c #Conflicts: 51000 | #Constraints: 71387
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 52000 | #Constraints: 67822
16.83/16.90 c #Conflicts: 53000 | #Constraints: 68822
16.83/16.90 c #Conflicts: 54000 | #Constraints: 69822
16.83/16.90 c bounds -167 >= -177 @ 10.4972
16.83/16.90 c #Conflicts: 55000 | #Constraints: 70865
16.83/16.90 c #Conflicts: 56000 | #Constraints: 71865
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 57000 | #Constraints: 68073
16.83/16.90 c #Conflicts: 58000 | #Constraints: 69073
16.83/16.90 c #Conflicts: 59000 | #Constraints: 70073
16.83/16.90 c #Conflicts: 60000 | #Constraints: 71073
16.83/16.90 c #Conflicts: 61000 | #Constraints: 72073
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 62000 | #Constraints: 68077
16.83/16.90 c #Conflicts: 63000 | #Constraints: 69077
16.83/16.90 c #Conflicts: 64000 | #Constraints: 70077
16.83/16.90 c #Conflicts: 65000 | #Constraints: 71077
16.83/16.90 c #Conflicts: 66000 | #Constraints: 72077
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 67000 | #Constraints: 67885
16.83/16.90 c #Conflicts: 68000 | #Constraints: 68885
16.83/16.90 c #Conflicts: 69000 | #Constraints: 69885
16.83/16.90 c #Conflicts: 70000 | #Constraints: 70885
16.83/16.90 c #Conflicts: 71000 | #Constraints: 71885
16.83/16.90 c #Conflicts: 72000 | #Constraints: 72885
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 73000 | #Constraints: 68474
16.83/16.90 c #Conflicts: 74000 | #Constraints: 69474
16.83/16.90 c #Conflicts: 75000 | #Constraints: 70474
16.83/16.90 c #Conflicts: 76000 | #Constraints: 71474
16.83/16.90 c #Conflicts: 77000 | #Constraints: 72474
16.83/16.90 c #Conflicts: 78000 | #Constraints: 73474
16.83/16.90 c INPROCESSING
16.83/16.90 c GARBAGE COLLECT
16.83/16.90 c #Conflicts: 79000 | #Constraints: 68886
16.83/16.90 c #Conflicts: 80000 | #Constraints: 69886
16.83/16.90 c #Conflicts: 81000 | #Constraints: 70886
16.83/16.90 c #Conflicts: 82000 | #Constraints: 71886
36.56/36.73 c #Conflicts: 83000 | #Constraints: 72886
36.56/36.73 c #Conflicts: 84000 | #Constraints: 73886
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 85000 | #Constraints: 69092
36.56/36.73 c #Conflicts: 86000 | #Constraints: 70092
36.56/36.73 c #Conflicts: 87000 | #Constraints: 71092
36.56/36.73 c #Conflicts: 88000 | #Constraints: 72092
36.56/36.73 c #Conflicts: 89000 | #Constraints: 73092
36.56/36.73 c #Conflicts: 90000 | #Constraints: 74092
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 91000 | #Constraints: 69098
36.56/36.73 c #Conflicts: 92000 | #Constraints: 70098
36.56/36.73 c #Conflicts: 93000 | #Constraints: 71098
36.56/36.73 c #Conflicts: 94000 | #Constraints: 72098
36.56/36.73 c #Conflicts: 95000 | #Constraints: 73098
36.56/36.73 c #Conflicts: 96000 | #Constraints: 74098
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 97000 | #Constraints: 68893
36.56/36.73 c #Conflicts: 98000 | #Constraints: 69893
36.56/36.73 c #Conflicts: 99000 | #Constraints: 70893
36.56/36.73 c #Conflicts: 100000 | #Constraints: 71893
36.56/36.73 c #Conflicts: 101000 | #Constraints: 72893
36.56/36.73 c #Conflicts: 102000 | #Constraints: 73893
36.56/36.73 c #Conflicts: 103000 | #Constraints: 74893
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 104000 | #Constraints: 69499
36.56/36.73 c #Conflicts: 105000 | #Constraints: 70499
36.56/36.73 c #Conflicts: 106000 | #Constraints: 71499
36.56/36.73 c #Conflicts: 107000 | #Constraints: 72499
36.56/36.73 c #Conflicts: 108000 | #Constraints: 73499
36.56/36.73 c #Conflicts: 109000 | #Constraints: 74499
36.56/36.73 c #Conflicts: 110000 | #Constraints: 75499
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 111000 | #Constraints: 69895
36.56/36.73 c #Conflicts: 112000 | #Constraints: 70895
36.56/36.73 c #Conflicts: 113000 | #Constraints: 71895
36.56/36.73 c #Conflicts: 114000 | #Constraints: 72895
36.56/36.73 c #Conflicts: 115000 | #Constraints: 73895
36.56/36.73 c #Conflicts: 116000 | #Constraints: 74895
36.56/36.73 c #Conflicts: 117000 | #Constraints: 75895
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 118000 | #Constraints: 70097
36.56/36.73 c #Conflicts: 119000 | #Constraints: 71097
36.56/36.73 c #Conflicts: 120000 | #Constraints: 72097
36.56/36.73 c #Conflicts: 121000 | #Constraints: 73097
36.56/36.73 c #Conflicts: 122000 | #Constraints: 74097
36.56/36.73 c #Conflicts: 123000 | #Constraints: 75097
36.56/36.73 c #Conflicts: 124000 | #Constraints: 76097
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 125000 | #Constraints: 70104
36.56/36.73 c #Conflicts: 126000 | #Constraints: 71104
36.56/36.73 c #Conflicts: 127000 | #Constraints: 72104
36.56/36.73 c #Conflicts: 128000 | #Constraints: 73104
36.56/36.73 c #Conflicts: 129000 | #Constraints: 74104
36.56/36.73 c #Conflicts: 130000 | #Constraints: 75104
36.56/36.73 c #Conflicts: 131000 | #Constraints: 76104
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 132000 | #Constraints: 69897
36.56/36.73 c #Conflicts: 133000 | #Constraints: 70897
36.56/36.73 c #Conflicts: 134000 | #Constraints: 71897
36.56/36.73 c #Conflicts: 135000 | #Constraints: 72897
36.56/36.73 c #Conflicts: 136000 | #Constraints: 73897
36.56/36.73 c #Conflicts: 137000 | #Constraints: 74897
36.56/36.73 c #Conflicts: 138000 | #Constraints: 75897
36.56/36.73 c #Conflicts: 139000 | #Constraints: 76897
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 140000 | #Constraints: 70499
36.56/36.73 c #Conflicts: 141000 | #Constraints: 71499
36.56/36.73 c #Conflicts: 142000 | #Constraints: 72499
36.56/36.73 c #Conflicts: 143000 | #Constraints: 73499
36.56/36.73 c #Conflicts: 144000 | #Constraints: 74499
36.56/36.73 c #Conflicts: 145000 | #Constraints: 75499
36.56/36.73 c #Conflicts: 146000 | #Constraints: 76499
36.56/36.73 c #Conflicts: 147000 | #Constraints: 77499
36.56/36.73 c INPROCESSING
36.56/36.73 c GARBAGE COLLECT
36.56/36.73 c #Conflicts: 148000 | #Constraints: 70902
36.56/36.73 c #Conflicts: 149000 | #Constraints: 71902
36.56/36.73 c #Conflicts: 150000 | #Constraints: 72902
36.56/36.73 c #Conflicts: 151000 | #Constraints: 73902
36.56/36.73 c #Conflicts: 152000 | #Constraints: 74902
36.56/36.73 c #Conflicts: 153000 | #Constraints: 75902
36.56/36.73 c #Conflicts: 154000 | #Constraints: 76902
58.39/58.65 c #Conflicts: 155000 | #Constraints: 77902
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 156000 | #Constraints: 71109
58.39/58.65 c #Conflicts: 157000 | #Constraints: 72109
58.39/58.65 c #Conflicts: 158000 | #Constraints: 73109
58.39/58.65 c #Conflicts: 159000 | #Constraints: 74109
58.39/58.65 c #Conflicts: 160000 | #Constraints: 75109
58.39/58.65 c #Conflicts: 161000 | #Constraints: 76109
58.39/58.65 c #Conflicts: 162000 | #Constraints: 77109
58.39/58.65 c #Conflicts: 163000 | #Constraints: 78109
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 164000 | #Constraints: 71117
58.39/58.65 c #Conflicts: 165000 | #Constraints: 72117
58.39/58.65 c #Conflicts: 166000 | #Constraints: 73117
58.39/58.65 c #Conflicts: 167000 | #Constraints: 74117
58.39/58.65 c #Conflicts: 168000 | #Constraints: 75117
58.39/58.65 c #Conflicts: 169000 | #Constraints: 76117
58.39/58.65 c #Conflicts: 170000 | #Constraints: 77117
58.39/58.65 c #Conflicts: 171000 | #Constraints: 78117
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 172000 | #Constraints: 70908
58.39/58.65 c #Conflicts: 173000 | #Constraints: 71908
58.39/58.65 c #Conflicts: 174000 | #Constraints: 72908
58.39/58.65 c #Conflicts: 175000 | #Constraints: 73908
58.39/58.65 c #Conflicts: 176000 | #Constraints: 74908
58.39/58.65 c #Conflicts: 177000 | #Constraints: 75908
58.39/58.65 c #Conflicts: 178000 | #Constraints: 76908
58.39/58.65 c #Conflicts: 179000 | #Constraints: 77908
58.39/58.65 c #Conflicts: 180000 | #Constraints: 78908
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 181000 | #Constraints: 71514
58.39/58.65 c #Conflicts: 182000 | #Constraints: 72514
58.39/58.65 c #Conflicts: 183000 | #Constraints: 73514
58.39/58.65 c #Conflicts: 184000 | #Constraints: 74514
58.39/58.65 c #Conflicts: 185000 | #Constraints: 75514
58.39/58.65 c #Conflicts: 186000 | #Constraints: 76514
58.39/58.65 c #Conflicts: 187000 | #Constraints: 77514
58.39/58.65 c #Conflicts: 188000 | #Constraints: 78514
58.39/58.65 c #Conflicts: 189000 | #Constraints: 79514
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 190000 | #Constraints: 71916
58.39/58.65 c #Conflicts: 191000 | #Constraints: 72916
58.39/58.65 c #Conflicts: 192000 | #Constraints: 73916
58.39/58.65 c #Conflicts: 193000 | #Constraints: 74916
58.39/58.65 c #Conflicts: 194000 | #Constraints: 75916
58.39/58.65 c #Conflicts: 195000 | #Constraints: 76916
58.39/58.65 c #Conflicts: 196000 | #Constraints: 77916
58.39/58.65 c #Conflicts: 197000 | #Constraints: 78916
58.39/58.65 c #Conflicts: 198000 | #Constraints: 79916
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 199000 | #Constraints: 72125
58.39/58.65 c #Conflicts: 200000 | #Constraints: 73125
58.39/58.65 c #Conflicts: 201000 | #Constraints: 74125
58.39/58.65 c #Conflicts: 202000 | #Constraints: 75125
58.39/58.65 c bounds -167 >= -176 @ 52.1599
58.39/58.65 c #Conflicts: 203000 | #Constraints: 76171
58.39/58.65 c #Conflicts: 204000 | #Constraints: 77171
58.39/58.65 c #Conflicts: 205000 | #Constraints: 78171
58.39/58.65 c #Conflicts: 206000 | #Constraints: 79171
58.39/58.65 c #Conflicts: 207000 | #Constraints: 80171
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 208000 | #Constraints: 72168
58.39/58.65 c #Conflicts: 209000 | #Constraints: 73168
58.39/58.65 c #Conflicts: 210000 | #Constraints: 74168
58.39/58.65 c #Conflicts: 211000 | #Constraints: 75168
58.39/58.65 c #Conflicts: 212000 | #Constraints: 76168
58.39/58.65 c #Conflicts: 213000 | #Constraints: 77168
58.39/58.65 c #Conflicts: 214000 | #Constraints: 78168
58.39/58.65 c #Conflicts: 215000 | #Constraints: 79168
58.39/58.65 c #Conflicts: 216000 | #Constraints: 80168
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 217000 | #Constraints: 71964
58.39/58.65 c #Conflicts: 218000 | #Constraints: 72964
58.39/58.65 c #Conflicts: 219000 | #Constraints: 73964
58.39/58.65 c #Conflicts: 220000 | #Constraints: 74964
58.39/58.65 c #Conflicts: 221000 | #Constraints: 75964
58.39/58.65 c #Conflicts: 222000 | #Constraints: 76964
58.39/58.65 c #Conflicts: 223000 | #Constraints: 77964
58.39/58.65 c #Conflicts: 224000 | #Constraints: 78964
58.39/58.65 c #Conflicts: 225000 | #Constraints: 79964
58.39/58.65 c #Conflicts: 226000 | #Constraints: 80964
58.39/58.65 c INPROCESSING
58.39/58.65 c GARBAGE COLLECT
58.39/58.65 c #Conflicts: 227000 | #Constraints: 72566
78.41/78.70 c #Conflicts: 228000 | #Constraints: 73566
78.41/78.70 c #Conflicts: 229000 | #Constraints: 74566
78.41/78.70 c #Conflicts: 230000 | #Constraints: 75566
78.41/78.70 c #Conflicts: 231000 | #Constraints: 76566
78.41/78.70 c #Conflicts: 232000 | #Constraints: 77566
78.41/78.70 c #Conflicts: 233000 | #Constraints: 78566
78.41/78.70 c #Conflicts: 234000 | #Constraints: 79566
78.41/78.70 c #Conflicts: 235000 | #Constraints: 80566
78.41/78.70 c #Conflicts: 236000 | #Constraints: 81566
78.41/78.70 c INPROCESSING
78.41/78.70 c GARBAGE COLLECT
78.41/78.70 c #Conflicts: 237000 | #Constraints: 72957
78.41/78.70 c #Conflicts: 238000 | #Constraints: 73957
78.41/78.70 c #Conflicts: 239000 | #Constraints: 74957
78.41/78.70 c #Conflicts: 240000 | #Constraints: 75957
78.41/78.70 c #Conflicts: 241000 | #Constraints: 76957
78.41/78.70 c #Conflicts: 242000 | #Constraints: 77957
78.41/78.70 c #Conflicts: 243000 | #Constraints: 78957
78.41/78.70 c #Conflicts: 244000 | #Constraints: 79957
78.41/78.70 c #Conflicts: 245000 | #Constraints: 80957
78.41/78.70 c #Conflicts: 246000 | #Constraints: 81957
78.41/78.70 c INPROCESSING
78.41/78.70 c GARBAGE COLLECT
78.41/78.70 c #Conflicts: 247000 | #Constraints: 73157
78.41/78.70 c #Conflicts: 248000 | #Constraints: 74157
78.41/78.70 c #Conflicts: 249000 | #Constraints: 75157
78.41/78.70 c #Conflicts: 250000 | #Constraints: 76157
78.41/78.70 c #Conflicts: 251000 | #Constraints: 77157
78.41/78.70 c #Conflicts: 252000 | #Constraints: 78157
78.41/78.70 c #Conflicts: 253000 | #Constraints: 79157
78.41/78.70 c #Conflicts: 254000 | #Constraints: 80157
78.41/78.70 c #Conflicts: 255000 | #Constraints: 81157
78.41/78.70 c #Conflicts: 256000 | #Constraints: 82157
78.41/78.70 c INPROCESSING
78.41/78.70 c GARBAGE COLLECT
78.41/78.70 c #Conflicts: 257000 | #Constraints: 73152
78.41/78.70 c #Conflicts: 258000 | #Constraints: 74152
78.41/78.70 c #Conflicts: 259000 | #Constraints: 75152
78.41/78.70 c #Conflicts: 260000 | #Constraints: 76152
78.41/78.70 c #Conflicts: 261000 | #Constraints: 77152
78.41/78.70 c #Conflicts: 262000 | #Constraints: 78152
78.41/78.70 c #Conflicts: 263000 | #Constraints: 79152
78.41/78.70 c #Conflicts: 264000 | #Constraints: 80152
78.41/78.70 c #Conflicts: 265000 | #Constraints: 81152
78.41/78.70 c #Conflicts: 266000 | #Constraints: 82152
78.41/78.70 c INPROCESSING
78.41/78.70 c GARBAGE COLLECT
78.41/78.70 c #Conflicts: 267000 | #Constraints: 72952
78.41/78.70 c #Conflicts: 268000 | #Constraints: 73952
78.41/78.70 c #Conflicts: 269000 | #Constraints: 74952
78.41/78.70 c #Conflicts: 270000 | #Constraints: 75952
78.41/78.70 c #Conflicts: 271000 | #Constraints: 76952
78.41/78.70 c #Conflicts: 272000 | #Constraints: 77952
78.41/78.70 c #Conflicts: 273000 | #Constraints: 78952
78.41/78.70 c #Conflicts: 274000 | #Constraints: 79952
78.41/78.70 c #Conflicts: 275000 | #Constraints: 80952
78.41/78.70 c #Conflicts: 276000 | #Constraints: 81952
78.41/78.70 c #Conflicts: 277000 | #Constraints: 82952
78.41/78.70 c INPROCESSING
78.41/78.70 c GARBAGE COLLECT
78.41/78.70 c #Conflicts: 278000 | #Constraints: 73548
78.41/78.70 c #Conflicts: 279000 | #Constraints: 74548
78.41/78.70 c #Conflicts: 280000 | #Constraints: 75548
78.41/78.70 c #Conflicts: 281000 | #Constraints: 76548
78.41/78.70 c #Conflicts: 282000 | #Constraints: 77548
78.41/78.70 c #Conflicts: 283000 | #Constraints: 78548
78.41/78.70 c #Conflicts: 284000 | #Constraints: 79548
78.41/78.70 c #Conflicts: 285000 | #Constraints: 80548
78.41/78.70 c #Conflicts: 286000 | #Constraints: 81548
78.41/78.70 c #Conflicts: 287000 | #Constraints: 82548
78.41/78.70 c #Conflicts: 288000 | #Constraints: 83548
78.41/78.70 c INPROCESSING
78.41/78.70 c GARBAGE COLLECT
78.41/78.70 c #Conflicts: 289000 | #Constraints: 73957
78.41/78.70 c #Conflicts: 290000 | #Constraints: 74957
78.41/78.70 c #Conflicts: 291000 | #Constraints: 75957
78.41/78.70 c #Conflicts: 292000 | #Constraints: 76957
78.41/78.70 c #Conflicts: 293000 | #Constraints: 77957
78.41/78.70 c #Conflicts: 294000 | #Constraints: 78957
78.41/78.70 c #Conflicts: 295000 | #Constraints: 79957
78.41/78.70 c #Conflicts: 296000 | #Constraints: 80957
78.41/78.70 c #Conflicts: 297000 | #Constraints: 81957
78.41/78.70 c #Conflicts: 298000 | #Constraints: 82957
78.41/78.70 c #Conflicts: 299000 | #Constraints: 83957
78.41/78.70 c INPROCESSING
78.41/78.70 c GARBAGE COLLECT
78.41/78.70 c #Conflicts: 300000 | #Constraints: 74156
78.41/78.70 c #Conflicts: 301000 | #Constraints: 75156
101.42/101.88 c #Conflicts: 302000 | #Constraints: 76156
101.42/101.88 c #Conflicts: 303000 | #Constraints: 77156
101.42/101.88 c #Conflicts: 304000 | #Constraints: 78156
101.42/101.88 c #Conflicts: 305000 | #Constraints: 79156
101.42/101.88 c #Conflicts: 306000 | #Constraints: 80156
101.42/101.88 c #Conflicts: 307000 | #Constraints: 81156
101.42/101.88 c #Conflicts: 308000 | #Constraints: 82156
101.42/101.88 c #Conflicts: 309000 | #Constraints: 83156
101.42/101.88 c #Conflicts: 310000 | #Constraints: 84156
101.42/101.88 c INPROCESSING
101.42/101.88 c GARBAGE COLLECT
101.42/101.88 c #Conflicts: 311000 | #Constraints: 74155
101.42/101.88 c #Conflicts: 312000 | #Constraints: 75155
101.42/101.88 c #Conflicts: 313000 | #Constraints: 76155
101.42/101.88 c #Conflicts: 314000 | #Constraints: 77155
101.42/101.88 c #Conflicts: 315000 | #Constraints: 78155
101.42/101.88 c #Conflicts: 316000 | #Constraints: 79155
101.42/101.88 c #Conflicts: 317000 | #Constraints: 80155
101.42/101.88 c #Conflicts: 318000 | #Constraints: 81155
101.42/101.88 c #Conflicts: 319000 | #Constraints: 82155
101.42/101.88 c #Conflicts: 320000 | #Constraints: 83155
101.42/101.88 c #Conflicts: 321000 | #Constraints: 84155
101.42/101.88 c INPROCESSING
101.42/101.88 c GARBAGE COLLECT
101.42/101.88 c #Conflicts: 322000 | #Constraints: 73956
101.42/101.88 c #Conflicts: 323000 | #Constraints: 74956
101.42/101.88 c #Conflicts: 324000 | #Constraints: 75956
101.42/101.88 c #Conflicts: 325000 | #Constraints: 76956
101.42/101.88 c #Conflicts: 326000 | #Constraints: 77956
101.42/101.88 c #Conflicts: 327000 | #Constraints: 78956
101.42/101.88 c #Conflicts: 328000 | #Constraints: 79956
101.42/101.88 c #Conflicts: 329000 | #Constraints: 80956
101.42/101.88 c #Conflicts: 330000 | #Constraints: 81956
101.42/101.88 c #Conflicts: 331000 | #Constraints: 82956
101.42/101.88 c #Conflicts: 332000 | #Constraints: 83956
101.42/101.88 c #Conflicts: 333000 | #Constraints: 84956
101.42/101.88 c INPROCESSING
101.42/101.88 c GARBAGE COLLECT
101.42/101.88 c #Conflicts: 334000 | #Constraints: 74564
101.42/101.88 c #Conflicts: 335000 | #Constraints: 75564
101.42/101.88 c #Conflicts: 336000 | #Constraints: 76564
101.42/101.88 c #Conflicts: 337000 | #Constraints: 77564
101.42/101.88 c #Conflicts: 338000 | #Constraints: 78564
101.42/101.88 c #Conflicts: 339000 | #Constraints: 79564
101.42/101.88 c #Conflicts: 340000 | #Constraints: 80564
101.42/101.88 c #Conflicts: 341000 | #Constraints: 81564
101.42/101.88 c #Conflicts: 342000 | #Constraints: 82564
101.42/101.88 c #Conflicts: 343000 | #Constraints: 83564
101.42/101.88 c #Conflicts: 344000 | #Constraints: 84564
101.42/101.88 c #Conflicts: 345000 | #Constraints: 85564
101.42/101.88 c INPROCESSING
101.42/101.88 c GARBAGE COLLECT
101.42/101.88 c #Conflicts: 346000 | #Constraints: 74954
101.42/101.88 c #Conflicts: 347000 | #Constraints: 75954
101.42/101.88 c #Conflicts: 348000 | #Constraints: 76954
101.42/101.88 c #Conflicts: 349000 | #Constraints: 77954
101.42/101.88 c #Conflicts: 350000 | #Constraints: 78954
101.42/101.88 c #Conflicts: 351000 | #Constraints: 79954
101.42/101.88 c #Conflicts: 352000 | #Constraints: 80954
101.42/101.88 c #Conflicts: 353000 | #Constraints: 81954
101.42/101.88 c #Conflicts: 354000 | #Constraints: 82954
101.42/101.88 c #Conflicts: 355000 | #Constraints: 83954
101.42/101.88 c #Conflicts: 356000 | #Constraints: 84954
101.42/101.88 c #Conflicts: 357000 | #Constraints: 85954
101.42/101.88 c INPROCESSING
101.42/101.88 c GARBAGE COLLECT
101.42/101.88 c #Conflicts: 358000 | #Constraints: 75160
101.42/101.88 c #Conflicts: 359000 | #Constraints: 76160
101.42/101.88 c #Conflicts: 360000 | #Constraints: 77160
101.42/101.88 c #Conflicts: 361000 | #Constraints: 78160
101.42/101.88 c #Conflicts: 362000 | #Constraints: 79160
101.42/101.88 c #Conflicts: 363000 | #Constraints: 80160
101.42/101.88 c #Conflicts: 364000 | #Constraints: 81160
101.42/101.88 c #Conflicts: 365000 | #Constraints: 82160
101.42/101.88 c #Conflicts: 366000 | #Constraints: 83160
101.42/101.88 c #Conflicts: 367000 | #Constraints: 84160
101.42/101.88 c #Conflicts: 368000 | #Constraints: 85160
101.42/101.88 c #Conflicts: 369000 | #Constraints: 86160
101.42/101.88 c INPROCESSING
101.42/101.88 c GARBAGE COLLECT
101.42/101.88 c #Conflicts: 370000 | #Constraints: 75163
101.42/101.88 c #Conflicts: 371000 | #Constraints: 76163
101.42/101.88 c #Conflicts: 372000 | #Constraints: 77163
101.42/101.88 c #Conflicts: 373000 | #Constraints: 78163
101.42/101.88 c #Conflicts: 374000 | #Constraints: 79163
101.42/101.88 c #Conflicts: 375000 | #Constraints: 80163
101.42/101.88 c #Conflicts: 376000 | #Constraints: 81163
124.93/125.43 c #Conflicts: 377000 | #Constraints: 82163
124.93/125.43 c #Conflicts: 378000 | #Constraints: 83163
124.93/125.43 c bounds -167 >= -175 @ 100.861
124.93/125.43 c #Conflicts: 379000 | #Constraints: 84191
124.93/125.43 c #Conflicts: 380000 | #Constraints: 85191
124.93/125.43 c #Conflicts: 381000 | #Constraints: 86191
124.93/125.43 c INPROCESSING
124.93/125.43 c GARBAGE COLLECT
124.93/125.43 c #Conflicts: 382000 | #Constraints: 74986
124.93/125.43 c #Conflicts: 383000 | #Constraints: 75986
124.93/125.43 c #Conflicts: 384000 | #Constraints: 76986
124.93/125.43 c #Conflicts: 385000 | #Constraints: 77986
124.93/125.43 c #Conflicts: 386000 | #Constraints: 78986
124.93/125.43 c #Conflicts: 387000 | #Constraints: 79986
124.93/125.43 c #Conflicts: 388000 | #Constraints: 80986
124.93/125.43 c #Conflicts: 389000 | #Constraints: 81986
124.93/125.43 c #Conflicts: 390000 | #Constraints: 82986
124.93/125.43 c #Conflicts: 391000 | #Constraints: 83986
124.93/125.43 c #Conflicts: 392000 | #Constraints: 84986
124.93/125.43 c #Conflicts: 393000 | #Constraints: 85986
124.93/125.43 c #Conflicts: 394000 | #Constraints: 86986
124.93/125.43 c INPROCESSING
124.93/125.43 c GARBAGE COLLECT
124.93/125.43 c #Conflicts: 395000 | #Constraints: 75591
124.93/125.43 c #Conflicts: 396000 | #Constraints: 76591
124.93/125.43 c #Conflicts: 397000 | #Constraints: 77591
124.93/125.43 c #Conflicts: 398000 | #Constraints: 78591
124.93/125.43 c #Conflicts: 399000 | #Constraints: 79591
124.93/125.43 c #Conflicts: 400000 | #Constraints: 80591
124.93/125.43 c #Conflicts: 401000 | #Constraints: 81591
124.93/125.43 c #Conflicts: 402000 | #Constraints: 82591
124.93/125.43 c #Conflicts: 403000 | #Constraints: 83591
124.93/125.43 c #Conflicts: 404000 | #Constraints: 84591
124.93/125.43 c #Conflicts: 405000 | #Constraints: 85591
124.93/125.43 c #Conflicts: 406000 | #Constraints: 86591
124.93/125.43 c #Conflicts: 407000 | #Constraints: 87591
124.93/125.43 c INPROCESSING
124.93/125.43 c GARBAGE COLLECT
124.93/125.43 c #Conflicts: 408000 | #Constraints: 75982
124.93/125.43 c #Conflicts: 409000 | #Constraints: 76982
124.93/125.43 c #Conflicts: 410000 | #Constraints: 77982
124.93/125.43 c #Conflicts: 411000 | #Constraints: 78982
124.93/125.43 c #Conflicts: 412000 | #Constraints: 79982
124.93/125.43 c #Conflicts: 413000 | #Constraints: 80982
124.93/125.43 c #Conflicts: 414000 | #Constraints: 81982
124.93/125.43 c #Conflicts: 415000 | #Constraints: 82982
124.93/125.43 c #Conflicts: 416000 | #Constraints: 83982
124.93/125.43 c #Conflicts: 417000 | #Constraints: 84982
124.93/125.43 c #Conflicts: 418000 | #Constraints: 85982
124.93/125.43 c #Conflicts: 419000 | #Constraints: 86982
124.93/125.43 c #Conflicts: 420000 | #Constraints: 87982
124.93/125.43 c INPROCESSING
124.93/125.43 c GARBAGE COLLECT
124.93/125.43 c #Conflicts: 421000 | #Constraints: 76184
124.93/125.43 c #Conflicts: 422000 | #Constraints: 77184
124.93/125.43 c #Conflicts: 423000 | #Constraints: 78184
124.93/125.43 c #Conflicts: 424000 | #Constraints: 79184
124.93/125.43 c #Conflicts: 425000 | #Constraints: 80184
124.93/125.43 c #Conflicts: 426000 | #Constraints: 81184
124.93/125.43 c #Conflicts: 427000 | #Constraints: 82184
124.93/125.43 c #Conflicts: 428000 | #Constraints: 83184
124.93/125.43 c #Conflicts: 429000 | #Constraints: 84184
124.93/125.43 c #Conflicts: 430000 | #Constraints: 85184
124.93/125.43 c #Conflicts: 431000 | #Constraints: 86184
124.93/125.43 c #Conflicts: 432000 | #Constraints: 87184
124.93/125.43 c #Conflicts: 433000 | #Constraints: 88184
124.93/125.43 c INPROCESSING
124.93/125.43 c GARBAGE COLLECT
124.93/125.43 c #Conflicts: 434000 | #Constraints: 76192
124.93/125.43 c #Conflicts: 435000 | #Constraints: 77192
124.93/125.43 c #Conflicts: 436000 | #Constraints: 78192
124.93/125.43 c #Conflicts: 437000 | #Constraints: 79192
124.93/125.43 c #Conflicts: 438000 | #Constraints: 80192
124.93/125.43 c #Conflicts: 439000 | #Constraints: 81192
124.93/125.43 c #Conflicts: 440000 | #Constraints: 82192
124.93/125.43 c #Conflicts: 441000 | #Constraints: 83192
124.93/125.43 c #Conflicts: 442000 | #Constraints: 84192
124.93/125.43 c #Conflicts: 443000 | #Constraints: 85192
124.93/125.43 c #Conflicts: 444000 | #Constraints: 86192
124.93/125.43 c #Conflicts: 445000 | #Constraints: 87192
124.93/125.43 c #Conflicts: 446000 | #Constraints: 88192
124.93/125.43 c INPROCESSING
124.93/125.43 c GARBAGE COLLECT
124.93/125.43 c #Conflicts: 447000 | #Constraints: 75998
124.93/125.43 c #Conflicts: 448000 | #Constraints: 76998
124.93/125.43 c #Conflicts: 449000 | #Constraints: 77998
124.93/125.43 c #Conflicts: 450000 | #Constraints: 78998
152.13/152.72 c #Conflicts: 451000 | #Constraints: 79998
152.13/152.72 c #Conflicts: 452000 | #Constraints: 80998
152.13/152.72 c #Conflicts: 453000 | #Constraints: 81998
152.13/152.72 c #Conflicts: 454000 | #Constraints: 82998
152.13/152.72 c bounds -167 >= -174 @ 124.953
152.13/152.72 c #Conflicts: 455000 | #Constraints: 84023
152.13/152.72 c #Conflicts: 456000 | #Constraints: 85023
152.13/152.72 c #Conflicts: 457000 | #Constraints: 86023
152.13/152.72 c #Conflicts: 458000 | #Constraints: 87023
152.13/152.72 c #Conflicts: 459000 | #Constraints: 88023
152.13/152.72 c #Conflicts: 460000 | #Constraints: 89023
152.13/152.72 c INPROCESSING
152.13/152.72 c GARBAGE COLLECT
152.13/152.72 c #Conflicts: 461000 | #Constraints: 76622
152.13/152.72 c #Conflicts: 462000 | #Constraints: 77622
152.13/152.72 c #Conflicts: 463000 | #Constraints: 78622
152.13/152.72 c #Conflicts: 464000 | #Constraints: 79622
152.13/152.72 c #Conflicts: 465000 | #Constraints: 80622
152.13/152.72 c #Conflicts: 466000 | #Constraints: 81622
152.13/152.72 c #Conflicts: 467000 | #Constraints: 82622
152.13/152.72 c #Conflicts: 468000 | #Constraints: 83622
152.13/152.72 c #Conflicts: 469000 | #Constraints: 84622
152.13/152.72 c #Conflicts: 470000 | #Constraints: 85622
152.13/152.72 c #Conflicts: 471000 | #Constraints: 86622
152.13/152.72 c #Conflicts: 472000 | #Constraints: 87622
152.13/152.72 c #Conflicts: 473000 | #Constraints: 88622
152.13/152.72 c #Conflicts: 474000 | #Constraints: 89622
152.13/152.72 c INPROCESSING
152.13/152.72 c GARBAGE COLLECT
152.13/152.72 c #Conflicts: 475000 | #Constraints: 77016
152.13/152.72 c #Conflicts: 476000 | #Constraints: 78016
152.13/152.72 c #Conflicts: 477000 | #Constraints: 79016
152.13/152.72 c #Conflicts: 478000 | #Constraints: 80016
152.13/152.72 c #Conflicts: 479000 | #Constraints: 81016
152.13/152.72 c #Conflicts: 480000 | #Constraints: 82016
152.13/152.72 c #Conflicts: 481000 | #Constraints: 83016
152.13/152.72 c #Conflicts: 482000 | #Constraints: 84016
152.13/152.72 c #Conflicts: 483000 | #Constraints: 85016
152.13/152.72 c #Conflicts: 484000 | #Constraints: 86016
152.13/152.72 c #Conflicts: 485000 | #Constraints: 87016
152.13/152.72 c #Conflicts: 486000 | #Constraints: 88016
152.13/152.72 c #Conflicts: 487000 | #Constraints: 89016
152.13/152.72 c #Conflicts: 488000 | #Constraints: 90016
152.13/152.72 c INPROCESSING
152.13/152.72 c GARBAGE COLLECT
152.13/152.72 c #Conflicts: 489000 | #Constraints: 77230
152.13/152.72 c bounds -167 >= -173 @ 137.117
152.13/152.72 c #Conflicts: 490000 | #Constraints: 78243
152.13/152.72 c #Conflicts: 491000 | #Constraints: 79243
152.13/152.72 c #Conflicts: 492000 | #Constraints: 80243
152.13/152.72 c #Conflicts: 493000 | #Constraints: 81243
152.13/152.72 c #Conflicts: 494000 | #Constraints: 82243
152.13/152.72 c #Conflicts: 495000 | #Constraints: 83243
152.13/152.72 c #Conflicts: 496000 | #Constraints: 84243
152.13/152.72 c #Conflicts: 497000 | #Constraints: 85243
152.13/152.72 c #Conflicts: 498000 | #Constraints: 86243
152.13/152.72 c #Conflicts: 499000 | #Constraints: 87243
152.13/152.72 c #Conflicts: 500000 | #Constraints: 88243
152.13/152.72 c #Conflicts: 501000 | #Constraints: 89243
152.13/152.72 c #Conflicts: 502000 | #Constraints: 90243
152.13/152.72 c INPROCESSING
152.13/152.72 c GARBAGE COLLECT
152.13/152.72 c #Conflicts: 503000 | #Constraints: 77231
152.13/152.72 c #Conflicts: 504000 | #Constraints: 78231
152.13/152.72 c #Conflicts: 505000 | #Constraints: 79231
152.13/152.72 c #Conflicts: 506000 | #Constraints: 80231
152.13/152.72 c #Conflicts: 507000 | #Constraints: 81231
152.13/152.72 c #Conflicts: 508000 | #Constraints: 82231
152.13/152.72 c #Conflicts: 509000 | #Constraints: 83231
152.13/152.72 c #Conflicts: 510000 | #Constraints: 84231
152.13/152.72 c #Conflicts: 511000 | #Constraints: 85231
152.13/152.72 c #Conflicts: 512000 | #Constraints: 86231
152.13/152.72 c #Conflicts: 513000 | #Constraints: 87231
152.13/152.72 c #Conflicts: 514000 | #Constraints: 88231
152.13/152.72 c #Conflicts: 515000 | #Constraints: 89231
152.13/152.72 c #Conflicts: 516000 | #Constraints: 90231
152.13/152.72 c INPROCESSING
152.13/152.72 c GARBAGE COLLECT
152.13/152.72 c #Conflicts: 517000 | #Constraints: 77037
152.13/152.72 c #Conflicts: 518000 | #Constraints: 78037
152.13/152.72 c #Conflicts: 519000 | #Constraints: 79037
152.13/152.72 c #Conflicts: 520000 | #Constraints: 80037
152.13/152.72 c bounds -167 >= -172 @ 148.894
152.13/152.72 c #Conflicts: 521000 | #Constraints: 81044
152.13/152.72 c #Conflicts: 522000 | #Constraints: 82044
152.13/152.72 c #Conflicts: 523000 | #Constraints: 83044
152.13/152.72 c #Conflicts: 524000 | #Constraints: 84044
165.48/166.12 c #Conflicts: 525000 | #Constraints: 85044
165.48/166.12 c #Conflicts: 526000 | #Constraints: 86044
165.48/166.12 c #Conflicts: 527000 | #Constraints: 87044
165.48/166.12 c #Conflicts: 528000 | #Constraints: 88044
165.48/166.12 c #Conflicts: 529000 | #Constraints: 89044
165.48/166.12 c #Conflicts: 530000 | #Constraints: 90044
165.48/166.12 c #Conflicts: 531000 | #Constraints: 91044
165.48/166.12 c INPROCESSING
165.48/166.12 c GARBAGE COLLECT
165.48/166.12 c #Conflicts: 532000 | #Constraints: 77642
165.48/166.12 c bounds -167 >= -171 @ 153.913
165.48/166.12 c #Conflicts: 533000 | #Constraints: 78646
165.48/166.12 c #Conflicts: 534000 | #Constraints: 79646
165.48/166.12 c #Conflicts: 535000 | #Constraints: 80646
165.48/166.12 c #Conflicts: 536000 | #Constraints: 81646
165.48/166.12 c #Conflicts: 537000 | #Constraints: 82646
165.48/166.12 c #Conflicts: 538000 | #Constraints: 83646
165.48/166.12 c #Conflicts: 539000 | #Constraints: 84646
165.48/166.12 c bounds -167 >= -170 @ 156.371
165.48/166.12 c #Conflicts: 540000 | #Constraints: 85650
165.48/166.12 c #Conflicts: 541000 | #Constraints: 86650
165.48/166.12 c #Conflicts: 542000 | #Constraints: 87650
165.48/166.12 c #Conflicts: 543000 | #Constraints: 88650
165.48/166.12 c #Conflicts: 544000 | #Constraints: 89650
165.48/166.12 c #Conflicts: 545000 | #Constraints: 90650
165.48/166.12 c #Conflicts: 546000 | #Constraints: 91650
165.48/166.12 c INPROCESSING
165.48/166.12 c GARBAGE COLLECT
165.48/166.12 c #Conflicts: 547000 | #Constraints: 78043
165.48/166.12 c #Conflicts: 548000 | #Constraints: 79043
165.48/166.12 c #Conflicts: 549000 | #Constraints: 80043
165.48/166.12 c #Conflicts: 550000 | #Constraints: 81043
165.48/166.12 c bounds -167 >= -169 @ 160.74
165.48/166.12 c #Conflicts: 551000 | #Constraints: 82046
165.48/166.12 c #Conflicts: 552000 | #Constraints: 83046
165.48/166.12 c #Conflicts: 553000 | #Constraints: 84046
165.48/166.12 c #Conflicts: 554000 | #Constraints: 85046
165.48/166.12 c bounds -167 >= -168 @ 162.219
165.48/166.12 c #Conflicts: 555000 | #Constraints: 86050
165.48/166.12 c #Conflicts: 556000 | #Constraints: 87050
165.48/166.12 c #Conflicts: 557000 | #Constraints: 88050
165.48/166.12 c bounds -167 >= -167 @ 163.475
165.48/166.12 d SOLVEDBY oll
165.48/166.12 c cpu time 163.475 s
165.48/166.12 c deterministic time 16638365196 1.66e+10
165.48/166.12 c optimization time 3.99621 s
165.48/166.12 c total solve time 159.367 s
165.48/166.12 c core-guided solve time 159.367 s
165.48/166.12 c propagation time 128.464 s
165.48/166.12 c conflict analysis time 30.9064 s
165.48/166.12 c propagations 67599161
165.48/166.12 c resolve steps 7841210
165.48/166.12 c decisions 754215
165.48/166.12 c conflicts 557299
165.48/166.12 c restarts 1149
165.48/166.12 c inprocessing phases 65
165.48/166.12 c input clauses 62037
165.48/166.12 c input cardinalities 155
165.48/166.12 c input general constraints 402
165.48/166.12 c input average constraint length 3.21
165.48/166.12 c input average constraint degree 1.19
165.48/166.12 c learned clauses 496347
165.48/166.12 c learned cardinalities 1344
165.48/166.12 c learned general constraints 59600
165.48/166.12 c learned average constraint length 53.28
165.48/166.12 c learned average constraint degree 64.97
165.48/166.12 c watched constraints 53330
165.48/166.12 c counting constraints 6672
165.48/166.12 c gcd simplifications 121746
165.48/166.12 c detected cardinalities 33
165.48/166.12 c weakened non-implied lits 14631799
165.48/166.12 c weakened non-implying lits 257963
165.48/166.12 c original variables 2025
165.48/166.12 c clausal propagations 42821572
165.48/166.12 c cardinality propagations 820197
165.48/166.12 c watched propagations 3335751
165.48/166.12 c counting propagations 20000741
165.48/166.12 c watch lookups 3858819341
165.48/166.12 c watch backjump lookups 2593465008
165.48/166.12 c watch checks 9361220765
165.48/166.12 c propagation checks 537474221
165.48/166.12 c constraint additions 150121854
165.48/166.12 c trail pops 68910630
165.48/166.12 c formula constraints 61821
165.48/166.12 c learned constraints 557291
165.48/166.12 c bound constraints 94
165.48/166.12 c core-guided constraints 679
165.48/166.12 c encountered formula constraints 3748578
165.48/166.12 c encountered learned constraints 4041472
165.48/166.12 c encountered bound constraints 40165
165.48/166.12 c encountered core-guided constraints 568299
165.48/166.12 c LP total time 0 s
165.48/166.12 c LP solve time 0 s
165.48/166.12 c LP constraints added 0
165.48/166.12 c LP constraints removed 0
165.48/166.12 c LP pivots internal 0
165.48/166.12 c LP pivots root 0
165.48/166.12 c LP calls 0
165.48/166.12 c LP optimalities 0
165.48/166.12 c LP no pivot count 0
165.48/166.12 c LP infeasibilities 0
165.48/166.12 c LP valid Farkas constraints 0
165.48/166.12 c LP learned Farkas constraints 0
165.48/166.12 c LP basis resets 0
165.48/166.12 c LP cycling count 0
165.48/166.12 c LP singular count 0
165.48/166.12 c LP no primal count 0
165.48/166.12 c LP no farkas count 0
165.48/166.12 c LP other issue count 0
165.48/166.12 c LP Gomory cuts 0
165.48/166.12 c LP learned cuts 0
165.48/166.12 c LP deleted cuts 0
165.48/166.12 c LP encountered Gomory constraints 0
165.48/166.12 c LP encountered Farkas constraints 0
165.48/166.12 c LP encountered learned Farkas constraints 0
165.48/166.12 c CG auxiliary variables introduced 248
165.48/166.12 c CG solutions found 7
165.48/166.12 c CG cores constructed 59
165.48/166.12 c CG core cardinality constraints returned 0
165.48/166.12 c CG unit cores 3
165.48/166.12 c CG single cores 56
165.48/166.12 c CG blocks removed during cardinality reduction 0
165.48/166.12 c CG first core best 0
165.48/166.12 c CG decision core best 0
165.48/166.12 c CG core reduction tie 0
165.48/166.12 c CG core degree average 1.00
165.48/166.12 c CG core slack average 5.86
165.48/166.12 c CG exhausted 17
165.48/166.12 c CG exhaust time 3.98221 s
165.48/166.12 c CG trimmed 8
165.48/166.12 c CG trim time 0.003657 s
165.48/166.12 c CG minimized 0
165.48/166.12 c CG minimize time 0 s
165.48/166.12 c CG am1 prop time 0.002131 s
165.48/166.12 c CG # am1s reformulated 12
165.48/166.12 c CG lower bound derived from am1s 16
165.48/166.12 c CG # clausal cores 56
165.48/166.12 c CG # cardinality cores 0
165.48/166.12 c CG # pb cores 0
165.48/166.12 c CG # pb reforms 14
165.48/166.12 c CG # cores discarded because of pb reform 0
165.48/166.12 d LOWERBOUND -167
165.48/166.12 d NCORES 59
165.48/166.12 d NPBCORES 0
165.48/166.12 d NPBREFORM 14
165.48/166.12 d NTRIMMED 8
165.48/166.12 d NEXHAUSTED 17
165.48/166.12 d NAM1S 12
165.48/166.12 d AM1LB 16
165.48/166.12 o -167
165.48/166.12 s OPTIMUM FOUND
165.48/166.12 v x1 x2 x3 x4 x5 -x6 x7 -x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 -x18 x19 -x20 -x21 x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 x36 -x37 -x38 x39 x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 x63 x64 x65 -x66 x67 x68 -x69 -x70 -x71 -x72 x73 -x74 x75 x76 x77 -x78 -x79 -x80 x81 x82 -x83 x84 -x85 x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 -x95 x96 -x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 x106 -x107 -x108 x109 x110 -x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 -x137 x138 -x139 -x140 x141 x142 x143 -x144 x145 -x146 x147 x148 x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 x164 -x165 x166 x167 x168 -x169 x170 x171 x172 -x173 -x174 x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 x187 -x188 x189 -x190 -x191 -x192 -x193 x194 x195 x196 x197 x198 -x199 -x200 x201 -x202 x203 x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 -x223 x224 x225 -x226 -x227 x228 x229 x230 x231 x232 -x233 x234 -x235 x236 x237 -x238 x239 x240 x241 -x242 -x243 -x244 -x245 -x246 x247 x248 x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 x258 -x259 x260 x261 x262 -x263 x264 -x265 x266 x267 x268 -x269 x270 x271 x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 x283 x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 x296 x297 -x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 -x307 x308 -x309 x310 x311 x312 x313 -x314 -x315 -x316 x317 -x318 x319 x320 x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 x330 -x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 x351 -x352 x353 -x354 -x355 x356 -x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 x401 x402 -x403 -x404 x405 -x406 x407 x408 -x409 -x410 -x411 -x412 x413 -x414 x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 x428 -x429 x430 -x431 -x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 x448 x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 x461 -x462 x463 -x464 -x465 -x466 x467 -x468 x469 -x470 x471 -x472 x473 -x474 -x475 x476 -x477 x478 -x479 -x480 x481 x482 -x483 -x484 -x485 x486 x487 -x488 -x489 x490 -x491 -x492 x493 -x494 x495 -x496 -x497 -x498 -x499 x500 x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 x509 -x510 x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 x534 -x535 -x536 -x537 x538 x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 x552 -x553 x554 -x555 x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 x568 -x569 -x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 -x584 -x585 x586 -x587 x588 -x589 -x590 x591 x592 x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 x603 -x604 x605 -x606 x607 -x608 -x609 -x610 x611 -x612 x613 -x614 x615 -x616 x617 -x618 -x619 x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 x630 -x631 x632 -x633 -x634 x635 -x636 x637 -x638 x639 -x640 x641 -x642 x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 x678 -x679 -x680 x681 -x682 x683 -x684 -x685 -x686 x687 x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 x763 -x764 -x765 -x766 x767 -x768 x769 -x770 -x771 x772 -x773 x774 -x775 x776 -x777 -x778 x779 -x780 -x781 -x782 x783 -x784 x785 -x786 x787 -x788 -x789 x790 x791 -x792 -x793 -x794 -x795 x796 -x797 x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 x830 -x831 x832 x833 -x834 -x835 x836 x837 -x838 x839 -x840 x841 x842 -x843 -x844 -x845 -x846 -x847 x848 x849 -x850 -x851 x852 -x853 x854 x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 x869 x870 -x871 -x872 x873 -x874 x875 -x876 x877 -x878 -x879 x880 -x881 x882 -x883 x884 -x885 x886 x887 -x888 -x889 -x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 -x899 -x900 -x901 x902 -x903 x904 -x905 x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 x935 x936 -x937 -x938 x939 -x940 x941 x942 -x943 -x944 -x945 -x946 x947 x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 x957 x958 -x959 -x960 x961 -x962 x963 -x964 x965 -x966 x967 x968 -x969 -x970 x971 -x972 -x973 x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 x1000 x1001 -x1002 -x1003 x1004 -x1005 x1006 -x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 x1035 x1036 -x1037 -x1038 -x1039 x1040 -x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 x1060 -x1061 x1062 -x1063 x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 x1093 x1094 -x1095 x1096 -x1097 x1098 x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 x1115 -x1116 x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 x1189 x1190 -x1191 -x1192 x1193 -x1194 x1195 -x1196 -x1197 -x1198 x1199 x1200 -x1201 x1202 -x1203 x1204 -x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 x1212 -x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 -x1221 x1222 -x1223 x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 -x1235 x1236 -x1237 x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 x1251 -x1252 x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 x1264 -x1265 x1266 -x1267 -x1268 -x1269 x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 x1279 x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 x1309 -x1310 -x1311 x1312 x1313 x1314 -x1315 -x1316 x1317 x1318 -x1319 -x1320 -x1321 -x1322 x1323 x1324 -x1325 -x1326 x1327 -x1328 -x1329 x1330 -x1331 -x1332 x1333 x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 x1351 -x1352 x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x1360 x1361 x1362 -x1363 x1364 -x1365 -x1366 -x1367 x1368 -x1369 x1370 -x1371 -x1372 x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 x1380 -x1381 x1382 -x1383 x1384 -x1385 x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 x1396 -x1397 x1398 -x1399 x1400 -x1401 -x1402 x1403 -x1404 x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 x1416 -x1417 x1418 -x1419 -x1420 x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 x1431 -x1432 -x1433 x1434 -x1435 x1436 -x1437 x1438 -x1439 x1440 -x1441 x1442 -x1443 x1444 x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 x1505 -x1506 x1507 -x1508 x1509 x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 x1521 -x1522 x1523 x1524 -x1525 x1526 -x1527 x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 -x1535 x1536 x1537 -x1538 x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 x1568 -x1569 x1570 x1571 -x1572 -x1573 -x1574 x1575 x1576 -x1577 -x1578 x1579 x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 x1587 -x1588 x1589 -x1590 -x1591 -x1592 x1593 -x1594 x1595 x1596 -x1597 x1598 -x1599 x1600 -x1601 x1602 -x1603 x1604 -x1605 x1606 x1607 -x1608 x1609 -x1610 x1611 -x1612 x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 -x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1626 x1627 -x1628 x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 x1649 -x1650 x1651 -x1652 x1653 -x1654 x1655 -x1656 x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 x1700 -x1701 x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 -x1716 x1717 -x1718 x1719 -x1720 x1721 x1722 -x1723 x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 x1768 -x1769 x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 x1804 -x1805 x1806 -x1807 -x1808 x1809 x1810 -x1811 -x1812 -x1813 x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 x1854 -x1855 x1856 x1857 x1858 -x1859 -x1860 x1861 x1862 -x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 x1916 x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 -x1937 x1938 -x1939 x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 x1982 -x1983 x1984 -x1985 x1986 -x1987 x1988 -x1989 -x1990 x1991 -x1992 x1993 -x1994 -x1995 x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025
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: 63931 MiB (58881 MiB free)
memory of node 1: 64510 MiB (61718 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435992-1721119598/watcher-4435992-1721119598 -o /tmp/evaluation-result-4435992-1721119598/solver-4435992-1721119598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865520 --watchdog 3760 pb-oll-rs HOME/instance-4435992-1721119598.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=865823, runsolver pid=865820
[startup+0.10022 s]*
/proc/loadavg: 2.83 1.57 1.48 5/257 865824
/proc/meminfo: memFree=123491128/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=40160 memory=7928 CPUtime=0.09 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 970 0 0 0 6 3 0 0 20 0 1 0 164127169 41123840 1982 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 10040 1982 1168 291 0 1574 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40160 KiB
Current children cumulated memory: 7928 KiB
[startup+0.20555 s]*
/proc/loadavg: 2.83 1.57 1.48 5/257 865824
/proc/meminfo: memFree=123486672/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=42424 memory=12832 CPUtime=0.2 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 1559 0 0 0 14 6 0 0 20 0 1 0 164127169 43442176 3208 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 10606 3208 1373 291 0 2140 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42424 KiB
Current children cumulated memory: 12832 KiB
[startup+0.305376 s]*
/proc/loadavg: 2.83 1.57 1.48 5/257 865824
/proc/meminfo: memFree=123484880/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=44216 memory=14416 CPUtime=0.3 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 1987 0 0 0 24 6 0 0 20 0 1 0 164127169 45277184 3604 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 11054 3604 1373 291 0 2588 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44216 KiB
Current children cumulated memory: 14416 KiB
[startup+0.700169 s]
/proc/loadavg: 2.83 1.57 1.48 5/257 865824
/proc/meminfo: memFree=123482052/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=46420 memory=17288 CPUtime=0.69 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 2880 0 0 0 61 8 0 0 20 0 1 0 164127169 47534080 4322 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 11605 4322 1433 291 0 3139 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46420 KiB
Current children cumulated memory: 17288 KiB
[startup+1.5002 s]
/proc/loadavg: 2.83 1.57 1.48 5/257 865824
/proc/meminfo: memFree=123480660/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=50172 memory=18852 CPUtime=1.48 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 3288 0 0 0 138 10 0 0 20 0 1 0 164127169 51376128 4713 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 12543 4713 1433 291 0 4077 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 18852 KiB
[startup+3.10578 s]
/proc/loadavg: 3.00 1.63 1.50 5/257 865824
/proc/meminfo: memFree=123476128/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=50936 memory=21684 CPUtime=3.08 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 3471 0 0 0 296 12 0 0 20 0 1 0 164127169 52158464 5421 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 12734 5421 1433 291 0 4268 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50936 KiB
Current children cumulated memory: 21684 KiB
[startup+6.30021 s]
/proc/loadavg: 3.00 1.63 1.50 5/257 865825
/proc/meminfo: memFree=123456932/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=51332 memory=22208 CPUtime=6.27 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 3583 0 0 0 609 18 0 0 20 0 1 0 164127169 52563968 5552 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 12833 5552 1433 291 0 4367 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51332 KiB
Current children cumulated memory: 22208 KiB
[startup+12.7002 s]
/proc/loadavg: 3.15 1.70 1.52 5/257 865825
/proc/meminfo: memFree=123445292/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=51860 memory=22732 CPUtime=12.65 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 3744 0 0 0 1239 26 0 0 20 0 1 0 164127169 53104640 5683 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 12965 5683 1433 291 0 4499 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 51860 KiB
Current children cumulated memory: 22732 KiB
[startup+25.5002 s]
/proc/loadavg: 3.36 1.80 1.56 5/257 865828
/proc/meminfo: memFree=123414500/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=52388 memory=23248 CPUtime=25.4 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 3864 0 0 0 2496 44 0 0 20 0 1 0 164127169 53645312 5812 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 13097 5812 1433 291 0 4631 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 52388 KiB
Current children cumulated memory: 23248 KiB
[startup+51.1055 s]
/proc/loadavg: 3.66 1.99 1.63 5/257 865831
/proc/meminfo: memFree=123400888/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=53048 memory=24032 CPUtime=50.91 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4076 0 0 0 5018 73 0 0 20 0 1 0 164127169 54321152 6008 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 13262 6008 1433 291 0 4796 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 53048 KiB
Current children cumulated memory: 24032 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 2.36 1.78 5/257 865840
/proc/meminfo: memFree=123362124/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=58656 memory=28504 CPUtime=101.92 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4665 0 0 0 10052 140 0 0 20 0 1 0 164127169 60063744 7126 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 14664 7126 1433 291 0 6198 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 58656 KiB
Current children cumulated memory: 28504 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 2.68 1.93 5/257 865851
/proc/meminfo: memFree=123324996/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=59712 memory=29552 CPUtime=161.69 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4938 0 0 0 15970 199 0 0 20 0 1 0 164127169 61145088 7388 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 14928 7388 1433 291 0 6462 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 59712 KiB
Current children cumulated memory: 29552 KiB
[startup+166.127 s]
# the end of solver process 865823 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=163.476 s, system=2.03862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+163.2 s]
/proc/loadavg: 4.04 2.68 1.93 5/257 865851
/proc/meminfo: memFree=123322304/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=59712 memory=29552 CPUtime=162.59 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4938 0 0 0 16059 200 0 0 20 0 1 0 164127169 61145088 7388 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 14928 7388 1433 291 0 6462 0
Current children cumulated CPU time: 162.59 s
Current children cumulated vsize: 59712 KiB
Current children cumulated memory: 29552 KiB
[startup+164.8 s]
/proc/loadavg: 4.04 2.68 1.93 5/257 865852
/proc/meminfo: memFree=123321824/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=59712 memory=29552 CPUtime=164.19 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4938 0 0 0 16217 202 0 0 20 0 1 0 164127169 61145088 7388 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 14928 7388 1433 291 0 6462 0
Current children cumulated CPU time: 164.19 s
Current children cumulated vsize: 59712 KiB
Current children cumulated memory: 29552 KiB
[startup+165.6 s]
/proc/loadavg: 4.04 2.68 1.93 5/257 865852
/proc/meminfo: memFree=123321624/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=59712 memory=29552 CPUtime=164.98 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4938 0 0 0 16295 203 0 0 20 0 1 0 164127169 61145088 7388 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 14928 7388 1433 291 0 6462 0
Current children cumulated CPU time: 164.98 s
Current children cumulated vsize: 59712 KiB
Current children cumulated memory: 29552 KiB
[startup+166 s]*
/proc/loadavg: 4.04 2.68 1.93 5/257 865852
/proc/meminfo: memFree=123321604/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=59712 memory=29552 CPUtime=165.38 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4938 0 0 0 16335 203 0 0 20 0 1 0 164127169 61145088 7388 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 14928 7388 1433 291 0 6462 0
Current children cumulated CPU time: 165.38 s
Current children cumulated vsize: 59712 KiB
Current children cumulated memory: 29552 KiB
[startup+166.105 s]
/proc/loadavg: 4.04 2.68 1.93 5/257 865852
/proc/meminfo: memFree=123321604/131524600 swapFree=131071996/131071996
[pid=865823] ppid=865820 vsize=59712 memory=29552 CPUtime=165.48 cores=0,2
/proc/865823/stat : 865823 (pb-oll-rs) R 865820 865823 865510 0 -1 4194304 4938 0 0 0 16345 203 0 0 20 0 1 0 164127169 61145088 7388 134679101440 4194304 5384005 140737257699648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38649856 140737257702423 140737257702500 140737257702500 140737257709515 0
/proc/865823/statm: 14928 7388 1433 291 0 6462 0
Current children cumulated CPU time: 165.48 s
Current children cumulated vsize: 59712 KiB
Current children cumulated memory: 29552 KiB
Child status: 0
Real time (s): 166.127
CPU time (s): 165.514
CPU user time (s): 163.476
CPU system time (s): 2.03862
CPU usage (%): 99.6314
Max. virtual memory (cumulated for all children) (KiB): 59712
Max. memory (cumulated for all children) (KiB): 29552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.476
system time used= 2.03862
maximum resident set size= 29772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4949
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= 6
involuntary context switches= 1161
# summary of solver processes directly reported to runsolver:
# pid: 865823
# total CPU time (s): 165.514
# total CPU user time (s): 163.476
# total CPU system time (s): 2.03862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.607658 second user time and 0.482398 second system time
The end
Begin job on nodeC029 at 2024-07-16 10:46:51
IDJOB=4435992
IDBENCH=148784
IDSOLVER=3067
FILE ID=nodeC029/4435992-1721119598
RUNJOBID= nodeC029-1721119560-865520
SLURM_JOB_ID= 7505669
Free space on /tmp= 890060 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435992-1721119598/watcher-4435992-1721119598 -o /tmp/evaluation-result-4435992-1721119598/solver-4435992-1721119598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865520 --watchdog 3760 pb-oll-rs HOME/instance-4435992-1721119598.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 244d2960852ad966f69f423720fc1906
RANDOM SEED=1828152217
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3662.580
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3683.470
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3657.639
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3600.272
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3664.883
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3683.544
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3636.682
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3600.060
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123495076 kB
MemAvailable: 129496952 kB
Buffers: 400508 kB
Cached: 6364744 kB
SwapCached: 0 kB
Active: 721144 kB
Inactive: 6554092 kB
Active(anon): 1464 kB
Inactive(anon): 545916 kB
Active(file): 719680 kB
Inactive(file): 6008176 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4028 kB
Writeback: 0 kB
AnonPages: 509708 kB
Mapped: 108364 kB
Shmem: 37720 kB
KReclaimable: 227332 kB
Slab: 348812 kB
SReclaimable: 227332 kB
SUnreclaim: 121480 kB
KernelStack: 4172 kB
PageTables: 10528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 937392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC029 at 2024-07-16 10:49:37