Trace number 2693144

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1801.02 1800.95

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
MD5SUM0541e9779bfbef683d2818db74c4cdd4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.023995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2728
Total number of constraints8382
Number of soft constraints5630
Number of constraints which are clauses8210
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints172
Minimum length of a constraint1
Maximum length of a constraint17
Top cost 280780
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 280779
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 143
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693144-1277916608.wbo>
0.03/0.09	c original problem has 13988 variables (8358 bin, 0 int, 0 impl, 5630 cont) and 14013 constraints
0.03/0.09	c problem read
0.03/0.09	c presolving settings loaded
0.19/0.24	c presolving:
0.19/0.28	c (round 1) 150 del vars, 399 del conss, 84 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17734 impls, 0 clqs
0.29/0.30	c (round 2) 440 del vars, 1197 del conss, 134 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17826 impls, 0 clqs
0.29/0.32	c (round 3) 1049 del vars, 1730 del conss, 153 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17838 impls, 0 clqs
0.29/0.33	c (round 4) 1562 del vars, 2020 del conss, 163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17840 impls, 0 clqs
0.29/0.34	c (round 5) 1781 del vars, 2215 del conss, 163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17840 impls, 0 clqs
0.29/0.36	c (round 6) 1959 del vars, 2268 del conss, 4955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17840 impls, 0 clqs
0.39/0.40	c (round 7) 2012 del vars, 2268 del conss, 4955 chg bounds, 0 chg sides, 0 chg coeffs, 2356 upgd conss, 17840 impls, 0 clqs
1.19/1.29	c    (1.1s) probing: 1000/7184 (13.9%) - 0 fixings, 0 aggregations, 1140 implications, 0 bound changes
1.88/1.99	c    (1.8s) probing: 2000/7184 (27.8%) - 0 fixings, 0 aggregations, 1279 implications, 0 bound changes
1.88/1.99	c    (1.8s) probing: 2001/7184 (27.9%) - 0 fixings, 0 aggregations, 1279 implications, 0 bound changes
1.88/1.99	c    (1.8s) probing aborted: 2000/2000 successive useless probings
1.88/1.99	c presolving (8 rounds):
1.88/1.99	c  2012 deleted vars, 2268 deleted constraints, 4955 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.88/1.99	c  21358 implications, 0 cliques
1.88/1.99	c presolved problem has 11976 variables (7184 bin, 0 int, 0 impl, 4792 cont) and 11745 constraints
1.88/1.99	c    4792 constraints of type <indicator>
1.88/1.99	c     195 constraints of type <varbound>
1.88/1.99	c      51 constraints of type <knapsack>
1.88/1.99	c    4597 constraints of type <linear>
1.88/1.99	c    2110 constraints of type <logicor>
1.88/1.99	c transformed objective value is always integral (scale: 1)
1.88/1.99	c Presolving Time: 1.80
1.88/1.99	c - non default parameters ----------------------------------------------------------------------
1.88/1.99	c # SCIP version 1.2.1.2
1.88/1.99	c 
1.88/1.99	c # frequency for displaying node information lines
1.88/1.99	c # [type: int, range: [-1,2147483647], default: 100]
1.88/1.99	c display/freq = 10000
1.88/1.99	c 
1.88/1.99	c # maximal time in seconds to run
1.88/1.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.88/1.99	c limits/time = 1799.92
1.88/1.99	c 
1.88/1.99	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.88/1.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.88/1.99	c limits/memory = 3420
1.88/1.99	c 
1.88/1.99	c # should presolving try to simplify inequalities
1.88/1.99	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.88/1.99	c constraints/linear/simplifyinequalities = TRUE
1.88/1.99	c 
1.88/1.99	c # should presolving try to simplify knapsacks
1.88/1.99	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.88/1.99	c constraints/knapsack/simplifyinequalities = TRUE
1.88/1.99	c 
1.88/1.99	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.88/1.99	c # [type: int, range: [-1,2147483647], default: -1]
1.88/1.99	c separating/rapidlearning/freq = 0
1.88/1.99	c 
1.88/1.99	c -----------------------------------------------------------------------------------------------
1.88/1.99	c start solving
1.88/1.99	c 
1.98/2.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.98/2.02	c   1.9s|     1 |     0 |     0 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2161 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.98/2.04	c   1.9s|     1 |     0 |   322 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2337 | 176 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.98/2.05	c   1.9s|     1 |     0 |   575 |     - |  47M|   0 |   0 |  11k|  11k|  11k|2540 | 379 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.98/2.07	c   1.9s|     1 |     0 |   834 |     - |  47M|   0 |  62 |  11k|  11k|  11k|2741 | 580 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.19/2.27	c   2.1s|     1 |     0 |  1029 |     - |  47M|   0 | 129 |  11k|  11k|  11k|2956 | 795 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.49/2.50	c   2.3s|     1 |     0 |  1241 |     - |  48M|   0 | 193 |  11k|  11k|  11k|3112 | 951 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.59/2.67	c   2.5s|     1 |     0 |  1365 |     - |  48M|   0 |   0 |  11k|  11k|  11k|3205 |1044 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.69/2.72	c   2.5s|     1 |     0 |  1447 |     - |  48M|   0 |  30 |  11k|  11k|  11k|3231 |1070 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.89/2.90	c   2.7s|     1 |     0 |  1478 |     - |  48M|   0 | 162 |  11k|  11k|  11k|3277 |1116 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.99/3.08	c   2.9s|     1 |     0 |  1582 |     - |  48M|   0 | 337 |  11k|  11k|  11k|3299 |1138 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.29/3.30	c   3.1s|     1 |     0 |  1682 |     - |  49M|   0 | 212 |  11k|  11k|  11k|3362 |1201 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.48/3.50	c   3.3s|     1 |     0 |  1757 |     - |  49M|   0 | 238 |  11k|  11k|  11k|3394 |1233 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.88/3.96	c   3.8s|     1 |     2 |  1757 |     - |  49M|   0 | 238 |  11k|  11k|  11k|3394 |1233 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
137.99/138.07	c   135s| 10000 | 10001 | 38166 |   3.6 |  95M|  95 |   0 |  11k|  11k|  11k|3408 |8110 |   0 |5864 | 0.000000e+00 |      --      |    Inf 
227.10/227.15	c   223s| 20000 | 20001 | 56285 |   2.7 | 140M|  99 |   0 |  11k|  11k|  11k|3389 |  11k|   0 |6303 | 0.000000e+00 |      --      |    Inf 
310.30/310.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
310.30/310.35	c   305s| 30000 | 30001 | 67651 |   2.2 | 185M| 115 |   0 |  11k|  11k|  11k|3380 |  14k|   0 |6377 | 0.000000e+00 |      --      |    Inf 
374.91/374.99	o 229534
374.91/374.99	c y 369s| 37873 | 37872 | 74264 |   1.9 | 220M| 131 |   - |  11k|  11k|   0 |   0 |  15k|   0 |6577 | 0.000000e+00 | 2.295340e+05 |    Inf 
392.10/392.10	c   386s| 40000 | 40001 | 74960 |   1.8 | 231M| 151 |   0 |  11k|  11k|  11k|3378 |  15k|   0 |6597 | 0.000000e+00 | 2.295340e+05 |    Inf 
473.31/473.33	c   467s| 50000 | 50001 | 80327 |   1.6 | 284M| 151 |   0 |  11k|  11k|  11k|3384 |  17k|   0 |6717 | 0.000000e+00 | 2.295340e+05 |    Inf 
552.81/552.86	c   545s| 60000 | 60001 | 84538 |   1.4 | 333M| 151 |   0 |  11k|  11k|  11k|3388 |  18k|   0 |6756 | 0.000000e+00 | 2.295340e+05 |    Inf 
632.81/632.86	c   625s| 70000 | 70001 | 88495 |   1.2 | 380M| 151 |   0 |  11k|  11k|  11k|3400 |  19k|   0 |6792 | 0.000000e+00 | 2.295340e+05 |    Inf 
720.02/720.04	c   711s| 80000 | 80001 | 93229 |   1.1 | 425M| 151 |   0 |  11k|  11k|  11k|3388 |  20k|   0 |6875 | 0.000000e+00 | 2.295340e+05 |    Inf 
809.12/809.17	c   799s| 90000 | 90001 | 96921 |   1.1 | 469M| 151 |   0 |  11k|  11k|  11k|3403 |  21k|   0 |6907 | 0.000000e+00 | 2.295340e+05 |    Inf 
896.93/896.99	c   886s|100000 |100001 | 99780 |   1.0 | 513M| 151 |   0 |  11k|  11k|  11k|3365 |  22k|   0 |6907 | 0.000000e+00 | 2.295340e+05 |    Inf 
985.53/985.60	c   974s|110000 |110001 |104476 |   0.9 | 558M| 151 |   0 |  11k|  11k|  11k|3375 |  23k|   0 |6944 | 0.000000e+00 | 2.295340e+05 |    Inf 
1074.03/1074.08	c  1062s|120000 |120001 |108628 |   0.9 | 602M| 159 |   0 |  11k|  11k|  11k|3411 |  24k|   0 |6970 | 0.000000e+00 | 2.295340e+05 |    Inf 
1162.75/1162.79	c  1150s|130000 |130001 |112277 |   0.9 | 646M| 173 |   0 |  11k|  11k|  11k|3403 |  25k|   0 |7030 | 0.000000e+00 | 2.295340e+05 |    Inf 
1250.04/1250.05	c  1236s|140000 |140001 |116027 |   0.8 | 691M| 173 |   0 |  11k|  11k|  11k|3412 |  26k|   0 |7050 | 0.000000e+00 | 2.295340e+05 |    Inf 
1337.95/1337.99	c  1323s|150000 |150001 |119595 |   0.8 | 735M| 177 |   0 |  11k|  11k|  11k|3387 |  28k|   0 |7066 | 0.000000e+00 | 2.295340e+05 |    Inf 
1425.45/1425.45	c  1409s|160000 |160001 |122699 |   0.8 | 779M| 177 |   0 |  11k|  11k|  11k|3411 |  28k|   0 |7113 | 0.000000e+00 | 2.295340e+05 |    Inf 
1513.45/1513.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1513.45/1513.44	c  1496s|170000 |170001 |126389 |   0.7 | 824M| 177 |   0 |  11k|  11k|  11k|3392 |  30k|   0 |7150 | 0.000000e+00 | 2.295340e+05 |    Inf 
1601.66/1601.62	c  1584s|180000 |180001 |130771 |   0.7 | 868M| 179 |   0 |  11k|  11k|  11k|3426 |  31k|   0 |7251 | 0.000000e+00 | 2.295340e+05 |    Inf 
1690.56/1690.58	c  1672s|190000 |190001 |134562 |   0.7 | 912M| 179 |   0 |  11k|  11k|  11k|3423 |  33k|   0 |7259 | 0.000000e+00 | 2.295340e+05 |    Inf 
1778.96/1778.93	c  1759s|200000 |200001 |138144 |   0.7 | 957M| 181 |   1 |  11k|  11k|  11k|3415 |  34k|   0 |7328 | 0.000000e+00 | 2.295340e+05 |    Inf 
1800.07/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.01	c 
1800.07/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.01	c Solving Time (sec) : 1780.02
1800.07/1800.01	c Solving Nodes      : 202339
1800.07/1800.01	c Primal Bound       : +2.29534000000000e+05 (101 solutions)
1800.07/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.01	c Gap                : infinite
1800.57/1800.53	s SATISFIABLE
1800.57/1800.53	v x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 
1800.57/1800.53	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 
1800.57/1800.53	v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 x2675 x2674 
1800.57/1800.53	v -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 
1800.57/1800.53	v -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 
1800.57/1800.53	v -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 
1800.57/1800.53	v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 
1800.57/1800.53	v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 
1800.57/1800.53	v -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 
1800.57/1800.53	v -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 
1800.57/1800.53	v -x2548 -x2547 -x2546 -x2545 x2544 x2543 x2542 x2541 x2540 x2539 x2538 x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 
1800.57/1800.53	v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 
1800.57/1800.53	v -x2511 -x2510 -x2509 -x2508 x2507 -x2506 -x2505 -x2504 -x2503 x2502 x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 
1800.57/1800.53	v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 
1800.57/1800.53	v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 x2463 -x2462 -x2461 -x2460 -x2459 -x2458 
1800.57/1800.53	v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 
1800.57/1800.53	v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 
1800.57/1800.53	v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 
1800.57/1800.53	v -x2403 x2402 x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 x2387 -x2386 
1800.57/1800.53	v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 
1800.57/1800.53	v -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 x2361 -x2360 -x2359 x2358 x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 
1800.57/1800.53	v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 
1800.57/1800.53	v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 x2320 x2319 x2318 x2317 -x2316 -x2315 -x2314 
1800.57/1800.53	v -x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 
1800.57/1800.53	v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 x2283 -x2282 -x2281 -x2280 -x2279 -x2278 
1800.57/1800.53	v -x2277 -x2276 -x2275 -x2274 x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 
1800.57/1800.53	v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 x2246 -x2245 -x2244 -x2243 -x2242 
1800.57/1800.53	v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 
1800.57/1800.53	v -x2223 -x2222 -x2221 -x2220 -x2219 x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 
1800.57/1800.53	v -x2205 -x2204 -x2203 x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 
1800.57/1800.53	v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 x2180 x2179 x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 
1800.57/1800.53	v -x2168 -x2167 x2166 -x2165 x2164 x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 x2152 -x2151 
1800.57/1800.53	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
1800.57/1800.53	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 x2118 -x2117 -x2116 -x2115 
1800.57/1800.53	v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 -x2100 -x2099 -x2098 -x2097 
1800.57/1800.53	v -x2096 -x2095 -x2094 x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 
1800.57/1800.53	v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
1800.57/1800.53	v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 
1800.57/1800.53	v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 
1800.57/1800.53	v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 x2013 x2012 x2011 x2010 -x2009 -x2008 x2007 
1800.57/1800.53	v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 
1800.57/1800.53	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 x1973 -x1972 -x1971 
1800.57/1800.53	v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 
1800.57/1800.53	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 
1800.57/1800.53	v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 x1921 -x1920 x1919 x1918 x1917 
1800.57/1800.53	v x1916 x1915 x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
1800.57/1800.53	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 
1800.57/1800.53	v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 
1800.57/1800.53	v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 
1800.57/1800.53	v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 x1830 x1829 -x1828 -x1827 -x1826 
1800.57/1800.53	v -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 x1816 x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 
1800.57/1800.53	v -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
1800.57/1800.53	v -x1789 -x1788 -x1787 -x1786 -x1785 x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
1800.57/1800.53	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 
1800.57/1800.53	v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 x1738 -x1737 -x1736 
1800.57/1800.53	v -x1735 -x1734 -x1733 -x1732 -x1731 x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 x1722 -x1721 x1720 x1719 x1718 -x1717 
1800.57/1800.53	v -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 
1800.57/1800.53	v -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 x1688 x1687 x1686 -x1685 x1684 -x1683 x1682 -x1681 
1800.57/1800.53	v -x1680 -x1679 -x1678 -x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 
1800.57/1800.53	v -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 x1646 -x1645 
1800.57/1800.53	v x1644 -x1643 x1642 x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 
1800.57/1800.53	v -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 
1800.57/1800.53	v -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 -x1594 -x1593 -x1592 -x1591 -x1590 
1800.57/1800.53	v x1589 x1588 x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 
1800.57/1800.53	v -x1571 -x1570 -x1569 -x1568 x1567 x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 
1800.57/1800.53	v -x1553 -x1552 -x1551 -x1550 x1549 x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 
1800.57/1800.53	v -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 
1800.57/1800.53	v x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 
1800.57/1800.53	v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 
1800.57/1800.53	v -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 
1800.57/1800.53	v x1463 x1462 x1461 -x1460 x1459 x1458 x1457 x1456 -x1455 -x1454 x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 
1800.57/1800.53	v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 
1800.57/1800.53	v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 x1416 x1415 x1414 x1413 x1412 -x1411 -x1410 -x1409 -x1408 
1800.57/1800.53	v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 
1800.57/1800.53	v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 
1800.57/1800.53	v -x1372 -x1371 x1370 x1369 x1368 x1367 x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
1800.57/1800.53	v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
1800.57/1800.53	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 
1800.57/1800.53	v -x1317 -x1316 -x1315 x1314 x1313 x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 
1800.57/1800.53	v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
1800.57/1800.53	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 
1800.57/1800.53	v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 
1800.57/1800.53	v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 x1229 x1228 
1800.57/1800.53	v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 
1800.57/1800.53	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
1800.57/1800.53	v -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 x1184 x1183 x1182 x1181 x1180 x1179 x1178 x1177 x1176 x1175 x1174 -x1173 -x1172 
1800.57/1800.53	v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 
1800.57/1800.53	v -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 x1144 x1143 -x1142 x1141 x1140 x1139 x1138 -x1137 -x1136 
1800.57/1800.53	v -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 
1800.57/1800.53	v -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 x1101 x1100 
1800.57/1800.53	v -x1099 -x1098 -x1097 -x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084 -x1083 -x1082 -x1081 -x1080 
1800.57/1800.53	v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
1800.57/1800.53	v -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 x1049 x1048 -x1047 -x1046 -x1045 -x1044 
1800.57/1800.53	v -x1043 -x1042 x1041 x1040 x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 
1800.57/1800.53	v -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 x1012 x1011 x1010 -x1009 x1008 x1007 
1800.57/1800.53	v x1006 x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 x997 x996 x995 x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 
1800.57/1800.53	v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 -x968 x967 x966 x965 x964 x963 
1800.57/1800.53	v x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 -x952 -x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 
1800.57/1800.53	v -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 x922 x921 x920 x919 
1800.57/1800.53	v -x918 -x917 -x916 x915 -x914 -x913 -x912 x911 x910 x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 
1800.57/1800.53	v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 
1800.57/1800.53	v -x875 -x874 x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 x855 x854 
1800.57/1800.53	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 x837 x836 x835 x834 x833 x832 
1800.57/1800.53	v x831 x830 x829 x828 x827 x826 x825 x824 x823 x822 x821 x820 x819 x818 x817 x816 x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 
1800.57/1800.53	v x807 x806 x805 x804 x803 x802 x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 x790 x789 x788 x787 -x786 -x785 
1800.57/1800.53	v x784 -x783 x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 x764 
1800.57/1800.53	v x763 x762 x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 x749 x748 x747 x746 -x745 -x744 -x743 -x742 
1800.57/1800.53	v -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 x732 x731 x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 
1800.57/1800.53	v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 x704 -x703 x702 x701 x700 x699 x698 
1800.57/1800.53	v x697 x696 x695 x694 x693 x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 x677 x676 x675 
1800.57/1800.53	v x674 x673 x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 x655 x654 x653 
1800.57/1800.53	v x652 x651 x650 x649 x648 x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 
1800.57/1800.53	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 x616 x615 x614 x613 x612 x611 x610 -x609 
1800.57/1800.53	v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 
1800.57/1800.53	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 x568 x567 
1800.57/1800.53	v x566 x565 x564 x563 x562 x561 x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 
1800.57/1800.53	v -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 x528 x527 x526 x525 x524 x523 x522 x521 
1800.57/1800.53	v x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 -x505 -x504 -x503 -x502 -x501 x500 x499 -x498 -x497 
1800.57/1800.53	v -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 x482 x481 x480 x479 x478 x477 x476 x475 
1800.57/1800.53	v x474 x473 x472 x471 x470 x469 x468 x467 x466 x465 -x464 -x463 x462 x461 x460 x459 x458 x457 x456 x455 x454 x453 x452 x451 -x450 
1800.57/1800.53	v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 
1800.57/1800.53	v x426 x425 x424 x423 x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 
1800.57/1800.53	v -x404 -x403 -x402 x401 x400 x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 x391 x390 -x389 -x388 -x387 x386 x385 -x384 -x383 
1800.57/1800.53	v -x382 x381 x380 x379 -x378 -x377 -x376 x375 x374 x373 x372 -x371 -x370 -x369 -x368 x367 x366 x365 -x364 -x363 -x362 -x361 -x360 
1800.57/1800.53	v x359 -x358 x357 x356 x355 -x354 x353 -x352 -x351 -x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 
1800.57/1800.53	v -x335 x334 x333 x332 x331 x330 x329 x328 x327 x326 x325 x324 x323 x322 x321 x320 x319 -x318 -x317 -x316 -x315 -x314 x313 
1800.57/1800.53	v -x312 -x311 -x310 x309 -x308 -x307 -x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 
1800.57/1800.53	v x288 x287 x286 x285 -x284 x283 x282 x281 x280 x279 x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 
1800.57/1800.53	v -x265 -x264 -x263 -x262 x261 x260 x259 x258 x257 x256 -x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 
1800.57/1800.53	v x241 x240 x239 x238 x237 x236 x235 x234 x233 x232 x231 x230 x229 x228 -x227 x226 x225 x224 x223 -x222 x221 x220 x219 x218 x217 
1800.57/1800.53	v x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 -x202 -x201 -x200 -x199 -x198 x197 x196 x195 x194 x193 
1800.57/1800.53	v x192 x191 x190 x189 x188 x187 x186 x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 x177 x176 x175 x174 x173 x172 x171 x170 
1800.57/1800.53	v x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1800.57/1800.53	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 
1800.57/1800.53	v x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 
1800.57/1800.53	v x97 x96 x95 x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 
1800.57/1800.53	v x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 -x56 -x55 x54 x53 x52 x51 x50 x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 x41 
1800.57/1800.53	v x40 x39 -x38 -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 x11 
1800.57/1800.53	v x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 
1800.57/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.57/1800.53	c Solving Time       :    1780.02
1800.57/1800.53	c Original Problem   :
1800.57/1800.53	c   Problem name     : HOME/instance-2693144-1277916608.wbo
1800.57/1800.53	c   Variables        : 13988 (8358 binary, 0 integer, 0 implicit integer, 5630 continuous)
1800.57/1800.53	c   Constraints      : 14013 initial, 14013 maximal
1800.57/1800.53	c Presolved Problem  :
1800.57/1800.53	c   Problem name     : t_HOME/instance-2693144-1277916608.wbo
1800.57/1800.53	c   Variables        : 11976 (7184 binary, 0 integer, 0 implicit integer, 4792 continuous)
1800.57/1800.53	c   Constraints      : 11745 initial, 11745 maximal
1800.57/1800.53	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.57/1800.53	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.57/1800.53	c   dualfix          :       0.00       1763          0          0          0          0          0          0          0
1800.57/1800.53	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.57/1800.53	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.57/1800.53	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.57/1800.53	c   probing          :       1.54          0          0          0          0          0          0          0          0
1800.57/1800.53	c   indicator        :       0.04          0          0          0          0          0        838          0          0
1800.57/1800.53	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.57/1800.53	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.57/1800.53	c   linear           :       0.09        163         86          0       4955          0       1430          0          0
1800.57/1800.53	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.57/1800.53	c   root node        :          -          0          -          -          0          -          -          -          -
1800.57/1800.53	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.57/1800.53	c   integral         :          0          0          0     212708          0          0          0          0          0      18232
1800.57/1800.53	c   indicator        :       4792          0     563024     203592          0          0     125928          0          0          0
1800.57/1800.53	c   varbound         :        195         11     563024     203592          0          0      87406        534          0          0
1800.57/1800.53	c   knapsack         :         51         11     563024     203202          0          0       1988          4          0          0
1800.57/1800.53	c   linear           :       4597         11     563024     203202          0          0      31633      34151          0          0
1800.57/1800.53	c   logicor          :       2110         11     382313     193223          0          0     531402          0          0          0
1800.57/1800.53	c   countsols        :          0          0          0     193223          0          0          0          0          0          0
1800.57/1800.53	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.57/1800.53	c   integral         :      43.81       0.00       0.00      43.81       0.00
1800.57/1800.53	c   indicator        :     208.81       0.00      44.98     163.83       0.00
1800.57/1800.53	c   varbound         :       5.65       0.00       2.82       2.83       0.00
1800.57/1800.53	c   knapsack         :       2.06       0.00       1.03       1.03       0.00
1800.57/1800.53	c   linear           :     270.88       0.03      35.66     235.19       0.00
1800.57/1800.53	c   logicor          :      27.31       0.00       2.66      24.65       0.00
1800.57/1800.53	c   countsols        :       0.08       0.00       0.00       0.08       0.00
1800.57/1800.53	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.57/1800.53	c   vbounds          :      14.06     218162          0       3793
1800.57/1800.53	c   rootredcost      :       0.23          1          0          0
1800.57/1800.53	c   pseudoobj        :      72.83     558509          0          0
1800.57/1800.53	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.57/1800.53	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.57/1800.53	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.57/1800.53	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.57/1800.53	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.57/1800.53	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.57/1800.53	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.57/1800.53	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.57/1800.53	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.57/1800.53	c   cut pool         :       0.00          7          -          -          4          -    (maximal pool size: 877)
1800.57/1800.53	c   redcost          :      64.02     212659          0          0          0          0
1800.57/1800.53	c   impliedbounds    :       0.00          7          0          0         53          0
1800.57/1800.53	c   intobj           :       0.00          0          0          0          0          0
1800.57/1800.53	c   cgmip            :       0.00          0          0          0          0          0
1800.57/1800.53	c   gomory           :       0.18          7          0          0       1621          0
1800.57/1800.53	c   strongcg         :       0.07          7          0          0          0          0
1800.57/1800.53	c   cmir             :       0.24          7          0          0          3          0
1800.57/1800.53	c   flowcover        :       0.69          7          0          0         25          0
1800.57/1800.53	c   clique           :       0.00          7          0          0          0          0
1800.57/1800.53	c   zerohalf         :       0.00          0          0          0          0          0
1800.57/1800.53	c   mcf              :       0.01          1          0          0          0          0
1800.57/1800.53	c   rapidlearning    :       0.00          0          0          0          0          0
1800.57/1800.53	c Pricers            :       Time      Calls       Vars
1800.57/1800.53	c   problem variables:       0.00          0          0
1800.57/1800.53	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.57/1800.53	c   relpscost        :      43.63       9116          0          0          0          0      18232
1800.57/1800.53	c   pscost           :       0.00          0          0          0          0          0          0
1800.57/1800.53	c   inference        :     265.85     193223          0          0          0          0     386446
1800.57/1800.53	c   mostinf          :       0.00          0          0          0          0          0          0
1800.57/1800.53	c   leastinf         :       0.00          0          0          0          0          0          0
1800.57/1800.53	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.57/1800.53	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.57/1800.53	c   random           :       0.00          0          0          0          0          0          0
1800.57/1800.53	c Primal Heuristics  :       Time      Calls      Found
1800.57/1800.53	c   LP solutions     :       0.00          -          0
1800.57/1800.53	c   pseudo solutions :       0.00          -          0
1800.57/1800.53	c   oneopt           :       0.30          1          0
1800.57/1800.53	c   intshifting      :       0.02          7          0
1800.57/1800.53	c   crossover        :       0.78          9          0
1800.57/1800.53	c   guideddiving     :       9.98       1911          0
1800.57/1800.53	c   linesearchdiving :      12.42       2565          0
1800.57/1800.53	c   pscostdiving     :      12.50       2565          0
1800.57/1800.53	c   fracdiving       :      12.90       2565          0
1800.57/1800.53	c   veclendiving     :      12.04       2565          0
1800.57/1800.53	c   coefdiving       :      12.64       2566          0
1800.57/1800.53	c   rootsoldiving    :      13.91       2557          0
1800.57/1800.53	c   trivial          :       0.11          2          0
1800.57/1800.53	c   simplerounding   :       0.29       8986          0
1800.57/1800.53	c   zirounding       :       1.01       1000          0
1800.57/1800.53	c   rounding         :       1.76       1289          0
1800.57/1800.53	c   shifting         :       1.73        372          0
1800.57/1800.53	c   twoopt           :       0.00          0          0
1800.57/1800.53	c   fixandinfer      :       0.00          0          0
1800.57/1800.53	c   feaspump         :       2.84         36          0
1800.57/1800.53	c   intdiving        :       0.00          0          0
1800.57/1800.53	c   actconsdiving    :       0.00          0          0
1800.57/1800.53	c   objpscostdiving  :      13.49       2557          0
1800.57/1800.53	c   octane           :       0.00          0          0
1800.57/1800.53	c   rens             :       0.07          1          0
1800.57/1800.53	c   rins             :       0.00          0          0
1800.57/1800.53	c   localbranching   :       0.00          0          0
1800.57/1800.53	c   mutation         :       0.00          0          0
1800.57/1800.53	c   dins             :       0.00          0          0
1800.57/1800.53	c   undercover       :       0.00          0          0
1800.57/1800.53	c   nlp              :       0.11          0          0
1800.57/1800.53	c   trysol           :       6.88       3467        101
1800.57/1800.53	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.57/1800.53	c   primal LP        :       0.01          0          0       0.00       0.00
1800.57/1800.53	c   dual LP          :     422.94      24970     137512       5.51     325.13
1800.57/1800.53	c   lex dual LP      :       0.00          0          0       0.00          -
1800.57/1800.53	c   barrier LP       :       0.00          0          0       0.00          -
1800.57/1800.53	c   diving/probing LP:       2.21        422       1683       3.99     761.54
1800.57/1800.53	c   strong branching :      43.47       7444      93600      12.57    2153.21
1800.57/1800.53	c     (at root node) :          -         18       1614      89.67          -
1800.57/1800.53	c   conflict analysis:       0.00          0          0       0.00          -
1800.57/1800.53	c B&B Tree           :
1800.57/1800.53	c   number of runs   :          1
1800.57/1800.53	c   nodes            :     202339
1800.57/1800.53	c   nodes (total)    :     202339
1800.57/1800.53	c   nodes left       :     202340
1800.57/1800.53	c   max depth        :        181
1800.57/1800.53	c   max depth (total):        181
1800.57/1800.53	c   backtracks       :       2598 (1.3%)
1800.57/1800.53	c   delayed cutoffs  :          0
1800.57/1800.53	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.57/1800.53	c   avg switch length:       2.28
1800.57/1800.53	c   switching time   :      23.75
1800.57/1800.53	c Solution           :
1800.57/1800.53	c   Solutions found  :        101 (1 improvements)
1800.57/1800.53	c   First Solution   : +2.29534000000000e+05   (in run 1, after 37872 nodes, 369.31 seconds, depth 132, found by <trysol>)
1800.57/1800.53	c   Primal Bound     : +2.29534000000000e+05   (in run 1, after 37872 nodes, 369.31 seconds, depth 132, found by <trysol>)
1800.57/1800.53	c   Dual Bound       : +0.00000000000000e+00
1800.57/1800.53	c   Gap              :   infinite
1800.57/1800.53	c   Root Dual Bound  : +0.00000000000000e+00
1800.57/1800.53	c   Root Iterations  :       1757
1800.96/1800.94	c Time complete: 1801.01.

Verifier Data 

OK	8130

Watcher Data 

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

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 15488
/proc/meminfo: memFree=30815804/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=10972 CPUtime=0
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 1666 0 0 0 0 0 0 0 21 0 1 0 132955669 11235328 1587 4089446400 4194304 9819077 140735772265952 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15488/statm: 2743 1587 392 1374 0 1364 0

[startup+0.045525 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 15488
/proc/meminfo: memFree=30815804/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=20528 CPUtime=0.03
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 4073 0 0 0 3 0 0 0 21 0 1 0 132955669 21020672 3994 4089446400 4194304 9819077 140735772265952 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15488/statm: 5132 3994 392 1374 0 3753 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20528

[startup+0.100506 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 15488
/proc/meminfo: memFree=30815804/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=37160 CPUtime=0.09
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8408 0 0 0 9 0 0 0 21 0 1 0 132955669 38051840 7948 4089446400 4194304 9819077 140735772265952 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 9290 8034 440 1374 0 7911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37160

[startup+0.300472 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 15488
/proc/meminfo: memFree=30815804/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=64080 CPUtime=0.29
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 15248 0 0 0 27 2 0 0 21 0 1 0 132955669 65617920 14530 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 16020 14530 504 1374 0 14641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64080

[startup+0.700392 s]
/proc/loadavg: 2.00 2.01 2.00 4/196 15488
/proc/meminfo: memFree=30815804/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=67112 CPUtime=0.69
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 19186 0 0 0 65 4 0 0 22 0 1 0 132955669 68722688 15333 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 16778 15333 553 1374 0 15399 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67112

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15489
/proc/meminfo: memFree=30755780/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=67628 CPUtime=1.48
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 19319 0 0 0 143 5 0 0 25 0 1 0 132955669 69251072 15466 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 16907 15466 558 1374 0 15528 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67628

[startup+3.10091 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15489
/proc/meminfo: memFree=30744620/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=87424 CPUtime=3.09
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 25112 0 0 0 302 7 0 0 25 0 1 0 132955669 89522176 19532 4089446400 4194304 9819077 140735772265952 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 21856 19532 726 1374 0 20477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87424

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15489
/proc/meminfo: memFree=30735824/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=94564 CPUtime=6.28
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 80920 0 0 0 613 15 0 0 25 0 1 0 132955669 96833536 20813 4089446400 4194304 9819077 140735772265952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 23641 20813 753 1374 0 22262 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 94564

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15489
/proc/meminfo: memFree=30734580/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=95488 CPUtime=12.68
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 233975 0 0 0 1233 35 0 0 25 0 1 0 132955669 97779712 21022 4089446400 4194304 9819077 140735772265952 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 23872 21022 753 1374 0 22493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 95488

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15490
/proc/meminfo: memFree=30732780/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=94552 CPUtime=25.48
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 471594 0 0 0 2477 71 0 0 25 0 1 0 132955669 96821248 21363 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 23638 21363 753 1374 0 22259 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94552

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15490
/proc/meminfo: memFree=30721036/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=107648 CPUtime=51.09
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 927674 0 0 0 4971 138 0 0 25 0 1 0 132955669 110231552 23792 4089446400 4194304 9819077 140735772265952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 26912 23794 753 1374 0 25533 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 107648

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 15492
/proc/meminfo: memFree=30695804/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=124052 CPUtime=102.3
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 1481973 0 0 0 10000 230 0 0 25 0 1 0 132955669 127029248 28937 4089446400 4194304 9819077 140735772265952 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 31013 28937 753 1374 0 29634 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 124052

[startup+162.301 s]
/proc/loadavg: 2.46 2.12 2.04 3/197 15493
/proc/meminfo: memFree=30665512/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=153120 CPUtime=162.29
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 1974717 0 0 0 15907 322 0 0 25 0 1 0 132955669 156794880 36295 4089446400 4194304 9819077 140735772265952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 38280 36295 753 1374 0 36901 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 153120

[startup+222.301 s]
/proc/loadavg: 2.11 2.08 2.03 3/179 15524
/proc/meminfo: memFree=30932184/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=182288 CPUtime=222.3
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 2294480 0 0 0 21841 389 0 0 25 0 1 0 132955669 186662912 43577 4089446400 4194304 9819077 140735772265952 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 45572 43577 753 1374 0 44193 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 182288

[startup+282.301 s]
/proc/loadavg: 2.04 2.06 2.02 3/179 15526
/proc/meminfo: memFree=30884088/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=214224 CPUtime=282.3
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 2576477 0 0 0 27783 447 0 0 25 0 1 0 132955669 219365376 51588 4089446400 4194304 9819077 140735772265952 18446744073709551615 4903061 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 53556 51588 753 1374 0 52177 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 214224

[startup+342.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 15528
/proc/meminfo: memFree=30835680/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=245428 CPUtime=342.3
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 2885959 0 0 0 33712 518 0 0 25 0 1 0 132955669 251318272 59422 4089446400 4194304 9819077 140735772265952 18446744073709551615 4651583 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 61357 59422 753 1374 0 59978 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 245428

[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/179 15530
/proc/meminfo: memFree=30783904/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=282728 CPUtime=402.31
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 3219137 0 0 0 39643 588 0 0 25 0 1 0 132955669 289513472 68767 4089446400 4194304 9819077 140735772265952 18446744073709551615 6003003 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 70682 68767 755 1374 0 69303 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 282728

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15531
/proc/meminfo: memFree=30730544/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=323092 CPUtime=462.31
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 3526172 0 0 0 45572 659 0 0 25 0 1 0 132955669 330846208 78709 4089446400 4194304 9819077 140735772265952 18446744073709551615 6361720 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 80773 78709 755 1374 0 79394 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 323092

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15532
/proc/meminfo: memFree=30680268/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=357468 CPUtime=522.31
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 3788327 0 0 0 51516 715 0 0 25 0 1 0 132955669 366047232 87342 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 89367 87342 755 1374 0 87988 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 357468

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15534
/proc/meminfo: memFree=30627516/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=395860 CPUtime=582.31
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 4056387 0 0 0 57454 777 0 0 25 0 1 0 132955669 405360640 96974 4089446400 4194304 9819077 140735772265952 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 98965 96974 755 1374 0 97586 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 395860

[startup+642.301 s]
/proc/loadavg: 2.04 2.03 2.00 4/179 15536
/proc/meminfo: memFree=30580092/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=429736 CPUtime=642.32
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 4317162 0 0 0 63395 837 0 0 25 0 1 0 132955669 440049664 105008 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15488/statm: 107434 105008 755 1374 0 106055 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 429736

[startup+702.301 s]

################
# More data... #
################

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15555
/proc/meminfo: memFree=30322940/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=607668 CPUtime=1002.33
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 5549654 0 0 0 99072 1161 0 0 25 0 1 0 132955669 622252032 149650 4089446400 4194304 9819077 140735772265952 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 151917 149650 755 1374 0 150538 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 607668

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15556
/proc/meminfo: memFree=30284812/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=635216 CPUtime=1062.33
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 5799076 0 0 0 105011 1222 0 0 25 0 1 0 132955669 650461184 156563 4089446400 4194304 9819077 140735772265952 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 158804 156563 755 1374 0 157425 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 635216

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15557
/proc/meminfo: memFree=30236384/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=669020 CPUtime=1122.34
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 6074577 0 0 0 110949 1285 0 0 25 0 1 0 132955669 685076480 164974 4089446400 4194304 9819077 140735772265952 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 167255 164974 755 1374 0 165876 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 669020

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15559
/proc/meminfo: memFree=30197904/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=698004 CPUtime=1182.33
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 6307272 0 0 0 116890 1343 0 0 25 0 1 0 132955669 714756096 172316 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 174501 172316 755 1374 0 173122 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 698004

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15561
/proc/meminfo: memFree=30149380/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=725880 CPUtime=1242.34
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 6560737 0 0 0 122831 1403 0 0 25 0 1 0 132955669 743301120 179309 4089446400 4194304 9819077 140735772265952 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 181470 179309 755 1374 0 180091 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 725880

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15563
/proc/meminfo: memFree=30109136/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=755536 CPUtime=1302.35
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 6845099 0 0 0 128766 1469 0 0 25 0 1 0 132955669 773668864 186752 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 188884 186752 755 1374 0 187505 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 755536

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15564
/proc/meminfo: memFree=30065208/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=785148 CPUtime=1362.35
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 7079404 0 0 0 134707 1528 0 0 25 0 1 0 132955669 803991552 194082 4089446400 4194304 9819077 140735772265952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 196287 194082 755 1374 0 194908 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 785148

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15565
/proc/meminfo: memFree=30022752/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=815648 CPUtime=1422.36
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 7337216 0 0 0 140644 1592 0 0 25 0 1 0 132955669 835223552 201784 4089446400 4194304 9819077 140735772265952 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 203912 201784 755 1374 0 202533 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 815648

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15567
/proc/meminfo: memFree=29978660/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=844060 CPUtime=1482.36
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 7593388 0 0 0 146575 1661 0 0 25 0 1 0 132955669 864317440 208961 4089446400 4194304 9819077 140735772265952 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 211015 208961 755 1374 0 209636 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 844060

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15569
/proc/meminfo: memFree=29935096/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=873296 CPUtime=1542.35
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 7874235 0 0 0 152505 1730 0 0 25 0 1 0 132955669 894255104 216200 4089446400 4194304 9819077 140735772265952 18446744073709551615 4965831 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 218324 216200 755 1374 0 216945 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 873296

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15571
/proc/meminfo: memFree=29898564/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=902136 CPUtime=1602.36
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8114845 0 0 0 158440 1796 0 0 25 0 1 0 132955669 923787264 223435 4089446400 4194304 9819077 140735772265952 18446744073709551615 5813724 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 225534 223435 755 1374 0 224155 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 902136

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15572
/proc/meminfo: memFree=29856736/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=932040 CPUtime=1662.36
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8386196 0 0 0 164373 1863 0 0 25 0 1 0 132955669 954408960 230936 4089446400 4194304 9819077 140735772265952 18446744073709551615 7816410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 233010 230936 755 1374 0 231631 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 932040

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15573
/proc/meminfo: memFree=29814896/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=962756 CPUtime=1722.37
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8664665 0 0 0 170310 1927 0 0 25 0 1 0 132955669 985862144 238595 4089446400 4194304 9819077 140735772265952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 240689 238595 755 1374 0 239310 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 962756

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15575
/proc/meminfo: memFree=29773544/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=995612 CPUtime=1782.37
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8938216 0 0 0 176247 1990 0 0 25 0 1 0 132955669 1019506688 245949 4089446400 4194304 9819077 140735772265952 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 248903 245949 755 1374 0 247524 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 995612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15576
/proc/meminfo: memFree=29760760/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=1002424 CPUtime=1800.07
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8953092 0 0 0 178009 1998 0 0 25 0 1 0 132955669 1026482176 247650 4089446400 4194304 9819077 140735772265952 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15488/statm: 250606 247650 755 1374 0 249227 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1002424

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15577
/proc/meminfo: memFree=29760752/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=1002424 CPUtime=1800.67
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8953095 0 0 0 178069 1998 0 0 25 0 1 0 132955669 1026482176 247653 4089446400 4194304 9819077 140735772265952 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15488/statm: 250606 247653 758 1374 0 249227 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 1002424

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15577
/proc/meminfo: memFree=29760752/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=510444 CPUtime=1800.87
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8953095 0 0 0 178087 2000 0 0 25 0 1 0 132955669 522694656 124402 4089446400 4194304 9819077 140735772265952 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15488/statm: 127355 124402 758 1374 0 125976 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 510444

[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15577
/proc/meminfo: memFree=29760752/32950928 swapFree=67111528/67111528
[pid=15488] ppid=15486 vsize=196272 CPUtime=1800.96
/proc/15488/stat : 15488 (pbscip.linux.x8) R 15486 15488 14998 0 -1 4202496 8953095 0 0 0 178095 2001 0 0 25 0 1 0 132955669 200982528 46119 4089446400 4194304 9819077 140735772265952 18446744073709551615 6180503 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15488/statm: 49068 46119 758 1374 0 47689 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 196272

Child status: 0
Real time (s): 1800.95
CPU time (s): 1801.02
CPU user time (s): 1780.99
CPU system time (s): 20.029
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1002668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.99
system time used= 20.029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8953099
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= 1
involuntary context switches= 3289

runsolver used 2.98455 second user time and 6.85096 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 18:50:08
IDJOB=2693144
IDBENCH=79075
IDSOLVER=1205
FILE ID=node149/2693144-1277916608
PBS_JOBID= 11197305
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j308_1-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693144-1277916608/watcher-2693144-1277916608 -o /tmp/evaluation-result-2693144-1277916608/solver-2693144-1277916608 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693144-1277916608.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0541e9779bfbef683d2818db74c4cdd4
RANDOM SEED=271198772

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30816456 kB
Buffers:        202632 kB
Cached:        1274136 kB
SwapCached:          0 kB
Active:         962232 kB
Inactive:      1025360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30816456 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6288 kB
Writeback:           0 kB
AnonPages:      511264 kB
Mapped:          20304 kB
Slab:            82288 kB
PageTables:       5720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1642712 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node149 at 2010-06-30 19:20:10