| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 3031 | 3600.11 | 3609.31 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb |
| MD5SUM | 1c26e44dc48355aad6827be56d900020 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3031 |
| Best CPU time to get the best result obtained on this benchmark | 0.416291 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3300 |
| Total number of constraints | 1985 |
| Number of constraints which are clauses | 1364 |
| Number of constraints which are cardinality constraints (but not clauses) | 621 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 220 |
| Number of terms in the objective function | 2792 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 1385986 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 1385986 |
| Number of bits of the biggest sum of numbers | 21 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 3300 #constraints 2573 0.09/0.19 c bounds - >= -1407 @ 0.007917 0.09/0.19 c bounds 237314 >= -1407 @ 0.140793 0.09/0.19 c bounds 237314 >= -828 @ 0.140793 0.09/0.19 c bounds 237314 >= 172 @ 0.141689 0.09/0.19 c bounds 237314 >= 1172 @ 0.142657 0.09/0.19 c bounds 237314 >= 2172 @ 0.143776 0.09/0.19 c bounds 3118 >= 2172 @ 0.150505 0.09/0.19 c bounds 3118 >= 2300 @ 0.151159 0.09/0.19 c bounds 3118 >= 2301 @ 0.15126 0.09/0.19 c bounds 3118 >= 2302 @ 0.151357 0.09/0.19 c bounds 3118 >= 2303 @ 0.151447 0.09/0.19 c bounds 3118 >= 2304 @ 0.151536 0.09/0.19 c bounds 3118 >= 2305 @ 0.151628 0.09/0.19 c bounds 3118 >= 2306 @ 0.151718 0.09/0.19 c bounds 3118 >= 2307 @ 0.151812 0.09/0.19 c bounds 3118 >= 2308 @ 0.1519 0.09/0.19 c bounds 3118 >= 2310 @ 0.151996 0.09/0.19 c bounds 3118 >= 2311 @ 0.152092 0.09/0.19 c bounds 3118 >= 2312 @ 0.152182 0.09/0.19 c bounds 3118 >= 2313 @ 0.15227 0.09/0.19 c bounds 3118 >= 2314 @ 0.152359 0.09/0.19 c bounds 3118 >= 2315 @ 0.15245 0.09/0.19 c bounds 3118 >= 2316 @ 0.152539 0.09/0.19 c bounds 3118 >= 2317 @ 0.15263 0.09/0.19 c bounds 3118 >= 2318 @ 0.152719 0.09/0.19 c bounds 3118 >= 2319 @ 0.15281 0.09/0.19 c bounds 3118 >= 2320 @ 0.1529 0.09/0.19 c bounds 3118 >= 2322 @ 0.15299 0.09/0.19 c bounds 3118 >= 2323 @ 0.153078 0.09/0.19 c bounds 3118 >= 2324 @ 0.153166 0.09/0.19 c bounds 3118 >= 2325 @ 0.153254 0.09/0.19 c bounds 3118 >= 2327 @ 0.153343 0.09/0.19 c bounds 3118 >= 2329 @ 0.153435 0.09/0.19 c bounds 3118 >= 2330 @ 0.153524 0.09/0.19 c bounds 3118 >= 2331 @ 0.153612 0.09/0.19 c bounds 3118 >= 2332 @ 0.153702 0.09/0.19 c bounds 3118 >= 2334 @ 0.153793 0.09/0.19 c bounds 3118 >= 2335 @ 0.153881 0.09/0.19 c bounds 3118 >= 2337 @ 0.15397 0.09/0.19 c bounds 3118 >= 2338 @ 0.154057 0.09/0.19 c bounds 3118 >= 2340 @ 0.154144 0.09/0.19 c bounds 3118 >= 2342 @ 0.154232 0.09/0.19 c bounds 3118 >= 2344 @ 0.15432 0.09/0.19 c bounds 3118 >= 2346 @ 0.154407 0.09/0.19 c bounds 3118 >= 2347 @ 0.154493 0.09/0.19 c bounds 3118 >= 2348 @ 0.154581 0.09/0.19 c bounds 3118 >= 2349 @ 0.154667 0.09/0.19 c bounds 3118 >= 2350 @ 0.154754 0.09/0.19 c bounds 3118 >= 2351 @ 0.15484 0.09/0.19 c bounds 3118 >= 2352 @ 0.154925 0.09/0.19 c bounds 3118 >= 2353 @ 0.155009 0.09/0.19 c bounds 3118 >= 2354 @ 0.155094 0.09/0.19 c bounds 3118 >= 2355 @ 0.155187 0.09/0.19 c bounds 3118 >= 2356 @ 0.155273 0.09/0.19 c bounds 3118 >= 2357 @ 0.155358 0.09/0.19 c bounds 3118 >= 2358 @ 0.155446 0.09/0.19 c bounds 3118 >= 2359 @ 0.155533 0.09/0.19 c bounds 3118 >= 2360 @ 0.15562 0.09/0.19 c bounds 3118 >= 2361 @ 0.155706 0.09/0.19 c bounds 3118 >= 2362 @ 0.155792 0.09/0.19 c bounds 3118 >= 2363 @ 0.155876 0.09/0.19 c bounds 3118 >= 2364 @ 0.155963 0.09/0.19 c bounds 3118 >= 2365 @ 0.15605 0.09/0.19 c bounds 3118 >= 2366 @ 0.156133 0.09/0.19 c bounds 3118 >= 2367 @ 0.156216 0.09/0.19 c bounds 3118 >= 2368 @ 0.156299 0.09/0.19 c bounds 3118 >= 2369 @ 0.156385 0.09/0.19 c bounds 3118 >= 2371 @ 0.15647 0.09/0.19 c bounds 3118 >= 2372 @ 0.156553 0.09/0.19 c bounds 3118 >= 2374 @ 0.156637 0.09/0.19 c bounds 3118 >= 2375 @ 0.156721 0.09/0.19 c bounds 3118 >= 2376 @ 0.156807 0.09/0.19 c bounds 3118 >= 2377 @ 0.156891 0.09/0.19 c bounds 3118 >= 2378 @ 0.156975 0.09/0.19 c bounds 3118 >= 2379 @ 0.157058 0.09/0.19 c bounds 3118 >= 2380 @ 0.15714 0.09/0.19 c bounds 3118 >= 2381 @ 0.157223 0.09/0.19 c bounds 3118 >= 2382 @ 0.157305 0.09/0.19 c bounds 3118 >= 2383 @ 0.157388 0.09/0.19 c bounds 3118 >= 2384 @ 0.157471 0.09/0.19 c bounds 3118 >= 2385 @ 0.157557 0.09/0.19 c bounds 3118 >= 2386 @ 0.157641 0.09/0.19 c bounds 3118 >= 2387 @ 0.157724 0.09/0.19 c bounds 3118 >= 2388 @ 0.157808 0.09/0.19 c bounds 3118 >= 2390 @ 0.157893 0.09/0.19 c bounds 3118 >= 2391 @ 0.157976 0.09/0.19 c bounds 3118 >= 2392 @ 0.158061 0.09/0.19 c bounds 3118 >= 2393 @ 0.158146 0.09/0.19 c bounds 3118 >= 2394 @ 0.15823 0.09/0.19 c bounds 3118 >= 2395 @ 0.158315 0.09/0.19 c bounds 3118 >= 2396 @ 0.158401 0.09/0.19 c bounds 3118 >= 2397 @ 0.158486 0.09/0.19 c bounds 3118 >= 2398 @ 0.15857 0.09/0.19 c bounds 3118 >= 2399 @ 0.158653 0.09/0.19 c bounds 3118 >= 2400 @ 0.158738 0.09/0.19 c bounds 3118 >= 2401 @ 0.158823 0.09/0.19 c bounds 3118 >= 2402 @ 0.158906 0.09/0.19 c bounds 3118 >= 2403 @ 0.15899 0.09/0.19 c bounds 3118 >= 2404 @ 0.159074 0.09/0.19 c bounds 3118 >= 2405 @ 0.159157 0.09/0.19 c bounds 3118 >= 2406 @ 0.159242 0.09/0.19 c bounds 3118 >= 2407 @ 0.159325 0.09/0.19 c bounds 3118 >= 2408 @ 0.159409 0.09/0.19 c bounds 3118 >= 2409 @ 0.159491 0.09/0.19 c bounds 3118 >= 2410 @ 0.159575 0.09/0.19 c bounds 3118 >= 2411 @ 0.159658 0.09/0.19 c bounds 3118 >= 2412 @ 0.159747 0.09/0.19 c bounds 3118 >= 2413 @ 0.159837 0.09/0.19 c bounds 3118 >= 2414 @ 0.159922 0.09/0.19 c bounds 3118 >= 2415 @ 0.160004 0.09/0.19 c bounds 3118 >= 2416 @ 0.160084 0.09/0.19 c bounds 3118 >= 2417 @ 0.160167 0.09/0.19 c bounds 3118 >= 2418 @ 0.160248 0.09/0.19 c bounds 3118 >= 2419 @ 0.16033 0.09/0.19 c bounds 3118 >= 2421 @ 0.160414 0.09/0.19 c bounds 3118 >= 2422 @ 0.160497 0.09/0.19 c bounds 3117 >= 2422 @ 0.162929 0.09/0.19 c bounds 3117 >= 2423 @ 0.163024 0.09/0.19 c bounds 3117 >= 2424 @ 0.163114 0.09/0.19 c bounds 3117 >= 2425 @ 0.163201 0.09/0.19 c bounds 3117 >= 2426 @ 0.163289 0.09/0.19 c bounds 3117 >= 2427 @ 0.163377 0.09/0.19 c bounds 3117 >= 2428 @ 0.163464 0.09/0.19 c bounds 3117 >= 2429 @ 0.16355 0.09/0.19 c bounds 3117 >= 2430 @ 0.16364 0.09/0.20 c bounds 3117 >= 2431 @ 0.163721 0.09/0.20 c bounds 3117 >= 2432 @ 0.163803 0.09/0.20 c bounds 3117 >= 2433 @ 0.163888 0.09/0.20 c bounds 3117 >= 2434 @ 0.16397 0.09/0.20 c bounds 3117 >= 2435 @ 0.164052 0.09/0.20 c bounds 3117 >= 2436 @ 0.164132 0.09/0.20 c bounds 3117 >= 2437 @ 0.164212 0.09/0.20 c bounds 3117 >= 2438 @ 0.164295 0.09/0.20 c bounds 3117 >= 2439 @ 0.164378 0.09/0.20 c bounds 3117 >= 2440 @ 0.16446 0.09/0.20 c bounds 3117 >= 2441 @ 0.164541 0.09/0.20 c bounds 3117 >= 2442 @ 0.164622 0.09/0.20 c bounds 3117 >= 2443 @ 0.164671 0.09/0.20 c bounds 3117 >= 2444 @ 0.164671 0.09/0.20 c bounds 3117 >= 2445 @ 0.164671 0.09/0.20 c bounds 3117 >= 2446 @ 0.164671 0.09/0.20 c bounds 3117 >= 2447 @ 0.164671 0.09/0.20 c bounds 3117 >= 2448 @ 0.164671 0.09/0.20 c bounds 3117 >= 2449 @ 0.164671 0.09/0.20 c bounds 3117 >= 2450 @ 0.164671 0.09/0.20 c bounds 3117 >= 2451 @ 0.164671 0.09/0.20 c bounds 3117 >= 2452 @ 0.164671 0.09/0.20 c bounds 3117 >= 2453 @ 0.164671 0.09/0.20 c bounds 3117 >= 2454 @ 0.164671 0.09/0.20 c bounds 3117 >= 2455 @ 0.164708 0.09/0.20 c bounds 3117 >= 2456 @ 0.164789 0.09/0.20 c bounds 3117 >= 2457 @ 0.16487 0.09/0.20 c bounds 3117 >= 2458 @ 0.164966 0.09/0.20 c bounds 3117 >= 2459 @ 0.165045 0.09/0.20 c bounds 3117 >= 2460 @ 0.165124 0.09/0.20 c bounds 3117 >= 2461 @ 0.165203 0.09/0.20 c bounds 3117 >= 2462 @ 0.165281 0.09/0.20 c bounds 3117 >= 2463 @ 0.165359 0.09/0.20 c bounds 3117 >= 2464 @ 0.165438 0.09/0.20 c bounds 3117 >= 2465 @ 0.165515 0.09/0.20 c bounds 3117 >= 2466 @ 0.165597 0.09/0.20 c bounds 3117 >= 2467 @ 0.165698 0.09/0.20 c bounds 3117 >= 2468 @ 0.165783 0.09/0.20 c bounds 3117 >= 2469 @ 0.16587 0.09/0.20 c bounds 3117 >= 2470 @ 0.16597 0.09/0.20 c bounds 3117 >= 2471 @ 0.166054 0.09/0.20 c bounds 3117 >= 2472 @ 0.166154 0.09/0.20 c bounds 3117 >= 2473 @ 0.166242 0.09/0.20 c bounds 3117 >= 2474 @ 0.166325 0.09/0.20 c bounds 3117 >= 2475 @ 0.166421 0.09/0.20 c bounds 3117 >= 2476 @ 0.166505 0.09/0.20 c bounds 3117 >= 2477 @ 0.166588 0.09/0.20 c bounds 3117 >= 2478 @ 0.166666 0.09/0.20 c bounds 3117 >= 2479 @ 0.166666 0.09/0.20 c bounds 3117 >= 2480 @ 0.166666 0.09/0.20 c bounds 3117 >= 2481 @ 0.166666 0.09/0.20 c bounds 3117 >= 2482 @ 0.166666 0.09/0.20 c bounds 3117 >= 2483 @ 0.166666 0.09/0.20 c bounds 3117 >= 2484 @ 0.166666 0.09/0.20 c bounds 3117 >= 2485 @ 0.166666 0.09/0.20 c bounds 3117 >= 2486 @ 0.166666 0.09/0.20 c bounds 3117 >= 2487 @ 0.166666 0.09/0.20 c bounds 3117 >= 2488 @ 0.166666 0.09/0.20 c bounds 3117 >= 2489 @ 0.166666 0.09/0.20 c bounds 3117 >= 2490 @ 0.166666 0.09/0.20 c bounds 3117 >= 2491 @ 0.166666 0.09/0.20 c bounds 3117 >= 2492 @ 0.166666 0.09/0.20 c bounds 3117 >= 2493 @ 0.166666 0.09/0.20 c bounds 3117 >= 2494 @ 0.166666 0.09/0.20 c bounds 3117 >= 2495 @ 0.166666 0.09/0.20 c bounds 3117 >= 2496 @ 0.166666 0.09/0.20 c bounds 3117 >= 2497 @ 0.166666 0.09/0.20 c bounds 3117 >= 2498 @ 0.166666 0.09/0.20 c bounds 3117 >= 2499 @ 0.166666 0.09/0.20 c bounds 3117 >= 2500 @ 0.166687 0.09/0.20 c bounds 3117 >= 2501 @ 0.16677 0.09/0.20 c bounds 3117 >= 2502 @ 0.166849 0.09/0.20 c bounds 3117 >= 2503 @ 0.16693 0.09/0.20 c bounds 3117 >= 2504 @ 0.167012 0.09/0.20 c bounds 3117 >= 2505 @ 0.167101 0.09/0.20 c bounds 3117 >= 2506 @ 0.167184 0.09/0.20 c bounds 3117 >= 2507 @ 0.167269 0.09/0.20 c bounds 3117 >= 2508 @ 0.167352 0.09/0.20 c bounds 3117 >= 2509 @ 0.167433 0.09/0.20 c bounds 3117 >= 2510 @ 0.167513 0.09/0.20 c bounds 3117 >= 2511 @ 0.167593 0.09/0.20 c bounds 3117 >= 2512 @ 0.167669 0.09/0.20 c bounds 3117 >= 2513 @ 0.167773 0.09/0.20 c bounds 3117 >= 2514 @ 0.167855 0.09/0.20 c bounds 3117 >= 2515 @ 0.167936 0.09/0.20 c bounds 3117 >= 2516 @ 0.168032 0.09/0.20 c bounds 3117 >= 2517 @ 0.168112 0.09/0.20 c bounds 3117 >= 2518 @ 0.168192 0.09/0.20 c bounds 3117 >= 2519 @ 0.168273 0.09/0.20 c bounds 3117 >= 2520 @ 0.168352 0.09/0.20 c bounds 3117 >= 2521 @ 0.168432 0.09/0.20 c bounds 3117 >= 2522 @ 0.16851 0.09/0.20 c bounds 3117 >= 2523 @ 0.168588 0.09/0.20 c bounds 3117 >= 2524 @ 0.168668 0.09/0.20 c bounds 3117 >= 2525 @ 0.168746 0.09/0.20 c bounds 3117 >= 2526 @ 0.168823 0.09/0.20 c bounds 3117 >= 2527 @ 0.168902 0.09/0.20 c bounds 3117 >= 2528 @ 0.168983 0.09/0.20 c bounds 3117 >= 2529 @ 0.16906 0.09/0.20 c bounds 3117 >= 2530 @ 0.169138 0.09/0.20 c bounds 3117 >= 2531 @ 0.169216 0.09/0.20 c bounds 3117 >= 2532 @ 0.169294 0.09/0.20 c bounds 3117 >= 2533 @ 0.169371 0.09/0.20 c bounds 3117 >= 2534 @ 0.169448 0.09/0.20 c bounds 3117 >= 2535 @ 0.169525 0.09/0.20 c bounds 3117 >= 2536 @ 0.169601 0.09/0.20 c bounds 3117 >= 2537 @ 0.1697 0.09/0.20 c bounds 3117 >= 2538 @ 0.169781 0.09/0.20 c bounds 3117 >= 2539 @ 0.169861 0.09/0.20 c bounds 3117 >= 2540 @ 0.169957 0.09/0.20 c bounds 3117 >= 2541 @ 0.170033 0.09/0.20 c bounds 3117 >= 2542 @ 0.170112 0.09/0.20 c bounds 3117 >= 2543 @ 0.170189 0.09/0.20 c bounds 3117 >= 2544 @ 0.170266 0.09/0.20 c bounds 3117 >= 2545 @ 0.170344 0.09/0.20 c bounds 3117 >= 2546 @ 0.170419 0.09/0.20 c bounds 3117 >= 2547 @ 0.170515 0.09/0.20 c bounds 3117 >= 2548 @ 0.170594 0.09/0.20 c bounds 3117 >= 2549 @ 0.170676 0.09/0.20 c bounds 3117 >= 2550 @ 0.170754 0.09/0.20 c bounds 3117 >= 2551 @ 0.170834 0.09/0.20 c bounds 3117 >= 2552 @ 0.170912 0.09/0.20 c bounds 3117 >= 2553 @ 0.171002 0.09/0.20 c bounds 3117 >= 2554 @ 0.171077 0.09/0.20 c bounds 3117 >= 2555 @ 0.171157 0.19/0.21 c bounds 3117 >= 2556 @ 0.171238 0.19/0.21 c bounds 3117 >= 2557 @ 0.171316 0.19/0.21 c bounds 3117 >= 2558 @ 0.171393 0.19/0.21 c bounds 3117 >= 2559 @ 0.171471 0.19/0.21 c bounds 3117 >= 2560 @ 0.171548 0.19/0.21 c bounds 3117 >= 2562 @ 0.171665 0.19/0.21 c bounds 3117 >= 2563 @ 0.171749 0.19/0.21 c bounds 3117 >= 2564 @ 0.171833 0.19/0.21 c bounds 3117 >= 2565 @ 0.171913 0.19/0.21 c bounds 3117 >= 2566 @ 0.171991 0.19/0.21 c bounds 3117 >= 2567 @ 0.172071 0.19/0.21 c bounds 3117 >= 2568 @ 0.172149 0.19/0.21 c bounds 3117 >= 2569 @ 0.17223 0.19/0.21 c bounds 3117 >= 2570 @ 0.172309 0.19/0.21 c bounds 3117 >= 2571 @ 0.17239 0.19/0.21 c bounds 3117 >= 2572 @ 0.172469 0.19/0.21 c bounds 3117 >= 2573 @ 0.172547 0.19/0.21 c bounds 3117 >= 2574 @ 0.172627 0.19/0.21 c bounds 3117 >= 2575 @ 0.172705 0.19/0.21 c bounds 3117 >= 2576 @ 0.172782 0.19/0.21 c bounds 3117 >= 2577 @ 0.172861 0.19/0.21 c bounds 3117 >= 2578 @ 0.172943 0.19/0.21 c bounds 3117 >= 2579 @ 0.173021 0.19/0.21 c bounds 3117 >= 2580 @ 0.173101 0.19/0.21 c bounds 3117 >= 2581 @ 0.173179 0.19/0.21 c bounds 3117 >= 2582 @ 0.173256 0.19/0.21 c bounds 3117 >= 2583 @ 0.173335 0.19/0.21 c bounds 3117 >= 2584 @ 0.173415 0.19/0.21 c bounds 3117 >= 2585 @ 0.173494 0.19/0.21 c bounds 3117 >= 2586 @ 0.173572 0.19/0.21 c bounds 3117 >= 2587 @ 0.173652 0.19/0.21 c bounds 3117 >= 2588 @ 0.173731 0.19/0.21 c bounds 3117 >= 2590 @ 0.17381 0.19/0.21 c bounds 3117 >= 2591 @ 0.17389 0.19/0.21 c bounds 3117 >= 2592 @ 0.173968 0.19/0.21 c bounds 3117 >= 2594 @ 0.174047 0.19/0.21 c bounds 3117 >= 2598 @ 0.174126 0.19/0.21 c bounds 3117 >= 2599 @ 0.174208 0.19/0.21 c bounds 3117 >= 2603 @ 0.174289 0.19/0.21 c bounds 3117 >= 2608 @ 0.174373 0.19/0.21 c bounds 3117 >= 2609 @ 0.17445 0.19/0.21 c bounds 3117 >= 2611 @ 0.174528 0.19/0.21 c bounds 3117 >= 2614 @ 0.174611 0.19/0.21 c bounds 3117 >= 2615 @ 0.174689 0.19/0.21 c bounds 3117 >= 2617 @ 0.174766 0.19/0.21 c bounds 3117 >= 2620 @ 0.174845 0.19/0.21 c bounds 3117 >= 2623 @ 0.174922 0.19/0.21 c bounds 3117 >= 2624 @ 0.174998 0.19/0.21 c bounds 3117 >= 2627 @ 0.175074 0.19/0.21 c bounds 3117 >= 2628 @ 0.17515 0.19/0.21 c bounds 3117 >= 2631 @ 0.175236 0.19/0.21 c bounds 3117 >= 2632 @ 0.175311 0.19/0.21 c bounds 3117 >= 2636 @ 0.17539 0.19/0.21 c bounds 3117 >= 2637 @ 0.175464 0.19/0.21 c bounds 3117 >= 2638 @ 0.175538 0.19/0.21 c bounds 3117 >= 2639 @ 0.175627 0.19/0.21 c bounds 3117 >= 2640 @ 0.175699 0.19/0.21 c bounds 3117 >= 2641 @ 0.175771 0.19/0.21 c bounds 3117 >= 2642 @ 0.175843 0.19/0.21 c bounds 3117 >= 2645 @ 0.175917 0.19/0.21 c bounds 3117 >= 2646 @ 0.175989 0.19/0.21 c bounds 3117 >= 2647 @ 0.17606 0.19/0.21 c bounds 3117 >= 2648 @ 0.17613 0.19/0.21 c bounds 3117 >= 2649 @ 0.176201 0.19/0.21 c bounds 3117 >= 2652 @ 0.176274 0.19/0.21 c bounds 3117 >= 2656 @ 0.176364 0.19/0.21 c bounds 3117 >= 2657 @ 0.176437 0.19/0.21 c bounds 3117 >= 2658 @ 0.17651 0.19/0.21 c bounds 3117 >= 2659 @ 0.176583 0.19/0.21 c bounds 3117 >= 2660 @ 0.176669 0.19/0.21 c bounds 3117 >= 2661 @ 0.176739 0.19/0.21 c bounds 3117 >= 2662 @ 0.176808 0.19/0.21 c bounds 3117 >= 2663 @ 0.176877 0.19/0.21 c bounds 3117 >= 2664 @ 0.176947 0.19/0.21 c bounds 3117 >= 2665 @ 0.177016 0.19/0.21 c bounds 3117 >= 2666 @ 0.177085 0.19/0.21 c bounds 3117 >= 2667 @ 0.177154 0.19/0.21 c bounds 3117 >= 2668 @ 0.177223 0.19/0.21 c bounds 3117 >= 2669 @ 0.177292 0.19/0.21 c bounds 3117 >= 2670 @ 0.17733 0.19/0.21 c bounds 3117 >= 2671 @ 0.17733 0.19/0.21 c bounds 3117 >= 2672 @ 0.17733 0.19/0.21 c bounds 3117 >= 2673 @ 0.17733 0.19/0.21 c bounds 3117 >= 2674 @ 0.17733 0.19/0.21 c bounds 3117 >= 2675 @ 0.17733 0.19/0.21 c bounds 3117 >= 2676 @ 0.17733 0.19/0.21 c bounds 3117 >= 2677 @ 0.17733 0.19/0.21 c bounds 3117 >= 2678 @ 0.17733 0.19/0.21 c bounds 3117 >= 2681 @ 0.17733 0.19/0.21 c bounds 3117 >= 2682 @ 0.17733 0.19/0.21 c bounds 3117 >= 2683 @ 0.17733 0.19/0.21 c bounds 3117 >= 2684 @ 0.17733 0.19/0.21 c bounds 3117 >= 2685 @ 0.177353 0.19/0.21 c bounds 3117 >= 2686 @ 0.177436 0.19/0.21 c bounds 3117 >= 2687 @ 0.177506 0.19/0.21 c bounds 3117 >= 2688 @ 0.177575 0.19/0.21 c bounds 3117 >= 2689 @ 0.177645 0.19/0.21 c bounds 3117 >= 2690 @ 0.177728 0.19/0.21 c bounds 3117 >= 2691 @ 0.177804 0.19/0.21 c bounds 3117 >= 2692 @ 0.177872 0.19/0.21 c bounds 3117 >= 2696 @ 0.177943 0.19/0.21 c bounds 3117 >= 2697 @ 0.178011 0.19/0.21 c bounds 3117 >= 2698 @ 0.178076 0.19/0.21 c bounds 3117 >= 2699 @ 0.178143 0.19/0.21 c bounds 3117 >= 2700 @ 0.178209 0.19/0.21 c bounds 3117 >= 2701 @ 0.178275 0.19/0.21 c bounds 3117 >= 2702 @ 0.17834 0.19/0.21 c bounds 3117 >= 2703 @ 0.178371 0.19/0.21 c bounds 3117 >= 2704 @ 0.178371 0.19/0.21 c bounds 3117 >= 2705 @ 0.178371 0.19/0.21 c bounds 3117 >= 2706 @ 0.178371 0.19/0.21 c bounds 3117 >= 2707 @ 0.178371 0.19/0.21 c bounds 3117 >= 2710 @ 0.178371 0.19/0.21 c bounds 3117 >= 2711 @ 0.178371 0.19/0.21 c bounds 3117 >= 2712 @ 0.178371 0.19/0.21 c bounds 3117 >= 2713 @ 0.178371 0.19/0.21 c bounds 3117 >= 2714 @ 0.178371 0.19/0.21 c bounds 3117 >= 2715 @ 0.178371 0.19/0.21 c bounds 3117 >= 2716 @ 0.178371 0.19/0.21 c bounds 3117 >= 2717 @ 0.178371 0.19/0.21 c bounds 3117 >= 2718 @ 0.178371 0.19/0.21 c bounds 3117 >= 2719 @ 0.178408 0.19/0.21 c bounds 3117 >= 2720 @ 0.178474 0.19/0.21 c bounds 3117 >= 2721 @ 0.178542 0.19/0.22 c bounds 3117 >= 2722 @ 0.178614 0.19/0.22 c bounds 3117 >= 2724 @ 0.178698 0.19/0.22 c bounds 3117 >= 2725 @ 0.178763 0.19/0.22 c bounds 3117 >= 2726 @ 0.178828 0.19/0.22 c bounds 3117 >= 2727 @ 0.178891 0.19/0.22 c bounds 3117 >= 2728 @ 0.178955 0.19/0.22 c bounds 3117 >= 2729 @ 0.179019 0.19/0.22 c bounds 3117 >= 2730 @ 0.179092 0.19/0.22 c bounds 3117 >= 2731 @ 0.17916 0.19/0.22 c bounds 3117 >= 2732 @ 0.179226 0.19/0.22 c bounds 3117 >= 2733 @ 0.17929 0.19/0.22 c bounds 3117 >= 2736 @ 0.179356 0.19/0.22 c bounds 3117 >= 2738 @ 0.179444 0.19/0.22 c bounds 3117 >= 2739 @ 0.179513 0.19/0.22 c bounds 3117 >= 2740 @ 0.17958 0.19/0.22 c bounds 3117 >= 2741 @ 0.17966 0.19/0.22 c bounds 3117 >= 2743 @ 0.179726 0.19/0.22 c bounds 3117 >= 2744 @ 0.179791 0.19/0.22 c bounds 3117 >= 2745 @ 0.179865 0.19/0.22 c bounds 3117 >= 2746 @ 0.17994 0.19/0.22 c bounds 3117 >= 2747 @ 0.180007 0.19/0.22 c bounds 3117 >= 2748 @ 0.180073 0.19/0.22 c bounds 3117 >= 2750 @ 0.18014 0.19/0.22 c bounds 3117 >= 2751 @ 0.180211 0.19/0.22 c bounds 3117 >= 2752 @ 0.180278 0.19/0.22 c bounds 3117 >= 2753 @ 0.180342 0.19/0.22 c bounds 3117 >= 2754 @ 0.18043 0.19/0.22 c bounds 3117 >= 2755 @ 0.180498 0.19/0.22 c bounds 3117 >= 2758 @ 0.180567 0.19/0.22 c bounds 3117 >= 2760 @ 0.180635 0.19/0.22 c bounds 3117 >= 2761 @ 0.180716 0.19/0.22 c bounds 3117 >= 2762 @ 0.180781 0.19/0.22 c bounds 3117 >= 2763 @ 0.180845 0.19/0.22 c bounds 3117 >= 2764 @ 0.18091 0.19/0.22 c bounds 3117 >= 2767 @ 0.180978 0.19/0.22 c bounds 3117 >= 2768 @ 0.181048 0.19/0.22 c bounds 3117 >= 2770 @ 0.181113 0.19/0.22 c bounds 3117 >= 2773 @ 0.18118 0.19/0.22 c bounds 3117 >= 2775 @ 0.181244 0.19/0.22 c bounds 3117 >= 2776 @ 0.181309 0.19/0.22 c bounds 3117 >= 2778 @ 0.18139 0.19/0.22 c bounds 3117 >= 2779 @ 0.181457 0.19/0.22 c bounds 3117 >= 2780 @ 0.181521 0.19/0.22 c bounds 3117 >= 2781 @ 0.181586 0.19/0.22 c bounds 3117 >= 2782 @ 0.181663 0.19/0.22 c bounds 3117 >= 2783 @ 0.181726 0.19/0.22 c bounds 3117 >= 2784 @ 0.181788 0.19/0.22 c bounds 3117 >= 2785 @ 0.18185 0.19/0.22 c bounds 3117 >= 2787 @ 0.181912 0.19/0.22 c bounds 3117 >= 2788 @ 0.181974 0.19/0.22 c bounds 3117 >= 2789 @ 0.182035 0.19/0.22 c bounds 3117 >= 2790 @ 0.182102 0.19/0.22 c bounds 3117 >= 2791 @ 0.182164 0.19/0.22 c bounds 3117 >= 2795 @ 0.182228 0.19/0.22 c bounds 3117 >= 2797 @ 0.182292 0.19/0.22 c bounds 3117 >= 2798 @ 0.182348 0.19/0.22 c bounds 3117 >= 2800 @ 0.182348 0.19/0.22 c bounds 3117 >= 2801 @ 0.182348 0.19/0.22 c bounds 3117 >= 2802 @ 0.182348 0.19/0.22 c bounds 3117 >= 2803 @ 0.182348 0.19/0.22 c bounds 3117 >= 2804 @ 0.182348 0.19/0.22 c bounds 3117 >= 2805 @ 0.182348 0.19/0.22 c bounds 3117 >= 2806 @ 0.182348 0.19/0.22 c bounds 3117 >= 2807 @ 0.182348 0.19/0.22 c bounds 3117 >= 2808 @ 0.182348 0.19/0.22 c bounds 3117 >= 2809 @ 0.182348 0.19/0.22 c bounds 3117 >= 2811 @ 0.182348 0.19/0.22 c bounds 3117 >= 2812 @ 0.182348 0.19/0.22 c bounds 3117 >= 2813 @ 0.182348 0.19/0.22 c bounds 3117 >= 2814 @ 0.182348 0.19/0.22 c bounds 3117 >= 2815 @ 0.182348 0.19/0.22 c bounds 3117 >= 2816 @ 0.182416 0.19/0.22 c bounds 3117 >= 2817 @ 0.182478 0.19/0.22 c bounds 3117 >= 2818 @ 0.18254 0.19/0.22 c bounds 3117 >= 2819 @ 0.182601 0.19/0.22 c bounds 3117 >= 2820 @ 0.182678 0.19/0.22 c bounds 3117 >= 2821 @ 0.182737 0.19/0.22 c bounds 3117 >= 2822 @ 0.182796 0.19/0.22 c bounds 3117 >= 2824 @ 0.182856 0.19/0.22 c bounds 3117 >= 2825 @ 0.182916 0.19/0.22 c bounds 3117 >= 2826 @ 0.182977 0.19/0.22 c bounds 3117 >= 2827 @ 0.183035 0.19/0.22 c bounds 3117 >= 2829 @ 0.183092 0.19/0.22 c bounds 3117 >= 2830 @ 0.183151 0.19/0.22 c bounds 3117 >= 2832 @ 0.183211 0.19/0.22 c bounds 3117 >= 2833 @ 0.183269 0.19/0.22 c bounds 3117 >= 2834 @ 0.183326 0.19/0.22 c bounds 3117 >= 2835 @ 0.183352 0.19/0.22 c bounds 3117 >= 2836 @ 0.183352 0.19/0.22 c bounds 3117 >= 2837 @ 0.183352 0.19/0.22 c bounds 3117 >= 2838 @ 0.183352 0.19/0.22 c bounds 3117 >= 2839 @ 0.183352 0.19/0.22 c bounds 3117 >= 2840 @ 0.183352 0.19/0.22 c bounds 3117 >= 2842 @ 0.183352 0.19/0.22 c bounds 3117 >= 2843 @ 0.183352 0.19/0.22 c bounds 3117 >= 2844 @ 0.183352 0.19/0.22 c bounds 3117 >= 2845 @ 0.183352 0.19/0.22 c bounds 3117 >= 2846 @ 0.183352 0.19/0.22 c bounds 3117 >= 2847 @ 0.183352 0.19/0.22 c bounds 3117 >= 2850 @ 0.183352 0.19/0.22 c bounds 3117 >= 2851 @ 0.183352 0.19/0.22 c bounds 3117 >= 2852 @ 0.183352 0.19/0.22 c bounds 3117 >= 2853 @ 0.183352 0.19/0.22 c bounds 3117 >= 2854 @ 0.183352 0.19/0.22 c bounds 3117 >= 2855 @ 0.183409 0.19/0.22 c bounds 3117 >= 2856 @ 0.183472 0.19/0.22 c bounds 3117 >= 2857 @ 0.183529 0.19/0.22 c bounds 3117 >= 2858 @ 0.183587 0.19/0.22 c bounds 3117 >= 2859 @ 0.183644 0.19/0.22 c bounds 3117 >= 2861 @ 0.183704 0.19/0.22 c bounds 3117 >= 2863 @ 0.183766 0.19/0.22 c bounds 3117 >= 2865 @ 0.183849 0.19/0.22 c bounds 3117 >= 2867 @ 0.18392 0.19/0.22 c bounds 3117 >= 2870 @ 0.183991 0.19/0.22 c bounds 3117 >= 2871 @ 0.184059 0.19/0.22 c bounds 3117 >= 2872 @ 0.184131 0.19/0.22 c bounds 3117 >= 2880 @ 0.184248 0.19/0.22 c bounds 3117 >= 2882 @ 0.184306 0.19/0.22 c bounds 3117 >= 2884 @ 0.184362 0.19/0.22 c bounds 3117 >= 2885 @ 0.184423 0.19/0.22 c bounds 3117 >= 2886 @ 0.184484 0.19/0.22 c bounds 3117 >= 2887 @ 0.184546 0.19/0.22 c bounds 3117 >= 2888 @ 0.184612 0.19/0.22 c bounds 3117 >= 2889 @ 0.184684 0.19/0.22 c bounds 3117 >= 2890 @ 0.184753 0.29/0.35 c bounds 3117 >= 2891 @ 0.184817 0.29/0.35 c bounds 3117 >= 2892 @ 0.18488 0.29/0.35 c bounds 3117 >= 2893 @ 0.184944 0.29/0.35 c bounds 3117 >= 2894 @ 0.185006 0.29/0.35 c bounds 3117 >= 2895 @ 0.185077 0.29/0.35 c bounds 3117 >= 2896 @ 0.185144 0.29/0.35 c bounds 3117 >= 2897 @ 0.185219 0.29/0.35 c bounds 3117 >= 2898 @ 0.185296 0.29/0.35 c bounds 3116 >= 2898 @ 0.185915 0.29/0.35 c bounds 3116 >= 2900 @ 0.185993 0.29/0.35 c bounds 3116 >= 2902 @ 0.186057 0.29/0.35 c bounds 3116 >= 2904 @ 0.186118 0.29/0.35 c bounds 3116 >= 2905 @ 0.186185 0.29/0.35 c bounds 3116 >= 2906 @ 0.186252 0.29/0.35 c bounds 3116 >= 2907 @ 0.186324 0.29/0.35 c bounds 3116 >= 2908 @ 0.186341 0.29/0.35 c bounds 3116 >= 2909 @ 0.186341 0.29/0.35 c bounds 3116 >= 2910 @ 0.186341 0.29/0.35 c bounds 3116 >= 2911 @ 0.186341 0.29/0.35 c bounds 3116 >= 2912 @ 0.186341 0.29/0.35 c bounds 3116 >= 2913 @ 0.186341 0.29/0.35 c bounds 3116 >= 2914 @ 0.186341 0.29/0.35 c bounds 3116 >= 2915 @ 0.186341 0.29/0.35 c bounds 3116 >= 2916 @ 0.186341 0.29/0.35 c bounds 3116 >= 2917 @ 0.186341 0.29/0.35 c bounds 3116 >= 2918 @ 0.186341 0.29/0.35 c bounds 3116 >= 2919 @ 0.186341 0.29/0.35 c bounds 3116 >= 2920 @ 0.186394 0.29/0.35 c bounds 3116 >= 2921 @ 0.186844 0.29/0.35 c bounds 3116 >= 2922 @ 0.187388 0.29/0.35 c bounds 3116 >= 2923 @ 0.188107 0.29/0.35 c bounds 3116 >= 2924 @ 0.188837 0.29/0.35 c bounds 3116 >= 2925 @ 0.189329 0.29/0.35 c bounds 3116 >= 2926 @ 0.189329 0.29/0.35 c bounds 3116 >= 2927 @ 0.189329 0.29/0.35 c bounds 3116 >= 2928 @ 0.189329 0.29/0.35 c bounds 3116 >= 2929 @ 0.189329 0.29/0.35 c bounds 3116 >= 2930 @ 0.189468 0.29/0.35 c bounds 3116 >= 2931 @ 0.190281 0.29/0.35 c bounds 3116 >= 2932 @ 0.191037 0.29/0.35 c bounds 3116 >= 2933 @ 0.191807 0.29/0.35 c bounds 3116 >= 2934 @ 0.192316 0.29/0.35 c bounds 3116 >= 2935 @ 0.192316 0.29/0.35 c bounds 3116 >= 2936 @ 0.192316 0.29/0.35 c bounds 3116 >= 2937 @ 0.192316 0.29/0.35 c bounds 3116 >= 2938 @ 0.192316 0.29/0.35 c bounds 3116 >= 2939 @ 0.192316 0.29/0.35 c bounds 3116 >= 2940 @ 0.193014 0.29/0.35 c bounds 3115 >= 2940 @ 0.194306 0.29/0.35 c bounds 3115 >= 2941 @ 0.194306 0.29/0.35 c bounds 3115 >= 2942 @ 0.194306 0.29/0.35 c bounds 3115 >= 2943 @ 0.194306 0.29/0.35 c bounds 3115 >= 2944 @ 0.195049 0.29/0.35 c bounds 3115 >= 2945 @ 0.196292 0.29/0.35 c bounds 3115 >= 2946 @ 0.19744 0.29/0.35 c bounds 3115 >= 2947 @ 0.198261 0.29/0.35 c bounds 3115 >= 2948 @ 0.198918 0.29/0.35 c bounds 3115 >= 2949 @ 0.199283 0.29/0.35 c bounds 3115 >= 2950 @ 0.199283 0.29/0.35 c bounds 3115 >= 2951 @ 0.199283 0.29/0.35 c bounds 3115 >= 2952 @ 0.200056 0.29/0.35 c bounds 3115 >= 2953 @ 0.200321 0.29/0.35 c bounds 3115 >= 2954 @ 0.201183 0.29/0.35 c bounds 3115 >= 2955 @ 0.201274 0.29/0.35 c bounds 3114 >= 2955 @ 0.204263 0.29/0.35 c bounds 3114 >= 2956 @ 0.204263 0.29/0.35 c bounds 3114 >= 2957 @ 0.204543 0.29/0.35 c bounds 3114 >= 2958 @ 0.205245 0.29/0.35 c bounds 3114 >= 2959 @ 0.205245 0.29/0.35 c bounds 3114 >= 2960 @ 0.205245 0.29/0.35 c bounds 3114 >= 2961 @ 0.205245 0.29/0.35 c bounds 3114 >= 2962 @ 0.205245 0.29/0.35 c bounds 3114 >= 2963 @ 0.205245 0.29/0.35 c bounds 3114 >= 2964 @ 0.205245 0.29/0.35 c bounds 3114 >= 2965 @ 0.206034 0.29/0.35 c bounds 3114 >= 2966 @ 0.206661 0.29/0.35 c bounds 3114 >= 2967 @ 0.208044 0.29/0.35 c bounds 3114 >= 2968 @ 0.208669 0.29/0.35 c bounds 3114 >= 2969 @ 0.209584 0.29/0.35 c bounds 3114 >= 2970 @ 0.210205 0.29/0.35 c bounds 3114 >= 2971 @ 0.210226 0.29/0.35 c bounds 3114 >= 2972 @ 0.210761 0.29/0.35 c bounds 3114 >= 2973 @ 0.21121 0.29/0.35 c bounds 3114 >= 2974 @ 0.211285 0.29/0.35 c bounds 3114 >= 2975 @ 0.212254 0.29/0.35 c bounds 3114 >= 2976 @ 0.213137 0.29/0.35 c bounds 3114 >= 2977 @ 0.213813 0.29/0.35 c bounds 3114 >= 2978 @ 0.214214 0.29/0.35 c bounds 3114 >= 2979 @ 0.214214 0.29/0.35 c bounds 3114 >= 2980 @ 0.214214 0.29/0.35 c bounds 3107 >= 2980 @ 0.215706 0.29/0.35 c bounds 3107 >= 2981 @ 0.216265 0.29/0.35 c bounds 3107 >= 2982 @ 0.21736 0.29/0.35 c bounds 3107 >= 2983 @ 0.218327 0.29/0.35 c bounds 3107 >= 2984 @ 0.219221 0.29/0.35 c bounds 3107 >= 2985 @ 0.220638 0.29/0.35 c bounds 3107 >= 2986 @ 0.22221 0.29/0.35 c bounds 3107 >= 2987 @ 0.227412 0.29/0.35 c bounds 3105 >= 2987 @ 0.228647 0.29/0.35 c bounds 3105 >= 2988 @ 0.233 0.29/0.35 c bounds 3104 >= 2988 @ 0.235261 0.29/0.35 c bounds 3103 >= 2988 @ 0.236186 0.29/0.35 c bounds 3103 >= 2989 @ 0.246117 0.29/0.35 c bounds 3102 >= 2989 @ 0.24701 0.29/0.35 c bounds 3101 >= 2989 @ 0.248809 0.29/0.35 c bounds 3100 >= 2989 @ 0.250597 0.29/0.35 c bounds 3099 >= 2989 @ 0.251987 0.29/0.35 c bounds 3099 >= 2990 @ 0.252096 0.29/0.35 c bounds 3099 >= 2991 @ 0.252096 0.29/0.35 c bounds 3099 >= 2992 @ 0.252096 0.29/0.35 c bounds 3099 >= 2993 @ 0.252096 0.29/0.35 c bounds 3099 >= 2994 @ 0.252096 0.29/0.35 c bounds 3099 >= 2995 @ 0.252096 0.29/0.35 c bounds 3099 >= 2996 @ 0.252096 0.29/0.35 c bounds 3099 >= 2997 @ 0.252096 0.29/0.35 c bounds 3099 >= 2998 @ 0.252623 0.29/0.35 c bounds 3099 >= 2999 @ 0.25309 0.29/0.35 c bounds 3099 >= 3000 @ 0.25309 0.29/0.35 c bounds 3099 >= 3001 @ 0.25309 0.29/0.35 c bounds 3099 >= 3002 @ 0.253191 0.29/0.35 c bounds 3099 >= 3003 @ 0.253867 0.29/0.35 c bounds 3099 >= 3004 @ 0.254087 0.29/0.35 c bounds 3099 >= 3005 @ 0.254529 0.29/0.35 c bounds 3098 >= 3005 @ 0.257596 0.59/0.60 c bounds 3098 >= 3006 @ 0.258077 0.59/0.60 c bounds 3098 >= 3007 @ 0.258077 0.59/0.60 c bounds 3098 >= 3008 @ 0.258177 0.59/0.60 c bounds 3098 >= 3009 @ 0.258674 0.59/0.60 c bounds 3098 >= 3010 @ 0.259075 0.59/0.60 c bounds 3098 >= 3011 @ 0.259075 0.59/0.60 c bounds 3098 >= 3012 @ 0.259075 0.59/0.60 c bounds 3098 >= 3013 @ 0.259075 0.59/0.60 c bounds 3098 >= 3014 @ 0.259075 0.59/0.60 c bounds 3098 >= 3015 @ 0.259075 0.59/0.60 c bounds 3098 >= 3016 @ 0.259276 0.59/0.60 c bounds 3098 >= 3017 @ 0.259954 0.59/0.60 c bounds 3098 >= 3018 @ 0.260069 0.59/0.60 c bounds 3098 >= 3019 @ 0.260121 0.59/0.60 c #Conflicts: 1000 | #Constraints: 6412 0.59/0.60 c bounds 3098 >= 3020 @ 0.274038 0.59/0.60 c bounds 3097 >= 3020 @ 0.275609 0.59/0.60 c bounds 3096 >= 3020 @ 0.276642 0.59/0.60 c bounds 3095 >= 3020 @ 0.278548 0.59/0.60 c bounds 3094 >= 3020 @ 0.279022 0.59/0.60 c bounds 3094 >= 3021 @ 0.319315 0.59/0.60 c bounds 3093 >= 3021 @ 0.32088 0.59/0.60 c bounds 3092 >= 3021 @ 0.323164 0.59/0.60 c bounds 3091 >= 3021 @ 0.32511 0.59/0.60 c bounds 3090 >= 3021 @ 0.325906 0.59/0.60 c bounds 3089 >= 3021 @ 0.329497 0.59/0.60 c bounds 3088 >= 3021 @ 0.330501 0.59/0.60 c bounds 3087 >= 3021 @ 0.332315 0.59/0.60 c bounds 3086 >= 3021 @ 0.334139 0.59/0.60 c bounds 3085 >= 3021 @ 0.336821 0.59/0.60 c bounds 3084 >= 3021 @ 0.342735 0.59/0.60 c bounds 3083 >= 3021 @ 0.346862 0.59/0.60 c bounds 3082 >= 3021 @ 0.354378 0.59/0.60 c bounds 3082 >= 3022 @ 0.355093 0.59/0.60 c bounds 3082 >= 3023 @ 0.355826 0.59/0.60 c #Conflicts: 2000 | #Constraints: 7455 0.59/0.60 c INPROCESSING 0.59/0.60 c GARBAGE COLLECT 0.59/0.60 c rational objective 2021.83 0.99/1.03 c bounds 3081 >= 3023 @ 0.46919 0.99/1.03 c bounds 3080 >= 3023 @ 0.475476 0.99/1.03 c bounds 3079 >= 3023 @ 0.479669 0.99/1.03 c bounds 3078 >= 3023 @ 0.485646 0.99/1.03 c bounds 3077 >= 3023 @ 0.516816 0.99/1.03 c bounds 3077 >= 3024 @ 0.542355 0.99/1.03 c #Conflicts: 3000 | #Constraints: 6624 0.99/1.03 c #Conflicts: 4000 | #Constraints: 7624 0.99/1.03 c bounds 3077 >= 3025 @ 0.699598 0.99/1.03 c bounds 3076 >= 3025 @ 0.702913 0.99/1.03 c bounds 3075 >= 3025 @ 0.705286 0.99/1.03 c bounds 3074 >= 3025 @ 0.708168 0.99/1.03 c bounds 3073 >= 3025 @ 0.728862 0.99/1.03 c INPROCESSING 0.99/1.03 c GARBAGE COLLECT 0.99/1.03 c rational objective 2521.83 1.38/1.43 c bounds 3072 >= 3025 @ 0.873826 1.38/1.43 c #Conflicts: 5000 | #Constraints: 7038 1.38/1.43 c #Conflicts: 6000 | #Constraints: 8038 1.38/1.43 c INPROCESSING 1.38/1.43 c GARBAGE COLLECT 1.38/1.43 c rational objective 2521.83 2.08/2.10 c bounds 3071 >= 3025 @ 1.23345 2.08/2.10 c bounds 3070 >= 3025 @ 1.23597 2.08/2.10 c bounds 3069 >= 3025 @ 1.38903 2.08/2.10 c bounds 3068 >= 3025 @ 1.425 2.08/2.10 c #Conflicts: 7000 | #Constraints: 7064 2.08/2.10 c bounds 3068 >= 3026 @ 1.54794 2.08/2.10 c bounds 3067 >= 3026 @ 1.55419 2.08/2.10 c bounds 3066 >= 3026 @ 1.57153 2.08/2.10 c #Conflicts: 8000 | #Constraints: 8077 2.08/2.10 c #Conflicts: 9000 | #Constraints: 9077 2.08/2.10 c INPROCESSING 2.08/2.10 c GARBAGE COLLECT 2.08/2.10 c rational objective 2521.83 2.68/2.75 c bounds 3065 >= 3026 @ 1.85594 2.68/2.75 c bounds 3064 >= 3026 @ 1.92565 2.68/2.75 c bounds 3063 >= 3026 @ 1.94138 2.68/2.75 c bounds 3062 >= 3026 @ 1.97399 2.68/2.75 c bounds 3061 >= 3026 @ 2.03189 2.68/2.75 c #Conflicts: 10000 | #Constraints: 7791 2.68/2.75 c #Conflicts: 11000 | #Constraints: 8791 2.68/2.75 c #Conflicts: 12000 | #Constraints: 9791 2.68/2.75 c INPROCESSING 2.68/2.75 c GARBAGE COLLECT 2.68/2.75 c rational objective 2521.83 3.37/3.45 c bounds 3060 >= 3026 @ 2.45007 3.37/3.45 c bounds 3059 >= 3026 @ 2.45268 3.37/3.45 c bounds 3058 >= 3026 @ 2.48296 3.37/3.45 c bounds 3057 >= 3026 @ 2.56134 3.37/3.45 c bounds 3056 >= 3026 @ 2.57593 3.37/3.45 c bounds 3055 >= 3026 @ 2.63412 3.37/3.45 c #Conflicts: 13000 | #Constraints: 8250 3.37/3.45 c #Conflicts: 14000 | #Constraints: 9250 3.37/3.45 c #Conflicts: 15000 | #Constraints: 10250 3.37/3.45 c INPROCESSING 3.37/3.45 c GARBAGE COLLECT 3.37/3.45 c rational objective 2521.83 4.67/4.74 c bounds 3054 >= 3026 @ 3.09032 4.67/4.74 c bounds 3053 >= 3026 @ 3.12565 4.67/4.74 c bounds 3052 >= 3026 @ 3.13678 4.67/4.74 c bounds 3051 >= 3026 @ 3.16452 4.67/4.74 c bounds 3050 >= 3026 @ 3.37093 4.67/4.74 c #Conflicts: 16000 | #Constraints: 8478 4.67/4.74 c #Conflicts: 17000 | #Constraints: 9478 4.67/4.74 c bounds 3050 >= 3027 @ 3.85328 4.67/4.74 c bounds 3049 >= 3027 @ 3.86048 4.67/4.74 c bounds 3048 >= 3027 @ 3.87585 4.67/4.74 c bounds 3047 >= 3027 @ 3.88285 4.67/4.74 c #Conflicts: 18000 | #Constraints: 10501 4.67/4.74 c INPROCESSING 4.67/4.74 c GARBAGE COLLECT 4.67/4.74 c rational objective 2521.83 6.27/6.31 c #Conflicts: 19000 | #Constraints: 8481 6.27/6.31 c #Conflicts: 20000 | #Constraints: 9481 6.27/6.31 c #Conflicts: 21000 | #Constraints: 10481 6.27/6.31 c INPROCESSING 6.27/6.31 c GARBAGE COLLECT 6.27/6.31 c rational objective 2521.83 8.56/8.66 c bounds 3046 >= 3027 @ 5.79222 8.56/8.66 c bounds 3045 >= 3027 @ 5.8116 8.56/8.66 c bounds 3044 >= 3027 @ 5.8235 8.56/8.66 c bounds 3043 >= 3027 @ 5.83044 8.56/8.66 c bounds 3042 >= 3027 @ 5.88106 8.56/8.66 c #Conflicts: 22000 | #Constraints: 8323 8.56/8.66 c bounds 3041 >= 3027 @ 7.31084 8.56/8.66 c #Conflicts: 23000 | #Constraints: 9328 8.56/8.66 c #Conflicts: 24000 | #Constraints: 10328 8.56/8.66 c #Conflicts: 25000 | #Constraints: 11328 8.56/8.66 c INPROCESSING 8.56/8.66 c GARBAGE COLLECT 8.56/8.66 c rational objective 2521.83 10.15/10.22 c #Conflicts: 26000 | #Constraints: 8941 10.15/10.22 c #Conflicts: 27000 | #Constraints: 9941 10.15/10.22 c #Conflicts: 28000 | #Constraints: 10941 10.15/10.22 c #Conflicts: 29000 | #Constraints: 11941 10.15/10.22 c INPROCESSING 10.15/10.22 c GARBAGE COLLECT 10.15/10.22 c rational objective 2521.83 12.42/12.51 c bounds 3040 >= 3027 @ 9.64856 12.42/12.51 c bounds 3039 >= 3027 @ 9.843 12.42/12.51 c #Conflicts: 30000 | #Constraints: 9363 12.42/12.51 c #Conflicts: 31000 | #Constraints: 10363 12.42/12.51 c #Conflicts: 32000 | #Constraints: 11363 12.42/12.51 c #Conflicts: 33000 | #Constraints: 12363 12.42/12.51 c INPROCESSING 12.42/12.51 c GARBAGE COLLECT 12.42/12.51 c rational objective 2521.83 15.41/15.56 c bounds 3038 >= 3027 @ 11.999 15.41/15.56 c #Conflicts: 34000 | #Constraints: 9553 15.41/15.56 c bounds 3037 >= 3027 @ 13.9213 15.41/15.56 c #Conflicts: 35000 | #Constraints: 10554 15.41/15.56 c #Conflicts: 36000 | #Constraints: 11554 15.41/15.56 c #Conflicts: 37000 | #Constraints: 12554 15.41/15.56 c INPROCESSING 15.41/15.56 c GARBAGE COLLECT 15.41/15.56 c rational objective 2521.83 17.11/17.26 c #Conflicts: 38000 | #Constraints: 9539 17.11/17.26 c #Conflicts: 39000 | #Constraints: 10539 17.11/17.26 c #Conflicts: 40000 | #Constraints: 11539 17.11/17.26 c #Conflicts: 41000 | #Constraints: 12539 17.11/17.26 c INPROCESSING 17.11/17.26 c GARBAGE COLLECT 17.11/17.26 c rational objective 2521.83 19.19/19.35 c #Conflicts: 42000 | #Constraints: 9339 19.19/19.35 c #Conflicts: 43000 | #Constraints: 10339 19.19/19.35 c #Conflicts: 44000 | #Constraints: 11339 19.19/19.35 c #Conflicts: 45000 | #Constraints: 12339 19.19/19.35 c #Conflicts: 46000 | #Constraints: 13339 19.19/19.35 c INPROCESSING 19.19/19.35 c GARBAGE COLLECT 19.19/19.35 c rational objective 2521.83 21.58/21.74 c #Conflicts: 47000 | #Constraints: 9928 21.58/21.74 c #Conflicts: 48000 | #Constraints: 10928 21.58/21.74 c #Conflicts: 49000 | #Constraints: 11928 21.58/21.74 c #Conflicts: 50000 | #Constraints: 12928 21.58/21.74 c #Conflicts: 51000 | #Constraints: 13928 21.58/21.74 c INPROCESSING 21.58/21.74 c GARBAGE COLLECT 21.58/21.74 c rational objective 2521.83 25.47/25.63 c #Conflicts: 52000 | #Constraints: 10335 25.47/25.63 c bounds 3036 >= 3027 @ 23.5269 25.47/25.63 c #Conflicts: 53000 | #Constraints: 11336 25.47/25.63 c #Conflicts: 54000 | #Constraints: 12336 25.47/25.63 c #Conflicts: 55000 | #Constraints: 13336 25.47/25.63 c #Conflicts: 56000 | #Constraints: 14336 25.47/25.63 c INPROCESSING 25.47/25.63 c GARBAGE COLLECT 25.47/25.63 c rational objective 2521.83 27.67/27.86 c #Conflicts: 57000 | #Constraints: 10539 27.67/27.86 c #Conflicts: 58000 | #Constraints: 11539 27.67/27.86 c #Conflicts: 59000 | #Constraints: 12539 27.67/27.86 c #Conflicts: 60000 | #Constraints: 13539 27.67/27.86 c #Conflicts: 61000 | #Constraints: 14539 27.67/27.86 c INPROCESSING 27.67/27.86 c GARBAGE COLLECT 27.67/27.86 c rational objective 2521.83 30.76/30.90 c #Conflicts: 62000 | #Constraints: 10544 30.76/30.90 c #Conflicts: 63000 | #Constraints: 11544 30.76/30.90 c #Conflicts: 64000 | #Constraints: 12544 30.76/30.90 c #Conflicts: 65000 | #Constraints: 13544 30.76/30.90 c #Conflicts: 66000 | #Constraints: 14544 30.76/30.90 c INPROCESSING 30.76/30.90 c GARBAGE COLLECT 30.76/30.90 c rational objective 2521.83 33.66/33.86 c #Conflicts: 67000 | #Constraints: 10340 33.66/33.86 c #Conflicts: 68000 | #Constraints: 11340 33.66/33.86 c #Conflicts: 69000 | #Constraints: 12340 33.66/33.86 c #Conflicts: 70000 | #Constraints: 13340 33.66/33.86 c #Conflicts: 71000 | #Constraints: 14340 33.66/33.86 c #Conflicts: 72000 | #Constraints: 15340 33.66/33.86 c INPROCESSING 33.66/33.86 c GARBAGE COLLECT 33.66/33.86 c rational objective 2521.83 36.64/36.83 c bounds 3035 >= 3027 @ 33.0157 36.64/36.83 c #Conflicts: 73000 | #Constraints: 10938 36.64/36.83 c #Conflicts: 74000 | #Constraints: 11938 36.64/36.83 c #Conflicts: 75000 | #Constraints: 12938 36.64/36.83 c #Conflicts: 76000 | #Constraints: 13938 36.64/36.83 c #Conflicts: 77000 | #Constraints: 14938 36.64/36.83 c #Conflicts: 78000 | #Constraints: 15938 36.64/36.83 c INPROCESSING 36.64/36.83 c GARBAGE COLLECT 36.64/36.83 c rational objective 2521.83 39.22/39.45 c #Conflicts: 79000 | #Constraints: 11357 39.22/39.45 c bounds 3034 >= 3027 @ 35.9555 39.22/39.45 c #Conflicts: 80000 | #Constraints: 12360 39.22/39.45 c #Conflicts: 81000 | #Constraints: 13360 39.22/39.45 c #Conflicts: 82000 | #Constraints: 14360 39.22/39.45 c #Conflicts: 83000 | #Constraints: 15360 39.22/39.45 c #Conflicts: 84000 | #Constraints: 16360 39.22/39.45 c INPROCESSING 39.22/39.45 c GARBAGE COLLECT 39.22/39.45 c rational objective 2521.83 56.31/56.66 c #Conflicts: 85000 | #Constraints: 11553 56.31/56.66 c #Conflicts: 86000 | #Constraints: 12553 56.31/56.66 c #Conflicts: 87000 | #Constraints: 13553 56.31/56.66 c #Conflicts: 88000 | #Constraints: 14577 56.31/56.66 c bounds 3033 >= 3027 @ 53.9401 56.31/56.66 c #Conflicts: 89000 | #Constraints: 15602 56.31/56.66 c #Conflicts: 90000 | #Constraints: 16602 56.31/56.66 c INPROCESSING 56.31/56.66 c GARBAGE COLLECT 56.31/56.66 c rational objective 2521.83 60.39/60.77 c #Conflicts: 91000 | #Constraints: 11588 60.39/60.77 c #Conflicts: 92000 | #Constraints: 12588 60.39/60.77 c #Conflicts: 93000 | #Constraints: 13588 60.39/60.77 c #Conflicts: 94000 | #Constraints: 14588 60.39/60.77 c #Conflicts: 95000 | #Constraints: 15588 60.39/60.77 c bounds 3033 >= 3028 @ 57.4077 60.39/60.77 c #Conflicts: 96000 | #Constraints: 16599 60.39/60.77 c INPROCESSING 60.39/60.77 c GARBAGE COLLECT 60.39/60.77 c rational objective 2521.83 63.98/64.35 c #Conflicts: 97000 | #Constraints: 11383 63.98/64.35 c #Conflicts: 98000 | #Constraints: 12383 63.98/64.35 c #Conflicts: 99000 | #Constraints: 13383 63.98/64.35 c #Conflicts: 100000 | #Constraints: 14383 63.98/64.35 c #Conflicts: 101000 | #Constraints: 15383 63.98/64.35 c #Conflicts: 102000 | #Constraints: 16383 63.98/64.35 c #Conflicts: 103000 | #Constraints: 17384 63.98/64.35 c INPROCESSING 63.98/64.35 c GARBAGE COLLECT 63.98/64.35 c rational objective 2521.83 130.03/130.61 c #Conflicts: 104000 | #Constraints: 11989 130.03/130.61 c #Conflicts: 105000 | #Constraints: 12989 130.03/130.61 c #Conflicts: 106000 | #Constraints: 13991 130.03/130.61 c #Conflicts: 107000 | #Constraints: 14992 130.03/130.61 c #Conflicts: 108000 | #Constraints: 15994 130.03/130.61 c #Conflicts: 109000 | #Constraints: 16998 130.03/130.61 c #Conflicts: 110000 | #Constraints: 17998 130.03/130.61 c INPROCESSING 130.03/130.61 c GARBAGE COLLECT 130.03/130.61 c rational objective 2522 219.12/220.06 c bounds 3032 >= 3028 @ 127.584 219.12/220.06 c #Conflicts: 111000 | #Constraints: 12408 219.12/220.06 c #Conflicts: 112000 | #Constraints: 13408 219.12/220.06 c #Conflicts: 113000 | #Constraints: 14409 219.12/220.06 c #Conflicts: 114000 | #Constraints: 15409 219.12/220.06 c #Conflicts: 115000 | #Constraints: 16409 219.12/220.06 c #Conflicts: 116000 | #Constraints: 17413 219.12/220.06 c #Conflicts: 117000 | #Constraints: 18430 219.12/220.06 c INPROCESSING 219.12/220.06 c GARBAGE COLLECT 219.12/220.06 c rational objective 2522 252.01/253.00 c #Conflicts: 118000 | #Constraints: 12583 252.01/253.00 c #Conflicts: 119000 | #Constraints: 13583 252.01/253.00 c #Conflicts: 120000 | #Constraints: 14584 252.01/253.00 c #Conflicts: 121000 | #Constraints: 15584 252.01/253.00 c #Conflicts: 122000 | #Constraints: 16588 252.01/253.00 c #Conflicts: 123000 | #Constraints: 17588 252.01/253.00 c #Conflicts: 124000 | #Constraints: 18589 252.01/253.00 c INPROCESSING 252.01/253.00 c GARBAGE COLLECT 252.01/253.00 c rational objective 2522 268.96/270.02 c #Conflicts: 125000 | #Constraints: 12602 268.96/270.02 c #Conflicts: 126000 | #Constraints: 13603 268.96/270.02 c #Conflicts: 127000 | #Constraints: 14603 268.96/270.02 c #Conflicts: 128000 | #Constraints: 15603 268.96/270.02 c #Conflicts: 129000 | #Constraints: 16610 268.96/270.02 c #Conflicts: 130000 | #Constraints: 17615 268.96/270.02 c #Conflicts: 131000 | #Constraints: 18618 268.96/270.02 c INPROCESSING 268.96/270.02 c GARBAGE COLLECT 268.96/270.02 c rational objective 2522 301.38/302.53 c #Conflicts: 132000 | #Constraints: 12423 301.38/302.53 c bounds 3031 >= 3028 @ 264.227 301.38/302.53 c #Conflicts: 133000 | #Constraints: 13425 301.38/302.53 c #Conflicts: 134000 | #Constraints: 14440 301.38/302.53 c #Conflicts: 135000 | #Constraints: 15442 301.38/302.53 c #Conflicts: 136000 | #Constraints: 16455 301.38/302.53 c #Conflicts: 137000 | #Constraints: 17467 301.38/302.53 c #Conflicts: 138000 | #Constraints: 18491 301.38/302.53 c #Conflicts: 139000 | #Constraints: 19511 301.38/302.53 c INPROCESSING 301.38/302.53 c GARBAGE COLLECT 301.38/302.53 c rational objective 3022 304.46/305.68 c #Conflicts: 140000 | #Constraints: 13036 304.46/305.68 c #Conflicts: 141000 | #Constraints: 14040 304.46/305.68 c #Conflicts: 142000 | #Constraints: 15041 304.46/305.68 c #Conflicts: 143000 | #Constraints: 16048 304.46/305.68 c #Conflicts: 144000 | #Constraints: 17050 304.46/305.68 c #Conflicts: 145000 | #Constraints: 18053 304.46/305.68 c #Conflicts: 146000 | #Constraints: 19056 304.46/305.68 c #Conflicts: 147000 | #Constraints: 20058 304.46/305.68 c INPROCESSING 304.46/305.68 c GARBAGE COLLECT 304.46/305.68 c rational objective 3023 311.35/312.57 c #Conflicts: 148000 | #Constraints: 13459 311.35/312.57 c #Conflicts: 149000 | #Constraints: 14463 311.35/312.57 c #Conflicts: 150000 | #Constraints: 15466 311.35/312.57 c #Conflicts: 151000 | #Constraints: 16468 311.35/312.57 c #Conflicts: 152000 | #Constraints: 17478 311.35/312.57 c #Conflicts: 153000 | #Constraints: 18478 311.35/312.57 c #Conflicts: 154000 | #Constraints: 19481 311.35/312.57 c #Conflicts: 155000 | #Constraints: 20488 311.35/312.57 c INPROCESSING 311.35/312.57 c GARBAGE COLLECT 311.35/312.57 c rational objective 3023 315.64/316.90 c #Conflicts: 156000 | #Constraints: 13693 315.64/316.90 c #Conflicts: 157000 | #Constraints: 14704 315.64/316.90 c #Conflicts: 158000 | #Constraints: 15705 315.64/316.90 c #Conflicts: 159000 | #Constraints: 16707 315.64/316.90 c #Conflicts: 160000 | #Constraints: 17709 315.64/316.90 c #Conflicts: 161000 | #Constraints: 18709 315.64/316.90 c #Conflicts: 162000 | #Constraints: 19710 315.64/316.90 c #Conflicts: 163000 | #Constraints: 20713 315.64/316.90 c INPROCESSING 315.64/316.90 c GARBAGE COLLECT 315.64/316.90 c rational objective 3023 349.26/350.51 c #Conflicts: 164000 | #Constraints: 13709 349.26/350.51 c #Conflicts: 165000 | #Constraints: 14710 349.26/350.51 c #Conflicts: 166000 | #Constraints: 15714 349.26/350.51 c #Conflicts: 167000 | #Constraints: 16715 349.26/350.51 c #Conflicts: 168000 | #Constraints: 17735 349.26/350.51 c #Conflicts: 169000 | #Constraints: 18753 349.26/350.51 c #Conflicts: 170000 | #Constraints: 19772 349.26/350.51 c #Conflicts: 171000 | #Constraints: 20778 349.26/350.51 c INPROCESSING 349.26/350.51 c GARBAGE COLLECT 349.26/350.51 c rational objective 3023 379.31/380.61 c #Conflicts: 172000 | #Constraints: 13482 379.31/380.61 c #Conflicts: 173000 | #Constraints: 14482 379.31/380.61 c #Conflicts: 174000 | #Constraints: 15485 379.31/380.61 c #Conflicts: 175000 | #Constraints: 16490 379.31/380.61 c #Conflicts: 176000 | #Constraints: 17492 379.31/380.61 c #Conflicts: 177000 | #Constraints: 18498 379.31/380.61 c #Conflicts: 178000 | #Constraints: 19499 379.31/380.61 c #Conflicts: 179000 | #Constraints: 20500 379.31/380.61 c #Conflicts: 180000 | #Constraints: 21500 379.31/380.61 c INPROCESSING 379.31/380.61 c GARBAGE COLLECT 379.31/380.61 c rational objective 3024 412.43/413.84 c #Conflicts: 181000 | #Constraints: 14096 412.43/413.84 c #Conflicts: 182000 | #Constraints: 15100 412.43/413.84 c #Conflicts: 183000 | #Constraints: 16108 412.43/413.84 c #Conflicts: 184000 | #Constraints: 17118 412.43/413.84 c #Conflicts: 185000 | #Constraints: 18128 412.43/413.84 c #Conflicts: 186000 | #Constraints: 19132 412.43/413.84 c #Conflicts: 187000 | #Constraints: 20136 412.43/413.84 c #Conflicts: 188000 | #Constraints: 21137 412.43/413.84 c #Conflicts: 189000 | #Constraints: 22140 412.43/413.84 c INPROCESSING 412.43/413.84 c GARBAGE COLLECT 412.43/413.84 c rational objective 3025 442.26/443.73 c #Conflicts: 190000 | #Constraints: 14512 442.26/443.73 c #Conflicts: 191000 | #Constraints: 15525 442.26/443.73 c #Conflicts: 192000 | #Constraints: 16532 442.26/443.73 c #Conflicts: 193000 | #Constraints: 17544 442.26/443.73 c #Conflicts: 194000 | #Constraints: 18558 442.26/443.73 c #Conflicts: 195000 | #Constraints: 19572 442.26/443.73 c #Conflicts: 196000 | #Constraints: 20582 442.26/443.73 c #Conflicts: 197000 | #Constraints: 21600 442.26/443.73 c #Conflicts: 198000 | #Constraints: 22618 442.26/443.73 c INPROCESSING 442.26/443.73 c GARBAGE COLLECT 442.26/443.73 c rational objective 3025 520.00/521.69 c #Conflicts: 199000 | #Constraints: 14706 520.00/521.69 c #Conflicts: 200000 | #Constraints: 15706 520.00/521.69 c #Conflicts: 201000 | #Constraints: 16713 520.00/521.69 c #Conflicts: 202000 | #Constraints: 17714 520.00/521.69 c #Conflicts: 203000 | #Constraints: 18715 520.00/521.69 c #Conflicts: 204000 | #Constraints: 19717 520.00/521.69 c #Conflicts: 205000 | #Constraints: 20729 520.00/521.69 c #Conflicts: 206000 | #Constraints: 21733 520.00/521.69 c #Conflicts: 207000 | #Constraints: 22742 520.00/521.69 c INPROCESSING 520.00/521.69 c GARBAGE COLLECT 520.00/521.69 c rational objective 3025.5 526.89/528.54 c #Conflicts: 208000 | #Constraints: 14737 526.89/528.54 c #Conflicts: 209000 | #Constraints: 15748 526.89/528.54 c #Conflicts: 210000 | #Constraints: 16764 526.89/528.54 c #Conflicts: 211000 | #Constraints: 17781 526.89/528.54 c #Conflicts: 212000 | #Constraints: 18787 526.89/528.54 c #Conflicts: 213000 | #Constraints: 19787 526.89/528.54 c #Conflicts: 214000 | #Constraints: 20788 526.89/528.54 c #Conflicts: 215000 | #Constraints: 21794 526.89/528.54 c #Conflicts: 216000 | #Constraints: 22805 526.89/528.54 c INPROCESSING 526.89/528.54 c GARBAGE COLLECT 526.89/528.54 c rational objective 3025.5 529.48/531.10 c #Conflicts: 217000 | #Constraints: 14502 529.48/531.10 c #Conflicts: 218000 | #Constraints: 15502 529.48/531.10 c #Conflicts: 219000 | #Constraints: 16502 529.48/531.10 c #Conflicts: 220000 | #Constraints: 17503 529.48/531.10 c #Conflicts: 221000 | #Constraints: 18504 529.48/531.10 c #Conflicts: 222000 | #Constraints: 19504 529.48/531.10 c #Conflicts: 223000 | #Constraints: 20504 529.48/531.10 c #Conflicts: 224000 | #Constraints: 21504 529.48/531.10 c #Conflicts: 225000 | #Constraints: 22504 529.48/531.10 c #Conflicts: 226000 | #Constraints: 23504 529.48/531.10 c INPROCESSING 529.48/531.10 c GARBAGE COLLECT 529.48/531.10 c rational objective 3025.5 534.07/535.76 c #Conflicts: 227000 | #Constraints: 15050 534.07/535.76 c #Conflicts: 228000 | #Constraints: 16055 534.07/535.76 c #Conflicts: 229000 | #Constraints: 17068 534.07/535.76 c #Conflicts: 230000 | #Constraints: 18081 534.07/535.76 c #Conflicts: 231000 | #Constraints: 19094 534.07/535.76 c #Conflicts: 232000 | #Constraints: 20104 534.07/535.76 c #Conflicts: 233000 | #Constraints: 21129 534.07/535.76 c #Conflicts: 234000 | #Constraints: 22145 534.07/535.76 c #Conflicts: 235000 | #Constraints: 23147 534.07/535.76 c #Conflicts: 236000 | #Constraints: 24157 534.07/535.76 c INPROCESSING 534.07/535.76 c GARBAGE COLLECT 534.07/535.76 c rational objective 3025.5 537.76/539.42 c #Conflicts: 237000 | #Constraints: 15478 537.76/539.42 c #Conflicts: 238000 | #Constraints: 16483 537.76/539.42 c #Conflicts: 239000 | #Constraints: 17490 537.76/539.42 c #Conflicts: 240000 | #Constraints: 18501 537.76/539.42 c #Conflicts: 241000 | #Constraints: 19506 537.76/539.42 c #Conflicts: 242000 | #Constraints: 20514 537.76/539.42 c #Conflicts: 243000 | #Constraints: 21526 537.76/539.42 c #Conflicts: 244000 | #Constraints: 22527 537.76/539.42 c #Conflicts: 245000 | #Constraints: 23539 537.76/539.42 c #Conflicts: 246000 | #Constraints: 24541 537.76/539.42 c INPROCESSING 537.76/539.42 c GARBAGE COLLECT 537.76/539.42 c rational objective 3027 541.56/543.27 c #Conflicts: 247000 | #Constraints: 15673 541.56/543.27 c #Conflicts: 248000 | #Constraints: 16682 541.56/543.27 c #Conflicts: 249000 | #Constraints: 17692 541.56/543.27 c #Conflicts: 250000 | #Constraints: 18696 541.56/543.27 c #Conflicts: 251000 | #Constraints: 19706 541.56/543.27 c #Conflicts: 252000 | #Constraints: 20714 541.56/543.27 c #Conflicts: 253000 | #Constraints: 21729 541.56/543.27 c #Conflicts: 254000 | #Constraints: 22735 541.56/543.27 c #Conflicts: 255000 | #Constraints: 23748 541.56/543.27 c #Conflicts: 256000 | #Constraints: 24755 541.56/543.27 c INPROCESSING 541.56/543.27 c GARBAGE COLLECT 541.56/543.27 c rational objective 3027 545.24/546.94 c #Conflicts: 257000 | #Constraints: 15684 545.24/546.94 c #Conflicts: 258000 | #Constraints: 16687 545.24/546.94 c #Conflicts: 259000 | #Constraints: 17693 545.24/546.94 c #Conflicts: 260000 | #Constraints: 18707 545.24/546.94 c #Conflicts: 261000 | #Constraints: 19714 545.24/546.94 c #Conflicts: 262000 | #Constraints: 20723 545.24/546.94 c #Conflicts: 263000 | #Constraints: 21731 545.24/546.94 c #Conflicts: 264000 | #Constraints: 22736 545.24/546.94 c #Conflicts: 265000 | #Constraints: 23751 545.24/546.94 c #Conflicts: 266000 | #Constraints: 24774 545.24/546.94 c INPROCESSING 545.24/546.94 c GARBAGE COLLECT 545.24/546.94 c rational objective 3027 552.63/554.31 c #Conflicts: 267000 | #Constraints: 15487 552.63/554.31 c #Conflicts: 268000 | #Constraints: 16487 552.63/554.31 c #Conflicts: 269000 | #Constraints: 17487 552.63/554.31 c #Conflicts: 270000 | #Constraints: 18501 552.63/554.31 c #Conflicts: 271000 | #Constraints: 19513 552.63/554.31 c #Conflicts: 272000 | #Constraints: 20544 552.63/554.31 c #Conflicts: 273000 | #Constraints: 21570 552.63/554.31 c #Conflicts: 274000 | #Constraints: 22582 552.63/554.31 c #Conflicts: 275000 | #Constraints: 23599 552.63/554.31 c #Conflicts: 276000 | #Constraints: 24610 552.63/554.31 c #Conflicts: 277000 | #Constraints: 25618 552.63/554.31 c INPROCESSING 552.63/554.31 c GARBAGE COLLECT 552.63/554.31 c rational objective 3027 556.42/558.10 c #Conflicts: 278000 | #Constraints: 16105 556.42/558.10 c #Conflicts: 279000 | #Constraints: 17112 556.42/558.10 c #Conflicts: 280000 | #Constraints: 18120 556.42/558.10 c #Conflicts: 281000 | #Constraints: 19134 556.42/558.10 c #Conflicts: 282000 | #Constraints: 20140 556.42/558.10 c #Conflicts: 283000 | #Constraints: 21155 556.42/558.10 c #Conflicts: 284000 | #Constraints: 22161 556.42/558.10 c #Conflicts: 285000 | #Constraints: 23171 556.42/558.10 c #Conflicts: 286000 | #Constraints: 24172 556.42/558.10 c #Conflicts: 287000 | #Constraints: 25178 556.42/558.10 c #Conflicts: 288000 | #Constraints: 26185 556.42/558.10 c INPROCESSING 556.42/558.10 c GARBAGE COLLECT 556.42/558.10 c rational objective 3027 561.41/563.16 c #Conflicts: 289000 | #Constraints: 16495 561.41/563.16 c #Conflicts: 290000 | #Constraints: 17495 561.41/563.16 c #Conflicts: 291000 | #Constraints: 18496 561.41/563.16 c #Conflicts: 292000 | #Constraints: 19515 561.41/563.16 c #Conflicts: 293000 | #Constraints: 20526 561.41/563.16 c #Conflicts: 294000 | #Constraints: 21535 561.41/563.16 c #Conflicts: 295000 | #Constraints: 22542 561.41/563.16 c #Conflicts: 296000 | #Constraints: 23550 561.41/563.16 c #Conflicts: 297000 | #Constraints: 24558 561.41/563.16 c #Conflicts: 298000 | #Constraints: 25563 561.41/563.16 c #Conflicts: 299000 | #Constraints: 26568 561.41/563.16 c INPROCESSING 561.41/563.16 c GARBAGE COLLECT 561.41/563.16 c rational objective 3027 566.80/568.53 c #Conflicts: 300000 | #Constraints: 16683 566.80/568.53 c #Conflicts: 301000 | #Constraints: 17685 566.80/568.53 c #Conflicts: 302000 | #Constraints: 18699 566.80/568.53 c #Conflicts: 303000 | #Constraints: 19711 566.80/568.53 c #Conflicts: 304000 | #Constraints: 20723 566.80/568.53 c #Conflicts: 305000 | #Constraints: 21726 566.80/568.53 c #Conflicts: 306000 | #Constraints: 22738 566.80/568.53 c #Conflicts: 307000 | #Constraints: 23741 566.80/568.53 c #Conflicts: 308000 | #Constraints: 24744 566.80/568.53 c #Conflicts: 309000 | #Constraints: 25751 566.80/568.53 c #Conflicts: 310000 | #Constraints: 26757 566.80/568.53 c INPROCESSING 566.80/568.53 c GARBAGE COLLECT 566.80/568.53 c rational objective 3027 575.78/577.59 c #Conflicts: 311000 | #Constraints: 16695 575.78/577.59 c #Conflicts: 312000 | #Constraints: 17696 575.78/577.59 c #Conflicts: 313000 | #Constraints: 18709 575.78/577.59 c #Conflicts: 314000 | #Constraints: 19716 575.78/577.59 c #Conflicts: 315000 | #Constraints: 20735 575.78/577.59 c #Conflicts: 316000 | #Constraints: 21748 575.78/577.59 c #Conflicts: 317000 | #Constraints: 22759 575.78/577.59 c #Conflicts: 318000 | #Constraints: 23766 575.78/577.59 c #Conflicts: 319000 | #Constraints: 24778 575.78/577.59 c #Conflicts: 320000 | #Constraints: 25786 575.78/577.59 c #Conflicts: 321000 | #Constraints: 26798 575.78/577.59 c INPROCESSING 575.78/577.59 c GARBAGE COLLECT 575.78/577.59 c rational objective 3027.5 580.56/582.38 c #Conflicts: 322000 | #Constraints: 16524 580.56/582.38 c #Conflicts: 323000 | #Constraints: 17524 580.56/582.38 c #Conflicts: 324000 | #Constraints: 18532 580.56/582.38 c #Conflicts: 325000 | #Constraints: 19543 580.56/582.38 c #Conflicts: 326000 | #Constraints: 20556 580.56/582.38 c #Conflicts: 327000 | #Constraints: 21572 580.56/582.38 c #Conflicts: 328000 | #Constraints: 22584 580.56/582.38 c #Conflicts: 329000 | #Constraints: 23590 580.56/582.38 c #Conflicts: 330000 | #Constraints: 24604 580.56/582.38 c #Conflicts: 331000 | #Constraints: 25620 580.56/582.38 c #Conflicts: 332000 | #Constraints: 26627 580.56/582.38 c #Conflicts: 333000 | #Constraints: 27636 580.56/582.38 c INPROCESSING 580.56/582.38 c GARBAGE COLLECT 580.56/582.38 c rational objective 3027.5 592.44/594.27 c #Conflicts: 334000 | #Constraints: 17133 592.44/594.27 c #Conflicts: 335000 | #Constraints: 18134 592.44/594.27 c #Conflicts: 336000 | #Constraints: 19142 592.44/594.27 c #Conflicts: 337000 | #Constraints: 20146 592.44/594.27 c #Conflicts: 338000 | #Constraints: 21148 592.44/594.27 c #Conflicts: 339000 | #Constraints: 22149 592.44/594.27 c #Conflicts: 340000 | #Constraints: 23154 592.44/594.27 c #Conflicts: 341000 | #Constraints: 24166 592.44/594.27 c #Conflicts: 342000 | #Constraints: 25175 592.44/594.27 c #Conflicts: 343000 | #Constraints: 26179 592.44/594.27 c #Conflicts: 344000 | #Constraints: 27185 592.44/594.27 c #Conflicts: 345000 | #Constraints: 28186 592.44/594.27 c INPROCESSING 592.44/594.27 c GARBAGE COLLECT 592.44/594.27 c rational objective 3027.5 614.49/616.30 c #Conflicts: 346000 | #Constraints: 17540 614.49/616.30 c #Conflicts: 347000 | #Constraints: 18542 614.49/616.30 c #Conflicts: 348000 | #Constraints: 19549 614.49/616.30 c #Conflicts: 349000 | #Constraints: 20557 614.49/616.30 c #Conflicts: 350000 | #Constraints: 21562 614.49/616.30 c #Conflicts: 351000 | #Constraints: 22565 614.49/616.30 c #Conflicts: 352000 | #Constraints: 23573 614.49/616.30 c #Conflicts: 353000 | #Constraints: 24576 614.49/616.30 c #Conflicts: 354000 | #Constraints: 25579 614.49/616.30 c #Conflicts: 355000 | #Constraints: 26589 614.49/616.30 c #Conflicts: 356000 | #Constraints: 27592 614.49/616.30 c #Conflicts: 357000 | #Constraints: 28597 614.49/616.30 c INPROCESSING 614.49/616.30 c GARBAGE COLLECT 614.49/616.30 c rational objective 3027.5 663.58/665.50 c #Conflicts: 358000 | #Constraints: 17713 663.58/665.50 c #Conflicts: 359000 | #Constraints: 18713 663.58/665.50 c #Conflicts: 360000 | #Constraints: 19716 663.58/665.50 c #Conflicts: 361000 | #Constraints: 20718 663.58/665.50 c #Conflicts: 362000 | #Constraints: 21722 663.58/665.50 c #Conflicts: 363000 | #Constraints: 22724 663.58/665.50 c #Conflicts: 364000 | #Constraints: 23726 663.58/665.50 c #Conflicts: 365000 | #Constraints: 24731 663.58/665.50 c #Conflicts: 366000 | #Constraints: 25735 663.58/665.50 c #Conflicts: 367000 | #Constraints: 26739 663.58/665.50 c #Conflicts: 368000 | #Constraints: 27744 663.58/665.50 c #Conflicts: 369000 | #Constraints: 28752 663.58/665.50 c INPROCESSING 663.58/665.50 c GARBAGE COLLECT 663.58/665.50 c rational objective 3027.5 714.75/716.82 c #Conflicts: 370000 | #Constraints: 17716 714.75/716.82 c #Conflicts: 371000 | #Constraints: 18716 714.75/716.82 c #Conflicts: 372000 | #Constraints: 19721 714.75/716.82 c #Conflicts: 373000 | #Constraints: 20741 714.75/716.82 c #Conflicts: 374000 | #Constraints: 21760 714.75/716.82 c #Conflicts: 375000 | #Constraints: 22777 714.75/716.82 c #Conflicts: 376000 | #Constraints: 23783 714.75/716.82 c #Conflicts: 377000 | #Constraints: 24799 714.75/716.82 c #Conflicts: 378000 | #Constraints: 25810 714.75/716.82 c #Conflicts: 379000 | #Constraints: 26819 714.75/716.82 c #Conflicts: 380000 | #Constraints: 27822 714.75/716.82 c #Conflicts: 381000 | #Constraints: 28827 714.75/716.82 c INPROCESSING 714.75/716.82 c GARBAGE COLLECT 714.75/716.82 c rational objective 3027.5 771.82/774.01 c #Conflicts: 382000 | #Constraints: 17529 771.82/774.01 c #Conflicts: 383000 | #Constraints: 18529 771.82/774.01 c #Conflicts: 384000 | #Constraints: 19529 771.82/774.01 c #Conflicts: 385000 | #Constraints: 20531 771.82/774.01 c #Conflicts: 386000 | #Constraints: 21537 771.82/774.01 c #Conflicts: 387000 | #Constraints: 22541 771.82/774.01 c #Conflicts: 388000 | #Constraints: 23544 771.82/774.01 c #Conflicts: 389000 | #Constraints: 24547 771.82/774.01 c #Conflicts: 390000 | #Constraints: 25552 771.82/774.01 c #Conflicts: 391000 | #Constraints: 26553 771.82/774.01 c #Conflicts: 392000 | #Constraints: 27554 771.82/774.01 c #Conflicts: 393000 | #Constraints: 28562 771.82/774.01 c #Conflicts: 394000 | #Constraints: 29565 771.82/774.01 c INPROCESSING 771.82/774.01 c GARBAGE COLLECT 771.82/774.01 c rational objective 3027.5 828.97/831.34 c #Conflicts: 395000 | #Constraints: 18130 828.97/831.34 c #Conflicts: 396000 | #Constraints: 19130 828.97/831.34 c #Conflicts: 397000 | #Constraints: 20133 828.97/831.34 c #Conflicts: 398000 | #Constraints: 21138 828.97/831.34 c #Conflicts: 399000 | #Constraints: 22145 828.97/831.34 c #Conflicts: 400000 | #Constraints: 23152 828.97/831.34 c #Conflicts: 401000 | #Constraints: 24156 828.97/831.34 c #Conflicts: 402000 | #Constraints: 25165 828.97/831.34 c #Conflicts: 403000 | #Constraints: 26172 828.97/831.34 c #Conflicts: 404000 | #Constraints: 27178 828.97/831.34 c #Conflicts: 405000 | #Constraints: 28183 828.97/831.34 c #Conflicts: 406000 | #Constraints: 29188 828.97/831.34 c #Conflicts: 407000 | #Constraints: 30192 828.97/831.34 c INPROCESSING 828.97/831.34 c GARBAGE COLLECT 828.97/831.34 c rational objective 3027.5 845.33/847.79 c #Conflicts: 408000 | #Constraints: 18505 845.33/847.79 c #Conflicts: 409000 | #Constraints: 19505 845.33/847.79 c #Conflicts: 410000 | #Constraints: 20505 845.33/847.79 c #Conflicts: 411000 | #Constraints: 21508 845.33/847.79 c #Conflicts: 412000 | #Constraints: 22513 845.33/847.79 c #Conflicts: 413000 | #Constraints: 23520 845.33/847.79 c #Conflicts: 414000 | #Constraints: 24524 845.33/847.79 c #Conflicts: 415000 | #Constraints: 25527 845.33/847.79 c #Conflicts: 416000 | #Constraints: 26530 845.33/847.79 c #Conflicts: 417000 | #Constraints: 27532 845.33/847.79 c #Conflicts: 418000 | #Constraints: 28533 845.33/847.79 c #Conflicts: 419000 | #Constraints: 29533 845.33/847.79 c #Conflicts: 420000 | #Constraints: 30533 845.33/847.79 c INPROCESSING 845.33/847.79 c GARBAGE COLLECT 845.33/847.79 c rational objective 3027.5 892.51/895.03 c #Conflicts: 421000 | #Constraints: 18715 892.51/895.03 c #Conflicts: 422000 | #Constraints: 19715 892.51/895.03 c #Conflicts: 423000 | #Constraints: 20737 892.51/895.03 c #Conflicts: 424000 | #Constraints: 21750 892.51/895.03 c #Conflicts: 425000 | #Constraints: 22759 892.51/895.03 c #Conflicts: 426000 | #Constraints: 23766 892.51/895.03 c #Conflicts: 427000 | #Constraints: 24772 892.51/895.03 c #Conflicts: 428000 | #Constraints: 25795 892.51/895.03 c #Conflicts: 429000 | #Constraints: 26804 892.51/895.03 c #Conflicts: 430000 | #Constraints: 27809 892.51/895.03 c #Conflicts: 431000 | #Constraints: 28821 892.51/895.03 c #Conflicts: 432000 | #Constraints: 29831 892.51/895.03 c #Conflicts: 433000 | #Constraints: 30847 892.51/895.03 c INPROCESSING 892.51/895.03 c GARBAGE COLLECT 892.51/895.03 c rational objective 3027.5 912.06/914.68 c #Conflicts: 434000 | #Constraints: 18724 912.06/914.68 c #Conflicts: 435000 | #Constraints: 19731 912.06/914.68 c #Conflicts: 436000 | #Constraints: 20733 912.06/914.68 c #Conflicts: 437000 | #Constraints: 21735 912.06/914.68 c #Conflicts: 438000 | #Constraints: 22742 912.06/914.68 c #Conflicts: 439000 | #Constraints: 23746 912.06/914.68 c #Conflicts: 440000 | #Constraints: 24755 912.06/914.68 c #Conflicts: 441000 | #Constraints: 25758 912.06/914.68 c #Conflicts: 442000 | #Constraints: 26766 912.06/914.68 c #Conflicts: 443000 | #Constraints: 27770 912.06/914.68 c #Conflicts: 444000 | #Constraints: 28770 912.06/914.68 c #Conflicts: 445000 | #Constraints: 29770 912.06/914.68 c #Conflicts: 446000 | #Constraints: 30770 912.06/914.68 c INPROCESSING 912.06/914.68 c GARBAGE COLLECT 912.06/914.68 c rational objective 3027.5 931.81/934.42 c #Conflicts: 447000 | #Constraints: 18547 931.81/934.42 c #Conflicts: 448000 | #Constraints: 19547 931.81/934.42 c #Conflicts: 449000 | #Constraints: 20548 931.81/934.42 c #Conflicts: 450000 | #Constraints: 21548 931.81/934.42 c #Conflicts: 451000 | #Constraints: 22549 931.81/934.42 c #Conflicts: 452000 | #Constraints: 23549 931.81/934.42 c #Conflicts: 453000 | #Constraints: 24549 931.81/934.42 c #Conflicts: 454000 | #Constraints: 25549 931.81/934.42 c #Conflicts: 455000 | #Constraints: 26549 931.81/934.42 c #Conflicts: 456000 | #Constraints: 27549 931.81/934.42 c #Conflicts: 457000 | #Constraints: 28549 931.81/934.42 c #Conflicts: 458000 | #Constraints: 29549 931.81/934.42 c #Conflicts: 459000 | #Constraints: 30549 931.81/934.42 c #Conflicts: 460000 | #Constraints: 31550 931.81/934.42 c INPROCESSING 931.81/934.42 c GARBAGE COLLECT 931.81/934.42 c rational objective 3027.5 950.86/953.53 c #Conflicts: 461000 | #Constraints: 19140 950.86/953.53 c #Conflicts: 462000 | #Constraints: 20140 950.86/953.53 c #Conflicts: 463000 | #Constraints: 21140 950.86/953.53 c #Conflicts: 464000 | #Constraints: 22140 950.86/953.53 c #Conflicts: 465000 | #Constraints: 23141 950.86/953.53 c #Conflicts: 466000 | #Constraints: 24141 950.86/953.53 c #Conflicts: 467000 | #Constraints: 25141 950.86/953.53 c #Conflicts: 468000 | #Constraints: 26141 950.86/953.53 c #Conflicts: 469000 | #Constraints: 27141 950.86/953.53 c #Conflicts: 470000 | #Constraints: 28142 950.86/953.53 c #Conflicts: 471000 | #Constraints: 29142 950.86/953.53 c #Conflicts: 472000 | #Constraints: 30142 950.86/953.53 c #Conflicts: 473000 | #Constraints: 31142 950.86/953.53 c #Conflicts: 474000 | #Constraints: 32142 950.86/953.53 c INPROCESSING 950.86/953.53 c GARBAGE COLLECT 950.86/953.53 c rational objective 3027.5 970.31/973.04 c #Conflicts: 475000 | #Constraints: 19535 970.31/973.04 c #Conflicts: 476000 | #Constraints: 20535 970.31/973.04 c #Conflicts: 477000 | #Constraints: 21535 970.31/973.04 c #Conflicts: 478000 | #Constraints: 22535 970.31/973.04 c #Conflicts: 479000 | #Constraints: 23535 970.31/973.04 c #Conflicts: 480000 | #Constraints: 24535 970.31/973.04 c #Conflicts: 481000 | #Constraints: 25535 970.31/973.04 c #Conflicts: 482000 | #Constraints: 26535 970.31/973.04 c #Conflicts: 483000 | #Constraints: 27535 970.31/973.04 c #Conflicts: 484000 | #Constraints: 28535 970.31/973.04 c #Conflicts: 485000 | #Constraints: 29535 970.31/973.04 c #Conflicts: 486000 | #Constraints: 30535 970.31/973.04 c #Conflicts: 487000 | #Constraints: 31535 970.31/973.04 c #Conflicts: 488000 | #Constraints: 32535 970.31/973.04 c INPROCESSING 970.31/973.04 c GARBAGE COLLECT 970.31/973.04 c rational objective 3027.5 995.13/997.98 c #Conflicts: 489000 | #Constraints: 19733 995.13/997.98 c #Conflicts: 490000 | #Constraints: 20736 995.13/997.98 c #Conflicts: 491000 | #Constraints: 21752 995.13/997.98 c #Conflicts: 492000 | #Constraints: 22772 995.13/997.98 c #Conflicts: 493000 | #Constraints: 23778 995.13/997.98 c #Conflicts: 494000 | #Constraints: 24787 995.13/997.98 c #Conflicts: 495000 | #Constraints: 25801 995.13/997.98 c #Conflicts: 496000 | #Constraints: 26814 995.13/997.98 c #Conflicts: 497000 | #Constraints: 27832 995.13/997.98 c #Conflicts: 498000 | #Constraints: 28844 995.13/997.98 c #Conflicts: 499000 | #Constraints: 29856 995.13/997.98 c #Conflicts: 500000 | #Constraints: 30866 995.13/997.98 c #Conflicts: 501000 | #Constraints: 31881 995.13/997.98 c #Conflicts: 502000 | #Constraints: 32886 995.13/997.98 c INPROCESSING 995.13/997.98 c GARBAGE COLLECT 995.13/997.98 c rational objective 3027.5 1066.35/1069.36 c #Conflicts: 503000 | #Constraints: 19753 1066.35/1069.36 c #Conflicts: 504000 | #Constraints: 20753 1066.35/1069.36 c #Conflicts: 505000 | #Constraints: 21757 1066.35/1069.36 c #Conflicts: 506000 | #Constraints: 22762 1066.35/1069.36 c #Conflicts: 507000 | #Constraints: 23763 1066.35/1069.36 c #Conflicts: 508000 | #Constraints: 24766 1066.35/1069.36 c #Conflicts: 509000 | #Constraints: 25770 1066.35/1069.36 c #Conflicts: 510000 | #Constraints: 26772 1066.35/1069.36 c #Conflicts: 511000 | #Constraints: 27772 1066.35/1069.36 c #Conflicts: 512000 | #Constraints: 28773 1066.35/1069.36 c #Conflicts: 513000 | #Constraints: 29777 1066.35/1069.36 c #Conflicts: 514000 | #Constraints: 30779 1066.35/1069.36 c #Conflicts: 515000 | #Constraints: 31780 1066.35/1069.36 c #Conflicts: 516000 | #Constraints: 32783 1066.35/1069.36 c INPROCESSING 1066.35/1069.36 c GARBAGE COLLECT 1066.35/1069.36 c rational objective 3027.5 1153.43/1156.62 c #Conflicts: 517000 | #Constraints: 19538 1153.43/1156.62 c #Conflicts: 518000 | #Constraints: 20538 1153.43/1156.62 c #Conflicts: 519000 | #Constraints: 21538 1153.43/1156.62 c #Conflicts: 520000 | #Constraints: 22540 1153.43/1156.62 c #Conflicts: 521000 | #Constraints: 23542 1153.43/1156.62 c #Conflicts: 522000 | #Constraints: 24549 1153.43/1156.62 c #Conflicts: 523000 | #Constraints: 25555 1153.43/1156.62 c #Conflicts: 524000 | #Constraints: 26561 1153.43/1156.62 c #Conflicts: 525000 | #Constraints: 27567 1153.43/1156.62 c #Conflicts: 526000 | #Constraints: 28569 1153.43/1156.62 c #Conflicts: 527000 | #Constraints: 29575 1153.43/1156.62 c #Conflicts: 528000 | #Constraints: 30580 1153.43/1156.62 c #Conflicts: 529000 | #Constraints: 31583 1153.43/1156.62 c #Conflicts: 530000 | #Constraints: 32583 1153.43/1156.62 c #Conflicts: 531000 | #Constraints: 33589 1153.43/1156.62 c INPROCESSING 1153.43/1156.62 c GARBAGE COLLECT 1153.43/1156.62 c rational objective 3027.5 1175.08/1178.32 c #Conflicts: 532000 | #Constraints: 20125 1175.08/1178.32 c #Conflicts: 533000 | #Constraints: 21126 1175.08/1178.32 c #Conflicts: 534000 | #Constraints: 22126 1175.08/1178.32 c #Conflicts: 535000 | #Constraints: 23126 1175.08/1178.32 c #Conflicts: 536000 | #Constraints: 24126 1175.08/1178.32 c #Conflicts: 537000 | #Constraints: 25127 1175.08/1178.32 c #Conflicts: 538000 | #Constraints: 26128 1175.08/1178.32 c #Conflicts: 539000 | #Constraints: 27129 1175.08/1178.32 c #Conflicts: 540000 | #Constraints: 28129 1175.08/1178.32 c #Conflicts: 541000 | #Constraints: 29129 1175.08/1178.32 c #Conflicts: 542000 | #Constraints: 30129 1175.08/1178.32 c #Conflicts: 543000 | #Constraints: 31129 1175.08/1178.32 c #Conflicts: 544000 | #Constraints: 32129 1175.08/1178.32 c #Conflicts: 545000 | #Constraints: 33129 1175.08/1178.32 c #Conflicts: 546000 | #Constraints: 34129 1175.08/1178.32 c INPROCESSING 1175.08/1178.32 c GARBAGE COLLECT 1175.08/1178.32 c rational objective 3027.5 1320.82/1324.48 c #Conflicts: 547000 | #Constraints: 20528 1320.82/1324.48 c #Conflicts: 548000 | #Constraints: 21528 1320.82/1324.48 c #Conflicts: 549000 | #Constraints: 22532 1320.82/1324.48 c #Conflicts: 550000 | #Constraints: 23533 1320.82/1324.48 c #Conflicts: 551000 | #Constraints: 24533 1320.82/1324.48 c #Conflicts: 552000 | #Constraints: 25534 1320.82/1324.48 c #Conflicts: 553000 | #Constraints: 26534 1320.82/1324.48 c #Conflicts: 554000 | #Constraints: 27537 1320.82/1324.48 c #Conflicts: 555000 | #Constraints: 28537 1320.82/1324.48 c #Conflicts: 556000 | #Constraints: 29541 1320.82/1324.48 c #Conflicts: 557000 | #Constraints: 30542 1320.82/1324.48 c #Conflicts: 558000 | #Constraints: 31543 1320.82/1324.48 c #Conflicts: 559000 | #Constraints: 32546 1320.82/1324.48 c #Conflicts: 560000 | #Constraints: 33547 1320.82/1324.48 c #Conflicts: 561000 | #Constraints: 34552 1320.82/1324.48 c INPROCESSING 1320.82/1324.48 c GARBAGE COLLECT 1320.82/1324.48 c rational objective 3027.5 1393.04/1396.84 c #Conflicts: 562000 | #Constraints: 20699 1393.04/1396.84 c #Conflicts: 563000 | #Constraints: 21701 1393.04/1396.84 c #Conflicts: 564000 | #Constraints: 22705 1393.04/1396.84 c #Conflicts: 565000 | #Constraints: 23706 1393.04/1396.84 c #Conflicts: 566000 | #Constraints: 24709 1393.04/1396.84 c #Conflicts: 567000 | #Constraints: 25711 1393.04/1396.84 c #Conflicts: 568000 | #Constraints: 26711 1393.04/1396.84 c #Conflicts: 569000 | #Constraints: 27712 1393.04/1396.84 c #Conflicts: 570000 | #Constraints: 28715 1393.04/1396.84 c #Conflicts: 571000 | #Constraints: 29715 1393.04/1396.84 c #Conflicts: 572000 | #Constraints: 30718 1393.04/1396.84 c #Conflicts: 573000 | #Constraints: 31719 1393.04/1396.84 c #Conflicts: 574000 | #Constraints: 32722 1393.04/1396.84 c #Conflicts: 575000 | #Constraints: 33731 1393.04/1396.84 c #Conflicts: 576000 | #Constraints: 34732 1393.04/1396.84 c INPROCESSING 1393.04/1396.84 c GARBAGE COLLECT 1393.04/1396.84 c rational objective 3027.5 1451.10/1455.02 c #Conflicts: 577000 | #Constraints: 20719 1451.10/1455.02 c #Conflicts: 578000 | #Constraints: 21719 1451.10/1455.02 c #Conflicts: 579000 | #Constraints: 22719 1451.10/1455.02 c #Conflicts: 580000 | #Constraints: 23720 1451.10/1455.02 c #Conflicts: 581000 | #Constraints: 24725 1451.10/1455.02 c #Conflicts: 582000 | #Constraints: 25727 1451.10/1455.02 c #Conflicts: 583000 | #Constraints: 26729 1451.10/1455.02 c #Conflicts: 584000 | #Constraints: 27733 1451.10/1455.02 c #Conflicts: 585000 | #Constraints: 28734 1451.10/1455.02 c #Conflicts: 586000 | #Constraints: 29737 1451.10/1455.02 c #Conflicts: 587000 | #Constraints: 30742 1451.10/1455.02 c #Conflicts: 588000 | #Constraints: 31742 1451.10/1455.02 c #Conflicts: 589000 | #Constraints: 32743 1451.10/1455.02 c #Conflicts: 590000 | #Constraints: 33746 1451.10/1455.02 c #Conflicts: 591000 | #Constraints: 34749 1451.10/1455.02 c INPROCESSING 1451.10/1455.02 c GARBAGE COLLECT 1451.10/1455.02 c rational objective 3027.5 1541.57/1545.77 c #Conflicts: 592000 | #Constraints: 20528 1541.57/1545.77 c #Conflicts: 593000 | #Constraints: 21530 1541.57/1545.77 c #Conflicts: 594000 | #Constraints: 22539 1541.57/1545.77 c #Conflicts: 595000 | #Constraints: 23547 1541.57/1545.77 c #Conflicts: 596000 | #Constraints: 24553 1541.57/1545.77 c #Conflicts: 597000 | #Constraints: 25564 1541.57/1545.77 c #Conflicts: 598000 | #Constraints: 26569 1541.57/1545.77 c #Conflicts: 599000 | #Constraints: 27575 1541.57/1545.77 c #Conflicts: 600000 | #Constraints: 28580 1541.57/1545.77 c #Conflicts: 601000 | #Constraints: 29589 1541.57/1545.77 c #Conflicts: 602000 | #Constraints: 30596 1541.57/1545.77 c #Conflicts: 603000 | #Constraints: 31600 1541.57/1545.77 c #Conflicts: 604000 | #Constraints: 32608 1541.57/1545.77 c #Conflicts: 605000 | #Constraints: 33612 1541.57/1545.77 c #Conflicts: 606000 | #Constraints: 34619 1541.57/1545.77 c #Conflicts: 607000 | #Constraints: 35627 1541.57/1545.77 c INPROCESSING 1541.57/1545.77 c GARBAGE COLLECT 1541.57/1545.77 c rational objective 3027.5 1601.73/1606.09 c #Conflicts: 608000 | #Constraints: 21136 1601.73/1606.09 c #Conflicts: 609000 | #Constraints: 22136 1601.73/1606.09 c #Conflicts: 610000 | #Constraints: 23136 1601.73/1606.09 c #Conflicts: 611000 | #Constraints: 24139 1601.73/1606.09 c #Conflicts: 612000 | #Constraints: 25147 1601.73/1606.09 c #Conflicts: 613000 | #Constraints: 26159 1601.73/1606.09 c #Conflicts: 614000 | #Constraints: 27164 1601.73/1606.09 c #Conflicts: 615000 | #Constraints: 28171 1601.73/1606.09 c #Conflicts: 616000 | #Constraints: 29174 1601.73/1606.09 c #Conflicts: 617000 | #Constraints: 30176 1601.73/1606.09 c #Conflicts: 618000 | #Constraints: 31178 1601.73/1606.09 c #Conflicts: 619000 | #Constraints: 32181 1601.73/1606.09 c #Conflicts: 620000 | #Constraints: 33184 1601.73/1606.09 c #Conflicts: 621000 | #Constraints: 34188 1601.73/1606.09 c #Conflicts: 622000 | #Constraints: 35191 1601.73/1606.09 c #Conflicts: 623000 | #Constraints: 36199 1601.73/1606.09 c INPROCESSING 1601.73/1606.09 c GARBAGE COLLECT 1601.73/1606.09 c rational objective 3027.5 1668.74/1673.23 c #Conflicts: 624000 | #Constraints: 21538 1668.74/1673.23 c #Conflicts: 625000 | #Constraints: 22540 1668.74/1673.23 c #Conflicts: 626000 | #Constraints: 23544 1668.74/1673.23 c #Conflicts: 627000 | #Constraints: 24546 1668.74/1673.23 c #Conflicts: 628000 | #Constraints: 25548 1668.74/1673.23 c #Conflicts: 629000 | #Constraints: 26552 1668.74/1673.23 c #Conflicts: 630000 | #Constraints: 27562 1668.74/1673.23 c #Conflicts: 631000 | #Constraints: 28573 1668.74/1673.23 c #Conflicts: 632000 | #Constraints: 29583 1668.74/1673.23 c #Conflicts: 633000 | #Constraints: 30591 1668.74/1673.23 c #Conflicts: 634000 | #Constraints: 31597 1668.74/1673.23 c #Conflicts: 635000 | #Constraints: 32602 1668.74/1673.23 c #Conflicts: 636000 | #Constraints: 33605 1668.74/1673.23 c #Conflicts: 637000 | #Constraints: 34610 1668.74/1673.23 c #Conflicts: 638000 | #Constraints: 35613 1668.74/1673.23 c #Conflicts: 639000 | #Constraints: 36613 1668.74/1673.23 c INPROCESSING 1668.74/1673.23 c GARBAGE COLLECT 1668.74/1673.23 c rational objective 3027.5 1929.03/1934.24 c #Conflicts: 640000 | #Constraints: 21769 1929.03/1934.24 c #Conflicts: 641000 | #Constraints: 22771 1929.03/1934.24 c #Conflicts: 642000 | #Constraints: 23774 1929.03/1934.24 c #Conflicts: 643000 | #Constraints: 24783 1929.03/1934.24 c #Conflicts: 644000 | #Constraints: 25789 1929.03/1934.24 c #Conflicts: 645000 | #Constraints: 26795 1929.03/1934.24 c #Conflicts: 646000 | #Constraints: 27801 1929.03/1934.24 c #Conflicts: 647000 | #Constraints: 28806 1929.03/1934.24 c #Conflicts: 648000 | #Constraints: 29810 1929.03/1934.24 c #Conflicts: 649000 | #Constraints: 30814 1929.03/1934.24 c #Conflicts: 650000 | #Constraints: 31815 1929.03/1934.24 c #Conflicts: 651000 | #Constraints: 32827 1929.03/1934.24 c #Conflicts: 652000 | #Constraints: 33831 1929.03/1934.24 c #Conflicts: 653000 | #Constraints: 34835 1929.03/1934.24 c #Conflicts: 654000 | #Constraints: 35838 1929.03/1934.24 c #Conflicts: 655000 | #Constraints: 36841 1929.03/1934.24 c INPROCESSING 1929.03/1934.24 c GARBAGE COLLECT 1929.03/1934.24 c rational objective 3027.5 2505.28/2511.91 c #Conflicts: 656000 | #Constraints: 21734 2505.28/2511.91 c #Conflicts: 657000 | #Constraints: 22734 2505.28/2511.91 c #Conflicts: 658000 | #Constraints: 23735 2505.28/2511.91 c #Conflicts: 659000 | #Constraints: 24736 2505.28/2511.91 c #Conflicts: 660000 | #Constraints: 25738 2505.28/2511.91 c #Conflicts: 661000 | #Constraints: 26738 2505.28/2511.91 c #Conflicts: 662000 | #Constraints: 27740 2505.28/2511.91 c #Conflicts: 663000 | #Constraints: 28742 2505.28/2511.91 c #Conflicts: 664000 | #Constraints: 29743 2505.28/2511.91 c #Conflicts: 665000 | #Constraints: 30744 2505.28/2511.91 c #Conflicts: 666000 | #Constraints: 31746 2505.28/2511.91 c #Conflicts: 667000 | #Constraints: 32747 2505.28/2511.91 c #Conflicts: 668000 | #Constraints: 33747 2505.28/2511.91 c #Conflicts: 669000 | #Constraints: 34749 2505.28/2511.91 c #Conflicts: 670000 | #Constraints: 35749 2505.28/2511.91 c #Conflicts: 671000 | #Constraints: 36753 2505.28/2511.91 c #Conflicts: 672000 | #Constraints: 37758 2505.28/2511.91 c #Conflicts: 673000 | #Constraints: 38760 2505.28/2511.91 c #Conflicts: 674000 | #Constraints: 39761 2505.28/2511.91 c #Conflicts: 675000 | #Constraints: 40765 2505.28/2511.91 c #Conflicts: 676000 | #Constraints: 41767 2505.28/2511.91 c #Conflicts: 677000 | #Constraints: 42772 2505.28/2511.91 c #Conflicts: 678000 | #Constraints: 43777 2505.28/2511.91 c #Conflicts: 679000 | #Constraints: 44780 2505.28/2511.91 c #Conflicts: 680000 | #Constraints: 45783 2505.28/2511.91 c #Conflicts: 681000 | #Constraints: 46788 2505.28/2511.91 c #Conflicts: 682000 | #Constraints: 47792 2505.28/2511.91 c #Conflicts: 683000 | #Constraints: 48794 2505.28/2511.91 c #Conflicts: 684000 | #Constraints: 49798 2505.28/2511.91 c #Conflicts: 685000 | #Constraints: 50801 2505.28/2511.91 c #Conflicts: 686000 | #Constraints: 51802 2505.28/2511.91 c #Conflicts: 687000 | #Constraints: 52803 2505.28/2511.91 c #Conflicts: 688000 | #Constraints: 53806 2505.28/2511.91 c #Conflicts: 689000 | #Constraints: 54810 2505.28/2511.91 c #Conflicts: 690000 | #Constraints: 55813 2505.28/2511.91 c #Conflicts: 691000 | #Constraints: 56821 2505.28/2511.91 c #Conflicts: 692000 | #Constraints: 57824 2505.28/2511.91 c #Conflicts: 693000 | #Constraints: 58824 2505.28/2511.91 c #Conflicts: 694000 | #Constraints: 59826 2505.28/2511.91 c #Conflicts: 695000 | #Constraints: 60830 2505.28/2511.91 c #Conflicts: 696000 | #Constraints: 61830 2505.28/2511.91 c #Conflicts: 697000 | #Constraints: 62831 2505.28/2511.91 c #Conflicts: 698000 | #Constraints: 63832 2505.28/2511.91 c #Conflicts: 699000 | #Constraints: 64833 2505.28/2511.91 c #Conflicts: 700000 | #Constraints: 65833 2505.28/2511.91 c #Conflicts: 701000 | #Constraints: 66833 2505.28/2511.91 c #Conflicts: 702000 | #Constraints: 67834 2505.28/2511.91 c #Conflicts: 703000 | #Constraints: 68834 2505.28/2511.91 c #Conflicts: 704000 | #Constraints: 69834 2505.28/2511.91 c #Conflicts: 705000 | #Constraints: 70834 2505.28/2511.91 c #Conflicts: 706000 | #Constraints: 71834 2505.28/2511.91 c #Conflicts: 707000 | #Constraints: 72835 2505.28/2511.91 c #Conflicts: 708000 | #Constraints: 73835 2505.28/2511.91 c #Conflicts: 709000 | #Constraints: 74835 2505.28/2511.91 c #Conflicts: 710000 | #Constraints: 75835 2505.28/2511.91 c #Conflicts: 711000 | #Constraints: 76835 2505.28/2511.91 c #Conflicts: 712000 | #Constraints: 77835 2505.28/2511.91 c #Conflicts: 713000 | #Constraints: 78835 2505.28/2511.91 c #Conflicts: 714000 | #Constraints: 79836 2505.28/2511.91 c #Conflicts: 715000 | #Constraints: 80836 2505.28/2511.91 c #Conflicts: 716000 | #Constraints: 81836 2505.28/2511.91 c #Conflicts: 717000 | #Constraints: 82836 2505.28/2511.91 c #Conflicts: 718000 | #Constraints: 83839 2505.28/2511.91 c #Conflicts: 719000 | #Constraints: 84848 2505.28/2511.91 c #Conflicts: 720000 | #Constraints: 85866 2505.28/2511.91 c #Conflicts: 721000 | #Constraints: 86879 2505.28/2511.91 c #Conflicts: 722000 | #Constraints: 87884 2505.28/2511.91 c #Conflicts: 723000 | #Constraints: 88887 2505.28/2511.91 c #Conflicts: 724000 | #Constraints: 89890 2505.28/2511.91 c #Conflicts: 725000 | #Constraints: 90892 2505.28/2511.91 c #Conflicts: 726000 | #Constraints: 91892 2505.28/2511.91 c #Conflicts: 727000 | #Constraints: 92893 2505.28/2511.91 c #Conflicts: 728000 | #Constraints: 93895 2505.28/2511.91 c #Conflicts: 729000 | #Constraints: 94896 2505.28/2511.91 c #Conflicts: 730000 | #Constraints: 95897 2505.28/2511.91 c #Conflicts: 731000 | #Constraints: 96897 2505.28/2511.91 c #Conflicts: 732000 | #Constraints: 97898 2505.28/2511.91 c #Conflicts: 733000 | #Constraints: 98902 2505.28/2511.91 c #Conflicts: 734000 | #Constraints: 99904 2537.01/2543.79 c #Conflicts: 735000 | #Constraints: 100906 2537.01/2543.79 c #Conflicts: 736000 | #Constraints: 101906 2537.01/2543.79 c #Conflicts: 737000 | #Constraints: 102906 2537.01/2543.79 c INPROCESSING 2537.01/2543.79 c GARBAGE COLLECT 2537.01/2543.79 c rational objective 3027.5 2938.51/2946.28 c #Conflicts: 738000 | #Constraints: 54772 2938.51/2946.28 c #Conflicts: 739000 | #Constraints: 55775 2938.51/2946.28 c #Conflicts: 740000 | #Constraints: 56782 2938.51/2946.28 c #Conflicts: 741000 | #Constraints: 57792 2938.51/2946.28 c #Conflicts: 742000 | #Constraints: 58803 2938.51/2946.28 c #Conflicts: 743000 | #Constraints: 59807 2938.51/2946.28 c #Conflicts: 744000 | #Constraints: 60817 2938.51/2946.28 c #Conflicts: 745000 | #Constraints: 61822 2938.51/2946.28 c #Conflicts: 746000 | #Constraints: 62830 2938.51/2946.28 c #Conflicts: 747000 | #Constraints: 63840 2938.51/2946.28 c #Conflicts: 748000 | #Constraints: 64842 2938.51/2946.28 c #Conflicts: 749000 | #Constraints: 65847 2938.51/2946.28 c #Conflicts: 750000 | #Constraints: 66853 2938.51/2946.28 c #Conflicts: 751000 | #Constraints: 67855 2938.51/2946.28 c #Conflicts: 752000 | #Constraints: 68861 2938.51/2946.28 c #Conflicts: 753000 | #Constraints: 69869 2938.51/2946.28 c #Conflicts: 754000 | #Constraints: 70876 2938.51/2946.28 c INPROCESSING 2938.51/2946.28 c GARBAGE COLLECT 2938.51/2946.28 c rational objective 3027.5 3148.00/3156.21 c #Conflicts: 755000 | #Constraints: 38468 3148.00/3156.21 c #Conflicts: 756000 | #Constraints: 39468 3148.00/3156.21 c #Conflicts: 757000 | #Constraints: 40468 3148.00/3156.21 c #Conflicts: 758000 | #Constraints: 41468 3148.00/3156.21 c #Conflicts: 759000 | #Constraints: 42480 3148.00/3156.21 c #Conflicts: 760000 | #Constraints: 43495 3148.00/3156.21 c #Conflicts: 761000 | #Constraints: 44505 3148.00/3156.21 c #Conflicts: 762000 | #Constraints: 45516 3148.00/3156.21 c #Conflicts: 763000 | #Constraints: 46518 3148.00/3156.21 c #Conflicts: 764000 | #Constraints: 47519 3148.00/3156.21 c #Conflicts: 765000 | #Constraints: 48523 3148.00/3156.21 c #Conflicts: 766000 | #Constraints: 49524 3148.00/3156.21 c #Conflicts: 767000 | #Constraints: 50526 3148.00/3156.21 c #Conflicts: 768000 | #Constraints: 51529 3148.00/3156.21 c #Conflicts: 769000 | #Constraints: 52535 3148.00/3156.21 c #Conflicts: 770000 | #Constraints: 53538 3148.00/3156.21 c #Conflicts: 771000 | #Constraints: 54539 3148.00/3156.21 c #Conflicts: 772000 | #Constraints: 55546 3148.00/3156.21 c INPROCESSING 3148.00/3156.21 c GARBAGE COLLECT 3148.00/3156.21 c rational objective 3027.5 3361.03/3369.75 c #Conflicts: 773000 | #Constraints: 30943 3361.03/3369.75 c #Conflicts: 774000 | #Constraints: 31943 3361.03/3369.75 c #Conflicts: 775000 | #Constraints: 32944 3361.03/3369.75 c #Conflicts: 776000 | #Constraints: 33947 3361.03/3369.75 c #Conflicts: 777000 | #Constraints: 34952 3361.03/3369.75 c #Conflicts: 778000 | #Constraints: 35952 3361.03/3369.75 c #Conflicts: 779000 | #Constraints: 36952 3361.03/3369.75 c #Conflicts: 780000 | #Constraints: 37952 3361.03/3369.75 c #Conflicts: 781000 | #Constraints: 38952 3361.03/3369.75 c #Conflicts: 782000 | #Constraints: 39982 3361.03/3369.75 c #Conflicts: 783000 | #Constraints: 40994 3361.03/3369.75 c #Conflicts: 784000 | #Constraints: 42001 3361.03/3369.75 c #Conflicts: 785000 | #Constraints: 43012 3361.03/3369.75 c #Conflicts: 786000 | #Constraints: 44019 3361.03/3369.75 c #Conflicts: 787000 | #Constraints: 45024 3361.03/3369.75 c #Conflicts: 788000 | #Constraints: 46030 3361.03/3369.75 c #Conflicts: 789000 | #Constraints: 47032 3361.03/3369.75 c #Conflicts: 790000 | #Constraints: 48035 3361.03/3369.75 c INPROCESSING 3361.03/3369.75 c GARBAGE COLLECT 3361.03/3369.75 c rational objective 3027.5 3600.09/3609.30 c #Conflicts: 791000 | #Constraints: 27229 3600.09/3609.30 c #Conflicts: 792000 | #Constraints: 28229 3600.09/3609.30 c #Conflicts: 793000 | #Constraints: 29234 3600.09/3609.30 c #Conflicts: 794000 | #Constraints: 30241 3600.09/3609.30 c #Conflicts: 795000 | #Constraints: 31246 3600.09/3609.30 c #Conflicts: 796000 | #Constraints: 32248 3600.09/3609.30 c #Conflicts: 797000 | #Constraints: 33253 3600.09/3609.30 c #Conflicts: 798000 | #Constraints: 34254 3600.09/3609.30 c #Conflicts: 799000 | #Constraints: 35258 3600.09/3609.30 c #Conflicts: 800000 | #Constraints: 36261 3600.09/3609.30 c #Conflicts: 801000 | #Constraints: 37262 3600.09/3609.30 c #Conflicts: 802000 | #Constraints: 38265 3600.09/3609.30 c #Conflicts: 803000 | #Constraints: 39271 3600.09/3609.30 c #Conflicts: 804000 | #Constraints: 40276 3600.09/3609.30 c #Conflicts: 805000 | #Constraints: 41279 3600.09/3609.30 c #Conflicts: 806000 | #Constraints: 42281 3600.09/3609.30 c Program interrupted by user. 3600.09/3609.30 c cpu time 3562.74 s 3600.09/3609.30 c deterministic time 338358955423 3.38e+11 3600.09/3609.30 c optimization time 237.385 s 3600.09/3609.30 c total solve time 3325.34 s 3600.09/3609.30 c core-guided solve time 1462.11 s 3600.09/3609.30 c propagation time 3358.15 s 3600.09/3609.30 c conflict analysis time 150.954 s 3600.09/3609.30 c propagations 157667944 3600.09/3609.30 c resolve steps 3295770 3600.09/3609.30 c decisions 22791135 3600.09/3609.30 c conflicts 806361 3600.09/3609.30 c restarts 1723 3600.09/3609.30 c inprocessing phases 76 3600.09/3609.30 c input clauses 3959 3600.09/3609.30 c input cardinalities 1248 3600.09/3609.30 c input general constraints 345 3600.09/3609.30 c input average constraint length 22.05 3600.09/3609.30 c input average constraint degree 780.05 3600.09/3609.30 c learned clauses 145495 3600.09/3609.30 c learned cardinalities 20213 3600.09/3609.30 c learned general constraints 644050 3600.09/3609.30 c learned average constraint length 360.93 3600.09/3609.30 c learned average constraint degree 885199720.63 3600.09/3609.30 c watched constraints 402564 3600.09/3609.30 c counting constraints 241831 3600.09/3609.30 c gcd simplifications 14334 3600.09/3609.30 c detected cardinalities 7707 3600.09/3609.30 c weakened non-implied lits 55672428 3600.09/3609.30 c weakened non-implying lits 20334 3600.09/3609.30 c original variables 3300 3600.09/3609.30 c clausal propagations 35035525 3600.09/3609.30 c cardinality propagations 49340438 3600.09/3609.30 c watched propagations 17236271 3600.09/3609.30 c counting propagations 53808796 3600.09/3609.30 c watch lookups 77206562705 3600.09/3609.30 c watch backjump lookups 75171499782 3600.09/3609.30 c watch checks 140043363874 3600.09/3609.30 c propagation checks 45023400216 3600.09/3609.30 c constraint additions 551583251 3600.09/3609.30 c trail pops 181260367 3600.09/3609.30 c formula constraints 2573 3600.09/3609.30 c learned constraints 803032 3600.09/3609.30 c bound constraints 1444 3600.09/3609.30 c core-guided constraints 1535 3600.09/3609.30 c encountered formula constraints 1287974 3600.09/3609.30 c encountered learned constraints 2253434 3600.09/3609.30 c encountered bound constraints 380 3600.09/3609.30 c encountered core-guided constraints 429966 3600.09/3609.30 c LP total time 120.519 s 3600.09/3609.30 c LP solve time 108.77 s 3600.09/3609.30 c LP constraints added 3174 3600.09/3609.30 c LP constraints removed 572 3600.09/3609.30 c LP pivots internal 806399 3600.09/3609.30 c LP pivots root 19749 3600.09/3609.30 c LP calls 64512 3600.09/3609.30 c LP optimalities 61147 3600.09/3609.30 c LP no pivot count 48202 3600.09/3609.30 c LP infeasibilities 3363 3600.09/3609.30 c LP valid Farkas constraints 3363 3600.09/3609.30 c LP learned Farkas constraints 3363 3600.09/3609.30 c LP basis resets 0 3600.09/3609.30 c LP cycling count 0 3600.09/3609.30 c LP singular count 0 3600.09/3609.30 c LP no primal count 0 3600.09/3609.30 c LP no farkas count 0 3600.09/3609.30 c LP other issue count 0 3600.09/3609.30 c LP Gomory cuts 0 3600.09/3609.30 c LP learned cuts 601 3600.09/3609.30 c LP deleted cuts 572 3600.09/3609.30 c LP encountered Gomory constraints 0 3600.09/3609.30 c LP encountered Farkas constraints 78581 3600.09/3609.30 c LP encountered learned Farkas constraints 48433 3600.09/3609.30 c CG auxiliary variables introduced 721 3600.09/3609.30 c CG solutions found 82 3600.09/3609.30 c CG cores constructed 630 3600.09/3609.30 c CG core cardinality constraints returned 67 3600.09/3609.30 c CG unit cores 2 3600.09/3609.30 c CG single cores 628 3600.09/3609.30 c CG blocks removed during cardinality reduction 0 3600.09/3609.30 c CG first core best 0 3600.09/3609.30 c CG decision core best 0 3600.09/3609.30 c CG core reduction tie 0 3600.09/3609.30 c CG core degree average 1.16 3600.09/3609.30 c CG core slack average 1.36 3600.09/3609.30 s SATISFIABLE 3600.09/3609.30 v x1 -x2 x3 x4 -x5 x6 x7 -x8 -x9 -x10 -x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 x40 x41 -x42 x43 x44 -x45 -x46 x47 x48 x49 -x50 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 x173 -x174 x175 -x176 -x177 -x178 x179 x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 x190 -x191 x192 -x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 x202 x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 x226 x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 x249 x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 x277 -x278 x279 -x280 -x281 x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 x319 -x320 -x321 -x322 x323 -x324 x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 x391 x392 x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 x414 x415 x416 -x417 -x418 -x419 x420 x421 -x422 x423 x424 x425 -x426 x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 x508 x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 x521 x522 -x523 x524 -x525 -x526 -x527 x528 -x529 x530 x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 x547 x548 -x549 x550 x551 x552 x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 x590 -x591 -x592 x593 -x594 -x595 -x596 x597 -x598 -x599 x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 x696 -x697 -x698 x699 -x700 x701 x702 -x703 x704 x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 x742 -x743 x744 -x745 -x746 -x747 x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 x783 x784 x785 -x786 x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 x795 x796 -x797 x798 -x799 -x800 -x801 -x802 x803 x804 -x805 x806 -x807 -x808 x809 x810 x811 -x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 x836 -x837 x838 -x839 x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 x1081 -x1082 x1083 x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 x1617 -x1618 -x1619 x1620 -x1621 x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 x1639 x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 -x1804 -x1805 x1806 -x1807 x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 x1923 -x1924 x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 x2084 x2085 x2086 x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 x2845 -x2846 -x2847 -x2848 x2849 -x2850 x2851 x2852 x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 x2905 x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 x2914 x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 x2940 -x2941 -x2942 -x2943 x2944 x2945 -x2946 x2947 -x2948 x2949 x2950 -x2951 x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 x2970 x2971 x2972 -x2973 x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 x2994 x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 x3010 x3011 -x3012 x3013 -x3014 -x3015 x3016 x3017 -x3018 -x3019 -x3020 x3021 x3022 -x3023 x3024 -x3025 -x3026 -x3027 x3028 -x3029 x3030 x3031 x3032 -x3033 x3034 x3035 x3036 -x3037 x3038 x3039 x3040 x3041 x3042 -x3043 x3044 -x3045 x3046 x3047 x3048 -x3049 x3050 -x3051 x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 x3086 -x3087 -x3088 -x3089 x3090 x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 x3129 x3130 x3131 -x3132 x3133 -x3134 -x3135 -x3136 x3137 -x3138 x3139 x3140 x3141 x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 x3165 -x3166 x3167 x3168 -x3169 -x3170 -x3171 x3172 x3173 -x3174 -x3175 x3176 -x3177 x3178 x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 x3198 -x3199 -x3200 -x3201 x3202 -x3203 x3204 -x3205 x3206 -x3207 -x3208 x3209 x3210 -x3211 -x3212 -x3213 x3214 -x3215 x3216 -x3217 x3218 x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 x3227 -x3228 x3229 x3230 x3231 x3232 x3233 x3234 -x3235 -x3236 -x3237 x3238 -x3239 x3240 x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 x3254 -x3255 -x3256 x3257 -x3258 -x3259 x3260 -x3261 x3262 x3263 x3264 -x3265 x3266 x3267 x3268 x3269 -x3270 x3271 x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300
OK 3031
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (63224 MiB free)
memory of node 1: 64510 MiB (64026 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462634-1722340763/watcher-4462634-1722340763 -o /tmp/evaluation-result-4462634-1722340763/solver-4462634-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722340763-6772 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462634-1722340763 --lp-cut-gomory=0 HOME/instance-4462634-1722340763.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6792, runsolver pid=6789
[startup+0.100084 s]*
/proc/loadavg: 0.13 0.11 0.09 2/250 6819
/proc/meminfo: memFree=130285128/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=42708 memory=12380 CPUtime=0.09 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 1733 0 1 0 8 1 0 0 20 0 1 0 673441 43732992 3095 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 10677 3095 1774 992 0 2535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42708 KiB
Current children cumulated memory: 12380 KiB
[startup+0.205181 s]*
/proc/loadavg: 0.13 0.11 0.09 2/252 6823
/proc/meminfo: memFree=130279664/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=44608 memory=16708 CPUtime=0.19 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 2212 0 1 0 17 2 0 0 20 0 1 0 673441 45678592 4177 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 11152 4177 1820 992 0 3010 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44608 KiB
Current children cumulated memory: 16708 KiB
[startup+0.304378 s]*
/proc/loadavg: 0.13 0.11 0.09 2/256 6834
/proc/meminfo: memFree=130266604/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=44740 memory=16708 CPUtime=0.29 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 2255 0 1 0 22 7 0 0 20 0 1 0 673441 45813760 4177 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 11185 4177 1820 992 0 3043 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44740 KiB
Current children cumulated memory: 16708 KiB
[startup+0.700147 s]
/proc/loadavg: 0.13 0.11 0.09 4/256 6834
/proc/meminfo: memFree=130256644/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=46352 memory=18556 CPUtime=0.68 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 2666 0 1 0 54 14 0 0 20 0 1 0 673441 47464448 4639 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 11588 4639 1820 992 0 3446 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46352 KiB
Current children cumulated memory: 18556 KiB
[startup+1.50018 s]
/proc/loadavg: 0.13 0.11 0.09 4/256 6834
/proc/meminfo: memFree=130210600/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=48212 memory=20608 CPUtime=1.48 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 3180 0 1 0 128 20 0 0 20 0 1 0 673441 49369088 5152 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 12053 5152 1875 992 0 3911 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48212 KiB
Current children cumulated memory: 20608 KiB
[startup+3.10521 s]
/proc/loadavg: 0.44 0.17 0.11 5/256 6834
/proc/meminfo: memFree=129857496/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=51616 memory=25132 CPUtime=3.08 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 4290 0 1 0 275 33 0 0 20 0 1 0 673441 52854784 6283 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 12904 6283 1891 992 0 4762 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51616 KiB
Current children cumulated memory: 25132 KiB
[startup+6.30016 s]
/proc/loadavg: 0.44 0.17 0.11 5/259 6839
/proc/meminfo: memFree=129467100/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=60276 memory=34032 CPUtime=6.27 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 6480 0 1 0 576 51 0 0 20 0 1 0 673441 61722624 8508 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 15069 8508 1891 992 0 6927 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60276 KiB
Current children cumulated memory: 34032 KiB
[startup+12.7002 s]
/proc/loadavg: 0.99 0.30 0.16 5/260 6840
/proc/meminfo: memFree=128933504/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=78264 memory=44528 CPUtime=12.61 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 8604 0 1 0 1183 78 0 0 20 0 1 0 673441 80142336 11132 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 19566 11132 1891 992 0 11424 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 78264 KiB
Current children cumulated memory: 44528 KiB
[startup+25.5002 s]
/proc/loadavg: 1.45 0.42 0.20 5/260 6890
/proc/meminfo: memFree=127858664/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=86312 memory=58104 CPUtime=25.38 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 10965 0 1 0 2416 122 0 0 20 0 1 0 673441 88383488 14526 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 21578 14526 1891 992 0 13436 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 86312 KiB
Current children cumulated memory: 58104 KiB
[startup+51.1055 s]
/proc/loadavg: 2.45 0.74 0.31 5/260 6893
/proc/meminfo: memFree=127101564/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=109256 memory=77240 CPUtime=50.85 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 14750 0 1 0 4889 196 0 0 20 0 1 0 673441 111878144 19310 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 27314 19310 1891 992 0 19172 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 109256 KiB
Current children cumulated memory: 77240 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.31 0.53 5/262 6917
/proc/meminfo: memFree=125919648/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=133952 memory=99244 CPUtime=101.84 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 19262 0 1 0 9888 296 0 0 20 0 1 0 673441 137166848 24811 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 33488 24811 1891 992 0 25346 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 133952 KiB
Current children cumulated memory: 99244 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.81 0.76 5/262 6927
/proc/meminfo: memFree=124396984/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=136056 memory=103976 CPUtime=161.62 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 20419 0 1 0 15776 386 0 0 20 0 1 0 673441 139321344 25994 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 34014 25994 1891 992 0 25872 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 136056 KiB
Current children cumulated memory: 103976 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.23 0.97 5/262 6939
/proc/meminfo: memFree=123502740/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=164192 memory=128328 CPUtime=221.41 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 22909 0 1 0 21688 453 0 0 20 0 1 0 673441 168132608 32082 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 41048 32082 1891 992 0 32906 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 164192 KiB
Current children cumulated memory: 128328 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.57 1.16 5/260 6949
/proc/meminfo: memFree=122736796/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=170788 memory=136944 CPUtime=281.23 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 24077 0 1 0 27568 555 0 0 20 0 1 0 673441 174886912 34236 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 42697 34236 1891 992 0 34555 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 170788 KiB
Current children cumulated memory: 136944 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 2.84 1.34 5/259 6959
/proc/meminfo: memFree=121524612/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=190792 memory=156176 CPUtime=341.08 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 28457 0 1 0 33432 676 0 0 20 0 1 0 673441 195371008 39044 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 47698 39044 1891 992 0 39556 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 190792 KiB
Current children cumulated memory: 156176 KiB
[startup+402.3 s]
/proc/loadavg: 4.39 3.17 1.55 5/257 6970
/proc/meminfo: memFree=120907828/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=197104 memory=162016 CPUtime=400.96 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 29915 0 1 0 39337 759 0 0 20 0 1 0 673441 201834496 40504 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 49276 40504 1891 992 0 41134 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 197104 KiB
Current children cumulated memory: 162016 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.34 1.71 5/258 6982
/proc/meminfo: memFree=119810020/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=197816 memory=163124 CPUtime=460.83 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 30244 0 1 0 45250 833 0 0 20 0 1 0 673441 202563584 40781 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 49454 40781 1891 992 0 41312 0
################
# More data... #
################
Current children cumulated memory: 665920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.15 4.02 5/257 8056
/proc/meminfo: memFree=93297020/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=787272 memory=671896 CPUtime=2914.67 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 98215 0 1 0 288128 3339 0 0 20 0 1 0 673441 806166528 167974 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 196818 167974 1891 992 0 188676 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 787272 KiB
Current children cumulated memory: 671896 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.02 5/257 8067
/proc/meminfo: memFree=92921920/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=693676 CPUtime=2974.52 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 98834 0 1 0 294077 3375 0 0 20 0 1 0 673441 808787968 173419 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 173419 1891 992 0 189316 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 693676 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.02 5/257 8079
/proc/meminfo: memFree=92453864/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=693676 CPUtime=3034.35 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 99077 0 1 0 300029 3406 0 0 20 0 1 0 673441 808787968 173419 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 173419 1891 992 0 189316 0
Current children cumulated CPU time: 3034.35 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 693676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.02 5/260 8096
/proc/meminfo: memFree=92014056/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=693676 CPUtime=3094.22 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 99278 0 1 0 305989 3433 0 0 20 0 1 0 673441 808787968 173419 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 173419 1891 992 0 189316 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 693676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.15 4.03 5/260 8106
/proc/meminfo: memFree=91345548/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=693692 CPUtime=3154.09 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 99460 0 1 0 311948 3461 0 0 20 0 1 0 673441 808787968 173423 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 173423 1891 992 0 189316 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 693692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.04 5/260 8116
/proc/meminfo: memFree=90753688/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=717376 CPUtime=3213.95 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 99658 0 1 0 317892 3503 0 0 20 0 1 0 673441 808787968 179344 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 179344 1891 992 0 189316 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 717376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/260 8126
/proc/meminfo: memFree=90159020/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3273.82 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 99904 0 1 0 323843 3539 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.06 5/260 8137
/proc/meminfo: memFree=89891480/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3333.68 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 100157 0 1 0 329801 3567 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.20 4.07 5/260 8535
/proc/meminfo: memFree=88985500/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3393.56 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 100389 0 1 0 335741 3615 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.08 5/261 8546
/proc/meminfo: memFree=88197672/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3453.42 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 100573 0 1 0 341684 3658 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.22 4.10 5/261 8559
/proc/meminfo: memFree=87182828/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3513.29 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 100811 0 1 0 347639 3690 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.09 5/261 8737
/proc/meminfo: memFree=86263512/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3573.15 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 101054 0 1 0 353593 3722 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/261 8741
/proc/meminfo: memFree=85851580/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3600.09 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 101173 0 1 0 356273 3736 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 6792 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.74 s, system=37.3757 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/261 8741
/proc/meminfo: memFree=85851580/131524592 swapFree=131071996/131071996
[pid=6792] ppid=6789 vsize=789832 memory=720440 CPUtime=3600.09 cores=4,6
/proc/6792/stat : 6792 (roundingsat) R 6789 6792 6761 0 -1 4194304 101173 0 1 0 356273 3736 0 0 20 0 1 0 673441 808787968 180110 134679101440 4194304 8255733 140736371307424 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40910848 140736371311454 140736371311716 140736371311716 140736371318729 0
/proc/6792/statm: 197458 180110 1891 992 0 189316 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 789832 KiB
Current children cumulated memory: 720440 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.11
CPU user time (s): 3562.74
CPU system time (s): 37.3757
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 789832
Max. memory (cumulated for all children) (KiB): 720440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.74
system time used= 37.3757
maximum resident set size= 720440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101190
page faults= 1
swaps= 0
block input operations= 264
block output operations= 4233464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157
involuntary context switches= 5050
# summary of solver processes directly reported to runsolver:
# pid: 6792
# total CPU time (s): 3600.11
# total CPU user time (s): 3562.74
# total CPU system time (s): 37.3757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98269 second user time and 16.8352 second system time
The end
Begin job on nodeC016 at 2024-07-30 13:59:23 IDJOB=4462634 IDBENCH=146649 IDSOLVER=3089 FILE ID=nodeC016/4462634-1722340763 RUNJOBID= nodeC016-1722340763-6772 SLURM_JOB_ID= 8248979 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462634-1722340763/watcher-4462634-1722340763 -o /tmp/evaluation-result-4462634-1722340763/solver-4462634-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722340763-6772 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462634-1722340763 --lp-cut-gomory=0 HOME/instance-4462634-1722340763.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020 RANDOM SEED=727532140 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3153.964 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1920.079 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2968.958 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1214.406 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3241.631 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1403.117 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3496.980 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1885.198 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524592 kB MemFree: 130306288 kB MemAvailable: 129888040 kB Buffers: 45864 kB Cached: 331264 kB SwapCached: 0 kB Active: 127532 kB Inactive: 635324 kB Active(anon): 1432 kB Inactive(anon): 405660 kB Active(file): 126100 kB Inactive(file): 229664 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6104 kB Writeback: 0 kB AnonPages: 385568 kB Mapped: 86780 kB Shmem: 21336 kB KReclaimable: 44192 kB Slab: 118364 kB SReclaimable: 44192 kB SUnreclaim: 74172 kB KernelStack: 3796 kB PageTables: 8996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 664296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 266964 kB DirectMap2M: 6846464 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 890044 MiB End job on nodeC016 at 2024-07-30 14:59:33