Trace number 2703859

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 solverSAT8600271 1789.65 1790.11

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos17.opb
MD5SUM6ec9fbaf74a275630384576eed2d57d7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7077496
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7508861
Optimality of the best value was proved NO
Number of variables3115
Total number of constraints671
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 constraints671
Minimum length of a constraint11
Maximum length of a constraint780
Number of terms in the objective function 2126
Biggest coefficient in the objective function 27663360
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 110500348
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1677721600000000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 40265324766820451
Number of bits of the biggest sum of numbers56
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-2703859-1278557511.opb>
0.19/0.21	c original problem has 3115 variables (3115 bin, 0 int, 0 impl, 0 cont) and 671 constraints
0.19/0.21	c problem read
0.19/0.21	c presolving settings loaded
0.19/0.28	c presolving:
0.29/0.32	c (round 1) 560 del vars, 0 del conss, 494 chg bounds, 192 chg sides, 212 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.36	c (round 2) 560 del vars, 24 del conss, 494 chg bounds, 216 chg sides, 212 chg coeffs, 461 upgd conss, 0 impls, 0 clqs
0.39/0.45	c (round 3) 560 del vars, 24 del conss, 494 chg bounds, 485 chg sides, 16924 chg coeffs, 646 upgd conss, 3700 impls, 0 clqs
0.49/0.54	c (round 4) 560 del vars, 24 del conss, 494 chg bounds, 1780 chg sides, 72347 chg coeffs, 646 upgd conss, 3700 impls, 0 clqs
2.69/2.70	c    (2.5s) probing: 377/2555 (14.8%) - 0 fixings, 0 aggregations, 21949 implications, 0 bound changes
2.69/2.70	c    (2.5s) probing aborted: 100/100 successive totally useless probings
2.69/2.70	c presolving (5 rounds):
2.69/2.70	c  560 deleted vars, 24 deleted constraints, 494 tightened bounds, 0 added holes, 1780 changed sides, 72347 changed coefficients
2.69/2.70	c  47598 implications, 0 cliques
2.69/2.70	c presolved problem has 2555 variables (2555 bin, 0 int, 0 impl, 0 cont) and 647 constraints
2.69/2.70	c     646 constraints of type <knapsack>
2.69/2.70	c       1 constraints of type <linear>
2.69/2.70	c transformed objective value is always integral (scale: 1)
2.69/2.70	c Presolving Time: 2.44
2.69/2.70	c - non default parameters ----------------------------------------------------------------------
2.69/2.70	c # SCIP version 1.2.1.3
2.69/2.70	c 
2.69/2.70	c # frequency for displaying node information lines
2.69/2.70	c # [type: int, range: [-1,2147483647], default: 100]
2.69/2.70	c display/freq = 10000
2.69/2.70	c 
2.69/2.70	c # maximal time in seconds to run
2.69/2.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.70	c limits/time = 1789.79
2.69/2.70	c 
2.69/2.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.69/2.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.70	c limits/memory = 1620
2.69/2.70	c 
2.69/2.70	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.69/2.70	c # [type: int, range: [1,2], default: 1]
2.69/2.70	c timing/clocktype = 2
2.69/2.70	c 
2.69/2.70	c # should presolving try to simplify inequalities
2.69/2.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.70	c constraints/linear/simplifyinequalities = TRUE
2.69/2.70	c 
2.69/2.70	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.69/2.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.70	c constraints/indicator/addCouplingCons = TRUE
2.69/2.70	c 
2.69/2.70	c # should presolving try to simplify knapsacks
2.69/2.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.70	c constraints/knapsack/simplifyinequalities = TRUE
2.69/2.70	c 
2.69/2.70	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.69/2.70	c # [type: int, range: [-1,2147483647], default: -1]
2.69/2.70	c separating/rapidlearning/freq = 0
2.69/2.70	c 
2.69/2.70	c -----------------------------------------------------------------------------------------------
2.69/2.70	c start solving
2.69/2.70	c 
2.79/2.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.79/2.83	c   2.6s|     1 |     0 |   607 |     - |  18M|   0 | 287 |2555 | 647 |2555 | 647 |   0 |   0 |   0 | 9.453986e+03 |      --      |    Inf 
12.89/12.91	c  12.7s|     1 |     0 | 20674 |     - |  18M|   0 | 293 |2555 | 647 |2555 |1087 | 440 |   0 |   0 | 9.453986e+03 |      --      |    Inf 
13.29/13.32	c  13.1s|     1 |     0 | 20736 |     - |  18M|   0 | 297 |2555 | 647 |2555 |1104 | 457 |   0 |   0 | 9.453986e+03 |      --      |    Inf 
13.58/13.66	c  13.5s|     1 |     0 | 20852 |     - |  19M|   0 | 310 |2555 | 647 |2555 |1138 | 491 |   0 |   0 | 9.453986e+03 |      --      |    Inf 
14.08/14.17	c  14.0s|     1 |     0 | 21153 |     - |  19M|   0 | 298 |2555 | 647 |2555 |1154 | 507 |   0 |   0 | 9.453986e+03 |      --      |    Inf 
14.48/14.57	c  14.4s|     1 |     0 | 21247 |     - |  19M|   0 | 304 |2555 | 647 |2555 |1169 | 522 |   0 |   0 | 9.453986e+03 |      --      |    Inf 
14.99/15.01	c  14.8s|     1 |     0 | 21323 |     - |  19M|   0 | 306 |2555 | 647 |2555 |1172 | 525 |   0 |   0 | 9.453986e+03 |      --      |    Inf 
23.39/23.41	c  23.2s|     1 |     2 | 21323 |     - |  19M|   0 | 306 |2555 | 647 |2555 |1172 | 525 |   0 |  48 | 9.453986e+03 |      --      |    Inf 
80.37/80.49	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
90.57/90.63	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
126.16/126.24	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
144.45/144.59	o 31635120
144.45/144.59	c v 144s|    20 |    21 |248418 |11952.4 |  19M|   7 |   - |2555 | 662 |2555 | 748 | 525 |  15 | 852 | 7.608320e+05 | 3.163512e+07 |4057.96%
144.55/144.60	o 31597232
144.55/144.60	c b 144s|    21 |    20 |248418 |11354.8 |  19M|   7 |   - |2555 | 662 |2555 | 748 | 525 |  15 | 852 | 7.608320e+05 | 3.159723e+07 |4052.98%
190.75/190.80	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
190.75/190.80	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
190.75/190.80	c (node 22) error in strong branching call for variable <t_x842> with solution 0.00131119
217.14/217.26	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
232.83/232.98	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
256.93/257.04	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
307.21/307.34	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
446.58/446.73	o 20428992
446.58/446.73	c v 447s|   863 |   527 |863772 | 977.3 |  20M|  63 |   - |2555 |1298 |2555 | 748 | 525 | 651 |3068 | 2.601108e+06 | 2.042899e+07 | 685.40%
446.58/446.76	o 20391104
446.58/446.76	c b 447s|   864 |   528 |863773 | 976.2 |  20M|  63 | 197 |2555 |1298 |2555 | 748 | 525 | 651 |3068 | 2.601108e+06 | 2.039110e+07 | 683.94%
469.48/469.65	o 14109744
469.48/469.65	c p 469s|  1186 |   686 |926577 | 763.9 |  22M|  63 |   - |2555 |1560 |2555 | 748 | 525 | 913 |3233 | 2.601108e+06 | 1.410974e+07 | 442.45%
469.48/469.69	o 14071782
469.48/469.69	c b 469s|  1187 |   687 |926582 | 763.3 |  21M|  63 | 203 |2555 |1560 |2555 | 748 | 525 | 913 |3234 | 2.601108e+06 | 1.407178e+07 | 440.99%
470.58/470.72	o 14040032
470.58/470.72	c v 471s|  1209 |   701 |928391 | 750.9 |  21M|  63 |   - |2555 |1646 |2555 | 748 | 525 | 999 |3235 | 2.601108e+06 | 1.404003e+07 | 439.77%
493.06/493.24	o 11129884
493.06/493.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
493.06/493.24	c C 493s|  1409 |   801 |984001 | 683.7 |  21M|  63 | 167 |2555 |1964 |2555 | 748 | 525 |1317 |3439 | 2.601242e+06 | 1.112988e+07 | 327.87%
821.97/822.21	o 10863780
821.97/822.21	c C 822s|  4561 |  2947 |  1873k| 406.1 |  26M|  63 | 155 |2555 |2955 |2555 | 748 | 525 |4313 |6065 | 2.626560e+06 | 1.086378e+07 | 313.61%
1395.63/1396.02	o 10861508
1395.63/1396.02	c v1396s|  9100 |  6031 |  3442k| 375.9 |  31M|  63 |   - |2555 |1968 |2555 | 748 | 525 |  10k|9681 | 2.686202e+06 | 1.086151e+07 | 304.34%
1396.03/1396.47	o 10747844
1396.03/1396.47	c b1396s|  9101 |  6026 |  3443k| 376.1 |  31M|  63 | 195 |2555 |1965 |2555 | 748 | 525 |  10k|9682 | 2.686350e+06 | 1.074784e+07 | 300.09%
1438.42/1438.86	o 10310288
1438.42/1438.86	c C1439s|  9381 |  6179 |  3546k| 375.9 |  32M|  63 |   - |2555 |1961 |2555 | 748 | 525 |  10k|  10k| 2.686425e+06 | 1.031029e+07 | 283.79%
1489.21/1489.65	c  1489s| 10000 |  6543 |  3677k| 365.6 |  32M|  63 |   - |2555 |1995 |   0 |   0 | 525 |  11k|  10k| 2.686714e+06 | 1.031029e+07 | 283.75%
1683.15/1683.65	o 10309346
1683.15/1683.65	c v1683s| 12075 |  7907 |  4182k| 344.6 |  35M|  63 |   - |2555 |2221 |2555 | 748 | 525 |  13k|  11k| 2.688559e+06 | 1.030935e+07 | 283.45%
1769.14/1769.67	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1788.73/1789.21	o 8638159
1788.73/1789.21	c f1789s| 13081 |  8303 |  4467k| 339.9 |  36M|  63 |   - |2555 |1965 |2555 | 748 | 525 |  14k|  12k| 2.688786e+06 | 8.638159e+06 | 221.27%
1788.73/1789.23	o 8600271
1788.73/1789.23	c b1789s| 13082 |  8289 |  4467k| 339.9 |  36M|  63 | 196 |2555 |1923 |2555 | 748 | 525 |  14k|  12k| 2.688786e+06 | 8.600271e+06 | 219.86%
1789.53/1790.02	c 
1789.53/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.02	c Solving Time (sec) : 1789.81
1789.53/1790.02	c Solving Nodes      : 13083
1789.53/1790.02	c Primal Bound       : +8.60027100000000e+06 (38 solutions)
1789.53/1790.02	c Dual Bound         : +2.68878625108225e+06
1789.53/1790.02	c Gap                : 219.86 %
1789.53/1790.03	s SATISFIABLE
1789.53/1790.03	v x1074 x1064 x1054 x1053 x1052 x1037 x1036 x1035 x1033 x1024 x1020 x1019 x1013 x1012 x1006 x998 x980 x979 x974 x973 x971 x965 x961 
1789.53/1790.03	v x957 x941 x940 x939 x938 x936 x935 x934 x930 x927 x926 x916 x907 x902 x894 x892 x891 x890 x883 x880 x879 x876 x872 x868 x858 
1789.53/1790.03	v x856 x849 x847 x846 x841 x839 x838 x831 x830 x826 x820 x816 x812 x809 x807 x799 x795 x783 -x780 -x779 -x778 -x777 -x776 -x775 
1789.53/1790.03	v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 x757 x756 x755 x754 
1789.53/1790.03	v x753 x752 x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 
1789.53/1790.03	v -x731 -x730 -x729 x728 x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 
1789.53/1790.03	v -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 x692 x691 -x690 
1789.53/1790.03	v -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 
1789.53/1790.03	v -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 
1789.53/1790.03	v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 
1789.53/1790.03	v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 
1789.53/1790.03	v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 
1789.53/1790.03	v -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 
1789.53/1790.03	v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 
1789.53/1790.03	v -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 
1789.53/1790.03	v -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
1789.53/1790.03	v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 
1789.53/1790.03	v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 
1789.53/1790.03	v -x459 -x458 -x457 -x456 -x455 x454 x453 x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1789.53/1790.03	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1789.53/1790.03	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 
1789.53/1790.03	v -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1789.53/1790.03	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1789.53/1790.03	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 x334 -x333 
1789.53/1790.03	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1789.53/1790.03	v -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1789.53/1790.03	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 
1789.53/1790.03	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
1789.53/1790.03	v -x248 -x247 -x246 -x245 -x244 -x243 x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 
1789.53/1790.03	v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 
1789.53/1790.03	v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 
1789.53/1790.03	v -x185 x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 
1789.53/1790.03	v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 
1789.53/1790.03	v -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 
1789.53/1790.03	v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 
1789.53/1790.03	v -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 
1789.53/1790.03	v -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 
1789.53/1790.03	v -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 
1789.53/1790.03	v -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x2675 
1789.53/1790.03	v -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 
1789.53/1790.03	v -x2447 -x2446 -x2445 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 x2196 -x2195 -x2194 -x2193 -x2192 -x2103 -x2102 -x2101 -x2100 
1789.53/1790.03	v -x2099 -x2098 -x2097 x2096 -x2095 -x2094 -x2093 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 
1789.53/1790.03	v -x1960 -x1959 -x1958 -x1957 -x1956 x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1894 -x1893 -x1892 -x1891 -x1890 x1889 -x1888 
1789.53/1790.03	v x1887 -x1886 -x1885 -x1884 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 x1840 -x1542 -x1541 -x1540 
1789.53/1790.03	v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 
1789.53/1790.03	v -x1499 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 
1789.53/1790.03	v -x1184 -x1183 -x1182 -x1181 -x1180 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x3115 -x3114 
1789.53/1790.03	v -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 
1789.53/1790.03	v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 
1789.53/1790.03	v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 
1789.53/1790.03	v -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 
1789.53/1790.03	v -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 
1789.53/1790.03	v -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 x3010 -x3009 -x3008 -x3007 
1789.53/1790.03	v -x3006 -x3005 -x3004 -x3003 -x3002 x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
1789.53/1790.03	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 x2976 -x2975 -x2974 -x2973 -x2972 -x2971 
1789.53/1790.03	v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 
1789.53/1790.03	v -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 
1789.53/1790.03	v x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 
1789.53/1790.03	v -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 x2901 -x2900 -x2899 
1789.53/1790.03	v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 x2881 
1789.53/1790.03	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 x2866 -x2865 -x2864 -x2863 
1789.53/1790.03	v -x2862 -x2861 -x2860 -x2859 x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
1789.53/1790.03	v -x2844 x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
1789.53/1790.03	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 x2814 -x2813 -x2812 -x2811 -x2810 -x2809 
1789.53/1790.03	v -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 x2791 
1789.53/1790.03	v -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 
1789.53/1790.03	v -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
1789.53/1790.03	v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 
1789.53/1790.03	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
1789.53/1790.03	v -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 x2703 -x2702 -x2701 
1789.53/1790.03	v -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690 x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
1789.53/1790.03	v x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 
1789.53/1790.03	v -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 
1789.53/1790.03	v -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 
1789.53/1790.03	v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 x2603 -x2602 -x2601 -x2600 
1789.53/1790.03	v -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 
1789.53/1790.03	v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 
1789.53/1790.03	v -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 x2546 
1789.53/1790.03	v -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 x2528 
1789.53/1790.03	v -x2527 -x2526 -x2525 x2524 -x2523 x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 
1789.53/1790.03	v -x2509 -x2508 -x2507 -x2506 -x2505 x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 x2495 -x2494 -x2493 -x2492 
1789.53/1790.03	v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 
1789.53/1790.03	v -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 
1789.53/1790.03	v -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 
1789.53/1790.03	v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 
1789.53/1790.03	v -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 x2395 -x2394 -x2393 -x2392 -x2391 
1789.53/1790.03	v -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 
1789.53/1790.03	v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 
1789.53/1790.03	v -x2355 -x2354 -x2353 -x2352 x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 
1789.53/1790.03	v -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 
1789.53/1790.03	v -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 x2305 -x2304 -x2303 -x2302 
1789.53/1790.03	v -x2301 -x2300 -x2299 -x2298 x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 
1789.53/1790.03	v -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 
1789.53/1790.03	v -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 x2249 -x2248 
1789.53/1790.03	v -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 
1789.53/1790.03	v -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 
1789.53/1790.03	v -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2191 -x2190 -x2189 -x2188 -x2187 x2186 -x2185 -x2184 -x2183 
1789.53/1790.03	v -x2182 -x2181 -x2180 -x2179 x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 
1789.53/1790.03	v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 
1789.53/1790.03	v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 x2132 -x2131 -x2130 -x2129 
1789.53/1790.03	v -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 
1789.53/1790.03	v -x2110 -x2109 -x2108 x2107 -x2106 -x2105 -x2104 -x2092 -x2091 -x2090 -x2089 x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 
1789.53/1790.03	v -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 
1789.53/1790.03	v x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 
1789.53/1790.03	v -x2045 -x2044 x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 
1789.53/1790.03	v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 x2010 
1789.53/1790.03	v -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 
1789.53/1790.03	v -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 
1789.53/1790.03	v -x1973 -x1972 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 
1789.53/1790.03	v -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 x1921 -x1920 -x1919 -x1918 -x1917 -x1916 
1789.53/1790.03	v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 x1900 -x1899 -x1898 
1789.53/1790.03	v -x1897 -x1896 -x1895 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
1789.53/1790.03	v -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 x1854 -x1853 -x1852 -x1851 
1789.53/1790.03	v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
1789.53/1790.03	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
1789.53/1790.03	v -x1803 -x1802 -x1801 -x1800 -x1799 x1798 -x1797 -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
1789.53/1790.03	v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 x1768 
1789.53/1790.03	v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 
1789.53/1790.03	v -x1749 -x1748 -x1747 x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 
1789.53/1790.03	v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 -x1717 -x1716 x1715 -x1714 
1789.53/1790.03	v -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 
1789.53/1790.03	v -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 
1789.53/1790.03	v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 
1789.53/1790.03	v -x1659 -x1658 x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 x1645 -x1644 -x1643 -x1642 
1789.53/1790.03	v -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 
1789.53/1790.03	v -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 
1789.53/1790.03	v -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 
1789.53/1790.03	v -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 
1789.53/1790.03	v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 
1789.53/1790.03	v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 
1789.53/1790.03	v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1498 -x1497 -x1496 -x1495 
1789.53/1790.03	v -x1494 -x1493 -x1492 x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 
1789.53/1790.03	v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 
1789.53/1790.03	v -x1458 -x1457 x1456 x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 
1789.53/1790.03	v -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 
1789.53/1790.03	v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 
1789.53/1790.03	v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 
1789.53/1790.03	v -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 
1789.53/1790.03	v -x1368 -x1367 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 x1341 -x1340 
1789.53/1790.03	v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 
1789.53/1790.03	v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 
1789.53/1790.03	v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 
1789.53/1790.03	v -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 
1789.53/1790.03	v -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 
1789.53/1790.03	v -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 
1789.53/1790.03	v -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 
1789.53/1790.03	v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 
1789.53/1790.03	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 -x1170 -x1169 -x1168 -x1167 
1789.53/1790.03	v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 x1149 
1789.53/1790.03	v -x1148 -x1147 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 
1789.53/1790.03	v -x1119 x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 
1789.53/1790.03	v -x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 
1789.53/1790.03	v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 x1073 x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 x1063 
1789.53/1790.03	v -x1062 -x1061 -x1060 -x1059 -x1058 x1057 x1056 -x1055 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 
1789.53/1790.03	v -x1041 x1040 -x1039 x1038 -x1034 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1023 -x1022 x1021 -x1018 x1017 -x1016 
1789.53/1790.03	v -x1015 -x1014 -x1011 x1010 -x1009 -x1008 x1007 x1005 -x1004 x1003 x1002 -x1001 x1000 -x999 x997 -x996 x995 x994 -x993 x992 
1789.53/1790.03	v -x991 x990 x989 x988 -x987 x986 -x985 x984 x983 -x982 -x981 -x978 x977 -x976 -x975 -x972 -x970 -x969 -x968 x967 -x966 -x964 
1789.53/1790.03	v -x963 -x962 x960 -x959 -x958 -x956 -x955 -x954 -x953 -x952 x951 x950 x949 -x948 -x947 x946 x945 x944 x943 -x942 x937 -x933 
1789.53/1790.03	v x932 -x931 x929 x928 x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 x917 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x906 
1789.53/1790.03	v -x905 x904 -x903 -x901 x900 -x899 -x898 x897 x896 x895 x893 -x889 x888 -x887 -x886 -x885 x884 -x882 -x881 -x878 x877 -x875 x874 
1789.53/1790.03	v -x873 -x871 x870 -x869 -x867 x866 -x865 x864 x863 x862 -x861 -x860 x859 -x857 -x855 -x854 x853 -x852 -x851 -x850 -x848 -x845 
1789.53/1790.03	v x844 -x843 x842 x840 x837 -x836 x835 -x834 x833 x832 -x829 x828 -x827 x825 -x824 x823 -x822 x821 -x819 -x818 -x817 -x815 
1789.53/1790.03	v -x814 -x813 -x811 -x810 x808 x806 -x805 -x804 -x803 x802 -x801 x800 x798 x797 -x796 -x794 -x793 x792 x791 x790 -x789 -x788 -x787 
1789.53/1790.03	v -x786 x785 -x784 x782 -x781 
1789.53/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.03	c Solving Time       :    1789.81
1789.53/1790.03	c Original Problem   :
1789.53/1790.03	c   Problem name     : HOME/instance-2703859-1278557511.opb
1789.53/1790.03	c   Variables        : 3115 (3115 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.03	c   Constraints      : 671 initial, 671 maximal
1789.53/1790.03	c Presolved Problem  :
1789.53/1790.03	c   Problem name     : t_HOME/instance-2703859-1278557511.opb
1789.53/1790.03	c   Variables        : 2555 (2555 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.03	c   Constraints      : 647 initial, 3312 maximal
1789.53/1790.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.53/1790.03	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   dualfix          :       0.00         66          0          0          0          0          0          0          0
1789.53/1790.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   probing          :       2.13          0          0          0          0          0          0          0          0
1789.53/1790.03	c   knapsack         :       0.20          0          0          0          0          0          0       1564      72135
1789.53/1790.03	c   linear           :       0.08        494          0          0        494          0         24        216        212
1789.53/1790.03	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   root node        :          -          1          -          -          1          -          -          -          -
1789.53/1790.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.03	c   integral         :          0          0          0      11496          0          6       1142          0          0      21790
1789.53/1790.03	c   knapsack         :        646          6     129019          0          1        944      65970        957          0          0
1789.53/1790.03	c   linear           :          1          6     119192          0          1        358      80191          0          0          0
1789.53/1790.03	c   logicor          :          0+         0      22223          0          0        233      10143          0          0          0
1789.53/1790.03	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.53/1790.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.53/1790.03	c   integral         :     239.59       0.00       0.00     239.59       0.00
1789.53/1790.03	c   knapsack         :      84.61       0.25      84.37       0.00       0.00
1789.53/1790.03	c   linear           :       3.14       0.00       3.14       0.00       0.00
1789.53/1790.03	c   logicor          :       1.56       0.00       1.56       0.00       0.00
1789.53/1790.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.53/1790.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.53/1790.03	c   vbounds          :       0.12          2          0          0
1789.53/1790.03	c   rootredcost      :       0.18         14          0          1
1789.53/1790.03	c   pseudoobj        :      24.75     128423        431       1619
1789.53/1790.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.53/1790.03	c   propagation      :       1.34       1966       1963      22150       77.3         35       54.8          -
1789.53/1790.03	c   infeasible LP    :       3.04       3612       3611      11996       29.1         81       23.6          0
1789.53/1790.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.03	c   pseudo solution  :       0.02         11         11        172       95.6          0        0.0          -
1789.53/1790.03	c   applied globally :          -          -          -      14666       45.6          -          -          -
1789.53/1790.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.53/1790.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.53/1790.03	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 1045)
1789.53/1790.03	c   redcost          :       3.23      11891          0       2628          0          0
1789.53/1790.03	c   impliedbounds    :       0.01          6          0          0        688          0
1789.53/1790.03	c   intobj           :       0.00          0          0          0          0          0
1789.53/1790.03	c   cgmip            :       0.00          0          0          0          0          0
1789.53/1790.03	c   gomory           :       0.14          6          0          0          0          0
1789.53/1790.03	c   strongcg         :       0.14          6          0          0          0          0
1789.53/1790.03	c   cmir             :       0.24          6          0          0        419          0
1789.53/1790.03	c   flowcover        :       1.63          6          0          0        201          0
1789.53/1790.03	c   clique           :       0.10          6          0          0          6          0
1789.53/1790.03	c   zerohalf         :       0.00          0          0          0          0          0
1789.53/1790.03	c   mcf              :       0.00          1          0          0          0          0
1789.53/1790.03	c   rapidlearning    :       0.61          1          0          0          0          0
1789.53/1790.03	c Pricers            :       Time      Calls       Vars
1789.53/1790.03	c   problem variables:       0.00          0          0
1789.53/1790.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.03	c   relpscost        :     239.54      11496          6       1142          0          0      21790
1789.53/1790.03	c   pscost           :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   inference        :       0.00          1          0          0          0          0          2
1789.53/1790.03	c   mostinf          :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   leastinf         :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   random           :       0.00          0          0          0          0          0          0
1789.53/1790.03	c Primal Heuristics  :       Time      Calls      Found
1789.53/1790.03	c   LP solutions     :       0.00          -          0
1789.53/1790.03	c   pseudo solutions :       0.00          -          0
1789.53/1790.03	c   veclendiving     :      25.16         76          5
1789.53/1790.03	c   linesearchdiving :      21.83         76          0
1789.53/1790.03	c   guideddiving     :      55.37         76          0
1789.53/1790.03	c   coefdiving       :      73.31         77          1
1789.53/1790.03	c   pscostdiving     :      71.87         77          1
1789.53/1790.03	c   objpscostdiving  :       3.15         39          0
1789.53/1790.03	c   rootsoldiving    :      45.98         39         19
1789.53/1790.03	c   trivial          :       0.01          2          0
1789.53/1790.03	c   simplerounding   :       0.35      11254          0
1789.53/1790.03	c   zirounding       :       0.13       1000          0
1789.53/1790.03	c   rounding         :       0.51       1490          0
1789.53/1790.03	c   shifting         :       2.66        442          0
1789.53/1790.03	c   intshifting      :       0.00          0          0
1789.53/1790.03	c   oneopt           :       0.06         15          5
1789.53/1790.03	c   twoopt           :       0.00          0          0
1789.53/1790.03	c   fixandinfer      :       0.00          0          0
1789.53/1790.03	c   feaspump         :       8.94          2          0
1789.53/1790.03	c   fracdiving       :      61.30         77          1
1789.53/1790.03	c   intdiving        :       0.00          0          0
1789.53/1790.03	c   actconsdiving    :       0.00          0          0
1789.53/1790.03	c   octane           :       0.00          0          0
1789.53/1790.03	c   rens             :       0.22          1          0
1789.53/1790.03	c   rins             :       0.00          0          0
1789.53/1790.03	c   localbranching   :       0.00          0          0
1789.53/1790.03	c   mutation         :       0.00          0          0
1789.53/1790.03	c   crossover        :       3.77         10          6
1789.53/1790.03	c   dins             :       0.00          0          0
1789.53/1790.03	c   undercover       :       0.00          0          0
1789.53/1790.03	c   nlp              :       0.01          0          0
1789.53/1790.03	c   trysol           :       0.01          0          0
1789.53/1790.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.53/1790.03	c   primal LP        :       0.00          0          0       0.00          -
1789.53/1790.03	c   dual LP          :    1092.42      13230    4036949     305.14    3695.40
1789.53/1790.03	c   lex dual LP      :       0.00          0          0       0.00          -
1789.53/1790.03	c   barrier LP       :       0.00          0          0       0.00          -
1789.53/1790.03	c   diving/probing LP:     210.93      87455     432493       4.95    2050.39
1789.53/1790.03	c   strong branching :     237.93      12431     834888      67.16    3508.90
1789.53/1790.03	c     (at root node) :          -         48      22287     464.31          -
1789.53/1790.03	c   conflict analysis:       0.00          0          0       0.00          -
1789.53/1790.03	c B&B Tree           :
1789.53/1790.03	c   number of runs   :          1
1789.53/1790.03	c   nodes            :      13083
1789.53/1790.03	c   nodes (total)    :      13083
1789.53/1790.03	c   nodes left       :       8290
1789.53/1790.03	c   max depth        :         63
1789.53/1790.03	c   max depth (total):         63
1789.53/1790.03	c   backtracks       :       1118 (8.5%)
1789.53/1790.03	c   delayed cutoffs  :         72
1789.53/1790.03	c   repropagations   :       5103 (8060 domain reductions, 66 cutoffs)
1789.53/1790.03	c   avg switch length:       4.36
1789.53/1790.03	c   switching time   :       4.03
1789.53/1790.03	c Solution           :
1789.53/1790.03	c   Solutions found  :         38 (15 improvements)
1789.53/1790.03	c   First Solution   : +3.16351200000000e+07   (in run 1, after 20 nodes, 144.38 seconds, depth 44, found by <veclendiving>)
1789.53/1790.03	c   Primal Bound     : +8.60027100000000e+06   (in run 1, after 13082 nodes, 1789.02 seconds, depth 12, found by <oneopt>)
1789.53/1790.03	c   Dual Bound       : +2.68878625108225e+06
1789.53/1790.03	c   Gap              :     219.86 %
1789.53/1790.03	c   Root Dual Bound  : +9.45398601398675e+03
1789.53/1790.03	c   Root Iterations  :      21323
1789.63/1790.10	c Time complete: 1789.64.

Verifier Data 

OK	8600271

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703859-1278557511/watcher-2703859-1278557511 -o /tmp/evaluation-result-2703859-1278557511/solver-2703859-1278557511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703859-1278557511.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 1.00 3/106 30750
/proc/meminfo: memFree=1544820/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=7904 CPUtime=0
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 1072 0 0 0 0 0 0 0 22 0 1 0 23958948 8093696 985 1992294400 4194304 8395647 140733875471216 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30750/statm: 1976 994 365 1026 0 946 0

[startup+0.0910321 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30750
/proc/meminfo: memFree=1544820/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=13608 CPUtime=0.08
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 2714 0 0 0 7 1 0 0 22 0 1 0 23958948 13934592 2625 1992294400 4194304 8395647 140733875471216 18446744073709551615 5755310 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30750/statm: 3402 2625 393 1026 0 2372 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13608

[startup+0.101033 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30750
/proc/meminfo: memFree=1544820/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=13800 CPUtime=0.09
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 2751 0 0 0 8 1 0 0 22 0 1 0 23958948 14131200 2662 1992294400 4194304 8395647 140733875471216 18446744073709551615 7324688 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30750/statm: 3450 2662 393 1026 0 2420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13800

[startup+0.301053 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30750
/proc/meminfo: memFree=1544820/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=32948 CPUtime=0.29
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 7627 0 0 0 27 2 0 0 22 0 1 0 23958948 33738752 7184 1992294400 4194304 8395647 140733875471216 18446744073709551615 4437290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 8237 7184 465 1026 0 7207 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32948

[startup+0.701092 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30750
/proc/meminfo: memFree=1544820/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=40296 CPUtime=0.69
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 9489 0 0 0 66 3 0 0 23 0 1 0 23958948 41263104 9046 1992294400 4194304 8395647 140733875471216 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 10074 9046 494 1026 0 9044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40296

[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30751
/proc/meminfo: memFree=1510340/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=41308 CPUtime=1.49
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 9720 0 0 0 146 3 0 0 25 0 1 0 23958948 42299392 9277 1992294400 4194304 8395647 140733875471216 18446744073709551615 4911210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 10327 9277 494 1026 0 9297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41308

[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30751
/proc/meminfo: memFree=1508604/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=49672 CPUtime=3.09
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 11667 0 0 0 305 4 0 0 25 0 1 0 23958948 50864128 11198 1992294400 4194304 8395647 140733875471216 18446744073709551615 6708358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 12418 11198 580 1026 0 11388 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49672

[startup+6.30064 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30751
/proc/meminfo: memFree=1501412/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=49672 CPUtime=6.29
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 11712 0 0 0 620 9 0 0 25 0 1 0 23958948 50864128 11243 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 12418 11243 583 1026 0 11388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49672

[startup+12.7003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30751
/proc/meminfo: memFree=1491864/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=87436 CPUtime=12.69
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 20747 0 0 0 1249 20 0 0 25 0 1 0 23958948 89534464 20275 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 21859 20275 615 1026 0 20829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87436

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30753
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=25.48
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23512 0 0 0 2513 35 0 0 25 0 1 0 23958948 81690624 18791 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18791 735 1026 0 18914 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79776

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30753
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=51.07
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23512 0 0 0 5035 72 0 0 25 0 1 0 23958948 81690624 18791 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18791 735 1026 0 18914 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79776

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30755
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=102.27
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23516 0 0 0 10075 152 0 0 25 0 1 0 23958948 81690624 18795 1992294400 4194304 8395647 140733875471216 18446744073709551615 6697268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18795 739 1026 0 18914 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 79776

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30755
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=162.25
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23522 0 0 0 15978 247 0 0 25 0 1 0 23958948 81690624 18801 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18801 739 1026 0 18914 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 79776

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30757
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=222.24
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23522 0 0 0 21890 334 0 0 25 0 1 0 23958948 81690624 18801 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18801 739 1026 0 18914 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 79776

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30759
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=282.22
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23522 0 0 0 27794 428 0 0 25 0 1 0 23958948 81690624 18801 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18801 739 1026 0 18914 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79776

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30761
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=342.2
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23522 0 0 0 33707 513 0 0 25 0 1 0 23958948 81690624 18801 1992294400 4194304 8395647 140733875471216 18446744073709551615 5586535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18801 739 1026 0 18914 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 79776

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30763
/proc/meminfo: memFree=1471280/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=79776 CPUtime=402.2
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 23522 0 0 0 39609 611 0 0 25 0 1 0 23958948 81690624 18801 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 19944 18801 739 1026 0 18914 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 79776

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30763
/proc/meminfo: memFree=1463468/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=462.18
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 27194 0 0 0 45505 713 0 0 25 0 1 0 23958948 91549696 20869 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 20869 742 1026 0 21321 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 89404

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30765
/proc/meminfo: memFree=1460616/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=91108 CPUtime=522.16
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 27908 0 0 0 51417 799 0 0 25 0 1 0 23958948 93294592 21583 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22777 21583 744 1026 0 21747 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 91108

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30776
/proc/meminfo: memFree=1459500/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=91108 CPUtime=582.13
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 27912 0 0 0 57320 893 0 0 25 0 1 0 23958948 93294592 21587 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22777 21587 744 1026 0 21747 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 91108

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30778
/proc/meminfo: memFree=1460988/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=642.13
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 28291 0 0 0 63227 986 0 0 25 0 1 0 23958948 91549696 21230 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21230 744 1026 0 21321 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 89404

[startup+702.301 s]

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

/proc/meminfo: memFree=1460988/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1002.03
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 30652 0 0 0 98658 1545 0 0 25 0 1 0 23958948 91549696 21240 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21240 744 1026 0 21321 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 89404

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30788
/proc/meminfo: memFree=1460988/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1062.02
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 30652 0 0 0 104560 1642 0 0 25 0 1 0 23958948 91549696 21240 1992294400 4194304 8395647 140733875471216 18446744073709551615 6696653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21240 744 1026 0 21321 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 89404

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30790
/proc/meminfo: memFree=1460988/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1122
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 30653 0 0 0 110465 1735 0 0 25 0 1 0 23958948 91549696 21241 1992294400 4194304 8395647 140733875471216 18446744073709551615 6697419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21241 744 1026 0 21321 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 89404

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30792
/proc/meminfo: memFree=1460988/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1181.98
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 30655 0 0 0 116369 1829 0 0 25 0 1 0 23958948 91549696 21243 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21243 744 1026 0 21321 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 89404

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30794
/proc/meminfo: memFree=1460988/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1241.97
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 32992 0 0 0 122274 1923 0 0 25 0 1 0 23958948 91549696 21244 1992294400 4194304 8395647 140733875471216 18446744073709551615 6723303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21244 744 1026 0 21321 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 89404

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30796
/proc/meminfo: memFree=1460864/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1301.96
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 32993 0 0 0 128177 2019 0 0 25 0 1 0 23958948 91549696 21245 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21245 744 1026 0 21321 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 89404

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30796
/proc/meminfo: memFree=1460864/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1361.94
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 34098 0 0 0 134076 2118 0 0 25 0 1 0 23958948 91549696 21247 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21247 744 1026 0 21321 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 89404

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30798
/proc/meminfo: memFree=1460864/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=89404 CPUtime=1421.93
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 34099 0 0 0 139978 2215 0 0 25 0 1 0 23958948 91549696 21248 1992294400 4194304 8395647 140733875471216 18446744073709551615 6708313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 22351 21248 744 1026 0 21321 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 89404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30800
/proc/meminfo: memFree=1448216/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=103944 CPUtime=1481.91
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 37414 0 0 0 145877 2314 0 0 25 0 1 0 23958948 106438656 24563 1992294400 4194304 8395647 140733875471216 18446744073709551615 6652281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 25986 24563 744 1026 0 24956 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 103944

[startup+1542.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 30802
/proc/meminfo: memFree=1448216/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=103944 CPUtime=1541.89
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 37417 0 0 0 151783 2406 0 0 25 0 1 0 23958948 106438656 24566 1992294400 4194304 8395647 140733875471216 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 25986 24566 744 1026 0 24956 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 103944

[startup+1602.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 30804
/proc/meminfo: memFree=1448216/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=103944 CPUtime=1601.88
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 37417 0 0 0 157691 2497 0 0 25 0 1 0 23958948 106438656 24566 1992294400 4194304 8395647 140733875471216 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 25986 24566 744 1026 0 24956 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 103944

[startup+1662.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 30804
/proc/meminfo: memFree=1448216/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=103944 CPUtime=1661.86
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 37420 0 0 0 163604 2582 0 0 25 0 1 0 23958948 106438656 24569 1992294400 4194304 8395647 140733875471216 18446744073709551615 4911287 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 25986 24569 744 1026 0 24956 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 103944

[startup+1722.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 30809
/proc/meminfo: memFree=1445488/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=105388 CPUtime=1721.84
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 38506 0 0 0 169510 2674 0 0 25 0 1 0 23958948 107917312 25023 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 26347 25023 744 1026 0 25317 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 105388

[startup+1782.3 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 30811
/proc/meminfo: memFree=1445488/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=105388 CPUtime=1781.84
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 38507 0 0 0 175413 2771 0 0 25 0 1 0 23958948 107917312 25024 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 26347 25024 744 1026 0 25317 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 105388

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

[startup+1785.5 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 30811
/proc/meminfo: memFree=1445488/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=105388 CPUtime=1785.03
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 38507 0 0 0 175726 2777 0 0 25 0 1 0 23958948 107917312 25024 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 26347 25024 744 1026 0 25317 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 105388

[startup+1788.7 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30811
/proc/meminfo: memFree=1445488/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=105388 CPUtime=1788.23
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 38507 0 0 0 176042 2781 0 0 25 0 1 0 23958948 107917312 25024 1992294400 4194304 8395647 140733875471216 18446744073709551615 4910737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 26347 25024 744 1026 0 25317 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 105388

[startup+1789.5 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30811
/proc/meminfo: memFree=1445488/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=105388 CPUtime=1789.03
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 38507 0 0 0 176121 2782 0 0 25 0 1 0 23958948 107917312 25024 1992294400 4194304 8395647 140733875471216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 26347 25024 744 1026 0 25317 0
Current children cumulated CPU time (s) 1789.03
Current children cumulated vsize (KiB) 105388

[startup+1789.9 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30811
/proc/meminfo: memFree=1445488/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=105388 CPUtime=1789.43
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 38507 0 0 0 176160 2783 0 0 25 0 1 0 23958948 107917312 25024 1992294400 4194304 8395647 140733875471216 18446744073709551615 6695890 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30750/statm: 26347 25024 744 1026 0 25317 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (KiB) 105388

[startup+1790.1 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30811
/proc/meminfo: memFree=1445488/2059040 swapFree=4144756/4192956
[pid=30750] ppid=30748 vsize=84600 CPUtime=1789.63
/proc/30750/stat : 30750 (pbscip.linux.x8) R 30748 30750 27087 0 -1 4202496 38509 0 0 0 176180 2783 0 0 25 0 1 0 23958948 86630400 20058 1992294400 4194304 8395647 140733875471216 18446744073709551615 4288149 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30750/statm: 21150 20058 746 1026 0 20120 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 84600

Child status: 0
Real time (s): 1790.11
CPU time (s): 1789.65
CPU user time (s): 1761.8
CPU system time (s): 27.8488
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 108088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.8
system time used= 27.8488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38510
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= 5
involuntary context switches= 4481

runsolver used 3.16952 second user time and 8.24675 second system time

The end

Launcher Data 

Begin job on node036 at 2010-07-08 04:51:51
IDJOB=2703859
IDBENCH=2327
IDSOLVER=1213
FILE ID=node036/2703859-1278557511
PBS_JOBID= 11239503
Free space on /tmp= 62540 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-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.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-2703859-1278557511/watcher-2703859-1278557511 -o /tmp/evaluation-result-2703859-1278557511/solver-2703859-1278557511 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703859-1278557511.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6ec9fbaf74a275630384576eed2d57d7
RANDOM SEED=1814482397

node036.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.244
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.48
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.244
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1545348 kB
Buffers:         75956 kB
Cached:         324524 kB
SwapCached:      11800 kB
Active:         185580 kB
Inactive:       238684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1545348 kB
SwapTotal:     4192956 kB
SwapFree:      4144756 kB
Dirty:           11836 kB
Writeback:           8 kB
AnonPages:       15312 kB
Mapped:          11952 kB
Slab:            67488 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180316 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= 62528 MiB
End job on node036 at 2010-07-08 05:21:42