Trace number 1869467

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT24 538.081 538.272

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
MD5SUMacd1698068c8e97cbd0c7cd62fe047fc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark338.053
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables2847
Total number of constraints4902
Number of constraints which are clauses4902
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint860
Number of terms in the objective function 2847
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2847
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2847
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.48/0.50	c SCIP version 1.1.0.7
0.48/0.50	c LP-Solver Clp 1.8.2
0.48/0.50	c user parameter file <scip.set> not found - using default parameters
0.48/0.50	c read problem <HOME/instance-1869467-1245173298.opb>
0.48/0.50	c original problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4902 constraints
0.59/0.69	c start presolving problem
0.59/0.69	c presolving:
1.29/1.32	c (round 1) 0 del vars, 194 del conss, 0 chg bounds, 17 chg sides, 0 chg coeffs, 4875 upgd conss, 6 impls, 0 clqs
1.39/1.42	c    (0.9s) probing: 101/2847 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.42	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.39/1.42	c presolving (2 rounds):
1.39/1.42	c  0 deleted vars, 194 deleted constraints, 0 tightened bounds, 0 added holes, 17 changed sides, 0 changed coefficients
1.39/1.42	c  6 implications, 0 cliques
1.39/1.42	c presolved problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4708 constraints
1.39/1.42	c    4708 constraints of type <logicor>
1.39/1.42	c transformed objective value is always integral (scale: 1)
1.39/1.42	c Presolving Time: 0.71
1.39/1.43	c strange?!, PURESAT with obj
1.39/1.43	c -----------------------------------------------------------------------------------------------
1.39/1.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.43	c limits/memory = c 1620
1.39/1.43	c # maximal time in seconds to run
1.39/1.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.43	c limits/time = c 1791
1.39/1.43	c # frequency for displaying node information lines
1.39/1.43	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.43	c display/freq = c 10000
1.39/1.43	c -----------------------------------------------------------------------------------------------
1.39/1.43	c start solving problem
1.39/1.43	c 
1.79/1.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.83	c   1.2s|     1 |     0 |   386 |  41M|   0 | 139 |2847 |4708 |4708 |2847 |4708 |   0 |   0 |   0 | 2.167221e+01 |      --      |    Inf 
1.79/1.85	o 134
1.79/1.85	c R 1.2s|     1 |     0 |   386 |  41M|   0 | 139 |2847 |4708 |4708 |2847 |4708 |   0 |   0 |   0 | 2.167221e+01 | 1.340000e+02 | 518.30%
1.79/1.87	o 133
1.79/1.87	c s 1.3s|     1 |     0 |   386 |  41M|   0 | 139 |2847 |4708 |4708 |2847 |4708 |   0 |   0 |   0 | 2.167221e+01 | 1.330000e+02 | 513.69%
3.39/3.46	c   2.8s|     1 |     0 |   549 |  41M|   0 | 123 |2847 |4708 |4708 |2847 |4711 |   3 |   0 |   0 | 2.198563e+01 | 1.330000e+02 | 504.94%
3.39/3.48	o 120
3.39/3.48	c R 2.8s|     1 |     0 |   549 |  41M|   0 | 123 |2847 |4708 |4708 |2847 |4711 |   3 |   0 |   0 | 2.198563e+01 | 1.200000e+02 | 445.81%
3.39/3.49	o 119
3.39/3.49	c s 2.9s|     1 |     0 |   549 |  41M|   0 | 123 |2847 |4708 |4708 |2847 |4711 |   3 |   0 |   0 | 2.198563e+01 | 1.190000e+02 | 441.26%
6.19/6.22	c   5.5s|     1 |     0 |   736 |  42M|   0 | 146 |2847 |4708 |4708 |2847 |4712 |   4 |   0 |   0 | 2.212228e+01 | 1.190000e+02 | 437.92%
6.19/6.23	o 118
6.19/6.23	c R 5.5s|     1 |     0 |   736 |  42M|   0 | 146 |2847 |4708 |4708 |2847 |4712 |   4 |   0 |   0 | 2.212228e+01 | 1.180000e+02 | 433.40%
6.19/6.25	o 117
6.19/6.25	c s 5.6s|     1 |     0 |   736 |  42M|   0 | 146 |2847 |4708 |4708 |2847 |4712 |   4 |   0 |   0 | 2.212228e+01 | 1.170000e+02 | 428.88%
9.39/9.48	c   8.8s|     1 |     0 |  1059 |  43M|   0 | 129 |2847 |4708 |4708 |2847 |4714 |   6 |   0 |   0 | 2.226068e+01 | 1.170000e+02 | 425.59%
9.49/9.50	o 116
9.49/9.50	c R 8.8s|     1 |     0 |  1059 |  43M|   0 | 129 |2847 |4708 |4708 |2847 |4714 |   6 |   0 |   0 | 2.226068e+01 | 1.160000e+02 | 421.10%
9.49/9.51	o 115
9.49/9.51	c s 8.8s|     1 |     0 |  1059 |  43M|   0 | 129 |2847 |4708 |4708 |2847 |4714 |   6 |   0 |   0 | 2.226068e+01 | 1.150000e+02 | 416.61%
11.78/11.88	c  11.2s|     1 |     0 |  1483 |  43M|   0 | 148 |2847 |4708 |4708 |2847 |4715 |   7 |   0 |   0 | 2.231827e+01 | 1.150000e+02 | 415.27%
11.78/11.90	o 114
11.78/11.90	c R11.2s|     1 |     0 |  1483 |  43M|   0 | 148 |2847 |4708 |4708 |2847 |4715 |   7 |   0 |   0 | 2.231827e+01 | 1.140000e+02 | 410.79%
11.88/11.91	o 113
11.88/11.91	c s11.2s|     1 |     0 |  1483 |  43M|   0 | 148 |2847 |4708 |4708 |2847 |4715 |   7 |   0 |   0 | 2.231827e+01 | 1.130000e+02 | 406.31%
12.78/12.85	o 47
12.78/12.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.78/12.85	c k12.1s|     1 |     0 |  1483 |  43M|   0 | 148 |2847 |4708 |4708 |2847 |4715 |   7 |   0 |   0 | 2.231827e+01 | 4.700000e+01 | 110.59%
14.58/14.67	o 38
14.58/14.67	c E13.9s|     1 |     0 |  1483 |  43M|   0 | 148 |2847 |4708 |4708 |2847 |4715 |   7 |   0 |   0 | 2.231827e+01 | 3.800000e+01 |  70.26%
14.58/14.69	c  13.9s|     1 |     0 |  1483 |  43M|   0 | 148 |2847 |4708 |4708 |2847 |4715 |   7 |   0 |   0 | 2.231827e+01 | 3.800000e+01 |  70.26%
24.48/24.59	c  23.8s|     1 |     2 |  1483 |  43M|   0 | 148 |2847 |4708 |4708 |2847 |4715 |   7 |   0 |  55 | 2.231827e+01 | 3.800000e+01 |  70.26%
48.87/49.00	o 32
48.87/49.00	c R48.1s|     9 |     8 |  4516 |  43M|   8 |   5 |2847 |4708 |4707 |2847 |4713 |   7 |   0 | 205 | 2.234738e+01 | 3.200000e+01 |  43.19%
49.07/49.15	o 30
49.07/49.15	c k48.3s|     9 |     8 |  4516 |  43M|   8 |   - |2847 |4708 |4707 |2847 |4713 |   7 |   0 | 210 | 2.234738e+01 | 3.000000e+01 |  34.24%
54.47/54.59	o 29
54.47/54.59	c *53.7s|    11 |     7 |  4840 |  44M|   9 |   - |2847 |4708 |2587 |2847 |4713 |   7 |   0 | 285 | 2.234738e+01 | 2.900000e+01 |  29.77%
126.04/126.15	o 28
126.04/126.15	c p 125s|    49 |    31 | 18731 |  44M|  17 |   - |2847 |4708 |2313 |2847 |4713 |   7 |   0 | 770 | 2.234738e+01 | 2.800000e+01 |  25.29%
150.04/150.16	o 27
150.04/150.16	c * 149s|   181 |    54 | 37645 |  44M|  24 |   - |2847 |4708 |1411 |2847 |4713 |   7 |   0 | 833 | 2.239135e+01 | 2.700000e+01 |  20.58%
289.20/289.37	o 26
289.20/289.37	c c 288s|   479 |   132 |128661 |  44M|  44 |   - |2847 |4711 |4642 |2847 |4713 |   7 |   5 | 988 | 2.246723e+01 | 2.600000e+01 |  15.72%
409.95/410.17	o 25
409.95/410.17	c * 409s|   784 |   115 |204624 |  45M|  90 |   - |2847 |4709 |1918 |2847 |4713 |   7 |   5 |1207 | 2.264520e+01 | 2.500000e+01 |  10.40%
535.20/535.49	o 24
535.20/535.49	c * 534s|  1380 |    15 |303567 |  44M| 131 |   - |2847 |4712 |2931 |2847 |4713 |   7 |   9 |1551 | 2.277063e+01 | 2.400000e+01 |   5.40%
537.80/538.07	c 
537.80/538.07	c SCIP Status        : problem is solved [optimal solution found]
537.80/538.07	c Solving Time (sec) : 536.31
537.80/538.07	c Solving Nodes      : 1395
537.80/538.07	c Primal Bound       : +2.40000000000000e+01 (24 solutions)
537.80/538.07	c Dual Bound         : +2.40000000000000e+01
537.80/538.07	c Gap                : 0.00 %
537.90/538.12	c NODE         1395
537.90/538.12	c DUAL BOUND   24
537.90/538.12	c PRIMAL BOUND 24
537.90/538.12	c GAP          0
537.90/538.12	s OPTIMUM FOUND
537.90/538.12	v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
537.90/538.12	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 
537.90/538.12	v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 
537.90/538.12	v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 
537.90/538.12	v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 
537.90/538.12	v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 
537.90/538.12	v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 
537.90/538.12	v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
537.90/538.12	v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 
537.90/538.12	v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 
537.90/538.12	v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 
537.90/538.12	v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 
537.90/538.12	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 
537.90/538.12	v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 x2601 -x2600 -x2599 -x2598 -x2597 
537.90/538.12	v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 
537.90/538.12	v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 
537.90/538.12	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544 -x2543 
537.90/538.12	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 
537.90/538.12	v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 
537.90/538.12	v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 
537.90/538.12	v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 
537.90/538.12	v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 
537.90/538.12	v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 
537.90/538.12	v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 
537.90/538.12	v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 
537.90/538.12	v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 
537.90/538.12	v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 
537.90/538.12	v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 
537.90/538.12	v -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 
537.90/538.12	v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 
537.90/538.12	v -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 
537.90/538.12	v -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 
537.90/538.12	v -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 
537.90/538.12	v -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 
537.90/538.12	v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 
537.90/538.12	v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 
537.90/538.12	v -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 
537.90/538.12	v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 
537.90/538.12	v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 
537.90/538.12	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
537.90/538.12	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
537.90/538.12	v x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 
537.90/538.12	v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 
537.90/538.12	v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
537.90/538.12	v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 
537.90/538.12	v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 
537.90/538.12	v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 
537.90/538.12	v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 
537.90/538.12	v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 
537.90/538.12	v -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 
537.90/538.12	v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 
537.90/538.12	v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 
537.90/538.12	v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 
537.90/538.12	v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 
537.90/538.12	v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 
537.90/538.12	v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 
537.90/538.12	v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 
537.90/538.12	v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 
537.90/538.12	v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 
537.90/538.12	v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
537.90/538.12	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
537.90/538.12	v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
537.90/538.12	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
537.90/538.12	v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
537.90/538.12	v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
537.90/538.12	v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 
537.90/538.12	v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 
537.90/538.12	v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
537.90/538.12	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
537.90/538.12	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
537.90/538.12	v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
537.90/538.12	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 
537.90/538.12	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 
537.90/538.12	v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 
537.90/538.12	v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 
537.90/538.12	v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 
537.90/538.12	v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 
537.90/538.12	v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 
537.90/538.12	v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 
537.90/538.12	v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 
537.90/538.12	v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 
537.90/538.12	v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 
537.90/538.12	v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 
537.90/538.12	v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 
537.90/538.12	v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 
537.90/538.12	v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 
537.90/538.12	v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 
537.90/538.12	v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 
537.90/538.12	v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
537.90/538.12	v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 
537.90/538.12	v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 
537.90/538.12	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 
537.90/538.12	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
537.90/538.12	v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 
537.90/538.12	v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 
537.90/538.12	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 
537.90/538.12	v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 
537.90/538.12	v -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 
537.90/538.12	v -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 
537.90/538.12	v -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 
537.90/538.12	v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 
537.90/538.12	v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 
537.90/538.12	v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 
537.90/538.12	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 
537.90/538.12	v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 
537.90/538.12	v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 
537.90/538.12	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 
537.90/538.12	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 x905 -x904 
537.90/538.12	v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 
537.90/538.12	v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 
537.90/538.12	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 
537.90/538.12	v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 
537.90/538.12	v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 
537.90/538.12	v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 
537.90/538.12	v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 
537.90/538.12	v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 
537.90/538.12	v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 
537.90/538.12	v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 
537.90/538.12	v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 
537.90/538.12	v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 
537.90/538.12	v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 
537.90/538.12	v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 
537.90/538.12	v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 
537.90/538.12	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 
537.90/538.12	v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 
537.90/538.12	v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 
537.90/538.12	v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 
537.90/538.12	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
537.90/538.12	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 
537.90/538.12	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 
537.90/538.12	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 
537.90/538.12	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 
537.90/538.12	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 
537.90/538.12	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 
537.90/538.12	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 
537.90/538.12	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 
537.90/538.12	v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 
537.90/538.12	v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 
537.90/538.12	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 
537.90/538.12	v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 
537.90/538.12	v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 
537.90/538.12	v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 
537.90/538.12	v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 
537.90/538.12	v -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 
537.90/538.12	v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 
537.90/538.12	v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 
537.90/538.12	v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 
537.90/538.12	v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 
537.90/538.12	v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 -x44 x43 x42 x41 -x40 x39 -x38 
537.90/538.12	v x37 x36 -x35 -x34 x33 -x32 -x31 x30 x29 x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 
537.90/538.12	v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
537.90/538.12	c SCIP Status        : problem is solved [optimal solution found]
537.90/538.12	c Solving Time       :     536.31
537.90/538.12	c Original Problem   :
537.90/538.12	c   Problem name     : HOME/instance-1869467-1245173298.opb
537.90/538.12	c   Variables        : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
537.90/538.12	c   Constraints      : 4902 initial, 4902 maximal
537.90/538.12	c Presolved Problem  :
537.90/538.12	c   Problem name     : t_HOME/instance-1869467-1245173298.opb
537.90/538.12	c   Variables        : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
537.90/538.12	c   Constraints      : 4708 initial, 4713 maximal
537.90/538.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
537.90/538.12	c   trivial          :       0.00          0          0          0          0          0          0          0          0
537.90/538.12	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
537.90/538.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
537.90/538.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
537.90/538.12	c   implics          :       0.00          0          0          0          0          0          0          0          0
537.90/538.12	c   probing          :       0.06          0          0          0          0          0          0          0          0
537.90/538.12	c   linear           :       0.36          0          0          0          0          0         27         17          0
537.90/538.12	c   logicor          :       0.24          0          0          0          0          0        167          0          0
537.90/538.12	c   root node        :          -        450          -          -        450          -          -          -          -
537.90/538.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
537.90/538.12	c   integral         :          0          0          0       1143          0          0        531          0          0       1960
537.90/538.12	c   logicor          :       4708+         5       1923          4          0          7       3787          0          0          0
537.90/538.12	c   countsols        :          0          0          0          4          0          0          0          0          0          0
537.90/538.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
537.90/538.12	c   integral         :     185.15       0.00       0.00     185.15       0.00
537.90/538.12	c   logicor          :       0.52       0.01       0.50       0.01       0.00
537.90/538.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00
537.90/538.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
537.90/538.12	c   rootredcost      :       0.00          7          0        450
537.90/538.12	c   pseudoobj        :       1.29       5884          0          0
537.90/538.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
537.90/538.12	c   propagation      :       0.00          7          7         10      163.9          0        0.0          -
537.90/538.12	c   infeasible LP    :       0.36        614          0          0        0.0          0        0.0          0
537.90/538.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
537.90/538.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
537.90/538.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
537.90/538.12	c   applied globally :          -          -          -          8      128.6          -          -          -
537.90/538.12	c   applied locally  :          -          -          -          1      292.0          -          -          -
537.90/538.12	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
537.90/538.12	c   cut pool         :       0.01          4          -          -          1          -    (maximal pool size: 55)
537.90/538.12	c   redcost          :       0.95       1445          0     173095          0          0
537.90/538.12	c   impliedbounds    :       0.00          6          0          0          0          0
537.90/538.12	c   intobj           :       0.00          0          0          0          0          0
537.90/538.12	c   gomory           :       4.69          6          0          0       2000          0
537.90/538.12	c   strongcg         :       4.88          6          0          0       1502          0
537.90/538.12	c   cmir             :       0.44          6          0          0          0          0
537.90/538.12	c   flowcover        :       0.56          6          0          0          1          0
537.90/538.12	c   clique           :       0.00          1          0          0          0          0
537.90/538.12	c   zerohalf         :       0.00          0          0          0          0          0
537.90/538.12	c   mcf              :       0.03          1          0          0          0          0
537.90/538.12	c Pricers            :       Time      Calls       Vars
537.90/538.12	c   problem variables:       0.00          0          0
537.90/538.12	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
537.90/538.12	c   relpscost        :     185.15       1139          0        531          0          0       1960
537.90/538.12	c   pscost           :       0.00          0          0          0          0          0          0
537.90/538.12	c   inference        :       0.00          0          0          0          0          0          0
537.90/538.12	c   mostinf          :       0.00          0          0          0          0          0          0
537.90/538.12	c   leastinf         :       0.00          0          0          0          0          0          0
537.90/538.12	c   fullstrong       :       0.00          0          0          0          0          0          0
537.90/538.12	c   allfullstrong    :       0.00          0          0          0          0          0          0
537.90/538.12	c   random           :       0.00          0          0          0          0          0          0
537.90/538.12	c Primal Heuristics  :       Time      Calls      Found
537.90/538.12	c   LP solutions     :       0.00          -          4
537.90/538.12	c   pseudo solutions :       0.00          -          0
537.90/538.12	c   feaspump         :       0.00          0          0
537.90/538.12	c   oneopt           :       0.12          8          2
537.90/538.12	c   coefdiving       :      15.23          4          1
537.90/538.12	c   pscostdiving     :      30.36          4          1
537.90/538.12	c   fracdiving       :      28.92          4          0
537.90/538.12	c   veclendiving     :      10.62          4          0
537.90/538.12	c   linesearchdiving :      12.86          4          0
537.90/538.12	c   guideddiving     :      45.05          4          0
537.90/538.12	c   objpscostdiving  :       4.93          3          0
537.90/538.12	c   rootsoldiving    :       1.54          3          3
537.90/538.12	c   crossover        :       1.06          3          1
537.90/538.12	c   simplerounding   :       0.01       1154          0
537.90/538.12	c   rounding         :       1.52       1154          6
537.90/538.12	c   shifting         :       0.29        104          5
537.90/538.12	c   intshifting      :       0.00          0          0
537.90/538.12	c   fixandinfer      :       0.00          0          0
537.90/538.12	c   intdiving        :       0.00          0          0
537.90/538.12	c   actconsdiving    :       0.00          0          0
537.90/538.12	c   octane           :       0.00          0          0
537.90/538.12	c   rens             :       1.75          1          1
537.90/538.12	c   rins             :       0.00          0          0
537.90/538.12	c   localbranching   :       0.00          0          0
537.90/538.12	c   mutation         :       0.00          0          0
537.90/538.12	c   dins             :       0.00          0          0
537.90/538.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
537.90/538.12	c   primal LP        :       0.61          0          0       0.00       0.00
537.90/538.12	c   dual LP          :     179.03       1564     232683     148.77    1299.69
537.90/538.12	c   barrier LP       :       0.00          0          0       0.00          -
537.90/538.12	c   diving/probing LP:     142.98       3671      73419      20.00     513.49
537.90/538.12	c   strong branching :     185.01       1551     226575     146.08    1224.66
537.90/538.12	c     (at root node) :          -         55      11145     202.64          -
537.90/538.12	c   conflict analysis:       0.00          0          0       0.00          -
537.90/538.12	c B&B Tree           :
537.90/538.12	c   number of runs   :          1
537.90/538.12	c   nodes            :       1395
537.90/538.12	c   nodes (total)    :       1395
537.90/538.12	c   nodes left       :          0
537.90/538.12	c   max depth        :        131
537.90/538.12	c   max depth (total):        131
537.90/538.12	c   backtracks       :        127 (9.1%)
537.90/538.12	c   delayed cutoffs  :          0
537.90/538.12	c   repropagations   :         10 (4 domain reductions, 0 cutoffs)
537.90/538.12	c   avg switch length:       3.41
537.90/538.12	c   switching time   :       1.11
537.90/538.12	c Solution           :
537.90/538.12	c   Solutions found  :         24 (20 improvements)
537.90/538.12	c   Primal Bound     : +2.40000000000000e+01   (in run 1, after 1380 nodes, 533.74 seconds, depth 109, found by <relaxation>)
537.90/538.12	c   Dual Bound       : +2.40000000000000e+01
537.90/538.12	c   Gap              :       0.00 %
537.90/538.12	c   Root Dual Bound  : +2.23182742088940e+01
538.00/538.27	c Time complete: 538.07.

Verifier Data 

OK	24

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869467-1245173298/watcher-1869467-1245173298 -o /tmp/evaluation-result-1869467-1245173298/solver-1869467-1245173298 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869467-1245173298.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=8648 CPUtime=0
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 1117 0 0 0 0 0 0 0 18 0 1 0 70062763 8855552 1101 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 2162 1109 362 1256 0 901 0

[startup+0.0470189 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=12992 CPUtime=0.03
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 2243 0 0 0 3 0 0 0 18 0 1 0 70062763 13303808 2227 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 3248 2227 378 1256 0 1987 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12992

[startup+0.101029 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=14100 CPUtime=0.08
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 2497 0 0 0 8 0 0 0 18 0 1 0 70062763 14438400 2481 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 3525 2483 378 1256 0 2264 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14100

[startup+0.301069 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=18612 CPUtime=0.29
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 3641 0 0 0 28 1 0 0 19 0 1 0 70062763 19058688 3625 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 4653 3625 378 1256 0 3392 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18612

[startup+0.701149 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=64404 CPUtime=0.69
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 15169 0 0 0 63 6 0 0 23 0 1 0 70062763 65949696 14799 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 16101 14799 454 1256 0 14840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64404

[startup+1.50131 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1841544/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=80328 CPUtime=1.48
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 19239 0 0 0 140 8 0 0 25 0 1 0 70062763 82255872 18869 1992294400 4194304 9342243 548682068736 18446744073709551615 4298214 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 20082 18869 520 1256 0 18821 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80328

[startup+3.10163 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1796808/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=142720 CPUtime=3.09
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 34201 0 0 0 295 14 0 0 25 0 1 0 70062763 146145280 33465 1992294400 4194304 9342243 548682068736 18446744073709551615 5575813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 35680 33465 630 1256 0 34419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142720

[startup+6.30127 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1759176/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=156672 CPUtime=6.29
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 39641 0 0 0 610 19 0 0 25 0 1 0 70062763 160432128 37715 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 39168 37715 646 1256 0 37907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 156672

[startup+12.7015 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1740368/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=167664 CPUtime=12.69
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 42977 0 0 0 1247 22 0 0 25 0 1 0 70062763 171687936 40449 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 41916 40449 646 1256 0 40655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 167664

[startup+25.5011 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=25.48
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54845 0 0 0 2515 33 0 0 25 0 1 0 70062763 194052096 46164 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46164 696 1256 0 46115 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 189504

[startup+51.1012 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8409
/proc/meminfo: memFree=1717712/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=51.07
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54845 0 0 0 5069 38 0 0 25 0 1 0 70062763 194052096 46164 1992294400 4194304 9342243 548682068736 18446744073709551615 6039466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46164 696 1256 0 46115 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 189504

[startup+102.305 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 8409
/proc/meminfo: memFree=1717712/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=102.25
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54845 0 0 0 10181 44 0 0 25 0 1 0 70062763 194052096 46164 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46164 696 1256 0 46115 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 189504

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8409
/proc/meminfo: memFree=1717648/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=162.23
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54854 0 0 0 16171 52 0 0 25 0 1 0 70062763 194052096 46173 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46173 702 1256 0 46115 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 189504

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=222.22
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 61258 0 0 0 22157 65 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 189504

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=282.19
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 61258 0 0 0 28147 72 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6039466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 189504

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=342.17
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 61258 0 0 0 34139 78 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 189504

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=402.15
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 68054 0 0 0 40127 88 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6039493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 189504

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=462.13
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 68054 0 0 0 46117 96 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 189504

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=522.1
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 52104 106 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 189504

Solver just ended. Dumping a history of the last processes samples

[startup+524.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=524.51
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 52344 107 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 524.51
Current children cumulated vsize (KiB) 189504

[startup+531.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=530.91
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 52983 108 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 530.91
Current children cumulated vsize (KiB) 189504

[startup+534.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=534.1
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53302 108 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 534.1
Current children cumulated vsize (KiB) 189504

[startup+535.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=535.7
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53462 108 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6366281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 535.7
Current children cumulated vsize (KiB) 189504

[startup+537.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=537.3
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53621 109 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 537.3
Current children cumulated vsize (KiB) 189504

[startup+537.905 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=537.71
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53662 109 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 537.71
Current children cumulated vsize (KiB) 189504

[startup+538.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=537.9
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53681 109 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 537.9
Current children cumulated vsize (KiB) 189504

[startup+538.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=538
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75585 0 0 0 53691 109 0 0 17 0 1 0 70062763 194052096 46179 1992294400 4194304 9342243 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46179 704 1256 0 46115 0
Current children cumulated CPU time (s) 538
Current children cumulated vsize (KiB) 189504

Child status: 0
Real time (s): 538.272
CPU time (s): 538.081
CPU user time (s): 536.957
CPU system time (s): 1.12383
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 219836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 536.957
system time used= 1.12383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 1121

runsolver used 0.451931 second user time and 1.09083 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-16 19:28:18
IDJOB=1869467
IDBENCH=2888
IDSOLVER=684
FILE ID=node33/1869467-1245173298
PBS_JOBID= 9363907
Free space on /tmp= 65948 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869467-1245173298/watcher-1869467-1245173298 -o /tmp/evaluation-result-1869467-1245173298/solver-1869467-1245173298 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869467-1245173298.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc
RANDOM SEED=1667168602

node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1900656 kB
Buffers:         32128 kB
Cached:          68128 kB
SwapCached:        384 kB
Active:          69400 kB
Inactive:        44224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1900656 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           14436 kB
Writeback:           0 kB
Mapped:          21756 kB
Slab:            27672 kB
Committed_AS:   121096 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65940 MiB
End job on node33 at 2009-06-16 19:37:16