0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.06 c Papilo could not simplify the problem
0.00/0.06 c [STEP] solving with SCIP
299.08/300.15 c [STEP] preprocessing done, loading into solver
299.08/300.18 c [STEP] solving
299.08/300.18 c #variables 2461 #constraints 17131
299.08/300.18 c SMALL=int, LARGE=long long
299.08/300.18 d SCIPUB 890
299.08/300.18 c bounds - >= 0 @ 298.742
299.08/300.18 c stratification level: 0
299.17/300.25 c bounds - >= 161 @ 298.753
299.17/300.25 c bounds - >= 162 @ 298.754
299.17/300.25 c bounds - >= 163 @ 298.754
299.17/300.25 c bounds - >= 164 @ 298.754
299.17/300.25 c bounds - >= 165 @ 298.754
299.17/300.25 c bounds - >= 166 @ 298.755
299.17/300.25 c bounds - >= 167 @ 298.755
299.17/300.25 c bounds - >= 168 @ 298.756
299.17/300.25 c bounds - >= 169 @ 298.756
299.17/300.25 c bounds - >= 170 @ 298.757
299.17/300.25 c bounds - >= 171 @ 298.757
299.17/300.25 c bounds - >= 172 @ 298.757
299.17/300.25 c bounds - >= 173 @ 298.758
299.17/300.25 c bounds - >= 174 @ 298.758
299.17/300.25 c bounds - >= 175 @ 298.759
299.17/300.25 c bounds - >= 176 @ 298.759
299.17/300.25 c bounds - >= 177 @ 298.759
299.17/300.25 c bounds - >= 178 @ 298.76
299.17/300.25 c bounds - >= 179 @ 298.76
299.17/300.25 c bounds - >= 180 @ 298.761
299.17/300.25 c bounds - >= 181 @ 298.761
299.17/300.25 c bounds - >= 182 @ 298.761
299.17/300.25 c bounds - >= 183 @ 298.762
299.17/300.25 c bounds - >= 184 @ 298.762
299.17/300.25 c bounds - >= 185 @ 298.762
299.17/300.25 c bounds - >= 186 @ 298.763
299.17/300.25 c bounds - >= 187 @ 298.763
299.17/300.25 c bounds - >= 188 @ 298.764
299.17/300.25 c bounds - >= 189 @ 298.764
299.17/300.25 c bounds - >= 190 @ 298.764
299.17/300.25 c bounds - >= 191 @ 298.765
299.17/300.25 c bounds - >= 192 @ 298.765
299.17/300.25 c bounds - >= 193 @ 298.765
299.17/300.25 c bounds - >= 194 @ 298.766
299.17/300.25 c bounds - >= 195 @ 298.766
299.17/300.25 c bounds - >= 196 @ 298.766
299.17/300.25 c bounds - >= 197 @ 298.767
299.17/300.25 c bounds - >= 198 @ 298.767
299.17/300.25 c bounds - >= 199 @ 298.767
299.17/300.25 c bounds - >= 200 @ 298.768
299.17/300.25 c bounds - >= 201 @ 298.768
299.17/300.25 c bounds - >= 202 @ 298.768
299.17/300.25 c bounds - >= 203 @ 298.768
299.17/300.25 c bounds - >= 204 @ 298.769
299.17/300.25 c bounds - >= 205 @ 298.769
299.17/300.25 c bounds - >= 206 @ 298.769
299.17/300.25 c bounds - >= 207 @ 298.77
299.17/300.25 c bounds - >= 208 @ 298.77
299.17/300.25 c bounds - >= 209 @ 298.77
299.17/300.25 c bounds - >= 210 @ 298.771
299.17/300.25 c bounds - >= 211 @ 298.771
299.17/300.25 c bounds - >= 212 @ 298.771
299.17/300.25 c bounds - >= 213 @ 298.771
299.17/300.25 c bounds - >= 214 @ 298.772
299.17/300.25 c bounds - >= 215 @ 298.772
299.17/300.25 c bounds - >= 216 @ 298.772
299.17/300.25 c bounds - >= 217 @ 298.773
299.17/300.25 c bounds - >= 218 @ 298.773
299.17/300.25 c bounds - >= 219 @ 298.773
299.17/300.25 c bounds - >= 220 @ 298.773
299.17/300.25 c bounds - >= 221 @ 298.774
299.17/300.25 c bounds - >= 222 @ 298.774
299.17/300.25 c bounds - >= 223 @ 298.774
299.17/300.25 c bounds - >= 224 @ 298.774
299.17/300.25 c bounds - >= 225 @ 298.774
299.17/300.25 c bounds - >= 226 @ 298.774
299.17/300.25 c bounds - >= 227 @ 298.774
299.17/300.25 c bounds - >= 228 @ 298.775
299.17/300.25 c bounds - >= 229 @ 298.775
299.17/300.25 c bounds - >= 230 @ 298.775
299.17/300.25 c bounds - >= 231 @ 298.775
299.17/300.25 c bounds - >= 232 @ 298.776
299.17/300.25 c bounds - >= 233 @ 298.776
299.17/300.25 c bounds - >= 234 @ 298.776
299.17/300.25 c bounds - >= 235 @ 298.777
299.17/300.25 c bounds - >= 236 @ 298.777
299.17/300.25 c bounds - >= 237 @ 298.777
299.17/300.25 c bounds - >= 238 @ 298.777
299.17/300.25 c bounds - >= 239 @ 298.778
299.17/300.25 c bounds - >= 240 @ 298.778
299.17/300.25 c bounds - >= 241 @ 298.778
299.17/300.25 c bounds - >= 242 @ 298.778
299.17/300.25 c bounds - >= 243 @ 298.779
299.17/300.25 c bounds - >= 244 @ 298.779
299.17/300.25 c bounds - >= 245 @ 298.779
299.17/300.25 c bounds - >= 246 @ 298.779
299.17/300.25 c bounds - >= 247 @ 298.78
299.17/300.25 c bounds - >= 248 @ 298.78
299.17/300.25 c bounds - >= 249 @ 298.78
299.17/300.25 c bounds - >= 250 @ 298.78
299.17/300.25 c bounds - >= 251 @ 298.78
299.17/300.25 c bounds - >= 252 @ 298.78
299.17/300.25 c bounds - >= 253 @ 298.78
299.17/300.25 c bounds - >= 254 @ 298.781
299.17/300.25 c bounds - >= 255 @ 298.781
299.17/300.25 c bounds - >= 256 @ 298.781
299.17/300.25 c bounds - >= 257 @ 298.781
299.17/300.25 c bounds - >= 258 @ 298.782
299.17/300.25 c bounds - >= 259 @ 298.782
299.17/300.25 c bounds - >= 260 @ 298.782
299.17/300.25 c bounds - >= 261 @ 298.782
299.17/300.25 c bounds - >= 262 @ 298.783
299.17/300.25 c bounds - >= 263 @ 298.783
299.17/300.25 c bounds - >= 264 @ 298.783
299.17/300.25 c bounds - >= 265 @ 298.783
299.17/300.25 c bounds - >= 266 @ 298.784
299.17/300.25 c bounds - >= 267 @ 298.784
299.17/300.25 c bounds - >= 268 @ 298.784
299.17/300.25 c bounds - >= 269 @ 298.784
299.17/300.25 c bounds - >= 270 @ 298.785
299.17/300.25 c bounds - >= 271 @ 298.785
299.17/300.25 c bounds - >= 272 @ 298.785
299.17/300.25 c bounds - >= 273 @ 298.785
299.17/300.25 c bounds - >= 274 @ 298.786
299.17/300.25 c bounds - >= 275 @ 298.786
299.17/300.25 c bounds - >= 276 @ 298.786
299.17/300.25 c bounds - >= 277 @ 298.786
299.17/300.25 c bounds - >= 278 @ 298.787
299.17/300.25 c bounds - >= 279 @ 298.787
299.17/300.25 c bounds - >= 280 @ 298.787
299.17/300.25 c bounds - >= 281 @ 298.787
299.17/300.25 c bounds - >= 282 @ 298.787
299.17/300.25 c bounds - >= 283 @ 298.787
299.17/300.25 c bounds - >= 284 @ 298.788
299.17/300.25 c bounds - >= 285 @ 298.788
299.17/300.25 c bounds - >= 286 @ 298.788
299.17/300.25 c bounds - >= 287 @ 298.788
299.17/300.25 c bounds - >= 288 @ 298.789
299.17/300.25 c bounds - >= 289 @ 298.789
299.17/300.25 c bounds - >= 290 @ 298.789
299.17/300.25 c bounds - >= 291 @ 298.789
299.17/300.25 c bounds - >= 292 @ 298.79
299.17/300.25 c bounds - >= 293 @ 298.79
299.17/300.25 c bounds - >= 294 @ 298.79
299.17/300.25 c bounds - >= 295 @ 298.79
299.17/300.25 c bounds - >= 296 @ 298.791
299.17/300.25 c bounds - >= 297 @ 298.791
299.17/300.25 c bounds - >= 298 @ 298.791
299.17/300.25 c bounds - >= 299 @ 298.791
299.17/300.25 c bounds - >= 300 @ 298.792
299.17/300.25 c bounds - >= 301 @ 298.792
299.17/300.25 c bounds - >= 302 @ 298.792
299.17/300.25 c bounds - >= 303 @ 298.792
299.17/300.25 c bounds - >= 304 @ 298.793
299.17/300.25 c bounds - >= 305 @ 298.793
299.17/300.25 c bounds - >= 306 @ 298.793
299.17/300.25 c bounds - >= 307 @ 298.793
299.17/300.28 c bounds - >= 308 @ 298.793
299.17/300.28 c bounds - >= 309 @ 298.793
299.17/300.28 c bounds - >= 310 @ 298.793
299.17/300.28 c bounds - >= 311 @ 298.794
299.17/300.28 c bounds - >= 312 @ 298.794
299.17/300.28 c bounds - >= 313 @ 298.794
299.17/300.28 c bounds - >= 314 @ 298.794
299.17/300.28 c bounds - >= 315 @ 298.794
299.17/300.28 c bounds - >= 316 @ 298.795
299.17/300.28 c bounds - >= 317 @ 298.795
299.17/300.28 c bounds - >= 318 @ 298.795
299.17/300.28 c bounds - >= 319 @ 298.795
299.17/300.28 c bounds - >= 320 @ 298.796
299.17/300.28 c bounds - >= 321 @ 298.796
299.17/300.28 c bounds - >= 322 @ 298.796
299.17/300.28 c bounds - >= 323 @ 298.796
299.17/300.28 c bounds - >= 324 @ 298.797
299.17/300.28 c bounds - >= 325 @ 298.797
299.17/300.28 c bounds - >= 326 @ 298.797
299.17/300.28 c bounds - >= 327 @ 298.797
299.17/300.28 c bounds - >= 328 @ 298.798
299.17/300.28 c bounds - >= 329 @ 298.798
299.17/300.28 c bounds - >= 330 @ 298.798
299.17/300.28 c bounds - >= 331 @ 298.798
299.17/300.28 c bounds - >= 332 @ 298.799
299.17/300.28 c bounds - >= 333 @ 298.799
299.17/300.28 c bounds - >= 334 @ 298.799
299.17/300.28 c bounds - >= 335 @ 298.799
299.17/300.28 c bounds - >= 336 @ 298.799
299.17/300.28 c bounds - >= 337 @ 298.8
299.17/300.28 c bounds - >= 338 @ 298.8
299.17/300.28 c bounds - >= 339 @ 298.8
299.17/300.28 c bounds - >= 340 @ 298.8
299.17/300.28 c bounds - >= 341 @ 298.801
299.17/300.28 c bounds - >= 342 @ 298.801
299.17/300.28 c bounds - >= 343 @ 298.801
299.17/300.28 c bounds - >= 344 @ 298.801
299.17/300.28 c bounds - >= 345 @ 298.802
299.17/300.28 c bounds - >= 346 @ 298.802
299.17/300.28 c bounds - >= 347 @ 298.802
299.17/300.28 c bounds - >= 348 @ 298.802
299.17/300.28 c bounds - >= 349 @ 298.803
299.17/300.28 c bounds - >= 350 @ 298.803
299.17/300.28 c bounds - >= 351 @ 298.803
299.17/300.28 c bounds - >= 352 @ 298.803
299.17/300.28 c bounds - >= 353 @ 298.804
299.17/300.28 c bounds - >= 354 @ 298.804
299.17/300.28 c bounds - >= 355 @ 298.804
299.17/300.28 c bounds - >= 356 @ 298.804
299.17/300.28 c bounds - >= 357 @ 298.805
299.17/300.28 c bounds - >= 358 @ 298.805
299.17/300.28 c bounds - >= 359 @ 298.805
299.17/300.28 c bounds - >= 360 @ 298.805
299.17/300.28 c bounds - >= 361 @ 298.805
299.17/300.28 c bounds - >= 362 @ 298.806
299.17/300.28 c bounds - >= 363 @ 298.806
299.17/300.28 c bounds - >= 364 @ 298.806
299.17/300.28 c bounds - >= 365 @ 298.806
299.17/300.28 c bounds - >= 366 @ 298.807
299.17/300.28 c bounds - >= 367 @ 298.807
299.17/300.28 c bounds - >= 368 @ 298.807
299.17/300.28 c bounds - >= 369 @ 298.807
299.17/300.28 c bounds - >= 370 @ 298.808
299.17/300.28 c bounds - >= 371 @ 298.808
299.17/300.28 c bounds - >= 372 @ 298.808
299.17/300.28 c bounds - >= 373 @ 298.808
299.17/300.28 c bounds - >= 374 @ 298.808
299.17/300.28 c bounds - >= 375 @ 298.809
299.17/300.28 c bounds - >= 376 @ 298.809
299.17/300.28 c bounds - >= 377 @ 298.809
299.17/300.28 c bounds - >= 378 @ 298.809
299.17/300.28 c bounds - >= 379 @ 298.81
299.17/300.28 c bounds - >= 380 @ 298.81
299.17/300.28 c bounds - >= 381 @ 298.81
299.17/300.28 c bounds - >= 382 @ 298.81
299.17/300.28 c bounds - >= 383 @ 298.811
299.17/300.28 c bounds - >= 384 @ 298.811
299.17/300.28 c bounds - >= 385 @ 298.811
299.17/300.28 c bounds - >= 386 @ 298.811
299.17/300.28 c bounds - >= 387 @ 298.811
299.17/300.28 c bounds - >= 388 @ 298.812
299.17/300.28 c bounds - >= 389 @ 298.812
299.17/300.28 c bounds - >= 390 @ 298.812
299.17/300.28 c bounds - >= 391 @ 298.812
299.17/300.28 c bounds - >= 392 @ 298.813
299.17/300.28 c bounds - >= 393 @ 298.813
299.17/300.28 c bounds - >= 394 @ 298.813
299.17/300.28 c bounds - >= 395 @ 298.813
299.17/300.28 c bounds - >= 396 @ 298.814
299.17/300.28 c bounds - >= 397 @ 298.814
299.17/300.28 c bounds - >= 398 @ 298.814
299.17/300.28 c bounds - >= 399 @ 298.814
299.17/300.28 c bounds - >= 400 @ 298.814
299.17/300.28 c bounds - >= 401 @ 298.815
299.17/300.28 c bounds - >= 402 @ 298.815
299.17/300.28 c bounds - >= 403 @ 298.815
299.17/300.28 c bounds - >= 404 @ 298.815
299.17/300.28 c bounds - >= 405 @ 298.815
299.17/300.28 c bounds - >= 406 @ 298.815
299.17/300.28 c bounds - >= 407 @ 298.815
299.17/300.28 c bounds - >= 408 @ 298.815
299.17/300.28 c bounds - >= 409 @ 298.815
299.17/300.28 c bounds - >= 410 @ 298.815
299.17/300.28 c bounds - >= 411 @ 298.815
299.17/300.28 c bounds - >= 412 @ 298.815
299.17/300.28 c bounds - >= 413 @ 298.816
299.17/300.28 c bounds - >= 414 @ 298.816
299.17/300.28 c bounds - >= 415 @ 298.816
299.17/300.28 c bounds - >= 416 @ 298.816
299.17/300.28 c bounds - >= 417 @ 298.817
299.17/300.28 c bounds - >= 418 @ 298.817
299.17/300.28 c bounds - >= 419 @ 298.817
299.17/300.28 c bounds - >= 420 @ 298.817
299.17/300.28 c bounds - >= 421 @ 298.817
299.17/300.28 c bounds - >= 422 @ 298.818
299.17/300.28 c bounds - >= 423 @ 298.818
299.17/300.28 c bounds - >= 424 @ 298.818
299.17/300.28 c bounds - >= 425 @ 298.818
299.17/300.28 c bounds - >= 426 @ 298.819
299.17/300.28 c bounds - >= 427 @ 298.819
299.17/300.28 c bounds - >= 428 @ 298.819
299.17/300.28 c bounds - >= 429 @ 298.819
299.17/300.28 c bounds - >= 430 @ 298.82
299.17/300.28 c bounds - >= 431 @ 298.82
299.17/300.28 c bounds - >= 432 @ 298.82
299.17/300.28 c bounds - >= 433 @ 298.82
299.17/300.28 c bounds - >= 434 @ 298.82
299.17/300.28 c bounds - >= 435 @ 298.821
299.17/300.28 c bounds - >= 436 @ 298.821
299.17/300.28 c bounds - >= 437 @ 298.821
299.17/300.28 c bounds - >= 438 @ 298.821
299.17/300.28 c bounds - >= 439 @ 298.821
299.17/300.28 c bounds - >= 440 @ 298.821
299.17/300.28 c bounds - >= 441 @ 298.821
299.17/300.28 c bounds - >= 442 @ 298.821
299.17/300.28 c bounds - >= 443 @ 298.821
299.17/300.28 c bounds - >= 444 @ 298.822
299.17/300.28 c bounds - >= 445 @ 298.822
299.17/300.28 c bounds - >= 446 @ 298.822
299.17/300.28 c bounds - >= 447 @ 298.822
299.17/300.28 c bounds - >= 448 @ 298.823
299.17/300.28 c bounds - >= 449 @ 298.823
299.17/300.28 c bounds - >= 450 @ 298.823
299.17/300.28 c bounds - >= 451 @ 298.823
299.17/300.28 c bounds - >= 452 @ 298.823
299.17/300.28 c bounds - >= 453 @ 298.824
299.17/300.28 c bounds - >= 454 @ 298.824
299.27/300.31 c bounds - >= 455 @ 298.824
299.27/300.31 c bounds - >= 456 @ 298.824
299.27/300.31 c bounds - >= 457 @ 298.824
299.27/300.31 c bounds - >= 458 @ 298.825
299.27/300.31 c bounds - >= 459 @ 298.825
299.27/300.31 c bounds - >= 460 @ 298.825
299.27/300.31 c bounds - >= 461 @ 298.825
299.27/300.31 c bounds - >= 462 @ 298.826
299.27/300.31 c bounds - >= 463 @ 298.826
299.27/300.31 c bounds - >= 464 @ 298.826
299.27/300.31 c bounds - >= 465 @ 298.826
299.27/300.31 c bounds - >= 466 @ 298.826
299.27/300.31 c bounds - >= 467 @ 298.826
299.27/300.31 c bounds - >= 468 @ 298.826
299.27/300.31 c bounds - >= 469 @ 298.826
299.27/300.31 c bounds - >= 470 @ 298.826
299.27/300.31 c bounds - >= 471 @ 298.827
299.27/300.31 c bounds - >= 472 @ 298.827
299.27/300.31 c bounds - >= 473 @ 298.827
299.27/300.31 c bounds - >= 474 @ 298.827
299.27/300.31 c bounds - >= 475 @ 298.828
299.27/300.31 c bounds - >= 476 @ 298.828
299.27/300.31 c bounds - >= 477 @ 298.828
299.27/300.31 c bounds - >= 478 @ 298.828
299.27/300.31 c bounds - >= 479 @ 298.828
299.27/300.31 c bounds - >= 480 @ 298.829
299.27/300.31 c bounds - >= 481 @ 298.829
299.27/300.31 c bounds - >= 482 @ 298.829
299.27/300.31 c bounds - >= 483 @ 298.829
299.27/300.31 c bounds - >= 484 @ 298.83
299.27/300.31 c bounds - >= 485 @ 298.83
299.27/300.31 c bounds - >= 486 @ 298.83
299.27/300.31 c bounds - >= 487 @ 298.83
299.27/300.31 c bounds - >= 488 @ 298.83
299.27/300.31 c bounds - >= 489 @ 298.83
299.27/300.31 c bounds - >= 490 @ 298.83
299.27/300.31 c bounds - >= 491 @ 298.83
299.27/300.31 c bounds - >= 492 @ 298.831
299.27/300.31 c bounds - >= 493 @ 298.831
299.27/300.31 c bounds - >= 494 @ 298.831
299.27/300.31 c bounds - >= 495 @ 298.831
299.27/300.31 c bounds - >= 496 @ 298.832
299.27/300.31 c bounds - >= 497 @ 298.832
299.27/300.31 c bounds - >= 498 @ 298.832
299.27/300.31 c bounds - >= 499 @ 298.832
299.27/300.31 c bounds - >= 500 @ 298.832
299.27/300.31 c bounds - >= 501 @ 298.833
299.27/300.31 c bounds - >= 502 @ 298.833
299.27/300.31 c bounds - >= 503 @ 298.833
299.27/300.31 c bounds - >= 504 @ 298.834
299.27/300.31 c bounds - >= 505 @ 298.834
299.27/300.31 c bounds - >= 506 @ 298.834
299.27/300.31 c bounds - >= 507 @ 298.834
299.27/300.31 c bounds - >= 508 @ 298.835
299.27/300.31 c bounds - >= 509 @ 298.835
299.27/300.31 c bounds - >= 510 @ 298.835
299.27/300.31 c bounds - >= 511 @ 298.835
299.27/300.31 c bounds - >= 512 @ 298.836
299.27/300.31 c bounds - >= 513 @ 298.836
299.27/300.31 c bounds - >= 514 @ 298.836
299.27/300.31 c bounds - >= 515 @ 298.836
299.27/300.31 c bounds - >= 516 @ 298.836
299.27/300.31 c bounds - >= 517 @ 298.837
299.27/300.31 c bounds - >= 518 @ 298.837
299.27/300.31 c bounds - >= 519 @ 298.837
299.27/300.31 c bounds - >= 520 @ 298.837
299.27/300.31 c bounds - >= 521 @ 298.838
299.27/300.31 c bounds - >= 522 @ 298.838
299.27/300.31 c bounds - >= 523 @ 298.838
299.27/300.31 c bounds - >= 524 @ 298.838
299.27/300.31 c bounds - >= 525 @ 298.838
299.27/300.31 c bounds - >= 526 @ 298.839
299.27/300.31 c bounds - >= 527 @ 298.839
299.27/300.31 c bounds - >= 528 @ 298.839
299.27/300.31 c bounds - >= 529 @ 298.839
299.27/300.31 c bounds - >= 530 @ 298.84
299.27/300.31 c bounds - >= 531 @ 298.84
299.27/300.31 c bounds - >= 532 @ 298.84
299.27/300.31 c bounds - >= 533 @ 298.84
299.27/300.31 c bounds - >= 534 @ 298.84
299.27/300.31 c bounds - >= 535 @ 298.841
299.27/300.31 c bounds - >= 536 @ 298.841
299.27/300.31 c bounds - >= 537 @ 298.841
299.27/300.31 c bounds - >= 538 @ 298.841
299.27/300.31 c bounds - >= 539 @ 298.842
299.27/300.31 c bounds - >= 540 @ 298.842
299.27/300.31 c bounds - >= 541 @ 298.842
299.27/300.31 c bounds - >= 542 @ 298.842
299.27/300.31 c bounds - >= 543 @ 298.842
299.27/300.31 c bounds - >= 544 @ 298.843
299.27/300.31 c bounds - >= 545 @ 298.843
299.27/300.31 c bounds - >= 546 @ 298.843
299.27/300.31 c bounds - >= 547 @ 298.843
299.27/300.31 c bounds - >= 548 @ 298.844
299.27/300.31 c bounds - >= 549 @ 298.844
299.27/300.31 c bounds - >= 550 @ 298.844
299.27/300.31 c bounds - >= 551 @ 298.844
299.27/300.31 c bounds - >= 552 @ 298.844
299.27/300.31 c bounds - >= 553 @ 298.845
299.27/300.31 c bounds - >= 554 @ 298.845
299.27/300.31 c bounds - >= 555 @ 298.845
299.27/300.31 c bounds - >= 556 @ 298.845
299.27/300.31 c bounds - >= 557 @ 298.846
299.27/300.31 c bounds - >= 558 @ 298.846
299.27/300.31 c bounds - >= 559 @ 298.846
299.27/300.31 c bounds - >= 560 @ 298.846
299.27/300.31 c bounds - >= 561 @ 298.847
299.27/300.31 c bounds - >= 562 @ 298.847
299.27/300.31 c bounds - >= 563 @ 298.847
299.27/300.31 c bounds - >= 564 @ 298.847
299.27/300.31 c bounds - >= 565 @ 298.847
299.27/300.31 c bounds - >= 566 @ 298.848
299.27/300.31 c bounds - >= 567 @ 298.848
299.27/300.31 c bounds - >= 568 @ 298.848
299.27/300.31 c bounds - >= 569 @ 298.848
299.27/300.31 c bounds - >= 570 @ 298.849
299.27/300.31 c bounds - >= 571 @ 298.849
299.27/300.31 c bounds - >= 572 @ 298.849
299.27/300.31 c bounds - >= 573 @ 298.849
299.27/300.31 c bounds - >= 574 @ 298.849
299.27/300.31 c bounds - >= 575 @ 298.849
299.27/300.31 c bounds - >= 576 @ 298.849
299.27/300.31 c bounds - >= 577 @ 298.85
299.27/300.31 c bounds - >= 578 @ 298.85
299.27/300.31 c bounds - >= 579 @ 298.85
299.27/300.31 c bounds - >= 580 @ 298.85
299.27/300.31 c bounds - >= 581 @ 298.85
299.27/300.31 c bounds - >= 582 @ 298.851
299.27/300.31 c bounds - >= 583 @ 298.851
299.27/300.31 c bounds - >= 584 @ 298.851
299.27/300.31 c bounds - >= 585 @ 298.851
299.27/300.31 c bounds - >= 586 @ 298.851
299.27/300.31 c bounds - >= 587 @ 298.852
299.27/300.31 c bounds - >= 588 @ 298.852
299.27/300.31 c bounds - >= 589 @ 298.852
299.27/300.31 c bounds - >= 590 @ 298.852
299.27/300.31 c bounds - >= 591 @ 298.852
299.27/300.31 c bounds - >= 592 @ 298.853
299.27/300.31 c bounds - >= 593 @ 298.853
299.27/300.31 c bounds - >= 594 @ 298.853
299.27/300.31 c bounds - >= 595 @ 298.853
299.27/300.31 c bounds - >= 596 @ 298.853
299.27/300.31 c bounds - >= 597 @ 298.854
299.27/300.31 c bounds - >= 598 @ 298.854
299.27/300.31 c bounds - >= 599 @ 298.854
299.27/300.31 c bounds - >= 600 @ 298.854
299.27/300.31 c bounds - >= 601 @ 298.854
389.69/391.04 c bounds - >= 602 @ 298.855
389.69/391.04 c bounds - >= 603 @ 298.855
389.69/391.04 c bounds - >= 604 @ 298.855
389.69/391.04 c bounds - >= 605 @ 298.855
389.69/391.04 c bounds - >= 606 @ 298.856
389.69/391.04 c bounds - >= 607 @ 298.856
389.69/391.04 c bounds - >= 608 @ 298.856
389.69/391.04 c bounds - >= 609 @ 298.856
389.69/391.04 c bounds - >= 610 @ 298.856
389.69/391.04 c bounds - >= 611 @ 298.857
389.69/391.04 c bounds - >= 612 @ 298.857
389.69/391.04 c bounds - >= 613 @ 298.857
389.69/391.04 c bounds - >= 614 @ 298.857
389.69/391.04 c bounds - >= 615 @ 298.858
389.69/391.04 c bounds - >= 616 @ 298.858
389.69/391.04 c bounds - >= 617 @ 298.858
389.69/391.04 c bounds - >= 618 @ 298.858
389.69/391.04 c bounds - >= 619 @ 298.858
389.69/391.04 c bounds - >= 620 @ 298.859
389.69/391.04 c bounds - >= 621 @ 298.859
389.69/391.04 c bounds - >= 622 @ 298.859
389.69/391.04 c bounds - >= 623 @ 298.859
389.69/391.04 c bounds - >= 624 @ 298.86
389.69/391.04 c bounds - >= 625 @ 298.86
389.69/391.04 c bounds - >= 626 @ 298.86
389.69/391.04 c bounds - >= 627 @ 298.86
389.69/391.04 c bounds - >= 628 @ 298.861
389.69/391.04 c bounds - >= 629 @ 298.861
389.69/391.04 c bounds - >= 630 @ 298.861
389.69/391.04 c bounds - >= 631 @ 298.862
389.69/391.04 c bounds - >= 632 @ 298.862
389.69/391.04 c bounds - >= 633 @ 298.862
389.69/391.04 c bounds - >= 634 @ 298.862
389.69/391.04 c bounds - >= 635 @ 298.862
389.69/391.04 c bounds - >= 636 @ 298.862
389.69/391.04 c #Conflicts: 1000 | #Constraints: 19050
389.69/391.04 c #Conflicts: 2000 | #Constraints: 20050
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 3000 | #Constraints: 19541
389.69/391.04 c #Conflicts: 4000 | #Constraints: 20541
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 5000 | #Constraints: 19952
389.69/391.04 c #Conflicts: 6000 | #Constraints: 20952
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 7000 | #Constraints: 19956
389.69/391.04 c #Conflicts: 8000 | #Constraints: 20956
389.69/391.04 c #Conflicts: 9000 | #Constraints: 21956
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 10000 | #Constraints: 20660
389.69/391.04 c #Conflicts: 11000 | #Constraints: 21660
389.69/391.04 c #Conflicts: 12000 | #Constraints: 22660
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 13000 | #Constraints: 21133
389.69/391.04 c #Conflicts: 14000 | #Constraints: 22133
389.69/391.04 c #Conflicts: 15000 | #Constraints: 23133
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 16000 | #Constraints: 21383
389.69/391.04 c #Conflicts: 17000 | #Constraints: 22383
389.69/391.04 c #Conflicts: 18000 | #Constraints: 23383
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 19000 | #Constraints: 21425
389.69/391.04 c #Conflicts: 20000 | #Constraints: 22425
389.69/391.04 c #Conflicts: 21000 | #Constraints: 23425
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 22000 | #Constraints: 21259
389.69/391.04 c #Conflicts: 23000 | #Constraints: 22259
389.69/391.04 c #Conflicts: 24000 | #Constraints: 23259
389.69/391.04 c #Conflicts: 25000 | #Constraints: 24259
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 26000 | #Constraints: 21870
389.69/391.04 c #Conflicts: 27000 | #Constraints: 22870
389.69/391.04 c #Conflicts: 28000 | #Constraints: 23870
389.69/391.04 c #Conflicts: 29000 | #Constraints: 24870
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 30000 | #Constraints: 22282
389.69/391.04 c #Conflicts: 31000 | #Constraints: 23282
389.69/391.04 c #Conflicts: 32000 | #Constraints: 24282
389.69/391.04 c #Conflicts: 33000 | #Constraints: 25282
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 34000 | #Constraints: 22468
389.69/391.04 c #Conflicts: 35000 | #Constraints: 23468
389.69/391.04 c #Conflicts: 36000 | #Constraints: 24468
389.69/391.04 c #Conflicts: 37000 | #Constraints: 25468
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 38000 | #Constraints: 22471
389.69/391.04 c #Conflicts: 39000 | #Constraints: 23471
389.69/391.04 c #Conflicts: 40000 | #Constraints: 24471
389.69/391.04 c #Conflicts: 41000 | #Constraints: 25471
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 42000 | #Constraints: 22284
389.69/391.04 c #Conflicts: 43000 | #Constraints: 23284
389.69/391.04 c #Conflicts: 44000 | #Constraints: 24284
389.69/391.04 c #Conflicts: 45000 | #Constraints: 25284
389.69/391.04 c #Conflicts: 46000 | #Constraints: 26284
389.69/391.04 c INPROCESSING
389.69/391.04 c GARBAGE COLLECT
389.69/391.04 c #Conflicts: 47000 | #Constraints: 22898
389.69/391.04 c #Conflicts: 48000 | #Constraints: 23898
389.69/391.04 c #Conflicts: 49000 | #Constraints: 24898
389.69/391.04 c #Conflicts: 50000 | #Constraints: 25898
389.69/391.04 c #Conflicts: 51000 | #Constraints: 26898
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 52000 | #Constraints: 23320
492.22/493.94 c #Conflicts: 53000 | #Constraints: 24320
492.22/493.94 c #Conflicts: 54000 | #Constraints: 25320
492.22/493.94 c #Conflicts: 55000 | #Constraints: 26320
492.22/493.94 c #Conflicts: 56000 | #Constraints: 27320
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 57000 | #Constraints: 23509
492.22/493.94 c #Conflicts: 58000 | #Constraints: 24509
492.22/493.94 c #Conflicts: 59000 | #Constraints: 25509
492.22/493.94 c #Conflicts: 60000 | #Constraints: 26509
492.22/493.94 c #Conflicts: 61000 | #Constraints: 27509
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 62000 | #Constraints: 23523
492.22/493.94 c #Conflicts: 63000 | #Constraints: 24523
492.22/493.94 c #Conflicts: 64000 | #Constraints: 25523
492.22/493.94 c #Conflicts: 65000 | #Constraints: 26523
492.22/493.94 c #Conflicts: 66000 | #Constraints: 27523
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 67000 | #Constraints: 23324
492.22/493.94 c #Conflicts: 68000 | #Constraints: 24324
492.22/493.94 c #Conflicts: 69000 | #Constraints: 25324
492.22/493.94 c bounds - >= 637 @ 441.993
492.22/493.94 c #Conflicts: 70000 | #Constraints: 26325
492.22/493.94 c #Conflicts: 71000 | #Constraints: 27325
492.22/493.94 c #Conflicts: 72000 | #Constraints: 28325
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 73000 | #Constraints: 23742
492.22/493.94 c #Conflicts: 74000 | #Constraints: 24742
492.22/493.94 c #Conflicts: 75000 | #Constraints: 25742
492.22/493.94 c #Conflicts: 76000 | #Constraints: 26742
492.22/493.94 c #Conflicts: 77000 | #Constraints: 27742
492.22/493.94 c #Conflicts: 78000 | #Constraints: 28742
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 79000 | #Constraints: 24058
492.22/493.94 c #Conflicts: 80000 | #Constraints: 25058
492.22/493.94 c #Conflicts: 81000 | #Constraints: 26058
492.22/493.94 c #Conflicts: 82000 | #Constraints: 27058
492.22/493.94 c #Conflicts: 83000 | #Constraints: 28058
492.22/493.94 c #Conflicts: 84000 | #Constraints: 29058
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 85000 | #Constraints: 24217
492.22/493.94 c #Conflicts: 86000 | #Constraints: 25217
492.22/493.94 c #Conflicts: 87000 | #Constraints: 26217
492.22/493.94 c #Conflicts: 88000 | #Constraints: 27217
492.22/493.94 c #Conflicts: 89000 | #Constraints: 28217
492.22/493.94 c #Conflicts: 90000 | #Constraints: 29217
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 91000 | #Constraints: 24264
492.22/493.94 c #Conflicts: 92000 | #Constraints: 25264
492.22/493.94 c #Conflicts: 93000 | #Constraints: 26264
492.22/493.94 c #Conflicts: 94000 | #Constraints: 27264
492.22/493.94 c #Conflicts: 95000 | #Constraints: 28264
492.22/493.94 c #Conflicts: 96000 | #Constraints: 29264
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 97000 | #Constraints: 24036
492.22/493.94 c #Conflicts: 98000 | #Constraints: 25036
492.22/493.94 c #Conflicts: 99000 | #Constraints: 26036
492.22/493.94 c #Conflicts: 100000 | #Constraints: 27036
492.22/493.94 c #Conflicts: 101000 | #Constraints: 28036
492.22/493.94 c #Conflicts: 102000 | #Constraints: 29036
492.22/493.94 c #Conflicts: 103000 | #Constraints: 30036
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 104000 | #Constraints: 24580
492.22/493.94 c #Conflicts: 105000 | #Constraints: 25580
492.22/493.94 c #Conflicts: 106000 | #Constraints: 26580
492.22/493.94 c #Conflicts: 107000 | #Constraints: 27580
492.22/493.94 c #Conflicts: 108000 | #Constraints: 28580
492.22/493.94 c #Conflicts: 109000 | #Constraints: 29580
492.22/493.94 c #Conflicts: 110000 | #Constraints: 30580
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 111000 | #Constraints: 25009
492.22/493.94 c #Conflicts: 112000 | #Constraints: 26009
492.22/493.94 c #Conflicts: 113000 | #Constraints: 27009
492.22/493.94 c #Conflicts: 114000 | #Constraints: 28009
492.22/493.94 c #Conflicts: 115000 | #Constraints: 29009
492.22/493.94 c #Conflicts: 116000 | #Constraints: 30009
492.22/493.94 c #Conflicts: 117000 | #Constraints: 31009
492.22/493.94 c INPROCESSING
492.22/493.94 c GARBAGE COLLECT
492.22/493.94 c #Conflicts: 118000 | #Constraints: 25216
492.22/493.94 c #Conflicts: 119000 | #Constraints: 26216
492.22/493.94 c #Conflicts: 120000 | #Constraints: 27216
492.22/493.94 c #Conflicts: 121000 | #Constraints: 28216
492.22/493.94 c #Conflicts: 122000 | #Constraints: 29216
665.14/667.48 c #Conflicts: 123000 | #Constraints: 30216
665.14/667.48 c #Conflicts: 124000 | #Constraints: 31216
665.14/667.48 c INPROCESSING
665.14/667.48 c GARBAGE COLLECT
665.14/667.48 c #Conflicts: 125000 | #Constraints: 25246
665.14/667.48 c #Conflicts: 126000 | #Constraints: 26246
665.14/667.48 c #Conflicts: 127000 | #Constraints: 27246
665.14/667.48 c #Conflicts: 128000 | #Constraints: 28246
665.14/667.48 c #Conflicts: 129000 | #Constraints: 29246
665.14/667.48 c #Conflicts: 130000 | #Constraints: 30246
665.14/667.48 c #Conflicts: 131000 | #Constraints: 31246
665.14/667.48 c INPROCESSING
665.14/667.48 c GARBAGE COLLECT
665.14/667.48 c #Conflicts: 132000 | #Constraints: 25016
665.14/667.48 c #Conflicts: 133000 | #Constraints: 26016
665.14/667.48 c #Conflicts: 134000 | #Constraints: 27016
665.14/667.48 c #Conflicts: 135000 | #Constraints: 28016
665.14/667.48 c #Conflicts: 136000 | #Constraints: 29016
665.14/667.48 c #Conflicts: 137000 | #Constraints: 30016
665.14/667.48 c #Conflicts: 138000 | #Constraints: 31016
665.14/667.48 c #Conflicts: 139000 | #Constraints: 32016
665.14/667.48 c #Conflicts: 140000 | #Constraints: 33016
665.14/667.48 c #Conflicts: 141000 | #Constraints: 34016
665.14/667.48 c #Conflicts: 142000 | #Constraints: 35016
665.14/667.48 c #Conflicts: 143000 | #Constraints: 36016
665.14/667.48 c #Conflicts: 144000 | #Constraints: 37016
665.14/667.48 c #Conflicts: 145000 | #Constraints: 38016
665.14/667.48 c #Conflicts: 146000 | #Constraints: 39016
665.14/667.48 c #Conflicts: 147000 | #Constraints: 40016
665.14/667.48 c #Conflicts: 148000 | #Constraints: 41016
665.14/667.48 c #Conflicts: 149000 | #Constraints: 42016
665.14/667.48 c #Conflicts: 150000 | #Constraints: 43016
665.14/667.48 c #Conflicts: 151000 | #Constraints: 44016
665.14/667.48 c #Conflicts: 152000 | #Constraints: 45016
665.14/667.48 c #Conflicts: 153000 | #Constraints: 46016
665.14/667.48 c #Conflicts: 154000 | #Constraints: 47016
665.14/667.48 c #Conflicts: 155000 | #Constraints: 48016
665.14/667.48 c #Conflicts: 156000 | #Constraints: 49016
665.14/667.48 c #Conflicts: 157000 | #Constraints: 50016
665.14/667.48 c #Conflicts: 158000 | #Constraints: 51016
665.14/667.48 c #Conflicts: 159000 | #Constraints: 52016
665.14/667.48 c #Conflicts: 160000 | #Constraints: 53016
665.14/667.48 c #Conflicts: 161000 | #Constraints: 54016
665.14/667.48 c #Conflicts: 162000 | #Constraints: 55016
665.14/667.48 c #Conflicts: 163000 | #Constraints: 56016
665.14/667.48 c #Conflicts: 164000 | #Constraints: 57016
665.14/667.48 c #Conflicts: 165000 | #Constraints: 58016
665.14/667.48 c INPROCESSING
665.14/667.48 c GARBAGE COLLECT
665.14/667.48 c #Conflicts: 166000 | #Constraints: 38638
665.14/667.48 c #Conflicts: 167000 | #Constraints: 39638
665.14/667.48 c #Conflicts: 168000 | #Constraints: 40638
665.14/667.48 c #Conflicts: 169000 | #Constraints: 41638
665.14/667.48 c #Conflicts: 170000 | #Constraints: 42638
665.14/667.48 c #Conflicts: 171000 | #Constraints: 43638
665.14/667.48 c #Conflicts: 172000 | #Constraints: 44638
665.14/667.48 c #Conflicts: 173000 | #Constraints: 45638
665.14/667.48 c #Conflicts: 174000 | #Constraints: 46638
665.14/667.48 c INPROCESSING
665.14/667.48 c GARBAGE COLLECT
665.14/667.48 c #Conflicts: 175000 | #Constraints: 33108
665.14/667.48 c #Conflicts: 176000 | #Constraints: 34108
665.14/667.48 c #Conflicts: 177000 | #Constraints: 35108
665.14/667.48 c #Conflicts: 178000 | #Constraints: 36108
665.14/667.48 c #Conflicts: 179000 | #Constraints: 37108
665.14/667.48 c #Conflicts: 180000 | #Constraints: 38108
665.14/667.48 c #Conflicts: 181000 | #Constraints: 39108
665.14/667.48 c #Conflicts: 182000 | #Constraints: 40108
665.14/667.48 c INPROCESSING
665.14/667.48 c GARBAGE COLLECT
665.14/667.48 c #Conflicts: 183000 | #Constraints: 29353
665.14/667.48 c #Conflicts: 184000 | #Constraints: 30353
665.14/667.48 c #Conflicts: 185000 | #Constraints: 31353
665.14/667.48 c #Conflicts: 186000 | #Constraints: 32353
665.14/667.48 c #Conflicts: 187000 | #Constraints: 33353
665.14/667.48 c #Conflicts: 188000 | #Constraints: 34353
665.14/667.48 c #Conflicts: 189000 | #Constraints: 35353
665.14/667.48 c #Conflicts: 190000 | #Constraints: 36353
665.14/667.48 c #Conflicts: 191000 | #Constraints: 37353
665.14/667.48 c #Conflicts: 192000 | #Constraints: 38353
665.14/667.48 c INPROCESSING
665.14/667.48 c GARBAGE COLLECT
665.14/667.48 c #Conflicts: 193000 | #Constraints: 28930
665.14/667.48 c #Conflicts: 194000 | #Constraints: 29930
665.14/667.48 c #Conflicts: 195000 | #Constraints: 30930
665.14/667.48 c #Conflicts: 196000 | #Constraints: 31930
665.14/667.48 c #Conflicts: 197000 | #Constraints: 32930
906.41/909.57 c #Conflicts: 198000 | #Constraints: 33930
906.41/909.57 c #Conflicts: 199000 | #Constraints: 34930
906.41/909.57 c #Conflicts: 200000 | #Constraints: 35930
906.41/909.57 c #Conflicts: 201000 | #Constraints: 36930
906.41/909.57 c #Conflicts: 202000 | #Constraints: 37930
906.41/909.57 c #Conflicts: 203000 | #Constraints: 38930
906.41/909.57 c #Conflicts: 204000 | #Constraints: 39930
906.41/909.57 c #Conflicts: 205000 | #Constraints: 40930
906.41/909.57 c #Conflicts: 206000 | #Constraints: 41930
906.41/909.57 c #Conflicts: 207000 | #Constraints: 42930
906.41/909.57 c #Conflicts: 208000 | #Constraints: 43930
906.41/909.57 c #Conflicts: 209000 | #Constraints: 44930
906.41/909.57 c #Conflicts: 210000 | #Constraints: 45930
906.41/909.57 c #Conflicts: 211000 | #Constraints: 46930
906.41/909.57 c #Conflicts: 212000 | #Constraints: 47930
906.41/909.57 c #Conflicts: 213000 | #Constraints: 48930
906.41/909.57 c #Conflicts: 214000 | #Constraints: 49930
906.41/909.57 c #Conflicts: 215000 | #Constraints: 50930
906.41/909.57 c #Conflicts: 216000 | #Constraints: 51930
906.41/909.57 c #Conflicts: 217000 | #Constraints: 52930
906.41/909.57 c #Conflicts: 218000 | #Constraints: 53930
906.41/909.57 c #Conflicts: 219000 | #Constraints: 54930
906.41/909.57 c #Conflicts: 220000 | #Constraints: 55930
906.41/909.57 c #Conflicts: 221000 | #Constraints: 56930
906.41/909.57 c #Conflicts: 222000 | #Constraints: 57930
906.41/909.57 c #Conflicts: 223000 | #Constraints: 58930
906.41/909.57 c #Conflicts: 224000 | #Constraints: 59930
906.41/909.57 c #Conflicts: 225000 | #Constraints: 60930
906.41/909.57 c #Conflicts: 226000 | #Constraints: 61930
906.41/909.57 c #Conflicts: 227000 | #Constraints: 62930
906.41/909.57 c #Conflicts: 228000 | #Constraints: 63930
906.41/909.57 c #Conflicts: 229000 | #Constraints: 64930
906.41/909.57 c #Conflicts: 230000 | #Constraints: 65930
906.41/909.57 c #Conflicts: 231000 | #Constraints: 66930
906.41/909.57 c INPROCESSING
906.41/909.57 c GARBAGE COLLECT
906.41/909.57 c #Conflicts: 232000 | #Constraints: 43250
906.41/909.57 c #Conflicts: 233000 | #Constraints: 44250
906.41/909.57 c #Conflicts: 234000 | #Constraints: 45250
906.41/909.57 c #Conflicts: 235000 | #Constraints: 46250
906.41/909.57 c #Conflicts: 236000 | #Constraints: 47250
906.41/909.57 c #Conflicts: 237000 | #Constraints: 48250
906.41/909.57 c #Conflicts: 238000 | #Constraints: 49250
906.41/909.57 c #Conflicts: 239000 | #Constraints: 50250
906.41/909.57 c #Conflicts: 240000 | #Constraints: 51250
906.41/909.57 c #Conflicts: 241000 | #Constraints: 52250
906.41/909.57 c INPROCESSING
906.41/909.57 c GARBAGE COLLECT
906.41/909.57 c #Conflicts: 242000 | #Constraints: 35665
906.41/909.57 c #Conflicts: 243000 | #Constraints: 36665
906.41/909.57 c #Conflicts: 244000 | #Constraints: 37665
906.41/909.57 c #Conflicts: 245000 | #Constraints: 38665
906.41/909.57 c #Conflicts: 246000 | #Constraints: 39665
906.41/909.57 c #Conflicts: 247000 | #Constraints: 40665
906.41/909.57 c #Conflicts: 248000 | #Constraints: 41665
906.41/909.57 c #Conflicts: 249000 | #Constraints: 42665
906.41/909.57 c #Conflicts: 250000 | #Constraints: 43665
906.41/909.57 c #Conflicts: 251000 | #Constraints: 44665
906.41/909.57 c #Conflicts: 252000 | #Constraints: 45665
906.41/909.57 c INPROCESSING
906.41/909.57 c GARBAGE COLLECT
906.41/909.57 c #Conflicts: 253000 | #Constraints: 32609
906.41/909.57 c #Conflicts: 254000 | #Constraints: 33609
906.41/909.57 c #Conflicts: 255000 | #Constraints: 34609
906.41/909.57 c #Conflicts: 256000 | #Constraints: 35609
906.41/909.57 c #Conflicts: 257000 | #Constraints: 36609
906.41/909.57 c #Conflicts: 258000 | #Constraints: 37609
906.41/909.57 c #Conflicts: 259000 | #Constraints: 38609
906.41/909.57 c #Conflicts: 260000 | #Constraints: 39609
906.41/909.57 c #Conflicts: 261000 | #Constraints: 40609
906.41/909.57 c #Conflicts: 262000 | #Constraints: 41609
906.41/909.57 c #Conflicts: 263000 | #Constraints: 42609
906.41/909.57 c #Conflicts: 264000 | #Constraints: 43609
906.41/909.57 c #Conflicts: 265000 | #Constraints: 44609
906.41/909.57 c #Conflicts: 266000 | #Constraints: 45609
906.41/909.57 c #Conflicts: 267000 | #Constraints: 46609
906.41/909.57 c #Conflicts: 268000 | #Constraints: 47609
906.41/909.57 c #Conflicts: 269000 | #Constraints: 48609
906.41/909.57 c #Conflicts: 270000 | #Constraints: 49609
906.41/909.57 c #Conflicts: 271000 | #Constraints: 50609
906.41/909.57 c #Conflicts: 272000 | #Constraints: 51609
906.41/909.57 c #Conflicts: 273000 | #Constraints: 52609
906.41/909.57 c #Conflicts: 274000 | #Constraints: 53609
1162.31/1166.31 c #Conflicts: 275000 | #Constraints: 54609
1162.31/1166.31 c #Conflicts: 276000 | #Constraints: 55609
1162.31/1166.31 c #Conflicts: 277000 | #Constraints: 56609
1162.31/1166.31 c #Conflicts: 278000 | #Constraints: 57609
1162.31/1166.31 c #Conflicts: 279000 | #Constraints: 58609
1162.31/1166.31 c #Conflicts: 280000 | #Constraints: 59609
1162.31/1166.31 c #Conflicts: 281000 | #Constraints: 60609
1162.31/1166.31 c #Conflicts: 282000 | #Constraints: 61609
1162.31/1166.31 c #Conflicts: 283000 | #Constraints: 62609
1162.31/1166.31 c #Conflicts: 284000 | #Constraints: 63609
1162.31/1166.31 c #Conflicts: 285000 | #Constraints: 64609
1162.31/1166.31 c #Conflicts: 286000 | #Constraints: 65609
1162.31/1166.31 c #Conflicts: 287000 | #Constraints: 66609
1162.31/1166.31 c #Conflicts: 288000 | #Constraints: 67609
1162.31/1166.31 c #Conflicts: 289000 | #Constraints: 68609
1162.31/1166.31 c #Conflicts: 290000 | #Constraints: 69609
1162.31/1166.31 c #Conflicts: 291000 | #Constraints: 70609
1162.31/1166.31 c #Conflicts: 292000 | #Constraints: 71609
1162.31/1166.31 c #Conflicts: 293000 | #Constraints: 72609
1162.31/1166.31 c #Conflicts: 294000 | #Constraints: 73609
1162.31/1166.31 c #Conflicts: 295000 | #Constraints: 74609
1162.31/1166.31 c INPROCESSING
1162.31/1166.31 c GARBAGE COLLECT
1162.31/1166.31 c #Conflicts: 296000 | #Constraints: 47032
1162.31/1166.31 c #Conflicts: 297000 | #Constraints: 48032
1162.31/1166.31 c #Conflicts: 298000 | #Constraints: 49032
1162.31/1166.31 c #Conflicts: 299000 | #Constraints: 50032
1162.31/1166.31 c #Conflicts: 300000 | #Constraints: 51032
1162.31/1166.31 c #Conflicts: 301000 | #Constraints: 52032
1162.31/1166.31 c #Conflicts: 302000 | #Constraints: 53032
1162.31/1166.31 c #Conflicts: 303000 | #Constraints: 54032
1162.31/1166.31 c #Conflicts: 304000 | #Constraints: 55032
1162.31/1166.31 c #Conflicts: 305000 | #Constraints: 56032
1162.31/1166.31 c #Conflicts: 306000 | #Constraints: 57032
1162.31/1166.31 c #Conflicts: 307000 | #Constraints: 58032
1162.31/1166.31 c INPROCESSING
1162.31/1166.31 c GARBAGE COLLECT
1162.31/1166.31 c #Conflicts: 308000 | #Constraints: 38671
1162.31/1166.31 c #Conflicts: 309000 | #Constraints: 39671
1162.31/1166.31 c #Conflicts: 310000 | #Constraints: 40671
1162.31/1166.31 c #Conflicts: 311000 | #Constraints: 41671
1162.31/1166.31 c #Conflicts: 312000 | #Constraints: 42671
1162.31/1166.31 c #Conflicts: 313000 | #Constraints: 43671
1162.31/1166.31 c #Conflicts: 314000 | #Constraints: 44671
1162.31/1166.31 c #Conflicts: 315000 | #Constraints: 45671
1162.31/1166.31 c #Conflicts: 316000 | #Constraints: 46671
1162.31/1166.31 c #Conflicts: 317000 | #Constraints: 47671
1162.31/1166.31 c #Conflicts: 318000 | #Constraints: 48671
1162.31/1166.31 c #Conflicts: 319000 | #Constraints: 49671
1162.31/1166.31 c INPROCESSING
1162.31/1166.31 c GARBAGE COLLECT
1162.31/1166.31 c #Conflicts: 320000 | #Constraints: 34552
1162.31/1166.31 c #Conflicts: 321000 | #Constraints: 35552
1162.31/1166.31 c #Conflicts: 322000 | #Constraints: 36552
1162.31/1166.31 c #Conflicts: 323000 | #Constraints: 37552
1162.31/1166.31 c #Conflicts: 324000 | #Constraints: 38552
1162.31/1166.31 c #Conflicts: 325000 | #Constraints: 39552
1162.31/1166.31 c #Conflicts: 326000 | #Constraints: 40552
1162.31/1166.31 c #Conflicts: 327000 | #Constraints: 41552
1162.31/1166.31 c #Conflicts: 328000 | #Constraints: 42552
1162.31/1166.31 c #Conflicts: 329000 | #Constraints: 43552
1162.31/1166.31 c #Conflicts: 330000 | #Constraints: 44552
1162.31/1166.31 c #Conflicts: 331000 | #Constraints: 45552
1162.31/1166.31 c #Conflicts: 332000 | #Constraints: 46552
1162.31/1166.31 c #Conflicts: 333000 | #Constraints: 47552
1162.31/1166.31 c #Conflicts: 334000 | #Constraints: 48552
1162.31/1166.31 c #Conflicts: 335000 | #Constraints: 49552
1162.31/1166.31 c #Conflicts: 336000 | #Constraints: 50552
1162.31/1166.31 c #Conflicts: 337000 | #Constraints: 51552
1162.31/1166.31 c #Conflicts: 338000 | #Constraints: 52552
1162.31/1166.31 c #Conflicts: 339000 | #Constraints: 53552
1162.31/1166.31 c #Conflicts: 340000 | #Constraints: 54552
1162.31/1166.31 c #Conflicts: 341000 | #Constraints: 55552
1162.31/1166.31 c #Conflicts: 342000 | #Constraints: 56552
1162.31/1166.31 c #Conflicts: 343000 | #Constraints: 57552
1162.31/1166.31 c #Conflicts: 344000 | #Constraints: 58552
1162.31/1166.31 c #Conflicts: 345000 | #Constraints: 59552
1162.31/1166.31 c #Conflicts: 346000 | #Constraints: 60552
1162.31/1166.31 c #Conflicts: 347000 | #Constraints: 61552
1162.31/1166.31 c #Conflicts: 348000 | #Constraints: 62552
1162.31/1166.31 c #Conflicts: 349000 | #Constraints: 63552
1162.31/1166.31 c #Conflicts: 350000 | #Constraints: 64552
1162.31/1166.31 c #Conflicts: 351000 | #Constraints: 65552
1484.20/1489.38 c #Conflicts: 352000 | #Constraints: 66552
1484.20/1489.38 c #Conflicts: 353000 | #Constraints: 67552
1484.20/1489.38 c #Conflicts: 354000 | #Constraints: 68552
1484.20/1489.38 c #Conflicts: 355000 | #Constraints: 69552
1484.20/1489.38 c #Conflicts: 356000 | #Constraints: 70552
1484.20/1489.38 c #Conflicts: 357000 | #Constraints: 71552
1484.20/1489.38 c #Conflicts: 358000 | #Constraints: 72552
1484.20/1489.38 c #Conflicts: 359000 | #Constraints: 73552
1484.20/1489.38 c #Conflicts: 360000 | #Constraints: 74552
1484.20/1489.38 c #Conflicts: 361000 | #Constraints: 75552
1484.20/1489.38 c #Conflicts: 362000 | #Constraints: 76552
1484.20/1489.38 c #Conflicts: 363000 | #Constraints: 77552
1484.20/1489.38 c #Conflicts: 364000 | #Constraints: 78552
1484.20/1489.38 c #Conflicts: 365000 | #Constraints: 79552
1484.20/1489.38 c #Conflicts: 366000 | #Constraints: 80552
1484.20/1489.38 c INPROCESSING
1484.20/1489.38 c GARBAGE COLLECT
1484.20/1489.38 c #Conflicts: 367000 | #Constraints: 49748
1484.20/1489.38 c #Conflicts: 368000 | #Constraints: 50748
1484.20/1489.38 c #Conflicts: 369000 | #Constraints: 51748
1484.20/1489.38 c #Conflicts: 370000 | #Constraints: 52748
1484.20/1489.38 c #Conflicts: 371000 | #Constraints: 53748
1484.20/1489.38 c #Conflicts: 372000 | #Constraints: 54748
1484.20/1489.38 c #Conflicts: 373000 | #Constraints: 55748
1484.20/1489.38 c #Conflicts: 374000 | #Constraints: 56748
1484.20/1489.38 c #Conflicts: 375000 | #Constraints: 57748
1484.20/1489.38 c #Conflicts: 376000 | #Constraints: 58748
1484.20/1489.38 c #Conflicts: 377000 | #Constraints: 59748
1484.20/1489.38 c #Conflicts: 378000 | #Constraints: 60748
1484.20/1489.38 c #Conflicts: 379000 | #Constraints: 61748
1484.20/1489.38 c #Conflicts: 380000 | #Constraints: 62748
1484.20/1489.38 c INPROCESSING
1484.20/1489.38 c GARBAGE COLLECT
1484.20/1489.38 c #Conflicts: 381000 | #Constraints: 41218
1484.20/1489.38 c #Conflicts: 382000 | #Constraints: 42218
1484.20/1489.38 c #Conflicts: 383000 | #Constraints: 43218
1484.20/1489.38 c #Conflicts: 384000 | #Constraints: 44218
1484.20/1489.38 c #Conflicts: 385000 | #Constraints: 45218
1484.20/1489.38 c #Conflicts: 386000 | #Constraints: 46218
1484.20/1489.38 c #Conflicts: 387000 | #Constraints: 47218
1484.20/1489.38 c #Conflicts: 388000 | #Constraints: 48218
1484.20/1489.38 c #Conflicts: 389000 | #Constraints: 49218
1484.20/1489.38 c #Conflicts: 390000 | #Constraints: 50218
1484.20/1489.38 c #Conflicts: 391000 | #Constraints: 51218
1484.20/1489.38 c #Conflicts: 392000 | #Constraints: 52218
1484.20/1489.38 c #Conflicts: 393000 | #Constraints: 53218
1484.20/1489.38 c INPROCESSING
1484.20/1489.38 c GARBAGE COLLECT
1484.20/1489.38 c #Conflicts: 394000 | #Constraints: 36745
1484.20/1489.38 c #Conflicts: 395000 | #Constraints: 37745
1484.20/1489.38 c #Conflicts: 396000 | #Constraints: 38745
1484.20/1489.38 c #Conflicts: 397000 | #Constraints: 39745
1484.20/1489.38 c #Conflicts: 398000 | #Constraints: 40745
1484.20/1489.38 c #Conflicts: 399000 | #Constraints: 41745
1484.20/1489.38 c #Conflicts: 400000 | #Constraints: 42745
1484.20/1489.38 c #Conflicts: 401000 | #Constraints: 43745
1484.20/1489.38 c #Conflicts: 402000 | #Constraints: 44745
1484.20/1489.38 c #Conflicts: 403000 | #Constraints: 45745
1484.20/1489.38 c #Conflicts: 404000 | #Constraints: 46745
1484.20/1489.38 c #Conflicts: 405000 | #Constraints: 47745
1484.20/1489.38 c #Conflicts: 406000 | #Constraints: 48745
1484.20/1489.38 c #Conflicts: 407000 | #Constraints: 49745
1484.20/1489.38 c #Conflicts: 408000 | #Constraints: 50745
1484.20/1489.38 c #Conflicts: 409000 | #Constraints: 51745
1484.20/1489.38 c #Conflicts: 410000 | #Constraints: 52745
1484.20/1489.38 c #Conflicts: 411000 | #Constraints: 53745
1484.20/1489.38 c #Conflicts: 412000 | #Constraints: 54745
1484.20/1489.38 c #Conflicts: 413000 | #Constraints: 55745
1484.20/1489.38 c #Conflicts: 414000 | #Constraints: 56745
1484.20/1489.38 c #Conflicts: 415000 | #Constraints: 57745
1484.20/1489.38 c #Conflicts: 416000 | #Constraints: 58745
1484.20/1489.38 c #Conflicts: 417000 | #Constraints: 59745
1484.20/1489.38 c #Conflicts: 418000 | #Constraints: 60745
1484.20/1489.38 c #Conflicts: 419000 | #Constraints: 61745
1484.20/1489.38 c #Conflicts: 420000 | #Constraints: 62745
1484.20/1489.38 c #Conflicts: 421000 | #Constraints: 63745
1484.20/1489.38 c #Conflicts: 422000 | #Constraints: 64745
1484.20/1489.38 c #Conflicts: 423000 | #Constraints: 65745
1484.20/1489.38 c #Conflicts: 424000 | #Constraints: 66745
1484.20/1489.38 c #Conflicts: 425000 | #Constraints: 67745
1484.20/1489.38 c #Conflicts: 426000 | #Constraints: 68745
1484.20/1489.38 c #Conflicts: 427000 | #Constraints: 69745
1484.20/1489.38 c #Conflicts: 428000 | #Constraints: 70745
1738.48/1744.40 c #Conflicts: 429000 | #Constraints: 71745
1738.48/1744.40 c #Conflicts: 430000 | #Constraints: 72745
1738.48/1744.40 c #Conflicts: 431000 | #Constraints: 73745
1738.48/1744.40 c #Conflicts: 432000 | #Constraints: 74745
1738.48/1744.40 c #Conflicts: 433000 | #Constraints: 75745
1738.48/1744.40 c #Conflicts: 434000 | #Constraints: 76745
1738.48/1744.40 c #Conflicts: 435000 | #Constraints: 77745
1738.48/1744.40 c #Conflicts: 436000 | #Constraints: 78745
1738.48/1744.40 c #Conflicts: 437000 | #Constraints: 79745
1738.48/1744.40 c #Conflicts: 438000 | #Constraints: 80745
1738.48/1744.40 c #Conflicts: 439000 | #Constraints: 81745
1738.48/1744.40 c #Conflicts: 440000 | #Constraints: 82745
1738.48/1744.40 c #Conflicts: 441000 | #Constraints: 83745
1738.48/1744.40 c #Conflicts: 442000 | #Constraints: 84745
1738.48/1744.40 c #Conflicts: 443000 | #Constraints: 85745
1738.48/1744.40 c #Conflicts: 444000 | #Constraints: 86745
1738.48/1744.40 c #Conflicts: 445000 | #Constraints: 87745
1738.48/1744.40 c INPROCESSING
1738.48/1744.40 c GARBAGE COLLECT
1738.48/1744.40 c #Conflicts: 446000 | #Constraints: 53603
1738.48/1744.40 c #Conflicts: 447000 | #Constraints: 54603
1738.48/1744.40 c #Conflicts: 448000 | #Constraints: 55603
1738.48/1744.40 c #Conflicts: 449000 | #Constraints: 56603
1738.48/1744.40 c #Conflicts: 450000 | #Constraints: 57603
1738.48/1744.40 c #Conflicts: 451000 | #Constraints: 58603
1738.48/1744.40 c #Conflicts: 452000 | #Constraints: 59603
1738.48/1744.40 c #Conflicts: 453000 | #Constraints: 60603
1738.48/1744.40 c #Conflicts: 454000 | #Constraints: 61603
1738.48/1744.40 c #Conflicts: 455000 | #Constraints: 62603
1738.48/1744.40 c #Conflicts: 456000 | #Constraints: 63603
1738.48/1744.40 c #Conflicts: 457000 | #Constraints: 64603
1738.48/1744.40 c #Conflicts: 458000 | #Constraints: 65603
1738.48/1744.40 c #Conflicts: 459000 | #Constraints: 66603
1738.48/1744.40 c #Conflicts: 460000 | #Constraints: 67603
1738.48/1744.40 c INPROCESSING
1738.48/1744.40 c GARBAGE COLLECT
1738.48/1744.40 c #Conflicts: 461000 | #Constraints: 43525
1738.48/1744.40 c #Conflicts: 462000 | #Constraints: 44525
1738.48/1744.40 c #Conflicts: 463000 | #Constraints: 45525
1738.48/1744.40 c #Conflicts: 464000 | #Constraints: 46525
1738.48/1744.40 c #Conflicts: 465000 | #Constraints: 47525
1738.48/1744.40 c #Conflicts: 466000 | #Constraints: 48525
1738.48/1744.40 c #Conflicts: 467000 | #Constraints: 49525
1738.48/1744.40 c #Conflicts: 468000 | #Constraints: 50525
1738.48/1744.40 c #Conflicts: 469000 | #Constraints: 51525
1738.48/1744.40 c #Conflicts: 470000 | #Constraints: 52525
1738.48/1744.40 c #Conflicts: 471000 | #Constraints: 53525
1738.48/1744.40 c #Conflicts: 472000 | #Constraints: 54525
1738.48/1744.40 c #Conflicts: 473000 | #Constraints: 55525
1738.48/1744.40 c #Conflicts: 474000 | #Constraints: 56525
1738.48/1744.40 c #Conflicts: 475000 | #Constraints: 57525
1738.48/1744.40 c INPROCESSING
1738.48/1744.40 c GARBAGE COLLECT
1738.48/1744.40 c #Conflicts: 476000 | #Constraints: 39634
1738.48/1744.40 c #Conflicts: 477000 | #Constraints: 40634
1738.48/1744.40 c #Conflicts: 478000 | #Constraints: 41634
1738.48/1744.40 c #Conflicts: 479000 | #Constraints: 42634
1738.48/1744.40 c #Conflicts: 480000 | #Constraints: 43634
1738.48/1744.40 c #Conflicts: 481000 | #Constraints: 44634
1738.48/1744.40 c #Conflicts: 482000 | #Constraints: 45634
1738.48/1744.40 c #Conflicts: 483000 | #Constraints: 46634
1738.48/1744.40 c #Conflicts: 484000 | #Constraints: 47634
1738.48/1744.40 c #Conflicts: 485000 | #Constraints: 48634
1738.48/1744.40 c #Conflicts: 486000 | #Constraints: 49634
1738.48/1744.40 c #Conflicts: 487000 | #Constraints: 50634
1738.48/1744.40 c #Conflicts: 488000 | #Constraints: 51634
1738.48/1744.40 c #Conflicts: 489000 | #Constraints: 52634
1738.48/1744.40 c #Conflicts: 490000 | #Constraints: 53634
1738.48/1744.40 c #Conflicts: 491000 | #Constraints: 54634
1738.48/1744.40 c #Conflicts: 492000 | #Constraints: 55634
1738.48/1744.40 c #Conflicts: 493000 | #Constraints: 56634
1738.48/1744.40 c #Conflicts: 494000 | #Constraints: 57634
1738.48/1744.40 c #Conflicts: 495000 | #Constraints: 58634
1738.48/1744.40 c #Conflicts: 496000 | #Constraints: 59634
1738.48/1744.40 c #Conflicts: 497000 | #Constraints: 60634
1738.48/1744.40 c #Conflicts: 498000 | #Constraints: 61634
1738.48/1744.40 c #Conflicts: 499000 | #Constraints: 62634
1738.48/1744.40 c #Conflicts: 500000 | #Constraints: 63634
1738.48/1744.40 c #Conflicts: 501000 | #Constraints: 64634
1738.48/1744.40 c #Conflicts: 502000 | #Constraints: 65634
1738.48/1744.40 c #Conflicts: 503000 | #Constraints: 66634
1738.48/1744.40 c #Conflicts: 504000 | #Constraints: 67634
2047.36/2054.48 c #Conflicts: 505000 | #Constraints: 68634
2047.36/2054.48 c #Conflicts: 506000 | #Constraints: 69634
2047.36/2054.48 c #Conflicts: 507000 | #Constraints: 70634
2047.36/2054.48 c #Conflicts: 508000 | #Constraints: 71634
2047.36/2054.48 c #Conflicts: 509000 | #Constraints: 72634
2047.36/2054.48 c #Conflicts: 510000 | #Constraints: 73634
2047.36/2054.48 c #Conflicts: 511000 | #Constraints: 74634
2047.36/2054.48 c #Conflicts: 512000 | #Constraints: 75634
2047.36/2054.48 c #Conflicts: 513000 | #Constraints: 76634
2047.36/2054.48 c #Conflicts: 514000 | #Constraints: 77634
2047.36/2054.48 c #Conflicts: 515000 | #Constraints: 78634
2047.36/2054.48 c #Conflicts: 516000 | #Constraints: 79634
2047.36/2054.48 c #Conflicts: 517000 | #Constraints: 80634
2047.36/2054.48 c #Conflicts: 518000 | #Constraints: 81634
2047.36/2054.48 c #Conflicts: 519000 | #Constraints: 82634
2047.36/2054.48 c #Conflicts: 520000 | #Constraints: 83634
2047.36/2054.48 c #Conflicts: 521000 | #Constraints: 84634
2047.36/2054.48 c #Conflicts: 522000 | #Constraints: 85634
2047.36/2054.48 c #Conflicts: 523000 | #Constraints: 86634
2047.36/2054.48 c #Conflicts: 524000 | #Constraints: 87634
2047.36/2054.48 c #Conflicts: 525000 | #Constraints: 88634
2047.36/2054.48 c #Conflicts: 526000 | #Constraints: 89634
2047.36/2054.48 c #Conflicts: 527000 | #Constraints: 90634
2047.36/2054.48 c #Conflicts: 528000 | #Constraints: 91634
2047.36/2054.48 c #Conflicts: 529000 | #Constraints: 92634
2047.36/2054.48 c #Conflicts: 530000 | #Constraints: 93634
2047.36/2054.48 c #Conflicts: 531000 | #Constraints: 94634
2047.36/2054.48 c INPROCESSING
2047.36/2054.48 c GARBAGE COLLECT
2047.36/2054.48 c #Conflicts: 532000 | #Constraints: 57039
2047.36/2054.48 c #Conflicts: 533000 | #Constraints: 58039
2047.36/2054.48 c #Conflicts: 534000 | #Constraints: 59039
2047.36/2054.48 c #Conflicts: 535000 | #Constraints: 60039
2047.36/2054.48 c #Conflicts: 536000 | #Constraints: 61039
2047.36/2054.48 c #Conflicts: 537000 | #Constraints: 62039
2047.36/2054.48 c #Conflicts: 538000 | #Constraints: 63039
2047.36/2054.48 c #Conflicts: 539000 | #Constraints: 64039
2047.36/2054.48 c #Conflicts: 540000 | #Constraints: 65039
2047.36/2054.48 c #Conflicts: 541000 | #Constraints: 66039
2047.36/2054.48 c #Conflicts: 542000 | #Constraints: 67039
2047.36/2054.48 c #Conflicts: 543000 | #Constraints: 68039
2047.36/2054.48 c #Conflicts: 544000 | #Constraints: 69039
2047.36/2054.48 c #Conflicts: 545000 | #Constraints: 70039
2047.36/2054.48 c #Conflicts: 546000 | #Constraints: 71039
2047.36/2054.48 c #Conflicts: 547000 | #Constraints: 72039
2047.36/2054.48 c INPROCESSING
2047.36/2054.48 c GARBAGE COLLECT
2047.36/2054.48 c #Conflicts: 548000 | #Constraints: 45563
2047.36/2054.48 c #Conflicts: 549000 | #Constraints: 46563
2047.36/2054.48 c #Conflicts: 550000 | #Constraints: 47563
2047.36/2054.48 c #Conflicts: 551000 | #Constraints: 48563
2047.36/2054.48 c #Conflicts: 552000 | #Constraints: 49563
2047.36/2054.48 c #Conflicts: 553000 | #Constraints: 50563
2047.36/2054.48 c #Conflicts: 554000 | #Constraints: 51563
2047.36/2054.48 c #Conflicts: 555000 | #Constraints: 52563
2047.36/2054.48 c #Conflicts: 556000 | #Constraints: 53563
2047.36/2054.48 c #Conflicts: 557000 | #Constraints: 54563
2047.36/2054.48 c #Conflicts: 558000 | #Constraints: 55563
2047.36/2054.48 c #Conflicts: 559000 | #Constraints: 56563
2047.36/2054.48 c #Conflicts: 560000 | #Constraints: 57563
2047.36/2054.48 c #Conflicts: 561000 | #Constraints: 58563
2047.36/2054.48 c #Conflicts: 562000 | #Constraints: 59563
2047.36/2054.48 c #Conflicts: 563000 | #Constraints: 60563
2047.36/2054.48 c #Conflicts: 564000 | #Constraints: 61563
2047.36/2054.48 c INPROCESSING
2047.36/2054.48 c GARBAGE COLLECT
2047.36/2054.48 c #Conflicts: 565000 | #Constraints: 42381
2047.36/2054.48 c #Conflicts: 566000 | #Constraints: 43381
2047.36/2054.48 c #Conflicts: 567000 | #Constraints: 44381
2047.36/2054.48 c #Conflicts: 568000 | #Constraints: 45381
2047.36/2054.48 c #Conflicts: 569000 | #Constraints: 46381
2047.36/2054.48 c #Conflicts: 570000 | #Constraints: 47381
2047.36/2054.48 c #Conflicts: 571000 | #Constraints: 48381
2047.36/2054.48 c #Conflicts: 572000 | #Constraints: 49381
2047.36/2054.48 c #Conflicts: 573000 | #Constraints: 50381
2047.36/2054.48 c #Conflicts: 574000 | #Constraints: 51381
2047.36/2054.48 c #Conflicts: 575000 | #Constraints: 52381
2047.36/2054.48 c #Conflicts: 576000 | #Constraints: 53381
2047.36/2054.48 c #Conflicts: 577000 | #Constraints: 54381
2047.36/2054.48 c #Conflicts: 578000 | #Constraints: 55381
2047.36/2054.48 c #Conflicts: 579000 | #Constraints: 56381
2047.36/2054.48 c #Conflicts: 580000 | #Constraints: 57381
2047.36/2054.48 c #Conflicts: 581000 | #Constraints: 58381
2400.49/2408.80 c #Conflicts: 582000 | #Constraints: 59381
2400.49/2408.80 c #Conflicts: 583000 | #Constraints: 60381
2400.49/2408.80 c #Conflicts: 584000 | #Constraints: 61381
2400.49/2408.80 c #Conflicts: 585000 | #Constraints: 62381
2400.49/2408.80 c #Conflicts: 586000 | #Constraints: 63381
2400.49/2408.80 c #Conflicts: 587000 | #Constraints: 64381
2400.49/2408.80 c #Conflicts: 588000 | #Constraints: 65381
2400.49/2408.80 c #Conflicts: 589000 | #Constraints: 66381
2400.49/2408.80 c #Conflicts: 590000 | #Constraints: 67381
2400.49/2408.80 c #Conflicts: 591000 | #Constraints: 68381
2400.49/2408.80 c #Conflicts: 592000 | #Constraints: 69381
2400.49/2408.80 c #Conflicts: 593000 | #Constraints: 70381
2400.49/2408.80 c #Conflicts: 594000 | #Constraints: 71381
2400.49/2408.80 c #Conflicts: 595000 | #Constraints: 72381
2400.49/2408.80 c #Conflicts: 596000 | #Constraints: 73381
2400.49/2408.80 c #Conflicts: 597000 | #Constraints: 74381
2400.49/2408.80 c #Conflicts: 598000 | #Constraints: 75381
2400.49/2408.80 c #Conflicts: 599000 | #Constraints: 76381
2400.49/2408.80 c #Conflicts: 600000 | #Constraints: 77381
2400.49/2408.80 c #Conflicts: 601000 | #Constraints: 78381
2400.49/2408.80 c #Conflicts: 602000 | #Constraints: 79381
2400.49/2408.80 c #Conflicts: 603000 | #Constraints: 80381
2400.49/2408.80 c #Conflicts: 604000 | #Constraints: 81381
2400.49/2408.80 c #Conflicts: 605000 | #Constraints: 82381
2400.49/2408.80 c #Conflicts: 606000 | #Constraints: 83381
2400.49/2408.80 c #Conflicts: 607000 | #Constraints: 84381
2400.49/2408.80 c #Conflicts: 608000 | #Constraints: 85381
2400.49/2408.80 c #Conflicts: 609000 | #Constraints: 86381
2400.49/2408.80 c #Conflicts: 610000 | #Constraints: 87381
2400.49/2408.80 c #Conflicts: 611000 | #Constraints: 88381
2400.49/2408.80 c #Conflicts: 612000 | #Constraints: 89381
2400.49/2408.80 c #Conflicts: 613000 | #Constraints: 90381
2400.49/2408.80 c #Conflicts: 614000 | #Constraints: 91381
2400.49/2408.80 c #Conflicts: 615000 | #Constraints: 92381
2400.49/2408.80 c #Conflicts: 616000 | #Constraints: 93381
2400.49/2408.80 c #Conflicts: 617000 | #Constraints: 94381
2400.49/2408.80 c #Conflicts: 618000 | #Constraints: 95381
2400.49/2408.80 c #Conflicts: 619000 | #Constraints: 96381
2400.49/2408.80 c #Conflicts: 620000 | #Constraints: 97381
2400.49/2408.80 c #Conflicts: 621000 | #Constraints: 98381
2400.49/2408.80 c #Conflicts: 622000 | #Constraints: 99381
2400.49/2408.80 c #Conflicts: 623000 | #Constraints: 100381
2400.49/2408.80 c #Conflicts: 624000 | #Constraints: 101381
2400.49/2408.80 c INPROCESSING
2400.49/2408.80 c GARBAGE COLLECT
2400.49/2408.80 c #Conflicts: 625000 | #Constraints: 60442
2400.49/2408.80 c #Conflicts: 626000 | #Constraints: 61442
2400.49/2408.80 c #Conflicts: 627000 | #Constraints: 62442
2400.49/2408.80 c #Conflicts: 628000 | #Constraints: 63442
2400.49/2408.80 c #Conflicts: 629000 | #Constraints: 64442
2400.49/2408.80 c #Conflicts: 630000 | #Constraints: 65442
2400.49/2408.80 c #Conflicts: 631000 | #Constraints: 66442
2400.49/2408.80 c #Conflicts: 632000 | #Constraints: 67442
2400.49/2408.80 c #Conflicts: 633000 | #Constraints: 68442
2400.49/2408.80 c #Conflicts: 634000 | #Constraints: 69442
2400.49/2408.80 c #Conflicts: 635000 | #Constraints: 70442
2400.49/2408.80 c #Conflicts: 636000 | #Constraints: 71442
2400.49/2408.80 c #Conflicts: 637000 | #Constraints: 72442
2400.49/2408.80 c #Conflicts: 638000 | #Constraints: 73442
2400.49/2408.80 c #Conflicts: 639000 | #Constraints: 74442
2400.49/2408.80 c #Conflicts: 640000 | #Constraints: 75442
2400.49/2408.80 c #Conflicts: 641000 | #Constraints: 76442
2400.49/2408.80 c INPROCESSING
2400.49/2408.80 c GARBAGE COLLECT
2400.49/2408.80 c #Conflicts: 642000 | #Constraints: 47529
2400.49/2408.80 c #Conflicts: 643000 | #Constraints: 48529
2400.49/2408.80 c #Conflicts: 644000 | #Constraints: 49529
2400.49/2408.80 c #Conflicts: 645000 | #Constraints: 50529
2400.49/2408.80 c #Conflicts: 646000 | #Constraints: 51529
2400.49/2408.80 c #Conflicts: 647000 | #Constraints: 52529
2400.49/2408.80 c #Conflicts: 648000 | #Constraints: 53529
2400.49/2408.80 c #Conflicts: 649000 | #Constraints: 54529
2400.49/2408.80 c #Conflicts: 650000 | #Constraints: 55529
2400.49/2408.80 c #Conflicts: 651000 | #Constraints: 56529
2400.49/2408.80 c #Conflicts: 652000 | #Constraints: 57529
2400.49/2408.80 c #Conflicts: 653000 | #Constraints: 58529
2400.49/2408.80 c #Conflicts: 654000 | #Constraints: 59529
2400.49/2408.80 c #Conflicts: 655000 | #Constraints: 60529
2400.49/2408.80 c #Conflicts: 656000 | #Constraints: 61529
2400.49/2408.80 c #Conflicts: 657000 | #Constraints: 62529
2400.49/2408.80 c #Conflicts: 658000 | #Constraints: 63529
2400.49/2408.80 c #Conflicts: 659000 | #Constraints: 64529
2737.99/2747.53 c #Conflicts: 660000 | #Constraints: 65529
2737.99/2747.53 c INPROCESSING
2737.99/2747.53 c GARBAGE COLLECT
2737.99/2747.53 c #Conflicts: 661000 | #Constraints: 45033
2737.99/2747.53 c #Conflicts: 662000 | #Constraints: 46033
2737.99/2747.53 c #Conflicts: 663000 | #Constraints: 47033
2737.99/2747.53 c #Conflicts: 664000 | #Constraints: 48033
2737.99/2747.53 c #Conflicts: 665000 | #Constraints: 49033
2737.99/2747.53 c #Conflicts: 666000 | #Constraints: 50033
2737.99/2747.53 c #Conflicts: 667000 | #Constraints: 51033
2737.99/2747.53 c #Conflicts: 668000 | #Constraints: 52033
2737.99/2747.53 c #Conflicts: 669000 | #Constraints: 53033
2737.99/2747.53 c #Conflicts: 670000 | #Constraints: 54033
2737.99/2747.53 c #Conflicts: 671000 | #Constraints: 55033
2737.99/2747.53 c #Conflicts: 672000 | #Constraints: 56033
2737.99/2747.53 c #Conflicts: 673000 | #Constraints: 57033
2737.99/2747.53 c #Conflicts: 674000 | #Constraints: 58033
2737.99/2747.53 c #Conflicts: 675000 | #Constraints: 59033
2737.99/2747.53 c #Conflicts: 676000 | #Constraints: 60033
2737.99/2747.53 c #Conflicts: 677000 | #Constraints: 61033
2737.99/2747.53 c #Conflicts: 678000 | #Constraints: 62033
2737.99/2747.53 c #Conflicts: 679000 | #Constraints: 63033
2737.99/2747.53 c #Conflicts: 680000 | #Constraints: 64033
2737.99/2747.53 c #Conflicts: 681000 | #Constraints: 65033
2737.99/2747.53 c #Conflicts: 682000 | #Constraints: 66033
2737.99/2747.53 c #Conflicts: 683000 | #Constraints: 67033
2737.99/2747.53 c #Conflicts: 684000 | #Constraints: 68033
2737.99/2747.53 c #Conflicts: 685000 | #Constraints: 69033
2737.99/2747.53 c #Conflicts: 686000 | #Constraints: 70033
2737.99/2747.53 c #Conflicts: 687000 | #Constraints: 71033
2737.99/2747.53 c #Conflicts: 688000 | #Constraints: 72033
2737.99/2747.53 c #Conflicts: 689000 | #Constraints: 73033
2737.99/2747.53 c #Conflicts: 690000 | #Constraints: 74033
2737.99/2747.53 c #Conflicts: 691000 | #Constraints: 75033
2737.99/2747.53 c #Conflicts: 692000 | #Constraints: 76033
2737.99/2747.53 c #Conflicts: 693000 | #Constraints: 77033
2737.99/2747.53 c #Conflicts: 694000 | #Constraints: 78033
2737.99/2747.53 c #Conflicts: 695000 | #Constraints: 79033
2737.99/2747.53 c #Conflicts: 696000 | #Constraints: 80033
2737.99/2747.53 c #Conflicts: 697000 | #Constraints: 81033
2737.99/2747.53 c #Conflicts: 698000 | #Constraints: 82033
2737.99/2747.53 c #Conflicts: 699000 | #Constraints: 83033
2737.99/2747.53 c #Conflicts: 700000 | #Constraints: 84033
2737.99/2747.53 c #Conflicts: 701000 | #Constraints: 85033
2737.99/2747.53 c #Conflicts: 702000 | #Constraints: 86033
2737.99/2747.53 c #Conflicts: 703000 | #Constraints: 87033
2737.99/2747.53 c #Conflicts: 704000 | #Constraints: 88033
2737.99/2747.53 c #Conflicts: 705000 | #Constraints: 89033
2737.99/2747.53 c #Conflicts: 706000 | #Constraints: 90033
2737.99/2747.53 c #Conflicts: 707000 | #Constraints: 91033
2737.99/2747.53 c #Conflicts: 708000 | #Constraints: 92033
2737.99/2747.53 c #Conflicts: 709000 | #Constraints: 93033
2737.99/2747.53 c #Conflicts: 710000 | #Constraints: 94033
2737.99/2747.53 c #Conflicts: 711000 | #Constraints: 95033
2737.99/2747.53 c #Conflicts: 712000 | #Constraints: 96033
2737.99/2747.53 c #Conflicts: 713000 | #Constraints: 97033
2737.99/2747.53 c #Conflicts: 714000 | #Constraints: 98033
2737.99/2747.53 c #Conflicts: 715000 | #Constraints: 99033
2737.99/2747.53 c #Conflicts: 716000 | #Constraints: 100033
2737.99/2747.53 c #Conflicts: 717000 | #Constraints: 101033
2737.99/2747.53 c #Conflicts: 718000 | #Constraints: 102033
2737.99/2747.53 c #Conflicts: 719000 | #Constraints: 103033
2737.99/2747.53 c #Conflicts: 720000 | #Constraints: 104033
2737.99/2747.53 c #Conflicts: 721000 | #Constraints: 105033
2737.99/2747.53 c #Conflicts: 722000 | #Constraints: 106033
2737.99/2747.53 c #Conflicts: 723000 | #Constraints: 107033
2737.99/2747.53 c #Conflicts: 724000 | #Constraints: 108033
2737.99/2747.53 c INPROCESSING
2737.99/2747.53 c GARBAGE COLLECT
2737.99/2747.53 c #Conflicts: 725000 | #Constraints: 63771
2737.99/2747.53 c #Conflicts: 726000 | #Constraints: 64771
2737.99/2747.53 c #Conflicts: 727000 | #Constraints: 65771
2737.99/2747.53 c #Conflicts: 728000 | #Constraints: 66771
2737.99/2747.53 c #Conflicts: 729000 | #Constraints: 67771
2737.99/2747.53 c #Conflicts: 730000 | #Constraints: 68771
2737.99/2747.53 c #Conflicts: 731000 | #Constraints: 69771
2737.99/2747.53 c #Conflicts: 732000 | #Constraints: 70771
2737.99/2747.53 c #Conflicts: 733000 | #Constraints: 71771
2737.99/2747.53 c #Conflicts: 734000 | #Constraints: 72771
2737.99/2747.53 c #Conflicts: 735000 | #Constraints: 73771
2737.99/2747.53 c #Conflicts: 736000 | #Constraints: 74771
3010.61/3021.19 c #Conflicts: 737000 | #Constraints: 75771
3010.61/3021.19 c #Conflicts: 738000 | #Constraints: 76771
3010.61/3021.19 c #Conflicts: 739000 | #Constraints: 77771
3010.61/3021.19 c #Conflicts: 740000 | #Constraints: 78771
3010.61/3021.19 c #Conflicts: 741000 | #Constraints: 79771
3010.61/3021.19 c #Conflicts: 742000 | #Constraints: 80771
3010.61/3021.19 c #Conflicts: 743000 | #Constraints: 81771
3010.61/3021.19 c INPROCESSING
3010.61/3021.19 c GARBAGE COLLECT
3010.61/3021.19 c #Conflicts: 744000 | #Constraints: 50463
3010.61/3021.19 c #Conflicts: 745000 | #Constraints: 51463
3010.61/3021.19 c #Conflicts: 746000 | #Constraints: 52463
3010.61/3021.19 c #Conflicts: 747000 | #Constraints: 53463
3010.61/3021.19 c #Conflicts: 748000 | #Constraints: 54463
3010.61/3021.19 c #Conflicts: 749000 | #Constraints: 55463
3010.61/3021.19 c #Conflicts: 750000 | #Constraints: 56463
3010.61/3021.19 c #Conflicts: 751000 | #Constraints: 57463
3010.61/3021.19 c #Conflicts: 752000 | #Constraints: 58463
3010.61/3021.19 c #Conflicts: 753000 | #Constraints: 59463
3010.61/3021.19 c #Conflicts: 754000 | #Constraints: 60463
3010.61/3021.19 c #Conflicts: 755000 | #Constraints: 61463
3010.61/3021.19 c #Conflicts: 756000 | #Constraints: 62463
3010.61/3021.19 c #Conflicts: 757000 | #Constraints: 63463
3010.61/3021.19 c #Conflicts: 758000 | #Constraints: 64463
3010.61/3021.19 c #Conflicts: 759000 | #Constraints: 65463
3010.61/3021.19 c #Conflicts: 760000 | #Constraints: 66463
3010.61/3021.19 c #Conflicts: 761000 | #Constraints: 67463
3010.61/3021.19 c #Conflicts: 762000 | #Constraints: 68463
3010.61/3021.19 c #Conflicts: 763000 | #Constraints: 69463
3010.61/3021.19 c INPROCESSING
3010.61/3021.19 c GARBAGE COLLECT
3010.61/3021.19 c #Conflicts: 764000 | #Constraints: 47003
3010.61/3021.19 c #Conflicts: 765000 | #Constraints: 48003
3010.61/3021.19 c #Conflicts: 766000 | #Constraints: 49003
3010.61/3021.19 c #Conflicts: 767000 | #Constraints: 50003
3010.61/3021.19 c #Conflicts: 768000 | #Constraints: 51003
3010.61/3021.19 c #Conflicts: 769000 | #Constraints: 52003
3010.61/3021.19 c #Conflicts: 770000 | #Constraints: 53003
3010.61/3021.19 c #Conflicts: 771000 | #Constraints: 54003
3010.61/3021.19 c #Conflicts: 772000 | #Constraints: 55003
3010.61/3021.19 c #Conflicts: 773000 | #Constraints: 56003
3010.61/3021.19 c #Conflicts: 774000 | #Constraints: 57003
3010.61/3021.19 c #Conflicts: 775000 | #Constraints: 58003
3010.61/3021.19 c #Conflicts: 776000 | #Constraints: 59003
3010.61/3021.19 c #Conflicts: 777000 | #Constraints: 60003
3010.61/3021.19 c #Conflicts: 778000 | #Constraints: 61003
3010.61/3021.19 c #Conflicts: 779000 | #Constraints: 62003
3010.61/3021.19 c #Conflicts: 780000 | #Constraints: 63003
3010.61/3021.19 c #Conflicts: 781000 | #Constraints: 64003
3010.61/3021.19 c #Conflicts: 782000 | #Constraints: 65003
3010.61/3021.19 c #Conflicts: 783000 | #Constraints: 66003
3010.61/3021.19 c #Conflicts: 784000 | #Constraints: 67003
3010.61/3021.19 c #Conflicts: 785000 | #Constraints: 68003
3010.61/3021.19 c #Conflicts: 786000 | #Constraints: 69003
3010.61/3021.19 c #Conflicts: 787000 | #Constraints: 70003
3010.61/3021.19 c #Conflicts: 788000 | #Constraints: 71003
3010.61/3021.19 c #Conflicts: 789000 | #Constraints: 72003
3010.61/3021.19 c #Conflicts: 790000 | #Constraints: 73003
3010.61/3021.19 c #Conflicts: 791000 | #Constraints: 74003
3010.61/3021.19 c #Conflicts: 792000 | #Constraints: 75003
3010.61/3021.19 c #Conflicts: 793000 | #Constraints: 76003
3010.61/3021.19 c #Conflicts: 794000 | #Constraints: 77003
3010.61/3021.19 c #Conflicts: 795000 | #Constraints: 78003
3010.61/3021.19 c #Conflicts: 796000 | #Constraints: 79003
3010.61/3021.19 c #Conflicts: 797000 | #Constraints: 80003
3010.61/3021.19 c #Conflicts: 798000 | #Constraints: 81003
3010.61/3021.19 c #Conflicts: 799000 | #Constraints: 82003
3010.61/3021.19 c #Conflicts: 800000 | #Constraints: 83003
3010.61/3021.19 c #Conflicts: 801000 | #Constraints: 84003
3010.61/3021.19 c #Conflicts: 802000 | #Constraints: 85003
3010.61/3021.19 c #Conflicts: 803000 | #Constraints: 86003
3010.61/3021.19 c #Conflicts: 804000 | #Constraints: 87003
3010.61/3021.19 c #Conflicts: 805000 | #Constraints: 88003
3010.61/3021.19 c #Conflicts: 806000 | #Constraints: 89003
3010.61/3021.19 c #Conflicts: 807000 | #Constraints: 90003
3010.61/3021.19 c #Conflicts: 808000 | #Constraints: 91003
3010.61/3021.19 c #Conflicts: 809000 | #Constraints: 92003
3010.61/3021.19 c #Conflicts: 810000 | #Constraints: 93003
3010.61/3021.19 c #Conflicts: 811000 | #Constraints: 94003
3010.61/3021.19 c #Conflicts: 812000 | #Constraints: 95003
3010.61/3021.19 c #Conflicts: 813000 | #Constraints: 96003
3010.61/3021.19 c #Conflicts: 814000 | #Constraints: 97003
3365.56/3377.43 c #Conflicts: 815000 | #Constraints: 98003
3365.56/3377.43 c #Conflicts: 816000 | #Constraints: 99003
3365.56/3377.43 c #Conflicts: 817000 | #Constraints: 100003
3365.56/3377.43 c #Conflicts: 818000 | #Constraints: 101003
3365.56/3377.43 c #Conflicts: 819000 | #Constraints: 102003
3365.56/3377.43 c #Conflicts: 820000 | #Constraints: 103003
3365.56/3377.43 c #Conflicts: 821000 | #Constraints: 104003
3365.56/3377.43 c #Conflicts: 822000 | #Constraints: 105003
3365.56/3377.43 c #Conflicts: 823000 | #Constraints: 106003
3365.56/3377.43 c #Conflicts: 824000 | #Constraints: 107003
3365.56/3377.43 c #Conflicts: 825000 | #Constraints: 108003
3365.56/3377.43 c #Conflicts: 826000 | #Constraints: 109003
3365.56/3377.43 c #Conflicts: 827000 | #Constraints: 110003
3365.56/3377.43 c #Conflicts: 828000 | #Constraints: 111003
3365.56/3377.43 c #Conflicts: 829000 | #Constraints: 112003
3365.56/3377.43 c #Conflicts: 830000 | #Constraints: 113003
3365.56/3377.43 c #Conflicts: 831000 | #Constraints: 114003
3365.56/3377.43 c INPROCESSING
3365.56/3377.43 c GARBAGE COLLECT
3365.56/3377.43 c #Conflicts: 832000 | #Constraints: 66491
3365.56/3377.43 c #Conflicts: 833000 | #Constraints: 67491
3365.56/3377.43 c #Conflicts: 834000 | #Constraints: 68491
3365.56/3377.43 c #Conflicts: 835000 | #Constraints: 69491
3365.56/3377.43 c #Conflicts: 836000 | #Constraints: 70491
3365.56/3377.43 c #Conflicts: 837000 | #Constraints: 71491
3365.56/3377.43 c #Conflicts: 838000 | #Constraints: 72491
3365.56/3377.43 c #Conflicts: 839000 | #Constraints: 73491
3365.56/3377.43 c #Conflicts: 840000 | #Constraints: 74491
3365.56/3377.43 c #Conflicts: 841000 | #Constraints: 75491
3365.56/3377.43 c #Conflicts: 842000 | #Constraints: 76491
3365.56/3377.43 c #Conflicts: 843000 | #Constraints: 77491
3365.56/3377.43 c #Conflicts: 844000 | #Constraints: 78491
3365.56/3377.43 c #Conflicts: 845000 | #Constraints: 79491
3365.56/3377.43 c #Conflicts: 846000 | #Constraints: 80491
3365.56/3377.43 c #Conflicts: 847000 | #Constraints: 81491
3365.56/3377.43 c #Conflicts: 848000 | #Constraints: 82491
3365.56/3377.43 c #Conflicts: 849000 | #Constraints: 83491
3365.56/3377.43 c #Conflicts: 850000 | #Constraints: 84491
3365.56/3377.43 c #Conflicts: 851000 | #Constraints: 85491
3365.56/3377.43 c #Conflicts: 852000 | #Constraints: 86491
3365.56/3377.43 c INPROCESSING
3365.56/3377.43 c GARBAGE COLLECT
3365.56/3377.43 c #Conflicts: 853000 | #Constraints: 52851
3365.56/3377.43 c #Conflicts: 854000 | #Constraints: 53851
3365.56/3377.43 c #Conflicts: 855000 | #Constraints: 54851
3365.56/3377.43 c #Conflicts: 856000 | #Constraints: 55851
3365.56/3377.43 c #Conflicts: 857000 | #Constraints: 56851
3365.56/3377.43 c #Conflicts: 858000 | #Constraints: 57851
3365.56/3377.43 c #Conflicts: 859000 | #Constraints: 58851
3365.56/3377.43 c #Conflicts: 860000 | #Constraints: 59851
3365.56/3377.43 c #Conflicts: 861000 | #Constraints: 60851
3365.56/3377.43 c #Conflicts: 862000 | #Constraints: 61851
3365.56/3377.43 c #Conflicts: 863000 | #Constraints: 62851
3365.56/3377.43 c #Conflicts: 864000 | #Constraints: 63851
3365.56/3377.43 c #Conflicts: 865000 | #Constraints: 64851
3365.56/3377.43 c #Conflicts: 866000 | #Constraints: 65851
3365.56/3377.43 c #Conflicts: 867000 | #Constraints: 66851
3365.56/3377.43 c #Conflicts: 868000 | #Constraints: 67851
3365.56/3377.43 c #Conflicts: 869000 | #Constraints: 68851
3365.56/3377.43 c #Conflicts: 870000 | #Constraints: 69851
3365.56/3377.43 c #Conflicts: 871000 | #Constraints: 70851
3365.56/3377.43 c #Conflicts: 872000 | #Constraints: 71851
3365.56/3377.43 c #Conflicts: 873000 | #Constraints: 72851
3365.56/3377.43 c INPROCESSING
3365.56/3377.43 c GARBAGE COLLECT
3365.56/3377.43 c #Conflicts: 874000 | #Constraints: 49023
3365.56/3377.43 c #Conflicts: 875000 | #Constraints: 50023
3365.56/3377.43 c #Conflicts: 876000 | #Constraints: 51023
3365.56/3377.43 c #Conflicts: 877000 | #Constraints: 52023
3365.56/3377.43 c #Conflicts: 878000 | #Constraints: 53023
3365.56/3377.43 c #Conflicts: 879000 | #Constraints: 54023
3365.56/3377.43 c #Conflicts: 880000 | #Constraints: 55023
3365.56/3377.43 c #Conflicts: 881000 | #Constraints: 56023
3365.56/3377.43 c #Conflicts: 882000 | #Constraints: 57023
3365.56/3377.43 c #Conflicts: 883000 | #Constraints: 58023
3365.56/3377.43 c #Conflicts: 884000 | #Constraints: 59023
3365.56/3377.43 c #Conflicts: 885000 | #Constraints: 60023
3365.56/3377.43 c #Conflicts: 886000 | #Constraints: 61023
3365.56/3377.43 c #Conflicts: 887000 | #Constraints: 62023
3365.56/3377.43 c #Conflicts: 888000 | #Constraints: 63023
3365.56/3377.43 c #Conflicts: 889000 | #Constraints: 64023
3365.56/3377.43 c #Conflicts: 890000 | #Constraints: 65023
3365.56/3377.43 c #Conflicts: 891000 | #Constraints: 66023
3600.03/3612.71 c #Conflicts: 892000 | #Constraints: 67023
3600.03/3612.71 c #Conflicts: 893000 | #Constraints: 68023
3600.03/3612.71 c #Conflicts: 894000 | #Constraints: 69023
3600.03/3612.71 c #Conflicts: 895000 | #Constraints: 70023
3600.03/3612.71 c #Conflicts: 896000 | #Constraints: 71023
3600.03/3612.71 c #Conflicts: 897000 | #Constraints: 72023
3600.03/3612.71 c #Conflicts: 898000 | #Constraints: 73023
3600.03/3612.71 c #Conflicts: 899000 | #Constraints: 74023
3600.03/3612.71 c #Conflicts: 900000 | #Constraints: 75023
3600.03/3612.71 c #Conflicts: 901000 | #Constraints: 76023
3600.03/3612.71 c #Conflicts: 902000 | #Constraints: 77023
3600.03/3612.71 c #Conflicts: 903000 | #Constraints: 78023
3600.03/3612.71 c #Conflicts: 904000 | #Constraints: 79023
3600.03/3612.71 c #Conflicts: 905000 | #Constraints: 80023
3600.03/3612.71 c #Conflicts: 906000 | #Constraints: 81023
3600.03/3612.71 c #Conflicts: 907000 | #Constraints: 82023
3600.03/3612.71 c #Conflicts: 908000 | #Constraints: 83023
3600.03/3612.71 c #Conflicts: 909000 | #Constraints: 84023
3600.03/3612.71 c #Conflicts: 910000 | #Constraints: 85023
3600.03/3612.71 c #Conflicts: 911000 | #Constraints: 86023
3600.03/3612.71 c #Conflicts: 912000 | #Constraints: 87023
3600.03/3612.71 c #Conflicts: 913000 | #Constraints: 88023
3600.03/3612.71 c #Conflicts: 914000 | #Constraints: 89023
3600.03/3612.71 c #Conflicts: 915000 | #Constraints: 90023
3600.03/3612.71 c #Conflicts: 916000 | #Constraints: 91023
3600.03/3612.71 c #Conflicts: 917000 | #Constraints: 92023
3600.03/3612.71 c #Conflicts: 918000 | #Constraints: 93023
3600.03/3612.71 c #Conflicts: 919000 | #Constraints: 94023
3600.03/3612.71 c #Conflicts: 920000 | #Constraints: 95023
3600.03/3612.71 c #Conflicts: 921000 | #Constraints: 96023
3600.03/3612.71 c #Conflicts: 922000 | #Constraints: 97023
3600.03/3612.71 c #Conflicts: 923000 | #Constraints: 98023
3600.03/3612.71 c Program interrupted by user.
3600.03/3612.71 c cpu time 3593.01 s
3600.03/3612.71 c deterministic time 257547824523 2.58e+11
3600.03/3612.71 c optimization time 263.815 s
3600.03/3612.71 c total solve time 3030.46 s
3600.03/3612.71 c core-guided solve time 3030.46 s
3600.03/3612.71 c propagation time 2351.62 s
3600.03/3612.71 c conflict analysis time 884.732 s
3600.03/3612.71 c propagations 285218865
3600.03/3612.71 c resolve steps 32615843
3600.03/3612.71 c decisions 2615110
3600.03/3612.71 c conflicts 923873
3600.03/3612.71 c restarts 2036
3600.03/3612.71 c inprocessing phases 56
3600.03/3612.71 c input clauses 17291
3600.03/3612.71 c input cardinalities 478
3600.03/3612.71 c input general constraints 0
3600.03/3612.71 c input average constraint length 69.03
3600.03/3612.71 c input average constraint degree 11.77
3600.03/3612.71 c learned clauses 755384
3600.03/3612.71 c learned cardinalities 11060
3600.03/3612.71 c learned general constraints 157711
3600.03/3612.71 c learned average constraint length 676.68
3600.03/3612.71 c learned average constraint degree 266.74
3600.03/3612.71 c watched constraints 80326
3600.03/3612.71 c counting constraints 77385
3600.03/3612.71 c gcd simplifications 90167
3600.03/3612.71 c detected cardinalities 247
3600.03/3612.71 c weakened non-implied lits 265744428
3600.03/3612.71 c weakened non-implying lits 758126
3600.03/3612.71 c original variables 2460
3600.03/3612.71 c clausal propagations 98113311
3600.03/3612.71 c cardinality propagations 2111298
3600.03/3612.71 c watched propagations 29844667
3600.03/3612.71 c counting propagations 142067627
3600.03/3612.71 c watch lookups 54357979122
3600.03/3612.71 c watch backjump lookups 47456037018
3600.03/3612.71 c watch checks 150682043323
3600.03/3612.71 c propagation checks 2811509753
3600.03/3612.71 c constraint additions 1663665243
3600.03/3612.71 c trail pops 288756088
3600.03/3612.71 c formula constraints 17131
3600.03/3612.71 c learned constraints 924155
3600.03/3612.71 c bound constraints 478
3600.03/3612.71 c core-guided constraints 160
3600.03/3612.71 c encountered formula constraints 23304792
3600.03/3612.71 c encountered learned constraints 10233966
3600.03/3612.71 c encountered bound constraints 958
3600.03/3612.71 c encountered core-guided constraints 0
3600.03/3612.71 c LP total time 0 s
3600.03/3612.71 c LP solve time 0 s
3600.03/3612.71 c LP constraints added 0
3600.03/3612.71 c LP constraints removed 0
3600.03/3612.71 c LP pivots internal 0
3600.03/3612.71 c LP pivots root 0
3600.03/3612.71 c LP calls 0
3600.03/3612.71 c LP optimalities 0
3600.03/3612.71 c LP no pivot count 0
3600.03/3612.71 c LP infeasibilities 0
3600.03/3612.71 c LP valid Farkas constraints 0
3600.03/3612.71 c LP learned Farkas constraints 0
3600.03/3612.71 c LP basis resets 0
3600.03/3612.71 c LP cycling count 0
3600.03/3612.71 c LP singular count 0
3600.03/3612.71 c LP no primal count 0
3600.03/3612.71 c LP no farkas count 0
3600.03/3612.71 c LP other issue count 0
3600.03/3612.71 c LP Gomory cuts 0
3600.03/3612.71 c LP learned cuts 0
3600.03/3612.71 c LP deleted cuts 0
3600.03/3612.71 c LP encountered Gomory constraints 0
3600.03/3612.71 c LP encountered Farkas constraints 0
3600.03/3612.71 c LP encountered learned Farkas constraints 0
3600.03/3612.71 c CG auxiliary variables introduced 160
3600.03/3612.71 c CG solutions found 0
3600.03/3612.71 c CG cores constructed 477
3600.03/3612.71 c CG core cardinality constraints returned 0
3600.03/3612.71 c CG unit cores 0
3600.03/3612.71 c CG single cores 477
3600.03/3612.71 c CG blocks removed during cardinality reduction 0
3600.03/3612.71 c CG first core best 0
3600.03/3612.71 c CG decision core best 0
3600.03/3612.71 c CG core reduction tie 0
3600.03/3612.71 c CG core degree average 1.00
3600.03/3612.71 c CG core slack average 3.82
3600.03/3612.71 c CG exhausted 0
3600.03/3612.71 c CG exhaust time 0 s
3600.03/3612.71 c CG trimmed 111
3600.03/3612.71 c CG trim time 0.008919 s
3600.03/3612.71 c CG minimized 0
3600.03/3612.71 c CG minimize time 0 s
3600.03/3612.71 c CG am1 prop time 0.004082 s
3600.03/3612.71 c CG # am1s reformulated 160
3600.03/3612.71 c CG lower bound derived from am1s 160
3600.03/3612.71 c CG # clausal cores 477
3600.03/3612.71 c CG # cardinality cores 0
3600.03/3612.71 c CG # pb cores 0
3600.03/3612.71 c CG # pb reforms 0
3600.03/3612.71 c CG # cores discarded because of pb reform 0
3600.03/3612.71 d LOWERBOUND 637
3600.03/3612.71 d NCORES 477
3600.03/3612.71 d NPBCORES 0
3600.03/3612.71 d NPBREFORM 0
3600.03/3612.71 d NTRIMMED 111
3600.03/3612.71 d NEXHAUSTED 0
3600.03/3612.71 d NAM1S 160
3600.03/3612.71 d AM1LB 160
3600.03/3612.71 c [Papilo Statistics]
3600.03/3612.71 c prepro time 0.0188129s
3600.03/3612.71 c # tsx applied 0
3600.03/3612.71 c # tsx conflicts 0
3600.03/3612.71 c # bound changes 0
3600.03/3612.71 c # side changes 0
3600.03/3612.71 c # coef changes 0
3600.03/3612.71 c # rounds 1
3600.03/3612.71 c # deted vars 0
3600.03/3612.71 c # deted constrs 0
3600.03/3612.71 c # consecutive rounds of only bound changes 0
3600.03/3612.71 s UNKNOWN
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 (61341 MiB free)
memory of node 1: 64510 MiB (59360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454666-1721452135/watcher-4454666-1721452135 -o /tmp/evaluation-result-4454666-1721452135/solver-4454666-1721452135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032727 --watchdog 3760 mixed-bag HOME/instance-4454666-1721452135.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 Starting watchdog threa
Linux Starting watchdog threa
Current StackSize limit: 8192 KiB
solver pid=1037230, runsolver pid=1037227
[startup+0.100101 s]*
/proc/loadavg: 4.10 4.14 4.16 5/241 1037231
/proc/meminfo: memFree=123562932/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=120516 memory=53220 CPUtime=0.1 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 11124 0 0 0 9 1 0 0 20 0 1 0 197372724 123408384 13305 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 30129 13305 3817 3002 0 13878 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 120516 KiB
Current children cumulated memory: 53220 KiB
[startup+0.214282 s]*
/proc/loadavg: 4.10 4.14 4.16 5/241 1037231
/proc/meminfo: memFree=123547492/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=132984 memory=65520 CPUtime=0.22 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 15315 0 0 0 20 2 0 0 20 0 1 0 197372724 136175616 16380 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 33246 16380 3817 3002 0 16995 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 132984 KiB
Current children cumulated memory: 65520 KiB
[startup+0.314143 s]*
/proc/loadavg: 4.10 4.14 4.16 5/241 1037231
/proc/meminfo: memFree=123542688/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=139404 memory=70328 CPUtime=0.31 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 16558 0 0 0 29 2 0 0 20 0 1 0 197372724 142749696 17582 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 34851 17582 3833 3002 0 18600 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 139404 KiB
Current children cumulated memory: 70328 KiB
[startup+0.700321 s]
/proc/loadavg: 4.10 4.14 4.16 5/241 1037231
/proc/meminfo: memFree=123542024/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=140308 memory=71444 CPUtime=0.68 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 16777 0 0 0 66 2 0 0 20 0 1 0 197372724 143675392 17861 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 35077 17861 3849 3002 0 18826 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140308 KiB
Current children cumulated memory: 71444 KiB
[startup+1.50029 s]
/proc/loadavg: 4.10 4.14 4.16 6/241 1037231
/proc/meminfo: memFree=123541360/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=141588 memory=72500 CPUtime=1.48 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 17096 0 0 0 146 2 0 0 20 0 1 0 197372724 144986112 18125 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 35397 18125 3849 3002 0 19146 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141588 KiB
Current children cumulated memory: 72500 KiB
[startup+3.11373 s]
/proc/loadavg: 4.09 4.14 4.16 6/241 1037231
/proc/meminfo: memFree=123459828/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=234252 memory=153968 CPUtime=3.09 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 33770 0 0 0 304 5 0 0 20 0 1 0 197372724 239874048 38492 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 58563 38492 4057 3002 0 42312 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 234252 KiB
Current children cumulated memory: 153968 KiB
[startup+6.30027 s]
/proc/loadavg: 4.09 4.14 4.16 6/241 1037234
/proc/meminfo: memFree=123431364/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=286576 memory=184672 CPUtime=6.27 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 41554 0 0 0 620 7 0 0 20 0 1 0 197372724 293453824 46168 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 71644 46168 4057 3002 0 55393 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 286576 KiB
Current children cumulated memory: 184672 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.14 4.16 6/241 1037234
/proc/meminfo: memFree=123419416/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=332264 memory=217992 CPUtime=12.64 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 49810 0 0 0 1255 9 0 0 20 0 1 0 197372724 340238336 54498 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 83066 54498 4072 3002 0 66815 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 332264 KiB
Current children cumulated memory: 217992 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.15 4.16 6/241 1037237
/proc/meminfo: memFree=123389220/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=332264 memory=217992 CPUtime=25.4 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 49814 0 0 0 2530 10 0 0 20 0 1 0 197372724 340238336 54498 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 83066 54498 4072 3002 0 66815 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 332264 KiB
Current children cumulated memory: 217992 KiB
[startup+51.1134 s]
/proc/loadavg: 4.09 4.13 4.16 6/241 1037240
/proc/meminfo: memFree=123323400/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=375144 memory=241804 CPUtime=50.93 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 55785 0 0 0 5079 14 0 0 20 0 1 0 197372724 384147456 60451 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 93786 60451 4088 3002 0 77535 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 375144 KiB
Current children cumulated memory: 241804 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.16 4.17 6/244 1037253
/proc/meminfo: memFree=123157436/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=509344 memory=326540 CPUtime=101.94 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 78146 0 0 0 10170 24 0 0 20 0 1 0 197372724 521568256 81635 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 127336 81635 4088 3002 0 111085 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 509344 KiB
Current children cumulated memory: 326540 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.16 6/244 1037263
/proc/meminfo: memFree=123020804/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=639332 memory=372080 CPUtime=161.74 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 98002 0 0 0 16141 33 0 0 20 0 1 0 197372724 654675968 93020 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 159833 93020 4088 3002 0 143582 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 639332 KiB
Current children cumulated memory: 372080 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.16 6/244 1037274
/proc/meminfo: memFree=122900532/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=768200 memory=428800 CPUtime=221.53 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 112383 0 0 0 22116 37 0 0 20 0 1 0 197372724 786636800 107200 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 192050 107200 4088 3002 0 175799 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 428800 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.16 4.17 6/244 1037284
/proc/meminfo: memFree=122970208/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=785412 memory=434256 CPUtime=281.32 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 117869 0 0 0 28093 39 0 0 20 0 1 0 197372724 804261888 108564 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 196353 108564 4088 3002 0 180102 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 785412 KiB
Current children cumulated memory: 434256 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.16 6/244 1037295
/proc/meminfo: memFree=122960124/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=763504 memory=418196 CPUtime=341.14 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 121111 0 0 0 34049 65 0 0 20 0 1 0 197372724 781828096 104549 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 190876 104549 4215 3002 0 174625 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 763504 KiB
Current children cumulated memory: 418196 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.16 6/241 1037305
/proc/meminfo: memFree=122926196/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=782472 memory=430640 CPUtime=400.94 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 121681 0 0 0 40014 80 0 0 20 0 1 0 197372724 801251328 107660 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 195618 107660 4215 3002 0 179367 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 782472 KiB
Current children cumulated memory: 430640 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.16 7/241 1037316
/proc/meminfo: memFree=122854716/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=782472 memory=434736 CPUtime=460.73 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 121691 0 0 0 45974 99 0 0 20 0 1 0 197372724 801251328 108684 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
################
# More data... #
################
Current children cumulated memory: 879796 KiB
[startup+2922.3 s]
/proc/loadavg: 5.36 4.52 4.30 6/241 1038758
/proc/meminfo: memFree=122101368/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=944768 memory=879796 CPUtime=2912.16 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 129229 0 0 0 290618 598 0 0 20 0 1 0 197372724 967442432 219949 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 236192 219949 4215 3002 0 219941 0
Current children cumulated CPU time: 2912.16 s
Current children cumulated vsize: 944768 KiB
Current children cumulated memory: 879796 KiB
[startup+2982.3 s]
/proc/loadavg: 4.83 4.54 4.32 6/243 1038938
/proc/meminfo: memFree=122099200/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=944768 memory=879796 CPUtime=2971.94 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 129397 0 0 0 296591 603 0 0 20 0 1 0 197372724 967442432 219949 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 236192 219949 4215 3002 0 219941 0
Current children cumulated CPU time: 2971.94 s
Current children cumulated vsize: 944768 KiB
Current children cumulated memory: 879796 KiB
[startup+3042.3 s]
/proc/loadavg: 4.40 4.47 4.31 6/243 1038949
/proc/meminfo: memFree=122089132/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=944768 memory=879796 CPUtime=3031.72 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 129584 0 0 0 302561 611 0 0 20 0 1 0 197372724 967442432 219949 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 236192 219949 4215 3002 0 219941 0
Current children cumulated CPU time: 3031.72 s
Current children cumulated vsize: 944768 KiB
Current children cumulated memory: 879796 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.41 4.29 6/247 1038965
/proc/meminfo: memFree=122086748/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=944768 memory=879796 CPUtime=3091.51 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 129780 0 0 0 308535 616 0 0 20 0 1 0 197372724 967442432 219949 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 236192 219949 4215 3002 0 219941 0
Current children cumulated CPU time: 3091.51 s
Current children cumulated vsize: 944768 KiB
Current children cumulated memory: 879796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.37 4.28 6/247 1038986
/proc/meminfo: memFree=122072092/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=893944 CPUtime=3151.28 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 130447 0 0 0 314507 621 0 0 20 0 1 0 197372724 1102876672 223486 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 223486 4215 3002 0 253006 0
Current children cumulated CPU time: 3151.28 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 893944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.31 4.27 6/247 1038998
/proc/meminfo: memFree=122061332/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3211.06 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 130550 0 0 0 320479 627 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3211.06 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.27 4.26 6/245 1039008
/proc/meminfo: memFree=122059048/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3270.83 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 130643 0 0 0 326445 638 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3270.83 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.25 4.25 6/245 1039020
/proc/meminfo: memFree=122056632/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3330.61 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 130753 0 0 0 332405 656 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3330.61 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.22 4.24 6/241 1039030
/proc/meminfo: memFree=122054356/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3390.37 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 130902 0 0 0 338363 674 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3390.37 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.24 4.24 6/241 1039041
/proc/meminfo: memFree=122051964/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3450.15 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 131019 0 0 0 344332 683 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3450.15 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.23 6/241 1039051
/proc/meminfo: memFree=122047620/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3509.92 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 131127 0 0 0 350302 690 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3509.92 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
[startup+3582.3 s]
/proc/loadavg: 2.78 3.85 4.11 2/220 1039154
/proc/meminfo: memFree=123726344/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3569.72 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 131276 0 0 0 356273 699 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3569.72 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 2.13 3.59 4.01 2/220 1039160
/proc/meminfo: memFree=123726228/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3600.03 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 131315 0 0 0 359300 703 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.72 s]
# the end of solver process 1037230 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.02 s, system=7.03649 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 2.13 3.59 4.01 2/220 1039160
/proc/meminfo: memFree=123726228/131655788 swapFree=131071996/131071996
[pid=1037230] ppid=1037227 vsize=1077028 memory=902136 CPUtime=3600.03 cores=0,2
/proc/1037230/stat : 1037230 (mixed-bag) R 1037227 1037230 1032717 0 -1 4194304 131315 0 0 0 359300 703 0 0 20 0 1 0 197372724 1102876672 225534 134679101440 4194304 16488053 140723501941760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 28778496 140723501949973 140723501950050 140723501950050 140723501957067 0
/proc/1037230/statm: 269257 225534 4215 3002 0 253006 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1077028 KiB
Current children cumulated memory: 902136 KiB
Child status: 0
Real time (s): 3612.72
CPU time (s): 3600.05
CPU user time (s): 3593.02
CPU system time (s): 7.03649
CPU usage (%): 99.6494
Max. virtual memory (cumulated for all children) (KiB): 1077028
Max. memory (cumulated for all children) (KiB): 902136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.02
system time used= 7.03649
maximum resident set size= 902920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131340
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= 110
involuntary context switches= 25201
# summary of solver processes directly reported to runsolver:
# pid: 1037230
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.02
# total CPU system time (s): 7.03649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.9663 second user time and 31.9089 second system time
The end
Begin job on nodeC010 at 2024-07-20 07:09:06
IDJOB=4454666
IDBENCH=147037
IDSOLVER=3083
FILE ID=nodeC010/4454666-1721452135
RUNJOBID= nodeC010-1721444855-1032727
SLURM_JOB_ID= 7545660
Free space on /tmp= 723732 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454666-1721452135/watcher-4454666-1721452135 -o /tmp/evaluation-result-4454666-1721452135/solver-4454666-1721452135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032727 --watchdog 3760 mixed-bag HOME/instance-4454666-1721452135.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=1216007938
nodeC010.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 : 3491.781
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.122
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.174
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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.344
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 : 3667.889
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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3657.479
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.405
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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.341
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: 123599172 kB
MemAvailable: 128964244 kB
Buffers: 542416 kB
Cached: 5609472 kB
SwapCached: 0 kB
Active: 1074720 kB
Inactive: 6294460 kB
Active(anon): 1440 kB
Inactive(anon): 1261740 kB
Active(file): 1073280 kB
Inactive(file): 5032720 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16680 kB
Writeback: 72 kB
AnonPages: 1217384 kB
Mapped: 140608 kB
Shmem: 45896 kB
KReclaimable: 198208 kB
Slab: 314080 kB
SReclaimable: 198208 kB
SUnreclaim: 115872 kB
KernelStack: 3840 kB
PageTables: 12256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1736636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 337920 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC010 at 2024-07-20 08:09:19