Trace number 1868515

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT 170.595 170.65

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM582e49d5d5904d827aa5677e7d2575f7
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.405938
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2903
Total number of constraints2066
Number of constraints which are clauses1978
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint22
Maximum length of a constraint45
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.04 1.00 3/64 7744
/proc/meminfo: memFree=1338912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=5812 CPUtime=0
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 527 0 0 0 0 0 0 0 18 0 1 0 180309294 5951488 511 1992294400 4194304 9342243 548682068736 18446744073709551615 4403200 0 0 4096 0 0 0 0 17 1 0 0
/proc/7744/statm: 1454 519 347 1256 0 193 0

[startup+0.085434 s]
/proc/loadavg: 1.06 1.04 1.00 3/64 7744
/proc/meminfo: memFree=1338912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=14308 CPUtime=0.07
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 2541 0 0 0 7 0 0 0 18 0 1 0 180309294 14651392 2525 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/7744/statm: 3577 2525 376 1256 0 2316 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14308

[startup+0.101434 s]
/proc/loadavg: 1.06 1.04 1.00 3/64 7744
/proc/meminfo: memFree=1338912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=14308 CPUtime=0.09
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 2546 0 0 0 9 0 0 0 18 0 1 0 180309294 14651392 2530 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/7744/statm: 3577 2530 376 1256 0 2316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14308

[startup+0.301456 s]
/proc/loadavg: 1.06 1.04 1.00 3/64 7744
/proc/meminfo: memFree=1338912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=36068 CPUtime=0.29
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 8223 0 0 0 27 2 0 0 17 0 1 0 180309294 36933632 7820 1992294400 4194304 9342243 548682068736 18446744073709551615 4308678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 9017 7821 529 1256 0 7756 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36068

[startup+0.7015 s]
/proc/loadavg: 1.06 1.04 1.00 3/64 7744
/proc/meminfo: memFree=1338912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=40384 CPUtime=0.69
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 9186 0 0 0 66 3 0 0 19 0 1 0 180309294 41353216 8783 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 10096 8783 601 1256 0 8835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40384

[startup+1.50159 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 7745
/proc/meminfo: memFree=1305624/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=41692 CPUtime=1.49
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 9575 0 0 0 146 3 0 0 25 0 1 0 180309294 42692608 9170 1992294400 4194304 9342243 548682068736 18446744073709551615 5727911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 10423 9170 637 1256 0 9162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41692

[startup+3.10177 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 7745
/proc/meminfo: memFree=1302296/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=46012 CPUtime=3.09
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 10790 0 0 0 305 4 0 0 25 0 1 0 180309294 47116288 9748 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 11503 9748 642 1256 0 10242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46012

[startup+6.30112 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 7745
/proc/meminfo: memFree=1301912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=46408 CPUtime=6.29
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 12954 0 0 0 622 7 0 0 25 0 1 0 180309294 47521792 9782 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 11602 9782 658 1256 0 10341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46408

[startup+12.7028 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 7745
/proc/meminfo: memFree=1302048/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=46076 CPUtime=12.69
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 20073 0 0 0 1257 12 0 0 25 0 1 0 180309294 47181824 9807 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 11519 9807 658 1256 0 10258 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46076

[startup+25.5013 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 7745
/proc/meminfo: memFree=1302112/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=45820 CPUtime=25.49
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 36208 0 0 0 2528 21 0 0 25 0 1 0 180309294 46919680 9791 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 11455 9791 658 1256 0 10194 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45820

[startup+51.1011 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 7745
/proc/meminfo: memFree=1302048/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=46800 CPUtime=51.07
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 52032 0 0 0 5073 34 0 0 25 0 1 0 180309294 47923200 9818 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 11700 9818 658 1256 0 10439 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46800

[startup+102.306 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1298016/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=50380 CPUtime=102.26
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 62152 0 0 0 10175 51 0 0 25 0 1 0 180309294 51589120 10820 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 12595 10820 658 1256 0 11334 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50380

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1292960/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=54688 CPUtime=162.24
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 66584 0 0 0 16156 68 0 0 25 0 1 0 180309294 56000512 12183 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 13672 12183 658 1256 0 12411 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 54688

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

[startup+166.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1292256/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=53436 CPUtime=166.24
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 66884 0 0 0 16556 68 0 0 25 0 1 0 180309294 54718464 12088 1992294400 4194304 9342243 548682068736 18446744073709551615 6348821 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 13359 12088 658 1256 0 12098 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 53436

[startup+167.901 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1292896/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=55400 CPUtime=167.84
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 67272 0 0 0 16715 69 0 0 25 0 1 0 180309294 56729600 12127 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 13850 12127 658 1256 0 12589 0
Current children cumulated CPU time (s) 167.84
Current children cumulated vsize (KiB) 55400

[startup+169.501 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1292384/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=55672 CPUtime=169.44
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 67515 0 0 0 16874 70 0 0 25 0 1 0 180309294 57008128 12245 1992294400 4194304 9342243 548682068736 18446744073709551615 6018115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 13918 12245 658 1256 0 12657 0
Current children cumulated CPU time (s) 169.44
Current children cumulated vsize (KiB) 55672

[startup+170.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1292384/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=55260 CPUtime=170.24
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 68053 0 0 0 16953 71 0 0 25 0 1 0 180309294 56586240 12594 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 13815 12594 658 1256 0 12554 0
Current children cumulated CPU time (s) 170.24
Current children cumulated vsize (KiB) 55260

[startup+170.505 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1290912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=55412 CPUtime=170.44
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 68064 0 0 0 16973 71 0 0 25 0 1 0 180309294 56741888 12605 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7744/statm: 13853 12605 658 1256 0 12592 0
Current children cumulated CPU time (s) 170.44
Current children cumulated vsize (KiB) 55412

[startup+170.601 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7745
/proc/meminfo: memFree=1290912/2055920 swapFree=4191900/4192956
[pid=7744] ppid=7742 vsize=55412 CPUtime=170.54
/proc/7744/stat : 7744 (pbscip.linux.x8) R 7742 7744 5695 0 -1 4194304 68072 0 0 0 16983 71 0 0 16 0 1 0 180309294 56741888 12613 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/7744/statm: 13853 12613 665 1256 0 12592 0
Current children cumulated CPU time (s) 170.54
Current children cumulated vsize (KiB) 55412

Child status: 0
Real time (s): 170.65
CPU time (s): 170.595
CPU user time (s): 169.873
CPU system time (s): 0.72189
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 56064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.873
system time used= 0.72189
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68080
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= 28
involuntary context switches= 286

runsolver used 0.134979 second user time and 0.369943 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-16 06:38:41
IDJOB=1868515
IDBENCH=1424
IDSOLVER=684
FILE ID=node38/1868515-1245127121
PBS_JOBID= 9363647
Free space on /tmp= 66236 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868515-1245127121/watcher-1868515-1245127121 -o /tmp/evaluation-result-1868515-1245127121/solver-1868515-1245127121 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868515-1245127121.opb

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

MD5SUM BENCH= 582e49d5d5904d827aa5677e7d2575f7
RANDOM SEED=1350416051

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1339328 kB
Buffers:         86828 kB
Cached:         527436 kB
SwapCached:        592 kB
Active:         177308 kB
Inactive:       450604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1339328 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           12168 kB
Writeback:           0 kB
Mapped:          22512 kB
Slab:            74592 kB
Committed_AS:   148684 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66224 MiB
End job on node38 at 2009-06-16 06:41:32