Trace number 2703747

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT-16384 1792.69 1793.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM0d06ca66c5954e6533e2fcc6f3f13fb8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16384
Best CPU time to get the best result obtained on this benchmark1792.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16384
Optimality of the best value was proved NO
Number of variables787
Total number of constraints65
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint16
Maximum length of a constraint67
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703747-1278551778.opb>
0.00/0.01	c original problem has 787 variables (787 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 2 del vars, 0 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.02	c (round 2) 2 del vars, 1 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.03	c (round 3) 2 del vars, 1 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.03/0.05	c    (0.0s) probing: 101/785 (12.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.05	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.05	c presolving (4 rounds):
0.03/0.05	c  2 deleted vars, 1 deleted constraints, 2 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.03/0.05	c  0 implications, 48 cliques
0.03/0.05	c presolved problem has 785 variables (785 bin, 0 int, 0 impl, 0 cont) and 64 constraints
0.03/0.05	c      16 constraints of type <knapsack>
0.03/0.05	c      48 constraints of type <setppc>
0.03/0.05	c transformed objective value is always integral (scale: 1)
0.03/0.05	c Presolving Time: 0.03
0.03/0.05	c - non default parameters ----------------------------------------------------------------------
0.03/0.05	c # SCIP version 1.2.1.3
0.03/0.05	c 
0.03/0.05	c # frequency for displaying node information lines
0.03/0.05	c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.05	c display/freq = 10000
0.03/0.05	c 
0.03/0.05	c # maximal time in seconds to run
0.03/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05	c limits/time = 1789.99
0.03/0.05	c 
0.03/0.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05	c limits/memory = 1620
0.03/0.05	c 
0.03/0.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.05	c # [type: int, range: [1,2], default: 1]
0.03/0.05	c timing/clocktype = 2
0.03/0.05	c 
0.03/0.05	c # should presolving try to simplify inequalities
0.03/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05	c constraints/linear/simplifyinequalities = TRUE
0.03/0.05	c 
0.03/0.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05	c constraints/indicator/addCouplingCons = TRUE
0.03/0.05	c 
0.03/0.05	c # should presolving try to simplify knapsacks
0.03/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05	c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.05	c 
0.03/0.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.05	c separating/rapidlearning/freq = 0
0.03/0.05	c 
0.03/0.05	c -----------------------------------------------------------------------------------------------
0.03/0.05	c start solving
0.03/0.05	c 
0.03/0.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.03/0.08	c   0.1s|     1 |     0 |  1113 |     - |2740k|   0 |  29 | 785 |  64 | 785 |  64 |   0 |   0 |   0 |-2.050190e+04 |      --      |    Inf 
0.09/0.11	o -8191
0.09/0.11	c F 0.1s|     1 |     0 |  1529 |     - |2797k|   0 |   1 | 785 |  64 | 785 |  64 |   0 |   0 |   0 |-2.050190e+04 |-8.191000e+03 |  60.05%
0.09/0.11	o -14335
0.09/0.11	c F 0.1s|     1 |     0 |  1553 |     - |2806k|   0 |   1 | 785 |  64 | 785 |  64 |   0 |   0 |   0 |-2.050190e+04 |-1.433500e+04 |  30.08%
0.09/0.12	c   0.1s|     1 |     0 |  1629 |     - |2786k|   0 |  29 | 785 |  64 | 785 |  64 |   0 |   0 |   0 |-2.050190e+04 |-1.433500e+04 |  30.08%
0.09/0.12	o -16383
0.09/0.12	c s 0.1s|     1 |     0 |  1629 |     - |2796k|   0 |  29 | 785 |  64 | 785 |  64 |   0 |   0 |   0 |-2.050190e+04 |-1.638300e+04 |  20.09%
0.69/0.74	c   0.7s|     1 |     0 |  1631 |     - |2917k|   0 |  29 | 785 |  68 | 785 |  64 |  17 |   0 |   0 |-2.050190e+04 |-1.638300e+04 |  20.09%
0.69/0.78	c   0.8s|     1 |     0 |  1648 |     - |2978k|   0 |  40 | 785 |  68 | 785 |  76 |  29 |   0 |   0 |-2.050190e+04 |-1.638300e+04 |  20.09%
0.79/0.84	c   0.8s|     1 |     0 |  1651 |     - |3074k|   0 |  44 | 785 |  68 | 785 |  85 |  38 |   0 |   0 |-2.050190e+04 |-1.638300e+04 |  20.09%
0.89/0.91	c   0.9s|     1 |     0 |  1658 |     - |3242k|   0 |  48 | 785 |  68 | 785 |  97 |  50 |   0 |   0 |-2.050190e+04 |-1.638300e+04 |  20.09%
0.89/1.00	c   1.0s|     1 |     0 |  1661 |     - |3399k|   0 |  50 | 785 |  68 | 785 | 109 |  62 |   0 |   0 |-2.050190e+04 |-1.638300e+04 |  20.09%
1.00/1.10	c   1.1s|     1 |     0 |  1663 |     - |3559k|   0 |  52 | 785 |  68 | 785 | 120 |  73 |   0 |   0 |-2.050190e+04 |-1.638300e+04 |  20.09%
1.10/1.17	c   1.2s|     1 |     2 |  1663 |     - |3560k|   0 |  52 | 785 |  68 | 785 | 120 |  73 |   0 |  14 |-2.050190e+04 |-1.638300e+04 |  20.09%
1.49/1.58	o -16384
1.49/1.58	c p 1.6s|    13 |    14 |  2192 |  44.1 |3698k|   7 |   - | 785 | 107 | 785 |  83 |  73 |  39 | 176 |-2.050190e+04 |-1.638400e+04 |  20.09%
30.79/30.86	c  30.8s| 10000 |  9989 | 91293 |   9.0 |  16M|  54 |  27 | 785 |1170 | 785 |  83 |  73 |2561 |2821 |-2.050190e+04 |-1.638400e+04 |  20.09%
51.17/51.27	c  51.3s| 20000 | 19989 |162328 |   8.0 |  27M|  57 |  31 | 785 |1021 | 785 |  83 |  73 |4252 |3188 |-2.048000e+04 |-1.638400e+04 |  20.00%
71.07/71.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
71.07/71.14	c  71.1s| 30000 | 29989 |231213 |   7.7 |  38M|  73 |  27 | 785 |1016 | 785 |  83 |  73 |6031 |3406 |-2.048000e+04 |-1.638400e+04 |  20.00%
90.47/90.50	c  90.5s| 40000 | 39989 |300149 |   7.5 |  49M|  73 |  42 | 785 | 743 | 785 |  83 |  73 |7403 |3756 |-2.048000e+04 |-1.638400e+04 |  20.00%
109.35/109.41	c   109s| 50000 | 49987 |367536 |   7.3 |  59M|  73 |  33 | 785 | 799 | 785 |  83 |  73 |8811 |4172 |-2.048000e+04 |-1.638400e+04 |  20.00%
128.75/128.83	c   129s| 60000 | 59987 |435760 |   7.2 |  70M|  73 |  31 | 785 | 673 | 785 |  83 |  73 |  10k|4584 |-2.048000e+04 |-1.638400e+04 |  20.00%
147.75/147.86	c   148s| 70000 | 69987 |503206 |   7.2 |  81M|  73 |  30 | 785 | 706 | 785 |  83 |  73 |  11k|4922 |-2.048000e+04 |-1.638400e+04 |  20.00%
166.64/166.78	c   167s| 80000 | 79987 |571290 |   7.1 |  92M|  73 |  33 | 785 | 473 | 785 |  83 |  73 |  13k|5319 |-2.048000e+04 |-1.638400e+04 |  20.00%
185.84/185.95	c   186s| 90000 | 89987 |641931 |   7.1 | 103M|  73 |  32 | 785 | 529 | 785 |  83 |  73 |  14k|5649 |-2.048000e+04 |-1.638400e+04 |  20.00%
205.23/205.37	c   205s|100000 | 99987 |713578 |   7.1 | 114M|  73 |  27 | 785 | 527 | 785 |  83 |  73 |  16k|5964 |-2.048000e+04 |-1.638400e+04 |  20.00%
224.92/225.05	c   225s|110000 |109987 |785655 |   7.1 | 125M|  73 |  35 | 785 | 465 | 785 |  83 |  73 |  17k|6291 |-2.048000e+04 |-1.638400e+04 |  20.00%
244.52/244.64	c   245s|120000 |119987 |858736 |   7.1 | 136M|  73 |  33 | 785 | 391 | 785 |  83 |  73 |  19k|6597 |-2.048000e+04 |-1.638400e+04 |  20.00%
263.70/263.81	c   264s|130000 |129987 |928887 |   7.1 | 147M|  73 |  38 | 785 | 458 | 785 |  83 |  73 |  20k|6919 |-2.048000e+04 |-1.638400e+04 |  20.00%
282.80/282.92	c   283s|140000 |139987 |999627 |   7.1 | 158M|  73 |  34 | 785 | 327 | 785 |  83 |  73 |  22k|7174 |-2.048000e+04 |-1.638400e+04 |  20.00%
302.30/302.49	c   302s|150000 |149987 |  1073k|   7.1 | 170M|  74 |  27 | 785 | 458 | 785 |  83 |  73 |  23k|7463 |-2.048000e+04 |-1.638400e+04 |  20.00%
321.78/321.99	c   322s|160000 |159987 |  1147k|   7.2 | 181M|  74 |  34 | 785 | 356 | 785 |  83 |  73 |  24k|7723 |-2.048000e+04 |-1.638400e+04 |  20.00%
341.38/341.54	c   342s|170000 |169987 |  1219k|   7.2 | 192M|  74 |  28 | 785 | 435 | 785 |  83 |  73 |  26k|7964 |-2.048000e+04 |-1.638400e+04 |  20.00%
360.78/360.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
360.78/360.96	c   361s|180000 |179987 |  1292k|   7.2 | 203M|  74 |  29 | 785 | 370 | 785 |  83 |  73 |  27k|8194 |-2.048000e+04 |-1.638400e+04 |  20.00%
379.97/380.11	c   380s|190000 |189987 |  1363k|   7.2 | 214M|  74 |  32 | 785 | 389 | 785 |  83 |  73 |  29k|8384 |-2.048000e+04 |-1.638400e+04 |  20.00%
399.26/399.49	c   399s|200000 |199987 |  1436k|   7.2 | 225M|  74 |  30 | 785 | 352 | 785 |  83 |  73 |  30k|8583 |-2.048000e+04 |-1.638400e+04 |  20.00%
418.45/418.66	c   419s|210000 |209987 |  1507k|   7.2 | 237M|  74 |  29 | 785 | 271 | 785 |  83 |  73 |  32k|8809 |-2.048000e+04 |-1.638400e+04 |  20.00%
437.56/437.74	c   438s|220000 |219987 |  1578k|   7.2 | 248M|  74 |  38 | 785 | 393 | 785 |  83 |  73 |  33k|8997 |-2.048000e+04 |-1.638400e+04 |  20.00%
456.44/456.66	c   457s|230000 |229987 |  1648k|   7.2 | 259M|  74 |  30 | 785 | 346 | 785 |  83 |  73 |  34k|9184 |-2.048000e+04 |-1.638400e+04 |  20.00%
475.55/475.76	c   476s|240000 |239987 |  1719k|   7.2 | 270M|  74 |  34 | 785 | 384 | 785 |  83 |  73 |  36k|9388 |-2.048000e+04 |-1.638400e+04 |  20.00%
494.44/494.61	c   495s|250000 |249987 |  1788k|   7.1 | 281M|  74 |  32 | 785 | 280 | 785 |  83 |  73 |  37k|9609 |-2.048000e+04 |-1.638400e+04 |  20.00%
513.33/513.55	c   514s|260000 |259987 |  1858k|   7.1 | 292M|  74 |  30 | 785 | 271 | 785 |  83 |  73 |  39k|9784 |-2.048000e+04 |-1.638400e+04 |  20.00%
532.23/532.42	c   532s|270000 |269987 |  1928k|   7.1 | 303M|  74 |  31 | 785 | 322 | 785 |  83 |  73 |  40k|9946 |-2.048000e+04 |-1.638400e+04 |  20.00%
551.52/551.79	c   552s|280000 |279987 |  2003k|   7.1 | 315M|  74 |  33 | 785 | 425 | 785 |  83 |  73 |  42k|  10k|-2.048000e+04 |-1.638400e+04 |  20.00%
570.31/570.59	c   571s|290000 |289987 |  2073k|   7.1 | 326M|  74 |  27 | 785 | 276 | 785 |  83 |  73 |  44k|  10k|-2.048000e+04 |-1.638400e+04 |  20.00%
589.01/589.28	c   589s|300000 |299987 |  2144k|   7.1 | 337M|  74 |  34 | 785 | 229 | 785 |  83 |  73 |  45k|  10k|-2.048000e+04 |-1.638400e+04 |  20.00%
607.80/608.03	c   608s|310000 |309987 |  2214k|   7.1 | 348M|  74 |  34 | 785 | 363 | 785 |  83 |  73 |  46k|  10k|-2.048000e+04 |-1.638400e+04 |  20.00%
626.70/626.97	c   627s|320000 |319987 |  2285k|   7.1 | 359M|  74 |  30 | 785 | 242 | 785 |  83 |  73 |  48k|  10k|-2.048000e+04 |-1.638400e+04 |  20.00%
645.19/645.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
645.19/645.47	c   645s|330000 |329987 |  2354k|   7.1 | 371M|  74 |  32 | 785 | 220 | 785 |  83 |  73 |  49k|  10k|-2.048000e+04 |-1.638400e+04 |  20.00%
664.29/664.59	c   665s|340000 |339987 |  2426k|   7.1 | 382M|  74 |  31 | 785 | 243 | 785 |  83 |  73 |  50k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
683.08/683.36	c   683s|350000 |349987 |  2496k|   7.1 | 393M|  74 |  34 | 785 | 382 | 785 |  83 |  73 |  52k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
702.17/702.48	c   702s|360000 |359987 |  2569k|   7.1 | 404M|  74 |  25 | 785 | 287 | 785 |  83 |  73 |  53k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
721.17/721.45	c   721s|370000 |369987 |  2641k|   7.1 | 416M|  74 |  29 | 785 | 217 | 785 |  83 |  73 |  55k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
739.86/740.15	c   740s|380000 |379987 |  2710k|   7.1 | 427M|  74 |  33 | 785 | 353 | 785 |  83 |  73 |  56k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
758.55/758.80	c   759s|390000 |389987 |  2780k|   7.1 | 438M|  74 |  29 | 785 | 160 | 785 |  83 |  73 |  58k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
777.15/777.44	c   777s|400000 |399987 |  2849k|   7.1 | 449M|  74 |  36 | 785 | 232 | 785 |  83 |  73 |  59k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
796.05/796.35	c   796s|410000 |409987 |  2919k|   7.1 | 461M|  75 |  31 | 785 | 200 | 785 |  83 |  73 |  61k|  11k|-2.048000e+04 |-1.638400e+04 |  20.00%
814.74/815.04	c   815s|420000 |419987 |  2988k|   7.1 | 472M|  75 |  23 | 785 | 179 | 785 |  83 |  73 |  62k|  12k|-2.048000e+04 |-1.638400e+04 |  20.00%
833.24/833.53	c   834s|430000 |429987 |  3057k|   7.1 | 483M|  75 |  30 | 785 | 235 | 785 |  83 |  73 |  63k|  12k|-2.048000e+04 |-1.638400e+04 |  20.00%
851.73/852.06	c   852s|440000 |439987 |  3125k|   7.1 | 494M|  75 |  28 | 785 | 167 | 785 |  83 |  73 |  65k|  12k|-2.048000e+04 |-1.638400e+04 |  20.00%
870.03/870.34	c   870s|450000 |449987 |  3194k|   7.1 | 506M|  75 |  35 | 785 | 330 | 785 |  83 |  73 |  66k|  12k|-2.048000e+04 |-1.638400e+04 |  20.00%
888.92/889.26	c   889s|460000 |459987 |  3265k|   7.1 | 517M|  75 |  25 | 785 | 209 | 785 |  83 |  73 |  67k|  12k|-2.048000e+04 |-1.638400e+04 |  20.00%
907.41/907.76	c   908s|470000 |469987 |  3334k|   7.1 | 528M|  75 |  28 | 785 | 179 | 785 |  83 |  73 |  69k|  12k|-2.048000e+04 |-1.638400e+04 |  20.00%
926.01/926.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
926.01/926.32	c   926s|480000 |479987 |  3405k|   7.1 | 540M|  75 |  31 | 785 | 281 | 785 |  83 |  73 |  71k|  12k|-2.048000e+04 |-1.638400e+04 |  20.00%
944.61/944.95	c   945s|490000 |489987 |  3474k|   7.1 | 551M|  75 |  33 | 785 | 174 | 785 |  83 |  73 |  72k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
963.00/963.39	c   963s|500000 |499987 |  3543k|   7.1 | 562M|  77 |  28 | 785 | 173 | 785 |  83 |  73 |  74k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
981.30/981.69	c   982s|510000 |509987 |  3610k|   7.1 | 574M|  77 |  31 | 785 | 273 | 785 |  83 |  73 |  75k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
999.99/1000.33	c  1000s|520000 |519987 |  3679k|   7.1 | 585M|  77 |  34 | 785 | 153 | 785 |  83 |  73 |  76k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
1019.18/1019.60	c  1020s|530000 |529987 |  3753k|   7.1 | 596M|  77 |  33 | 785 | 155 | 785 |  83 |  73 |  78k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
1038.09/1038.42	c  1038s|540000 |539987 |  3822k|   7.1 | 608M|  82 |  20 | 785 | 209 | 785 |  83 |  73 |  80k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
1056.57/1056.95	c  1057s|550000 |549987 |  3890k|   7.1 | 620M|  82 |  27 | 785 | 154 | 785 |  83 |  73 |  81k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
1075.67/1076.00	c  1076s|560000 |559987 |  3963k|   7.1 | 631M|  82 |  28 | 785 | 167 | 785 |  83 |  73 |  83k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
1094.06/1094.46	c  1094s|570000 |569987 |  4030k|   7.1 | 643M|  82 |  30 | 785 | 137 | 785 |  83 |  73 |  85k|  13k|-2.048000e+04 |-1.638400e+04 |  20.00%
1113.05/1113.44	c  1113s|580000 |579987 |  4100k|   7.1 | 655M|  82 |  23 | 785 | 211 | 785 |  83 |  73 |  86k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1131.85/1132.25	c  1132s|590000 |589987 |  4171k|   7.1 | 666M|  82 |  35 | 785 | 215 | 785 |  83 |  73 |  88k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1150.84/1151.27	c  1151s|600000 |599987 |  4243k|   7.1 | 678M|  82 |  25 | 785 | 251 | 785 |  83 |  73 |  89k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1169.73/1170.16	c  1170s|610000 |609987 |  4314k|   7.1 | 689M|  82 |  37 | 785 | 187 | 785 |  83 |  73 |  91k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1188.24/1188.60	c  1189s|620000 |619987 |  4381k|   7.1 | 701M|  82 |  28 | 785 | 201 | 785 |  83 |  73 |  92k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1206.62/1207.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1206.62/1207.01	c  1207s|630000 |629987 |  4449k|   7.1 | 713M|  82 |  33 | 785 | 168 | 785 |  83 |  73 |  94k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1225.32/1225.75	c  1226s|640000 |639987 |  4518k|   7.1 | 725M|  82 |  26 | 785 | 176 | 785 |  83 |  73 |  95k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1243.81/1244.27	c  1244s|650000 |649987 |  4587k|   7.1 | 736M|  82 |  29 | 785 | 216 | 785 |  83 |  73 |  96k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1262.71/1263.11	c  1263s|660000 |659987 |  4657k|   7.1 | 748M|  82 |  31 | 785 | 203 | 785 |  83 |  73 |  98k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1281.30/1281.70	c  1282s|670000 |669987 |  4725k|   7.1 | 760M|  82 |  25 | 785 | 216 | 785 |  83 |  73 |  99k|  14k|-2.048000e+04 |-1.638400e+04 |  20.00%
1299.60/1300.05	c  1300s|680000 |679987 |  4794k|   7.0 | 771M|  82 |  34 | 785 | 168 | 785 |  83 |  73 | 101k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1318.29/1318.71	c  1319s|690000 |689987 |  4864k|   7.0 | 783M|  82 |  29 | 785 | 190 | 785 |  83 |  73 | 102k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1336.78/1337.30	c  1337s|700000 |699987 |  4933k|   7.0 | 794M|  82 |  25 | 785 | 122 | 785 |  83 |  73 | 104k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1355.68/1356.17	c  1356s|710000 |709987 |  5004k|   7.0 | 806M|  82 |  28 | 785 | 248 | 785 |  83 |  73 | 106k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1374.48/1374.99	c  1375s|720000 |719987 |  5073k|   7.0 | 818M|  82 |  30 | 785 | 213 | 785 |  83 |  73 | 107k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1392.97/1393.47	c  1393s|730000 |729987 |  5142k|   7.0 | 829M|  82 |  35 | 785 | 227 | 785 |  83 |  73 | 109k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1411.45/1411.91	c  1412s|740000 |739987 |  5210k|   7.0 | 841M|  82 |  39 | 785 | 233 | 785 |  83 |  73 | 110k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1430.25/1430.77	c  1431s|750000 |749987 |  5280k|   7.0 | 853M|  82 |  30 | 785 | 185 | 785 |  83 |  73 | 112k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1449.14/1449.68	c  1450s|760000 |759987 |  5349k|   7.0 | 864M|  82 |  35 | 785 | 150 | 785 |  83 |  73 | 114k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1467.64/1468.18	c  1468s|770000 |769987 |  5416k|   7.0 | 876M|  82 |  31 | 785 | 279 | 785 |  83 |  73 | 115k|  15k|-2.048000e+04 |-1.638400e+04 |  20.00%
1485.93/1486.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1485.93/1486.48	c  1486s|780000 |779987 |  5482k|   7.0 | 888M|  82 |  31 | 785 | 197 | 785 |  83 |  73 | 117k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1504.43/1504.94	c  1505s|790000 |789987 |  5550k|   7.0 | 900M|  82 |  34 | 785 | 194 | 785 |  83 |  73 | 118k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1522.73/1523.30	c  1523s|800000 |799987 |  5617k|   7.0 | 911M|  82 |  33 | 785 | 244 | 785 |  83 |  73 | 119k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1541.52/1542.00	c  1542s|810000 |809987 |  5687k|   7.0 | 923M|  82 |  29 | 785 | 194 | 785 |  83 |  73 | 121k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1559.61/1560.13	c  1560s|820000 |819987 |  5754k|   7.0 | 935M|  82 |  33 | 785 | 361 | 785 |  83 |  73 | 123k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1581.51/1582.04	c  1582s|830000 |829977 |  5824k|   7.0 | 946M|  82 |  31 | 785 | 154 | 785 |  83 |  73 | 125k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1599.91/1600.43	c  1600s|840000 |839977 |  5892k|   7.0 | 958M|  82 |  27 | 785 | 262 | 785 |  83 |  73 | 127k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1618.20/1618.77	c  1619s|850000 |849977 |  5960k|   7.0 | 970M|  82 |  28 | 785 | 260 | 785 |  83 |  73 | 128k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1636.99/1637.52	c  1638s|860000 |859977 |  6031k|   7.0 | 981M|  82 |  33 | 785 | 321 | 785 |  83 |  73 | 130k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1655.68/1656.23	c  1656s|870000 |869977 |  6101k|   7.0 | 993M|  82 |  26 | 785 | 249 | 785 |  83 |  73 | 131k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1674.28/1674.80	c  1675s|880000 |879977 |  6170k|   7.0 |1005M|  82 |  23 | 785 | 271 | 785 |  83 |  73 | 133k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1693.18/1693.77	c  1694s|890000 |889977 |  6240k|   7.0 |1017M|  82 |  30 | 785 | 147 | 785 |  83 |  73 | 135k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1711.66/1712.29	c  1712s|900000 |899977 |  6311k|   7.0 |1028M|  82 |  28 | 785 | 165 | 785 |  83 |  73 | 136k|  16k|-2.048000e+04 |-1.638400e+04 |  20.00%
1730.66/1731.22	c  1731s|910000 |909977 |  6382k|   7.0 |1040M|  82 |  28 | 785 | 178 | 785 |  83 |  73 | 138k|  17k|-2.048000e+04 |-1.638400e+04 |  20.00%
1749.06/1749.67	c  1750s|920000 |919977 |  6450k|   7.0 |1052M|  82 |  35 | 785 | 245 | 785 |  83 |  73 | 139k|  17k|-2.048000e+04 |-1.638400e+04 |  20.00%
1768.26/1768.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1768.26/1768.86	c  1769s|930000 |929977 |  6524k|   7.0 |1064M|  82 |  26 | 785 | 362 | 785 |  83 |  73 | 141k|  17k|-2.048000e+04 |-1.638400e+04 |  20.00%
1787.04/1787.64	c  1788s|940000 |939977 |  6593k|   7.0 |1075M|  82 |  31 | 785 | 195 | 785 |  83 |  73 | 143k|  17k|-2.048000e+04 |-1.638400e+04 |  20.00%
1789.45/1790.00	c 
1789.45/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.45/1790.00	c Solving Time (sec) : 1789.99
1789.45/1790.00	c Solving Nodes      : 941211
1789.45/1790.00	c Primal Bound       : -1.63840000000000e+04 (40 solutions)
1789.45/1790.00	c Dual Bound         : -2.04800000000000e+04
1789.45/1790.00	c Gap                : 20.00 %
1789.45/1790.00	s SATISFIABLE
1789.45/1790.00	v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 x379 -x325 -x272 x223 x222 -x221 x220 -x218 -x378 -x324 
1789.45/1790.00	v -x271 -x217 -x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372 -x318 
1789.45/1790.00	v -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 -x210 -x369 -x315 -x262 -x209 -x368 -x314 -x261 -x207 -x174 -x173 -x172 
1789.45/1790.00	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 x260 -x206 -x158 -x366 -x312 -x259 -x205 
1789.45/1790.00	v -x157 -x365 -x311 -x258 -x204 -x156 -x363 -x310 -x257 -x203 -x155 -x362 -x309 -x256 -x202 -x154 -x761 -x361 -x307 -x255 -x201 
1789.45/1790.00	v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 x358 -x304 -x251 -x198 -x149 -x357 -x303 -x250 -x196 -x148 
1789.45/1790.00	v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 
1789.45/1790.00	v -x98 -x96 -x95 -x94 -x760 -x759 -x356 -x302 -x249 -x195 -x147 -x93 -x355 -x301 -x248 -x194 -x146 x92 -x354 -x300 x247 -x193 
1789.45/1790.00	v -x145 -x91 -x351 -x299 x246 -x192 -x144 -x90 -x350 -x298 -x245 -x191 -x143 -x89 -x349 -x296 -x244 -x190 -x141 -x88 -x758 -x348 
1789.45/1790.00	v -x295 -x243 -x189 -x140 x87 -x347 -x294 -x240 -x188 -x139 -x85 -x346 -x293 -x239 -x187 -x138 -x84 -x345 x292 -x238 -x185 
1789.45/1790.00	v -x137 -x83 -x68 -x67 -x66 -x65 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x52 -x51 -x50 -x49 x48 -x47 x46 -x45 -x44 -x43 
1789.45/1790.00	v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x757 -x344 -x291 -x237 -x136 -x82 -x30 -x756 -x343 x290 -x236 -x135 -x81 
1789.45/1790.00	v -x29 -x755 -x342 -x289 -x235 x134 -x80 -x28 -x754 -x340 -x288 -x234 -x133 -x79 -x27 -x339 -x287 -x233 -x184 -x132 -x78 -x26 
1789.45/1790.00	v -x338 -x285 -x232 -x183 -x129 -x77 x25 -x337 -x284 -x231 -x182 -x128 -x76 -x24 -x336 -x283 -x229 -x181 -x127 -x74 -x23 x335 
1789.45/1790.00	v -x282 -x228 -x180 -x126 -x73 -x22 -x334 -x281 -x227 -x179 x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x776 -x775 
1789.45/1790.00	v -x774 -x773 -x772 x771 -x770 -x769 -x768 -x767 -x765 -x764 x763 -x752 -x741 -x730 -x719 -x708 -x697 -x686 -x674 -x663 -x652 
1789.45/1790.00	v -x641 -x630 x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 x519 -x508 -x497 -x486 -x333 -x280 -x226 -x178 -x124 -x71 
1789.45/1790.00	v -x787 -x475 -x332 -x279 -x225 -x177 x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 -x122 -x69 -x785 -x452 -x751 -x750 -x749 
1789.45/1790.00	v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 -x732 -x731 -x729 -x728 -x727 -x726 
1789.45/1790.00	v -x725 -x724 -x723 -x722 -x721 x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x707 -x706 -x705 -x704 -x703 
1789.45/1790.00	v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679 
1789.45/1790.00	v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x662 -x661 -x660 -x659 -x658 -x657 x656 
1789.45/1790.00	v -x655 -x654 x653 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 
1789.45/1790.00	v -x632 -x631 -x629 -x628 -x627 -x626 -x625 -x624 x623 x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 
1789.45/1790.00	v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 
1789.45/1790.00	v -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562 
1789.45/1790.00	v -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x540 -x539 
1789.45/1790.00	v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x518 -x517 -x516 
1789.45/1790.00	v -x515 x514 -x513 -x512 -x511 -x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 -x495 -x494 -x493 
1789.45/1790.00	v -x492 x491 -x490 -x489 -x488 -x487 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x474 -x473 -x472 -x471 -x470 
1789.45/1790.00	v -x469 -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x451 x450 -x449 -x448 -x447 -x446 
1789.45/1790.00	v -x445 -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x429 x428 -x427 -x426 -x425 -x424 x423 -x422 
1789.45/1790.00	v -x421 -x420 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
1789.45/1790.00	v -x399 -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 x386 -x375 
1789.45/1790.00	v x364 x353 x341 -x330 -x319 -x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 -x208 -x197 -x186 -x175 x164 -x153 -x142 -x131 
1789.45/1790.00	v -x119 -x108 -x97 -x86 -x75 -x64 -x53 -x42 -x31 -x20 -x777 -x766 -x685 -x574 -x463 -x352 -x241 -x130 -x19 -x18 -x17 -x16 x15 
1789.45/1790.00	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1789.45/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.45/1790.00	c Solving Time       :    1789.99
1789.45/1790.00	c Original Problem   :
1789.45/1790.00	c   Problem name     : HOME/instance-2703747-1278551778.opb
1789.45/1790.00	c   Variables        : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.00	c   Constraints      : 65 initial, 65 maximal
1789.45/1790.00	c Presolved Problem  :
1789.45/1790.00	c   Problem name     : t_HOME/instance-2703747-1278551778.opb
1789.45/1790.00	c   Variables        : 785 (785 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.00	c   Constraints      : 64 initial, 1592 maximal
1789.45/1790.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.45/1790.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   probing          :       0.01          0          0          0          0          0          0          0          0
1789.45/1790.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   linear           :       0.01          2          0          0          2          0          1          2          2
1789.45/1790.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.00	c   root node        :          -          4          -          -          4          -          -          -          -
1789.45/1790.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.45/1790.00	c   integral         :          0          0          0     941237          0          0         44          0          0    1882398
1789.45/1790.00	c   knapsack         :         16          7    2764806          0          0       1672          2        202          0          0
1789.45/1790.00	c   setppc           :         48          7    2758973          0          0       1866   11257309          0          0          0
1789.45/1790.00	c   linear           :          0+         6      10124          0          0          0          0          0          0          0
1789.45/1790.00	c   logicor          :          0+         0     437164          0          0        857         13          0          0          0
1789.45/1790.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.45/1790.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.45/1790.00	c   integral         :      47.85       0.00       0.00      47.85       0.00
1789.45/1790.00	c   knapsack         :     109.54       0.07     109.47       0.00       0.00
1789.45/1790.00	c   setppc           :      44.74       0.00      44.74       0.00       0.00
1789.45/1790.00	c   linear           :       0.11       0.00       0.11       0.00       0.00
1789.45/1790.00	c   logicor          :       9.41       0.00       9.41       0.00       0.00
1789.45/1790.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.45/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.45/1790.01	c   vbounds          :       1.19          2          0          0
1789.45/1790.01	c   rootredcost      :       1.41          1          0          0
1789.45/1790.01	c   pseudoobj        :      14.32    2781517      16910          3
1789.45/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.45/1790.01	c   propagation      :      11.80      21305      21305     534718       83.1        163       88.8          -
1789.45/1790.01	c   infeasible LP    :       2.68       5806       2175      37163       91.1          1       46.0          0
1789.45/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.45/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.45/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.45/1790.01	c   applied globally :          -          -          -     143190       57.2          -          -          -
1789.45/1790.01	c   applied locally  :          -          -          -        407       88.3          -          -          -
1789.45/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.45/1790.01	c   cut pool         :       0.00          5          -          -         81          -    (maximal pool size: 362)
1789.45/1790.01	c   redcost          :      52.88     941239          0         61          0          0
1789.45/1790.01	c   impliedbounds    :       0.00          6          0          0          0          0
1789.45/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.45/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.45/1790.01	c   gomory           :       0.05          6          0          0          0          0
1789.45/1790.01	c   strongcg         :       0.05          6          0          0          1          0
1789.45/1790.01	c   cmir             :       0.06          6          0          0        147          0
1789.45/1790.01	c   flowcover        :       0.16          6          0          0        237          0
1789.45/1790.01	c   clique           :       0.00          6          0          0          0          0
1789.45/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.45/1790.01	c   mcf              :       0.00          1          0          0          0          0
1789.45/1790.01	c   rapidlearning    :       0.57          1          0          1          0          4
1789.45/1790.01	c Pricers            :       Time      Calls       Vars
1789.45/1790.01	c   problem variables:       0.00          0          0
1789.45/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.45/1790.01	c   relpscost        :      46.74     941237          0         44          0          0    1882398
1789.45/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   inference        :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.45/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.45/1790.01	c   LP solutions     :       0.00          -          0
1789.45/1790.01	c   pseudo solutions :       0.00          -          0
1789.45/1790.01	c   oneopt           :       0.70          3          0
1789.45/1790.01	c   crossover        :       5.38         12          6
1789.45/1790.01	c   guideddiving     :      99.90       1068          0
1789.45/1790.01	c   trivial          :       0.00          2          0
1789.45/1790.01	c   simplerounding   :       0.91       1114          0
1789.45/1790.01	c   zirounding       :       0.44       1000          0
1789.45/1790.01	c   rounding         :       1.70      13674          0
1789.45/1790.01	c   shifting         :      18.80      14449          1
1789.45/1790.01	c   intshifting      :       0.07          0          0
1789.45/1790.01	c   twoopt           :       0.00          0          0
1789.45/1790.01	c   fixandinfer      :       0.00          0          0
1789.45/1790.01	c   feaspump         :       0.08          1          2
1789.45/1790.01	c   coefdiving       :      81.70       4041          0
1789.45/1790.01	c   pscostdiving     :     104.02       1344          1
1789.45/1790.01	c   fracdiving       :     107.22       1517          0
1789.45/1790.01	c   veclendiving     :      44.14       1798          0
1789.45/1790.01	c   intdiving        :       0.00          0          0
1789.45/1790.01	c   actconsdiving    :       0.00          0          0
1789.45/1790.01	c   objpscostdiving  :       8.92        675          2
1789.45/1790.01	c   rootsoldiving    :       9.95        302         28
1789.45/1790.01	c   linesearchdiving :      55.96       2174          0
1789.45/1790.01	c   octane           :       0.00          0          0
1789.45/1790.01	c   rens             :       0.02          1          0
1789.45/1790.01	c   rins             :       0.00          0          0
1789.45/1790.01	c   localbranching   :       0.00          0          0
1789.45/1790.01	c   mutation         :       0.00          0          0
1789.45/1790.01	c   dins             :       0.00          0          0
1789.45/1790.01	c   undercover       :       0.00          0          0
1789.45/1790.01	c   nlp              :       0.48          0          0
1789.45/1790.01	c   trysol           :       0.56          0          0
1789.45/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.45/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1789.45/1790.01	c   dual LP          :     670.45     941255    4935096       5.24    7360.86
1789.45/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1789.45/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1789.45/1790.01	c   diving/probing LP:     305.17     790656    1666910       2.11    5462.31
1789.45/1790.01	c   strong branching :      24.31      17284     175074      10.13    7201.44
1789.45/1790.01	c     (at root node) :          -         14        347      24.79          -
1789.45/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1789.45/1790.01	c B&B Tree           :
1789.45/1790.01	c   number of runs   :          1
1789.45/1790.01	c   nodes            :     941211
1789.45/1790.01	c   nodes (total)    :     941211
1789.45/1790.01	c   nodes left       :     941188
1789.45/1790.01	c   max depth        :         82
1789.45/1790.01	c   max depth (total):         82
1789.45/1790.01	c   backtracks       :      91024 (9.7%)
1789.45/1790.01	c   delayed cutoffs  :          0
1789.45/1790.01	c   repropagations   :         51 (12 domain reductions, 0 cutoffs)
1789.45/1790.01	c   avg switch length:       5.72
1789.45/1790.01	c   switching time   :     124.17
1789.45/1790.01	c Solution           :
1789.45/1790.01	c   Solutions found  :         40 (4 improvements)
1789.45/1790.01	c   First Solution   : -8.19100000000000e+03   (in run 1, after 1 nodes, 0.10 seconds, depth 0, found by <feaspump>)
1789.45/1790.01	c   Primal Bound     : -1.63840000000000e+04   (in run 1, after 13 nodes, 1.56 seconds, depth 73, found by <pscostdiving>)
1789.45/1790.01	c   Dual Bound       : -2.04800000000000e+04
1789.45/1790.01	c   Gap              :      20.00 %
1789.45/1790.01	c   Root Dual Bound  : -2.05019037433155e+04
1789.45/1790.01	c   Root Iterations  :       1663
1792.65/1793.23	c Time complete: 1792.68.

Verifier Data 

OK	-16384

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.05 1.01 0.91 3/106 28079
/proc/meminfo: memFree=1674212/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=7904 CPUtime=0
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 1050 0 0 0 0 0 0 0 18 0 1 0 23384908 8093696 962 1992294400 4194304 8395647 140734278893040 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28079/statm: 1976 971 365 1026 0 946 0

[startup+0.036762 s]
/proc/loadavg: 1.05 1.01 0.91 3/106 28079
/proc/meminfo: memFree=1674212/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=16456 CPUtime=0.03
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 3508 0 0 0 2 1 0 0 20 0 1 0 23384908 16850944 3066 1992294400 4194304 8395647 140734278893040 18446744073709551615 7382116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 4114 3066 484 1026 0 3084 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16456

[startup+0.100766 s]
/proc/loadavg: 1.05 1.01 0.91 3/106 28079
/proc/meminfo: memFree=1674212/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=17120 CPUtime=0.09
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 3795 0 0 0 8 1 0 0 20 0 1 0 23384908 17530880 3353 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 4280 3353 578 1026 0 3250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17120

[startup+0.300791 s]
/proc/loadavg: 1.05 1.01 0.91 3/106 28079
/proc/meminfo: memFree=1674212/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=31152 CPUtime=0.29
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 6983 0 0 0 25 4 0 0 20 0 1 0 23384908 31899648 6528 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 7788 6528 621 1026 0 6758 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31152

[startup+0.700831 s]
/proc/loadavg: 1.05 1.01 0.91 3/106 28079
/proc/meminfo: memFree=1674212/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=31552 CPUtime=0.69
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 7107 0 0 0 63 6 0 0 20 0 1 0 23384908 32309248 6652 1992294400 4194304 8395647 140734278893040 18446744073709551615 4705209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 7888 6652 621 1026 0 6858 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31552

[startup+1.50092 s]
/proc/loadavg: 1.05 1.01 0.91 2/107 28080
/proc/meminfo: memFree=1648412/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=32728 CPUtime=1.49
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 7807 0 0 0 142 7 0 0 23 0 1 0 23384908 33513472 7352 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 8182 7352 639 1026 0 7152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32728

[startup+3.10109 s]
/proc/loadavg: 1.05 1.01 0.91 2/107 28080
/proc/meminfo: memFree=1646800/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=32728 CPUtime=3.09
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 7810 0 0 0 297 12 0 0 25 0 1 0 23384908 33513472 7355 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 8182 7355 639 1026 0 7152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32728

[startup+6.30043 s]
/proc/loadavg: 1.04 1.01 0.91 2/107 28080
/proc/meminfo: memFree=1646428/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=32996 CPUtime=6.29
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 7896 0 0 0 609 20 0 0 25 0 1 0 23384908 33787904 7441 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 8249 7441 640 1026 0 7219 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32996

[startup+12.7011 s]
/proc/loadavg: 1.04 1.01 0.91 3/107 28081
/proc/meminfo: memFree=1646428/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=32996 CPUtime=12.69
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 7904 0 0 0 1237 32 0 0 25 0 1 0 23384908 33787904 7449 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 8249 7449 640 1026 0 7219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32996

[startup+25.5005 s]
/proc/loadavg: 1.03 1.01 0.91 2/107 28082
/proc/meminfo: memFree=1644320/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=35104 CPUtime=25.48
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 13577 0 0 0 2491 57 0 0 25 0 1 0 23384908 35946496 7979 1992294400 4194304 8395647 140734278893040 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 8776 7979 640 1026 0 7746 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35104

[startup+51.1012 s]
/proc/loadavg: 1.02 1.01 0.91 2/107 28082
/proc/meminfo: memFree=1630432/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=49592 CPUtime=51.07
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 20557 0 0 0 5000 107 0 0 25 0 1 0 23384908 50782208 11648 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 12398 11648 641 1026 0 11368 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49592

[startup+102.308 s]
/proc/loadavg: 1.01 1.00 0.91 2/107 28084
/proc/meminfo: memFree=1602408/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=76252 CPUtime=102.27
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 29415 0 0 0 10023 204 0 0 25 0 1 0 23384908 78082048 18422 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 19063 18422 641 1026 0 18033 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76252

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 28085
/proc/meminfo: memFree=1567688/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=111968 CPUtime=162.24
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 40138 0 0 0 15919 305 0 0 25 0 1 0 23384908 114655232 27072 1992294400 4194304 8395647 140734278893040 18446744073709551615 4705172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 27992 27072 641 1026 0 26962 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 111968

[startup+222.301 s]
/proc/loadavg: 1.07 1.02 0.92 2/107 28089
/proc/meminfo: memFree=1533464/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=145760 CPUtime=222.22
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 50750 0 0 0 21800 422 0 0 25 0 1 0 23384908 149258240 35612 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 36440 35612 642 1026 0 35410 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 145760

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 28091
/proc/meminfo: memFree=1498248/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=180436 CPUtime=282.19
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 59515 0 0 0 27689 530 0 0 25 0 1 0 23384908 184766464 44377 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 45109 44377 642 1026 0 44079 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 180436

[startup+342.301 s]
/proc/loadavg: 1.01 1.00 0.92 2/107 28093
/proc/meminfo: memFree=1464520/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=213700 CPUtime=342.18
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 67906 0 0 0 33579 639 0 0 25 0 1 0 23384908 218828800 52768 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 53425 52768 642 1026 0 52395 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 213700

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28095
/proc/meminfo: memFree=1429056/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=253132 CPUtime=402.16
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 76834 0 0 0 39472 744 0 0 25 0 1 0 23384908 259207168 61696 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 63283 61696 642 1026 0 62253 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 253132

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28096
/proc/meminfo: memFree=1395080/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=286412 CPUtime=462.15
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 87348 0 0 0 45361 854 0 0 25 0 1 0 23384908 293285888 70140 1992294400 4194304 8395647 140734278893040 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 71603 70140 642 1026 0 70573 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 286412

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28097
/proc/meminfo: memFree=1360360/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=320716 CPUtime=522.13
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 96048 0 0 0 51254 959 0 0 25 0 1 0 23384908 328413184 78840 1992294400 4194304 8395647 140734278893040 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 80179 78840 642 1026 0 79149 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 320716

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28099
/proc/meminfo: memFree=1326136/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=353928 CPUtime=582.11
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 104477 0 0 0 57141 1070 0 0 25 0 1 0 23384908 362422272 87269 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 88482 87269 642 1026 0 87452 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 353928

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28101
/proc/meminfo: memFree=1287820/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=391752 CPUtime=642.09
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 114059 0 0 0 63033 1176 0 0 25 0 1 0 23384908 401154048 96851 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 97938 96851 642 1026 0 96908 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 391752

[startup+702.301 s]

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

/proc/meminfo: memFree=999272/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=683428 CPUtime=1121.95
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 188012 0 0 0 110171 2024 0 0 25 0 1 0 23384908 699830272 168732 1992294400 4194304 8395647 140734278893040 18446744073709551615 4736447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 170857 168732 642 1026 0 169827 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 683428

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28115
/proc/meminfo: memFree=963684/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=719460 CPUtime=1181.94
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 197142 0 0 0 116064 2130 0 0 25 0 1 0 23384908 736727040 177862 1992294400 4194304 8395647 140734278893040 18446744073709551615 4326043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 179865 177862 642 1026 0 178835 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 719460

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28117
/proc/meminfo: memFree=924500/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=756876 CPUtime=1241.92
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 206607 0 0 0 121954 2238 0 0 25 0 1 0 23384908 775041024 187327 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 189219 187327 642 1026 0 188189 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 756876

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28119
/proc/meminfo: memFree=888416/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=792284 CPUtime=1301.9
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 215587 0 0 0 127846 2344 0 0 25 0 1 0 23384908 811298816 196307 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 198071 196307 642 1026 0 197041 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 792284

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28120
/proc/meminfo: memFree=850720/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=830364 CPUtime=1361.87
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 225228 0 0 0 133734 2453 0 0 25 0 1 0 23384908 850292736 205948 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 207591 205948 642 1026 0 206561 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 830364

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28121
/proc/meminfo: memFree=812156/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=867300 CPUtime=1421.86
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 234588 0 0 0 139626 2560 0 0 25 0 1 0 23384908 888115200 215308 1992294400 4194304 8395647 140734278893040 18446744073709551615 6017425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 216825 215308 642 1026 0 215795 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 867300

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28123
/proc/meminfo: memFree=773468/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=905376 CPUtime=1481.84
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 244237 0 0 0 145519 2665 0 0 25 0 1 0 23384908 927105024 224957 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 226344 224957 642 1026 0 225314 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 905376

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28125
/proc/meminfo: memFree=736268/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=942048 CPUtime=1541.81
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 253528 0 0 0 151408 2773 0 0 25 0 1 0 23384908 964657152 234248 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 235512 234248 642 1026 0 234482 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 942048

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28127
/proc/meminfo: memFree=702788/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=975968 CPUtime=1601.8
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 265042 0 0 0 157268 2912 0 0 25 0 1 0 23384908 999391232 242859 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 243992 242859 643 1026 0 242962 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 975968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28128
/proc/meminfo: memFree=663232/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1013820 CPUtime=1661.78
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 274623 0 0 0 163162 3016 0 0 25 0 1 0 23384908 1038151680 252440 1992294400 4194304 8395647 140734278893040 18446744073709551615 4911197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 253455 252440 643 1026 0 252425 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1013820

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28129
/proc/meminfo: memFree=627644/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1049148 CPUtime=1721.76
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 283582 0 0 0 169050 3126 0 0 25 0 1 0 23384908 1074327552 261399 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 262287 261399 643 1026 0 261257 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1049148

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=588832/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1086972 CPUtime=1781.74
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 293164 0 0 0 174944 3230 0 0 25 0 1 0 23384908 1113059328 270981 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 271743 270981 643 1026 0 270713 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1086972

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=586972/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1088764 CPUtime=1784.95
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 293617 0 0 0 175257 3238 0 0 25 0 1 0 23384908 1114894336 271434 1992294400 4194304 8395647 140734278893040 18446744073709551615 6622270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 272191 271434 643 1026 0 271161 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 1088764

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=586848/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1088764 CPUtime=1788.15
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 293656 0 0 0 175572 3243 0 0 25 0 1 0 23384908 1114894336 271473 1992294400 4194304 8395647 140734278893040 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28079/statm: 272191 271473 643 1026 0 271161 0
Current children cumulated CPU time (s) 1788.15
Current children cumulated vsize (KiB) 1088764

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=585236/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1090428 CPUtime=1789.75
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 294048 0 0 0 175730 3245 0 0 25 0 1 0 23384908 1116598272 271865 1992294400 4194304 8395647 140734278893040 18446744073709551615 6345211 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28079/statm: 272607 271865 645 1026 0 271577 0
Current children cumulated CPU time (s) 1789.75
Current children cumulated vsize (KiB) 1090428

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=585236/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1090428 CPUtime=1791.35
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 294048 0 0 0 175890 3245 0 0 25 0 1 0 23384908 1116598272 271865 1992294400 4194304 8395647 140734278893040 18446744073709551615 6345376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28079/statm: 272607 271865 645 1026 0 271577 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 1090428

[startup+1792.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=585236/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1090428 CPUtime=1792.15
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 294048 0 0 0 175970 3245 0 0 25 0 1 0 23384908 1116598272 271865 1992294400 4194304 8395647 140734278893040 18446744073709551615 4221203 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28079/statm: 272607 271865 645 1026 0 271577 0
Current children cumulated CPU time (s) 1792.15
Current children cumulated vsize (KiB) 1090428

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=585236/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=1090428 CPUtime=1792.55
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 294048 0 0 0 176010 3245 0 0 25 0 1 0 23384908 1116598272 271865 1992294400 4194304 8395647 140734278893040 18446744073709551615 6345505 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28079/statm: 272607 271865 645 1026 0 271577 0
Current children cumulated CPU time (s) 1792.55
Current children cumulated vsize (KiB) 1090428

[startup+1793.2 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28131
/proc/meminfo: memFree=585236/2059040 swapFree=4165016/4192956
[pid=28079] ppid=28077 vsize=768768 CPUtime=1792.65
/proc/28079/stat : 28079 (pbscip.linux.x8) R 28077 28079 26988 0 -1 4202496 294048 0 0 0 176013 3252 0 0 25 0 1 0 23384908 787218432 90984 1992294400 4194304 8395647 140734278893040 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28079/statm: 192192 90984 645 1026 0 191162 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (KiB) 768768

Child status: 0
Real time (s): 1793.24
CPU time (s): 1792.69
CPU user time (s): 1760.13
CPU system time (s): 32.5571
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1090428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.13
system time used= 32.557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294051
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3298

runsolver used 2.81057 second user time and 8.61969 second system time

The end

Launcher Data 

Begin job on node047 at 2010-07-08 03:16:18
IDJOB=2703747
IDBENCH=1877
IDSOLVER=1213
FILE ID=node047/2703747-1278551778
PBS_JOBID= 11239494
Free space on /tmp= 62476 MiB

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

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

MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8
RANDOM SEED=1375843638

node047.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.248
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.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1674616 kB
Buffers:         64412 kB
Cached:         211040 kB
SwapCached:       1388 kB
Active:         160940 kB
Inactive:       147892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1674616 kB
SwapTotal:     4192956 kB
SwapFree:      4165016 kB
Dirty:           10348 kB
Writeback:           0 kB
AnonPages:       31976 kB
Mapped:          13228 kB
Slab:            53556 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180552 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= 62468 MiB
End job on node047 at 2010-07-08 03:46:11