Trace number 2703656

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT27 1789.63 1790.18

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM019e5a614038472d624f56ab4ecfb30e
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint82
Number of terms in the objective function 168
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 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
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.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703656-1278551199.opb>
0.00/0.03	c original problem has 2754 variables (2754 bin, 0 int, 0 impl, 0 cont) and 444 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.00/0.06	c presolving:
0.07/0.07	c (round 1) 295 del vars, 0 del conss, 253 chg bounds, 246 chg sides, 335 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.07/0.08	c (round 2) 474 del vars, 89 del conss, 432 chg bounds, 315 chg sides, 452 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.07/0.08	c (round 3) 769 del vars, 140 del conss, 727 chg bounds, 321 chg sides, 458 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.07/0.08	c (round 4) 886 del vars, 161 del conss, 823 chg bounds, 321 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.07/0.09	c (round 5) 901 del vars, 173 del conss, 823 chg bounds, 321 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.10	c (round 6) 913 del vars, 173 del conss, 823 chg bounds, 321 chg sides, 470 chg coeffs, 241 upgd conss, 0 impls, 0 clqs
0.09/0.12	c (round 7) 913 del vars, 185 del conss, 823 chg bounds, 471 chg sides, 1274 chg coeffs, 241 upgd conss, 2386 impls, 1787 clqs
0.09/0.15	c (round 8) 913 del vars, 372 del conss, 823 chg bounds, 1196 chg sides, 3999 chg coeffs, 241 upgd conss, 2386 impls, 1787 clqs
0.09/0.16	c (round 9) 913 del vars, 977 del conss, 823 chg bounds, 1746 chg sides, 5649 chg coeffs, 241 upgd conss, 2386 impls, 1787 clqs
0.19/0.22	c    (0.2s) probing: 167/1841 (9.1%) - 0 fixings, 0 aggregations, 1120 implications, 0 bound changes
0.19/0.22	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.22	c presolving (10 rounds):
0.19/0.22	c  913 deleted vars, 977 deleted constraints, 823 tightened bounds, 0 added holes, 1746 changed sides, 5649 changed coefficients
0.19/0.22	c  4626 implications, 1787 cliques
0.19/0.22	c presolved problem has 1841 variables (1841 bin, 0 int, 0 impl, 0 cont) and 807 constraints
0.19/0.22	c     107 constraints of type <knapsack>
0.19/0.22	c     670 constraints of type <setppc>
0.19/0.22	c      30 constraints of type <linear>
0.19/0.22	c transformed objective value is always integral (scale: 1)
0.19/0.22	c Presolving Time: 0.17
0.19/0.22	c - non default parameters ----------------------------------------------------------------------
0.19/0.22	c # SCIP version 1.2.1.3
0.19/0.22	c 
0.19/0.22	c # frequency for displaying node information lines
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22	c display/freq = 10000
0.19/0.22	c 
0.19/0.22	c # maximal time in seconds to run
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/time = 1789.97
0.19/0.22	c 
0.19/0.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/memory = 1620
0.19/0.22	c 
0.19/0.22	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.22	c # [type: int, range: [1,2], default: 1]
0.19/0.22	c timing/clocktype = 2
0.19/0.22	c 
0.19/0.22	c # should presolving try to simplify inequalities
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/linear/simplifyinequalities = TRUE
0.19/0.22	c 
0.19/0.22	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/indicator/addCouplingCons = TRUE
0.19/0.22	c 
0.19/0.22	c # should presolving try to simplify knapsacks
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22	c 
0.19/0.22	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22	c separating/rapidlearning/freq = 0
0.19/0.22	c 
0.19/0.22	c -----------------------------------------------------------------------------------------------
0.19/0.22	c start solving
0.19/0.23	c 
0.29/0.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.31	c   0.3s|     1 |     0 |  1054 |     - |8789k|   0 |  42 |1841 | 807 |1841 | 807 |   0 |   0 |   0 | 1.541870e+01 |      --      |    Inf 
1.69/1.70	c   1.7s|     1 |     0 |  2972 |     - |  11M|   0 | 130 |1841 |1532 |1841 | 861 |  54 |   0 |   0 | 1.542085e+01 |      --      |    Inf 
1.89/1.97	c   1.9s|     1 |     0 |  3093 |     - |  11M|   0 | 171 |1841 |1532 |1841 | 914 | 107 |   0 |   0 | 1.544048e+01 |      --      |    Inf 
2.29/2.38	c   2.3s|     1 |     0 |  3382 |     - |  12M|   0 | 185 |1841 |1532 |1841 | 969 | 162 |   0 |   0 | 1.545077e+01 |      --      |    Inf 
2.79/2.80	c   2.8s|     1 |     0 |  3643 |     - |  12M|   0 | 281 |1841 |1532 |1841 |1031 | 224 |   0 |   0 | 1.550805e+01 |      --      |    Inf 
3.20/3.28	c   3.2s|     1 |     0 |  3851 |     - |  12M|   0 | 373 |1841 |1532 |1841 |1088 | 281 |   0 |   0 | 1.552423e+01 |      --      |    Inf 
3.69/3.75	c   3.7s|     1 |     0 |  4106 |     - |  12M|   0 | 358 |1841 |1532 |1841 |1137 | 330 |   0 |   0 | 1.561634e+01 |      --      |    Inf 
3.89/3.97	c   3.9s|     1 |     0 |  4295 |     - |  12M|   0 | 381 |1841 |1532 |1841 |1173 | 366 |   0 |   0 | 1.562075e+01 |      --      |    Inf 
4.19/4.26	c   4.2s|     1 |     0 |  4644 |     - |  12M|   0 | 333 |1841 |1532 |1841 |1229 | 422 |   0 |   0 | 1.562075e+01 |      --      |    Inf 
4.79/4.89	c   4.9s|     1 |     0 |  4963 |     - |  12M|   0 | 412 |1841 |1532 |1841 |1284 | 477 |   0 |   0 | 1.562753e+01 |      --      |    Inf 
5.59/5.67	c   5.6s|     1 |     0 |  5262 |     - |  12M|   0 | 444 |1841 |1532 |1841 |1337 | 530 |   0 |   0 | 1.563453e+01 |      --      |    Inf 
5.89/5.94	c   5.9s|     1 |     0 |  5545 |     - |  13M|   0 | 438 |1841 |1532 |1841 |1389 | 582 |   0 |   0 | 1.563613e+01 |      --      |    Inf 
6.19/6.27	c   6.2s|     1 |     0 |  5797 |     - |  13M|   0 | 433 |1841 |1532 |1841 |1421 | 614 |   0 |   0 | 1.563613e+01 |      --      |    Inf 
6.49/6.51	c   6.5s|     1 |     0 |  5952 |     - |  13M|   0 | 430 |1841 |1532 |1841 |1400 | 637 |   0 |   0 | 1.563672e+01 |      --      |    Inf 
6.79/6.81	c   6.8s|     1 |     0 |  6267 |     - |  13M|   0 | 472 |1841 |1532 |1841 |1426 | 663 |   0 |   0 | 1.563679e+01 |      --      |    Inf 
6.89/6.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.89/6.97	c   6.9s|     1 |     0 |  6319 |     - |  13M|   0 | 485 |1841 |1532 |1841 |1441 | 678 |   0 |   0 | 1.563966e+01 |      --      |    Inf 
7.09/7.16	c   7.1s|     1 |     0 |  6364 |     - |  13M|   0 | 499 |1841 |1532 |1841 |1455 | 692 |   0 |   0 | 1.563966e+01 |      --      |    Inf 
7.39/7.46	c   7.4s|     1 |     0 |  6581 |     - |  13M|   0 | 510 |1841 |1532 |1841 |1467 | 704 |   0 |   0 | 1.564208e+01 |      --      |    Inf 
7.69/7.71	c   7.7s|     1 |     0 |  6644 |     - |  13M|   0 | 546 |1841 |1532 |1841 |1476 | 713 |   0 |   0 | 1.564210e+01 |      --      |    Inf 
7.88/7.93	c   7.9s|     1 |     0 |  6656 |     - |  13M|   0 | 513 |1841 |1532 |1841 |1373 | 722 |   0 |   0 | 1.564271e+01 |      --      |    Inf 
8.09/8.14	c   8.1s|     1 |     0 |  6688 |     - |  13M|   0 | 517 |1841 |1532 |1841 |1380 | 729 |   0 |   0 | 1.564330e+01 |      --      |    Inf 
8.19/8.28	c   8.2s|     1 |     0 |  6701 |     - |  13M|   0 | 519 |1841 |1532 |1841 |1386 | 735 |   0 |   0 | 1.564331e+01 |      --      |    Inf 
8.39/8.41	c   8.4s|     1 |     0 |  6711 |     - |  13M|   0 | 519 |1841 |1532 |1841 |1390 | 739 |   0 |   0 | 1.564335e+01 |      --      |    Inf 
12.00/12.08	c  12.0s|     1 |     2 |  6711 |     - |  13M|   0 | 519 |1841 |1532 |1841 |1390 | 739 |   0 |  12 | 1.564335e+01 |      --      |    Inf 
169.12/169.24	o 40
169.12/169.24	c v 169s|  1756 |  1719 |265950 | 147.7 |  17M|  37 |   - |1841 |2036 |1841 |1257 | 739 |1114 |3093 | 1.580025e+01 | 4.000000e+01 | 153.16%
220.11/220.26	o 34
220.11/220.26	c v 220s|  2382 |  2341 |382333 | 157.8 |  18M|  37 |   - |1841 |2873 |1841 |1257 | 739 |2039 |3447 | 1.580260e+01 | 3.400000e+01 | 115.15%
238.70/238.83	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
580.80/581.06	c   581s| 10000 |  9897 |  1255k| 124.9 |  28M|  61 | 193 |1841 |1721 |1841 |1257 | 739 |5906 |6053 | 1.624401e+01 | 3.400000e+01 | 109.31%
590.10/590.33	o 33
590.10/590.33	c v 590s| 10225 | 10120 |  1282k| 124.7 |  29M|  61 |   - |1841 |1672 |1841 |1257 | 739 |5966 |6069 | 1.624959e+01 | 3.300000e+01 | 103.08%
598.29/598.51	o 32
598.29/598.51	c v 598s| 10299 | 10194 |  1303k| 126.0 |  29M|  61 |   - |1841 |1746 |1841 |1257 | 739 |6181 |6079 | 1.625922e+01 | 3.200000e+01 |  96.81%
628.28/628.56	o 27
628.28/628.56	c v 629s| 10551 | 10446 |  1370k| 129.2 |  30M|  61 |   - |1841 |2146 |1841 |1257 | 739 |7230 |6080 | 1.627915e+01 | 2.700000e+01 |  65.86%
632.78/633.06	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
665.47/665.71	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
793.85/794.17	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
937.69/938.05	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
1114.84/1115.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1114.84/1115.29	c  1115s| 20000 | 19833 |  2613k| 130.4 |  44M|  61 | 170 |1841 |1225 |1841 |1257 | 739 |9822 |8589 | 1.639531e+01 | 2.700000e+01 |  64.68%
1175.22/1175.67	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
1179.93/1180.32	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
1211.21/1211.69	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
1473.64/1474.17	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1590.20/1590.71	c  1591s| 30000 | 29734 |  3853k| 128.2 |  62M|  61 | 221 |1841 |1226 |1841 |1257 | 739 |  11k|  11k| 1.654618e+01 | 2.700000e+01 |  63.18%
1690.87/1691.40	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
1789.45/1790.01	c 
1789.45/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.45/1790.01	c Solving Time (sec) : 1789.97
1789.45/1790.01	c Solving Nodes      : 34293
1789.45/1790.01	c Primal Bound       : +2.70000000000000e+01 (5 solutions)
1789.45/1790.01	c Dual Bound         : +1.65709732138695e+01
1789.45/1790.01	c Gap                : 62.94 %
1789.45/1790.01	s SATISFIABLE
1789.45/1790.01	v x738 x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 x720 -x719 -x718 x717 -x716 
1789.45/1790.01	v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 x703 -x702 -x701 x700 -x699 -x698 -x697 -x696 -x695 
1789.45/1790.01	v -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 
1789.45/1790.01	v -x673 -x672 -x671 x670 x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 x652 
1789.45/1790.01	v -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 x635 -x634 -x633 -x632 x631 
1789.45/1790.01	v x630 x629 x628 -x627 -x626 x625 x624 x623 -x622 -x621 -x620 x619 x618 -x617 -x616 -x615 x614 x613 x612 x611 -x610 -x609 x608 
1789.45/1790.01	v x607 x606 -x605 -x604 -x603 x602 x601 -x600 -x599 -x598 x597 x596 x595 x594 -x593 -x592 x591 x590 x589 -x588 -x587 -x586 x585 
1789.45/1790.01	v x584 -x583 -x582 -x581 x580 x579 x578 x577 -x576 -x575 x574 x573 x572 -x571 -x570 -x569 x568 x567 -x566 -x565 -x564 x563 x562 
1789.45/1790.01	v x561 x560 -x559 -x558 x557 x556 x555 -x554 -x553 -x552 x551 x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 
1789.45/1790.01	v -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 x531 -x530 x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 
1789.45/1790.01	v -x517 -x516 -x515 x514 x513 x512 x511 x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 x501 x500 -x499 -x498 -x497 -x496 
1789.45/1790.01	v x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 x484 -x483 x482 x481 -x480 -x479 -x478 x477 -x476 -x475 x474 
1789.45/1790.01	v -x473 x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 x455 -x454 x453 x452 
1789.45/1790.01	v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 x436 -x435 x434 x433 -x432 -x431 
1789.45/1790.01	v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 x414 -x413 x412 -x411 -x410 x409 
1789.45/1790.01	v -x408 -x407 x406 -x405 -x404 -x403 x402 -x401 x400 -x399 x398 x397 x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
1789.45/1790.01	v x386 x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 x368 -x367 -x366 x365 
1789.45/1790.01	v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 
1789.45/1790.01	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 
1789.45/1790.01	v -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 x312 x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 
1789.45/1790.01	v -x300 -x299 -x298 -x297 -x296 x295 x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 x283 -x282 -x281 x280 -x279 
1789.45/1790.01	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 
1789.45/1790.01	v -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 
1789.45/1790.01	v -x235 -x234 x233 x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 x215 
1789.45/1790.01	v -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 x197 -x196 -x195 x194 -x193 
1789.45/1790.01	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 
1789.45/1790.01	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 
1789.45/1790.01	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 
1789.45/1790.01	v -x129 -x128 -x127 x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 
1789.45/1790.01	v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 x89 -x88 -x87 x86 -x85 
1789.45/1790.01	v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 
1789.45/1790.01	v -x58 -x57 -x56 -x55 x54 x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 x34 x33 
1789.45/1790.01	v x32 x31 x30 x29 x28 x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 x18 -x17 x16 x15 x14 x13 x12 x11 x10 x9 -x8 -x7 x6 x5 -x4 -x3 
1789.45/1790.01	v -x2 -x1 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 
1789.45/1790.01	v -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 
1789.45/1790.01	v -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 
1789.45/1790.01	v -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 
1789.45/1790.01	v -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 
1789.45/1790.01	v -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 
1789.45/1790.01	v -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 
1789.45/1790.01	v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 
1789.45/1790.01	v -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 
1789.45/1790.01	v -x2426 -x2425 -x2424 -x2423 -x2422 x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 
1789.45/1790.01	v -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 
1789.45/1790.01	v -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 
1789.45/1790.01	v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 
1789.45/1790.01	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
1789.45/1790.01	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 
1789.45/1790.01	v -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 
1789.45/1790.01	v -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 
1789.45/1790.01	v -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 x2276 -x2275 x2274 -x2273 x2272 -x2271 x2270 -x2269 x2268 -x2267 -x2266 -x2265 
1789.45/1790.01	v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 
1789.45/1790.01	v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 
1789.45/1790.01	v -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 
1789.45/1790.01	v -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 
1789.45/1790.01	v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 
1789.45/1790.01	v -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 
1789.45/1790.01	v -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 
1789.45/1790.01	v -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 
1789.45/1790.01	v -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 
1789.45/1790.01	v -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 
1789.45/1790.01	v -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 
1789.45/1790.01	v -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 x2057 x2056 -x2055 -x2054 -x2053 -x2052 -x2051 x2050 
1789.45/1790.01	v -x2049 x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
1789.45/1790.01	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
1789.45/1790.01	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
1789.45/1790.01	v -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 
1789.45/1790.01	v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 
1789.45/1790.01	v -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 
1789.45/1790.01	v -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 
1789.45/1790.01	v -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 x1913 -x1912 x1911 -x1910 x1909 x1908 -x1907 
1789.45/1790.01	v -x1906 -x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 
1789.45/1790.01	v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 
1789.45/1790.01	v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 
1789.45/1790.01	v -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 x1846 x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 x1835 
1789.45/1790.01	v x1834 x1833 -x1832 -x1831 -x1830 x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
1789.45/1790.01	v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 
1789.45/1790.01	v -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 x1791 x1790 x1789 x1788 x1787 -x1786 x1785 x1784 -x1783 -x1782 -x1781 -x1780 -x1779 
1789.45/1790.01	v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 
1789.45/1790.01	v -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 
1789.45/1790.01	v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
1789.45/1790.01	v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 
1789.45/1790.01	v -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 
1789.45/1790.01	v -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 
1789.45/1790.01	v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 
1789.45/1790.01	v -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 
1789.45/1790.01	v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 
1789.45/1790.01	v -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 
1789.45/1790.01	v -x1600 -x1599 -x1598 -x1597 x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 x1584 x1583 -x1582 
1789.45/1790.01	v x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 
1789.45/1790.01	v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 
1789.45/1790.01	v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 
1789.45/1790.01	v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 
1789.45/1790.01	v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 
1789.45/1790.01	v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 
1789.45/1790.01	v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 
1789.45/1790.01	v -x1456 -x1455 -x1454 x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
1789.45/1790.01	v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 
1789.45/1790.01	v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 
1789.45/1790.01	v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 x1386 
1789.45/1790.01	v -x1385 x1384 -x1383 x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 
1789.45/1790.01	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
1789.45/1790.01	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
1789.45/1790.01	v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
1789.45/1790.01	v -x1313 -x1312 -x1311 -x1310 x1309 x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
1789.45/1790.01	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
1789.45/1790.01	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
1789.45/1790.01	v -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 
1789.45/1790.01	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
1789.45/1790.01	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 
1789.45/1790.01	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 
1789.45/1790.01	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
1789.45/1790.01	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156 -x1155 -x1154 -x1153 -x1152 
1789.45/1790.01	v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
1789.45/1790.01	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
1789.45/1790.01	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 
1789.45/1790.01	v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 
1789.45/1790.01	v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 
1789.45/1790.01	v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 
1789.45/1790.01	v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 
1789.45/1790.01	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
1789.45/1790.01	v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 
1789.45/1790.01	v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 
1789.45/1790.01	v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 
1789.45/1790.01	v x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 
1789.45/1790.01	v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 
1789.45/1790.01	v -x905 -x904 -x903 x902 x901 -x900 -x899 -x898 x897 -x896 x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 
1789.45/1790.01	v -x884 -x883 -x882 -x881 -x880 x879 x878 x877 x876 -x875 x874 -x873 x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 
1789.45/1790.01	v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 
1789.45/1790.01	v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 
1789.45/1790.01	v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 
1789.45/1790.01	v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 
1789.45/1790.01	v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 
1789.45/1790.01	v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x2754 
1789.45/1790.01	v -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 x2739 -x2738 -x2737 -x2736 
1789.45/1790.01	v -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 x2719 -x2718 -x2717 
1789.45/1790.02	v -x2716 -x2715 -x2714 x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 
1789.45/1790.02	v x2698 -x2697 -x2696 -x2695 -x2694 x2693 x2692 -x2691 -x2690 -x2689 -x2688 x2687 x2686 -x2685 -x2684 -x2683 x2682 -x2681 
1789.45/1790.02	v -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 x2670 -x2669 -x2668 -x2667 -x2666 -x2665 x2664 x2663 -x2662 
1789.45/1790.02	v -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 x2651 -x2650 -x2649 -x2648 -x2647 -x2646 x2645 -x2644 
1789.45/1790.02	v -x2643 -x2642 -x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 -x2634 x2633 x2632 x2631 -x2630 -x2629 -x2628 -x2627 -x2626 
1789.45/1790.02	v -x2625 x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 
1789.45/1790.02	v -x2607 -x2606 x2605 x2604 -x2603 -x2602 x2601 -x2600 x2599 -x2598 -x2597 -x2596 -x2595 x2594 -x2593 -x2592 -x2591 -x2590 -x2589 
1789.45/1790.02	v -x2588 -x2587 
1789.45/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1789.45/1790.02	c Solving Time       :    1789.97
1789.45/1790.02	c Original Problem   :
1789.45/1790.02	c   Problem name     : HOME/instance-2703656-1278551199.opb
1789.45/1790.02	c   Variables        : 2754 (2754 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.02	c   Constraints      : 444 initial, 444 maximal
1789.45/1790.02	c Presolved Problem  :
1789.45/1790.02	c   Problem name     : t_HOME/instance-2703656-1278551199.opb
1789.45/1790.02	c   Variables        : 1841 (1841 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.02	c   Constraints      : 807 initial, 3658 maximal
1789.45/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.45/1790.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.02	c   dualfix          :       0.00         48          0          0          0          0          0          0          0
1789.45/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.02	c   probing          :       0.06          0          0          0          0          0          0          0          0
1789.45/1790.02	c   knapsack         :       0.04          0          0          0          0          0        134       1425       5179
1789.45/1790.02	c   setppc           :       0.01          0          0          0          0          0        670          0          0
1789.45/1790.02	c   linear           :       0.02        865          0          0        823          0        173        321        470
1789.45/1790.02	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1789.45/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.45/1790.02	c   integral         :          0          0          0      34162          0          0         44          0          0      68248
1789.45/1790.02	c   knapsack         :        107         22     224631          0          0        492     182680        463          0          0
1789.45/1790.02	c   setppc           :        670         22     224125          0          0          1      67805          0          0          0
1789.45/1790.02	c   linear           :         30+        23     224139          0          0       2223     134428        658          0          0
1789.45/1790.02	c   logicor          :          0+         0      56914          0          0         80      17488          0          0          0
1789.45/1790.02	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.45/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.45/1790.02	c   integral         :     179.23       0.00       0.00     179.23       0.00
1789.45/1790.02	c   knapsack         :       8.41       0.02       8.38       0.00       0.00
1789.45/1790.02	c   setppc           :       9.11       0.00       9.10       0.00       0.00
1789.45/1790.02	c   linear           :      11.15       0.36      10.79       0.00       0.00
1789.45/1790.02	c   logicor          :       1.79       0.00       1.79       0.00       0.00
1789.45/1790.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.45/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.45/1790.02	c   vbounds          :       0.18          2          0          0
1789.45/1790.02	c   rootredcost      :       0.21          5          0          0
1789.45/1790.02	c   pseudoobj        :       2.95     224551          0          0
1789.45/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.45/1790.02	c   propagation      :       0.53       2796       2795      18259       51.1        196       36.6          -
1789.45/1790.02	c   infeasible LP    :       1.05        963        962       5985       68.1         93       39.2          0
1789.45/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.45/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.45/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.45/1790.02	c   applied globally :          -          -          -      12775       43.7          -          -          -
1789.45/1790.02	c   applied locally  :          -          -          -          8      215.5          -          -          -
1789.45/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.45/1790.02	c   cut pool         :       0.01         21          -          -        454          -    (maximal pool size: 1273)
1789.45/1790.02	c   redcost          :       3.99      34185          0          3          0          0
1789.45/1790.02	c   impliedbounds    :       0.01         22          0          0        398          0
1789.45/1790.02	c   intobj           :       0.00          0          0          0          0          0
1789.45/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1789.45/1790.02	c   gomory           :       1.18         22          0          0         39          0
1789.45/1790.02	c   strongcg         :       0.96         20          0          0         86          0
1789.45/1790.02	c   cmir             :       0.51         10          0          0        356          0
1789.45/1790.02	c   flowcover        :       2.05         10          0          0        718          0
1789.45/1790.02	c   clique           :       0.10         22          0          0        128          0
1789.45/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1789.45/1790.02	c   mcf              :       0.00          1          0          0          0          0
1789.45/1790.02	c   rapidlearning    :       1.01          1          0          0          0        725
1789.45/1790.02	c Pricers            :       Time      Calls       Vars
1789.45/1790.02	c   problem variables:       0.00          0          0
1789.45/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.45/1790.02	c   relpscost        :     179.14      34162          0         44          0          0      68248
1789.45/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1789.45/1790.02	c   inference        :       0.00          0          0          0          0          0          0
1789.45/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1789.45/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1789.45/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.45/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.45/1790.02	c   random           :       0.00          0          0          0          0          0          0
1789.45/1790.02	c Primal Heuristics  :       Time      Calls      Found
1789.45/1790.02	c   LP solutions     :       0.00          -          0
1789.45/1790.02	c   pseudo solutions :       0.00          -          0
1789.45/1790.02	c   oneopt           :       0.06          5          0
1789.45/1790.02	c   trivial          :       0.00          2          0
1789.45/1790.02	c   simplerounding   :       0.12       5619          0
1789.45/1790.02	c   zirounding       :       0.17       1000          0
1789.45/1790.02	c   rounding         :       0.81       2568          0
1789.45/1790.02	c   shifting         :       4.98        784          0
1789.45/1790.02	c   intshifting      :       0.00          0          0
1789.45/1790.02	c   twoopt           :       0.00          0          0
1789.45/1790.02	c   fixandinfer      :       0.00          0          0
1789.45/1790.02	c   feaspump         :       5.90          9          0
1789.45/1790.02	c   coefdiving       :      98.46         61          0
1789.45/1790.02	c   pscostdiving     :     108.85         81          0
1789.45/1790.02	c   fracdiving       :      96.85        105          0
1789.45/1790.02	c   veclendiving     :     158.85        273          5
1789.45/1790.02	c   intdiving        :       0.00          0          0
1789.45/1790.02	c   actconsdiving    :       0.00          0          0
1789.45/1790.02	c   objpscostdiving  :      17.14         11          0
1789.45/1790.02	c   rootsoldiving    :       9.40         15          0
1789.45/1790.02	c   linesearchdiving :      69.96        105          0
1789.45/1790.02	c   guideddiving     :     100.50         79          0
1789.45/1790.02	c   octane           :       0.00          0          0
1789.45/1790.02	c   rens             :       2.88          1          0
1789.45/1790.02	c   rins             :       0.00          0          0
1789.45/1790.02	c   localbranching   :       0.00          0          0
1789.45/1790.02	c   mutation         :       0.00          0          0
1789.45/1790.02	c   crossover        :       7.89          4          0
1789.45/1790.02	c   dins             :       0.00          0          0
1789.45/1790.02	c   undercover       :       0.00          0          0
1789.45/1790.02	c   nlp              :       0.03          0          0
1789.45/1790.02	c   trysol           :       0.04          0          0
1789.45/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.45/1790.02	c   primal LP        :       0.01          0          0       0.00          -
1789.45/1790.02	c   dual LP          :     854.08      34174    2948534      86.28    3452.31
1789.45/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1789.45/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1789.45/1790.02	c   diving/probing LP:     531.80     113464    1433179      12.63    2694.94
1789.45/1790.02	c   strong branching :     175.09      12057     453740      37.63    2591.45
1789.45/1790.02	c     (at root node) :          -         12       1622     135.17          -
1789.45/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1789.45/1790.02	c B&B Tree           :
1789.45/1790.02	c   number of runs   :          1
1789.45/1790.02	c   nodes            :      34293
1789.45/1790.02	c   nodes (total)    :      34293
1789.45/1790.02	c   nodes left       :      33955
1789.45/1790.02	c   max depth        :         61
1789.45/1790.02	c   max depth (total):         61
1789.45/1790.02	c   backtracks       :       4317 (12.6%)
1789.45/1790.02	c   delayed cutoffs  :          1
1789.45/1790.02	c   repropagations   :        777 (615 domain reductions, 0 cutoffs)
1789.45/1790.02	c   avg switch length:       5.46
1789.45/1790.02	c   switching time   :      13.13
1789.45/1790.02	c Solution           :
1789.45/1790.02	c   Solutions found  :          5 (5 improvements)
1789.45/1790.02	c   First Solution   : +4.00000000000000e+01   (in run 1, after 1756 nodes, 169.20 seconds, depth 185, found by <veclendiving>)
1789.45/1790.02	c   Primal Bound     : +2.70000000000000e+01   (in run 1, after 10551 nodes, 628.53 seconds, depth 134, found by <veclendiving>)
1789.45/1790.02	c   Dual Bound       : +1.65709732138695e+01
1789.45/1790.02	c   Gap              :      62.94 %
1789.45/1790.02	c   Root Dual Bound  : +1.56433454236722e+01
1789.45/1790.02	c   Root Iterations  :       6711
1789.55/1790.17	c Time complete: 1789.62.

Verifier Data 

OK	27

Watcher Data 

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

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

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.00 1.00 0.95 3/106 27842
/proc/meminfo: memFree=1838752/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=7904 CPUtime=0
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 1035 0 0 0 0 0 0 0 18 0 1 0 23331429 8093696 947 1992294400 4194304 8395647 140734590029760 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27842/statm: 1976 956 365 1026 0 946 0

[startup+0.075573 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 27842
/proc/meminfo: memFree=1838752/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=19868 CPUtime=0.07
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 4360 0 0 0 6 1 0 0 20 0 1 0 23331429 20344832 3918 1992294400 4194304 8395647 140734590029760 18446744073709551615 5026725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 4967 3918 465 1026 0 3937 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19868

[startup+0.101576 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 27842
/proc/meminfo: memFree=1838752/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=21504 CPUtime=0.09
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 4741 0 0 0 8 1 0 0 20 0 1 0 23331429 22020096 4300 1992294400 4194304 8395647 140734590029760 18446744073709551615 7382147 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 5376 4308 472 1026 0 4346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21504

[startup+0.301604 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 27842
/proc/meminfo: memFree=1838752/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=28196 CPUtime=0.29
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 6619 0 0 0 27 2 0 0 20 0 1 0 23331429 28872704 6145 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 7049 6145 573 1026 0 6019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28196

[startup+0.70166 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 27842
/proc/meminfo: memFree=1838752/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=52444 CPUtime=0.69
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 12351 0 0 0 64 5 0 0 20 0 1 0 23331429 53702656 11877 1992294400 4194304 8395647 140734590029760 18446744073709551615 6349011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 13111 11877 619 1026 0 12081 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52444

[startup+1.50177 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27843
/proc/meminfo: memFree=1787780/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=59748 CPUtime=1.49
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 13961 0 0 0 138 11 0 0 23 0 1 0 23331429 61181952 13487 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 14937 13487 626 1026 0 13907 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59748

[startup+3.101 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27843
/proc/meminfo: memFree=1780712/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65424 CPUtime=3.09
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 15414 0 0 0 296 13 0 0 25 0 1 0 23331429 66994176 14924 1992294400 4194304 8395647 140734590029760 18446744073709551615 4922378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16356 14924 634 1026 0 15326 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65424

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27843
/proc/meminfo: memFree=1780712/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65424 CPUtime=6.29
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 15414 0 0 0 615 14 0 0 25 0 1 0 23331429 66994176 14924 1992294400 4194304 8395647 140734590029760 18446744073709551615 4934490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16356 14924 634 1026 0 15326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65424

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27843
/proc/meminfo: memFree=1778728/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65456 CPUtime=12.69
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17002 0 0 0 1242 27 0 0 25 0 1 0 23331429 67026944 15290 1992294400 4194304 8395647 140734590029760 18446744073709551615 6708493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16364 15290 642 1026 0 15334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65456

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27843
/proc/meminfo: memFree=1778728/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65456 CPUtime=25.48
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17004 0 0 0 2509 39 0 0 25 0 1 0 23331429 67026944 15292 1992294400 4194304 8395647 140734590029760 18446744073709551615 6472063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16364 15292 643 1026 0 15334 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65456

[startup+51.1008 s]
/proc/loadavg: 1.06 1.02 0.95 2/107 27845
/proc/meminfo: memFree=1778852/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65456 CPUtime=51.05
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17007 0 0 0 5036 69 0 0 25 0 1 0 23331429 67026944 15295 1992294400 4194304 8395647 140734590029760 18446744073709551615 6693716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16364 15295 643 1026 0 15334 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 65456

[startup+102.309 s]
/proc/loadavg: 1.09 1.03 0.96 2/107 27845
/proc/meminfo: memFree=1778852/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65456 CPUtime=102.25
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17010 0 0 0 10106 119 0 0 25 0 1 0 23331429 67026944 15298 1992294400 4194304 8395647 140734590029760 18446744073709551615 5026570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16364 15298 643 1026 0 15334 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 65456

[startup+162.302 s]
/proc/loadavg: 1.03 1.02 0.96 2/107 27847
/proc/meminfo: memFree=1778852/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65456 CPUtime=162.23
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17014 0 0 0 16036 187 0 0 25 0 1 0 23331429 67026944 15302 1992294400 4194304 8395647 140734590029760 18446744073709551615 6701850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16364 15302 643 1026 0 15334 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 65456

[startup+222.301 s]
/proc/loadavg: 1.01 1.02 0.96 2/107 27849
/proc/meminfo: memFree=1778852/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65456 CPUtime=222.2
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17016 0 0 0 21967 253 0 0 25 0 1 0 23331429 67026944 15304 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16364 15304 643 1026 0 15334 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 65456

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 27851
/proc/meminfo: memFree=1778852/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65456 CPUtime=282.18
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17109 0 0 0 27894 324 0 0 25 0 1 0 23331429 67026944 15397 1992294400 4194304 8395647 140734590029760 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16364 15397 732 1026 0 15334 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 65456

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27853
/proc/meminfo: memFree=1778852/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=65844 CPUtime=342.17
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17180 0 0 0 33820 397 0 0 25 0 1 0 23331429 67424256 15468 1992294400 4194304 8395647 140734590029760 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16461 15468 732 1026 0 15431 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 65844

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27853
/proc/meminfo: memFree=1777860/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=67092 CPUtime=402.16
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 17438 0 0 0 39750 466 0 0 25 0 1 0 23331429 68702208 15726 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 16773 15726 732 1026 0 15743 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 67092

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27855
/proc/meminfo: memFree=1774636/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=70240 CPUtime=462.14
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 18260 0 0 0 45677 537 0 0 25 0 1 0 23331429 71925760 16526 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 17560 16526 732 1026 0 16530 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 70240

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27857
/proc/meminfo: memFree=1773768/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=71092 CPUtime=522.12
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 18494 0 0 0 51606 606 0 0 25 0 1 0 23331429 72798208 16760 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 17773 16760 732 1026 0 16743 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 71092

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27859
/proc/meminfo: memFree=1771288/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=73344 CPUtime=582.1
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 19101 0 0 0 57528 682 0 0 25 0 1 0 23331429 75104256 17367 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 18336 17367 732 1026 0 17306 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 73344

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27861
/proc/meminfo: memFree=1770172/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=74408 CPUtime=642.09
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 23956 0 0 0 63436 773 0 0 25 0 1 0 23331429 76193792 17648 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 18602 17648 744 1026 0 17572 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 74408

[startup+702.301 s]

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

/proc/meminfo: memFree=1757648/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=86008 CPUtime=1001.98
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 26992 0 0 0 98989 1209 0 0 25 0 1 0 23331429 88072192 20597 1992294400 4194304 8395647 140734590029760 18446744073709551615 6003111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 21502 20597 744 1026 0 20472 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 86008

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27874
/proc/meminfo: memFree=1754796/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=89000 CPUtime=1061.96
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 27760 0 0 0 104912 1284 0 0 25 0 1 0 23331429 91136000 21323 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 22250 21323 744 1026 0 21220 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 89000

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27876
/proc/meminfo: memFree=1753556/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=90148 CPUtime=1121.94
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 32133 0 0 0 110826 1368 0 0 25 0 1 0 23331429 92311552 21616 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 22537 21616 744 1026 0 21507 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 90148

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27878
/proc/meminfo: memFree=1750332/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=93268 CPUtime=1181.92
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 32932 0 0 0 116750 1442 0 0 25 0 1 0 23331429 95506432 22401 1992294400 4194304 8395647 140734590029760 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 23317 22401 744 1026 0 22287 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 93268

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27880
/proc/meminfo: memFree=1749588/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=94376 CPUtime=1241.91
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 33153 0 0 0 122668 1523 0 0 25 0 1 0 23331429 96641024 22622 1992294400 4194304 8395647 140734590029760 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 23594 22622 744 1026 0 22564 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 94376

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27880
/proc/meminfo: memFree=1746488/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=97096 CPUtime=1301.9
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 33951 0 0 0 128595 1595 0 0 25 0 1 0 23331429 99426304 23375 1992294400 4194304 8395647 140734590029760 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 24274 23375 744 1026 0 23244 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 97096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27882
/proc/meminfo: memFree=1745744/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=97816 CPUtime=1361.87
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 34126 0 0 0 134522 1665 0 0 25 0 1 0 23331429 100163584 23550 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 24454 23550 744 1026 0 23424 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 97816

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27884
/proc/meminfo: memFree=1741156/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=102656 CPUtime=1421.86
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 35272 0 0 0 140453 1733 0 0 25 0 1 0 23331429 105119744 24696 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 25664 24696 744 1026 0 24634 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 102656

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27886
/proc/meminfo: memFree=1739792/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=103720 CPUtime=1481.84
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 39251 0 0 0 146370 1814 0 0 25 0 1 0 23331429 106209280 25038 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 25930 25038 744 1026 0 24900 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 103720

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27888
/proc/meminfo: memFree=1735948/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=107528 CPUtime=1541.81
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 40186 0 0 0 152295 1886 0 0 25 0 1 0 23331429 110108672 25973 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 26882 25973 744 1026 0 25852 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 107528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27888
/proc/meminfo: memFree=1732104/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=111584 CPUtime=1601.8
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 41223 0 0 0 158220 1960 0 0 25 0 1 0 23331429 114262016 26960 1992294400 4194304 8395647 140734590029760 18446744073709551615 6696501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 27896 26960 744 1026 0 26866 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 111584

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27890
/proc/meminfo: memFree=1728632/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=114668 CPUtime=1661.78
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 42151 0 0 0 164144 2034 0 0 25 0 1 0 23331429 117420032 27793 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 28667 27793 744 1026 0 27637 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 114668

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27892
/proc/meminfo: memFree=1727268/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=115968 CPUtime=1721.76
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 46365 0 0 0 170064 2112 0 0 25 0 1 0 23331429 118751232 28119 1992294400 4194304 8395647 140734590029760 18446744073709551615 6120352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 28992 28119 744 1026 0 27962 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 115968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27894
/proc/meminfo: memFree=1721316/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=121956 CPUtime=1781.75
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 47856 0 0 0 175988 2187 0 0 25 0 1 0 23331429 124882944 29610 1992294400 4194304 8395647 140734590029760 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 30489 29610 744 1026 0 29459 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 121956

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27894
/proc/meminfo: memFree=1721316/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=121956 CPUtime=1784.95
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 47865 0 0 0 176303 2192 0 0 25 0 1 0 23331429 124882944 29619 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 30489 29619 744 1026 0 29459 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 121956

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27894
/proc/meminfo: memFree=1721316/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=121956 CPUtime=1788.14
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 47865 0 0 0 176618 2196 0 0 25 0 1 0 23331429 124882944 29619 1992294400 4194304 8395647 140734590029760 18446744073709551615 6693807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 30489 29619 744 1026 0 29459 0
Current children cumulated CPU time (s) 1788.14
Current children cumulated vsize (KiB) 121956

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27894
/proc/meminfo: memFree=1721316/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=121956 CPUtime=1788.94
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 47867 0 0 0 176697 2197 0 0 25 0 1 0 23331429 124882944 29621 1992294400 4194304 8395647 140734590029760 18446744073709551615 6700429 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 30489 29621 744 1026 0 29459 0
Current children cumulated CPU time (s) 1788.94
Current children cumulated vsize (KiB) 121956

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27894
/proc/meminfo: memFree=1721316/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=121956 CPUtime=1789.35
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 47867 0 0 0 176737 2198 0 0 25 0 1 0 23331429 124882944 29621 1992294400 4194304 8395647 140734590029760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27842/statm: 30489 29621 744 1026 0 29459 0
Current children cumulated CPU time (s) 1789.35
Current children cumulated vsize (KiB) 121956

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27894
/proc/meminfo: memFree=1721316/2059040 swapFree=4081608/4192956
[pid=27842] ppid=27840 vsize=121956 CPUtime=1789.55
/proc/27842/stat : 27842 (pbscip.linux.x8) R 27840 27842 27170 0 -1 4202496 47869 0 0 0 176757 2198 0 0 25 0 1 0 23331429 124882944 29623 1992294400 4194304 8395647 140734590029760 18446744073709551615 4221116 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27842/statm: 30489 29623 746 1026 0 29459 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 121956

Child status: 0
Real time (s): 1790.18
CPU time (s): 1789.63
CPU user time (s): 1767.64
CPU system time (s): 21.9967
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 132040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.64
system time used= 21.9967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47870
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= 3
involuntary context switches= 4620

runsolver used 2.86456 second user time and 8.5457 second system time

The end

Launcher Data 

Begin job on node029 at 2010-07-08 03:06:39
IDJOB=2703656
IDBENCH=1514
IDSOLVER=1213
FILE ID=node029/2703656-1278551199
PBS_JOBID= 11239509
Free space on /tmp= 62560 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703656-1278551199/watcher-2703656-1278551199 -o /tmp/evaluation-result-2703656-1278551199/solver-2703656-1278551199 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703656-1278551199.opb -t 1800 -m 1800

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

MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e
RANDOM SEED=484510434

node029.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1839280 kB
Buffers:          8076 kB
Cached:          91556 kB
SwapCached:      64492 kB
Active:          53744 kB
Inactive:       111784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1839280 kB
SwapTotal:     4192956 kB
SwapFree:      4081608 kB
Dirty:           10464 kB
Writeback:           0 kB
AnonPages:       10032 kB
Mapped:           6884 kB
Slab:            32288 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node029 at 2010-07-08 03:36:29