Trace number 2664001

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.09 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMbc7893eb7aff4749139e472af91e587e
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 variables2650
Total number of constraints6619
Number of constraints which are clauses6619
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 2650
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 2650
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 2650
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: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664001-1276464287.opb>
0.09/0.13	c original problem has 2650 variables (2650 bin, 0 int, 0 impl, 0 cont) and 6619 constraints
0.09/0.13	c problem read
0.09/0.13	c presolving settings loaded
0.09/0.13	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.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, 6495 upgd conss, 5626 impls, 0 clqs
0.29/0.34	c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6496 upgd conss, 5626 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, 6497 upgd conss, 5626 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, 6497 upgd conss, 7088 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, 6497 upgd conss, 7126 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, 6497 upgd conss, 7126 impls, 0 clqs
0.59/0.64	c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 27314 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, 6497 upgd conss, 46770 impls, 0 clqs
0.89/0.92	c    (0.7s) probing: 548/2650 (20.7%) - 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, 6497 upgd conss, 48372 impls, 0 clqs
0.89/0.94	c    (0.7s) probing: 558/2650 (21.1%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.94	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.94	c presolving (10 rounds):
0.89/0.94	c  188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.89/0.94	c  48372 implications, 0 cliques
0.89/0.94	c presolved problem has 2462 variables (2462 bin, 0 int, 0 impl, 0 cont) and 6490 constraints
0.89/0.94	c    6490 constraints of type <logicor>
0.89/0.94	c transformed objective value is always integral (scale: 1)
0.89/0.94	c Presolving Time: 0.70
0.89/0.94	c - non default parameters ----------------------------------------------------------------------
0.89/0.94	c # SCIP version 1.2.1.2
0.89/0.94	c 
0.89/0.94	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.94	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.94	c conflict/interconss = 0
0.89/0.94	c 
0.89/0.94	c # should binary conflicts be preferred?
0.89/0.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94	c conflict/preferbinary = TRUE
0.89/0.94	c 
0.89/0.94	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.94	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.94	c constraints/agelimit = 1
0.89/0.94	c 
0.89/0.94	c # should enforcement of pseudo solution be disabled?
0.89/0.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94	c constraints/disableenfops = TRUE
0.89/0.94	c 
0.89/0.94	c # frequency for displaying node information lines
0.89/0.94	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.94	c display/freq = 10000
0.89/0.94	c 
0.89/0.94	c # maximal time in seconds to run
0.89/0.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94	c limits/time = 1799.87
0.89/0.94	c 
0.89/0.94	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94	c limits/memory = 1620
0.89/0.94	c 
0.89/0.94	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.94	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.94	c lp/solvefreq = -1
0.89/0.94	c 
0.89/0.94	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.94	c # [type: char, range: {lafpsqd}, default: l]
0.89/0.94	c lp/pricing = a
0.89/0.94	c 
0.89/0.94	c # should presolving try to simplify inequalities
0.89/0.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94	c constraints/linear/simplifyinequalities = TRUE
0.89/0.94	c 
0.89/0.94	c # should presolving try to simplify knapsacks
0.89/0.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.94	c 
0.89/0.94	c # priority of node selection rule <dfs> in standard mode
0.89/0.94	c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.94	c nodeselection/dfs/stdpriority = 1000000
0.89/0.94	c 
0.89/0.94	c -----------------------------------------------------------------------------------------------
0.89/0.94	c start solving
0.89/0.95	c 
0.89/0.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.95	c   0.7s|     1 |     2 |     0 |     - |  11M|   0 |   - |2462 |6490 |   0 |   0 |   0 |   0 |   0 | 1.860000e+02 |      --      |    Inf 
55.97/56.05	c  54.3s| 10000 |    47 |     0 |   0.0 |  12M|  75 |   - |2462 |6551 |   0 |   0 |   0 |6650 |   0 | 1.860000e+02 |      --      |    Inf 
120.64/120.73	c   117s| 20000 |    43 |     0 |   0.0 |  12M|  75 |   - |2462 |6556 |   0 |   0 |   0 |  13k|   0 | 1.860000e+02 |      --      |    Inf 
188.91/189.01	c   184s| 30000 |    46 |     0 |   0.0 |  12M|  75 |   - |2462 |6556 |   0 |   0 |   0 |  20k|   0 | 1.860000e+02 |      --      |    Inf 
251.29/251.45	c   245s| 40000 |    44 |     0 |   0.0 |  12M|  75 |   - |2462 |6585 |   0 |   0 |   0 |  26k|   0 | 1.860000e+02 |      --      |    Inf 
310.47/310.62	c   303s| 50000 |    45 |     0 |   0.0 |  12M|  75 |   - |2462 |6594 |   0 |   0 |   0 |  33k|   0 | 1.860000e+02 |      --      |    Inf 
360.85/361.01	c   352s| 60000 |    47 |     0 |   0.0 |  12M|  75 |   - |2462 |6591 |   0 |   0 |   0 |  40k|   0 | 1.860000e+02 |      --      |    Inf 
412.24/412.40	c   402s| 70000 |    45 |     0 |   0.0 |  12M|  75 |   - |2462 |6612 |   0 |   0 |   0 |  47k|   0 | 1.860000e+02 |      --      |    Inf 
461.21/461.48	c   450s| 80000 |    43 |     0 |   0.0 |  12M|  75 |   - |2462 |6633 |   0 |   0 |   0 |  55k|   0 | 1.860000e+02 |      --      |    Inf 
518.20/518.47	c   506s| 90000 |    46 |     0 |   0.0 |  12M|  75 |   - |2462 |6629 |   0 |   0 |   0 |  62k|   0 | 1.860000e+02 |      --      |    Inf 
566.77/567.06	c   553s|100000 |    45 |     0 |   0.0 |  12M|  75 |   - |2462 |6632 |   0 |   0 |   0 |  69k|   0 | 1.860000e+02 |      --      |    Inf 
625.56/625.84	c   611s|110000 |    45 |     0 |   0.0 |  12M|  75 |   - |2462 |6617 |   0 |   0 |   0 |  77k|   0 | 1.860000e+02 |      --      |    Inf 
680.64/680.95	c   664s|120000 |    45 |     0 |   0.0 |  12M|  75 |   - |2462 |6607 |   0 |   0 |   0 |  84k|   0 | 1.860000e+02 |      --      |    Inf 
745.70/746.05	c   728s|130000 |    40 |     0 |   0.0 |  12M|  75 |   - |2462 |6660 |   0 |   0 |   0 |  91k|   0 | 1.860000e+02 |      --      |    Inf 
817.78/818.19	c   798s|140000 |    40 |     0 |   0.0 |  12M|  75 |   - |2462 |6682 |   0 |   0 |   0 |  98k|   0 | 1.860000e+02 |      --      |    Inf 
877.56/877.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
877.56/877.99	c   857s|150000 |    44 |     0 |   0.0 |  12M|  75 |   - |2462 |6637 |   0 |   0 |   0 | 106k|   0 | 1.860000e+02 |      --      |    Inf 
946.43/946.80	c   924s|160000 |    41 |     0 |   0.0 |  13M|  75 |   - |2462 |6655 |   0 |   0 |   0 | 113k|   0 | 1.860000e+02 |      --      |    Inf 
1020.00/1020.42	c   996s|170000 |    44 |     0 |   0.0 |  12M|  75 |   - |2462 |6646 |   0 |   0 |   0 | 121k|   0 | 1.860000e+02 |      --      |    Inf 
1087.39/1087.85	c  1061s|180000 |    44 |     0 |   0.0 |  12M|  75 |   - |2462 |6658 |   0 |   0 |   0 | 128k|   0 | 1.860000e+02 |      --      |    Inf 
1149.66/1150.11	c  1122s|190000 |    46 |     0 |   0.0 |  12M|  75 |   - |2462 |6640 |   0 |   0 |   0 | 136k|   0 | 1.860000e+02 |      --      |    Inf 
1200.54/1201.08	c  1172s|200000 |    43 |     0 |   0.0 |  12M|  75 |   - |2462 |6675 |   0 |   0 |   0 | 142k|   0 | 1.860000e+02 |      --      |    Inf 
1255.22/1255.75	c  1225s|210000 |    42 |     0 |   0.0 |  12M|  75 |   - |2462 |6683 |   0 |   0 |   0 | 149k|   0 | 1.860000e+02 |      --      |    Inf 
1308.10/1308.61	c  1277s|220000 |    43 |     0 |   0.0 |  12M|  75 |   - |2462 |6710 |   0 |   0 |   0 | 156k|   0 | 1.860000e+02 |      --      |    Inf 
1368.68/1369.24	c  1336s|230000 |    40 |     0 |   0.0 |  13M|  75 |   - |2462 |6740 |   0 |   0 |   0 | 162k|   0 | 1.860000e+02 |      --      |    Inf 
1429.76/1430.31	c  1396s|240000 |    45 |     0 |   0.0 |  12M|  75 |   - |2462 |6672 |   0 |   0 |   0 | 169k|   0 | 1.860000e+02 |      --      |    Inf 
1488.23/1488.84	c  1453s|250000 |    42 |     0 |   0.0 |  12M|  75 |   - |2462 |6696 |   0 |   0 |   0 | 176k|   0 | 1.860000e+02 |      --      |    Inf 
1541.41/1542.06	c  1505s|260000 |    40 |     0 |   0.0 |  12M|  75 |   - |2462 |6764 |   0 |   0 |   0 | 182k|   0 | 1.860000e+02 |      --      |    Inf 
1596.69/1597.39	c  1559s|270000 |    48 |     0 |   0.0 |  13M|  75 |   - |2462 |6899 |   0 |   0 |   0 | 190k|   0 | 1.860000e+02 |      --      |    Inf 
1648.07/1648.79	c  1609s|280000 |    41 |     0 |   0.0 |  13M|  75 |   - |2462 |6931 |   0 |   0 |   0 | 197k|   0 | 1.860000e+02 |      --      |    Inf 
1706.06/1706.78	c  1665s|290000 |    43 |     0 |   0.0 |  13M|  75 |   - |2462 |6944 |   0 |   0 |   0 | 204k|   0 | 1.860000e+02 |      --      |    Inf 
1766.13/1766.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1766.13/1766.81	c  1724s|300000 |    45 |     0 |   0.0 |  13M|  75 |   - |2462 |7201 |   0 |   0 |   0 | 211k|   0 | 1.860000e+02 |      --      |    Inf 
1800.04/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71	c 
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time (sec) : 1757.05
1800.04/1800.71	c Solving Nodes      : 305743
1800.04/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.71	c Dual Bound         : +1.86000000000000e+02
1800.04/1800.71	c Gap                : infinite
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time       :    1757.05
1800.04/1800.71	c Original Problem   :
1800.04/1800.71	c   Problem name     : HOME/instance-2664001-1276464287.opb
1800.04/1800.71	c   Variables        : 2650 (2650 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 6619 initial, 6619 maximal
1800.04/1800.71	c Presolved Problem  :
1800.04/1800.71	c   Problem name     : t_HOME/instance-2664001-1276464287.opb
1800.04/1800.71	c   Variables        : 2462 (2462 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 6490 initial, 7452 maximal
1800.04/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   implics          :       0.01          0          3          0          0          0          0          0          0
1800.04/1800.71	c   probing          :       0.42          2        183          0          0          0          0          0          0
1800.04/1800.71	c   linear           :       0.11          0          0          0          0          0        122        122          0
1800.04/1800.71	c   logicor          :       0.14          0          0          0          0          0          7          0          0
1800.04/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.71	c   logicor          :       6490+         0    8108402          0          0     202688  100928911          0          0          0
1800.04/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.71	c   logicor          :     500.53       0.00     500.53       0.00       0.00
1800.04/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.71	c   vbounds          :       3.77          2          0          0
1800.04/1800.71	c   rootredcost      :       3.50          0          0          0
1800.04/1800.71	c   pseudoobj        :     787.65    8281409          0          0
1800.04/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.71	c   propagation      :     143.09     202686     202686     202686       42.5      12369       17.8          -
1800.04/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.71	c   applied globally :          -          -          -     215055       41.1          -          -          -
1800.04/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.71	c Pricers            :       Time      Calls       Vars
1800.04/1800.71	c   problem variables:       0.00          0          0
1800.04/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   inference        :     112.57     204352          0          0          0          0     408704
1800.04/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.71	c   LP solutions     :       0.00          -          0
1800.04/1800.71	c   pseudo solutions :       0.00          -          0
1800.04/1800.71	c   oneopt           :       0.22          0          0
1800.04/1800.71	c   trivial          :       0.01          2          0
1800.04/1800.71	c   simplerounding   :       0.00          0          0
1800.04/1800.71	c   zirounding       :       0.00          0          0
1800.04/1800.71	c   rounding         :       0.00          0          0
1800.04/1800.71	c   shifting         :       0.00          0          0
1800.04/1800.71	c   intshifting      :       0.00          0          0
1800.04/1800.71	c   twoopt           :       0.00          0          0
1800.04/1800.71	c   fixandinfer      :       0.00          0          0
1800.04/1800.71	c   feaspump         :       0.00          0          0
1800.04/1800.71	c   coefdiving       :       0.00          0          0
1800.04/1800.71	c   pscostdiving     :       0.00          0          0
1800.04/1800.71	c   fracdiving       :       0.00          0          0
1800.04/1800.71	c   veclendiving     :       0.00          0          0
1800.04/1800.71	c   intdiving        :       0.00          0          0
1800.04/1800.71	c   actconsdiving    :       0.00          0          0
1800.04/1800.71	c   objpscostdiving  :       0.00          0          0
1800.04/1800.71	c   rootsoldiving    :       0.00          0          0
1800.04/1800.71	c   linesearchdiving :       0.00          0          0
1800.04/1800.71	c   guideddiving     :       0.00          0          0
1800.04/1800.71	c   octane           :       0.00          0          0
1800.04/1800.71	c   rens             :       0.00          0          0
1800.04/1800.71	c   rins             :       0.00          0          0
1800.04/1800.71	c   localbranching   :       0.00          0          0
1800.04/1800.71	c   mutation         :       0.00          0          0
1800.04/1800.71	c   crossover        :       0.00          0          0
1800.04/1800.71	c   dins             :       0.00          0          0
1800.04/1800.71	c   undercover       :       0.00          0          0
1800.04/1800.71	c   nlp              :       0.21          0          0
1800.04/1800.71	c   trysol           :       0.20          0          0
1800.04/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.71	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.71	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.71	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.71	c B&B Tree           :
1800.04/1800.71	c   number of runs   :          1
1800.04/1800.71	c   nodes            :     305743
1800.04/1800.71	c   nodes (total)    :     305743
1800.04/1800.71	c   nodes left       :         41
1800.04/1800.71	c   max depth        :         75
1800.04/1800.71	c   max depth (total):         75
1800.04/1800.71	c   backtracks       :     102926 (33.7%)
1800.04/1800.71	c   delayed cutoffs  :     102921
1800.04/1800.71	c   repropagations   :     282906 (49583860 domain reductions, 101295 cutoffs)
1800.04/1800.71	c   avg switch length:       2.57
1800.04/1800.71	c   switching time   :     233.24
1800.04/1800.71	c Solution           :
1800.04/1800.71	c   Solutions found  :          0 (0 improvements)
1800.04/1800.71	c   Primal Bound     :          -
1800.04/1800.71	c   Dual Bound       : +1.86000000000000e+02
1800.04/1800.71	c   Gap              :   infinite
1800.04/1800.71	c   Root Dual Bound  : +1.86000000000000e+02
1800.04/1800.71	c   Root Iterations  :          0
1800.04/1800.76	c Time complete: 1800.08.

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-2664001-1276464287/watcher-2664001-1276464287 -o /tmp/evaluation-result-2664001-1276464287/solver-2664001-1276464287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664001-1276464287.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.97 1.02 1.07 3/106 27704
/proc/meminfo: memFree=1851356/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=5556 CPUtime=0
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 888 0 0 0 0 0 0 0 20 0 1 0 22030227 5689344 810 1992294400 4194304 7136930 140734231050016 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27704/statm: 1389 810 249 719 0 668 0

[startup+0.045907 s]
/proc/loadavg: 0.97 1.02 1.07 3/106 27704
/proc/meminfo: memFree=1851356/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=11324 CPUtime=0.03
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 2326 0 0 0 3 0 0 0 20 0 1 0 22030227 11595776 2247 1992294400 4194304 7136930 140734231050016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27704/statm: 2831 2247 271 719 0 2110 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11324

[startup+0.100916 s]
/proc/loadavg: 0.97 1.02 1.07 3/106 27704
/proc/meminfo: memFree=1851356/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=12792 CPUtime=0.09
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 2688 0 0 0 8 1 0 0 20 0 1 0 22030227 13099008 2609 1992294400 4194304 7136930 140734231050016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27704/statm: 3198 2609 271 719 0 2477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12792

[startup+0.300952 s]
/proc/loadavg: 0.97 1.02 1.07 3/106 27704
/proc/meminfo: memFree=1851356/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=29716 CPUtime=0.29
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 7338 0 0 0 26 3 0 0 20 0 1 0 22030227 30429184 6648 1992294400 4194304 7136930 140734231050016 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 7429 6648 344 719 0 6708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29716

[startup+0.701022 s]
/proc/loadavg: 0.97 1.02 1.07 3/106 27704
/proc/meminfo: memFree=1851356/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=30580 CPUtime=0.69
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 10604 0 0 0 60 9 0 0 21 0 1 0 22030227 31313920 6905 1992294400 4194304 7136930 140734231050016 18446744073709551615 5969263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 7645 6905 365 719 0 6924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30580

[startup+1.50117 s]
/proc/loadavg: 0.97 1.02 1.07 2/107 27705
/proc/meminfo: memFree=1823572/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=35340 CPUtime=1.49
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 12815 0 0 0 136 13 0 0 23 0 1 0 22030227 36188160 8085 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 8835 8085 388 719 0 8114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35340

[startup+3.10145 s]
/proc/loadavg: 0.97 1.02 1.07 2/107 27705
/proc/meminfo: memFree=1818116/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=39480 CPUtime=3.08
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 13860 0 0 0 291 17 0 0 25 0 1 0 22030227 40427520 9130 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 9870 9130 388 719 0 9149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39480

[startup+6.30102 s]
/proc/loadavg: 0.98 1.02 1.07 2/107 27705
/proc/meminfo: memFree=1811916/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=45028 CPUtime=6.29
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 15225 0 0 0 603 26 0 0 25 0 1 0 22030227 46108672 10495 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 11257 10495 388 719 0 10536 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45028

[startup+12.7012 s]
/proc/loadavg: 0.98 1.02 1.07 2/107 27705
/proc/meminfo: memFree=1804972/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=50732 CPUtime=12.69
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 16654 0 0 0 1227 42 0 0 25 0 1 0 22030227 51949568 11924 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 12683 11924 388 719 0 11962 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50732

[startup+25.5005 s]
/proc/loadavg: 0.98 1.02 1.07 2/107 27705
/proc/meminfo: memFree=1798772/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=56632 CPUtime=25.48
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 18096 0 0 0 2475 73 0 0 25 0 1 0 22030227 57991168 13366 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 14158 13366 388 719 0 13437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56632

[startup+51.101 s]
/proc/loadavg: 0.99 1.01 1.07 2/107 27705
/proc/meminfo: memFree=1791580/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=64060 CPUtime=51.06
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 19948 0 0 0 4961 145 0 0 25 0 1 0 22030227 65597440 15218 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 16015 15218 388 719 0 15294 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 64060

[startup+102.308 s]
/proc/loadavg: 0.99 1.01 1.06 2/107 27707
/proc/meminfo: memFree=1788356/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=66952 CPUtime=102.25
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 20675 0 0 0 9949 276 0 0 25 0 1 0 22030227 68558848 15945 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 16738 15945 388 719 0 16017 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 66952

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.05 2/107 27709
/proc/meminfo: memFree=1788108/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=67220 CPUtime=162.22
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 20737 0 0 0 15797 425 0 0 25 0 1 0 22030227 68833280 16007 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 16805 16007 388 719 0 16084 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 67220

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.05 2/107 27711
/proc/meminfo: memFree=1786620/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=68688 CPUtime=222.2
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 21084 0 0 0 21640 580 0 0 25 0 1 0 22030227 70336512 16354 1992294400 4194304 7136930 140734231050016 18446744073709551615 5506857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 17172 16354 388 719 0 16451 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 68688

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/107 27711
/proc/meminfo: memFree=1775708/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=79620 CPUtime=282.18
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 23820 0 0 0 27511 707 0 0 25 0 1 0 22030227 81530880 19090 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 19905 19090 388 719 0 19184 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 79620

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/107 27713
/proc/meminfo: memFree=1772856/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=82484 CPUtime=342.16
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 24504 0 0 0 33378 838 0 0 25 0 1 0 22030227 84463616 19774 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 20621 19774 388 719 0 19900 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 82484

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.03 2/107 27715
/proc/meminfo: memFree=1771864/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=83640 CPUtime=402.13
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 24769 0 0 0 39235 978 0 0 25 0 1 0 22030227 85647360 20039 1992294400 4194304 7136930 140734231050016 18446744073709551615 4210534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 20910 20039 388 719 0 20189 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 83640

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.03 2/107 27717
/proc/meminfo: memFree=1770872/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=84540 CPUtime=462.11
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 24972 0 0 0 45093 1118 0 0 25 0 1 0 22030227 86568960 20242 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 21135 20242 388 719 0 20414 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 84540

[startup+522.3 s]
/proc/loadavg: 0.99 1.00 1.02 2/107 27719
/proc/meminfo: memFree=1770128/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=85324 CPUtime=522.09
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25163 0 0 0 50956 1253 0 0 25 0 1 0 22030227 87371776 20433 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 21331 20433 388 719 0 20610 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 85324

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.01 2/107 27719
/proc/meminfo: memFree=1769756/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=85828 CPUtime=582.07
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25237 0 0 0 56815 1392 0 0 25 0 1 0 22030227 87887872 20507 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 21457 20507 388 719 0 20736 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 85828

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.01 2/107 27721
/proc/meminfo: memFree=1769508/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=86112 CPUtime=642.06
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25290 0 0 0 62675 1531 0 0 25 0 1 0 22030227 88178688 20560 1992294400 4194304 7136930 140734231050016 18446744073709551615 4677308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 21528 20560 388 719 0 20807 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 86112

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27727
/proc/meminfo: memFree=1768392/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=87280 CPUtime=881.96
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25510 0 0 0 86090 2106 0 0 25 0 1 0 22030227 89374720 20780 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 21820 20780 388 719 0 21099 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 87280

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27729
/proc/meminfo: memFree=1768144/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=87604 CPUtime=941.94
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25588 0 0 0 91953 2241 0 0 25 0 1 0 22030227 89706496 20858 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 21901 20858 388 719 0 21180 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 87604

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27731
/proc/meminfo: memFree=1767524/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=88064 CPUtime=1001.91
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25699 0 0 0 97814 2377 0 0 25 0 1 0 22030227 90177536 20969 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22016 20969 388 719 0 21295 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 88064

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27733
/proc/meminfo: memFree=1767400/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=88228 CPUtime=1061.89
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25746 0 0 0 103671 2518 0 0 25 0 1 0 22030227 90345472 21016 1992294400 4194304 7136930 140734231050016 18446744073709551615 4653078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22057 21016 388 719 0 21336 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 88228

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27735
/proc/meminfo: memFree=1767152/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=88404 CPUtime=1121.87
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25794 0 0 0 109518 2669 0 0 25 0 1 0 22030227 90525696 21064 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22101 21064 388 719 0 21380 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 88404

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27735
/proc/meminfo: memFree=1766904/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=88716 CPUtime=1181.85
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25842 0 0 0 115368 2817 0 0 25 0 1 0 22030227 90845184 21112 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22179 21112 388 719 0 21458 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 88716

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27737
/proc/meminfo: memFree=1766656/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=88856 CPUtime=1241.83
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25878 0 0 0 121219 2964 0 0 25 0 1 0 22030227 90988544 21148 1992294400 4194304 7136930 140734231050016 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22214 21148 388 719 0 21493 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 88856

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 27739
/proc/meminfo: memFree=1766408/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=88996 CPUtime=1301.81
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25908 0 0 0 127078 3103 0 0 25 0 1 0 22030227 91131904 21178 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22249 21178 388 719 0 21528 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 88996

[startup+1362.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 27741
/proc/meminfo: memFree=1766408/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=88996 CPUtime=1361.78
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25914 0 0 0 132935 3243 0 0 25 0 1 0 22030227 91131904 21184 1992294400 4194304 7136930 140734231050016 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22249 21184 388 719 0 21528 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 88996

[startup+1422.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 27743
/proc/meminfo: memFree=1766284/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89156 CPUtime=1421.77
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25941 0 0 0 138792 3385 0 0 25 0 1 0 22030227 91295744 21211 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22289 21211 388 719 0 21568 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 89156

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27743
/proc/meminfo: memFree=1766160/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89156 CPUtime=1481.74
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25949 0 0 0 144645 3529 0 0 25 0 1 0 22030227 91295744 21219 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22289 21219 388 719 0 21568 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 89156

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27745
/proc/meminfo: memFree=1766160/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89288 CPUtime=1541.72
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25957 0 0 0 150504 3668 0 0 25 0 1 0 22030227 91430912 21227 1992294400 4194304 7136930 140734231050016 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22322 21227 388 719 0 21601 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 89288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27747
/proc/meminfo: memFree=1766036/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89288 CPUtime=1601.69
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25973 0 0 0 156357 3812 0 0 25 0 1 0 22030227 91430912 21243 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22322 21243 388 719 0 21601 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 89288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27749
/proc/meminfo: memFree=1766036/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89420 CPUtime=1661.67
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25986 0 0 0 162208 3959 0 0 25 0 1 0 22030227 91566080 21256 1992294400 4194304 7136930 140734231050016 18446744073709551615 4677308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22355 21256 388 719 0 21634 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 89420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27751
/proc/meminfo: memFree=1765912/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89420 CPUtime=1721.65
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 25993 0 0 0 168063 4102 0 0 25 0 1 0 22030227 91566080 21263 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22355 21263 388 719 0 21634 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 89420

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27751
/proc/meminfo: memFree=1765540/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89600 CPUtime=1781.62
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 26030 0 0 0 173919 4243 0 0 25 0 1 0 22030227 91750400 21300 1992294400 4194304 7136930 140734231050016 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22400 21300 388 719 0 21679 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 89600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27753
/proc/meminfo: memFree=1765416/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89732 CPUtime=1800.04
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 26062 0 0 0 175717 4287 0 0 25 0 1 0 22030227 91885568 21332 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22433 21332 388 719 0 21712 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 89732

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27753
/proc/meminfo: memFree=1765416/2059040 swapFree=4136716/4192956
[pid=27704] ppid=27702 vsize=89732 CPUtime=1800.04
/proc/27704/stat : 27704 (pbscip.linux.x8) R 27702 27704 27247 0 -1 4202496 26062 0 0 0 175717 4287 0 0 25 0 1 0 22030227 91885568 21332 1992294400 4194304 7136930 140734231050016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27704/statm: 22433 21332 388 719 0 21712 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 89732

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.09
CPU user time (s): 1757.21
CPU system time (s): 42.8865
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 89732

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

runsolver used 2.80457 second user time and 8.67868 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-13 23:24:47
IDJOB=2664001
IDBENCH=2175
IDSOLVER=1167
FILE ID=node012/2664001-1276464287
PBS_JOBID= 11173352
Free space on /tmp= 62412 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664001-1276464287/watcher-2664001-1276464287 -o /tmp/evaluation-result-2664001-1276464287/solver-2664001-1276464287 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664001-1276464287.opb -t 1800 -m 1800

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

MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e
RANDOM SEED=694266930

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851752 kB
Buffers:         35388 kB
Cached:          94712 kB
SwapCached:       9156 kB
Active:          80488 kB
Inactive:        61832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851752 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            3384 kB
Writeback:           0 kB
AnonPages:       10808 kB
Mapped:           9156 kB
Slab:            43072 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182180 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= 62408 MiB
End job on node012 at 2010-06-13 23:54:49