0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.04 c #variables 558 #constraints 3551
0.00/0.09 c bounds - >= 0 @ 0.032663
0.00/0.09 c rational objective 174.5
0.11/0.20 c bounds 279 >= 0 @ 0.115606
0.11/0.20 c bounds 279 >= 1 @ 0.116045
0.11/0.20 c bounds 279 >= 2 @ 0.116374
0.11/0.20 c bounds 279 >= 3 @ 0.116713
0.11/0.20 c bounds 279 >= 4 @ 0.117043
0.11/0.20 c bounds 279 >= 5 @ 0.117375
0.11/0.20 c bounds 279 >= 6 @ 0.117714
0.11/0.20 c bounds 279 >= 7 @ 0.118058
0.11/0.20 c bounds 279 >= 8 @ 0.118402
0.11/0.20 c bounds 279 >= 9 @ 0.118775
0.11/0.20 c bounds 279 >= 10 @ 0.119127
0.11/0.20 c bounds 279 >= 11 @ 0.119481
0.11/0.20 c bounds 279 >= 12 @ 0.119843
0.11/0.20 c bounds 279 >= 13 @ 0.120205
0.11/0.20 c bounds 279 >= 14 @ 0.120573
0.11/0.20 c bounds 279 >= 15 @ 0.12095
0.11/0.20 c bounds 279 >= 16 @ 0.121322
0.11/0.20 c bounds 279 >= 17 @ 0.121699
0.11/0.20 c bounds 279 >= 18 @ 0.122091
0.11/0.20 c bounds 279 >= 19 @ 0.122475
0.11/0.20 c bounds 279 >= 20 @ 0.12287
0.11/0.20 c bounds 279 >= 21 @ 0.123261
0.11/0.20 c bounds 279 >= 22 @ 0.123659
0.11/0.20 c bounds 279 >= 23 @ 0.124062
0.11/0.20 c bounds 279 >= 24 @ 0.124469
0.11/0.20 c bounds 279 >= 25 @ 0.124885
0.11/0.20 c bounds 279 >= 26 @ 0.125298
0.11/0.20 c bounds 279 >= 27 @ 0.125721
0.11/0.20 c bounds 279 >= 28 @ 0.126141
0.11/0.20 c bounds 279 >= 29 @ 0.126632
0.11/0.20 c bounds 279 >= 30 @ 0.126942
0.11/0.20 c bounds 279 >= 31 @ 0.127249
0.11/0.20 c bounds 279 >= 32 @ 0.127563
0.11/0.20 c bounds 279 >= 33 @ 0.127881
0.11/0.20 c bounds 279 >= 34 @ 0.128205
0.11/0.20 c bounds 279 >= 35 @ 0.128526
0.11/0.20 c bounds 279 >= 36 @ 0.128877
0.11/0.20 c bounds 279 >= 37 @ 0.129213
0.11/0.20 c bounds 279 >= 38 @ 0.129545
0.11/0.20 c bounds 279 >= 39 @ 0.129589
0.11/0.20 c bounds 279 >= 40 @ 0.129589
0.11/0.20 c bounds 279 >= 41 @ 0.129616
0.11/0.20 c bounds 279 >= 42 @ 0.129975
0.11/0.20 c bounds 279 >= 43 @ 0.130336
0.11/0.20 c bounds 279 >= 44 @ 0.1307
0.11/0.20 c bounds 279 >= 45 @ 0.131064
0.11/0.20 c bounds 279 >= 46 @ 0.131437
0.11/0.20 c bounds 279 >= 47 @ 0.131815
0.11/0.20 c bounds 279 >= 48 @ 0.132193
0.11/0.20 c bounds 279 >= 49 @ 0.132579
0.11/0.20 c bounds 279 >= 50 @ 0.132976
0.11/0.20 c bounds 279 >= 51 @ 0.133372
0.11/0.20 c bounds 279 >= 52 @ 0.133769
0.11/0.20 c bounds 279 >= 53 @ 0.134183
0.11/0.20 c bounds 279 >= 54 @ 0.134595
0.11/0.20 c bounds 279 >= 55 @ 0.135007
0.11/0.20 c bounds 279 >= 56 @ 0.135426
0.11/0.20 c bounds 279 >= 57 @ 0.135852
0.11/0.20 c bounds 279 >= 58 @ 0.136279
0.11/0.20 c bounds 279 >= 59 @ 0.136708
0.11/0.20 c bounds 279 >= 60 @ 0.137144
0.11/0.20 c bounds 279 >= 61 @ 0.137584
0.11/0.20 c bounds 279 >= 62 @ 0.138028
0.11/0.20 c bounds 279 >= 63 @ 0.138486
0.11/0.20 c bounds 279 >= 64 @ 0.139007
0.11/0.20 c bounds 279 >= 65 @ 0.139551
0.11/0.20 c bounds 279 >= 66 @ 0.13994
0.11/0.20 c bounds 279 >= 67 @ 0.140311
0.11/0.20 c bounds 279 >= 68 @ 0.140665
0.11/0.20 c bounds 279 >= 69 @ 0.141035
0.11/0.20 c bounds 279 >= 70 @ 0.1414
0.11/0.20 c bounds 279 >= 71 @ 0.141774
0.11/0.20 c bounds 279 >= 72 @ 0.142145
0.11/0.20 c bounds 279 >= 73 @ 0.142526
0.11/0.20 c bounds 279 >= 74 @ 0.142917
0.11/0.20 c bounds 279 >= 75 @ 0.1433
0.11/0.20 c bounds 279 >= 76 @ 0.143691
0.11/0.20 c bounds 279 >= 77 @ 0.144085
0.11/0.20 c bounds 279 >= 78 @ 0.144485
0.11/0.20 c bounds 279 >= 79 @ 0.144533
0.11/0.20 c bounds 279 >= 80 @ 0.144533
0.11/0.20 c bounds 279 >= 81 @ 0.144802
0.11/0.20 c bounds 279 >= 82 @ 0.145204
0.11/0.20 c bounds 279 >= 83 @ 0.145596
0.11/0.20 c bounds 279 >= 84 @ 0.146016
0.11/0.20 c bounds 279 >= 85 @ 0.146427
0.11/0.20 c bounds 279 >= 86 @ 0.146527
0.11/0.20 c bounds 279 >= 87 @ 0.146527
0.11/0.20 c bounds 279 >= 88 @ 0.146778
0.11/0.20 c bounds 279 >= 89 @ 0.147217
0.11/0.20 c bounds 279 >= 90 @ 0.147636
0.11/0.20 c bounds 279 >= 91 @ 0.148084
0.11/0.20 c bounds 279 >= 92 @ 0.148516
0.11/0.20 c bounds 279 >= 93 @ 0.148985
0.11/0.20 c bounds 279 >= 94 @ 0.14945
0.11/0.20 c bounds 279 >= 95 @ 0.149513
0.11/0.20 c bounds 279 >= 96 @ 0.149513
0.11/0.20 c bounds 279 >= 97 @ 0.149513
0.11/0.20 c bounds 279 >= 98 @ 0.149536
0.11/0.20 c bounds 279 >= 99 @ 0.149916
0.11/0.20 c bounds 279 >= 100 @ 0.150347
0.11/0.20 c bounds 279 >= 101 @ 0.150792
0.11/0.20 c bounds 279 >= 102 @ 0.151205
0.11/0.20 c bounds 279 >= 103 @ 0.151625
0.11/0.20 c bounds 279 >= 104 @ 0.15205
0.11/0.20 c bounds 279 >= 105 @ 0.152461
0.11/0.20 c bounds 279 >= 106 @ 0.152499
0.11/0.20 c bounds 279 >= 107 @ 0.152499
0.11/0.20 c bounds 279 >= 108 @ 0.152845
0.11/0.20 c bounds 279 >= 109 @ 0.153252
0.11/0.20 c bounds 279 >= 110 @ 0.153636
0.11/0.20 c bounds 279 >= 111 @ 0.154004
0.11/0.20 c bounds 279 >= 112 @ 0.154377
0.11/0.20 c bounds 279 >= 113 @ 0.154744
0.11/0.20 c bounds 279 >= 114 @ 0.155133
0.11/0.20 c bounds 279 >= 115 @ 0.155512
0.11/0.20 c bounds 279 >= 116 @ 0.155885
0.11/0.20 c bounds 279 >= 117 @ 0.15624
0.11/0.20 c bounds 279 >= 118 @ 0.156352
0.11/0.20 c bounds 279 >= 119 @ 0.156352
0.11/0.20 c bounds 279 >= 120 @ 0.156405
0.11/0.20 c bounds 279 >= 121 @ 0.156479
0.11/0.20 c bounds 279 >= 122 @ 0.156479
0.11/0.20 c bounds 279 >= 123 @ 0.1565
0.11/0.20 c bounds 279 >= 124 @ 0.156881
0.11/0.20 c bounds 279 >= 125 @ 0.157249
0.11/0.20 c bounds 279 >= 126 @ 0.157622
0.11/0.20 c bounds 279 >= 127 @ 0.157978
0.11/0.20 c bounds 279 >= 128 @ 0.15834
0.11/0.20 c bounds 279 >= 129 @ 0.158711
0.11/0.20 c bounds 279 >= 130 @ 0.159084
0.11/0.20 c bounds 279 >= 131 @ 0.159449
0.11/0.20 c bounds 279 >= 132 @ 0.159795
0.11/0.20 c bounds 279 >= 133 @ 0.160156
0.11/0.20 c bounds 279 >= 134 @ 0.160536
0.11/0.20 c bounds 279 >= 135 @ 0.160923
0.11/0.20 c bounds 279 >= 136 @ 0.161297
0.31/0.39 c bounds 279 >= 137 @ 0.16166
0.31/0.39 c bounds 279 >= 138 @ 0.162019
0.31/0.39 c bounds 279 >= 139 @ 0.162384
0.31/0.39 c bounds 279 >= 140 @ 0.16245
0.31/0.39 c bounds 279 >= 141 @ 0.16245
0.31/0.39 c bounds 279 >= 142 @ 0.16247
0.31/0.39 c bounds 279 >= 143 @ 0.162828
0.31/0.39 c bounds 279 >= 144 @ 0.163203
0.31/0.39 c bounds 279 >= 145 @ 0.163578
0.31/0.39 c bounds 279 >= 146 @ 0.163957
0.31/0.39 c bounds 279 >= 147 @ 0.164296
0.31/0.39 c bounds 279 >= 148 @ 0.164632
0.31/0.39 c bounds 279 >= 149 @ 0.164992
0.31/0.39 c bounds 279 >= 150 @ 0.165355
0.31/0.39 c bounds 279 >= 151 @ 0.165714
0.31/0.39 c bounds 279 >= 152 @ 0.16606
0.31/0.39 c bounds 279 >= 153 @ 0.16641
0.31/0.39 c bounds 279 >= 154 @ 0.166782
0.31/0.39 c bounds 279 >= 155 @ 0.167139
0.31/0.39 c bounds 279 >= 156 @ 0.167503
0.31/0.39 c bounds 279 >= 157 @ 0.167845
0.31/0.39 c bounds 279 >= 158 @ 0.168197
0.31/0.39 c bounds 279 >= 159 @ 0.168564
0.31/0.39 c bounds 279 >= 160 @ 0.168928
0.31/0.39 c bounds 278 >= 160 @ 0.169417
0.31/0.39 c bounds 278 >= 161 @ 0.169802
0.31/0.39 c bounds 278 >= 162 @ 0.170151
0.31/0.39 c bounds 278 >= 163 @ 0.17051
0.31/0.39 c bounds 278 >= 164 @ 0.170855
0.31/0.39 c bounds 278 >= 165 @ 0.171223
0.31/0.39 c bounds 277 >= 165 @ 0.171677
0.31/0.39 c bounds 277 >= 166 @ 0.172063
0.31/0.39 c bounds 277 >= 167 @ 0.172394
0.31/0.39 c bounds 277 >= 168 @ 0.172411
0.31/0.39 c bounds 277 >= 169 @ 0.172411
0.31/0.39 c bounds 276 >= 169 @ 0.173217
0.31/0.39 c bounds 276 >= 170 @ 0.173599
0.31/0.39 c bounds 276 >= 171 @ 0.174
0.31/0.39 c bounds 276 >= 172 @ 0.174541
0.31/0.39 c bounds 276 >= 173 @ 0.175673
0.31/0.39 c bounds 275 >= 173 @ 0.176283
0.31/0.39 c bounds 275 >= 174 @ 0.1773
0.31/0.39 c bounds 274 >= 174 @ 0.177367
0.31/0.39 c bounds 274 >= 175 @ 0.177367
0.31/0.39 c bounds 273 >= 175 @ 0.177954
0.31/0.39 c bounds 273 >= 176 @ 0.17836
0.31/0.39 c bounds 272 >= 176 @ 0.17997
0.31/0.39 c bounds 272 >= 177 @ 0.180949
0.31/0.39 c bounds 272 >= 178 @ 0.181592
0.31/0.39 c bounds 272 >= 179 @ 0.182717
0.31/0.39 c bounds 272 >= 180 @ 0.183356
0.31/0.39 c bounds 272 >= 181 @ 0.184163
0.31/0.39 c bounds 271 >= 181 @ 0.184707
0.31/0.39 c bounds 271 >= 182 @ 0.185686
0.31/0.39 c bounds 271 >= 183 @ 0.186575
0.31/0.39 c bounds 270 >= 183 @ 0.187475
0.31/0.39 c bounds 270 >= 184 @ 0.1886
0.31/0.39 c bounds 269 >= 184 @ 0.189703
0.31/0.39 c bounds 269 >= 185 @ 0.191108
0.31/0.39 c bounds 268 >= 185 @ 0.19909
0.31/0.39 c bounds 268 >= 186 @ 0.199499
0.31/0.39 c bounds 268 >= 187 @ 0.201187
0.31/0.39 c bounds 268 >= 188 @ 0.201475
0.31/0.39 c bounds 268 >= 189 @ 0.202622
0.31/0.39 c bounds 268 >= 190 @ 0.204014
0.31/0.39 c bounds 268 >= 191 @ 0.20423
0.31/0.39 c bounds 268 >= 192 @ 0.207711
0.31/0.39 c bounds 267 >= 192 @ 0.216161
0.31/0.39 c bounds 267 >= 193 @ 0.216161
0.31/0.39 c bounds 267 >= 194 @ 0.216437
0.31/0.39 c bounds 267 >= 195 @ 0.217095
0.31/0.39 c bounds 267 >= 196 @ 0.217804
0.31/0.39 c bounds 267 >= 197 @ 0.218147
0.31/0.39 c bounds 267 >= 198 @ 0.218653
0.31/0.39 c bounds 267 >= 199 @ 0.219142
0.31/0.39 c bounds 267 >= 200 @ 0.219968
0.31/0.39 c bounds 267 >= 201 @ 0.220137
0.31/0.39 c bounds 267 >= 202 @ 0.221131
0.31/0.39 c bounds 266 >= 202 @ 0.241072
0.31/0.39 c bounds 266 >= 203 @ 0.243663
0.31/0.39 c bounds 266 >= 204 @ 0.248962
0.31/0.39 WSVECS04 Frhs2[3]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[129]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[131]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[135]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[139]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[145]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[151]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[153]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[157]: 6 -1.00001 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[161]: 6 -1.00005 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[171]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[173]: 6 -1.00005 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[179]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[181]: 6 -1.0001 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[183]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[187]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[189]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[193]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[195]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[199]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[201]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[203]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[205]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[209]: 6 -1.00004 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[211]: 6 -1.00005 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[213]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[215]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[217]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[219]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[221]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[225]: 6 -1.00005 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[231]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[237]: 6 -1.00001 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[241]: 6 -1.00004 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[243]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[245]: 6 -1.0001 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[249]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[251]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[253]: 6 -1.0001 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[257]: 6 -1.00004 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[263]: 6 -1.00001 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[265]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[271]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[273]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[287]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[289]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[293]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[297]: 6 -1.00004 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[299]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[301]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[303]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[305]: 6 -1.00004 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[309]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[313]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[317]: 6 -1.0001 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[321]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[323]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[327]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[333]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[337]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[343]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[345]: 6 -1.00004 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[349]: 6 -1.00005 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[355]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[359]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[365]: 6 -1.00006 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[371]: 6 -1.00007 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[373]: 6 -1.00009 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[379]: 6 -1.00005 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[383]: 6 -1.00003 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[405]: 6 -1.00008 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[466]: 6 -1.00002 0 shouldn't be
0.31/0.39 WSVECS04 Frhs2[467]: 6 -1.00004 0 shouldn't be
0.68/0.73 c bounds 266 >= 205 @ 0.341313
0.68/0.73 c bounds 265 >= 205 @ 0.34406
0.68/0.73 c #Conflicts: 1000 | #Constraints: 5528
0.68/0.73 c bounds 264 >= 205 @ 0.41845
0.68/0.73 c bounds 264 >= 206 @ 0.425472
0.68/0.73 c bounds 264 >= 207 @ 0.432409
0.68/0.73 c bounds 264 >= 208 @ 0.441158
0.68/0.73 c bounds 264 >= 209 @ 0.443335
0.68/0.73 c bounds 264 >= 210 @ 0.521762
0.68/0.73 c bounds 264 >= 211 @ 0.536979
0.68/0.73 c bounds 263 >= 211 @ 0.542227
0.68/0.73 c bounds 262 >= 211 @ 0.545793
0.68/0.73 c #Conflicts: 2000 | #Constraints: 6636
0.68/0.73 c INPROCESSING
0.68/0.73 c GARBAGE COLLECT
0.68/0.73 c rational objective 211
1.18/1.29 c bounds 262 >= 212 @ 0.659969
1.18/1.29 c bounds 262 >= 213 @ 0.677632
1.18/1.29 c bounds 262 >= 214 @ 0.725595
1.18/1.29 c #Conflicts: 3000 | #Constraints: 6457
1.18/1.29 c #Conflicts: 4000 | #Constraints: 7459
1.18/1.29 c INPROCESSING
1.18/1.29 c GARBAGE COLLECT
1.18/1.29 c rational objective 214
1.68/1.78 c bounds 262 >= 215 @ 1.26972
1.68/1.78 c #Conflicts: 5000 | #Constraints: 6882
1.68/1.78 c #Conflicts: 6000 | #Constraints: 7882
1.68/1.78 c INPROCESSING
1.68/1.78 c GARBAGE COLLECT
1.68/1.78 c rational objective 215
2.48/2.53 c #Conflicts: 7000 | #Constraints: 6887
2.48/2.53 c #Conflicts: 8000 | #Constraints: 7896
2.48/2.53 c #Conflicts: 9000 | #Constraints: 8902
2.48/2.53 c INPROCESSING
2.48/2.53 c GARBAGE COLLECT
2.48/2.53 c rational objective 215
3.09/3.12 c #Conflicts: 10000 | #Constraints: 7604
3.09/3.12 c #Conflicts: 11000 | #Constraints: 8604
3.09/3.12 c bounds 262 >= 216 @ 2.73437
3.09/3.12 c #Conflicts: 12000 | #Constraints: 9643
3.09/3.12 c INPROCESSING
3.09/3.12 c GARBAGE COLLECT
3.09/3.12 c rational objective 216
3.67/3.78 c #Conflicts: 13000 | #Constraints: 8099
3.67/3.78 c bounds 261 >= 216 @ 3.18263
3.67/3.78 c #Conflicts: 14000 | #Constraints: 9100
3.67/3.78 c #Conflicts: 15000 | #Constraints: 10100
3.67/3.78 c INPROCESSING
3.67/3.78 c GARBAGE COLLECT
3.67/3.78 c rational objective 216
4.77/4.82 c #Conflicts: 16000 | #Constraints: 8336
4.77/4.82 c #Conflicts: 17000 | #Constraints: 9342
4.77/4.82 c #Conflicts: 18000 | #Constraints: 10345
4.77/4.82 c INPROCESSING
4.77/4.82 c GARBAGE COLLECT
4.77/4.82 c rational objective 216
5.37/5.46 c bounds 261 >= 217 @ 4.53968
5.37/5.46 c #Conflicts: 19000 | #Constraints: 8375
5.37/5.46 c #Conflicts: 20000 | #Constraints: 9375
5.37/5.46 c #Conflicts: 21000 | #Constraints: 10375
5.37/5.46 c INPROCESSING
5.37/5.46 c GARBAGE COLLECT
5.37/5.46 c rational objective 217
6.08/6.18 c #Conflicts: 22000 | #Constraints: 8085
6.08/6.18 c #Conflicts: 23000 | #Constraints: 9085
6.08/6.18 c #Conflicts: 24000 | #Constraints: 10085
6.08/6.18 c bounds 261 >= 218 @ 5.72229
6.08/6.18 WSVECS04 Frhs2[129]: 6 -1.00008 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[135]: 6 -1.0001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[159]: 6 -1.00002 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[169]: 6 -1.00002 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[175]: 6 -1.00001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[191]: 6 -1.00001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[197]: 6 -1.00006 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[201]: 6 -1.00008 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[211]: 6 -1.00001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[229]: 6 -1.0001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[235]: 6 -1.0001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[245]: 6 -1.00002 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[251]: 6 -1.00004 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[255]: 6 -1.0001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[335]: 6 -1.00004 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[369]: 6 -1.00007 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[373]: 6 -1.00004 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[400]: 6 -1.0001 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[424]: 6 -1.00007 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[448]: 6 -1.00003 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[454]: 6 -1.00003 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[532]: 6 -1.00004 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[550]: 6 -1.00005 0 shouldn't be
6.08/6.18 WSVECS04 Frhs2[556]: 6 -1.00002 0 shouldn't be
11.76/11.85 c #Conflicts: 25000 | #Constraints: 11145
11.76/11.85 c #Conflicts: 26000 | #Constraints: 12145
11.76/11.85 c #Conflicts: 27000 | #Constraints: 13146
11.76/11.85 c #Conflicts: 28000 | #Constraints: 14148
11.76/11.85 c #Conflicts: 29000 | #Constraints: 15152
11.76/11.85 c #Conflicts: 30000 | #Constraints: 16154
11.76/11.85 c #Conflicts: 31000 | #Constraints: 17158
11.76/11.85 c #Conflicts: 32000 | #Constraints: 18159
11.76/11.85 c #Conflicts: 33000 | #Constraints: 19161
11.76/11.85 c INPROCESSING
11.76/11.85 c GARBAGE COLLECT
11.76/11.85 c rational objective 218
13.35/13.46 c #Conflicts: 34000 | #Constraints: 12725
13.35/13.46 c #Conflicts: 35000 | #Constraints: 13725
13.35/13.46 c #Conflicts: 36000 | #Constraints: 14725
13.35/13.46 c #Conflicts: 37000 | #Constraints: 15725
13.35/13.46 c #Conflicts: 38000 | #Constraints: 16725
13.35/13.46 c INPROCESSING
13.35/13.46 c GARBAGE COLLECT
13.35/13.46 c rational objective 218
14.54/14.68 c bounds 261 >= 219 @ 12.9217
14.54/14.68 c #Conflicts: 39000 | #Constraints: 11703
14.54/14.68 c #Conflicts: 40000 | #Constraints: 12703
14.54/14.68 c bounds 261 >= 220 @ 13.4888
14.54/14.68 c #Conflicts: 41000 | #Constraints: 13745
14.54/14.68 c #Conflicts: 42000 | #Constraints: 14745
14.54/14.68 c INPROCESSING
14.54/14.68 c GARBAGE COLLECT
14.54/14.68 c rational objective 220
15.14/15.26 c #Conflicts: 43000 | #Constraints: 10278
15.14/15.26 c #Conflicts: 44000 | #Constraints: 11278
15.14/15.26 c bounds 261 >= 221 @ 14.5412
15.14/15.26 WSVECS04 Frhs2[67]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[131]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[135]: 6 -1.00002 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[137]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[139]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[141]: 6 -1.00001 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[145]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[155]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[157]: 6 -1.0001 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[159]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[161]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[163]: 6 -1.00002 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[165]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[171]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[173]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[177]: 6 -1.00008 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[179]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[181]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[183]: 6 -1.00002 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[185]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[187]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[193]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[197]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[199]: 6 -1.00007 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[203]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[205]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[207]: 6 -1.0001 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[209]: 6 -1.00008 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[211]: 6 -1.00004 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[213]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[215]: 6 -1.00002 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[219]: 6 -1.00004 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[223]: 6 -1.00008 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[233]: 6 -1.00004 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[239]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[243]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[247]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[249]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[255]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[265]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[279]: 6 -1.00001 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[287]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[291]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[297]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[305]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[311]: 6 -1.00001 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[313]: 6 -1.00007 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[321]: 6 -1.00002 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[325]: 6 -1.00008 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[331]: 6 -1.00008 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[335]: 6 -1.00007 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[337]: 6 -1.00007 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[341]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[351]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[367]: 6 -1.00007 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[369]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[379]: 6 -1.00007 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[422]: 6 -1.00006 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[482]: 6 -1.00005 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[484]: 6 -1.0001 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[485]: 6 -1.00009 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[518]: 6 -1.00008 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[519]: 6 -1.00003 0 shouldn't be
15.14/15.26 WSVECS04 Frhs2[522]: 6 -1.0001 0 shouldn't be
20.53/20.61 c #Conflicts: 45000 | #Constraints: 12308
20.53/20.61 c #Conflicts: 46000 | #Constraints: 13308
20.53/20.61 c #Conflicts: 47000 | #Constraints: 14308
20.53/20.61 c #Conflicts: 48000 | #Constraints: 15308
20.53/20.61 c bounds 261 >= 222 @ 15.5445
20.53/20.61 c #Conflicts: 49000 | #Constraints: 16365
20.53/20.61 c #Conflicts: 50000 | #Constraints: 17365
20.53/20.61 c #Conflicts: 51000 | #Constraints: 18365
20.53/20.61 c #Conflicts: 52000 | #Constraints: 19365
20.53/20.61 c bounds 261 >= 223 @ 17.1865
20.53/20.61 c #Conflicts: 53000 | #Constraints: 20422
20.53/20.61 c #Conflicts: 54000 | #Constraints: 21422
20.53/20.61 c #Conflicts: 55000 | #Constraints: 22422
20.53/20.61 c #Conflicts: 56000 | #Constraints: 23422
20.53/20.61 c bounds 261 >= 224 @ 18.9222
20.53/20.61 c #Conflicts: 57000 | #Constraints: 24449
20.53/20.61 c #Conflicts: 58000 | #Constraints: 25449
20.53/20.61 c INPROCESSING
20.53/20.61 c GARBAGE COLLECT
20.53/20.61 c rational objective 224
24.61/24.77 c #Conflicts: 59000 | #Constraints: 15597
24.61/24.77 c #Conflicts: 60000 | #Constraints: 16597
24.61/24.77 c #Conflicts: 61000 | #Constraints: 17600
24.61/24.77 c #Conflicts: 62000 | #Constraints: 18600
24.61/24.77 c #Conflicts: 63000 | #Constraints: 19602
24.61/24.77 c #Conflicts: 64000 | #Constraints: 20607
24.61/24.77 c #Conflicts: 65000 | #Constraints: 21608
24.61/24.77 c INPROCESSING
24.61/24.77 c GARBAGE COLLECT
24.61/24.77 c rational objective 224
33.98/34.12 c #Conflicts: 66000 | #Constraints: 14256
33.98/34.12 c #Conflicts: 67000 | #Constraints: 15256
33.98/34.12 c bounds 261 >= 225 @ 24.6322
33.98/34.12 c #Conflicts: 68000 | #Constraints: 16289
33.98/34.12 c #Conflicts: 69000 | #Constraints: 17289
33.98/34.12 c #Conflicts: 70000 | #Constraints: 18289
33.98/34.12 c #Conflicts: 71000 | #Constraints: 19289
33.98/34.12 c bounds 261 >= 226 @ 26.4355
33.98/34.12 c #Conflicts: 72000 | #Constraints: 20343
33.98/34.12 c #Conflicts: 73000 | #Constraints: 21343
33.98/34.12 c #Conflicts: 74000 | #Constraints: 22343
33.98/34.12 c #Conflicts: 75000 | #Constraints: 23343
33.98/34.12 c #Conflicts: 76000 | #Constraints: 24343
33.98/34.12 c bounds 261 >= 227 @ 28.3475
33.98/34.12 c #Conflicts: 77000 | #Constraints: 25367
33.98/34.12 c #Conflicts: 78000 | #Constraints: 26367
33.98/34.12 c #Conflicts: 79000 | #Constraints: 27367
33.98/34.12 c bounds 261 >= 228 @ 30.3197
33.98/34.12 c #Conflicts: 80000 | #Constraints: 28391
33.98/34.12 c #Conflicts: 81000 | #Constraints: 29395
33.98/34.12 c #Conflicts: 82000 | #Constraints: 30396
33.98/34.12 c #Conflicts: 83000 | #Constraints: 31402
33.98/34.12 c #Conflicts: 84000 | #Constraints: 32405
33.98/34.12 c INPROCESSING
33.98/34.12 c GARBAGE COLLECT
33.98/34.12 c rational objective 228
36.57/36.74 c #Conflicts: 85000 | #Constraints: 19656
36.57/36.74 c #Conflicts: 86000 | #Constraints: 20656
36.57/36.74 c #Conflicts: 87000 | #Constraints: 21656
36.57/36.74 c #Conflicts: 88000 | #Constraints: 22656
36.57/36.74 c #Conflicts: 89000 | #Constraints: 23656
36.57/36.74 c bounds 261 >= 229 @ 35.3828
36.57/36.74 WSVECS04 Frhs2[271]: 6 -1.00007 0 shouldn't be
36.57/36.74 WSVECS04 Frhs2[279]: 6 -1.00007 0 shouldn't be
36.57/36.74 WSVECS04 Frhs2[329]: 6 -1.00003 0 shouldn't be
36.57/36.74 WSVECS04 Frhs2[396]: 6 -1.00003 0 shouldn't be
37.56/37.75 c #Conflicts: 90000 | #Constraints: 24680
37.56/37.75 c #Conflicts: 91000 | #Constraints: 25680
37.56/37.75 c INPROCESSING
37.56/37.75 c GARBAGE COLLECT
37.56/37.75 c rational objective 229
79.36/79.63 c #Conflicts: 92000 | #Constraints: 15747
79.36/79.63 c #Conflicts: 93000 | #Constraints: 16756
79.36/79.63 c #Conflicts: 94000 | #Constraints: 17756
79.36/79.63 c #Conflicts: 95000 | #Constraints: 18757
79.36/79.63 c #Conflicts: 96000 | #Constraints: 19774
79.36/79.63 c #Conflicts: 97000 | #Constraints: 20775
79.36/79.63 c #Conflicts: 98000 | #Constraints: 21776
79.36/79.63 c #Conflicts: 99000 | #Constraints: 22779
79.36/79.63 c #Conflicts: 100000 | #Constraints: 23780
79.36/79.63 c #Conflicts: 101000 | #Constraints: 24780
79.36/79.63 c #Conflicts: 102000 | #Constraints: 25781
79.36/79.63 c #Conflicts: 103000 | #Constraints: 26783
79.36/79.63 c #Conflicts: 104000 | #Constraints: 27783
79.36/79.63 c #Conflicts: 105000 | #Constraints: 28783
79.36/79.63 c #Conflicts: 106000 | #Constraints: 29783
79.36/79.63 c #Conflicts: 107000 | #Constraints: 30785
79.36/79.63 c #Conflicts: 108000 | #Constraints: 31786
79.36/79.63 c #Conflicts: 109000 | #Constraints: 32794
79.36/79.63 c #Conflicts: 110000 | #Constraints: 33798
79.36/79.63 c #Conflicts: 111000 | #Constraints: 34804
79.36/79.63 c #Conflicts: 112000 | #Constraints: 35805
79.36/79.63 c #Conflicts: 113000 | #Constraints: 36805
79.36/79.63 c INPROCESSING
79.36/79.63 c GARBAGE COLLECT
79.36/79.63 c rational objective 229
83.24/83.55 c #Conflicts: 114000 | #Constraints: 19202
83.24/83.55 c #Conflicts: 115000 | #Constraints: 20202
83.24/83.55 c bounds 261 >= 230 @ 79.0237
83.24/83.55 c #Conflicts: 116000 | #Constraints: 21238
83.24/83.55 c #Conflicts: 117000 | #Constraints: 22238
83.24/83.55 c bounds 261 >= 231 @ 80.1551
83.24/83.55 c #Conflicts: 118000 | #Constraints: 23256
83.24/83.55 c #Conflicts: 119000 | #Constraints: 24256
83.24/83.55 c #Conflicts: 120000 | #Constraints: 25256
83.24/83.55 c bounds 261 >= 232 @ 81.8265
83.24/83.55 WSVECS04 Frhs2[1]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[11]: 6 -1.00005 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[15]: 6 -1.00009 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[17]: 6 -1.00003 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[21]: 6 -1.00004 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[25]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[29]: 6 -1.00005 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[35]: 6 -1.00009 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[37]: 6 -1.00003 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[41]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[47]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[51]: 6 -1.00007 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[55]: 6 -1.00005 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[57]: 6 -1.00003 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[63]: 6 -1.00005 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[69]: 6 -1.0001 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[75]: 6 -1.00001 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[77]: 6 -1.00002 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[81]: 6 -1.00007 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[85]: 6 -1.00009 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[91]: 6 -1.00001 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[93]: 6 -1.00001 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[99]: 6 -1.00002 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[103]: 6 -1.00003 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[109]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[113]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[119]: 6 -1.00009 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[121]: 6 -1.00009 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[127]: 6 -1.00004 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[151]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[163]: 6 -1.00008 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[183]: 6 -1.00009 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[203]: 6 -1.00005 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[207]: 6 -1.00004 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[241]: 6 -1.00007 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[251]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[253]: 6 -1.00003 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[319]: 6 -1.00002 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[327]: 6 -1.00001 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[388]: 6 -1.00006 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[400]: 6 -1.00003 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[442]: 6 -1.00007 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[472]: 6 -1.00008 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[508]: 6 -1.00002 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[544]: 6 -1.00009 0 shouldn't be
83.24/83.55 WSVECS04 Frhs2[556]: 6 -1.00002 0 shouldn't be
84.14/84.43 c #Conflicts: 121000 | #Constraints: 26280
84.14/84.43 c #Conflicts: 122000 | #Constraints: 27280
84.14/84.43 c bounds 261 >= 233 @ 82.6513
84.14/84.43 c INPROCESSING
84.14/84.43 c GARBAGE COLLECT
84.14/84.43 c rational objective 233
86.04/86.39 c #Conflicts: 123000 | #Constraints: 17237
86.04/86.39 c #Conflicts: 124000 | #Constraints: 18237
86.04/86.39 c #Conflicts: 125000 | #Constraints: 19237
86.04/86.39 c #Conflicts: 126000 | #Constraints: 20237
86.04/86.39 c bounds 261 >= 234 @ 84.5307
86.04/86.39 WSVECS04 Frhs2[131]: 6 -1.00002 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[141]: 6 -1.00002 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[147]: 6 -1.00005 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[161]: 6 -1.00003 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[171]: 6 -1.00006 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[181]: 6 -1.00006 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[201]: 6 -1.00006 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[211]: 6 -1.00005 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[215]: 6 -1.00004 0 shouldn't be
86.04/86.39 WSVECS04 Frhs2[520]: 6 -1.00009 0 shouldn't be
88.63/89.02 c #Conflicts: 127000 | #Constraints: 21276
88.63/89.02 c bounds 261 >= 235 @ 85.6594
88.63/89.02 c #Conflicts: 128000 | #Constraints: 22300
88.63/89.02 c #Conflicts: 129000 | #Constraints: 23300
88.63/89.02 c #Conflicts: 130000 | #Constraints: 24300
88.63/89.02 c bounds 261 >= 236 @ 87.1637
88.63/89.02 WSVECS04 Frhs2[472]: 6 -1.00002 0 shouldn't be
103.70/104.07 c #Conflicts: 131000 | #Constraints: 25336
103.70/104.07 c #Conflicts: 132000 | #Constraints: 26336
103.70/104.07 c bounds 261 >= 237 @ 88.8784
103.70/104.07 c #Conflicts: 133000 | #Constraints: 27372
103.70/104.07 c #Conflicts: 134000 | #Constraints: 28372
103.70/104.07 c #Conflicts: 135000 | #Constraints: 29372
103.70/104.07 c bounds 261 >= 238 @ 91.4313
103.70/104.07 c #Conflicts: 136000 | #Constraints: 30408
103.70/104.07 c #Conflicts: 137000 | #Constraints: 31408
103.70/104.07 c bounds 261 >= 239 @ 92.769
103.70/104.07 c #Conflicts: 138000 | #Constraints: 32435
103.70/104.07 c #Conflicts: 139000 | #Constraints: 33435
103.70/104.07 c #Conflicts: 140000 | #Constraints: 34435
103.70/104.07 c bounds 261 >= 240 @ 95.1408
103.70/104.07 c #Conflicts: 141000 | #Constraints: 35465
103.70/104.07 c #Conflicts: 142000 | #Constraints: 36465
103.70/104.07 c bounds 261 >= 241 @ 96.8626
103.70/104.07 c #Conflicts: 143000 | #Constraints: 37489
103.70/104.07 c bounds 261 >= 242 @ 97.7962
103.70/104.07 c #Conflicts: 144000 | #Constraints: 38516
103.70/104.07 c #Conflicts: 145000 | #Constraints: 39516
103.70/104.07 c bounds 261 >= 243 @ 99.8905
103.70/104.07 c #Conflicts: 146000 | #Constraints: 40543
103.70/104.07 c #Conflicts: 147000 | #Constraints: 41543
103.70/104.07 c bounds 261 >= 244 @ 101.683
103.70/104.07 c INPROCESSING
103.70/104.07 c GARBAGE COLLECT
103.70/104.07 c rational objective 244
109.38/109.78 c #Conflicts: 148000 | #Constraints: 23444
109.38/109.78 c bounds 261 >= 245 @ 102.965
109.38/109.78 c #Conflicts: 149000 | #Constraints: 24465
109.38/109.78 c bounds 261 >= 246 @ 104.071
109.38/109.78 c #Conflicts: 150000 | #Constraints: 25486
109.38/109.78 c bounds 261 >= 247 @ 104.704
109.38/109.78 c #Conflicts: 151000 | #Constraints: 26513
109.38/109.78 c bounds 261 >= 248 @ 105.871
109.38/109.78 c #Conflicts: 152000 | #Constraints: 27540
109.38/109.78 c #Conflicts: 153000 | #Constraints: 28540
109.38/109.78 c bounds 261 >= 249 @ 107.247
109.38/109.78 c #Conflicts: 154000 | #Constraints: 29561
109.38/109.78 WSVECS04 Frhs2[1]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[3]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[9]: 6 -1.00003 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[13]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[15]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[17]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[19]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[21]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[23]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[25]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[27]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[29]: 6 -1.00001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[33]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[35]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[39]: 6 -1.00003 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[41]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[43]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[45]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[47]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[49]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[53]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[55]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[57]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[59]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[63]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[67]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[69]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[80]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[81]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[83]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[85]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[87]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[89]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[91]: 6 -1.00003 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[95]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[99]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[101]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[105]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[109]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[111]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[117]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[119]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[126]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[130]: 6 0 2.58339 shouldn't be
109.38/109.78 WSVECS04 Frhs2[145]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[146]: 6 0 3.50004 shouldn't be
109.38/109.78 WSVECS04 Frhs2[153]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[154]: 6 0 1.41668 shouldn't be
109.38/109.78 WSVECS04 Frhs2[161]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[162]: 6 0 0.666736 shouldn't be
109.38/109.78 WSVECS04 Frhs2[165]: 6 -1.00001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[171]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[172]: 6 0 3.83336 shouldn't be
109.38/109.78 WSVECS04 Frhs2[179]: 6 -1.00003 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[180]: 6 0 1.08339 shouldn't be
109.38/109.78 WSVECS04 Frhs2[185]: 6 -1.00003 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[191]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[192]: 6 0 2.41671 shouldn't be
109.38/109.78 WSVECS04 Frhs2[195]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[196]: 6 0 2.75003 shouldn't be
109.38/109.78 WSVECS04 Frhs2[197]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[198]: 6 0 3.50002 shouldn't be
109.38/109.78 WSVECS04 Frhs2[209]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[210]: 6 0 3.83339 shouldn't be
109.38/109.78 WSVECS04 Frhs2[213]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[214]: 6 0 0.416752 shouldn't be
109.38/109.78 WSVECS04 Frhs2[219]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[220]: 6 0 3.66672 shouldn't be
109.38/109.78 WSVECS04 Frhs2[223]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[224]: 6 0 3.33337 shouldn't be
109.38/109.78 WSVECS04 Frhs2[229]: 6 -1.0001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[230]: 6 0 0.416751 shouldn't be
109.38/109.78 WSVECS04 Frhs2[233]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[234]: 6 0 0.166681 shouldn't be
109.38/109.78 WSVECS04 Frhs2[237]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[247]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[248]: 6 0 2.4167 shouldn't be
109.38/109.78 WSVECS04 Frhs2[257]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[258]: 6 0 0.882434 shouldn't be
109.38/109.78 WSVECS04 Frhs2[259]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[260]: 6 0 0.647142 shouldn't be
109.38/109.78 WSVECS04 Frhs2[265]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[266]: 6 0 0.823573 shouldn't be
109.38/109.78 WSVECS04 Frhs2[267]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[268]: 6 0 0.705973 shouldn't be
109.38/109.78 WSVECS04 Frhs2[269]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[270]: 6 0 0.529446 shouldn't be
109.38/109.78 WSVECS04 Frhs2[271]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[272]: 6 0 1.00004 shouldn't be
109.38/109.78 WSVECS04 Frhs2[273]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[274]: 6 0 0.470665 shouldn't be
109.38/109.78 WSVECS04 Frhs2[281]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[282]: 6 0 0.353038 shouldn't be
109.38/109.78 WSVECS04 Frhs2[283]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[284]: 6 0 1.17653 shouldn't be
109.38/109.78 WSVECS04 Frhs2[285]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[286]: 6 0 0.94121 shouldn't be
109.38/109.78 WSVECS04 Frhs2[287]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[288]: 6 0 0.588273 shouldn't be
109.38/109.78 WSVECS04 Frhs2[290]: 6 0 0.76472 shouldn't be
109.38/109.78 WSVECS04 Frhs2[291]: 6 -1.00009 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[292]: 6 0 0.76473 shouldn't be
109.38/109.78 WSVECS04 Frhs2[293]: 6 -1.00001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[295]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[296]: 6 0 1.5883 shouldn't be
109.38/109.78 WSVECS04 Frhs2[297]: 6 -1.0001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[298]: 6 0 1.5295 shouldn't be
109.38/109.78 WSVECS04 Frhs2[303]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[304]: 6 0 1.52942 shouldn't be
109.38/109.78 WSVECS04 Frhs2[305]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[306]: 6 0 1.52948 shouldn't be
109.38/109.78 WSVECS04 Frhs2[311]: 6 -1.0001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[312]: 6 0 1.52946 shouldn't be
109.38/109.78 WSVECS04 Frhs2[313]: 6 -1.00004 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[314]: 6 0 0.353004 shouldn't be
109.38/109.78 WSVECS04 Frhs2[315]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[316]: 6 0 1.17652 shouldn't be
109.38/109.78 WSVECS04 Frhs2[317]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[318]: 6 0 1.52947 shouldn't be
109.38/109.78 WSVECS04 Frhs2[321]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[322]: 6 0 0.8236 shouldn't be
109.38/109.78 WSVECS04 Frhs2[323]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[324]: 6 0 0.70593 shouldn't be
109.38/109.78 WSVECS04 Frhs2[325]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[326]: 6 0 0.353025 shouldn't be
109.38/109.78 WSVECS04 Frhs2[327]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[328]: 6 0 1.17653 shouldn't be
109.38/109.78 WSVECS04 Frhs2[331]: 6 -1.00001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[332]: 6 0 1.52948 shouldn't be
109.38/109.78 WSVECS04 Frhs2[337]: 6 -1.00001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[338]: 6 0 1.05886 shouldn't be
109.38/109.78 WSVECS04 Frhs2[339]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[340]: 6 0 0.470624 shouldn't be
109.38/109.78 WSVECS04 Frhs2[341]: 6 -1.0001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[342]: 6 0 0.941213 shouldn't be
109.38/109.78 WSVECS04 Frhs2[343]: 6 -1.00008 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[344]: 6 0 0.588331 shouldn't be
109.38/109.78 WSVECS04 Frhs2[345]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[346]: 6 0 1.7059 shouldn't be
109.38/109.78 WSVECS04 Frhs2[349]: 6 -1.00001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[350]: 6 0 1.6471 shouldn't be
109.38/109.78 WSVECS04 Frhs2[351]: 6 -1.00007 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[353]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[354]: 6 0 0.588258 shouldn't be
109.38/109.78 WSVECS04 Frhs2[355]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[356]: 6 0 0.941211 shouldn't be
109.38/109.78 WSVECS04 Frhs2[365]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[366]: 6 0 2.17651 shouldn't be
109.38/109.78 WSVECS04 Frhs2[369]: 6 -1.00002 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[370]: 6 0 1.52946 shouldn't be
109.38/109.78 WSVECS04 Frhs2[378]: 6 -0.529506 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[379]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[380]: 6 0 2.05884 shouldn't be
109.38/109.78 WSVECS04 Frhs2[381]: 6 -1.00005 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[382]: 6 0 0.941227 shouldn't be
109.38/109.78 WSVECS04 Frhs2[390]: 6 -1.00006 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[403]: 6 -1.0001 0 shouldn't be
109.38/109.78 WSVECS04 Frhs2[414]: 6 -1.00002 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[415]: 6 -1.00005 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[422]: 6 -1.00009 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[431]: 6 -1.00005 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[444]: 6 -1.00001 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[458]: 6 -1.00003 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[461]: 6 -1.00004 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[469]: 6 -1.00006 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[474]: 6 -1.00006 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[484]: 6 -1.00005 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[485]: 6 -1.00006 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[492]: 6 -1.00002 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[516]: 6 -1.00008 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[518]: 6 -1.00006 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[519]: 6 -1.00004 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[522]: 6 -1.0001 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[529]: 6 0 1.00002 shouldn't be
109.38/109.79 WSVECS04 Frhs2[530]: 6 -1.00007 0 shouldn't be
109.38/109.79 WSVECS04 Frhs2[548]: 6 -1.00004 0 shouldn't be
113.17/113.56 c #Conflicts: 155000 | #Constraints: 30561
113.17/113.56 c bounds 261 >= 250 @ 109.223
113.17/113.56 c #Conflicts: 156000 | #Constraints: 31585
113.17/113.56 c bounds 261 >= 251 @ 110.415
113.17/113.56 c #Conflicts: 157000 | #Constraints: 32618
113.17/113.56 c INPROCESSING
113.17/113.56 c GARBAGE COLLECT
113.17/113.56 c rational objective 251
140.80/141.23 c #Conflicts: 158000 | #Constraints: 19598
140.80/141.23 c #Conflicts: 159000 | #Constraints: 20598
140.80/141.23 c bounds 261 >= 252 @ 113.025
140.80/141.23 c #Conflicts: 160000 | #Constraints: 21622
140.80/141.23 c #Conflicts: 161000 | #Constraints: 22623
140.80/141.23 c #Conflicts: 162000 | #Constraints: 23623
140.80/141.23 c bounds 261 >= 253 @ 115.247
140.80/141.23 c #Conflicts: 163000 | #Constraints: 24656
140.80/141.23 c #Conflicts: 164000 | #Constraints: 25656
140.80/141.23 c #Conflicts: 165000 | #Constraints: 26656
140.80/141.23 c #Conflicts: 166000 | #Constraints: 27656
140.80/141.23 c bounds 261 >= 254 @ 118.806
140.80/141.23 c #Conflicts: 167000 | #Constraints: 28677
140.80/141.23 c #Conflicts: 168000 | #Constraints: 29677
140.80/141.23 c #Conflicts: 169000 | #Constraints: 30677
140.80/141.23 c #Conflicts: 170000 | #Constraints: 31678
140.80/141.23 c bounds 261 >= 255 @ 123.388
140.80/141.23 c #Conflicts: 171000 | #Constraints: 32703
140.80/141.23 c #Conflicts: 172000 | #Constraints: 33704
140.80/141.23 c #Conflicts: 173000 | #Constraints: 34706
140.80/141.23 c bounds 261 >= 256 @ 126.407
140.80/141.23 c #Conflicts: 174000 | #Constraints: 35730
140.80/141.23 c #Conflicts: 175000 | #Constraints: 36730
140.80/141.23 c #Conflicts: 176000 | #Constraints: 37730
140.80/141.23 c #Conflicts: 177000 | #Constraints: 38731
140.80/141.23 c bounds 261 >= 257 @ 130.713
140.80/141.23 c #Conflicts: 178000 | #Constraints: 39756
140.80/141.23 c #Conflicts: 179000 | #Constraints: 40756
140.80/141.23 c #Conflicts: 180000 | #Constraints: 41757
140.80/141.23 c #Conflicts: 181000 | #Constraints: 42757
140.80/141.23 c #Conflicts: 182000 | #Constraints: 43760
140.80/141.23 c bounds 261 >= 258 @ 136.501
140.80/141.23 c #Conflicts: 183000 | #Constraints: 44785
140.80/141.23 c #Conflicts: 184000 | #Constraints: 45791
140.80/141.23 c #Conflicts: 185000 | #Constraints: 46804
140.80/141.23 c #Conflicts: 186000 | #Constraints: 47810
140.80/141.23 c INPROCESSING
140.80/141.23 c GARBAGE COLLECT
140.80/141.23 c rational objective 258
148.59/149.03 c #Conflicts: 187000 | #Constraints: 27296
148.59/149.03 c #Conflicts: 188000 | #Constraints: 28296
148.59/149.03 c #Conflicts: 189000 | #Constraints: 29296
148.59/149.03 c #Conflicts: 190000 | #Constraints: 30298
148.59/149.03 c bounds 261 >= 259 @ 143.89
148.59/149.03 c #Conflicts: 191000 | #Constraints: 31325
148.59/149.03 c #Conflicts: 192000 | #Constraints: 32340
148.59/149.03 c #Conflicts: 193000 | #Constraints: 33348
148.59/149.03 c #Conflicts: 194000 | #Constraints: 34376
148.59/149.03 c #Conflicts: 195000 | #Constraints: 35387
148.59/149.03 c bounds 261 >= 259 @ 146.424
148.59/149.03 c cpu time 146.424 s
148.59/149.03 c deterministic time 13830945874 1.38e+10
148.59/149.03 c optimization time 0.07493 s
148.59/149.03 c total solve time 146.317 s
148.59/149.03 c core-guided solve time 84.7859 s
148.59/149.03 c propagation time 100.9 s
148.59/149.03 c conflict analysis time 42.7281 s
148.59/149.03 c propagations 34075082
148.59/149.03 c resolve steps 8921836
148.59/149.03 c decisions 707321
148.59/149.03 c conflicts 195345
148.59/149.03 c restarts 509
148.59/149.03 c inprocessing phases 20
148.59/149.03 c input clauses 4323
148.59/149.03 c input cardinalities 536
148.59/149.03 c input general constraints 1144
148.59/149.03 c input average constraint length 31.46
148.59/149.03 c input average constraint degree 8.43
148.59/149.03 c learned clauses 142230
148.59/149.03 c learned cardinalities 2046
148.59/149.03 c learned general constraints 51372
148.59/149.03 c learned average constraint length 162.92
148.59/149.03 c learned average constraint degree 40412573.67
148.59/149.03 c watched constraints 41381
148.59/149.03 c counting constraints 11135
148.59/149.03 c gcd simplifications 6826
148.59/149.03 c detected cardinalities 40
148.59/149.03 c weakened non-implied lits 3986748
148.59/149.03 c weakened non-implying lits 71476
148.59/149.03 c original variables 558
148.59/149.03 c clausal propagations 22439387
148.59/149.03 c cardinality propagations 1193106
148.59/149.03 c watched propagations 1472798
148.59/149.03 c counting propagations 8633698
148.59/149.03 c watch lookups 2926452147
148.59/149.03 c watch backjump lookups 2238105602
148.59/149.03 c watch checks 8068565089
148.59/149.03 c propagation checks 391663808
148.59/149.03 c constraint additions 136201207
148.59/149.03 c trail pops 34976583
148.59/149.03 c formula constraints 3551
148.59/149.03 c learned constraints 195136
148.59/149.03 c bound constraints 278
148.59/149.03 c core-guided constraints 2174
148.59/149.03 c encountered formula constraints 5205010
148.59/149.03 c encountered learned constraints 2182902
148.59/149.03 c encountered bound constraints 311
148.59/149.03 c encountered core-guided constraints 1723467
148.59/149.03 c LP total time 9.81657 s
148.59/149.03 c LP solve time 9.55 s
148.59/149.03 c LP constraints added 3647
148.59/149.03 c LP constraints removed 90
148.59/149.03 c LP pivots internal 195366
148.59/149.03 c LP pivots root 3668
148.59/149.03 c LP calls 822
148.59/149.03 c LP optimalities 565
148.59/149.03 c LP no pivot count 67
148.59/149.03 c LP infeasibilities 256
148.59/149.03 c LP valid Farkas constraints 256
148.59/149.03 c LP learned Farkas constraints 256
148.59/149.03 c LP basis resets 0
148.59/149.03 c LP cycling count 0
148.59/149.03 c LP singular count 0
148.59/149.03 c LP no primal count 0
148.59/149.03 c LP no farkas count 0
148.59/149.03 c LP other issue count 0
148.59/149.03 c LP Gomory cuts 0
148.59/149.03 c LP learned cuts 96
148.59/149.03 c LP deleted cuts 90
148.59/149.03 c LP encountered Gomory constraints 0
148.59/149.03 c LP encountered Farkas constraints 4655
148.59/149.03 c LP encountered learned Farkas constraints 580
148.59/149.03 c CG auxiliary variables introduced 811
148.59/149.03 c CG solutions found 19
148.59/149.03 c CG cores constructed 259
148.59/149.03 c CG core cardinality constraints returned 0
148.59/149.03 c CG unit cores 0
148.59/149.03 c CG single cores 255
148.59/149.03 c CG blocks removed during cardinality reduction 0
148.59/149.03 c CG first core best 0
148.59/149.03 c CG decision core best 0
148.59/149.03 c CG core reduction tie 4
148.59/149.03 c CG core degree average 1.00
148.59/149.03 c CG core slack average 4.00
148.59/149.03 o 261
148.59/149.03 s OPTIMUM FOUND
148.63/149.11 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
VeriPB
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 261 <= obj <= 261
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 261 <= obj <= 261
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 261 <= obj <= 261
--summary--
ALL OK
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: 64059 MiB (58040 MiB free)
memory of node 1: 64510 MiB (56738 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456707-1721769204/watcher-4456707-1721769204 -o /tmp/evaluation-result-4456707-1721769204/solver-4456707-1721769204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126872 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456707-1721769204 --lp-cut-gomory=0 HOME/instance-4456707-1721769204.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=128930, runsolver pid=128927
[startup+0.107488 s]*
/proc/loadavg: 4.34 4.20 4.11 5/244 128948
/proc/meminfo: memFree=117537452/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=40544 memory=10476 CPUtime=0.11 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 1434 0 0 0 9 2 0 0 20 0 1 0 12909508 41517056 2619 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 10136 2619 1781 992 0 1994 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40544 KiB
Current children cumulated memory: 10476 KiB
[startup+0.214676 s]*
/proc/loadavg: 4.34 4.20 4.11 6/247 128957
/proc/meminfo: memFree=117521632/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=40808 memory=11448 CPUtime=0.21 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 1653 0 0 0 18 3 0 0 20 0 1 0 12909508 41787392 2862 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 10202 2862 1829 992 0 2060 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40808 KiB
Current children cumulated memory: 11448 KiB
[startup+0.313231 s]*
/proc/loadavg: 4.34 4.20 4.11 6/250 128963
/proc/meminfo: memFree=117522268/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=41508 memory=14524 CPUtime=0.31 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 1998 0 0 0 26 5 0 0 20 0 1 0 12909508 42504192 3631 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 10377 3631 1829 992 0 2235 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41508 KiB
Current children cumulated memory: 14524 KiB
[startup+0.700933 s]
/proc/loadavg: 4.34 4.20 4.11 5/250 128964
/proc/meminfo: memFree=117516612/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=42232 memory=15048 CPUtime=0.68 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 2180 0 0 0 60 8 0 0 20 0 1 0 12909508 43245568 3762 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 10558 3762 1829 992 0 2416 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42232 KiB
Current children cumulated memory: 15048 KiB
[startup+1.50028 s]
/proc/loadavg: 4.40 4.21 4.12 6/247 128988
/proc/meminfo: memFree=117511704/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=43476 memory=16432 CPUtime=1.49 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 2453 0 0 0 135 14 0 0 20 0 1 0 12909508 44519424 4108 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 10869 4108 1921 992 0 2727 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43476 KiB
Current children cumulated memory: 16432 KiB
[startup+3.11452 s]
/proc/loadavg: 4.40 4.21 4.12 4/250 129155
/proc/meminfo: memFree=118040520/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=45796 memory=19860 CPUtime=3.09 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 3313 0 0 0 286 23 0 0 20 0 1 0 12909508 46895104 4965 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 11449 4965 1921 992 0 3307 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45796 KiB
Current children cumulated memory: 19860 KiB
[startup+6.30025 s]
/proc/loadavg: 4.36 4.21 4.12 5/250 129294
/proc/meminfo: memFree=117974336/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=50208 memory=23260 CPUtime=6.27 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 4134 0 0 0 588 39 0 0 20 0 1 0 12909508 51412992 5815 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 12552 5815 1921 992 0 4410 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50208 KiB
Current children cumulated memory: 23260 KiB
[startup+12.7003 s]
/proc/loadavg: 4.34 4.21 4.12 5/250 129296
/proc/meminfo: memFree=117454664/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=67492 memory=38248 CPUtime=12.65 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 6362 0 0 0 1215 50 0 0 20 0 1 0 12909508 69111808 9562 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 16873 9562 1921 992 0 8731 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67492 KiB
Current children cumulated memory: 38248 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.18 4.11 5/253 129584
/proc/meminfo: memFree=116717328/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=77364 memory=48292 CPUtime=25.41 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 8712 0 0 0 2460 81 0 0 20 0 1 0 12909508 79220736 12073 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 19341 12073 1921 992 0 11199 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 77364 KiB
Current children cumulated memory: 48292 KiB
[startup+51.114 s]
/proc/loadavg: 4.25 4.20 4.12 5/255 129590
/proc/meminfo: memFree=114054224/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=94004 memory=58812 CPUtime=50.95 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 10274 0 0 0 4979 116 0 0 20 0 1 0 12909508 96260096 14703 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 23501 14703 1921 992 0 15359 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 94004 KiB
Current children cumulated memory: 58812 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.22 4.13 5/257 129601
/proc/meminfo: memFree=108689404/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=118708 memory=72672 CPUtime=102 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 11741 0 0 0 10034 166 0 0 20 0 1 0 12909508 121556992 18168 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29677 18168 1921 992 0 21535 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 118708 KiB
Current children cumulated memory: 72672 KiB
[startup+149.122 s]
# the end of solver process 128930 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=146.43 s, system=2.21458 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.28 4.22 4.13 5/257 129601
/proc/meminfo: memFree=108689404/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=118708 memory=72672 CPUtime=102.1 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 11741 0 0 0 10044 166 0 0 20 0 1 0 12909508 121556992 18168 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29677 18168 1921 992 0 21535 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 118708 KiB
Current children cumulated memory: 72672 KiB
[startup+128 s]*
/proc/loadavg: 4.58 4.29 4.15 5/257 129604
/proc/meminfo: memFree=105998216/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119160 memory=73280 CPUtime=127.64 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 12030 0 0 0 12569 195 0 0 20 0 1 0 12909508 122019840 18320 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29790 18320 1921 992 0 21648 0
Current children cumulated CPU time: 127.64 s
Current children cumulated vsize: 119160 KiB
Current children cumulated memory: 73280 KiB
[startup+140.8 s]
/proc/loadavg: 4.49 4.28 4.15 5/257 129605
/proc/meminfo: memFree=104840448/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119160 memory=80408 CPUtime=140.4 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 12281 0 0 0 13831 209 0 0 20 0 1 0 12909508 122019840 20102 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29790 20102 1921 992 0 21648 0
Current children cumulated CPU time: 140.4 s
Current children cumulated vsize: 119160 KiB
Current children cumulated memory: 80408 KiB
[startup+144 s]*
/proc/loadavg: 4.45 4.27 4.15 5/257 129608
/proc/meminfo: memFree=104472524/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119272 memory=82636 CPUtime=143.6 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 12500 0 0 0 14147 213 0 0 20 0 1 0 12909508 122134528 20659 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29818 20659 1921 992 0 21676 0
Current children cumulated CPU time: 143.6 s
Current children cumulated vsize: 119272 KiB
Current children cumulated memory: 82636 KiB
[startup+147.2 s]
/proc/loadavg: 4.41 4.27 4.15 5/257 129608
/proc/meminfo: memFree=104099792/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119272 memory=82636 CPUtime=146.78 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 12500 0 0 0 14462 216 0 0 20 0 1 0 12909508 122134528 20659 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29818 20659 1921 992 0 21676 0
Current children cumulated CPU time: 146.78 s
Current children cumulated vsize: 119272 KiB
Current children cumulated memory: 82636 KiB
[startup+148 s]*
/proc/loadavg: 4.41 4.27 4.15 5/257 129608
/proc/meminfo: memFree=103983832/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119272 memory=82636 CPUtime=147.6 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 12500 0 0 0 14542 218 0 0 20 0 1 0 12909508 122134528 20659 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29818 20659 1921 992 0 21676 0
Current children cumulated CPU time: 147.6 s
Current children cumulated vsize: 119272 KiB
Current children cumulated memory: 82636 KiB
[startup+148.8 s]
/proc/loadavg: 4.41 4.27 4.15 5/257 129608
/proc/meminfo: memFree=103983832/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119272 memory=82636 CPUtime=148.38 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 12500 0 0 0 14619 219 0 0 20 0 1 0 12909508 122134528 20659 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29818 20659 1921 992 0 21676 0
Current children cumulated CPU time: 148.38 s
Current children cumulated vsize: 119272 KiB
Current children cumulated memory: 82636 KiB
[startup+149 s]*
/proc/loadavg: 4.41 4.27 4.15 5/257 129608
/proc/meminfo: memFree=103868792/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119272 memory=82636 CPUtime=148.59 cores=5,7
/proc/128930/stat : 128930 (roundingsat) R 128927 128930 126859 0 -1 4194304 12500 0 0 0 14640 219 0 0 20 0 1 0 12909508 122134528 20659 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29818 20659 1921 992 0 21676 0
Current children cumulated CPU time: 148.59 s
Current children cumulated vsize: 119272 KiB
Current children cumulated memory: 82636 KiB
[startup+149.114 s]
/proc/loadavg: 4.41 4.27 4.15 5/257 129608
/proc/meminfo: memFree=103868792/131655788 swapFree=131071996/131071996
[pid=128930] ppid=128927 vsize=119272 memory=82636 CPUtime=148.63 cores=5,7
/proc/128930/stat : 128930 (roundingsat) D 128927 128930 126859 0 -1 4194304 12500 0 0 0 14642 221 0 0 20 0 1 0 12909508 122134528 20659 134679101440 4194304 8254037 140727222175504 0 0 0 0 0 25182210 1 0 0 17 7 0 0 9 0 0 9037040 9046032 33255424 140727222178652 140727222178914 140727222178914 140727222185929 0
/proc/128930/statm: 29818 20659 1921 992 0 21676 0
Current children cumulated CPU time: 148.63 s
Current children cumulated vsize: 119272 KiB
Current children cumulated memory: 82636 KiB
Child status: 0
Real time (s): 149.122
CPU time (s): 148.645
CPU user time (s): 146.43
CPU system time (s): 2.21458
CPU usage (%): 99.6804
Max. virtual memory (cumulated for all children) (KiB): 119272
Max. memory (cumulated for all children) (KiB): 82636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.43
system time used= 2.21458
maximum resident set size= 83236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 651016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2772
involuntary context switches= 211
# summary of solver processes directly reported to runsolver:
# pid: 128930
# total CPU time (s): 148.645
# total CPU user time (s): 146.43
# total CPU system time (s): 2.21458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.802375 second user time and 1.61524 second system time
The end
Begin job on nodeC003 at 2024-07-23 23:13:25
IDJOB=4456707
IDBENCH=147116
IDSOLVER=3085
FILE ID=nodeC003/4456707-1721769204
RUNJOBID= nodeC003-1721765593-126872
SLURM_JOB_ID= 7770666
Free space on /tmp= 723764 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456707-1721769204/watcher-4456707-1721769204 -o /tmp/evaluation-result-4456707-1721769204/solver-4456707-1721769204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126872 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456707-1721769204 --lp-cut-gomory=0 HOME/instance-4456707-1721769204.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a781914766da5574ce48a9f540451afb
RANDOM SEED=743937962
nodeC003.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 : 0xb00001f
cpu MHz : 3667.190
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.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 : 0xb00001f
cpu MHz : 1696.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.457
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.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 : 0xb00001f
cpu MHz : 1197.273
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.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 : 0xb00001f
cpu MHz : 2294.789
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.310
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.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 : 0xb00001f
cpu MHz : 1197.274
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117540132 kB
MemAvailable: 129361052 kB
Buffers: 194388 kB
Cached: 12407672 kB
SwapCached: 0 kB
Active: 1279400 kB
Inactive: 12204888 kB
Active(anon): 1444 kB
Inactive(anon): 926368 kB
Active(file): 1277956 kB
Inactive(file): 11278520 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 25924 kB
Writeback: 0 kB
AnonPages: 880228 kB
Mapped: 112240 kB
Shmem: 45896 kB
KReclaimable: 208952 kB
Slab: 314196 kB
SReclaimable: 208952 kB
SUnreclaim: 105244 kB
KernelStack: 4032 kB
PageTables: 11288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1457740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 727040 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: 267080 kB
DirectMap2M: 27949056 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC003 at 2024-07-23 23:15:54