Trace number 2663962

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)21 1801.67 1802.26

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2663962-1276640931.opb>
0.19/0.27	c original problem has 4318 variables (4318 bin, 0 int, 0 impl, 0 cont) and 15120 constraints
0.19/0.27	c problem read
0.19/0.27	c presolving settings loaded
0.19/0.27	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.29/0.35	c presolving:
0.49/0.51	c (round 1) 440 del vars, 863 del conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 114180 impls, 0 clqs
0.49/0.53	c (round 2) 440 del vars, 881 del conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 114180 impls, 0 clqs
0.59/0.68	c (round 3) 440 del vars, 882 del conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 114180 impls, 0 clqs
0.89/0.97	c    (0.6s) probing: 101/3878 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.97	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.89/0.97	c presolving (4 rounds):
0.89/0.97	c  440 deleted vars, 882 deleted constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 7 changed coefficients
0.89/0.97	c  114180 implications, 0 cliques
0.89/0.97	c presolved problem has 3878 variables (3878 bin, 0 int, 0 impl, 0 cont) and 14238 constraints
0.89/0.97	c       1 constraints of type <knapsack>
0.89/0.97	c   14237 constraints of type <logicor>
0.89/0.97	c transformed objective value is always integral (scale: 1)
0.89/0.97	c Presolving Time: 0.58
0.89/0.98	c - non default parameters ----------------------------------------------------------------------
0.89/0.98	c # SCIP version 1.2.1.2
0.89/0.98	c 
0.89/0.98	c # frequency for displaying node information lines
0.89/0.98	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.98	c display/freq = 10000
0.89/0.98	c 
0.89/0.98	c # maximal time in seconds to run
0.89/0.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98	c limits/time = 1799.74
0.89/0.98	c 
0.89/0.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98	c limits/memory = 1620
0.89/0.98	c 
0.89/0.98	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.98	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.98	c lp/solvefreq = -1
0.89/0.98	c 
0.89/0.98	c # should presolving try to simplify inequalities
0.89/0.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98	c constraints/linear/simplifyinequalities = TRUE
0.89/0.98	c 
0.89/0.98	c # should presolving try to simplify knapsacks
0.89/0.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.98	c 
0.89/0.98	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.98	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98	c separating/rapidlearning/freq = 0
0.89/0.98	c 
0.89/0.98	c -----------------------------------------------------------------------------------------------
0.89/0.98	c start solving
0.89/0.98	c 
0.89/0.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.99	c   0.6s|     1 |     2 |     0 |     - |  22M|   0 |   - |3878 |  14k|   0 |   0 |   0 |   0 |   0 | 5.000000e+00 |      --      |    Inf 
7.70/7.76	o 28
7.70/7.76	c * 7.4s|   924 |   892 |     0 |   0.0 |  23M| 908 |   - |3878 |  14k|   0 |   0 |   0 |  99 |   0 | 5.000000e+00 | 2.800000e+01 | 460.00%
32.99/33.07	o 25
32.99/33.07	c *32.5s|  5177 |  4982 |     0 |   0.0 |  32M| 908 |   - |3878 |  14k|   0 |   0 |   0 | 618 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
61.58/61.67	c  60.9s| 10000 |  9504 |     0 |   0.0 |  43M| 908 |   - |3878 |  14k|   0 |   0 |   0 |1551 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
108.95/109.01	c   108s| 20000 | 18986 |     0 |   0.0 |  61M| 908 |   - |3878 |  14k|   0 |   0 |   0 |3249 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
149.34/149.48	c   148s| 30000 | 28227 |     0 |   0.0 |  77M| 908 |   - |3878 |  15k|   0 |   0 |   0 |5625 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
178.52/178.62	c   177s| 40000 | 37547 |     0 |   0.0 |  90M| 908 |   - |3878 |  15k|   0 |   0 |   0 |8154 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
206.21/206.36	o 23
206.21/206.36	c * 204s| 48671 | 44496 |     0 |   0.0 |  98M| 908 |   - |3878 |  15k|   0 |   0 |   0 |  10k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
209.72/209.82	c   207s| 50000 | 45700 |     0 |   0.0 | 100M| 908 |   - |3878 |  16k|   0 |   0 |   0 |  11k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
234.22/234.39	c   232s| 60000 | 54798 |     0 |   0.0 | 111M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  15k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
278.10/278.26	c   275s| 70000 | 64332 |     0 |   0.0 | 121M| 908 |   - |3878 |  16k|   0 |   0 |   0 |  17k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
311.19/311.32	c   308s| 80000 | 73713 |     0 |   0.0 | 134M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  20k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
341.67/341.84	c   338s| 90000 | 83111 |     0 |   0.0 | 146M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  22k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
366.26/366.44	o 22
366.26/366.44	c * 362s| 98238 | 87840 |     0 |   0.0 | 151M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  25k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
371.96/372.17	c   368s|100000 | 89443 |     0 |   0.0 | 153M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  26k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
399.16/399.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
399.16/399.35	c   395s|110000 | 98633 |     0 |   0.0 | 162M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  30k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
418.45/418.62	c   414s|120000 |107950 |     0 |   0.0 | 171M| 908 |   - |3878 |  18k|   0 |   0 |   0 |  33k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
438.65/438.83	c   434s|130000 |117435 |     0 |   0.0 | 179M| 908 |   - |3878 |  19k|   0 |   0 |   0 |  35k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
473.42/473.62	c   468s|140000 |127077 |     0 |   0.0 | 184M| 908 |   - |3878 |  16k|   0 |   0 |   0 |  37k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
522.71/522.94	c   517s|150000 |136989 |     0 |   0.0 | 194M| 908 |   - |3878 |  15k|   0 |   0 |   0 |  37k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
556.69/556.95	c   551s|160000 |146783 |     0 |   0.0 | 204M| 908 |   - |3878 |  15k|   0 |   0 |   0 |  38k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
585.38/585.67	c   579s|170000 |156470 |     0 |   0.0 | 214M| 908 |   - |3878 |  15k|   0 |   0 |   0 |  39k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
614.88/615.12	c   608s|180000 |165998 |     0 |   0.0 | 224M| 908 |   - |3878 |  16k|   0 |   0 |   0 |  41k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
644.46/644.79	c   638s|190000 |175502 |     0 |   0.0 | 234M| 908 |   - |3878 |  16k|   0 |   0 |   0 |  43k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
672.97/673.29	c   666s|200000 |184891 |     0 |   0.0 | 244M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  46k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
701.15/701.45	c   694s|210000 |194333 |     0 |   0.0 | 254M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  48k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
727.04/727.36	c   719s|220000 |203759 |     0 |   0.0 | 263M| 908 |   - |3878 |  17k|   0 |   0 |   0 |  51k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
751.92/752.27	c   744s|230000 |213125 |     0 |   0.0 | 273M| 908 |   - |3878 |  18k|   0 |   0 |   0 |  54k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
775.72/776.04	c   767s|240000 |222473 |     0 |   0.0 | 282M| 908 |   - |3878 |  19k|   0 |   0 |   0 |  57k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
801.12/801.43	c   792s|250000 |231812 |     0 |   0.0 | 290M| 908 |   - |3878 |  19k|   0 |   0 |   0 |  60k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
825.20/825.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
825.20/825.59	c   816s|260000 |241135 |     0 |   0.0 | 299M| 908 |   - |3878 |  20k|   0 |   0 |   0 |  63k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
848.90/849.28	c   840s|270000 |250418 |     0 |   0.0 | 308M| 908 |   - |3878 |  20k|   0 |   0 |   0 |  67k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
873.98/874.34	c   864s|280000 |259732 |     0 |   0.0 | 316M| 908 |   - |3878 |  20k|   0 |   0 |   0 |  70k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
896.78/897.10	c   887s|290000 |269072 |     0 |   0.0 | 325M| 908 |   - |3878 |  21k|   0 |   0 |   0 |  73k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
920.58/920.93	c   910s|300000 |278424 |     0 |   0.0 | 332M| 908 |   - |3878 |  21k|   0 |   0 |   0 |  76k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
950.66/951.05	c   940s|310000 |287808 |     0 |   0.0 | 341M| 908 |   - |3878 |  21k|   0 |   0 |   0 |  79k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
980.16/980.54	c   969s|320000 |297200 |     0 |   0.0 | 351M| 908 |   - |3878 |  21k|   0 |   0 |   0 |  82k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1005.74/1006.12	c   995s|330000 |306589 |     0 |   0.0 | 360M| 908 |   - |3878 |  22k|   0 |   0 |   0 |  85k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1029.54/1030.00	c  1018s|340000 |315950 |     0 |   0.0 | 369M| 908 |   - |3878 |  23k|   0 |   0 |   0 |  88k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1053.53/1053.98	c  1042s|350000 |325337 |     0 |   0.0 | 377M| 908 |   - |3878 |  23k|   0 |   0 |   0 |  91k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1079.33/1079.71	c  1067s|360000 |334661 |     0 |   0.0 | 385M| 908 |   - |3878 |  23k|   0 |   0 |   0 |  94k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1103.62/1104.04	c  1091s|370000 |343980 |     0 |   0.0 | 394M| 908 |   - |3878 |  23k|   0 |   0 |   0 |  98k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1126.21/1126.64	c  1114s|380000 |353290 |     0 |   0.0 | 402M| 908 |   - |3878 |  23k|   0 |   0 |   0 | 101k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1151.60/1152.08	c  1139s|390000 |362511 |     0 |   0.0 | 412M| 908 |   - |3878 |  23k|   0 |   0 |   0 | 105k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1175.50/1176.00	c  1162s|400000 |371781 |     0 |   0.0 | 419M| 908 |   - |3878 |  23k|   0 |   0 |   0 | 108k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1199.98/1200.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1199.98/1200.44	c  1186s|410000 |380892 |     0 |   0.0 | 428M| 908 |   - |3878 |  23k|   0 |   0 |   0 | 112k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1223.18/1223.62	c  1209s|420000 |390059 |     0 |   0.0 | 437M| 908 |   - |3878 |  24k|   0 |   0 |   0 | 116k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1241.57/1242.08	c  1227s|430000 |399403 |     0 |   0.0 | 445M| 908 |   - |3878 |  25k|   0 |   0 |   0 | 118k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1259.77/1260.27	c  1245s|440000 |408631 |     0 |   0.0 | 452M| 908 |   - |3878 |  25k|   0 |   0 |   0 | 122k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1281.57/1282.03	c  1267s|450000 |417832 |     0 |   0.0 | 460M| 908 |   - |3878 |  26k|   0 |   0 |   0 | 125k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1301.76/1302.20	c  1287s|460000 |427091 |     0 |   0.0 | 469M| 908 |   - |3878 |  27k|   0 |   0 |   0 | 128k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1321.66/1322.11	c  1306s|470000 |436302 |     0 |   0.0 | 478M| 908 |   - |3878 |  27k|   0 |   0 |   0 | 131k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1370.04/1370.54	c  1354s|480000 |446040 |     0 |   0.0 | 478M| 908 |   - |3878 |  17k|   0 |   0 |   0 | 132k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1414.52/1415.06	c  1399s|490000 |455899 |     0 |   0.0 | 488M| 908 |   - |3878 |  16k|   0 |   0 |   0 | 133k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1460.11/1460.69	c  1444s|500000 |465622 |     0 |   0.0 | 499M| 908 |   - |3878 |  16k|   0 |   0 |   0 | 134k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1463.31/1463.89	o 21
1463.31/1463.89	c *1447s|500733 |448019 |     0 |   0.0 | 487M| 908 |   - |3878 |  16k|   0 |   0 |   0 | 134k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1502.39/1502.99	c  1486s|510000 |456931 |     0 |   0.0 | 498M| 908 |   - |3878 |  16k|   0 |   0 |   0 | 136k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1538.69/1539.25	c  1522s|520000 |466485 |     0 |   0.0 | 510M| 908 |   - |3878 |  17k|   0 |   0 |   0 | 137k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1570.68/1571.27	c  1554s|530000 |475947 |     0 |   0.0 | 520M| 908 |   - |3878 |  17k|   0 |   0 |   0 | 140k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1605.06/1605.67	c  1588s|540000 |485434 |     0 |   0.0 | 530M| 908 |   - |3878 |  17k|   0 |   0 |   0 | 142k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1641.46/1642.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1641.46/1642.01	c  1624s|550000 |494899 |     0 |   0.0 | 541M| 908 |   - |3878 |  17k|   0 |   0 |   0 | 144k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1677.24/1677.83	c  1659s|560000 |504401 |     0 |   0.0 | 552M| 908 |   - |3878 |  17k|   0 |   0 |   0 | 147k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1712.63/1713.25	c  1694s|570000 |513896 |     0 |   0.0 | 562M| 908 |   - |3878 |  18k|   0 |   0 |   0 | 149k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1751.02/1751.65	c  1732s|580000 |523389 |     0 |   0.0 | 573M| 908 |   - |3878 |  18k|   0 |   0 |   0 | 151k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1792.20/1792.89	c  1773s|590000 |532827 |     0 |   0.0 | 584M| 908 |   - |3878 |  19k|   0 |   0 |   0 | 154k|   0 | 7.000000e+00 | 2.100000e+01 | 200.00%
1800.01/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61	c 
1800.01/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.61	c Solving Time (sec) : 1780.84
1800.01/1800.61	c Solving Nodes      : 591832
1800.01/1800.61	c Primal Bound       : +2.10000000000000e+01 (5 solutions)
1800.01/1800.61	c Dual Bound         : +7.00000000000000e+00
1800.01/1800.61	c Gap                : 200.00 %
1800.01/1800.63	s SATISFIABLE
1800.01/1800.63	v -x4318 -x4317 -x4316 -x4315 -x4313 -x4311 -x4310 -x4309 -x4308 -x4306 -x4304 -x4303 -x4302 -x4301 -x4299 -x4297 -x4296 -x4295 x4294 
1800.01/1800.63	v -x4292 -x4290 -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 -x4278 -x4276 -x4275 -x4274 x4273 -x4271 -x4270 -x4269 
1800.01/1800.63	v -x4268 -x4266 -x4264 -x4263 -x4262 x4261 -x4259 -x4257 -x4256 -x4255 x4254 -x4252 -x4250 -x4249 -x4248 -x4247 -x4245 -x4244 
1800.01/1800.63	v -x4243 -x4242 x4240 -x4238 -x4237 -x4236 -x4235 -x4233 -x4231 -x4230 -x4229 -x4228 x4226 -x4224 -x4223 -x4222 -x4221 -x4219 
1800.01/1800.63	v -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 x4205 -x4203 -x4202 -x4201 -x4200 -x4198 -x4196 -x4195 -x4194 
1800.01/1800.63	v -x4193 -x4191 -x4189 -x4188 -x4187 -x4186 -x4184 -x4182 -x4181 -x4180 -x4179 -x4177 -x4175 -x4174 -x4173 -x4172 -x4170 -x4168 
1800.01/1800.63	v -x4167 -x4166 -x4165 -x4163 -x4161 -x4160 -x4159 -x4158 -x4156 -x4154 -x4153 -x4152 -x4151 -x4149 -x4147 -x4146 -x4145 -x4144 
1800.01/1800.63	v -x4142 -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4130 -x4128 -x4127 -x4126 -x4125 -x4123 -x4121 -x4120 -x4119 
1800.01/1800.63	v -x4118 -x4116 -x4114 -x4113 -x4112 -x4111 x4109 -x4107 -x4106 -x4105 -x4104 -x4102 -x4100 -x4099 -x4098 -x4097 -x4095 -x4093 
1800.01/1800.63	v -x4092 -x4091 -x4090 -x4088 -x4086 -x4085 -x4084 -x4083 -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 
1800.01/1800.63	v -x4071 -x4070 -x4069 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4055 -x4054 -x4053 -x4052 
1800.01/1800.63	v -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 x4045 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 
1800.01/1800.63	v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 
1800.01/1800.63	v -x4012 -x4011 -x4010 x4009 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 
1800.01/1800.63	v -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 
1800.01/1800.63	v -x3973 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 
1800.01/1800.63	v -x3953 -x3952 -x3951 -x3950 -x3949 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 
1800.01/1800.63	v -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
1800.01/1800.63	v -x3914 -x3913 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3899 -x3898 -x3897 -x3896 -x3895 
1800.01/1800.63	v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 
1800.01/1800.63	v -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 
1800.01/1800.63	v -x3856 -x3855 -x3854 -x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3838 -x3837 
1800.01/1800.63	v -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 
1800.01/1800.63	v -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3800 -x3799 
1800.01/1800.63	v -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 
1800.01/1800.63	v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 
1800.01/1800.63	v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 x3748 -x3746 -x3745 -x3744 -x3743 
1800.01/1800.63	v -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 
1800.01/1800.63	v -x3725 -x3724 -x3723 -x3722 x3721 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 
1800.01/1800.63	v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3692 -x3691 -x3690 -x3689 -x3688 
1800.01/1800.63	v -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 
1800.01/1800.63	v -x3669 -x3668 -x3667 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 
1800.01/1800.63	v -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 x3638 -x3636 x3634 -x3632 -x3630 -x3628 x3626 
1800.01/1800.63	v -x3624 -x3622 -x3620 x3618 x3616 -x3614 x3612 -x3610 -x3608 -x3606 -x3605 -x3604 -x3603 -x3601 -x3600 -x3599 -x3598 -x3596 -x3595 
1800.01/1800.63	v -x3594 -x3593 -x3591 -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 -x3581 -x3580 -x3579 x3578 -x3576 -x3575 -x3574 -x3573 
1800.01/1800.63	v -x3571 -x3570 -x3569 -x3568 -x3566 -x3565 -x3564 -x3563 -x3561 -x3560 -x3559 -x3558 x3556 -x3555 -x3554 x3553 -x3551 -x3550 
1800.01/1800.63	v -x3549 -x3548 -x3546 -x3545 -x3544 x3543 -x3541 -x3540 -x3539 x3538 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 
1800.01/1800.63	v -x3528 -x3527 -x3526 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509 
1800.01/1800.63	v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 x3502 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 x3490 
1800.01/1800.63	v -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3476 -x3475 -x3474 -x3473 -x3472 x3471 -x3470 
1800.01/1800.63	v -x3469 -x3468 -x3467 x3466 -x3464 -x3462 x3460 x3458 -x3456 x3454 x3452 -x3450 -x3448 -x3446 x3444 -x3442 -x3440 -x3438 x3436 
1800.01/1800.63	v -x3434 x3432 -x3430 -x3428 -x3426 -x3425 -x3424 -x3423 -x3421 -x3420 -x3419 x3418 -x3416 -x3415 -x3414 -x3413 -x3411 x3410 
1800.01/1800.63	v -x3409 x3408 -x3406 -x3405 -x3404 -x3403 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3391 -x3390 -x3389 -x3388 
1800.01/1800.63	v -x3386 -x3385 -x3384 -x3383 -x3381 -x3380 -x3379 -x3378 -x3376 -x3375 -x3374 x3373 -x3371 -x3370 -x3369 -x3368 -x3366 -x3365 
1800.01/1800.63	v -x3364 x3363 -x3361 -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 -x3353 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 x3344 
1800.01/1800.63	v -x3343 -x3342 x3341 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3327 -x3326 -x3325 -x3324 
1800.01/1800.63	v -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 
1800.01/1800.63	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 
1800.01/1800.63	v -x3284 -x3283 -x3282 x3281 -x3279 x3277 -x3275 -x3273 x3271 x3269 -x3267 -x3265 x3263 x3261 x3259 -x3257 -x3255 x3253 -x3251 
1800.01/1800.63	v x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 -x3231 -x3229 -x3228 -x3227 -x3226 -x3224 
1800.01/1800.63	v -x3223 -x3222 x3221 -x3219 -x3218 -x3217 -x3216 -x3214 x3213 -x3212 x3211 -x3209 -x3208 -x3207 x3206 -x3204 -x3203 -x3202 
1800.01/1800.63	v -x3201 -x3199 -x3198 -x3197 -x3196 -x3194 -x3193 -x3192 x3191 -x3189 -x3188 -x3187 -x3186 -x3184 -x3183 -x3182 -x3181 -x3179 
1800.01/1800.63	v -x3178 -x3177 -x3176 -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 
1800.01/1800.63	v -x3157 -x3156 -x3155 x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3139 -x3138 
1800.01/1800.63	v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3128 -x3127 -x3126 x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 
1800.01/1800.63	v x3118 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 x3106 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 
1800.01/1800.63	v -x3098 -x3097 -x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3087 -x3086 -x3085 -x3084 -x3082 -x3081 -x3080 -x3079 -x3077 
1800.01/1800.63	v -x3076 -x3075 -x3074 -x3072 -x3071 -x3070 -x3069 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 
1800.01/1800.63	v -x3054 -x3052 -x3051 -x3050 -x3049 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 -x3040 -x3039 -x3037 -x3036 -x3035 -x3034 -x3032 
1800.01/1800.63	v -x3031 -x3030 -x3029 -x3027 -x3026 -x3025 -x3024 -x3022 x3021 -x3020 x3019 -x3017 -x3016 -x3015 -x3014 -x3012 -x3011 -x3010 
1800.01/1800.63	v -x3009 -x3007 -x3006 -x3005 -x3004 -x3002 -x3001 -x3000 x2999 -x2997 -x2996 -x2995 -x2994 x2992 -x2991 -x2990 x2989 -x2987 
1800.01/1800.63	v -x2986 -x2985 x2984 -x2982 -x2981 -x2980 -x2979 -x2977 -x2976 -x2975 -x2974 -x2972 -x2971 -x2970 -x2969 -x2967 -x2966 -x2965 
1800.01/1800.63	v -x2964 -x2962 -x2961 -x2960 -x2959 -x2957 -x2956 -x2955 -x2954 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2942 
1800.01/1800.63	v -x2941 -x2940 -x2939 -x2937 -x2936 -x2935 -x2934 -x2932 -x2931 -x2930 -x2929 -x2927 -x2926 -x2925 -x2924 -x2922 -x2921 -x2920 
1800.01/1800.63	v -x2919 -x2917 -x2916 -x2915 -x2914 -x2912 -x2911 -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 -x2897 
1800.01/1800.63	v -x2896 -x2895 -x2894 -x2892 -x2891 -x2890 -x2889 -x2887 -x2886 -x2885 -x2884 x2882 -x2881 -x2880 x2879 -x2877 -x2876 -x2875 
1800.01/1800.63	v -x2874 -x2872 -x2871 -x2870 -x2869 -x2867 -x2866 -x2865 -x2864 -x2862 -x2861 -x2860 -x2859 -x2857 -x2856 -x2855 -x2854 -x2852 
1800.01/1800.63	v -x2851 -x2850 -x2849 -x2847 -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 x2839 -x2837 -x2836 -x2835 -x2834 -x2832 -x2831 -x2830 
1800.01/1800.63	v -x2829 -x2827 -x2826 -x2825 -x2824 -x2822 -x2821 -x2820 -x2819 -x2817 -x2816 -x2815 -x2814 -x2812 -x2811 -x2810 x2809 -x2807 
1800.01/1800.63	v -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 x2799 -x2797 -x2796 -x2795 -x2794 -x2792 -x2791 -x2790 -x2789 -x2787 -x2786 -x2785 
1800.01/1800.63	v -x2784 -x2782 -x2781 -x2780 -x2779 -x2777 -x2776 -x2775 -x2774 -x2772 -x2771 -x2770 -x2769 -x2767 -x2766 -x2765 -x2764 -x2762 
1800.01/1800.63	v -x2761 -x2760 -x2759 -x2757 -x2756 -x2755 -x2754 -x2752 -x2751 -x2750 -x2749 -x2747 -x2746 -x2745 -x2744 -x2742 -x2741 -x2740 
1800.01/1800.63	v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2730 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 
1800.01/1800.63	v -x2719 -x2718 -x2716 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2700 -x2699 
1800.01/1800.63	v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2688 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 
1800.01/1800.63	v -x2678 -x2677 -x2676 -x2674 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2658 -x2657 
1800.01/1800.63	v -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2646 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 
1800.01/1800.63	v -x2636 -x2635 -x2634 x2632 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 x2618 -x2616 -x2615 
1800.01/1800.63	v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 x2606 x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 
1800.01/1800.63	v -x2594 -x2593 -x2592 x2590 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2576 -x2574 -x2573 
1800.01/1800.63	v -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 x2562 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 
1800.01/1800.63	v -x2552 -x2551 -x2550 -x2548 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 x2534 -x2532 -x2531 
1800.01/1800.63	v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 
1800.01/1800.63	v -x2510 -x2509 -x2508 -x2506 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 x2492 -x2490 -x2489 
1800.01/1800.63	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2478 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 
1800.01/1800.63	v -x2468 -x2467 -x2466 x2464 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2450 -x2448 -x2447 
1800.01/1800.63	v -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 x2436 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 
1800.01/1800.63	v -x2426 -x2425 -x2424 x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2408 -x2406 -x2405 
1800.01/1800.63	v -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2394 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 
1800.01/1800.63	v -x2384 -x2383 x2382 x2380 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2366 -x2364 -x2363 
1800.01/1800.63	v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2352 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
1800.01/1800.63	v -x2342 -x2341 x2340 x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 x2326 x2324 -x2322 -x2321 
1800.01/1800.63	v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2310 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
1800.01/1800.63	v -x2300 -x2299 -x2298 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2284 -x2282 -x2281 -x2280 
1800.01/1800.63	v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2270 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 
1800.01/1800.63	v -x2259 -x2258 -x2256 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2242 -x2240 -x2239 -x2238 
1800.01/1800.63	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2228 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 
1800.01/1800.63	v -x2217 -x2216 -x2214 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2200 -x2198 -x2197 -x2196 
1800.01/1800.63	v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 
1800.01/1800.63	v -x2176 -x2175 -x2174 -x2172 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2158 -x2156 -x2155 
1800.01/1800.63	v -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2144 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 
1800.01/1800.63	v -x2134 -x2133 -x2132 -x2130 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 x2120 -x2119 x2118 x2116 -x2114 -x2113 
1800.01/1800.63	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 
1800.01/1800.63	v -x2092 -x2091 -x2090 x2088 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2074 -x2072 -x2071 
1800.01/1800.63	v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2060 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 
1800.01/1800.63	v -x2050 -x2049 -x2048 -x2046 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2032 -x2030 -x2029 
1800.01/1800.63	v -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 x2011 -x2010 -x2009 
1800.01/1800.63	v -x2008 -x2007 x2006 x2004 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1990 -x1988 -x1987 
1800.01/1800.63	v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 
1800.01/1800.63	v -x1966 -x1965 -x1964 -x1962 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 
1800.01/1800.63	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 
1800.01/1800.63	v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 
1800.01/1800.63	v -x1909 -x1908 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 
1800.01/1800.63	v -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 
1800.01/1800.63	v -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 
1800.01/1800.63	v -x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 
1800.01/1800.63	v -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 
1800.01/1800.63	v -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1798 
1800.01/1800.63	v -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 
1800.01/1800.63	v -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 
1800.01/1800.63	v -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1744 -x1743 
1800.01/1800.63	v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 
1800.01/1800.63	v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 
1800.01/1800.63	v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1690 -x1689 -x1688 -x1687 
1800.01/1800.63	v -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 
1800.01/1800.63	v -x1668 -x1667 -x1666 -x1665 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 
1800.01/1800.63	v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
1800.01/1800.63	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 
1800.01/1800.63	v -x1612 -x1611 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 
1800.01/1800.63	v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 
1800.01/1800.63	v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 
1800.01/1800.63	v -x1557 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
1800.01/1800.63	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 
1800.01/1800.63	v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1501 
1800.01/1800.63	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 x1486 -x1485 -x1484 -x1483 
1800.01/1800.63	v -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 
1800.01/1800.63	v -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1447 -x1446 -x1445 
1800.01/1800.63	v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 
1800.01/1800.63	v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 
1800.01/1800.63	v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1393 -x1392 -x1391 -x1390 
1800.01/1800.63	v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 
1800.01/1800.63	v -x1371 -x1370 -x1369 -x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 
1800.01/1800.63	v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 
1800.01/1800.63	v -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 
1800.01/1800.63	v -x1315 -x1314 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 
1800.01/1800.63	v -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 
1800.01/1800.63	v -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 
1800.01/1800.63	v -x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
1800.01/1800.63	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 
1800.01/1800.63	v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1204 
1800.01/1800.63	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
1800.01/1800.63	v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 
1800.01/1800.63	v -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 
1800.01/1800.63	v -x1150 -x1149 -x1148 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
1800.01/1800.63	v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 
1800.01/1800.63	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 
1800.01/1800.63	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 
1800.01/1800.63	v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 
1800.01/1800.63	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 
1800.01/1800.63	v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 
1800.01/1800.63	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 
1800.01/1800.63	v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 
1800.01/1800.63	v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 
1800.01/1800.63	v -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 
1800.01/1800.63	v -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 
1800.01/1800.63	v -x920 -x919 -x918 -x917 x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 
1800.01/1800.63	v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 
1800.01/1800.63	v -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 
1800.01/1800.63	v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 
1800.01/1800.63	v -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 
1800.01/1800.63	v -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x798 -x797 -x796 -x795 -x794 -x793 
1800.01/1800.63	v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 
1800.01/1800.63	v -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 
1800.01/1800.63	v -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x740 -x738 -x739 -x737 -x735 
1800.01/1800.63	v -x736 -x734 -x732 -x733 x731 -x729 -x730 -x728 -x726 -x727 -x725 -x723 -x724 -x722 -x721 -x720 -x718 -x719 -x717 -x715 -x716 
1800.01/1800.63	v -x714 -x712 -x713 -x711 -x710 -x709 -x707 -x708 -x706 -x704 -x705 -x703 -x701 -x702 -x700 -x698 -x699 -x697 -x695 -x696 
1800.01/1800.63	v -x694 -x692 -x693 -x691 -x689 -x690 -x688 -x686 -x687 -x685 -x683 -x684 -x682 -x680 -x681 -x679 -x677 -x678 -x676 -x674 -x675 
1800.01/1800.63	v -x673 -x671 -x672 -x670 -x668 -x669 -x667 -x665 -x666 -x664 -x663 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 
1800.01/1800.63	v -x651 x652 -x650 -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x637 -x636 -x634 -x633 -x632 -x631 
1800.01/1800.63	v -x629 -x628 -x627 x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x615 -x614 -x613 -x612 -x611 -x610 -x608 -x607 -x606 
1800.01/1800.63	v -x605 -x603 -x602 -x601 -x600 -x598 -x597 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x521 -x520 -x519 -x518 -x517 -x516 -x580 
1800.01/1800.63	v -x578 -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 x565 -x563 -x564 -x561 -x562 -x559 -x560 
1800.01/1800.63	v -x557 -x558 -x555 -x556 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 x543 -x542 -x541 -x540 -x539 -x538 
1800.01/1800.63	v -x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x526 -x525 -x523 -x522 -x446 -x445 -x444 -x443 -x442 -x441 -x514 -x512 -x513 
1800.01/1800.63	v x511 -x509 -x510 -x508 -x506 -x507 -x505 -x503 -x504 -x502 -x500 -x501 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 -x491 
1800.01/1800.63	v -x489 -x490 -x488 -x486 -x487 -x485 -x484 -x483 -x481 -x480 -x478 -x477 -x475 -x474 -x473 -x472 -x470 -x469 -x468 -x467 -x466 
1800.01/1800.63	v -x465 -x463 -x462 -x460 -x459 -x457 -x456 -x454 x453 x452 -x451 -x450 -x449 -x447 -x368 -x367 -x366 -x365 -x364 -x363 -x439 
1800.01/1800.63	v -x437 -x438 -x436 -x434 -x435 -x433 -x431 x432 -x430 -x428 -x429 -x427 -x425 -x426 -x424 -x422 -x423 -x421 -x419 -x420 -x418 
1800.01/1800.63	v -x416 -x417 -x415 -x413 -x414 -x412 -x410 -x411 -x409 -x407 -x406 -x404 -x403 -x401 -x400 -x398 -x397 -x395 -x394 -x392 x391 
1800.01/1800.63	v x390 -x389 -x387 -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x374 -x373 -x372 -x371 -x369 -x9 -x8 -x7 -x6 -x5 -x4 
1800.01/1800.63	v -x3 -x2 -x361 -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 
1800.01/1800.63	v -x341 -x342 -x340 -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 
1800.01/1800.63	v -x320 -x321 -x319 -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 
1800.01/1800.63	v -x299 -x300 -x298 -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 
1800.01/1800.63	v -x278 -x279 -x277 -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 
1800.01/1800.63	v -x257 -x258 -x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 
1800.01/1800.63	v -x236 -x237 -x235 -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 
1800.01/1800.63	v -x215 -x216 -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 
1800.01/1800.63	v -x194 -x195 -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 
1800.01/1800.63	v -x175 -x173 -x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163 -x162 -x161 -x159 -x160 -x158 -x156 -x157 -x155 
1800.01/1800.63	v -x153 -x154 -x152 -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 
1800.01/1800.63	v -x132 -x133 -x131 -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 
1800.01/1800.63	v -x111 -x112 -x110 -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 
1800.01/1800.63	v -x91 -x89 -x87 -x86 -x84 -x83 -x81 -x80 -x79 -x78 -x76 -x75 -x73 -x72 -x70 -x69 -x67 -x66 -x64 x63 x61 -x60 -x58 -x57 -x56 -x55 
1800.01/1800.63	v -x53 -x52 -x50 -x49 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x31 -x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 
1800.01/1800.63	v -x18 -x16 -x15 -x13 -x12 -x10 -x4314 -x4312 -x4307 -x4305 -x4300 -x4298 x4293 -x4291 -x4286 -x4284 -x4279 -x4277 -x4272 -x4267 
1800.01/1800.63	v -x4265 -x4260 -x4258 -x4253 -x4251 -x4246 -x4241 -x4239 -x4234 -x4232 -x4227 -x4225 -x4220 -x4218 -x4213 -x4211 -x4206 
1800.01/1800.63	v -x4204 -x4199 -x4197 -x4192 -x4190 -x4185 -x4183 -x4178 -x4176 -x4171 -x4169 -x4164 -x4162 -x4157 -x4155 -x4150 -x4148 -x4143 
1800.01/1800.63	v -x4141 -x4136 -x4131 -x4129 -x4124 -x4122 -x4117 -x4115 -x4110 x4108 -x4103 -x4101 -x4096 -x4094 -x4089 -x4087 -x4082 -x4080 
1800.01/1800.63	v -x4068 -x4056 -x635 -x4044 -x4032 -x630 -x4020 x4008 -x625 -x3996 -x3984 -x3972 -x3960 -x616 -x3948 -x3936 -x3924 -x609 -x3912 
1800.01/1800.63	v -x3900 -x604 -x3888 -x3876 -x599 -x3864 -x596 -x3852 -x3840 -x3828 -x3801 -x3774 -x3747 x3720 -x3693 -x3666 -x3639 -x3637 
1800.01/1800.63	v -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3602 -x3597 -x3592 
1800.01/1800.63	v -x3587 -x3582 x3577 -x3572 -x3567 -x3562 -x537 -x3557 -x3552 -x3547 -x530 -x3542 -x527 -x3537 -x524 -x3525 -x3513 -x3501 -x3489 
1800.01/1800.63	v -x3477 -x3465 -x3463 -x3461 x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 
1800.01/1800.63	v -x3431 -x3429 -x3427 -x3422 -x3417 -x482 -x3412 -x479 -x3407 -x476 -x3402 -x3397 -x471 -x3392 -x3387 -x3382 -x464 -x3377 -x461 
1800.01/1800.63	v -x3372 -x458 -x3367 -x455 x3362 -x3357 -x3352 -x448 -x3340 -x3328 -x3316 -x3304 -x3292 -x3280 -x3278 -x3276 -x3274 -x3272 
1800.01/1800.63	v -x3270 x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3235 -x408 
1800.01/1800.63	v -x3230 -x405 -x3225 -x402 -x3220 -x399 -x3215 -x396 -x3210 -x393 x3205 -x3200 -x388 -x3195 -x3190 -x383 -x3185 -x3180 x378 -x3175 
1800.01/1800.63	v -x375 -x3170 -x3165 -x370 -x3153 -x3141 -x3129 -x3117 -x3105 -x3093 -x3088 -x3083 -x3078 -x3073 -x3068 -x3063 -x3058 -x3053 
1800.01/1800.63	v -x3048 -x3043 -x3038 -x3033 -x3028 -x3023 -x3018 -x3013 -x3008 -x3003 -x2998 -x2993 -x2988 x2983 -x2978 -x2973 -x2968 -x2963 
1800.01/1800.63	v -x2958 -x2953 -x2948 -x2943 -x2938 -x2933 -x2928 -x2923 -x2918 -x2913 -x2908 -x2903 -x2898 -x2893 -x2888 -x2883 -x2878 -x2873 
1800.01/1800.63	v -x2868 -x2863 -x2858 -x2853 -x2848 -x2843 -x2838 -x2833 -x2828 -x2823 -x2818 -x2813 -x2808 -x2803 -x2798 -x2793 -x2788 
1800.01/1800.63	v -x2783 -x2778 -x2773 -x2768 -x2763 -x2758 -x2753 -x2748 -x2743 -x2731 -x2729 -x2717 -x2715 -x2703 -x2701 -x2689 -x2687 -x2675 
1800.01/1800.63	v -x2673 -x2661 -x2659 -x2647 -x2645 -x2633 -x2631 -x2619 -x2617 -x2605 -x2603 -x2591 x2589 -x2577 -x2575 -x2563 -x2561 -x2549 
1800.01/1800.63	v -x2547 -x2535 -x2533 -x2521 -x2519 -x2507 -x2505 -x2493 -x2491 -x2479 -x2477 -x2465 -x2463 -x2451 -x2449 -x2437 -x2435 -x2423 
1800.01/1800.63	v -x2421 -x2409 -x2407 -x2395 -x2393 -x2381 -x2379 -x2367 -x2365 -x2353 -x2351 -x2339 -x2337 -x2325 -x2323 -x2311 -x2309 -x2297 
1800.01/1800.63	v -x2285 -x2283 -x2271 -x2269 -x2257 -x2255 -x2243 -x2241 -x2229 -x2227 -x2215 -x2213 -x2201 -x2199 -x2187 -x2185 -x2173 -x2171 
1800.01/1800.63	v -x2159 -x2157 -x2145 -x2143 -x2131 -x2129 -x2117 -x2115 -x2103 -x2101 -x2089 -x2087 -x2075 -x2073 -x2061 -x2059 -x2047 -x2045 
1800.01/1800.63	v -x2033 -x2031 -x2019 -x2017 -x2005 -x2003 -x1991 -x1989 -x1977 -x1975 -x1963 -x1961 -x1934 -x88 -x1907 -x85 -x1880 -x82 
1800.01/1800.63	v -x1853 -x1826 -x77 -x1799 -x74 -x1772 -x71 -x1745 -x68 -x1718 -x65 x1691 x62 -x1664 -x59 -x1637 -x1610 -x54 -x1583 -x51 -x1556 
1800.01/1800.63	v -x48 -x1529 -x45 -x1502 -x1475 x40 -x1448 -x37 -x1421 -x34 -x1394 -x1367 -x29 -x1340 -x26 -x1313 -x23 -x1286 -x20 -x1259 -x17 
1800.01/1800.63	v -x1232 -x14 -x1205 -x11 -x1147 -x1089 -x1031 -x973 -x915 -x857 -x799 -x741 x581 x515 x440 x362 x1 
1800.01/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.63	c Solving Time       :    1780.84
1800.01/1800.63	c Original Problem   :
1800.01/1800.63	c   Problem name     : HOME/instance-2663962-1276640931.opb
1800.01/1800.63	c   Variables        : 4318 (4318 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.63	c   Constraints      : 15120 initial, 15120 maximal
1800.01/1800.63	c Presolved Problem  :
1800.01/1800.63	c   Problem name     : t_HOME/instance-2663962-1276640931.opb
1800.01/1800.63	c   Variables        : 3878 (3878 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.63	c   Constraints      : 14238 initial, 27651 maximal
1800.01/1800.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.63	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   implics          :       0.02          0          6          0          0          0          0          0          0
1800.01/1800.63	c   probing          :       0.23          0          0          0          0          0          0          0          0
1800.01/1800.63	c   knapsack         :       0.02          0          0          0          0          0          0          0          0
1800.01/1800.63	c   linear           :       0.21          5        429          0          5          0        882          6          7
1800.01/1800.63	c   logicor          :       0.06          0          0          0          0          0          0          0          0
1800.01/1800.63	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.63	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.63	c   knapsack         :          1          0    1855165          0     577269          0          0          0          0          0
1800.01/1800.63	c   logicor          :      14237+         0    1665685          0     577270      18051    9142898          0          0          0
1800.01/1800.63	c   countsols        :          0          0          0          0     577270          0          0          0          0          0
1800.01/1800.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.63	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.63	c   knapsack         :     188.58       0.00     173.56       0.00      15.02
1800.01/1800.63	c   logicor          :    1166.95       0.00     178.18       0.00     988.77
1800.01/1800.63	c   countsols        :       0.57       0.00       0.00       0.00       0.57
1800.01/1800.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.63	c   vbounds          :       1.26          2          0          0
1800.01/1800.63	c   rootredcost      :       1.12          0          0          0
1800.01/1800.63	c   pseudoobj        :      67.10    1857374       2409     319913
1800.01/1800.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.63	c   propagation      :      95.87      20460      20460     613914      240.7       7692       69.8          -
1800.01/1800.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.63	c   applied globally :          -          -          -     154897      126.0          -          -          -
1800.01/1800.63	c   applied locally  :          -          -          -          2      524.0          -          -          -
1800.01/1800.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.63	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.63	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.63	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.63	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.63	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.63	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.63	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.63	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.63	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.63	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.63	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.63	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.63	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.63	c Pricers            :       Time      Calls       Vars
1800.01/1800.63	c   problem variables:       0.00          0          0
1800.01/1800.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.63	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.63	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.63	c   inference        :     185.74     577265          0          0          0          0    1154530
1800.01/1800.63	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.63	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.63	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.63	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.63	c   LP solutions     :       0.00          -          0
1800.01/1800.63	c   pseudo solutions :       0.07          -          5
1800.01/1800.63	c   oneopt           :       1.25          0          0
1800.01/1800.63	c   trivial          :       0.01          2          0
1800.01/1800.63	c   simplerounding   :       0.00          0          0
1800.01/1800.63	c   zirounding       :       0.00          0          0
1800.01/1800.63	c   rounding         :       0.00          0          0
1800.01/1800.63	c   shifting         :       0.00          0          0
1800.01/1800.63	c   intshifting      :       0.00          0          0
1800.01/1800.63	c   twoopt           :       0.00          0          0
1800.01/1800.63	c   fixandinfer      :       0.00          0          0
1800.01/1800.63	c   feaspump         :       0.00          0          0
1800.01/1800.63	c   coefdiving       :       0.00          0          0
1800.01/1800.64	c   pscostdiving     :       0.00          0          0
1800.01/1800.64	c   fracdiving       :       0.00          0          0
1800.01/1800.64	c   veclendiving     :       0.00          0          0
1800.01/1800.64	c   intdiving        :       0.00          0          0
1800.01/1800.64	c   actconsdiving    :       0.00          0          0
1800.01/1800.64	c   objpscostdiving  :       0.00          0          0
1800.01/1800.64	c   rootsoldiving    :       0.00          0          0
1800.01/1800.64	c   linesearchdiving :       0.00          0          0
1800.01/1800.64	c   guideddiving     :       0.00          0          0
1800.01/1800.64	c   octane           :       0.00          0          0
1800.01/1800.64	c   rens             :       0.00          0          0
1800.01/1800.64	c   rins             :       0.00          0          0
1800.01/1800.64	c   localbranching   :       0.00          0          0
1800.01/1800.64	c   mutation         :       0.00          0          0
1800.01/1800.64	c   crossover        :       0.00          0          0
1800.01/1800.64	c   dins             :       0.00          0          0
1800.01/1800.64	c   undercover       :       0.00          0          0
1800.01/1800.64	c   nlp              :       0.35          0          0
1800.01/1800.64	c   trysol           :       0.33          0          0
1800.01/1800.64	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.64	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.64	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.64	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.64	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.64	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.64	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.64	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.64	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.64	c B&B Tree           :
1800.01/1800.64	c   number of runs   :          1
1800.01/1800.64	c   nodes            :     591832
1800.01/1800.64	c   nodes (total)    :     591832
1800.01/1800.64	c   nodes left       :     534556
1800.01/1800.64	c   max depth        :        908
1800.01/1800.64	c   max depth (total):        908
1800.01/1800.64	c   backtracks       :       7865 (1.3%)
1800.01/1800.64	c   delayed cutoffs  :       6053
1800.01/1800.64	c   repropagations   :     101996 (475413 domain reductions, 5898 cutoffs)
1800.01/1800.64	c   avg switch length:       3.64
1800.01/1800.64	c   switching time   :     111.95
1800.01/1800.64	c Solution           :
1800.01/1800.64	c   Solutions found  :          5 (5 improvements)
1800.01/1800.64	c   First Solution   : +2.80000000000000e+01   (in run 1, after 924 nodes, 7.38 seconds, depth 908, found by <relaxation>)
1800.01/1800.64	c   Primal Bound     : +2.10000000000000e+01   (in run 1, after 500733 nodes, 1447.04 seconds, depth 184, found by <relaxation>)
1800.01/1800.64	c   Dual Bound       : +7.00000000000000e+00
1800.01/1800.64	c   Gap              :     200.00 %
1800.01/1800.64	c   Root Dual Bound  : +5.00000000000000e+00
1800.01/1800.64	c   Root Iterations  :          0
1801.61/1802.26	c Time complete: 1801.66.

Verifier Data 

OK	21

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.14 1.73 3/106 4229
/proc/meminfo: memFree=1822876/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=6584 CPUtime=0
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 951 0 0 0 0 0 0 0 18 0 1 0 39696823 6742016 874 1992294400 4194304 7136930 140735232968704 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4229/statm: 1646 882 254 719 0 925 0

[startup+0.0519429 s]
/proc/loadavg: 2.22 2.14 1.73 3/106 4229
/proc/meminfo: memFree=1822876/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=10016 CPUtime=0.04
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 2005 0 0 0 4 0 0 0 20 0 1 0 39696823 10256384 1928 1992294400 4194304 7136930 140735232968704 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4229/statm: 2563 1928 271 719 0 1842 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10016

[startup+0.101948 s]
/proc/loadavg: 2.22 2.14 1.73 3/106 4229
/proc/meminfo: memFree=1822876/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=13716 CPUtime=0.09
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 2918 0 0 0 9 0 0 0 20 0 1 0 39696823 14045184 2841 1992294400 4194304 7136930 140735232968704 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4229/statm: 3429 2841 271 719 0 2708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13716

[startup+0.30197 s]
/proc/loadavg: 2.22 2.14 1.73 3/106 4229
/proc/meminfo: memFree=1822876/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=29752 CPUtime=0.29
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 7180 0 0 0 27 2 0 0 20 0 1 0 39696823 30466048 6749 1992294400 4194304 7136930 140735232968704 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 7438 6761 283 719 0 6717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29752

[startup+0.701016 s]
/proc/loadavg: 2.22 2.14 1.73 3/106 4229
/proc/meminfo: memFree=1822876/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=45328 CPUtime=0.69
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 12346 0 0 0 61 8 0 0 20 0 1 0 39696823 46415872 10529 1992294400 4194304 7136930 140735232968704 18446744073709551615 5960578 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 11332 10529 362 719 0 10611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45328

[startup+1.5011 s]
/proc/loadavg: 2.22 2.14 1.73 2/107 4230
/proc/meminfo: memFree=1779468/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=47712 CPUtime=1.49
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 13604 0 0 0 140 9 0 0 23 0 1 0 39696823 48857088 11177 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 11928 11177 394 719 0 11207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47712

[startup+3.10128 s]
/proc/loadavg: 2.22 2.14 1.73 2/107 4230
/proc/meminfo: memFree=1779220/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=47712 CPUtime=3.09
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 13604 0 0 0 299 10 0 0 25 0 1 0 39696823 48857088 11177 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 11928 11177 394 719 0 11207 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47712

[startup+6.30164 s]
/proc/loadavg: 2.13 2.12 1.72 2/107 4230
/proc/meminfo: memFree=1779104/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=47712 CPUtime=6.29
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 13605 0 0 0 618 11 0 0 25 0 1 0 39696823 48857088 11178 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 11928 11178 394 719 0 11207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47712

[startup+12.7013 s]
/proc/loadavg: 2.04 2.10 1.72 2/107 4230
/proc/meminfo: memFree=1772904/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=54240 CPUtime=12.69
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 15219 0 0 0 1254 15 0 0 25 0 1 0 39696823 55541760 12792 1992294400 4194304 7136930 140735232968704 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 13560 12792 398 719 0 12839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54240

[startup+25.5018 s]
/proc/loadavg: 1.81 2.05 1.71 2/107 4230
/proc/meminfo: memFree=1765712/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=61456 CPUtime=25.49
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 16993 0 0 0 2525 24 0 0 25 0 1 0 39696823 62930944 14566 1992294400 4194304 7136930 140735232968704 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 15364 14566 398 719 0 14643 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61456

[startup+51.1016 s]
/proc/loadavg: 1.53 1.96 1.69 2/107 4230
/proc/meminfo: memFree=1753808/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=73672 CPUtime=51.07
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 19961 0 0 0 5063 44 0 0 25 0 1 0 39696823 75440128 17534 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 18418 17534 398 719 0 17697 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 73672

[startup+102.309 s]
/proc/loadavg: 1.23 1.81 1.65 2/107 4232
/proc/meminfo: memFree=1727768/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=100752 CPUtime=102.25
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 26437 0 0 0 10140 85 0 0 25 0 1 0 39696823 103170048 24010 1992294400 4194304 7136930 140735232968704 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 25188 24010 398 719 0 24467 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 100752

[startup+162.302 s]
/proc/loadavg: 1.08 1.66 1.61 2/107 4234
/proc/meminfo: memFree=1696892/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=132672 CPUtime=162.23
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 34149 0 0 0 16073 150 0 0 25 0 1 0 39696823 135856128 31722 1992294400 4194304 7136930 140735232968704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 33168 31722 398 719 0 32447 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 132672

[startup+222.302 s]
/proc/loadavg: 1.03 1.54 1.56 2/107 4236
/proc/meminfo: memFree=1660808/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=170068 CPUtime=222.21
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 43059 0 0 0 21996 225 0 0 25 0 1 0 39696823 174149632 40632 1992294400 4194304 7136930 140735232968704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 42517 40632 398 719 0 41796 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 170068

[startup+282.301 s]
/proc/loadavg: 1.01 1.44 1.53 2/107 4236
/proc/meminfo: memFree=1636752/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=195132 CPUtime=282.2
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 49080 0 0 0 27939 281 0 0 25 0 1 0 39696823 199815168 46653 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 48783 46653 398 719 0 48062 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 195132

[startup+342.302 s]
/proc/loadavg: 1.00 1.36 1.49 2/107 4238
/proc/meminfo: memFree=1607736/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=227288 CPUtime=342.17
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 56266 0 0 0 33868 349 0 0 25 0 1 0 39696823 232742912 53839 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 56822 53839 398 719 0 56101 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 227288

[startup+402.302 s]
/proc/loadavg: 1.00 1.29 1.46 2/107 4240
/proc/meminfo: memFree=1583680/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=251488 CPUtime=402.14
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 62281 0 0 0 39796 418 0 0 25 0 1 0 39696823 257523712 59854 1992294400 4194304 7136930 140735232968704 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 62872 59854 398 719 0 62151 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 251488

[startup+462.301 s]
/proc/loadavg: 1.00 1.23 1.43 2/107 4242
/proc/meminfo: memFree=1561236/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=273788 CPUtime=462.12
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 67852 0 0 0 45719 493 0 0 25 0 1 0 39696823 280358912 65425 1992294400 4194304 7136930 140735232968704 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 68447 65425 398 719 0 67726 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 273788

[startup+522.302 s]
/proc/loadavg: 1.00 1.19 1.40 2/107 4244
/proc/meminfo: memFree=1547968/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=287376 CPUtime=522.11
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 71173 0 0 0 51682 529 0 0 25 0 1 0 39696823 294273024 68746 1992294400 4194304 7136930 140735232968704 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 71844 68746 398 719 0 71123 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 287376

[startup+582.301 s]
/proc/loadavg: 1.00 1.15 1.37 2/107 4244
/proc/meminfo: memFree=1522052/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=314540 CPUtime=582.09
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 77597 0 0 0 57618 591 0 0 25 0 1 0 39696823 322088960 75170 1992294400 4194304 7136930 140735232968704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 78635 75170 398 719 0 77914 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 314540

[startup+642.3 s]
/proc/loadavg: 1.00 1.12 1.34 2/107 4246
/proc/meminfo: memFree=1496508/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=340508 CPUtime=642.08
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 83982 0 0 0 63550 658 0 0 25 0 1 0 39696823 348680192 81555 1992294400 4194304 7136930 140735232968704 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 85127 81555 398 719 0 84406 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 340508

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.22 2/107 4256
/proc/meminfo: memFree=1356512/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=485256 CPUtime=1001.95
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 118792 0 0 0 99105 1090 0 0 25 0 1 0 39696823 496902144 116365 1992294400 4194304 7136930 140735232968704 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 121314 116365 398 719 0 120593 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 485256

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/107 4258
/proc/meminfo: memFree=1331588/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=510340 CPUtime=1061.93
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 125000 0 0 0 105028 1165 0 0 25 0 1 0 39696823 522588160 122573 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 127585 122573 398 719 0 126864 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 510340

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/107 4260
/proc/meminfo: memFree=1306168/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=535884 CPUtime=1121.91
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 131339 0 0 0 110947 1244 0 0 25 0 1 0 39696823 548745216 128912 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 133971 128912 398 719 0 133250 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 535884

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 4260
/proc/meminfo: memFree=1284964/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=556672 CPUtime=1181.89
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 136623 0 0 0 116870 1319 0 0 25 0 1 0 39696823 570032128 134196 1992294400 4194304 7136930 140735232968704 18446744073709551615 4854260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 139168 134196 398 719 0 138447 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 556672

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 4262
/proc/meminfo: memFree=1259668/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=581624 CPUtime=1241.88
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 142872 0 0 0 122785 1403 0 0 25 0 1 0 39696823 595582976 140445 1992294400 4194304 7136930 140735232968704 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 145406 140445 398 719 0 144685 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 581624

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 4264
/proc/meminfo: memFree=1237224/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=603764 CPUtime=1301.87
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 148444 0 0 0 128704 1483 0 0 25 0 1 0 39696823 618254336 146017 1992294400 4194304 7136930 140735232968704 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 150941 146017 398 719 0 150220 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 603764

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 4266
/proc/meminfo: memFree=1220732/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=622104 CPUtime=1361.84
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 152813 0 0 0 134647 1537 0 0 25 0 1 0 39696823 637034496 150386 1992294400 4194304 7136930 140735232968704 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 155526 150386 398 719 0 154805 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 622104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 4268
/proc/meminfo: memFree=1209200/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=632208 CPUtime=1421.82
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 155438 0 0 0 140604 1578 0 0 25 0 1 0 39696823 647380992 153011 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 158052 153011 398 719 0 157331 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 632208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 4268
/proc/meminfo: memFree=1199404/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=650164 CPUtime=1481.8
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 157843 0 0 0 146561 1619 0 0 25 0 1 0 39696823 665767936 155416 1992294400 4194304 7136930 140735232968704 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 162541 155416 398 719 0 161820 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 650164

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 4270
/proc/meminfo: memFree=1184276/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=666996 CPUtime=1541.78
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 161749 0 0 0 152510 1668 0 0 25 0 1 0 39696823 683003904 159322 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 166749 159322 398 719 0 166028 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 666996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 4272
/proc/meminfo: memFree=1163692/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=686636 CPUtime=1601.76
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 166771 0 0 0 158450 1726 0 0 25 0 1 0 39696823 703115264 164344 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 171659 164344 398 719 0 170938 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 686636

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 4274
/proc/meminfo: memFree=1141000/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=711068 CPUtime=1661.75
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 172418 0 0 0 164397 1778 0 0 25 0 1 0 39696823 728133632 169991 1992294400 4194304 7136930 140735232968704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 177767 169991 398 719 0 177046 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 711068

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 4276
/proc/meminfo: memFree=1127112/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=725768 CPUtime=1721.72
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 175880 0 0 0 170343 1829 0 0 25 0 1 0 39696823 743186432 173453 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 181442 173453 398 719 0 180721 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 725768

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.08 2/107 4276
/proc/meminfo: memFree=1112976/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=739512 CPUtime=1781.7
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 179340 0 0 0 176292 1878 0 0 25 0 1 0 39696823 757260288 176913 1992294400 4194304 7136930 140735232968704 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 184878 176913 398 719 0 184157 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 739512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.03 1.01 1.08 2/107 4278
/proc/meminfo: memFree=1108760/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=743852 CPUtime=1800.01
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 180388 0 0 0 178108 1893 0 0 25 0 1 0 39696823 761704448 177961 1992294400 4194304 7136930 140735232968704 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4229/statm: 185963 177961 398 719 0 185242 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 743852

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

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

[startup+1801.4 s]
/proc/loadavg: 1.03 1.01 1.08 2/107 4278
/proc/meminfo: memFree=1108760/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=743852 CPUtime=1800.8
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 180394 0 0 0 178187 1893 0 0 25 0 1 0 39696823 761704448 177967 1992294400 4194304 7136930 140735232968704 18446744073709551615 4670252 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4229/statm: 185963 177967 404 719 0 185242 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 743852

[startup+1801.81 s]
/proc/loadavg: 1.03 1.01 1.08 2/108 4279
/proc/meminfo: memFree=1108504/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=742820 CPUtime=1801.21
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 180394 0 0 0 178228 1893 0 0 25 0 1 0 39696823 760647680 177709 1992294400 4194304 7136930 140735232968704 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4229/statm: 185705 177709 404 719 0 184984 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 742820

[startup+1802.2 s]
/proc/loadavg: 1.03 1.01 1.08 2/108 4279
/proc/meminfo: memFree=1108504/2059040 swapFree=4140468/4192956
[pid=4229] ppid=4227 vsize=397284 CPUtime=1801.61
/proc/4229/stat : 4229 (pbscip.linux.x8) R 4227 4229 3937 0 -1 4202496 180394 0 0 0 178263 1898 0 0 25 0 1 0 39696823 406818816 94766 1992294400 4194304 7136930 140735232968704 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4229/statm: 99104 94766 404 719 0 98383 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 397284

Child status: 0
Real time (s): 1802.26
CPU time (s): 1801.67
CPU user time (s): 1782.64
CPU system time (s): 19.0281
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 743852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.64
system time used= 19.0281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 5709

runsolver used 2.93355 second user time and 8.5637 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-16 00:28:51
IDJOB=2663962
IDBENCH=25017
IDSOLVER=1167
FILE ID=node005/2663962-1276640931
PBS_JOBID= 11172399
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663962-1276640931/watcher-2663962-1276640931 -o /tmp/evaluation-result-2663962-1276640931/solver-2663962-1276640931 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663962-1276640931.opb -t 1800 -m 1800

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=1679313

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.246
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1823280 kB
Buffers:         58440 kB
Cached:          96360 kB
SwapCached:       6288 kB
Active:          82672 kB
Inactive:        85756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1823280 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            3636 kB
Writeback:           0 kB
AnonPages:       11596 kB
Mapped:          13096 kB
Slab:            45560 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181436 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node005 at 2010-06-16 00:58:54