Trace number 1868499

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 167.5 167.563

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
MD5SUMd54e874b22823be807136681f90fbed4
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.314951
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2400
Total number of constraints1720
Number of constraints which are clauses1640
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint40
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 41
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.05/0.08	c SCIP version 1.1.0.7
0.05/0.08	c LP-Solver Clp 1.8.2
0.05/0.08	c user parameter file <scip.set> not found - using default parameters
0.05/0.08	c read problem <HOME/instance-1868499-1245126953.opb>
0.05/0.08	c original problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 1720 constraints
0.09/0.12	c No objective function, only one solution is needed.
0.09/0.12	c start presolving problem
0.09/0.12	c presolving:
0.09/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1720 upgd conss, 0 impls, 80 clqs
0.19/0.22	c presolving (2 rounds):
0.19/0.22	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22	c  0 implications, 80 cliques
0.19/0.22	c presolved problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 1720 constraints
0.19/0.22	c      80 constraints of type <setppc>
0.19/0.22	c    1640 constraints of type <logicor>
0.19/0.22	c transformed objective value is always integral (scale: 1)
0.19/0.22	c Presolving Time: 0.10
0.19/0.22	c SATUNSAT-LIN
0.19/0.22	c -----------------------------------------------------------------------------------------------
0.19/0.22	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.22	c separating/flowcover/freq = c -1
0.19/0.22	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.22	c separating/cmir/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/veclendiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.22	c heuristics/veclendiving/maxlpiterquot = c 0.075
0.19/0.22	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/veclendiving/freq = c -1
0.19/0.22	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22	c heuristics/simplerounding/freq = c -1
0.19/0.22	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/shifting/freq = c -1
0.19/0.22	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22	c heuristics/rounding/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.22	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.19/0.22	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.22	c heuristics/rootsoldiving/freq = c -1
0.19/0.22	c # number of nodes added to the contingent of the total nodes
0.19/0.22	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.22	c heuristics/rens/nodesofs = c 2000
0.19/0.22	c # minimum percentage of integer variables that have to be fixable 
0.19/0.22	c # [type: real, range: [0,1], default: 0.5]
0.19/0.22	c heuristics/rens/minfixingrate = c 0.3
0.19/0.22	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.22	c heuristics/rens/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/pscostdiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.22	c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.19/0.22	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/pscostdiving/freq = c -1
0.19/0.22	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22	c heuristics/oneopt/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.22	c # [type: real, range: [0,1], default: 0.01]
0.19/0.22	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.19/0.22	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.22	c heuristics/objpscostdiving/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.22	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.19/0.22	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/linesearchdiving/freq = c -1
0.19/0.22	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/intshifting/freq = c -1
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.22	c heuristics/intdiving/maxlpiterquot = c 0.075
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/guideddiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.22	c heuristics/guideddiving/maxlpiterquot = c 0.075
0.19/0.22	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/guideddiving/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/fracdiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.22	c heuristics/fracdiving/maxlpiterquot = c 0.075
0.19/0.22	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/fracdiving/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/feaspump/maxlpiterofs = c 2000
0.19/0.22	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.22	c heuristics/feaspump/freq = c -1
0.19/0.22	c # minimum percentage of integer variables that have to be fixed 
0.19/0.22	c # [type: real, range: [0,1], default: 0.666]
0.19/0.22	c heuristics/crossover/minfixingrate = c 0.5
0.19/0.22	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.22	c # [type: real, range: [0,1], default: 0.1]
0.19/0.22	c heuristics/crossover/nodesquot = c 0.15
0.19/0.22	c # number of nodes without incumbent change that heuristic should wait
0.19/0.22	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.22	c heuristics/crossover/nwaitingnodes = c 100
0.19/0.22	c # number of nodes added to the contingent of the total nodes
0.19/0.22	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.22	c heuristics/crossover/nodesofs = c 750
0.19/0.22	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.22	c heuristics/crossover/freq = c -1
0.19/0.22	c # additional number of allowed LP iterations
0.19/0.22	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.22	c heuristics/coefdiving/maxlpiterofs = c 1500
0.19/0.22	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.22	c heuristics/coefdiving/maxlpiterquot = c 0.075
0.19/0.22	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.22	c heuristics/coefdiving/freq = c -1
0.19/0.22	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22	c presolving/probing/maxrounds = c 0
0.19/0.22	c # should presolving try to simplify knapsacks
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/knapsack/simplifyinequalities = c TRUE
0.19/0.22	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.22	c constraints/knapsack/disaggregation = c FALSE
0.19/0.22	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22	c constraints/knapsack/maxnumcardlift = c 0
0.19/0.22	c # should presolving try to simplify inequalities
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/linear/simplifyinequalities = c TRUE
0.19/0.22	c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22	c separating/maxroundsroot = c 5
0.19/0.22	c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.22	c separating/maxrounds = c 1
0.19/0.22	c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22	c limits/solutions = c 1
0.19/0.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/memory = c 1620
0.19/0.22	c # maximal time in seconds to run
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/time = c 1791
0.19/0.22	c # frequency for displaying node information lines
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22	c display/freq = c 10000
0.19/0.22	c -----------------------------------------------------------------------------------------------
0.19/0.22	c start solving problem
0.19/0.22	c 
0.79/0.80	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.80	c   0.7s|     1 |     0 |  1784 |  10M|   0 |1640 |2400 |1720 |1720 |2400 |1720 |   0 |   0 |   0 | 4.100000e+01 |      --      |    Inf 
0.89/0.95	c   0.8s|     1 |     0 |  1873 |  10M|   0 |1631 |2400 |1720 |1720 |2400 |1721 |   1 |   0 |   0 | 4.192500e+01 |      --      |    Inf 
1.00/1.08	c   1.0s|     1 |     0 |  1964 |  10M|   0 |1593 |2400 |1720 |1720 |2400 |1722 |   2 |   0 |   0 | 4.192500e+01 |      --      |    Inf 
2.79/2.80	c   2.7s|     1 |     2 |  1964 |  10M|   0 |1593 |2400 |1720 |1720 |2400 |1722 |   2 |   0 |  33 | 4.192500e+01 |      --      |    Inf 
167.42/167.50	c * 167s|  1596 |  1594 |187689 |  16M|  95 |   - |2400 |1720 |1618 |2400 |1722 |   2 |   0 |2060 | 4.202564e+01 | 8.000000e+01 |  90.36%
167.42/167.50	c 
167.42/167.50	c SCIP Status        : solving was interrupted [solution limit reached]
167.42/167.50	c Solving Time (sec) : 166.56
167.42/167.50	c Solving Nodes      : 1596
167.42/167.50	c Primal Bound       : +8.00000000000000e+01 (1 solutions)
167.42/167.50	c Dual Bound         : +4.20256410256405e+01
167.42/167.50	c Gap                : 90.36 %
167.42/167.51	c NODE         1596
167.42/167.51	c DUAL BOUND   42.0256
167.42/167.51	c PRIMAL BOUND 80
167.42/167.51	c GAP          0.9036
167.42/167.51	s SATISFIABLE
167.42/167.51	v -x1142 -x1123 -x490 -x1227 -x481 -x519 -x1234 -x484 -x1148 -x746 -x485 -x752 -x483 -x515 -x1144 -x1235 -x1236 -x499 -x1206 -x1201 
167.42/167.51	v -x497 -x511 -x1156 -x510 -x493 -x545 x541 -x533 -x523 -x724 -x1228 -x1215 -x275 -x268 -x250 -x241 -x263 -x274 -x557 -x1555 
167.42/167.51	v -x1550 -x1547 -x1545 -x1542 -x1537 -x1529 -x1523 -x1191 -x1183 -x1167 -x1162 -x1517 -x1512 -x1496 -x1489 -x1488 -x1487 -x1481 
167.42/167.51	v -x1493 -x525 -x1556 -x1514 -x267 -x1511 -x737 -x1526 -x1552 -x1205 -x539 -x750 -x542 -x910 -x908 -x906 -x905 -x904 -x894 -x892 
167.42/167.51	v -x891 -x889 x888 -x882 -x899 -x1546 -x532 -x1230 -x1535 -x907 -x526 -x534 -x1133 -x917 -x895 -x1200 -x1515 -x1217 -x1239 
167.42/167.51	v -x273 -x502 -x743 -x528 -x1199 -x1559 -x759 -x487 -x748 -x1485 -x279 -x1543 -x1190 -x1233 -x913 -x550 -x1213 -x254 -x728 -x486 
167.42/167.51	v -x1121 -x1172 -x879 -x877 -x876 -x873 -x870 -x864 -x860 -x859 -x858 -x852 -x845 -x844 -x841 -x1202 -x1510 -x1182 -x900 -x482 
167.42/167.51	v -x634 -x633 -x631 -x629 -x628 -x625 -x623 -x617 -x615 -x613 -x612 -x607 -x516 -x1229 -x537 -x120 -x119 -x117 -x116 -x107 -x106 
167.42/167.51	v -x104 -x102 -x100 -x97 -x92 -x82 -x735 -x1188 -x272 -x1158 -x397 -x394 -x390 -x389 -x387 x385 -x384 -x376 -x372 -x371 -x369 
167.42/167.51	v -x367 -x366 -x270 -x362 -x881 -x90 -x512 -x603 -x842 -x874 -x1524 -x1224 -x103 -x753 -x912 -x93 -x88 -x1145 -x99 -x538 -x1211 
167.42/167.51	v -x1214 -x1534 -x1159 -x386 -x240 -x236 -x235 -x231 -x229 -x228 -x226 -x224 -x223 -x221 -x220 -x216 -x215 -x212 -x209 -x205 
167.42/167.51	v -x756 -x503 -x872 -x261 -x378 -x361 -x201 -x494 -x363 -x370 -x609 -x198 -x196 -x194 -x192 x190 -x189 -x188 -x181 -x178 -x175 
167.42/167.51	v -x170 -x168 -x166 -x161 -x893 -x1120 -x1118 -x1117 -x1116 -x1115 -x1114 -x1112 -x1107 -x1105 -x1102 -x1101 -x1098 -x1096 -x1092 
167.42/167.51	v -x1090 -x1089 -x1086 -x1083 -x847 -x239 -x916 -x856 -x1507 -x871 -x1106 -x180 -x86 -x560 -x902 -x219 -x918 -x555 -x115 -x544 
167.42/167.51	v -x1440 -x1439 -x1436 -x1425 -x1421 -x1418 -x1416 -x1413 -x1411 -x1409 -x1406 -x211 -x1422 -x163 -x1195 -x1419 -x723 -x747 
167.42/167.51	v -x202 -x755 -x853 -x1499 -x1082 -x610 -x738 -x1192 -x1429 -x1127 -x396 -x618 -x1085 -x1519 -x1095 -x172 -x1134 -x1549 -x1417 
167.42/167.51	v -x365 -x112 -x1180 -x243 -x1165 -x251 -x604 -x733 -x1216 -x382 -x259 -x1538 -x862 -x111 -x383 -x1151 -x368 -x1420 -x719 -x717 
167.42/167.51	v -x716 -x715 -x713 -x711 -x709 -x706 -x702 -x700 x699 -x692 -x691 -x689 -x688 -x686 -x682 -x681 -x186 -x558 -x630 -x1186 -x840 
167.42/167.51	v -x836 -x835 -x834 -x828 -x826 -x825 -x823 -x821 -x820 -x812 -x808 x807 -x804 -x801 -x875 -x622 -x552 -x736 -x1414 -x1427 
167.42/167.51	v -x395 -x903 -x708 -x857 -x868 -x1091 -x637 -x640 -x833 -x1503 -x636 -x718 -x1080 -x1079 -x1076 -x1071 -x1069 -x1067 -x1065 -x1061 
167.42/167.51	v -x1058 -x1055 -x1052 -x1051 x1050 -x1046 -x1045 -x1042 -x553 -x556 -x536 -x398 -x725 -x639 -x379 -x183 -x690 -x896 -x901 
167.42/167.51	v -x730 -x1402 -x1424 -x1498 -x909 -x238 -x185 -x1437 -x684 -x478 -x474 -x473 -x467 -x465 -x463 -x462 -x460 -x458 -x455 -x452 
167.42/167.51	v -x451 -x450 -x447 -x445 -x444 -x443 -x442 -x441 -x174 -x824 -x1169 -x734 -x999 -x997 -x996 -x993 -x991 -x989 -x986 -x985 -x984 
167.42/167.51	v -x983 -x981 -x980 -x977 -x973 -x972 -x970 -x968 -x966 -x965 -x1047 -x1154 -x1426 -x1100 -x919 -x1161 -x518 -x1508 -x1539 -x179 
167.42/167.51	v -x1232 -x162 x758 -x1400 -x1399 -x1396 -x1392 -x1390 -x1388 -x1387 -x1386 -x1384 -x1383 -x1380 -x1373 -x1372 -x1370 -x1367 
167.42/167.51	v -x1366 -x1364 -x1363 -x1176 -x114 -x805 -x1415 -x531 -x818 -x1407 -x469 -x1492 -x1491 -x802 -x598 -x596 -x594 -x593 -x592 -x591 
167.42/167.51	v -x589 -x587 -x586 -x585 x582 -x580 -x578 -x577 -x576 -x575 -x574 -x572 -x571 -x568 -x567 -x565 -x563 -x1125 -x885 -x559 
167.42/167.51	v -x176 -x374 -x164 -x1099 -x846 -x1557 -x1379 -x602 -x1393 -x258 -x1178 -x1398 -x995 -x227 -x1131 -x1198 -x722 -x1432 -x1226 -x530 
167.42/167.51	v -x364 -x1175 -x1378 -x1596 -x1595 -x1594 -x1591 -x1589 -x1588 -x1587 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1571 
167.42/167.51	v -x1570 -x1567 -x1566 -x1565 -x1564 -x1562 -x1561 -x249 -x914 -x731 -x524 -x91 -x277 -x529 -x476 -x1504 -x1152 -x498 -x1520 
167.42/167.51	v -x1174 -x517 -x616 -x496 -x1361 -x1209 -x373 -x704 -x222 -x815 -x1434 -x867 -x84 -x1221 -x480 -x1238 -x707 -x217 -x1072 -x546 
167.42/167.51	v -x584 -x264 -x276 -x549 -x109 -x911 -x392 -x1103 -x829 -x457 -x1280 -x1278 -x1277 -x1275 -x1274 x1273 -x1271 -x1270 -x1269 
167.42/167.51	v -x1268 -x1265 -x1264 -x1262 -x1261 -x1260 -x1259 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1248 -x1247 -x1245 
167.42/167.51	v -x1244 -x1243 -x1241 -x848 -x1070 -x975 -x113 -x1536 -x464 -x495 -x1140 -x1522 -x509 -x754 -x683 -x169 -x745 -x979 -x960 -x959 
167.42/167.51	v -x958 -x957 -x956 -x955 -x952 -x951 -x950 -x947 -x946 -x943 -x942 -x941 -x940 -x937 -x936 -x935 -x934 -x933 -x931 -x929 
167.42/167.51	v -x928 -x927 -x923 -x922 -x921 -x1276 -x547 x234 -x1166 -x1551 -x817 -x1173 -x1563 -x635 -x837 -x1093 -x1558 -x1412 -x1428 -x193 
167.42/167.51	v -x197 -x1110 -x255 -x581 -x1119 -x1068 -x720 -x813 -x1527 -x564 -x1389 -x210 -x1168 -x963 -x562 -x866 -x1267 -x1189 -x1279 
167.42/167.51	v -x712 -x1111 -x698 -x988 -x199 -x727 -x697 -x1231 -x976 -x182 -x87 -x1506 -x850 -x1185 -x237 -x1078 -x1130 -x391 -x944 -x501 
167.42/167.51	v -x1319 -x1318 -x1317 -x1315 -x1312 -x1310 -x1308 -x1307 -x1304 -x1303 -x1302 -x1301 -x1299 -x1298 -x1296 -x1293 -x1290 -x1289 
167.42/167.51	v -x1287 -x1284 -x1283 -x1282 -x1281 -x265 -x926 -x694 -x1053 -x1139 -x1049 -x948 -x998 -x1212 -x1433 -x751 -x961 -x608 -x954 
167.42/167.51	v -x233 -x1286 -x566 -x1153 -x1285 -x479 -x456 -x218 -x1249 -x1136 -x1599 -x1258 -x230 -x540 -x1077 -x1311 -x520 -x1362 -x448 
167.42/167.51	v -x822 -x1242 -x446 -x500 -x504 -x962 -x880 -x468 x95 -x883 -x878 -x1574 -x938 -x1501 -x470 -x1404 -x1291 -x760 -x1075 -x80 -x78 
167.42/167.51	v -x77 -x76 -x75 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x65 -x64 -x63 -x62 -x61 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x47 -x46 
167.42/167.51	v -x45 -x44 -x43 -x42 -x41 -x1544 -x1160 -x165 -x213 -x606 -x621 x79 -x561 -x932 -x81 -x1203 -x953 -x897 -x280 -x1208 -x191 
167.42/167.51	v -x1397 -x1509 -x1597 -x992 -x967 -x266 -x583 -x964 -x726 -x454 -x461 -x207 -x1219 -x1073 -x1368 -x1575 -x920 -x1094 -x693 -x1401 
167.42/167.51	v -x393 -x1147 -x990 x974 -x1483 -x701 -x1218 -x184 -x915 -x971 -x1062 -x890 -x1497 -x1087 -x74 -x1196 -x1554 -x262 -x1063 
167.42/167.51	v -x924 -x1573 -x489 -x1494 -x554 -x863 -x1532 -x1377 -x1365 -x1163 -x1044 -x1155 -x1528 -x89 -x440 -x439 -x438 -x437 -x436 -x434 
167.42/167.51	v -x432 -x431 -x430 -x429 -x428 -x427 -x424 -x421 -x420 -x419 -x418 -x417 x416 -x414 -x413 -x412 -x411 -x409 -x408 -x407 -x404 
167.42/167.51	v -x403 -x401 x925 -x1222 -x488 -x1533 -x1513 -x177 -x827 -x1300 -x1132 -x865 -x415 -x1381 -x108 -x1305 -x477 -x1313 -x1081 
167.42/167.51	v -x861 -x832 -x551 -x1369 -x1246 -x732 -x1104 -x1108 -x58 -x816 -x806 -x601 -x101 -x570 -x638 -x1141 -x225 -x1576 -x506 -x118 
167.42/167.51	v -x898 x1097 -x740 -x1109 -x83 -x679 -x678 -x676 -x675 -x671 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x660 -x658 -x657 
167.42/167.51	v -x656 -x655 -x654 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x1394 -x535 -x1128 -x614 -x1410 -x1057 
167.42/167.51	v -x849 -x491 -x839 -x1516 -x1064 -x869 -x1088 -x819 -x838 -x206 -x244 -x739 -x1066 -x49 -x854 -x978 -x710 -x1157 -x242 -x173 -x1263 
167.42/167.51	v -x1438 -x619 -x422 -x1179 -x195 -x60 -x159 -x158 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x148 -x147 -x146 -x143 -x141 
167.42/167.51	v -x140 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x1143 -x600 
167.42/167.51	v -x157 -x1187 -x573 -x94 -x1505 x1223 -x1486 -x1490 -x1122 -x1375 x40 -x39 -x38 -x37 -x36 -x35 -x33 -x32 -x31 -x30 -x29 -x27 
167.42/167.51	v -x26 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x11 -x10 -x9 -x8 -x7 -x6 -x4 -x3 -x2 -x1 -x1048 -x588 -x1126 -x1309 
167.42/167.51	v -x611 -x595 -x410 -x1314 -x248 -x1240 -x705 -x1525 -x1495 -x1292 -x597 -x1540 -x803 -x1374 -x402 -x703 -x579 -x672 -x930 
167.42/167.51	v -x1135 -x1272 -x695 -x1054 -x1266 -x1124 -x721 -x741 -x1146 -x278 -x257 -x627 -x1171 -x59 -x98 -x887 -x527 -x426 -x1600 -x472 
167.42/167.51	v -x1320 -x1113 -x1150 -x1194 -x85 -x687 -x749 -x139 -x1560 -x830 -x1056 -x1297 -x1482 -x620 -x142 -x1598 -x25 -x1484 x1521 
167.42/167.51	v x449 -x1371 -x187 x1500 -x652 -x677 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x349 -x348 -x347 -x346 -x345 -x344 
167.42/167.51	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x334 -x333 -x332 -x331 -x330 -x329 -x327 -x326 -x325 -x324 x323 -x321 -x1430 
167.42/167.51	v -x400 -x1177 -x204 -x1040 -x1039 -x1038 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1027 -x1026 -x1025 -x1024 
167.42/167.51	v -x1023 -x1022 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 
167.42/167.51	v -x1003 -x1002 -x1001 -x405 -x505 -x831 -x66 -x245 -x459 -x1037 -x987 -x160 -x810 -x1164 -x232 -x466 -x200 -x214 -x624 -x269 
167.42/167.51	v -x208 -x811 -x1021 -x351 x1391 -x145 -x1295 x1028 -x674 -x1395 -x1207 -x742 -x1225 -x757 -x388 -x12 -x380 -x375 -x1592 -x1220 
167.42/167.51	v -x514 -x1197 -x149 -x1382 x507 -x659 -x350 -x1568 -x1423 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 
167.42/167.51	v -x2230 -x2229 -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 x632 -x1590 x653 -x1480 -x1479 -x1478 -x1477 -x1476 
167.42/167.51	v -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1468 -x1466 -x1465 -x1464 -x1463 -x1462 -x1460 -x1458 -x1457 -x1456 -x1455 -x1454 
167.42/167.51	v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 x1444 -x1443 -x1442 -x1441 -x673 -x1181 -x2340 -x2339 -x2338 
167.42/167.51	v -x2337 -x2336 x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x1237 
167.42/167.51	v -x1530 -x994 -x680 -x945 -x670 -x1531 -x1403 -x34 -x886 -x1043 -x475 -x590 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
167.42/167.51	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x296 -x295 -x294 -x292 -x291 -x290 -x289 
167.42/167.51	v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x1585 -x1129 -x1376 -x167 -x569 -x696 -x1548 -x800 -x799 -x798 x797 -x796 
167.42/167.51	v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x778 -x777 -x776 -x775 -x774 
167.42/167.51	v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x1306 -x1502 -x252 -x1074 -x685 -x253 -x1553 
167.42/167.51	v -x171 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 
167.42/167.51	v -x1723 -x1722 x1721 -x247 -x809 -x1408 -x105 -x1405 -x453 -x1469 -x1288 -x1210 -x1960 -x1959 -x1958 -x1957 -x1956 x1955 -x1954 
167.42/167.51	v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1138 -x2140 -x2139 -x2138 -x2137 
167.42/167.51	v -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x1467 x1184 
167.42/167.51	v -x884 -x406 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 
167.42/167.51	v -x2304 -x2303 -x2302 -x2301 x1316 -x1461 -x96 x1435 -x399 -x521 -x293 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 
167.42/167.51	v x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 x851 -x508 -x522 -x423 x1572 x246 -x1459 
167.42/167.51	v -x779 -x5 -x729 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 
167.42/167.51	v -x2044 -x2043 x2042 -x2041 -x543 -x1084 -x1014 -x1193 -x328 x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 
167.42/167.51	v -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x48 -x814 x1149 -x433 -x1720 -x1719 -x1718 -x1717 
167.42/167.51	v -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 x1704 -x1703 -x1702 -x1701 -x513 -x1640 
167.42/167.51	v -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 x1622 
167.42/167.51	v -x1621 -x322 -x626 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 
167.42/167.51	v x1605 -x1604 -x1603 -x1602 -x1601 -x1041 -x425 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 
167.42/167.51	v -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
167.42/167.51	v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x335 -x1584 -x2100 -x2099 -x2098 -x2097 -x2096 
167.42/167.51	v -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x1385 -x2400 -x2399 
167.42/167.51	v -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 
167.42/167.51	v -x1000 -x843 -x1900 -x1899 -x1898 -x1897 x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 
167.42/167.51	v -x1884 -x1883 -x1882 -x1881 -x855 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 
167.42/167.51	v x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x605 -x1569 -x2040 x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 
167.42/167.51	v -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x982 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 
167.42/167.51	v x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1294 -x1680 -x1679 -x1678 -x1677 
167.42/167.51	v -x1676 -x1675 -x1674 -x1673 -x1672 x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1204 -x2300 
167.42/167.51	v -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 x2286 -x2285 -x2284 -x2283 -x2282 
167.42/167.51	v -x2281 -x435 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 
167.42/167.51	v -x2364 x2363 -x2362 -x2361 -x599 -x1137 -x744 -x471 -x1541 -x1060 -x381 -x2360 -x2359 -x2358 x2357 -x2356 -x2355 -x2354 
167.42/167.51	v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x1518 -x1860 -x1859 -x1858 -x1857 
167.42/167.51	v -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x13 -x548 x2180 
167.42/167.51	v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 
167.42/167.51	v -x2161 -x949 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
167.42/167.51	v x2184 -x2183 -x2182 -x2181 -x110 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 
167.42/167.51	v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 -x661 -x1059 -x1780 -x1779 x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
167.42/167.51	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x969 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 
167.42/167.51	v -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 x1903 -x1902 -x1901 -x256 -x2160 -x2159 x2158 
167.42/167.51	v -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x28 
167.42/167.51	v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 
167.42/167.51	v -x2242 -x2241 -x1593 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 x1828 -x1827 -x1826 
167.42/167.51	v -x1825 -x1824 -x1823 -x1822 -x1821 -x492 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 -x2268 
167.42/167.51	v -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x714 -x297 -x271 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 
167.42/167.51	v -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x377 -x2220 -x2219 -x2218 -x2217 -x2216 
167.42/167.51	v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x1431 -x2000 x1999 
167.42/167.51	v -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 
167.42/167.51	v -x260 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 x2109 -x2108 -x2107 -x2106 -x2105 -x2104 
167.42/167.51	v -x2103 -x2102 -x2101 -x1586 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 
167.42/167.51	v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x203 -x2080 -x2079 -x2078 -x2077 x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 
167.42/167.51	v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x144 -x1980 -x1979 -x1978 x1977 -x1976 -x1975 -x1974 -x1973 
167.42/167.51	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x939 -x1800 -x1799 -x1798 -x1797 -x1796 
167.42/167.51	v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1170 
167.42/167.51	c SCIP Status        : solving was interrupted [solution limit reached]
167.42/167.51	c Solving Time       :     166.56
167.42/167.51	c Original Problem   :
167.42/167.51	c   Problem name     : HOME/instance-1868499-1245126953.opb
167.42/167.51	c   Variables        : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous)
167.42/167.51	c   Constraints      : 1720 initial, 1720 maximal
167.42/167.51	c Presolved Problem  :
167.42/167.51	c   Problem name     : t_HOME/instance-1868499-1245126953.opb
167.42/167.51	c   Variables        : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous)
167.42/167.51	c   Constraints      : 1720 initial, 1720 maximal
167.42/167.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
167.42/167.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
167.42/167.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
167.42/167.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
167.42/167.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
167.42/167.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
167.42/167.51	c   probing          :       0.00          0          0          0          0          0          0          0          0
167.42/167.51	c   setppc           :       0.00          0          0          0          0          0          0          0          0
167.42/167.51	c   logicor          :       0.04          0          0          0          0          0          0          0          0
167.42/167.51	c   root node        :          -          0          -          -          0          -          -          -          -
167.42/167.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
167.42/167.51	c   integral         :          0          0          0       1596          0          0          0          0          0       3190
167.42/167.51	c   setppc           :         80          3       3130          1          0          0      53947          0          0          0
167.42/167.51	c   logicor          :       1640          3        923          1          0          0          1          0          0          0
167.42/167.51	c   countsols        :          0          0          0          1          0          0          0          0          0          0
167.42/167.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
167.42/167.51	c   integral         :      80.94       0.00       0.00      80.94       0.00
167.42/167.51	c   setppc           :       0.20       0.00       0.20       0.00       0.00
167.42/167.51	c   logicor          :       0.03       0.00       0.03       0.00       0.00
167.42/167.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
167.42/167.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
167.42/167.51	c   rootredcost      :       0.00          0          0          0
167.42/167.51	c   pseudoobj        :       0.44       3134          0          0
167.42/167.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
167.42/167.51	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
167.42/167.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
167.42/167.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
167.42/167.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
167.42/167.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
167.42/167.51	c   applied globally :          -          -          -          0        0.0          -          -          -
167.42/167.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
167.42/167.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
167.42/167.51	c   cut pool         :       0.00          2          -          -          0          -    (maximal pool size: 3)
167.42/167.51	c   redcost          :       0.17       1598          0          0          0          0
167.42/167.51	c   impliedbounds    :       0.00          3          0          0          0          0
167.42/167.51	c   intobj           :       0.00          0          0          0          0          0
167.42/167.51	c   gomory           :       0.02          3          0          0          2          0
167.42/167.51	c   strongcg         :       0.01          3          0          0          2          0
167.42/167.51	c   cmir             :       0.00          0          0          0          0          0
167.42/167.51	c   flowcover        :       0.00          0          0          0          0          0
167.42/167.51	c   clique           :       0.22          3          0          0          0          0
167.42/167.51	c   zerohalf         :       0.00          0          0          0          0          0
167.42/167.51	c   mcf              :       0.00          1          0          0          0          0
167.42/167.51	c Pricers            :       Time      Calls       Vars
167.42/167.51	c   problem variables:       0.00          0          0
167.42/167.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
167.42/167.51	c   relpscost        :      80.94       1595          0          0          0          0       3190
167.42/167.51	c   pscost           :       0.00          0          0          0          0          0          0
167.42/167.51	c   inference        :       0.00          0          0          0          0          0          0
167.42/167.51	c   mostinf          :       0.00          0          0          0          0          0          0
167.42/167.51	c   leastinf         :       0.00          0          0          0          0          0          0
167.42/167.51	c   fullstrong       :       0.00          0          0          0          0          0          0
167.42/167.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
167.42/167.51	c   random           :       0.00          0          0          0          0          0          0
167.42/167.51	c Primal Heuristics  :       Time      Calls      Found
167.42/167.51	c   LP solutions     :       0.00          -          1
167.42/167.51	c   pseudo solutions :       0.00          -          0
167.42/167.51	c   simplerounding   :       0.00          0          0
167.42/167.51	c   rounding         :       0.00          0          0
167.42/167.51	c   shifting         :       0.00          0          0
167.42/167.51	c   intshifting      :       0.00          0          0
167.42/167.51	c   oneopt           :       0.00          0          0
167.42/167.51	c   fixandinfer      :       0.00          0          0
167.42/167.51	c   feaspump         :       0.00          0          0
167.42/167.51	c   coefdiving       :       0.00          0          0
167.42/167.51	c   pscostdiving     :       0.00          0          0
167.42/167.51	c   fracdiving       :       0.00          0          0
167.42/167.51	c   veclendiving     :       0.00          0          0
167.42/167.51	c   intdiving        :       0.00          0          0
167.42/167.51	c   actconsdiving    :       0.00          0          0
167.42/167.51	c   objpscostdiving  :       0.00          0          0
167.42/167.51	c   rootsoldiving    :       0.00          0          0
167.42/167.51	c   linesearchdiving :       0.00          0          0
167.42/167.51	c   guideddiving     :       0.00          0          0
167.42/167.51	c   octane           :       0.00          0          0
167.42/167.51	c   rens             :       0.00          0          0
167.42/167.51	c   rins             :       0.00          0          0
167.42/167.51	c   localbranching   :       0.00          0          0
167.42/167.51	c   mutation         :       0.00          0          0
167.42/167.51	c   crossover        :       0.00          0          0
167.42/167.51	c   dins             :       0.00          0          0
167.42/167.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
167.42/167.51	c   primal LP        :       0.00          0          0       0.00          -
167.42/167.51	c   dual LP          :      81.90       1598     187689     117.45    2291.68
167.42/167.51	c   barrier LP       :       0.00          0          0       0.00          -
167.42/167.51	c   diving/probing LP:       0.00          0          0       0.00          -
167.42/167.51	c   strong branching :      80.25       2060     197548      95.90    2461.66
167.42/167.51	c     (at root node) :          -         33       3569     108.15          -
167.42/167.51	c   conflict analysis:       0.00          0          0       0.00          -
167.42/167.51	c B&B Tree           :
167.42/167.51	c   number of runs   :          1
167.42/167.51	c   nodes            :       1596
167.42/167.51	c   nodes (total)    :       1596
167.42/167.51	c   nodes left       :       1594
167.42/167.51	c   max depth        :         95
167.42/167.51	c   max depth (total):         95
167.42/167.51	c   backtracks       :         62 (3.9%)
167.42/167.51	c   delayed cutoffs  :          0
167.42/167.51	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
167.42/167.51	c   avg switch length:       2.12
167.42/167.51	c   switching time   :       0.27
167.42/167.51	c Solution           :
167.42/167.51	c   Solutions found  :          1 (1 improvements)
167.42/167.51	c   Primal Bound     : +8.00000000000000e+01   (in run 1, after 1596 nodes, 166.56 seconds, depth 51, found by <relaxation>)
167.42/167.51	c   Dual Bound       : +4.20256410256405e+01
167.42/167.51	c   Gap              :      90.36 %
167.42/167.51	c   Root Dual Bound  : +4.19249999999988e+01
167.42/167.56	c Time complete: 167.49.

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-1868499-1245126953/watcher-1868499-1245126953 -o /tmp/evaluation-result-1868499-1245126953/solver-1868499-1245126953 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868499-1245126953.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.02 1.01 1.00 3/64 7717
/proc/meminfo: memFree=1339104/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=5812 CPUtime=0
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 180292462 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/7717/statm: 1453 503 332 1256 0 192 0

[startup+0.0648821 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 7717
/proc/meminfo: memFree=1339104/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=13616 CPUtime=0.05
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 2363 0 0 0 5 0 0 0 18 0 1 0 180292462 13942784 2347 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/7717/statm: 3404 2347 376 1256 0 2143 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13616

[startup+0.101885 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 7717
/proc/meminfo: memFree=1339104/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=19104 CPUtime=0.09
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 4124 0 0 0 8 1 0 0 18 0 1 0 180292462 19562496 3754 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 4776 3754 411 1256 0 3515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19104

[startup+0.301906 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 7717
/proc/meminfo: memFree=1339104/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=37252 CPUtime=0.29
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 8289 0 0 0 26 3 0 0 17 0 1 0 180292462 38146048 7885 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 9313 7885 600 1256 0 8052 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37252

[startup+0.701951 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 7717
/proc/meminfo: memFree=1339104/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=37940 CPUtime=0.69
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 8532 0 0 0 66 3 0 0 19 0 1 0 180292462 38850560 8128 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 9485 8128 603 1256 0 8224 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37940

[startup+1.50204 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 7718
/proc/meminfo: memFree=1307928/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=41952 CPUtime=1.49
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 9204 0 0 0 145 4 0 0 25 0 1 0 180292462 42958848 8506 1992294400 4194304 9342243 548682068736 18446744073709551615 6959535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 10488 8506 642 1256 0 9227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41952

[startup+3.10122 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 7718
/proc/meminfo: memFree=1307352/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=42396 CPUtime=3.09
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 10234 0 0 0 304 5 0 0 25 0 1 0 180292462 43413504 8548 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 10599 8548 645 1256 0 9338 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42396

[startup+6.30158 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 7718
/proc/meminfo: memFree=1307096/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=41832 CPUtime=6.29
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 14373 0 0 0 621 8 0 0 25 0 1 0 180292462 42835968 8537 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 10458 8537 645 1256 0 9197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41832

[startup+12.7013 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 7718
/proc/meminfo: memFree=1306584/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=42016 CPUtime=12.68
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 29187 0 0 0 1252 16 0 0 25 0 1 0 180292462 43024384 8689 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 10504 8689 645 1256 0 9243 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42016

[startup+25.5017 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 7718
/proc/meminfo: memFree=1306392/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=42388 CPUtime=25.48
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 39113 0 0 0 2523 25 0 0 25 0 1 0 180292462 43405312 8747 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 10597 8747 645 1256 0 9336 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42388

[startup+51.1016 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 7718
/proc/meminfo: memFree=1306264/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=46056 CPUtime=51.06
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 53457 0 0 0 5067 39 0 0 25 0 1 0 180292462 47161344 8875 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 11514 8875 645 1256 0 10253 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 46056

[startup+102.305 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 7718
/proc/meminfo: memFree=1301016/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=46328 CPUtime=102.25
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 70201 0 0 0 10169 56 0 0 25 0 1 0 180292462 47439872 10115 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 11582 10115 645 1256 0 10321 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 46328

[startup+162.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 7718
/proc/meminfo: memFree=1299480/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=51608 CPUtime=162.23
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 86497 0 0 0 16144 79 0 0 25 0 1 0 180292462 52846592 10561 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 12902 10561 645 1256 0 11641 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 51608

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

[startup+163.101 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 7718
/proc/meminfo: memFree=1299288/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=48464 CPUtime=163.03
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 86658 0 0 0 16224 79 0 0 25 0 1 0 180292462 49627136 10568 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 12116 10568 645 1256 0 10855 0
Current children cumulated CPU time (s) 163.03
Current children cumulated vsize (KiB) 48464

[startup+164.701 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 7718
/proc/meminfo: memFree=1299096/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=48368 CPUtime=164.63
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 86942 0 0 0 16384 79 0 0 25 0 1 0 180292462 49528832 10613 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 12092 10613 645 1256 0 10831 0
Current children cumulated CPU time (s) 164.63
Current children cumulated vsize (KiB) 48368

[startup+166.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 7718
/proc/meminfo: memFree=1299672/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=51792 CPUtime=166.23
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 87836 0 0 0 16543 80 0 0 25 0 1 0 180292462 53035008 10491 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 12948 10491 645 1256 0 11687 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 51792

[startup+167.101 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 7718
/proc/meminfo: memFree=1299288/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=48536 CPUtime=167.03
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 88067 0 0 0 16623 80 0 0 25 0 1 0 180292462 49700864 10572 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 12134 10572 645 1256 0 10873 0
Current children cumulated CPU time (s) 167.03
Current children cumulated vsize (KiB) 48536

[startup+167.502 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 7718
/proc/meminfo: memFree=1299288/2055920 swapFree=4191900/4192956
[pid=7717] ppid=7715 vsize=48536 CPUtime=167.42
/proc/7717/stat : 7717 (pbscip.linux.x8) R 7715 7717 5695 0 -1 4194304 88100 0 0 0 16662 80 0 0 25 0 1 0 180292462 49700864 10605 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7717/statm: 12134 10605 645 1256 0 10873 0
Current children cumulated CPU time (s) 167.42
Current children cumulated vsize (KiB) 48536

Child status: 0
Real time (s): 167.563
CPU time (s): 167.5
CPU user time (s): 166.684
CPU system time (s): 0.815875
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 51960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.684
system time used= 0.815875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88116
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= 23
involuntary context switches= 301

runsolver used 0.158975 second user time and 0.334949 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-16 06:35:53
IDJOB=1868499
IDBENCH=1416
IDSOLVER=684
FILE ID=node38/1868499-1245126953
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-fpga40_40_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-1868499-1245126953/watcher-1868499-1245126953 -o /tmp/evaluation-result-1868499-1245126953/solver-1868499-1245126953 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868499-1245126953.opb

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

MD5SUM BENCH= d54e874b22823be807136681f90fbed4
RANDOM SEED=1894470589

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:       1339584 kB
Buffers:         86800 kB
Cached:         527328 kB
SwapCached:        592 kB
Active:         177064 kB
Inactive:       450620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1339584 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           12124 kB
Writeback:           0 kB
Mapped:          22460 kB
Slab:            74632 kB
Committed_AS:   148652 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:38:40