Trace number 2666864

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.28 1800.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUM47657fb6d35516304c5b4897d4fb805d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2678
Total number of constraints6689
Number of constraints which are clauses6689
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2678
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 2678
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2678
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666864-1276469458.opb>
0.09/0.13	c original problem has 2678 variables (2678 bin, 0 int, 0 impl, 0 cont) and 6689 constraints
0.09/0.13	c problem read
0.09/0.13	c presolving settings loaded
0.09/0.17	c presolving:
0.29/0.32	c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6565 upgd conss, 5654 impls, 0 clqs
0.29/0.35	c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6566 upgd conss, 5654 impls, 0 clqs
0.29/0.36	c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 5654 impls, 0 clqs
0.39/0.43	c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7116 impls, 0 clqs
0.39/0.44	c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.39/0.47	c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 7154 impls, 0 clqs
0.59/0.65	c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 27342 impls, 0 clqs
0.69/0.78	c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 46798 impls, 0 clqs
0.89/0.92	c    (0.7s) probing: 548/2678 (20.5%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.92	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.92	c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 48400 impls, 0 clqs
0.89/0.95	c    (0.7s) probing: 558/2678 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.95	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.95	c presolving (10 rounds):
0.89/0.95	c  188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.95	c  48400 implications, 0 cliques
0.89/0.95	c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 6560 constraints
0.89/0.95	c    6560 constraints of type <logicor>
0.89/0.95	c transformed objective value is always integral (scale: 1)
0.89/0.95	c Presolving Time: 0.70
0.89/0.95	c - non default parameters ----------------------------------------------------------------------
0.89/0.95	c # SCIP version 1.2.1.2
0.89/0.95	c 
0.89/0.95	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.95	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95	c conflict/interconss = 0
0.89/0.95	c 
0.89/0.95	c # should binary conflicts be preferred?
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c conflict/preferbinary = TRUE
0.89/0.95	c 
0.89/0.95	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.95	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95	c constraints/agelimit = 1
0.89/0.95	c 
0.89/0.95	c # should enforcement of pseudo solution be disabled?
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c constraints/disableenfops = TRUE
0.89/0.95	c 
0.89/0.95	c # frequency for displaying node information lines
0.89/0.95	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95	c display/freq = 10000
0.89/0.95	c 
0.89/0.95	c # maximal time in seconds to run
0.89/0.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95	c limits/time = 1799.88
0.89/0.95	c 
0.89/0.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95	c limits/memory = 1620
0.89/0.95	c 
0.89/0.95	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.95	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95	c lp/solvefreq = 0
0.89/0.95	c 
0.89/0.95	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.95	c # [type: char, range: {lafpsqd}, default: l]
0.89/0.95	c lp/pricing = a
0.89/0.95	c 
0.89/0.95	c # should presolving try to simplify inequalities
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c constraints/linear/simplifyinequalities = TRUE
0.89/0.95	c 
0.89/0.95	c # should presolving try to simplify knapsacks
0.89/0.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95	c 
0.89/0.95	c # priority of node selection rule <dfs> in standard mode
0.89/0.95	c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.95	c nodeselection/dfs/stdpriority = 1000000
0.89/0.95	c 
0.89/0.95	c -----------------------------------------------------------------------------------------------
0.89/0.95	c start solving
0.89/0.95	c 
4.49/4.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.49/4.58	c   4.3s|     1 |     0 |  5139 |     - |  15M|   0 |2045 |2490 |6560 |2490 |6373 |   0 |   0 |   0 | 8.022358e+02 |      --      |    Inf 
17.09/17.13	c  16.7s|     1 |     0 | 15966 |     - |  19M|   0 |1600 |2490 |6560 |2490 |7054 | 681 |   0 |   0 | 8.274708e+02 |      --      |    Inf 
19.59/19.67	c  19.2s|     1 |     0 | 17810 |     - |  21M|   0 |1649 |2490 |6560 |2490 |7091 | 718 |   0 |   0 | 8.343987e+02 |      --      |    Inf 
22.68/22.72	c  22.2s|     1 |     0 | 19584 |     - |  26M|   0 |1570 |2490 |6560 |2490 |7124 | 751 |   0 |   0 | 8.425929e+02 |      --      |    Inf 
24.69/24.74	c  24.2s|     1 |     0 | 20691 |     - |  29M|   0 |1564 |2490 |6560 |2490 |7153 | 780 |   0 |   0 | 8.451038e+02 |      --      |    Inf 
27.38/27.48	c  26.9s|     1 |     0 | 22370 |     - |  33M|   0 |1572 |2490 |6560 |2490 |7190 | 817 |   0 |   0 | 8.483582e+02 |      --      |    Inf 
30.79/30.84	c  30.3s|     1 |     0 | 24280 |     - |  36M|   0 |1617 |2490 |6560 |2490 |7235 | 862 |   0 |   0 | 8.506530e+02 |      --      |    Inf 
34.48/34.50	c  33.9s|     1 |     0 | 25996 |     - |  41M|   0 |1648 |2490 |6560 |2490 |7262 | 889 |   0 |   0 | 8.520890e+02 |      --      |    Inf 
41.18/41.25	c  40.6s|     1 |     0 | 29038 |     - |  44M|   0 |1611 |2490 |6560 |2490 |7293 | 920 |   0 |   0 | 8.592533e+02 |      --      |    Inf 
44.07/44.13	c  43.4s|     1 |     0 | 30141 |     - |  48M|   0 |1584 |2490 |6560 |2490 |7326 | 953 |   0 |   0 | 8.611732e+02 |      --      |    Inf 
48.77/48.86	c  48.1s|     1 |     0 | 32031 |     - |  52M|   0 |1615 |2490 |6560 |2490 |7374 |1001 |   0 |   0 | 8.673108e+02 |      --      |    Inf 
53.47/53.51	c  52.7s|     1 |     0 | 34012 |     - |  56M|   0 |1611 |2490 |6560 |2490 |7416 |1043 |   0 |   0 | 8.709197e+02 |      --      |    Inf 
58.57/58.68	c  57.9s|     1 |     0 | 35661 |     - |  61M|   0 |1851 |2490 |6560 |2490 |6823 |1103 |   0 |   0 | 8.848098e+02 |      --      |    Inf 
64.17/64.25	c  63.4s|     1 |     0 | 38207 |     - |  65M|   0 |1653 |2490 |6560 |2490 |6875 |1155 |   0 |   0 | 8.899093e+02 |      --      |    Inf 
67.87/67.99	c  67.1s|     1 |     0 | 40169 |     - |  68M|   0 |1644 |2490 |6560 |2490 |6915 |1195 |   0 |   0 | 8.935988e+02 |      --      |    Inf 
71.47/71.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
71.47/71.57	c  70.6s|     1 |     0 | 41899 |     - |  72M|   0 |1660 |2490 |6560 |2490 |6964 |1244 |   0 |   0 | 9.003116e+02 |      --      |    Inf 
77.47/77.52	c  76.5s|     1 |     0 | 44697 |     - |  76M|   0 |1709 |2490 |6560 |2490 |7014 |1294 |   0 |   0 | 9.053098e+02 |      --      |    Inf 
82.16/82.22	c  81.2s|     1 |     0 | 47055 |     - |  79M|   0 |1724 |2490 |6560 |2490 |7055 |1335 |   0 |   0 | 9.076264e+02 |      --      |    Inf 
90.66/90.79	c  89.7s|     1 |     0 | 50830 |     - |  81M|   0 |1963 |2490 |6560 |2490 |6959 |1372 |   0 |   0 | 9.096879e+02 |      --      |    Inf 
99.26/99.31	c  98.1s|     1 |     0 | 54415 |     - |  84M|   0 |1883 |2490 |6560 |2490 |7011 |1424 |   0 |   0 | 9.183216e+02 |      --      |    Inf 
107.15/107.24	c   106s|     1 |     0 | 57758 |     - |  88M|   0 |1701 |2490 |6560 |2490 |7064 |1477 |   0 |   0 | 9.244690e+02 |      --      |    Inf 
112.85/112.97	c   112s|     1 |     0 | 60390 |     - |  90M|   0 |1920 |2490 |6560 |2490 |7116 |1529 |   0 |   0 | 9.276750e+02 |      --      |    Inf 
119.86/119.93	c   119s|     1 |     0 | 63482 |     - |  91M|   0 |1948 |2490 |6560 |2490 |7155 |1568 |   0 |   0 | 9.310473e+02 |      --      |    Inf 
132.96/133.10	c   132s|     1 |     0 | 68610 |     - |  92M|   0 |1947 |2490 |6560 |2490 |7202 |1615 |   0 |   0 | 9.348690e+02 |      --      |    Inf 
145.34/145.45	c   144s|     1 |     0 | 73471 |     - |  93M|   0 |1939 |2490 |6560 |2490 |7059 |1664 |   0 |   0 | 9.398721e+02 |      --      |    Inf 
152.85/152.93	c   151s|     1 |     0 | 76447 |     - |  95M|   0 |2081 |2490 |6560 |2490 |7099 |1704 |   0 |   0 | 9.427788e+02 |      --      |    Inf 
160.13/160.23	c   159s|     1 |     0 | 79713 |     - |  98M|   0 |1993 |2490 |6560 |2490 |7131 |1736 |   0 |   0 | 9.439665e+02 |      --      |    Inf 
174.03/174.17	c   172s|     1 |     0 | 85190 |     - |  99M|   0 |1774 |2490 |6560 |2490 |7215 |1820 |   0 |   0 | 9.650036e+02 |      --      |    Inf 
182.73/182.84	c   181s|     1 |     0 | 89179 |     - | 100M|   0 |1773 |2490 |6560 |2490 |7269 |1874 |   0 |   0 | 9.702389e+02 |      --      |    Inf 
189.04/189.14	c   187s|     1 |     0 | 92210 |     - | 103M|   0 |1961 |2490 |6560 |2490 |7313 |1918 |   0 |   0 | 9.725250e+02 |      --      |    Inf 
196.13/196.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
196.13/196.24	c   194s|     1 |     0 | 95228 |     - | 104M|   0 |1966 |2490 |6560 |2490 |7166 |1962 |   0 |   0 | 9.745457e+02 |      --      |    Inf 
202.52/202.66	c   201s|     1 |     0 | 98060 |     - | 105M|   0 |1806 |2490 |6560 |2490 |7211 |2007 |   0 |   0 | 9.770086e+02 |      --      |    Inf 
209.42/209.58	c   208s|     1 |     0 |101174 |     - | 107M|   0 |1853 |2490 |6560 |2490 |7265 |2061 |   0 |   0 | 9.794907e+02 |      --      |    Inf 
216.72/216.83	c   215s|     1 |     0 |104061 |     - | 108M|   0 |1896 |2490 |6560 |2490 |7319 |2115 |   0 |   0 | 9.820550e+02 |      --      |    Inf 
227.52/227.65	c   226s|     1 |     0 |108244 |     - | 109M|   0 |1868 |2490 |6560 |2490 |7390 |2186 |   0 |   0 | 9.949320e+02 |      --      |    Inf 
233.01/233.16	c   231s|     1 |     0 |110496 |     - | 110M|   0 |1849 |2490 |6560 |2490 |7440 |2236 |   0 |   0 | 9.982483e+02 |      --      |    Inf 
242.21/242.35	c   240s|     1 |     0 |114342 |     - | 111M|   0 |2044 |2490 |6560 |2490 |7338 |2286 |   0 |   0 | 1.001560e+03 |      --      |    Inf 
253.40/253.55	c   251s|     1 |     0 |118477 |     - | 112M|   0 |1875 |2490 |6560 |2490 |7408 |2356 |   0 |   0 | 1.006857e+03 |      --      |    Inf 
262.81/262.91	c   260s|     1 |     0 |121829 |     - | 113M|   0 |1974 |2490 |6560 |2490 |7466 |2414 |   0 |   0 | 1.013974e+03 |      --      |    Inf 
272.80/272.90	c   270s|     1 |     0 |125275 |     - | 114M|   0 |1896 |2490 |6560 |2490 |7527 |2475 |   0 |   0 | 1.024334e+03 |      --      |    Inf 
281.40/281.59	c   279s|     1 |     0 |128591 |     - | 115M|   0 |1802 |2490 |6560 |2490 |7584 |2532 |   0 |   0 | 1.032702e+03 |      --      |    Inf 
287.50/287.70	c   285s|     1 |     0 |131235 |     - | 116M|   0 |1799 |2490 |6560 |2490 |7628 |2576 |   0 |   0 | 1.034627e+03 |      --      |    Inf 
301.49/301.65	c   299s|     1 |     0 |136271 |     - | 118M|   0 |1801 |2490 |6560 |2490 |7397 |2625 |   0 |   0 | 1.041389e+03 |      --      |    Inf 
306.39/306.50	c   304s|     1 |     0 |138409 |     - | 119M|   0 |1870 |2490 |6560 |2490 |7459 |2687 |   0 |   0 | 1.043624e+03 |      --      |    Inf 
312.68/312.85	c   310s|     1 |     0 |140970 |     - | 121M|   0 |1904 |2490 |6560 |2490 |7515 |2743 |   0 |   0 | 1.045628e+03 |      --      |    Inf 
322.38/322.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
322.38/322.50	c   320s|     1 |     0 |144990 |     - | 122M|   0 |1945 |2490 |6560 |2490 |7574 |2802 |   0 |   0 | 1.050791e+03 |      --      |    Inf 
329.48/329.65	c   327s|     1 |     0 |147857 |     - | 124M|   0 |2002 |2490 |6560 |2490 |7619 |2847 |   0 |   0 | 1.052756e+03 |      --      |    Inf 
340.68/340.82	c   338s|     1 |     0 |151934 |     - | 125M|   0 |2043 |2490 |6560 |2490 |7661 |2889 |   0 |   0 | 1.054700e+03 |      --      |    Inf 
348.27/348.49	c   345s|     1 |     0 |154503 |     - | 127M|   0 |1948 |2490 |6560 |2490 |7427 |2932 |   0 |   0 | 1.057771e+03 |      --      |    Inf 
357.67/357.87	c   355s|     1 |     0 |158205 |     - | 127M|   0 |1922 |2490 |6560 |2490 |7503 |3008 |   0 |   0 | 1.069894e+03 |      --      |    Inf 
364.07/364.26	c   361s|     1 |     0 |160874 |     - | 129M|   0 |1884 |2490 |6560 |2490 |7545 |3050 |   0 |   0 | 1.073443e+03 |      --      |    Inf 
372.86/373.03	c   370s|     1 |     0 |164728 |     - | 131M|   0 |1990 |2490 |6560 |2490 |7588 |3093 |   0 |   0 | 1.076378e+03 |      --      |    Inf 
379.86/380.06	c   377s|     1 |     0 |167478 |     - | 133M|   0 |1943 |2490 |6560 |2490 |7637 |3142 |   0 |   0 | 1.081067e+03 |      --      |    Inf 
385.46/385.67	c   382s|     1 |     0 |169695 |     - | 134M|   0 |1970 |2490 |6560 |2490 |7673 |3178 |   0 |   0 | 1.083223e+03 |      --      |    Inf 
391.37/391.57	c   388s|     1 |     0 |172087 |     - | 136M|   0 |2048 |2490 |6560 |2490 |7452 |3221 |   0 |   0 | 1.084180e+03 |      --      |    Inf 
401.76/401.96	c   398s|     1 |     0 |175930 |     - | 136M|   0 |1874 |2490 |6560 |2490 |7537 |3306 |   0 |   0 | 1.097090e+03 |      --      |    Inf 
405.95/406.14	c   403s|     1 |     0 |177611 |     - | 138M|   0 |1994 |2490 |6560 |2490 |7593 |3362 |   0 |   0 | 1.101506e+03 |      --      |    Inf 
410.16/410.34	c   407s|     1 |     0 |179309 |     - | 139M|   0 |2011 |2490 |6560 |2490 |7633 |3402 |   0 |   0 | 1.101963e+03 |      --      |    Inf 
414.65/414.85	c   411s|     1 |     0 |181176 |     - | 140M|   0 |2072 |2490 |6560 |2490 |7667 |3436 |   0 |   0 | 1.102492e+03 |      --      |    Inf 
428.04/428.26	c   425s|     1 |     0 |185996 |     - | 140M|   0 |1933 |2490 |6560 |2490 |7749 |3518 |   0 |   0 | 1.113986e+03 |      --      |    Inf 
431.74/431.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
431.74/431.92	c   428s|     1 |     0 |187578 |     - | 141M|   0 |1927 |2490 |6560 |2490 |7544 |3562 |   0 |   0 | 1.118577e+03 |      --      |    Inf 
435.25/435.50	c   432s|     1 |     0 |189124 |     - | 143M|   0 |1982 |2490 |6560 |2490 |7573 |3591 |   0 |   0 | 1.119459e+03 |      --      |    Inf 
440.34/440.59	c   437s|     1 |     0 |191328 |     - | 144M|   0 |2036 |2490 |6560 |2490 |7621 |3639 |   0 |   0 | 1.121452e+03 |      --      |    Inf 
448.44/448.66	c   445s|     1 |     0 |194442 |     - | 144M|   0 |1898 |2490 |6560 |2490 |7694 |3712 |   0 |   0 | 1.130503e+03 |      --      |    Inf 
453.44/453.66	c   450s|     1 |     0 |196691 |     - | 146M|   0 |1983 |2490 |6560 |2490 |7735 |3753 |   0 |   0 | 1.132294e+03 |      --      |    Inf 
459.34/459.58	c   456s|     1 |     0 |199213 |     - | 147M|   0 |2059 |2490 |6560 |2490 |7778 |3796 |   0 |   0 | 1.133835e+03 |      --      |    Inf 
465.54/465.73	c   462s|     1 |     0 |201801 |     - | 148M|   0 |2148 |2490 |6560 |2490 |7506 |3829 |   0 |   0 | 1.134668e+03 |      --      |    Inf 
476.43/476.65	c   473s|     1 |     0 |205756 |     - | 148M|   0 |2019 |2490 |6560 |2490 |7562 |3885 |   0 |   0 | 1.140603e+03 |      --      |    Inf 
480.83/481.05	c   477s|     1 |     0 |207549 |     - | 150M|   0 |2081 |2490 |6560 |2490 |7609 |3932 |   0 |   0 | 1.141846e+03 |      --      |    Inf 
485.63/485.80	c   482s|     1 |     0 |209709 |     - | 152M|   0 |2044 |2490 |6560 |2490 |7651 |3974 |   0 |   0 | 1.142902e+03 |      --      |    Inf 
493.73/493.94	c   490s|     1 |     0 |212580 |     - | 153M|   0 |2000 |2490 |6560 |2490 |7707 |4030 |   0 |   0 | 1.150670e+03 |      --      |    Inf 
500.42/500.64	c   496s|     1 |     0 |215634 |     - | 154M|   0 |2054 |2490 |6560 |2490 |7744 |4067 |   0 |   0 | 1.153534e+03 |      --      |    Inf 
507.93/508.14	c   504s|     1 |     0 |218394 |     - | 155M|   0 |1992 |2490 |6560 |2490 |7546 |4113 |   0 |   0 | 1.160645e+03 |      --      |    Inf 
511.92/512.17	c   508s|     1 |     0 |220523 |     - | 156M|   0 |1998 |2490 |6560 |2490 |7589 |4156 |   0 |   0 | 1.161527e+03 |      --      |    Inf 
517.01/517.22	c   513s|     1 |     0 |223063 |     - | 157M|   0 |2093 |2490 |6560 |2490 |7628 |4195 |   0 |   0 | 1.161944e+03 |      --      |    Inf 
524.91/525.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
524.91/525.13	c   521s|     1 |     0 |226308 |     - | 157M|   0 |2028 |2490 |6560 |2490 |7693 |4260 |   0 |   0 | 1.168161e+03 |      --      |    Inf 
531.61/531.87	c   527s|     1 |     0 |228765 |     - | 157M|   0 |2103 |2490 |6560 |2490 |7741 |4308 |   0 |   0 | 1.171277e+03 |      --      |    Inf 
537.81/538.08	c   533s|     1 |     0 |231023 |     - | 158M|   0 |1913 |2490 |6560 |2490 |7786 |4353 |   0 |   0 | 1.176409e+03 |      --      |    Inf 
542.80/543.10	c   538s|     1 |     0 |233169 |     - | 159M|   0 |1997 |2490 |6560 |2490 |7569 |4392 |   0 |   0 | 1.177628e+03 |      --      |    Inf 
547.91/548.12	c   543s|     1 |     0 |234917 |     - | 159M|   0 |2027 |2490 |6560 |2490 |7624 |4447 |   0 |   0 | 1.180784e+03 |      --      |    Inf 
553.30/553.55	c   549s|     1 |     0 |237630 |     - | 160M|   0 |1995 |2490 |6560 |2490 |7671 |4494 |   0 |   0 | 1.184351e+03 |      --      |    Inf 
557.80/558.05	c   553s|     1 |     0 |239823 |     - | 162M|   0 |2119 |2490 |6560 |2490 |7716 |4539 |   0 |   0 | 1.185512e+03 |      --      |    Inf 
563.80/564.08	c   559s|     1 |     0 |242417 |     - | 163M|   0 |2179 |2490 |6560 |2490 |7760 |4583 |   0 |   0 | 1.187085e+03 |      --      |    Inf 
573.30/573.52	c   569s|     1 |     0 |246099 |     - | 163M|   0 |2074 |2490 |6560 |2490 |7805 |4628 |   0 |   0 | 1.190258e+03 |      --      |    Inf 
579.00/579.27	c   574s|     1 |     0 |248422 |     - | 164M|   0 |2104 |2490 |6560 |2490 |7621 |4675 |   0 |   0 | 1.191724e+03 |      --      |    Inf 
585.39/585.67	c   581s|     1 |     0 |250981 |     - | 164M|   0 |1994 |2490 |6560 |2490 |7673 |4727 |   0 |   0 | 1.195421e+03 |      --      |    Inf 
588.09/588.35	c   583s|     1 |     0 |252128 |     - | 165M|   0 |2014 |2490 |6560 |2490 |7710 |4764 |   0 |   0 | 1.195856e+03 |      --      |    Inf 
592.99/593.24	c   588s|     1 |     0 |254470 |     - | 167M|   0 |2074 |2490 |6560 |2490 |7743 |4797 |   0 |   0 | 1.196489e+03 |      --      |    Inf 
597.79/598.08	c   593s|     1 |     0 |256677 |     - | 169M|   0 |2088 |2490 |6560 |2490 |7772 |4826 |   0 |   0 | 1.196840e+03 |      --      |    Inf 
603.19/603.48	c   598s|     1 |     0 |258753 |     - | 170M|   0 |2102 |2490 |6560 |2490 |7811 |4865 |   0 |   0 | 1.198712e+03 |      --      |    Inf 
614.57/614.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
614.57/614.83	c   610s|     1 |     0 |262605 |     - | 170M|   0 |2119 |2490 |6560 |2490 |7616 |4920 |   0 |   0 | 1.205103e+03 |      --      |    Inf 
617.87/618.19	c   613s|     1 |     0 |263999 |     - | 171M|   0 |2155 |2490 |6560 |2490 |7651 |4955 |   0 |   0 | 1.205516e+03 |      --      |    Inf 
625.76/626.08	c   621s|     1 |     0 |266956 |     - | 172M|   0 |2085 |2490 |6560 |2490 |7699 |5003 |   0 |   0 | 1.212154e+03 |      --      |    Inf 
632.06/632.33	c   627s|     1 |     0 |269457 |     - | 172M|   0 |2029 |2490 |6560 |2490 |7752 |5056 |   0 |   0 | 1.215003e+03 |      --      |    Inf 
636.26/636.55	c   631s|     1 |     0 |271223 |     - | 173M|   0 |2068 |2490 |6560 |2490 |7790 |5094 |   0 |   0 | 1.216703e+03 |      --      |    Inf 
639.56/639.87	c   634s|     1 |     0 |272535 |     - | 174M|   0 |2136 |2490 |6560 |2490 |7832 |5136 |   0 |   0 | 1.217723e+03 |      --      |    Inf 
649.36/649.62	c   644s|     1 |     0 |275855 |     - | 174M|   0 |2137 |2490 |6560 |2490 |7649 |5199 |   0 |   0 | 1.222849e+03 |      --      |    Inf 
655.06/655.37	c   650s|     1 |     0 |278030 |     - | 175M|   0 |2050 |2490 |6560 |2490 |7683 |5233 |   0 |   0 | 1.225990e+03 |      --      |    Inf 
657.46/657.77	c   652s|     1 |     0 |278978 |     - | 176M|   0 |2076 |2490 |6560 |2490 |7710 |5260 |   0 |   0 | 1.226546e+03 |      --      |    Inf 
660.46/660.73	c   655s|     1 |     0 |280044 |     - | 176M|   0 |2116 |2490 |6560 |2490 |7736 |5286 |   0 |   0 | 1.227023e+03 |      --      |    Inf 
664.85/665.16	c   660s|     1 |     0 |281886 |     - | 177M|   0 |2102 |2490 |6560 |2490 |7756 |5306 |   0 |   0 | 1.227631e+03 |      --      |    Inf 
668.75/669.09	c   663s|     1 |     0 |283356 |     - | 178M|   0 |2154 |2490 |6560 |2490 |7779 |5329 |   0 |   0 | 1.227915e+03 |      --      |    Inf 
676.26/676.60	c   671s|     1 |     0 |285681 |     - | 175M|   0 |2160 |2490 |6560 |2490 |7562 |5365 |   0 |   0 | 1.229831e+03 |      --      |    Inf 
683.14/683.47	c   678s|     1 |     0 |288259 |     - | 173M|   0 |2114 |2490 |6560 |2490 |7594 |5397 |   0 |   0 | 1.230898e+03 |      --      |    Inf 
685.64/685.94	c   680s|     1 |     0 |289506 |     - | 170M|   0 |2111 |2490 |6560 |2490 |7618 |5421 |   0 |   0 | 1.231272e+03 |      --      |    Inf 
688.94/689.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
688.94/689.20	c   683s|     1 |     0 |291100 |     - | 167M|   0 |2085 |2490 |6560 |2490 |7643 |5446 |   0 |   0 | 1.231491e+03 |      --      |    Inf 
694.34/694.65	c   689s|     1 |     0 |293316 |     - | 164M|   0 |2147 |2490 |6560 |2490 |7666 |5469 |   0 |   0 | 1.231870e+03 |      --      |    Inf 
704.74/705.07	c   699s|     1 |     0 |297019 |     - | 162M|   0 |2083 |2490 |6560 |2490 |7708 |5511 |   0 |   0 | 1.234154e+03 |      --      |    Inf 
711.64/711.92	c   706s|     1 |     0 |299878 |     - | 158M|   0 |2163 |2490 |6560 |2490 |7501 |5544 |   0 |   0 | 1.235395e+03 |      --      |    Inf 
717.83/718.16	c   712s|     1 |     0 |302744 |     - | 155M|   0 |2085 |2490 |6560 |2490 |7534 |5577 |   0 |   0 | 1.240074e+03 |      --      |    Inf 
720.93/721.22	c   715s|     1 |     0 |304306 |     - | 152M|   0 |2137 |2490 |6560 |2490 |7560 |5603 |   0 |   0 | 1.240922e+03 |      --      |    Inf 
723.54/723.83	c   718s|     1 |     0 |305272 |     - | 150M|   0 |2151 |2490 |6560 |2490 |7574 |5617 |   0 |   0 | 1.241049e+03 |      --      |    Inf 
728.63/728.99	c   723s|     1 |     0 |306924 |     - | 147M|   0 |2188 |2490 |6560 |2490 |7595 |5638 |   0 |   0 | 1.241558e+03 |      --      |    Inf 
736.13/736.46	c   730s|     1 |     0 |309469 |     - | 141M|   0 |2165 |2490 |6560 |2490 |7632 |5675 |   0 |   0 | 1.244148e+03 |      --      |    Inf 
740.93/741.22	c   735s|     1 |     0 |311532 |     - | 138M|   0 |2145 |2490 |6560 |2490 |7559 |5713 |   0 |   0 | 1.244679e+03 |      --      |    Inf 
743.42/743.73	c   737s|     1 |     0 |312372 |     - | 136M|   0 |2135 |2490 |6560 |2490 |7584 |5738 |   0 |   0 | 1.244795e+03 |      --      |    Inf 
747.32/747.69	c   741s|     1 |     0 |314103 |     - | 133M|   0 |2157 |2490 |6560 |2490 |7609 |5763 |   0 |   0 | 1.245562e+03 |      --      |    Inf 
753.32/753.62	c   747s|     1 |     0 |316614 |     - | 130M|   0 |2168 |2490 |6560 |2490 |7633 |5787 |   0 |   0 | 1.247331e+03 |      --      |    Inf 
761.93/762.20	c   756s|     1 |     0 |319768 |     - | 127M|   0 |2124 |2490 |6560 |2490 |7656 |5810 |   0 |   0 | 1.249607e+03 |      --      |    Inf 
769.63/770.00	c   764s|     1 |     0 |323151 |     - | 126M|   0 |2106 |2490 |6560 |2490 |7698 |5852 |   0 |   0 | 1.252170e+03 |      --      |    Inf 
774.92/775.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
774.92/775.20	c   769s|     1 |     0 |325485 |     - | 123M|   0 |2117 |2490 |6560 |2490 |7555 |5878 |   0 |   0 | 1.253226e+03 |      --      |    Inf 
779.31/779.61	c   773s|     1 |     0 |327320 |     - | 119M|   0 |2089 |2490 |6560 |2490 |7577 |5900 |   0 |   0 | 1.254068e+03 |      --      |    Inf 
783.92/784.22	c   778s|     1 |     0 |329467 |     - | 119M|   0 |2093 |2490 |6560 |2490 |7599 |5922 |   0 |   0 | 1.254354e+03 |      --      |    Inf 
790.00/790.36	c   784s|     1 |     0 |331661 |     - | 117M|   0 |2164 |2490 |6560 |2490 |7629 |5952 |   0 |   0 | 1.255466e+03 |      --      |    Inf 
798.11/798.43	c   792s|     1 |     0 |334621 |     - | 117M|   0 |2125 |2490 |6560 |2490 |7659 |5982 |   0 |   0 | 1.257887e+03 |      --      |    Inf 
806.60/806.98	c   800s|     1 |     0 |337905 |     - | 115M|   0 |2146 |2490 |6560 |2490 |7683 |6006 |   0 |   0 | 1.259040e+03 |      --      |    Inf 
813.20/813.59	c   807s|     1 |     0 |339920 |     - | 114M|   0 |2148 |2490 |6560 |2490 |7568 |6027 |   0 |   0 | 1.259716e+03 |      --      |    Inf 
817.20/817.59	c   811s|     1 |     0 |340510 |     - | 111M|   0 |2143 |2490 |6560 |2490 |7573 |6032 |   0 |   0 | 1.259851e+03 |      --      |    Inf 
822.30/822.66	c   816s|     1 |     0 |341749 |     - | 110M|   0 |2135 |2490 |6560 |2490 |7589 |6048 |   0 |   0 | 1.260367e+03 |      --      |    Inf 
827.70/828.00	c   821s|     1 |     0 |343668 |     - | 109M|   0 |2103 |2490 |6560 |2490 |7616 |6075 |   0 |   0 | 1.261703e+03 |      --      |    Inf 
832.20/832.54	c   826s|     1 |     0 |346020 |     - | 108M|   0 |2133 |2490 |6560 |2490 |7643 |6102 |   0 |   0 | 1.263389e+03 |      --      |    Inf 
837.91/838.26	c   831s|     1 |     0 |348084 |     - | 106M|   0 |2147 |2490 |6560 |2490 |7663 |6122 |   0 |   0 | 1.264936e+03 |      --      |    Inf 
843.59/844.00	c   837s|     1 |     0 |350863 |     - | 106M|   0 |2082 |2490 |6560 |2490 |7521 |6146 |   0 |   0 | 1.266866e+03 |      --      |    Inf 
848.19/848.59	c   842s|     1 |     0 |353120 |     - | 105M|   0 |2116 |2490 |6560 |2490 |7559 |6184 |   0 |   0 | 1.267943e+03 |      --      |    Inf 
851.29/851.65	c   845s|     1 |     0 |354996 |     - | 104M|   0 |2112 |2490 |6560 |2490 |7586 |6211 |   0 |   0 | 1.268975e+03 |      --      |    Inf 
855.58/855.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
855.58/855.99	c   849s|     1 |     0 |356446 |     - | 104M|   0 |2084 |2490 |6560 |2490 |7615 |6240 |   0 |   0 | 1.269715e+03 |      --      |    Inf 
858.49/858.80	c   852s|     1 |     0 |356774 |     - | 103M|   0 |2111 |2490 |6560 |2490 |7622 |6247 |   0 |   0 | 1.269812e+03 |      --      |    Inf 
860.99/861.36	c   854s|     1 |     0 |357003 |     - | 101M|   0 |2120 |2490 |6560 |2490 |7626 |6251 |   0 |   0 | 1.269814e+03 |      --      |    Inf 
864.29/864.65	c   858s|     1 |     0 |357623 |     - | 101M|   0 |2135 |2490 |6560 |2490 |7516 |6258 |   0 |   0 | 1.269848e+03 |      --      |    Inf 
866.69/867.06	c   860s|     1 |     0 |357627 |     - | 100M|   0 |2135 |2490 |6560 |2490 |7517 |6259 |   0 |   0 | 1.269848e+03 |      --      |    Inf 
869.28/869.68	c   863s|     1 |     0 |357781 |     - |  99M|   0 |2139 |2490 |6560 |2490 |7518 |6260 |   0 |   0 | 1.269848e+03 |      --      |    Inf 
872.28/872.65	c   865s|     1 |     0 |358248 |     - |  98M|   0 |2102 |2490 |6560 |2490 |7521 |6263 |   0 |   0 | 1.269869e+03 |      --      |    Inf 
875.29/875.61	c   868s|     1 |     0 |358249 |     - |  97M|   0 |2102 |2490 |6560 |2490 |7522 |6264 |   0 |   0 | 1.269869e+03 |      --      |    Inf 
895.37/895.70	c   888s|     1 |     2 |358249 |     - |  94M|   0 |2102 |2490 |6560 |2490 |7522 |6264 |   0 |  26 | 1.269869e+03 |      --      |    Inf 
978.45/978.85	c   969s| 10000 |    46 |358249 |   0.0 |  96M|  75 |   - |2490 |6618 |   0 |   0 |6264 |6674 |  26 | 1.269874e+03 |      --      |    Inf 
1078.21/1078.61	c  1067s| 20000 |    47 |358249 |   0.0 |  96M|  75 |   - |2490 |6611 |   0 |   0 |6264 |  13k|  26 | 1.269874e+03 |      --      |    Inf 
1151.20/1151.64	c  1138s| 30000 |    45 |358249 |   0.0 |  96M|  75 |   - |2490 |6644 |   0 |   0 |6264 |  20k|  26 | 1.269874e+03 |      --      |    Inf 
1223.96/1224.43	c  1209s| 40000 |    45 |358249 |   0.0 |  96M|  75 |   - |2490 |6663 |   0 |   0 |6264 |  26k|  26 | 1.269874e+03 |      --      |    Inf 
1326.63/1327.15	c  1309s| 50000 |    44 |358249 |   0.0 |  96M|  75 |   - |2490 |6665 |   0 |   0 |6264 |  33k|  26 | 1.269874e+03 |      --      |    Inf 
1427.20/1427.71	c  1406s| 60000 |    45 |358249 |   0.0 |  96M|  75 |   - |2490 |6651 |   0 |   0 |6264 |  39k|  26 | 1.269874e+03 |      --      |    Inf 
1502.97/1503.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1502.97/1503.51	c  1480s| 70000 |    46 |358249 |   0.0 |  96M|  75 |   - |2490 |6663 |   0 |   0 |6264 |  46k|  26 | 1.269874e+03 |      --      |    Inf 
1576.45/1577.06	c  1552s| 80000 |    42 |358249 |   0.0 |  96M|  75 |   - |2490 |6707 |   0 |   0 |6264 |  53k|  26 | 1.269874e+03 |      --      |    Inf 
1660.12/1660.75	c  1633s| 90000 |    45 |358249 |   0.0 |  96M|  75 |   - |2490 |6661 |   0 |   0 |6264 |  59k|  26 | 1.269874e+03 |      --      |    Inf 
1744.29/1744.92	c  1716s|100000 |    44 |358249 |   0.0 |  96M|  75 |   - |2490 |6676 |   0 |   0 |6264 |  66k|  26 | 1.269874e+03 |      --      |    Inf 
1800.08/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71	c 
1800.08/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.71	c Solving Time (sec) : 1769.87
1800.08/1800.71	c Solving Nodes      : 107364
1800.08/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.71	c Dual Bound         : +1.26987404635325e+03
1800.08/1800.71	c Gap                : infinite
1800.08/1800.71	s UNKNOWN
1800.08/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.71	c Solving Time       :    1769.87
1800.08/1800.71	c Original Problem   :
1800.08/1800.71	c   Problem name     : HOME/instance-2666864-1276469458.opb
1800.08/1800.71	c   Variables        : 2678 (2678 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71	c   Constraints      : 6689 initial, 6689 maximal
1800.08/1800.71	c Presolved Problem  :
1800.08/1800.71	c   Problem name     : t_HOME/instance-2666864-1276469458.opb
1800.08/1800.71	c   Variables        : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71	c   Constraints      : 6560 initial, 6730 maximal
1800.08/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.71	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.71	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.71	c   implics          :       0.00          0          3          0          0          0          0          0          0
1800.08/1800.71	c   probing          :       0.42          2        183          0          0          0          0          0          0
1800.08/1800.71	c   linear           :       0.11          0          0          0          0          0        122        122          0
1800.08/1800.71	c   logicor          :       0.12          0          0          0          0          0          7          0          0
1800.08/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.71	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.08/1800.71	c   logicor          :       6560+       143    4530439          0          0      71270   44709342          0          0          0
1800.08/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.71	c   integral         :      16.91       0.00       0.00      16.91       0.00
1800.08/1800.71	c   logicor          :     227.63       0.16     227.47       0.00       0.00
1800.08/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.71	c   vbounds          :       1.92          2          0          0
1800.08/1800.71	c   rootredcost      :       2.11          0          0          0
1800.08/1800.71	c   pseudoobj        :     432.04    4591157          0          0
1800.08/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.71	c   propagation      :      51.09      71268      71268      71268       42.8        269       24.7          -
1800.08/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.71	c   applied globally :          -          -          -      71537       42.8          -          -          -
1800.08/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.71	c   cut pool         :       6.32        142          -          -       5562          -    (maximal pool size: 36241)
1800.08/1800.71	c   redcost          :       0.04        143          0          0          0          0
1800.08/1800.71	c   impliedbounds    :       0.19        143          0          0       1617          0
1800.08/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.71	c   gomory           :     217.17        143          0          0      65245          0
1800.08/1800.71	c   strongcg         :       7.46         20          0          0      10000          0
1800.08/1800.71	c   cmir             :       0.72         10          0          0          0          0
1800.08/1800.71	c   flowcover        :       0.56         10          0          0          0          0
1800.08/1800.71	c   clique           :       0.51        143          0          0         78          0
1800.08/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.71	c   mcf              :       0.02          1          0          0          0          0
1800.08/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.71	c Pricers            :       Time      Calls       Vars
1800.08/1800.71	c   problem variables:       0.00          0          0
1800.08/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.71	c   relpscost        :      16.91          1          0          0          0          0          2
1800.08/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   inference        :      46.15      71397          0          0          0          0     142794
1800.08/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.71	c   LP solutions     :       0.00          -          0
1800.08/1800.71	c   pseudo solutions :       0.00          -          0
1800.08/1800.71	c   oneopt           :       0.10          0          0
1800.08/1800.71	c   crossover        :       0.00          0          0
1800.08/1800.71	c   trivial          :       0.00          2          0
1800.08/1800.71	c   simplerounding   :       0.00          0          0
1800.08/1800.71	c   zirounding       :       0.00          1          0
1800.08/1800.71	c   rounding         :       0.23        100          0
1800.08/1800.71	c   shifting         :       2.39        100          0
1800.08/1800.71	c   intshifting      :       0.00          0          0
1800.08/1800.71	c   twoopt           :       0.00          0          0
1800.08/1800.71	c   fixandinfer      :       0.00          0          0
1800.08/1800.71	c   feaspump         :       6.77          1          0
1800.08/1800.71	c   coefdiving       :       0.00          0          0
1800.08/1800.71	c   pscostdiving     :       0.00          0          0
1800.08/1800.71	c   fracdiving       :       0.00          0          0
1800.08/1800.71	c   veclendiving     :       0.00          0          0
1800.08/1800.71	c   intdiving        :       0.00          0          0
1800.08/1800.71	c   actconsdiving    :       0.00          0          0
1800.08/1800.71	c   objpscostdiving  :       0.00          0          0
1800.08/1800.71	c   rootsoldiving    :       0.00          0          0
1800.08/1800.71	c   linesearchdiving :       0.00          0          0
1800.08/1800.71	c   guideddiving     :       0.00          0          0
1800.08/1800.71	c   octane           :       0.00          0          0
1800.08/1800.71	c   rens             :       0.01          0          0
1800.08/1800.71	c   rins             :       0.00          0          0
1800.08/1800.71	c   localbranching   :       0.00          0          0
1800.08/1800.71	c   mutation         :       0.00          0          0
1800.08/1800.71	c   dins             :       0.00          0          0
1800.08/1800.71	c   undercover       :       0.00          0          0
1800.08/1800.71	c   nlp              :       0.11          0          0
1800.08/1800.71	c   trysol           :       0.04          0          0
1800.08/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.71	c   primal LP        :       0.30          0          0       0.00       0.00
1800.08/1800.71	c   dual LP          :     625.30        143     350719    2452.58     560.88
1800.08/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.71	c   diving/probing LP:       6.73         17       7530     442.94    1118.87
1800.08/1800.71	c   strong branching :      16.91         26      11107     427.19     656.83
1800.08/1800.71	c     (at root node) :          -         26      11107     427.19          -
1800.08/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.71	c B&B Tree           :
1800.08/1800.71	c   number of runs   :          1
1800.08/1800.71	c   nodes            :     107364
1800.08/1800.71	c   nodes (total)    :     107364
1800.08/1800.71	c   nodes left       :         47
1800.08/1800.71	c   max depth        :         75
1800.08/1800.71	c   max depth (total):         75
1800.08/1800.71	c   backtracks       :      36048 (33.6%)
1800.08/1800.71	c   delayed cutoffs  :      35386
1800.08/1800.71	c   repropagations   :     102192 (22241118 domain reductions, 35302 cutoffs)
1800.08/1800.71	c   avg switch length:       2.60
1800.08/1800.71	c   switching time   :     114.56
1800.08/1800.71	c Solution           :
1800.08/1800.71	c   Solutions found  :          0 (0 improvements)
1800.08/1800.71	c   Primal Bound     :          -
1800.08/1800.71	c   Dual Bound       : +1.26987404635325e+03
1800.08/1800.71	c   Gap              :   infinite
1800.08/1800.71	c   Root Dual Bound  : +1.26986887292218e+03
1800.08/1800.71	c   Root Iterations  :     358249
1800.27/1800.90	c Time complete: 1800.27.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 27447
/proc/meminfo: memFree=1825572/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=6696 CPUtime=0
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 20602125 6856704 906 1992294400 4194304 8223781 140736328875680 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27447/statm: 1674 907 343 984 0 687 0

[startup+0.09204 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 27447
/proc/meminfo: memFree=1825572/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=13456 CPUtime=0.08
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 2672 0 0 0 8 0 0 0 20 0 1 0 20602125 13778944 2590 1992294400 4194304 8223781 140736328875680 18446744073709551615 7189756 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27447/statm: 3364 2590 365 984 0 2377 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13456

[startup+0.101042 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 27447
/proc/meminfo: memFree=1825572/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=13928 CPUtime=0.09
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 2791 0 0 0 9 0 0 0 20 0 1 0 20602125 14262272 2709 1992294400 4194304 8223781 140736328875680 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27447/statm: 3482 2709 365 984 0 2495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13928

[startup+0.301079 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 27447
/proc/meminfo: memFree=1825572/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=31224 CPUtime=0.29
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 7471 0 0 0 26 3 0 0 20 0 1 0 20602125 31973376 6768 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 7806 6768 443 984 0 6819 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31224

[startup+0.701153 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 27447
/proc/meminfo: memFree=1825572/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=31912 CPUtime=0.69
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 10683 0 0 0 60 9 0 0 20 0 1 0 20602125 32677888 6971 1992294400 4194304 8223781 140736328875680 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 7978 6974 463 984 0 6991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31912

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 27448
/proc/meminfo: memFree=1790720/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=42668 CPUtime=1.49
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 15070 0 0 0 137 12 0 0 23 0 1 0 20602125 43692032 9431 1992294400 4194304 8223781 140736328875680 18446744073709551615 6569356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 10667 9431 533 984 0 9680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42668

[startup+3.1006 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 27448
/proc/meminfo: memFree=1788612/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=43332 CPUtime=3.09
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 17068 0 0 0 296 13 0 0 25 0 1 0 20602125 44371968 9673 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 10833 9673 541 984 0 9846 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43332

[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 27448
/proc/meminfo: memFree=1787744/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=43764 CPUtime=6.29
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 20576 0 0 0 614 15 0 0 25 0 1 0 20602125 44814336 9776 1992294400 4194304 8223781 140736328875680 18446744073709551615 6562843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 10941 9776 542 984 0 9954 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43764

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 27448
/proc/meminfo: memFree=1787248/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=54000 CPUtime=12.68
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 31737 0 0 0 1245 23 0 0 25 0 1 0 20602125 55296000 12039 1992294400 4194304 8223781 140736328875680 18446744073709551615 6446975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 13500 12039 568 984 0 12513 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54000

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 27448
/proc/meminfo: memFree=1760712/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=75640 CPUtime=25.48
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 48045 0 0 0 2511 37 0 0 25 0 1 0 20602125 77455360 17125 1992294400 4194304 8223781 140736328875680 18446744073709551615 6502710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 18910 17125 568 984 0 17923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75640

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 27448
/proc/meminfo: memFree=1732068/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=103540 CPUtime=51.07
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 76256 0 0 0 5047 60 0 0 25 0 1 0 20602125 106024960 23904 1992294400 4194304 8223781 140736328875680 18446744073709551615 6532678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 25885 23904 568 984 0 24898 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 103540

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 27450
/proc/meminfo: memFree=1691024/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=145648 CPUtime=102.26
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 135031 0 0 0 10122 104 0 0 25 0 1 0 20602125 149143552 33953 1992294400 4194304 8223781 140736328875680 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 36412 33953 568 984 0 35425 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 145648

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 27452
/proc/meminfo: memFree=1684204/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=151940 CPUtime=162.24
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 189951 0 0 0 16078 146 0 0 25 0 1 0 20602125 155586560 35608 1992294400 4194304 8223781 140736328875680 18446744073709551615 6047798 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 37985 35608 568 984 0 36998 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 151940

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 27454
/proc/meminfo: memFree=1672300/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=165080 CPUtime=222.21
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 248865 0 0 0 22032 189 0 0 25 0 1 0 20602125 169041920 38560 1992294400 4194304 8223781 140736328875680 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 41270 38560 568 984 0 40283 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 165080

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 27456
/proc/meminfo: memFree=1665108/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=175684 CPUtime=282.19
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 305547 0 0 0 27984 235 0 0 25 0 1 0 20602125 179900416 40888 1992294400 4194304 8223781 140736328875680 18446744073709551615 6304602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 43921 40888 568 984 0 42934 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 175684

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 27456
/proc/meminfo: memFree=1650600/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=187572 CPUtime=342.17
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 362611 0 0 0 33935 282 0 0 25 0 1 0 20602125 192073728 43930 1992294400 4194304 8223781 140736328875680 18446744073709551615 6044557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 46893 43930 568 984 0 45906 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 187572

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 27458
/proc/meminfo: memFree=1642664/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=196020 CPUtime=402.15
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 419315 0 0 0 39890 325 0 0 25 0 1 0 20602125 200724480 45952 1992294400 4194304 8223781 140736328875680 18446744073709551615 6047495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 49005 45952 572 984 0 48018 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 196020

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 27460
/proc/meminfo: memFree=1627412/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=211928 CPUtime=462.13
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 478737 0 0 0 45841 372 0 0 25 0 1 0 20602125 217014272 49637 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 52982 49637 568 984 0 51995 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 211928

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 27462
/proc/meminfo: memFree=1620220/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=218016 CPUtime=522.11
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 532244 0 0 0 51793 418 0 0 25 0 1 0 20602125 223248384 51488 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 54504 51488 568 984 0 53517 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 218016

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27464
/proc/meminfo: memFree=1613772/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=224972 CPUtime=582.1
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 585710 0 0 0 57749 461 0 0 25 0 1 0 20602125 230371328 53107 1992294400 4194304 8223781 140736328875680 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 56243 53107 568 984 0 55256 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 224972

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27473
/proc/meminfo: memFree=1602984/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=236848 CPUtime=642.07
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 637205 0 0 0 63701 506 0 0 25 0 1 0 20602125 242532352 55668 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 59212 55668 568 984 0 58225 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 236848

[startup+702.302 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27481
/proc/meminfo: memFree=1574836/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=262464 CPUtime=941.96
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 844074 0 0 0 93383 813 0 0 25 0 1 0 20602125 268763136 62587 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 65616 62587 581 984 0 64629 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 262464

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27483
/proc/meminfo: memFree=1570620/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=266552 CPUtime=1001.94
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 845108 0 0 0 99229 965 0 0 25 0 1 0 20602125 272949248 63621 1992294400 4194304 8223781 140736328875680 18446744073709551615 5507323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 66638 63621 581 984 0 65651 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 266552

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27485
/proc/meminfo: memFree=1569008/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=268268 CPUtime=1061.92
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 845513 0 0 0 105084 1108 0 0 25 0 1 0 20602125 274706432 64026 1992294400 4194304 8223781 140736328875680 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67067 64026 581 984 0 66080 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 268268

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27487
/proc/meminfo: memFree=1567768/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=269436 CPUtime=1121.9
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 845792 0 0 0 110936 1254 0 0 25 0 1 0 20602125 275902464 64305 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67359 64305 581 984 0 66372 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 269436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27489
/proc/meminfo: memFree=1567396/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=269748 CPUtime=1181.87
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 845889 0 0 0 116776 1411 0 0 25 0 1 0 20602125 276221952 64402 1992294400 4194304 8223781 140736328875680 18446744073709551615 4999996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67437 64402 581 984 0 66450 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 269748

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27489
/proc/meminfo: memFree=1567024/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=269900 CPUtime=1241.86
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 845918 0 0 0 122614 1572 0 0 25 0 1 0 20602125 276377600 64431 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67475 64431 581 984 0 66488 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 269900

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27491
/proc/meminfo: memFree=1566404/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=270652 CPUtime=1301.85
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846092 0 0 0 128456 1729 0 0 25 0 1 0 20602125 277147648 64605 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67663 64605 581 984 0 66676 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 270652

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27493
/proc/meminfo: memFree=1566032/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=270936 CPUtime=1361.81
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846163 0 0 0 134284 1897 0 0 25 0 1 0 20602125 277438464 64676 1992294400 4194304 8223781 140736328875680 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67734 64676 581 984 0 66747 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 270936

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27495
/proc/meminfo: memFree=1565784/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=271068 CPUtime=1421.81
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846217 0 0 0 140114 2067 0 0 25 0 1 0 20602125 277573632 64730 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67767 64730 581 984 0 66780 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 271068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27497
/proc/meminfo: memFree=1565660/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=271352 CPUtime=1481.77
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846260 0 0 0 145958 2219 0 0 25 0 1 0 20602125 277864448 64773 1992294400 4194304 8223781 140736328875680 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67838 64773 581 984 0 66851 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 271352

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27497
/proc/meminfo: memFree=1565412/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=271352 CPUtime=1541.76
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846281 0 0 0 151805 2371 0 0 25 0 1 0 20602125 277864448 64794 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67838 64794 581 984 0 66851 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 271352

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27499
/proc/meminfo: memFree=1565040/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=271796 CPUtime=1601.73
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846369 0 0 0 157645 2528 0 0 25 0 1 0 20602125 278319104 64882 1992294400 4194304 8223781 140736328875680 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67949 64882 581 984 0 66962 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 271796

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27501
/proc/meminfo: memFree=1565040/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=271796 CPUtime=1661.72
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846390 0 0 0 163504 2668 0 0 25 0 1 0 20602125 278319104 64903 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67949 64903 581 984 0 66962 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 271796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27503
/proc/meminfo: memFree=1564792/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=271956 CPUtime=1721.69
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846423 0 0 0 169354 2815 0 0 25 0 1 0 20602125 278482944 64936 1992294400 4194304 8223781 140736328875680 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 67989 64936 581 984 0 67002 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 271956

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27505
/proc/meminfo: memFree=1564048/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=272396 CPUtime=1781.68
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846517 0 0 0 175205 2963 0 0 25 0 1 0 20602125 278933504 65030 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 68099 65030 581 984 0 67112 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 272396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27505
/proc/meminfo: memFree=1564048/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=272396 CPUtime=1800.08
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846522 0 0 0 176999 3009 0 0 25 0 1 0 20602125 278933504 65035 1992294400 4194304 8223781 140736328875680 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27447/statm: 68099 65035 581 984 0 67112 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 272396

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27505
/proc/meminfo: memFree=1564048/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=271920 CPUtime=1800.17
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846531 0 0 0 177008 3009 0 0 25 0 1 0 20602125 278446080 64926 1992294400 4194304 8223781 140736328875680 18446744073709551615 5991441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27447/statm: 67980 64926 584 984 0 66993 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 271920

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27505
/proc/meminfo: memFree=1564048/2059040 swapFree=4142408/4192956
[pid=27447] ppid=27445 vsize=64988 CPUtime=1800.27
/proc/27447/stat : 27447 (pbscip.linux.x8) R 27445 27447 26985 0 -1 4202496 846531 0 0 0 177015 3012 0 0 25 0 1 0 20602125 66547712 8396 1992294400 4194304 8223781 140736328875680 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27447/statm: 16247 8396 584 984 0 15260 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 64988

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.28
CPU user time (s): 1770.15
CPU system time (s): 30.1294
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 272396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.15
system time used= 30.1294
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 846535
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= 4419

runsolver used 3.03054 second user time and 8.46571 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-14 00:50:58
IDJOB=2666864
IDBENCH=2198
IDSOLVER=1169
FILE ID=node019/2666864-1276469458
PBS_JOBID= 11173358
Free space on /tmp= 62356 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.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-2666864-1276469458/watcher-2666864-1276469458 -o /tmp/evaluation-result-2666864-1276469458/solver-2666864-1276469458 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666864-1276469458.opb -t 1800 -m 1800

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

MD5SUM BENCH= 47657fb6d35516304c5b4897d4fb805d
RANDOM SEED=653364741

node019.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.264
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.52
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.264
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1825976 kB
Buffers:         46752 kB
Cached:          95788 kB
SwapCached:       4636 kB
Active:          98512 kB
Inactive:        57528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1825976 kB
SwapTotal:     4192956 kB
SwapFree:      4142408 kB
Dirty:            4740 kB
Writeback:           0 kB
AnonPages:       11736 kB
Mapped:          13704 kB
Slab:            55216 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181704 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= 62352 MiB
End job on node019 at 2010-06-14 01:21:01