Trace number 2667509

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.2 1800.93

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUMe569a703dfec131c012510753e8401ab
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1931
Best CPU time to get the best result obtained on this benchmark4.94725
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1931
Optimality of the best value was proved YES
Number of variables3862
Total number of constraints16399
Number of constraints which are clauses16399
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 constraint1
Maximum length of a constraint8
Number of terms in the objective function 3862
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 3862
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 3862
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-2667509-1276426280.opb>
0.29/0.30	c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.29/0.30	c problem read
0.29/0.30	c presolving settings loaded
0.29/0.39	c presolving:
0.39/0.48	c (round 1) 710 del vars, 720 del conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.49/0.51	c (round 2) 753 del vars, 2214 del conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.49/0.53	c (round 3) 795 del vars, 2450 del conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.49/0.55	c (round 4) 855 del vars, 2664 del conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.49/0.57	c (round 5) 924 del vars, 3067 del conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.49/0.58	c (round 6) 948 del vars, 3190 del conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.59/0.60	c (round 7) 955 del vars, 3240 del conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.59/0.62	c (round 8) 961 del vars, 3267 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.59/0.63	c (round 9) 961 del vars, 3270 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.79/0.82	c (round 10) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10332 upgd conss, 48946 impls, 0 clqs
0.79/0.86	c (round 11) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 48946 impls, 0 clqs
0.89/0.92	c (round 12) 1011 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 52844 impls, 0 clqs
0.89/0.93	c (round 13) 1011 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.89/0.99	c (round 14) 1061 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55464 impls, 0 clqs
0.99/1.01	c (round 15) 1063 del vars, 6130 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.99/1.05	c (round 16) 1063 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.99/1.10	c (round 17) 1114 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 56680 impls, 0 clqs
1.10/1.12	c (round 18) 1118 del vars, 6248 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
1.10/1.13	c (round 19) 1119 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
1.19/1.22	c (round 20) 1171 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 59779 impls, 0 clqs
1.19/1.24	c (round 21) 1174 del vars, 6425 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.19/1.28	c (round 22) 1174 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.29/1.35	c (round 23) 1226 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 62905 impls, 0 clqs
1.29/1.37	c (round 24) 1229 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
1.39/1.42	c (round 25) 1279 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64141 impls, 0 clqs
1.39/1.43	c (round 26) 1279 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64361 impls, 0 clqs
1.39/1.49	c (round 27) 1329 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.49/1.51	c (round 28) 1329 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.49/1.56	c (round 29) 1379 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.49/1.58	c (round 30) 1379 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.59/1.65	c (round 31) 1429 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65717 impls, 0 clqs
1.69/1.71	c (round 32) 1479 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.69/1.72	c (round 33) 1479 del vars, 6992 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.69/1.77	c (round 34) 1479 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.79/1.87	c (round 35) 1529 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.79/1.88	c (round 36) 1529 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.89/1.96	c (round 37) 1579 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.99/2.00	c (round 38) 1579 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.99/2.05	c (round 39) 1629 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67419 impls, 0 clqs
2.09/2.13	c    (1.5s) probing: 1000/2901 (34.5%) - 191 fixings, 474 aggregations, 3498 implications, 0 bound changes
2.09/2.14	c (round 40) 1684 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68455 impls, 0 clqs
2.09/2.16	c (round 41) 1684 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68567 impls, 0 clqs
2.20/2.22	c (round 42) 1734 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
2.20/2.23	c (round 43) 1734 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
2.20/2.28	c (round 44) 1784 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
2.29/2.33	c (round 45) 1784 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
2.39/2.42	c    (1.8s) probing: 1349/2901 (46.5%) - 241 fixings, 570 aggregations, 3807 implications, 0 bound changes
2.39/2.42	c    (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.43	c (round 46) 1785 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69107 impls, 0 clqs
2.39/2.49	c    (1.8s) probing: 1451/2901 (50.0%) - 241 fixings, 570 aggregations, 3811 implications, 0 bound changes
2.39/2.49	c    (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.49	c presolving (47 rounds):
2.39/2.49	c  1785 deleted vars, 7390 deleted constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
2.39/2.49	c  69117 implications, 0 cliques
2.39/2.49	c presolved problem has 2077 variables (2077 bin, 0 int, 0 impl, 0 cont) and 9009 constraints
2.39/2.49	c    9009 constraints of type <logicor>
2.39/2.49	c transformed objective value is always integral (scale: 1)
2.39/2.49	c Presolving Time: 1.79
2.39/2.49	c - non default parameters ----------------------------------------------------------------------
2.39/2.49	c # SCIP version 1.2.1.2
2.39/2.49	c 
2.39/2.49	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.49	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.49	c conflict/interconss = 0
2.39/2.49	c 
2.39/2.49	c # should binary conflicts be preferred?
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c conflict/preferbinary = TRUE
2.39/2.49	c 
2.39/2.49	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.49	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.49	c constraints/agelimit = 1
2.39/2.49	c 
2.39/2.49	c # should enforcement of pseudo solution be disabled?
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c constraints/disableenfops = TRUE
2.39/2.49	c 
2.39/2.49	c # frequency for displaying node information lines
2.39/2.49	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.49	c display/freq = 10000
2.39/2.49	c 
2.39/2.49	c # maximal time in seconds to run
2.39/2.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49	c limits/time = 1799.71
2.39/2.49	c 
2.39/2.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49	c limits/memory = 1620
2.39/2.49	c 
2.39/2.49	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.49	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.49	c lp/solvefreq = 0
2.39/2.49	c 
2.39/2.49	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)
2.39/2.49	c # [type: char, range: {lafpsqd}, default: l]
2.39/2.49	c lp/pricing = a
2.39/2.49	c 
2.39/2.49	c # should presolving try to simplify inequalities
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c constraints/linear/simplifyinequalities = TRUE
2.39/2.49	c 
2.39/2.49	c # should presolving try to simplify knapsacks
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.49	c 
2.39/2.49	c # priority of node selection rule <dfs> in standard mode
2.39/2.49	c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.49	c nodeselection/dfs/stdpriority = 1000000
2.39/2.49	c 
2.39/2.49	c -----------------------------------------------------------------------------------------------
2.39/2.49	c start solving
2.49/2.50	c 
5.99/6.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.99/6.05	c   5.3s|     1 |     0 |  3498 |     - |  22M|   0 |1333 |2077 |9009 |2077 |8443 |   0 |   0 |   0 | 1.602146e+03 |      --      |    Inf 
32.78/32.85	c  32.0s|     1 |     0 | 17669 |     - |  26M|   0 |1334 |2077 |9009 |2077 |8634 | 191 |   0 |   0 | 1.623167e+03 |      --      |    Inf 
37.28/37.37	c  36.4s|     1 |     0 | 20524 |     - |  27M|   0 |1399 |2077 |9009 |2077 |8689 | 246 |   0 |   0 | 1.665742e+03 |      --      |    Inf 
41.87/41.96	c  41.0s|     1 |     0 | 23553 |     - |  28M|   0 |1401 |2077 |9009 |2077 |8736 | 293 |   0 |   0 | 1.704890e+03 |      --      |    Inf 
45.77/45.86	c  44.9s|     1 |     0 | 26426 |     - |  29M|   0 |1431 |2077 |9009 |2077 |8778 | 335 |   0 |   0 | 1.744110e+03 |      --      |    Inf 
51.07/51.12	c  50.1s|     1 |     0 | 29765 |     - |  29M|   0 |1481 |2077 |9009 |2077 |8826 | 383 |   0 |   0 | 1.781128e+03 |      --      |    Inf 
54.66/54.75	c  53.7s|     1 |     0 | 31922 |     - |  30M|   0 |1467 |2077 |9009 |2077 |8868 | 425 |   0 |   0 | 1.793652e+03 |      --      |    Inf 
59.76/59.83	c  58.7s|     1 |     0 | 34815 |     - |  31M|   0 |1520 |2077 |9009 |2077 |8925 | 482 |   0 |   0 | 1.799349e+03 |      --      |    Inf 
68.26/68.36	c  67.2s|     1 |     0 | 38815 |     - |  32M|   0 |1603 |2077 |9009 |2077 |8965 | 522 |   0 |   0 | 1.802956e+03 |      --      |    Inf 
77.96/78.07	c  76.8s|     1 |     0 | 41868 |     - |  34M|   0 |1607 |2077 |9009 |2077 |8998 | 555 |   0 |   0 | 1.805246e+03 |      --      |    Inf 
88.65/88.78	c  87.5s|     1 |     0 | 46318 |     - |  36M|   0 |1598 |2077 |9009 |2077 |9026 | 583 |   0 |   0 | 1.808948e+03 |      --      |    Inf 
96.14/96.20	c  94.8s|     1 |     0 | 49831 |     - |  37M|   0 |1593 |2077 |9009 |2077 |9061 | 618 |   0 |   0 | 1.811648e+03 |      --      |    Inf 
107.74/107.82	c   106s|     1 |     0 | 54789 |     - |  40M|   0 |1673 |2077 |9009 |2077 |9096 | 653 |   0 |   0 | 1.814751e+03 |      --      |    Inf 
124.44/124.50	c   123s|     1 |     0 | 59712 |     - |  41M|   0 |1647 |2077 |9009 |2077 |9134 | 691 |   0 |   0 | 1.817243e+03 |      --      |    Inf 
139.13/139.22	c   138s|     1 |     0 | 64329 |     - |  43M|   0 |1639 |2077 |9009 |2077 |8976 | 724 |   0 |   0 | 1.819536e+03 |      --      |    Inf 
156.42/156.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
156.42/156.57	c   155s|     1 |     0 | 70604 |     - |  45M|   0 |1651 |2077 |9009 |2077 |9013 | 761 |   0 |   0 | 1.822554e+03 |      --      |    Inf 
174.01/174.13	c   172s|     1 |     0 | 76780 |     - |  47M|   0 |1647 |2077 |9009 |2077 |9040 | 788 |   0 |   0 | 1.824382e+03 |      --      |    Inf 
191.40/191.55	c   190s|     1 |     0 | 82357 |     - |  49M|   0 |1604 |2077 |9009 |2077 |9085 | 833 |   0 |   0 | 1.827223e+03 |      --      |    Inf 
212.80/212.93	c   211s|     1 |     0 | 89759 |     - |  52M|   0 |1676 |2077 |9009 |2077 |9118 | 866 |   0 |   0 | 1.831765e+03 |      --      |    Inf 
235.20/235.36	c   233s|     1 |     0 | 96541 |     - |  53M|   0 |1654 |2077 |9009 |2077 |9145 | 893 |   0 |   0 | 1.834717e+03 |      --      |    Inf 
255.28/255.48	c   253s|     1 |     0 |101465 |     - |  55M|   0 |1699 |2077 |9009 |2077 |9033 | 908 |   0 |   0 | 1.835021e+03 |      --      |    Inf 
283.18/283.36	c   281s|     1 |     0 |108827 |     - |  55M|   0 |1699 |2077 |9009 |2077 |9044 | 919 |   0 |   0 | 1.835389e+03 |      --      |    Inf 
298.46/298.69	c   296s|     1 |     0 |113254 |     - |  55M|   0 |1687 |2077 |9009 |2077 |9059 | 934 |   0 |   0 | 1.835787e+03 |      --      |    Inf 
314.86/315.05	c   312s|     1 |     0 |117572 |     - |  55M|   0 |1692 |2077 |9009 |2077 |9072 | 947 |   0 |   0 | 1.836217e+03 |      --      |    Inf 
323.66/323.89	c   321s|     1 |     0 |120094 |     - |  55M|   0 |1650 |2077 |9009 |2077 |9081 | 956 |   0 |   0 | 1.836450e+03 |      --      |    Inf 
330.05/330.28	c   328s|     1 |     0 |121840 |     - |  55M|   0 |1661 |2077 |9009 |2077 |9093 | 968 |   0 |   0 | 1.836844e+03 |      --      |    Inf 
345.34/345.50	c   343s|     1 |     0 |126266 |     - |  56M|   0 |1682 |2077 |9009 |2077 |8977 | 983 |   0 |   0 | 1.837213e+03 |      --      |    Inf 
354.24/354.44	c   352s|     1 |     0 |128695 |     - |  56M|   0 |1619 |2077 |9009 |2077 |8995 |1001 |   0 |   0 | 1.837887e+03 |      --      |    Inf 
364.95/365.16	c   362s|     1 |     0 |131254 |     - |  56M|   0 |1641 |2077 |9009 |2077 |9010 |1016 |   0 |   0 | 1.838308e+03 |      --      |    Inf 
374.64/374.85	c   372s|     1 |     0 |134964 |     - |  56M|   0 |1679 |2077 |9009 |2077 |9034 |1040 |   0 |   0 | 1.840008e+03 |      --      |    Inf 
386.53/386.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
386.53/386.73	c   384s|     1 |     0 |138789 |     - |  56M|   0 |1711 |2077 |9009 |2077 |9060 |1066 |   0 |   0 | 1.841756e+03 |      --      |    Inf 
397.23/397.40	c   394s|     1 |     0 |142509 |     - |  57M|   0 |1696 |2077 |9009 |2077 |9085 |1091 |   0 |   0 | 1.843763e+03 |      --      |    Inf 
406.92/407.17	c   404s|     1 |     0 |145835 |     - |  57M|   0 |1709 |2077 |9009 |2077 |9007 |1118 |   0 |   0 | 1.845069e+03 |      --      |    Inf 
420.42/420.60	c   417s|     1 |     0 |150052 |     - |  57M|   0 |1724 |2077 |9009 |2077 |9024 |1135 |   0 |   0 | 1.846386e+03 |      --      |    Inf 
433.31/433.52	c   430s|     1 |     0 |153768 |     - |  57M|   0 |1712 |2077 |9009 |2077 |9042 |1153 |   0 |   0 | 1.847316e+03 |      --      |    Inf 
441.21/441.45	c   438s|     1 |     0 |155519 |     - |  58M|   0 |1700 |2077 |9009 |2077 |9055 |1166 |   0 |   0 | 1.848058e+03 |      --      |    Inf 
457.90/458.13	c   455s|     1 |     0 |160299 |     - |  58M|   0 |1726 |2077 |9009 |2077 |9074 |1185 |   0 |   0 | 1.849074e+03 |      --      |    Inf 
470.00/470.27	c   467s|     1 |     0 |164182 |     - |  58M|   0 |1713 |2077 |9009 |2077 |9097 |1208 |   0 |   0 | 1.849667e+03 |      --      |    Inf 
489.20/489.42	c   486s|     1 |     0 |169992 |     - |  58M|   0 |1687 |2077 |9009 |2077 |9047 |1224 |   0 |   0 | 1.850857e+03 |      --      |    Inf 
507.49/507.75	c   504s|     1 |     0 |174991 |     - |  58M|   0 |1686 |2077 |9009 |2077 |9060 |1237 |   0 |   0 | 1.851597e+03 |      --      |    Inf 
523.67/523.99	c   520s|     1 |     0 |179794 |     - |  58M|   0 |1705 |2077 |9009 |2077 |9081 |1258 |   0 |   0 | 1.852366e+03 |      --      |    Inf 
534.77/535.06	c   531s|     1 |     0 |183200 |     - |  58M|   0 |1702 |2077 |9009 |2077 |9095 |1272 |   0 |   0 | 1.852588e+03 |      --      |    Inf 
548.76/549.02	c   545s|     1 |     0 |187400 |     - |  58M|   0 |1674 |2077 |9009 |2077 |9107 |1284 |   0 |   0 | 1.852654e+03 |      --      |    Inf 
551.87/552.13	c   548s|     1 |     0 |187762 |     - |  58M|   0 |1675 |2077 |9009 |2077 |9110 |1287 |   0 |   0 | 1.852654e+03 |      --      |    Inf 
555.57/555.81	c   552s|     1 |     0 |187928 |     - |  58M|   0 |1672 |2077 |9009 |2077 |9019 |1290 |   0 |   0 | 1.852655e+03 |      --      |    Inf 
563.97/564.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
563.97/564.27	c   560s|     1 |     0 |190407 |     - |  58M|   0 |1666 |2077 |9009 |2077 |9026 |1297 |   0 |   0 | 1.852781e+03 |      --      |    Inf 
574.06/574.36	c   570s|     1 |     0 |192997 |     - |  58M|   0 |1684 |2077 |9009 |2077 |9036 |1307 |   0 |   0 | 1.853677e+03 |      --      |    Inf 
582.64/582.93	c   579s|     1 |     0 |194815 |     - |  58M|   0 |1674 |2077 |9009 |2077 |9044 |1315 |   0 |   0 | 1.853913e+03 |      --      |    Inf 
588.04/588.30	c   584s|     1 |     0 |195334 |     - |  58M|   0 |1670 |2077 |9009 |2077 |9050 |1321 |   0 |   0 | 1.853917e+03 |      --      |    Inf 
599.74/600.07	c   596s|     1 |     0 |199004 |     - |  58M|   0 |1672 |2077 |9009 |2077 |9056 |1327 |   0 |   0 | 1.853978e+03 |      --      |    Inf 
606.53/606.80	c   602s|     1 |     0 |199762 |     - |  58M|   0 |1674 |2077 |9009 |2077 |8993 |1340 |   0 |   0 | 1.853989e+03 |      --      |    Inf 
611.53/611.85	c   607s|     1 |     0 |200721 |     - |  58M|   0 |1668 |2077 |9009 |2077 |9000 |1347 |   0 |   0 | 1.853999e+03 |      --      |    Inf 
623.82/624.14	c   620s|     1 |     0 |203574 |     - |  58M|   0 |1653 |2077 |9009 |2077 |9010 |1357 |   0 |   0 | 1.854153e+03 |      --      |    Inf 
632.23/632.54	c   628s|     1 |     0 |205695 |     - |  58M|   0 |1658 |2077 |9009 |2077 |9031 |1378 |   0 |   0 | 1.854274e+03 |      --      |    Inf 
643.42/643.73	c   639s|     1 |     0 |208728 |     - |  58M|   0 |1660 |2077 |9009 |2077 |9046 |1393 |   0 |   0 | 1.854321e+03 |      --      |    Inf 
651.32/651.64	c   647s|     1 |     0 |210265 |     - |  58M|   0 |1645 |2077 |9009 |2077 |9055 |1402 |   0 |   0 | 1.854339e+03 |      --      |    Inf 
656.42/656.78	c   652s|     1 |     0 |211549 |     - |  58M|   0 |1647 |2077 |9009 |2077 |9021 |1411 |   0 |   0 | 1.854348e+03 |      --      |    Inf 
661.31/661.68	c   657s|     1 |     0 |212546 |     - |  58M|   0 |1635 |2077 |9009 |2077 |9030 |1420 |   0 |   0 | 1.854377e+03 |      --      |    Inf 
669.11/669.47	c   665s|     1 |     0 |214103 |     - |  58M|   0 |1618 |2077 |9009 |2077 |9041 |1431 |   0 |   0 | 1.854404e+03 |      --      |    Inf 
673.11/673.45	c   669s|     1 |     0 |214813 |     - |  58M|   0 |1619 |2077 |9009 |2077 |9046 |1436 |   0 |   0 | 1.854404e+03 |      --      |    Inf 
678.70/679.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
678.70/679.00	c   674s|     1 |     0 |215171 |     - |  58M|   0 |1622 |2077 |9009 |2077 |9052 |1442 |   0 |   0 | 1.854407e+03 |      --      |    Inf 
683.01/683.37	c   678s|     1 |     0 |215911 |     - |  58M|   0 |1637 |2077 |9009 |2077 |9061 |1451 |   0 |   0 | 1.854416e+03 |      --      |    Inf 
760.58/760.94	c   755s|     1 |     2 |215911 |     - |  58M|   0 |1637 |2077 |9009 |2077 |9061 |1451 |   0 |  32 | 1.854416e+03 |      --      |    Inf 
784.76/785.12	c   779s| 10000 |   108 |215911 |   0.0 |  60M| 282 |   - |2077 |  11k|   0 |   0 |1451 |9446 |  32 | 1.854416e+03 |      --      |    Inf 
809.95/810.33	c   803s| 20000 |   107 |215911 |   0.0 |  60M| 282 |   - |2077 |  12k|   0 |   0 |1451 |  19k|  32 | 1.854416e+03 |      --      |    Inf 
835.43/835.88	c   828s| 30000 |   114 |215911 |   0.0 |  61M| 282 |   - |2077 |  14k|   0 |   0 |1451 |  28k|  32 | 1.854416e+03 |      --      |    Inf 
862.43/862.84	c   853s| 40000 |   113 |215911 |   0.0 |  61M| 282 |   - |2077 |  14k|   0 |   0 |1451 |  36k|  32 | 1.854416e+03 |      --      |    Inf 
887.62/888.05	c   878s| 50000 |   122 |215911 |   0.0 |  61M| 282 |   - |2077 |  15k|   0 |   0 |1451 |  47k|  32 | 1.854416e+03 |      --      |    Inf 
913.01/913.46	c   902s| 60000 |   119 |215911 |   0.0 |  61M| 282 |   - |2077 |  15k|   0 |   0 |1451 |  55k|  32 | 1.854416e+03 |      --      |    Inf 
937.30/937.72	c   926s| 70000 |   110 |215911 |   0.0 |  61M| 282 |   - |2077 |  15k|   0 |   0 |1451 |  62k|  32 | 1.854416e+03 |      --      |    Inf 
964.60/965.04	c   952s| 80000 |   118 |215911 |   0.0 |  61M| 282 |   - |2077 |  15k|   0 |   0 |1451 |  69k|  32 | 1.854416e+03 |      --      |    Inf 
989.59/990.06	c   976s| 90000 |    89 |215911 |   0.0 |  61M| 282 |   - |2077 |  15k|   0 |   0 |1451 |  75k|  32 | 1.854416e+03 |      --      |    Inf 
1014.17/1014.62	c  1000s|100000 |    79 |215911 |   0.0 |  62M| 282 |   - |2077 |  16k|   0 |   0 |1451 |  82k|  32 | 1.854416e+03 |      --      |    Inf 
1040.16/1040.62	c  1025s|110000 |    74 |215911 |   0.0 |  62M| 282 |   - |2077 |  16k|   0 |   0 |1451 |  88k|  32 | 1.854416e+03 |      --      |    Inf 
1065.85/1066.31	c  1050s|120000 |   100 |215911 |   0.0 |  62M| 282 |   - |2077 |  17k|   0 |   0 |1451 |  96k|  32 | 1.854416e+03 |      --      |    Inf 
1092.24/1092.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1092.24/1092.72	c  1076s|130000 |   108 |215911 |   0.0 |  61M| 282 |   - |2077 |  15k|   0 |   0 |1451 | 104k|  32 | 1.854416e+03 |      --      |    Inf 
1117.43/1117.98	c  1100s|140000 |    88 |215911 |   0.0 |  62M| 282 |   - |2077 |  17k|   0 |   0 |1451 | 116k|  32 | 1.854416e+03 |      --      |    Inf 
1142.72/1143.28	c  1124s|150000 |    92 |215911 |   0.0 |  62M| 282 |   - |2077 |  17k|   0 |   0 |1451 | 124k|  32 | 1.854416e+03 |      --      |    Inf 
1164.91/1165.43	c  1146s|160000 |    91 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 135k|  32 | 1.854416e+03 |      --      |    Inf 
1187.00/1187.58	c  1167s|170000 |    89 |215911 |   0.0 |  63M| 282 |   - |2077 |  19k|   0 |   0 |1451 | 144k|  32 | 1.854416e+03 |      --      |    Inf 
1208.90/1209.44	c  1188s|180000 |    84 |215911 |   0.0 |  64M| 282 |   - |2077 |  21k|   0 |   0 |1451 | 154k|  32 | 1.854416e+03 |      --      |    Inf 
1234.59/1235.13	c  1213s|190000 |    80 |215911 |   0.0 |  64M| 282 |   - |2077 |  23k|   0 |   0 |1451 | 163k|  32 | 1.854416e+03 |      --      |    Inf 
1261.08/1261.63	c  1239s|200000 |    85 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 171k|  32 | 1.854416e+03 |      --      |    Inf 
1286.76/1287.35	c  1263s|210000 |    92 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 178k|  32 | 1.854416e+03 |      --      |    Inf 
1313.65/1314.22	c  1289s|220000 |    93 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 186k|  32 | 1.854416e+03 |      --      |    Inf 
1343.55/1344.16	c  1318s|230000 |    83 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 193k|  32 | 1.854416e+03 |      --      |    Inf 
1372.53/1373.13	c  1346s|240000 |    95 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 200k|  32 | 1.854416e+03 |      --      |    Inf 
1402.01/1402.61	c  1375s|250000 |    85 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 209k|  32 | 1.854416e+03 |      --      |    Inf 
1432.01/1432.66	c  1404s|260000 |    79 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 216k|  32 | 1.854416e+03 |      --      |    Inf 
1461.80/1462.40	c  1433s|270000 |    83 |215911 |   0.0 |  63M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 224k|  32 | 1.854416e+03 |      --      |    Inf 
1492.09/1492.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1492.09/1492.75	c  1462s|280000 |    80 |215911 |   0.0 |  64M| 282 |   - |2077 |  18k|   0 |   0 |1451 | 231k|  32 | 1.854416e+03 |      --      |    Inf 
1523.17/1523.84	c  1492s|290000 |    85 |215911 |   0.0 |  64M| 282 |   - |2077 |  19k|   0 |   0 |1451 | 239k|  32 | 1.854416e+03 |      --      |    Inf 
1551.76/1552.44	c  1520s|300000 |    81 |215911 |   0.0 |  64M| 282 |   - |2077 |  19k|   0 |   0 |1451 | 246k|  32 | 1.854416e+03 |      --      |    Inf 
1579.85/1580.51	c  1547s|310000 |    85 |215911 |   0.0 |  64M| 282 |   - |2077 |  19k|   0 |   0 |1451 | 254k|  32 | 1.854416e+03 |      --      |    Inf 
1609.54/1610.22	c  1576s|320000 |    75 |215911 |   0.0 |  64M| 282 |   - |2077 |  19k|   0 |   0 |1451 | 261k|  32 | 1.854416e+03 |      --      |    Inf 
1639.72/1640.41	c  1605s|330000 |    81 |215911 |   0.0 |  64M| 282 |   - |2077 |  19k|   0 |   0 |1451 | 269k|  32 | 1.854416e+03 |      --      |    Inf 
1669.52/1670.29	c  1634s|340000 |    73 |215911 |   0.0 |  64M| 282 |   - |2077 |  19k|   0 |   0 |1451 | 276k|  32 | 1.854416e+03 |      --      |    Inf 
1696.40/1697.11	c  1660s|350000 |    84 |215911 |   0.0 |  61M| 282 |   - |2077 |9248 |   0 |   0 |1451 | 283k|  32 | 1.854416e+03 |      --      |    Inf 
1723.60/1724.39	c  1686s|360000 |    81 |215911 |   0.0 |  61M| 282 |   - |2077 |9350 |   0 |   0 |1451 | 291k|  32 | 1.854416e+03 |      --      |    Inf 
1755.08/1755.83	c  1717s|370000 |    80 |215911 |   0.0 |  61M| 282 |   - |2077 |9497 |   0 |   0 |1451 | 298k|  32 | 1.854416e+03 |      --      |    Inf 
1782.87/1783.68	c  1744s|380000 |    91 |215911 |   0.0 |  61M| 282 |   - |2077 |9286 |   0 |   0 |1451 | 305k|  32 | 1.854416e+03 |      --      |    Inf 
1800.07/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.81	c 
1800.07/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.81	c Solving Time (sec) : 1760.23
1800.07/1800.81	c Solving Nodes      : 385908
1800.07/1800.81	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.81	c Dual Bound         : +1.85441564108544e+03
1800.07/1800.81	c Gap                : infinite
1800.07/1800.81	s UNKNOWN
1800.07/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.81	c Solving Time       :    1760.23
1800.07/1800.81	c Original Problem   :
1800.07/1800.81	c   Problem name     : HOME/instance-2667509-1276426280.opb
1800.07/1800.81	c   Variables        : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81	c   Constraints      : 16399 initial, 16399 maximal
1800.07/1800.81	c Presolved Problem  :
1800.07/1800.81	c   Problem name     : t_HOME/instance-2667509-1276426280.opb
1800.07/1800.81	c   Variables        : 2077 (2077 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81	c   Constraints      : 9009 initial, 23392 maximal
1800.07/1800.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.81	c   trivial          :       0.03          1          0          0          0          0          0          0          0
1800.07/1800.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   implics          :       0.06          0         61          0          0          0          0          0          0
1800.07/1800.81	c   probing          :       0.67        241        570          0          0          0          0          0          0
1800.07/1800.81	c   linear           :       0.26        909          3          0        909          0       6007         31         24
1800.07/1800.81	c   logicor          :       0.69          0          0          0          1          0       1383          0          0
1800.07/1800.81	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.81	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.07/1800.81	c   logicor          :       9009+        61    6171187          0          0     213711   27772696          0          0          0
1800.07/1800.81	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.81	c   integral         :      76.92       0.00       0.00      76.92       0.00
1800.07/1800.81	c   logicor          :     302.71       0.11     302.60       0.00       0.00
1800.07/1800.81	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.81	c   vbounds          :       3.14          2          0          0
1800.07/1800.81	c   rootredcost      :       2.80          0          0          0
1800.07/1800.81	c   pseudoobj        :     438.55    6307929          0          0
1800.07/1800.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.81	c   propagation      :     125.88     213629     213629     213629       48.9      96444       19.1          -
1800.07/1800.81	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.81	c   applied globally :          -          -          -     310073       39.6          -          -          -
1800.07/1800.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.81	c   cut pool         :       0.77         60          -          -       1073          -    (maximal pool size: 9231)
1800.07/1800.81	c   redcost          :       0.00         61          0          0          0          0
1800.07/1800.81	c   impliedbounds    :       0.15         61          0          0        734          0
1800.07/1800.81	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.81	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.81	c   gomory           :     154.30         61          0          0      17860          0
1800.07/1800.81	c   strongcg         :      12.73         20          0          0      10000          0
1800.07/1800.81	c   cmir             :       0.86         10          0          0          0          0
1800.07/1800.81	c   flowcover        :       0.96         10          0          0          0          0
1800.07/1800.81	c   clique           :       1.62         61          0          0        428          0
1800.07/1800.81	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.81	c   mcf              :       0.01          1          0          0          0          0
1800.07/1800.81	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.81	c Pricers            :       Time      Calls       Vars
1800.07/1800.81	c   problem variables:       0.00          0          0
1800.07/1800.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.81	c   relpscost        :      76.92          1          0          0          0          0          2
1800.07/1800.81	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   inference        :      64.18     279108          0          0          0          0     558216
1800.07/1800.81	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.81	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.81	c   LP solutions     :       0.00          -          0
1800.07/1800.81	c   pseudo solutions :       0.00          -          0
1800.07/1800.81	c   oneopt           :       0.28          0          0
1800.07/1800.81	c   crossover        :       0.00          0          0
1800.07/1800.81	c   trivial          :       0.02          2          0
1800.07/1800.81	c   simplerounding   :       0.00          0          0
1800.07/1800.81	c   zirounding       :       0.00          1          0
1800.07/1800.81	c   rounding         :       0.33         62          0
1800.07/1800.81	c   shifting         :       0.91         62          0
1800.07/1800.81	c   intshifting      :       0.00          0          0
1800.07/1800.81	c   twoopt           :       0.00          0          0
1800.07/1800.81	c   fixandinfer      :       0.00          0          0
1800.07/1800.81	c   feaspump         :      24.07          1          0
1800.07/1800.81	c   coefdiving       :       0.00          0          0
1800.07/1800.81	c   pscostdiving     :       0.00          0          0
1800.07/1800.81	c   fracdiving       :       0.00          0          0
1800.07/1800.81	c   veclendiving     :       0.00          0          0
1800.07/1800.81	c   intdiving        :       0.00          0          0
1800.07/1800.81	c   actconsdiving    :       0.00          0          0
1800.07/1800.81	c   objpscostdiving  :       0.00          0          0
1800.07/1800.81	c   rootsoldiving    :       0.00          0          0
1800.07/1800.81	c   linesearchdiving :       0.00          0          0
1800.07/1800.81	c   guideddiving     :       0.00          0          0
1800.07/1800.81	c   octane           :       0.00          0          0
1800.07/1800.81	c   rens             :       0.01          0          0
1800.07/1800.81	c   rins             :       0.00          0          0
1800.07/1800.81	c   localbranching   :       0.00          0          0
1800.07/1800.81	c   mutation         :       0.00          0          0
1800.07/1800.81	c   dins             :       0.00          0          0
1800.07/1800.81	c   undercover       :       0.00          0          0
1800.07/1800.81	c   nlp              :       0.35          0          0
1800.07/1800.81	c   trysol           :       0.21          0          0
1800.07/1800.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.81	c   primal LP        :       0.12          0          0       0.00       0.00
1800.07/1800.81	c   dual LP          :     479.05         62     203007    3274.31     423.77
1800.07/1800.81	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.81	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.81	c   diving/probing LP:      23.98         27      12904     477.93     538.12
1800.07/1800.81	c   strong branching :      76.92         32      28929     904.03     376.09
1800.07/1800.81	c     (at root node) :          -         32      28929     904.03          -
1800.07/1800.81	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.81	c B&B Tree           :
1800.07/1800.81	c   number of runs   :          1
1800.07/1800.81	c   nodes            :     385908
1800.07/1800.81	c   nodes (total)    :     385908
1800.07/1800.81	c   nodes left       :         84
1800.07/1800.81	c   max depth        :        282
1800.07/1800.81	c   max depth (total):        282
1800.07/1800.81	c   backtracks       :     127730 (33.1%)
1800.07/1800.81	c   delayed cutoffs  :     172227
1800.07/1800.81	c   repropagations   :     335635 (12926459 domain reductions, 106830 cutoffs)
1800.07/1800.81	c   avg switch length:       2.77
1800.07/1800.81	c   switching time   :     112.37
1800.07/1800.81	c Solution           :
1800.07/1800.81	c   Solutions found  :          0 (0 improvements)
1800.07/1800.81	c   Primal Bound     :          -
1800.07/1800.81	c   Dual Bound       : +1.85441564108544e+03
1800.07/1800.81	c   Gap              :   infinite
1800.07/1800.81	c   Root Dual Bound  : +1.85441564108544e+03
1800.07/1800.81	c   Root Iterations  :     215911
1800.17/1800.92	c Time complete: 1800.19.

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-2667509-1276426280/watcher-2667509-1276426280 -o /tmp/evaluation-result-2667509-1276426280/solver-2667509-1276426280 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667509-1276426280.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: 0.99 0.98 0.99 3/106 23491
/proc/meminfo: memFree=1609016/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=6696 CPUtime=0
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 984 0 0 0 0 0 0 0 18 0 1 0 16284291 6856704 903 1992294400 4194304 8223781 140735613030288 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23491/statm: 1674 904 343 984 0 687 0

[startup+0.052054 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23491
/proc/meminfo: memFree=1609016/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=13572 CPUtime=0.04
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 2701 0 0 0 3 1 0 0 20 0 1 0 16284291 13897728 2619 1992294400 4194304 8223781 140735613030288 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23491/statm: 3393 2619 365 984 0 2406 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13572

[startup+0.101065 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23491
/proc/meminfo: memFree=1609016/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=14472 CPUtime=0.09
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 2932 0 0 0 8 1 0 0 20 0 1 0 16284291 14819328 2850 1992294400 4194304 8223781 140735613030288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23491/statm: 3618 2850 365 984 0 2631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14472

[startup+0.301101 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23491
/proc/meminfo: memFree=1609016/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=19712 CPUtime=0.29
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 4260 0 0 0 28 1 0 0 20 0 1 0 16284291 20185088 4178 1992294400 4194304 8223781 140735613030288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23491/statm: 4928 4178 365 984 0 3941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19712

[startup+0.701176 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23491
/proc/meminfo: memFree=1609016/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=40232 CPUtime=0.69
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 11822 0 0 0 58 11 0 0 21 0 1 0 16284291 41197568 8965 1992294400 4194304 8223781 140735613030288 18446744073709551615 4914203 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 10058 8965 450 984 0 9071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40232

[startup+1.50133 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23492
/proc/meminfo: memFree=1569080/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=45668 CPUtime=1.49
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 20500 0 0 0 125 24 0 0 23 0 1 0 16284291 46764032 10358 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 11417 10358 464 984 0 10430 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45668

[startup+3.10062 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23492
/proc/meminfo: memFree=1568460/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=58808 CPUtime=3.09
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 31811 0 0 0 269 40 0 0 25 0 1 0 16284291 60219392 13360 1992294400 4194304 8223781 140735613030288 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 14702 13360 541 984 0 13715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58808

[startup+6.30122 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23492
/proc/meminfo: memFree=1556060/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=59172 CPUtime=6.29
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 34422 0 0 0 587 42 0 0 25 0 1 0 16284291 60592128 13598 1992294400 4194304 8223781 140735613030288 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 14793 13598 544 984 0 13806 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59172

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23492
/proc/meminfo: memFree=1555440/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=59408 CPUtime=12.69
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 38710 0 0 0 1224 45 0 0 25 0 1 0 16284291 60833792 13688 1992294400 4194304 8223781 140735613030288 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 14852 13688 544 984 0 13865 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59408

[startup+25.5008 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23494
/proc/meminfo: memFree=1555440/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=59408 CPUtime=25.49
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 46350 0 0 0 2497 52 0 0 25 0 1 0 16284291 60833792 13708 1992294400 4194304 8223781 140735613030288 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 14852 13708 544 984 0 13865 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59408

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23494
/proc/meminfo: memFree=1540932/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=74672 CPUtime=51.07
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 74145 0 0 0 5034 73 0 0 25 0 1 0 16284291 76464128 17274 1992294400 4194304 8223781 140735613030288 18446744073709551615 6569528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 18668 17274 573 984 0 17681 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74672

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23496
/proc/meminfo: memFree=1525060/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=91372 CPUtime=102.25
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 112406 0 0 0 10116 109 0 0 25 0 1 0 16284291 93564928 21263 1992294400 4194304 8223781 140735613030288 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 22843 21263 576 984 0 21856 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 91372

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23496
/proc/meminfo: memFree=1513280/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=103280 CPUtime=162.22
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 152208 0 0 0 16076 146 0 0 25 0 1 0 16284291 105758720 24205 1992294400 4194304 8223781 140735613030288 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 25820 24205 572 984 0 24833 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 103280

[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23498
/proc/meminfo: memFree=1506460/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=110252 CPUtime=222.2
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 193052 0 0 0 22041 179 0 0 25 0 1 0 16284291 112898048 25920 1992294400 4194304 8223781 140735613030288 18446744073709551615 6296707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 27563 25920 572 984 0 26576 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 110252

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23500
/proc/meminfo: memFree=1504600/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=111680 CPUtime=282.17
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 223225 0 0 0 28013 204 0 0 25 0 1 0 16284291 114360320 26417 1992294400 4194304 8223781 140735613030288 18446744073709551615 6563111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 27920 26417 572 984 0 26933 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 111680

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23502
/proc/meminfo: memFree=1501500/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=114720 CPUtime=342.15
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 256270 0 0 0 33977 238 0 0 25 0 1 0 16284291 117473280 27143 1992294400 4194304 8223781 140735613030288 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 28680 27143 572 984 0 27693 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 114720

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23504
/proc/meminfo: memFree=1501996/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=114668 CPUtime=402.13
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 291835 0 0 0 39939 274 0 0 25 0 1 0 16284291 117420032 27004 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 28667 27004 578 984 0 27680 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 114668

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23504
/proc/meminfo: memFree=1502368/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=114436 CPUtime=462.1
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 323921 0 0 0 45902 308 0 0 25 0 1 0 16284291 117182464 26998 1992294400 4194304 8223781 140735613030288 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 28609 26998 576 984 0 27622 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 114436

[startup+522.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23506
/proc/meminfo: memFree=1500136/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=116584 CPUtime=522.08
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 357203 0 0 0 51865 343 0 0 25 0 1 0 16284291 119382016 27418 1992294400 4194304 8223781 140735613030288 18446744073709551615 6564712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 29146 27418 575 984 0 28159 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 116584

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23517
/proc/meminfo: memFree=1498836/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=116344 CPUtime=582.04
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 385765 0 0 0 57827 377 0 0 25 0 1 0 16284291 119136256 27496 1992294400 4194304 8223781 140735613030288 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 29086 27496 573 984 0 28099 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 116344

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23519
/proc/meminfo: memFree=1498960/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=116112 CPUtime=642.03
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 413061 0 0 0 63789 414 0 0 25 0 1 0 16284291 118898688 27483 1992294400 4194304 8223781 140735613030288 18446744073709551615 6563491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 29028 27483 572 984 0 28041 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 116112

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23525
/proc/meminfo: memFree=1491644/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=125116 CPUtime=881.92
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 515461 0 0 0 87252 940 0 0 25 0 1 0 16284291 128118784 29329 1992294400 4194304 8223781 140735613030288 18446744073709551615 4652878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 31279 29329 585 984 0 30292 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 125116

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23527
/proc/meminfo: memFree=1491024/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=125816 CPUtime=941.9
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 515619 0 0 0 93027 1163 0 0 25 0 1 0 16284291 128835584 29487 1992294400 4194304 8223781 140735613030288 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 31454 29487 585 984 0 30467 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 125816

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23529
/proc/meminfo: memFree=1483212/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=133488 CPUtime=1001.88
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 517543 0 0 0 98833 1355 0 0 25 0 1 0 16284291 136691712 31411 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 33372 31411 585 984 0 32385 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 133488

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23529
/proc/meminfo: memFree=1480732/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=136072 CPUtime=1061.85
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 518148 0 0 0 104655 1530 0 0 25 0 1 0 16284291 139337728 32016 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 34018 32016 585 984 0 33031 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 136072

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23531
/proc/meminfo: memFree=1479740/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=137176 CPUtime=1121.83
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 518390 0 0 0 110449 1734 0 0 25 0 1 0 16284291 140468224 32258 1992294400 4194304 8223781 140735613030288 18446744073709551615 5507323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 34294 32258 585 984 0 33307 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 137176

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23533
/proc/meminfo: memFree=1478872/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=138080 CPUtime=1181.8
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 518611 0 0 0 116233 1947 0 0 25 0 1 0 16284291 141393920 32479 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 34520 32479 585 984 0 33533 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 138080

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23535
/proc/meminfo: memFree=1477632/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=139776 CPUtime=1241.78
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 518914 0 0 0 122023 2155 0 0 25 0 1 0 16284291 143130624 32782 1992294400 4194304 8223781 140735613030288 18446744073709551615 5506773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 34944 32782 585 984 0 33957 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 139776

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23537
/proc/meminfo: memFree=1477260/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=140064 CPUtime=1301.76
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 518977 0 0 0 127819 2357 0 0 25 0 1 0 16284291 143425536 32845 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35016 32845 585 984 0 34029 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 140064

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23537
/proc/meminfo: memFree=1476640/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=140836 CPUtime=1361.73
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519134 0 0 0 133620 2553 0 0 25 0 1 0 16284291 144216064 33002 1992294400 4194304 8223781 140735613030288 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35209 33002 585 984 0 34222 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 140836

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23539
/proc/meminfo: memFree=1476268/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=141260 CPUtime=1421.71
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519222 0 0 0 139425 2746 0 0 25 0 1 0 16284291 144650240 33090 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35315 33090 585 984 0 34328 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 141260

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23541
/proc/meminfo: memFree=1475896/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=141712 CPUtime=1481.69
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519314 0 0 0 145233 2936 0 0 25 0 1 0 16284291 145113088 33182 1992294400 4194304 8223781 140735613030288 18446744073709551615 5507358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35428 33182 585 984 0 34441 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 141712

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23543
/proc/meminfo: memFree=1475648/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=142008 CPUtime=1541.66
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519370 0 0 0 151038 3128 0 0 25 0 1 0 16284291 145416192 33238 1992294400 4194304 8223781 140735613030288 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35502 33238 585 984 0 34515 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 142008

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23545
/proc/meminfo: memFree=1475400/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=142280 CPUtime=1601.64
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519412 0 0 0 156848 3316 0 0 25 0 1 0 16284291 145694720 33280 1992294400 4194304 8223781 140735613030288 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35570 33280 585 984 0 34583 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 142280

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23545
/proc/meminfo: memFree=1475276/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=142420 CPUtime=1661.62
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519434 0 0 0 162647 3515 0 0 25 0 1 0 16284291 145838080 33302 1992294400 4194304 8223781 140735613030288 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35605 33302 585 984 0 34618 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 142420

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23547
/proc/meminfo: memFree=1474408/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=143284 CPUtime=1721.59
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519667 0 0 0 168443 3716 0 0 25 0 1 0 16284291 146722816 33535 1992294400 4194304 8223781 140735613030288 18446744073709551615 5924156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35821 33535 585 984 0 34834 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 143284

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23549
/proc/meminfo: memFree=1474160/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=143432 CPUtime=1781.57
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519699 0 0 0 174257 3900 0 0 25 0 1 0 16284291 146874368 33567 1992294400 4194304 8223781 140735613030288 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35858 33567 585 984 0 34871 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 143432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23549
/proc/meminfo: memFree=1474160/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=143432 CPUtime=1800.07
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519699 0 0 0 176051 3956 0 0 25 0 1 0 16284291 146874368 33567 1992294400 4194304 8223781 140735613030288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23491/statm: 35858 33567 585 984 0 34871 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 143432

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

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

[startup+1800.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23549
/proc/meminfo: memFree=1474160/2059040 swapFree=4142408/4192956
[pid=23491] ppid=23489 vsize=64280 CPUtime=1800.17
/proc/23491/stat : 23491 (pbscip.linux.x8) R 23489 23491 22931 0 -1 4202496 519710 0 0 0 176060 3957 0 0 18 0 1 0 16284291 65822720 15198 1992294400 4194304 8223781 140735613030288 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23491/statm: 16070 14942 588 984 0 15083 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 64280

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.2
CPU user time (s): 1760.62
CPU system time (s): 39.582
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 143432

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

runsolver used 2.94055 second user time and 8.5527 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-13 12:51:20
IDJOB=2667509
IDBENCH=2095
IDSOLVER=1169
FILE ID=node019/2667509-1276426280
PBS_JOBID= 11173298
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-hanoi5.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-2667509-1276426280/watcher-2667509-1276426280 -o /tmp/evaluation-result-2667509-1276426280/solver-2667509-1276426280 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667509-1276426280.opb -t 1800 -m 1800

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

MD5SUM BENCH= e569a703dfec131c012510753e8401ab
RANDOM SEED=226456977

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:       1609420 kB
Buffers:         98044 kB
Cached:         253756 kB
SwapCached:       4432 kB
Active:          41388 kB
Inactive:       323596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1609420 kB
SwapTotal:     4192956 kB
SwapFree:      4142408 kB
Dirty:            4980 kB
Writeback:           0 kB
AnonPages:       11660 kB
Mapped:          13708 kB
Slab:            62828 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182192 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-13 13:21:23