Trace number 2705235

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver? 1790.61 1790.56

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9048_1-unsat--soft-66-100-0.wbo
MD5SUM6fbf16c6c6628a8e757beb1e2cb2761c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.151976
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables15106
Total number of constraints51743
Number of soft constraints17692
Number of constraints which are clauses51415
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints328
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 882854
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 882853
Biggest number in a constraint 105
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 658
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705235-1278576542.wbo>
0.39/0.42	c original problem has 50490 variables (32798 bin, 0 int, 17692 impl, 0 cont) and 69436 constraints
0.39/0.42	c problem read
0.39/0.42	c presolving settings loaded
1.19/1.29	c presolving:
1.69/1.74	c (round 1) 2260 del vars, 7386 del conss, 1558 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 760574 impls, 0 clqs
2.09/2.17	c (round 2) 6299 del vars, 20111 del conss, 3290 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 780169 impls, 0 clqs
2.59/2.64	c (round 3) 13427 del vars, 31364 del conss, 4425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 789975 impls, 0 clqs
2.89/2.94	c (round 4) 20614 del vars, 38102 del conss, 5113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 803135 impls, 0 clqs
3.09/3.11	c (round 5) 25485 del vars, 42460 del conss, 5589 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 806945 impls, 0 clqs
3.19/3.23	c (round 6) 28554 del vars, 45231 del conss, 5910 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 809365 impls, 0 clqs
3.19/3.30	c (round 7) 30489 del vars, 46927 del conss, 6056 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 810523 impls, 0 clqs
3.30/3.34	c (round 8) 31708 del vars, 47827 del conss, 6133 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 810956 impls, 0 clqs
3.30/3.36	c (round 9) 32356 del vars, 48198 del conss, 6154 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811010 impls, 0 clqs
3.30/3.38	c (round 10) 32635 del vars, 48342 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811032 impls, 0 clqs
3.30/3.39	c (round 11) 32756 del vars, 48393 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811040 impls, 0 clqs
3.30/3.39	c (round 12) 32804 del vars, 48422 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811040 impls, 0 clqs
3.39/3.40	c (round 13) 32827 del vars, 48440 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811040 impls, 0 clqs
3.39/3.41	c (round 14) 32842 del vars, 48448 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811040 impls, 0 clqs
3.39/3.44	c (round 15) 32848 del vars, 48450 del conss, 12191 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811040 impls, 0 clqs
3.39/3.45	c (round 16) 32879 del vars, 48479 del conss, 12191 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 811158 impls, 0 clqs
3.49/3.57	c (round 17) 32879 del vars, 48479 del conss, 12191 chg bounds, 2 chg sides, 3 chg coeffs, 9694 upgd conss, 823288 impls, 0 clqs
3.59/3.63	c (round 18) 32879 del vars, 48480 del conss, 12191 chg bounds, 12 chg sides, 32 chg coeffs, 9694 upgd conss, 830118 impls, 0 clqs
3.59/3.66	c (round 19) 32879 del vars, 48480 del conss, 12191 chg bounds, 19 chg sides, 43 chg coeffs, 9694 upgd conss, 830118 impls, 0 clqs
8.49/8.59	c    (8.2s) probing: 1000/11579 (8.6%) - 0 fixings, 0 aggregations, 62598 implications, 0 bound changes
11.49/11.50	c    (11.1s) probing: 2000/11579 (17.3%) - 0 fixings, 0 aggregations, 69436 implications, 0 bound changes
11.49/11.50	c    (11.1s) probing: 2001/11579 (17.3%) - 0 fixings, 0 aggregations, 69443 implications, 0 bound changes
11.49/11.50	c    (11.1s) probing aborted: 2000/2000 successive useless probings
11.49/11.50	c presolving (20 rounds):
11.49/11.50	c  32879 deleted vars, 48480 deleted constraints, 12191 tightened bounds, 0 added holes, 19 changed sides, 44 changed coefficients
11.49/11.50	c  1152176 implications, 0 cliques
11.49/11.50	c presolved problem has 17611 variables (11579 bin, 0 int, 6032 impl, 0 cont) and 20960 constraints
11.49/11.50	c     810 constraints of type <varbound>
11.49/11.50	c     220 constraints of type <knapsack>
11.49/11.50	c    7341 constraints of type <setppc>
11.49/11.50	c    5231 constraints of type <linear>
11.49/11.50	c    6032 constraints of type <indicator>
11.49/11.50	c    1326 constraints of type <logicor>
11.49/11.50	c transformed objective value is always integral (scale: 1)
11.49/11.50	c Presolving Time: 10.91
11.49/11.50	c - non default parameters ----------------------------------------------------------------------
11.49/11.50	c # SCIP version 1.2.1.3
11.49/11.50	c 
11.49/11.50	c # frequency for displaying node information lines
11.49/11.50	c # [type: int, range: [-1,2147483647], default: 100]
11.49/11.50	c display/freq = 10000
11.49/11.50	c 
11.49/11.50	c # maximal time in seconds to run
11.49/11.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.49/11.50	c limits/time = 1789.58
11.49/11.50	c 
11.49/11.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.49/11.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.49/11.50	c limits/memory = 3420
11.49/11.50	c 
11.49/11.50	c # default clock type (1: CPU user seconds, 2: wall clock time)
11.49/11.50	c # [type: int, range: [1,2], default: 1]
11.49/11.50	c timing/clocktype = 2
11.49/11.50	c 
11.49/11.50	c # should presolving try to simplify inequalities
11.49/11.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.49/11.50	c constraints/linear/simplifyinequalities = TRUE
11.49/11.50	c 
11.49/11.50	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
11.49/11.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.49/11.50	c constraints/indicator/addCouplingCons = TRUE
11.49/11.50	c 
11.49/11.50	c # should presolving try to simplify knapsacks
11.49/11.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.49/11.50	c constraints/knapsack/simplifyinequalities = TRUE
11.49/11.50	c 
11.49/11.50	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.49/11.50	c # [type: int, range: [-1,2147483647], default: -1]
11.49/11.50	c separating/rapidlearning/freq = 0
11.49/11.50	c 
11.49/11.50	c -----------------------------------------------------------------------------------------------
11.49/11.50	c start solving
11.49/11.51	c 
11.49/11.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.49/11.56	c  11.1s|     1 |     0 |    14 |     - | 170M|   0 |   0 |  17k|  20k|  17k|8915 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.49/11.59	c  11.2s|     1 |     0 |   649 |     - | 170M|   0 |   0 |  17k|  20k|  17k|9530 | 615 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.59/11.61	c  11.2s|     1 |     0 |   774 |     - | 170M|   0 |   0 |  17k|  20k|  17k|9619 | 704 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.59/11.63	c  11.2s|     1 |     0 |   778 |     - | 170M|   0 |   0 |  17k|  20k|  17k|9623 | 708 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.59/11.64	c  11.2s|     1 |     2 |   778 |     - | 170M|   0 |   0 |  17k|  20k|  17k|9623 | 708 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
172.20/172.24	c   172s| 10000 | 10001 | 13765 |   1.3 | 252M| 433 |   0 |  17k|  20k|  17k|  10k|5694 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
323.60/323.61	c   323s| 20000 | 20001 | 14602 |   0.7 | 331M| 433 |   0 |  17k|  20k|  17k|  10k|5950 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
472.81/472.89	c   472s| 30000 | 30001 | 15825 |   0.5 | 409M| 433 |   0 |  17k|  20k|  17k|  10k|6402 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
623.81/623.83	c   623s| 40000 | 40001 | 17175 |   0.4 | 487M| 433 |   0 |  17k|  20k|  17k|  10k|6833 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
774.42/774.41	c   774s| 50000 | 50001 | 18302 |   0.4 | 565M| 433 |   0 |  17k|  20k|  17k|  10k|7199 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
924.62/924.61	c   924s| 60000 | 60001 | 19800 |   0.3 | 642M| 433 |   0 |  17k|  20k|  17k|  10k|7686 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
1077.03/1077.04	c  1077s| 70000 | 70001 | 22502 |   0.3 | 720M| 433 |   0 |  17k|  20k|  17k|  10k|8544 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
1227.43/1227.48	c  1227s| 80000 | 80001 | 24352 |   0.3 | 798M| 433 |   0 |  17k|  20k|  17k|  10k|9102 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
1377.74/1377.76	c  1377s| 90000 | 90001 | 25810 |   0.3 | 875M| 433 |   0 |  17k|  20k|  17k|  10k|9608 |   0 | 280 | 0.000000e+00 |      --      |    Inf 
1527.44/1527.41	c  1527s|100000 |100001 | 27166 |   0.3 | 952M| 433 |   0 |  17k|  20k|  17k|  10k|  10k|   0 | 280 | 0.000000e+00 |      --      |    Inf 
1676.94/1676.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1676.94/1676.94	c  1677s|110000 |110001 | 28536 |   0.3 |1030M| 433 |   0 |  17k|  20k|  17k|  10k|  10k|   0 | 280 | 0.000000e+00 |      --      |    Inf 
1790.06/1790.00	c 
1790.06/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.06/1790.00	c Solving Time (sec) : 1789.58
1790.06/1790.00	c Solving Nodes      : 117537
1790.06/1790.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.06/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.06/1790.00	c Gap                : infinite
1790.06/1790.00	s UNKNOWN
1790.06/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.06/1790.00	c Solving Time       :    1789.58
1790.06/1790.00	c Original Problem   :
1790.06/1790.00	c   Problem name     : HOME/instance-2705235-1278576542.wbo
1790.06/1790.00	c   Variables        : 50490 (32798 binary, 0 integer, 17692 implicit integer, 0 continuous)
1790.06/1790.00	c   Constraints      : 69436 initial, 69436 maximal
1790.06/1790.00	c Presolved Problem  :
1790.06/1790.00	c   Problem name     : t_HOME/instance-2705235-1278576542.wbo
1790.06/1790.00	c   Variables        : 17611 (11579 binary, 0 integer, 6032 implicit integer, 0 continuous)
1790.06/1790.00	c   Constraints      : 20960 initial, 20960 maximal
1790.06/1790.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.06/1790.00	c   trivial          :       0.03        218          0          0          0          0          0          0          0
1790.06/1790.00	c   dualfix          :       0.07      24700          0          0          0          0          0          0          0
1790.06/1790.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   implics          :       0.03          0          0          0          0          0          0          0          0
1790.06/1790.00	c   probing          :       7.81          0          0          0          0          0          0          0          0
1790.06/1790.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   knapsack         :       0.03          0          0          0          0          0          0         17         41
1790.06/1790.00	c   setppc           :       0.02          0          0          0          0          0          1          0          0
1790.06/1790.00	c   linear           :       1.46       5958       2003          0      12191          0      36819          2          3
1790.06/1790.00	c   indicator        :       0.67          0          0          0          0          0      11660          0          0
1790.06/1790.00	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1790.06/1790.00	c   root node        :          -          0          -          -          0          -          -          -          -
1790.06/1790.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.06/1790.00	c   integral         :          0          0          0     119014          0          0          0          0          0         54
1790.06/1790.00	c   varbound         :        810          4     369059     118987          0          0      52622        703          0          0
1790.06/1790.00	c   knapsack         :        220          4     369059     118700          0          0          0          0          0          0
1790.06/1790.00	c   setppc           :       7341          4     369059     118700          0          0     553238          0          0          0
1790.06/1790.00	c   linear           :       5231          4     369059     118700          0          0      24738      10161          0          0
1790.06/1790.00	c   indicator        :       6032          0     369059     118987          0          0      77499          0          0          0
1790.06/1790.00	c   logicor          :       1326          4     119108     117510          0          0      34248          0          0          0
1790.06/1790.00	c   countsols        :          0          0          0     117510          0          0          0          0          0          0
1790.06/1790.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.06/1790.00	c   integral         :       2.78       0.00       0.00       2.78       0.00
1790.06/1790.00	c   varbound         :      17.37       0.00       6.04      11.33       0.00
1790.06/1790.00	c   knapsack         :       4.85       0.00       3.31       1.54       0.00
1790.06/1790.00	c   setppc           :      53.87       0.00      29.76      24.11       0.00
1790.06/1790.00	c   linear           :     181.12       0.01      25.37     155.74       0.00
1790.06/1790.00	c   indicator        :     259.66       0.01     100.79     158.86       0.00
1790.06/1790.00	c   logicor          :       8.95       0.00       0.40       8.55       0.00
1790.06/1790.00	c   countsols        :       0.04       0.00       0.00       0.04       0.00
1790.06/1790.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.06/1790.00	c   vbounds          :       0.12          2          0          0
1790.06/1790.00	c   rootredcost      :       0.13          0          0          0
1790.06/1790.00	c   pseudoobj        :      60.63     359880          0          0
1790.06/1790.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.06/1790.00	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.06/1790.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.06/1790.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.06/1790.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.06/1790.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.06/1790.00	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.06/1790.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.06/1790.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.06/1790.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1790.06/1790.00	c   redcost          :      76.92     118827          0          0          0          0
1790.06/1790.00	c   impliedbounds    :       0.00          0          0          0          0          0
1790.06/1790.00	c   intobj           :       0.00          0          0          0          0          0
1790.06/1790.00	c   cgmip            :       0.00          0          0          0          0          0
1790.06/1790.00	c   gomory           :       0.00          0          0          0          0          0
1790.06/1790.00	c   strongcg         :       0.00          0          0          0          0          0
1790.06/1790.00	c   cmir             :       0.00          0          0          0          0          0
1790.06/1790.00	c   flowcover        :       0.00          0          0          0          0          0
1790.06/1790.00	c   clique           :       0.00          0          0          0          0          0
1790.06/1790.00	c   zerohalf         :       0.00          0          0          0          0          0
1790.06/1790.00	c   mcf              :       0.00          0          0          0          0          0
1790.06/1790.00	c   rapidlearning    :       0.00          0          0          0          0          0
1790.06/1790.00	c Pricers            :       Time      Calls       Vars
1790.06/1790.00	c   problem variables:       0.00          0          0
1790.06/1790.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.06/1790.00	c   relpscost        :       2.67         27          0          0          0          0         54
1790.06/1790.00	c   pscost           :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   inference        :     388.28     117510          0          0          0          0     235020
1790.06/1790.00	c   mostinf          :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   leastinf         :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   random           :       0.00          0          0          0          0          0          0
1790.06/1790.00	c Primal Heuristics  :       Time      Calls      Found
1790.06/1790.00	c   LP solutions     :       0.00          -          0
1790.06/1790.00	c   pseudo solutions :       0.00          -          0
1790.06/1790.00	c   oneopt           :       0.19          0          0
1790.06/1790.00	c   crossover        :       0.07          0          0
1790.06/1790.00	c   intshifting      :       0.00          0          0
1790.06/1790.00	c   guideddiving     :       0.00          0          0
1790.06/1790.00	c   feaspump         :       0.11          1          0
1790.06/1790.00	c   coefdiving       :       5.97        551          0
1790.06/1790.00	c   pscostdiving     :       5.88        551          0
1790.06/1790.00	c   fracdiving       :       5.85        551          0
1790.06/1790.00	c   veclendiving     :       5.84        551          0
1790.06/1790.00	c   linesearchdiving :       6.01        552          0
1790.06/1790.00	c   objpscostdiving  :       6.42        551          0
1790.06/1790.00	c   rootsoldiving    :       6.64        551          0
1790.06/1790.00	c   trivial          :       0.64          2          0
1790.06/1790.00	c   simplerounding   :       0.10         27          0
1790.06/1790.00	c   zirounding       :       0.10         27          0
1790.06/1790.00	c   rounding         :       0.06         27          0
1790.06/1790.00	c   shifting         :       0.01          3          0
1790.06/1790.00	c   twoopt           :       0.00          0          0
1790.06/1790.00	c   fixandinfer      :       0.00          0          0
1790.06/1790.00	c   intdiving        :       0.00          0          0
1790.06/1790.00	c   actconsdiving    :       0.00          0          0
1790.06/1790.00	c   octane           :       0.00          0          0
1790.06/1790.00	c   rens             :       0.00          0          0
1790.06/1790.00	c   rins             :       0.00          0          0
1790.06/1790.00	c   localbranching   :       0.00          0          0
1790.06/1790.00	c   mutation         :       0.00          0          0
1790.06/1790.00	c   dins             :       0.00          0          0
1790.06/1790.00	c   undercover       :       0.00          0          0
1790.06/1790.00	c   nlp              :       0.05          0          0
1790.06/1790.00	c   trysol           :       6.43        551          0
1790.06/1790.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.06/1790.00	c   primal LP        :       0.00          0          0       0.00          -
1790.06/1790.00	c   dual LP          :     394.24       2512      29519      11.75      74.88
1790.06/1790.00	c   lex dual LP      :       0.00          0          0       0.00          -
1790.06/1790.00	c   barrier LP       :       0.00          0          0       0.00          -
1790.06/1790.00	c   diving/probing LP:       0.15         18        154       8.56    1060.35
1790.06/1790.00	c   strong branching :       2.67        280       4205      15.02    1577.66
1790.06/1790.00	c     (at root node) :          -          0          0       0.00          -
1790.06/1790.00	c   conflict analysis:       0.00          0          0       0.00          -
1790.06/1790.00	c B&B Tree           :
1790.06/1790.00	c   number of runs   :          1
1790.06/1790.00	c   nodes            :     117537
1790.06/1790.00	c   nodes (total)    :     117537
1790.06/1790.00	c   nodes left       :     117538
1790.06/1790.00	c   max depth        :        433
1790.06/1790.00	c   max depth (total):        433
1790.06/1790.00	c   backtracks       :        552 (0.5%)
1790.06/1790.00	c   delayed cutoffs  :          0
1790.06/1790.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.06/1790.00	c   avg switch length:       2.12
1790.06/1790.00	c   switching time   :      26.22
1790.06/1790.00	c Solution           :
1790.06/1790.00	c   Solutions found  :          0 (0 improvements)
1790.06/1790.00	c   Primal Bound     :          -
1790.06/1790.00	c   Dual Bound       : +0.00000000000000e+00
1790.06/1790.00	c   Gap              :   infinite
1790.06/1790.00	c   Root Dual Bound  : +0.00000000000000e+00
1790.06/1790.00	c   Root Iterations  :        778
1790.55/1790.55	c Time complete: 1790.61.

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-2705235-1278576542/watcher-2705235-1278576542 -o /tmp/evaluation-result-2705235-1278576542/solver-2705235-1278576542 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705235-1278576542.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 23741
/proc/meminfo: memFree=29736864/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=12556 CPUtime=0
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 1973 0 0 0 0 0 0 0 22 0 1 0 25868051 12857344 1892 4089446400 4194304 10345943 140734319635088 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23741/statm: 3139 1892 429 1502 0 1632 0

[startup+0.0595549 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 23741
/proc/meminfo: memFree=29736864/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=27008 CPUtime=0.05
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 5605 0 0 0 5 0 0 0 22 0 1 0 25868051 27656192 5524 4089446400 4194304 10345943 140734319635088 18446744073709551615 9083712 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23741/statm: 6752 5524 430 1502 0 5245 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27008

[startup+0.10053 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 23741
/proc/meminfo: memFree=29736864/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=33364 CPUtime=0.09
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 7175 0 0 0 9 0 0 0 22 0 1 0 25868051 34164736 7094 4089446400 4194304 10345943 140734319635088 18446744073709551615 9134648 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23741/statm: 8341 7094 430 1502 0 6834 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33364

[startup+0.30049 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 23741
/proc/meminfo: memFree=29736864/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=66672 CPUtime=0.29
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 15547 0 0 0 27 2 0 0 22 0 1 0 25868051 68272128 15436 4089446400 4194304 10345943 140734319635088 18446744073709551615 9145522 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23741/statm: 16924 15436 430 1502 0 15417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66672

[startup+0.700415 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 23741
/proc/meminfo: memFree=29736864/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=198040 CPUtime=0.69
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 47370 0 0 0 64 5 0 0 23 0 1 0 25868051 202792960 46869 4089446400 4194304 10345943 140734319635088 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 49510 46869 510 1502 0 48003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 198040

[startup+1.50026 s]
/proc/loadavg: 2.06 2.01 1.91 3/179 23742
/proc/meminfo: memFree=29547428/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=213036 CPUtime=1.49
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 51230 0 0 0 143 6 0 0 25 0 1 0 25868051 218148864 50729 4089446400 4194304 10345943 140734319635088 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 53259 50729 536 1502 0 51752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213036

[startup+3.10095 s]
/proc/loadavg: 2.06 2.01 1.91 3/179 23742
/proc/meminfo: memFree=29514940/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=228416 CPUtime=3.09
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 55004 0 0 0 303 6 0 0 25 0 1 0 25868051 233897984 54503 4089446400 4194304 10345943 140734319635088 18446744073709551615 4287408 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 57104 54503 543 1502 0 55597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 228416

[startup+6.30034 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 23742
/proc/meminfo: memFree=29497580/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=239364 CPUtime=6.29
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 57888 0 0 0 622 7 0 0 25 0 1 0 25868051 245108736 57337 4089446400 4194304 10345943 140734319635088 18446744073709551615 5031900 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 59841 57337 581 1502 0 58334 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239364

[startup+12.7011 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 23742
/proc/meminfo: memFree=29470564/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=267552 CPUtime=12.69
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 64782 0 0 0 1261 8 0 0 25 0 1 0 25868051 273973248 63956 4089446400 4194304 10345943 140734319635088 18446744073709551615 6715784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 66888 63956 720 1502 0 65381 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 267552

[startup+25.5007 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 23743
/proc/meminfo: memFree=29462760/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=275672 CPUtime=25.49
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 81504 0 0 0 2538 11 0 0 25 0 1 0 25868051 282288128 65918 4089446400 4194304 10345943 140734319635088 18446744073709551615 4601857 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 68918 65918 739 1502 0 67411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 275672

[startup+51.1008 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 23744
/proc/meminfo: memFree=29447456/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=287804 CPUtime=51.09
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 84545 0 0 0 5096 13 0 0 25 0 1 0 25868051 294711296 68360 4089446400 4194304 10345943 140734319635088 18446744073709551615 4688145 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 71951 68360 739 1502 0 70444 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 287804

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23746
/proc/meminfo: memFree=29405944/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=315220 CPUtime=102.3
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 91890 0 0 0 10215 15 0 0 25 0 1 0 25868051 322785280 75165 4089446400 4194304 10345943 140734319635088 18446744073709551615 5215894 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 78805 75165 739 1502 0 77298 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 315220

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23746
/proc/meminfo: memFree=29350312/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=345968 CPUtime=162.29
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 100941 0 0 0 16211 18 0 0 25 0 1 0 25868051 354271232 82959 4089446400 4194304 10345943 140734319635088 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 86492 82959 739 1502 0 84985 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 345968

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23748
/proc/meminfo: memFree=29296064/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=377928 CPUtime=222.3
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 109115 0 0 0 22210 20 0 0 25 0 1 0 25868051 386998272 90772 4089446400 4194304 10345943 140734319635088 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 94482 90772 739 1502 0 92975 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 377928

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23750
/proc/meminfo: memFree=29241428/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=405384 CPUtime=282.3
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 116006 0 0 0 28208 22 0 0 25 0 1 0 25868051 415113216 97663 4089446400 4194304 10345943 140734319635088 18446744073709551615 6307255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 101346 97664 739 1502 0 99839 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 405384

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23752
/proc/meminfo: memFree=29183328/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=444528 CPUtime=342.31
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 124197 0 0 0 34205 26 0 0 25 0 1 0 25868051 455196672 105816 4089446400 4194304 10345943 140734319635088 18446744073709551615 6866056 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 111132 105816 739 1502 0 109625 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 444528

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23754
/proc/meminfo: memFree=29127096/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=481416 CPUtime=402.3
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 132380 0 0 0 40202 28 0 0 25 0 1 0 25868051 492969984 113999 4089446400 4194304 10345943 140734319635088 18446744073709551615 4749669 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 120354 113999 739 1502 0 118847 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 481416

[startup+462.301 s]
/proc/loadavg: 2.06 2.01 1.92 3/179 23754
/proc/meminfo: memFree=29070848/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=513976 CPUtime=462.3
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 139910 0 0 0 46200 30 0 0 25 0 1 0 25868051 526311424 121503 4089446400 4194304 10345943 140734319635088 18446744073709551615 6528242 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 128494 121503 739 1502 0 126987 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 513976

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 23756
/proc/meminfo: memFree=29011916/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=548532 CPUtime=522.31
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 147598 0 0 0 52198 33 0 0 25 0 1 0 25868051 561696768 129015 4089446400 4194304 10345943 140734319635088 18446744073709551615 5614585 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 137133 129015 739 1502 0 135626 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 548532

[startup+582.301 s]
/proc/loadavg: 2.12 2.04 1.93 3/179 23761
/proc/meminfo: memFree=28959240/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=576408 CPUtime=582.31
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 154791 0 0 0 58195 36 0 0 25 0 1 0 25868051 590241792 136208 4089446400 4194304 10345943 140734319635088 18446744073709551615 7568939 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 144102 136208 739 1502 0 142595 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 576408

[startup+642.301 s]
/proc/loadavg: 2.04 2.03 1.93 3/179 23763
/proc/meminfo: memFree=28903328/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=605900 CPUtime=642.32
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 162248 0 0 0 64194 38 0 0 25 0 1 0 25868051 620441600 143628 4089446400 4194304 10345943 140734319635088 18446744073709551615 4686942 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 151475 143628 739 1502 0 149968 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 605900

[startup+702.301 s]

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

/proc/meminfo: memFree=28563480/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=796832 CPUtime=1002.32
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 210248 0 0 0 100176 56 0 0 25 0 1 0 25868051 815955968 189976 4089446400 4194304 10345943 140734319635088 18446744073709551615 6307263 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 199208 189976 739 1502 0 197701 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 796832

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23773
/proc/meminfo: memFree=28511936/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=823892 CPUtime=1062.32
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 217950 0 0 0 106174 58 0 0 25 0 1 0 25868051 843665408 197369 4089446400 4194304 10345943 140734319635088 18446744073709551615 6777530 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 205973 197369 739 1502 0 204466 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 823892

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23775
/proc/meminfo: memFree=28454584/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=854576 CPUtime=1122.32
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 225479 0 0 0 112172 60 0 0 25 0 1 0 25868051 875085824 204898 4089446400 4194304 10345943 140734319635088 18446744073709551615 4900826 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 213644 204898 739 1502 0 212137 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 854576

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23777
/proc/meminfo: memFree=28398836/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=884736 CPUtime=1182.33
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 233275 0 0 0 118170 63 0 0 25 0 1 0 25868051 905969664 212694 4089446400 4194304 10345943 140734319635088 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 221184 212694 739 1502 0 219677 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 884736

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23779
/proc/meminfo: memFree=28346420/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=916288 CPUtime=1242.33
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 240302 0 0 0 124168 65 0 0 25 0 1 0 25868051 938278912 219637 4089446400 4194304 10345943 140734319635088 18446744073709551615 6802957 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 229072 219637 739 1502 0 227565 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 916288

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23781
/proc/meminfo: memFree=28288572/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=949224 CPUtime=1302.34
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 248019 0 0 0 130166 68 0 0 25 0 1 0 25868051 972005376 227269 4089446400 4194304 10345943 140734319635088 18446744073709551615 6865929 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 237306 227269 739 1502 0 235799 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 949224

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23781
/proc/meminfo: memFree=28231584/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=978376 CPUtime=1362.34
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 255604 0 0 0 136163 71 0 0 25 0 1 0 25868051 1001857024 234807 4089446400 4194304 10345943 140734319635088 18446744073709551615 6551137 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23741/statm: 244594 234807 739 1502 0 243087 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 978376

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23783
/proc/meminfo: memFree=28173876/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1008644 CPUtime=1422.34
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 263787 0 0 0 142160 74 0 0 25 0 1 0 25868051 1032851456 242938 4089446400 4194304 10345943 140734319635088 18446744073709551615 4881881 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 252161 242938 739 1502 0 250654 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1008644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23785
/proc/meminfo: memFree=28119528/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1039288 CPUtime=1482.34
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 271798 0 0 0 148157 77 0 0 25 0 1 0 25868051 1064230912 250949 4089446400 4194304 10345943 140734319635088 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 259822 250949 739 1502 0 258315 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1039288

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23787
/proc/meminfo: memFree=28064668/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1074800 CPUtime=1542.34
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 279591 0 0 0 154154 80 0 0 25 0 1 0 25868051 1100595200 258561 4089446400 4194304 10345943 140734319635088 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 268700 258561 739 1502 0 267193 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1074800

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23789
/proc/meminfo: memFree=28012036/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1106180 CPUtime=1602.34
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 287390 0 0 0 160152 82 0 0 25 0 1 0 25868051 1132728320 265936 4089446400 4194304 10345943 140734319635088 18446744073709551615 6307492 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 276545 265936 739 1502 0 275038 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1106180

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23789
/proc/meminfo: memFree=27954312/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1133516 CPUtime=1662.35
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 294800 0 0 0 166150 85 0 0 25 0 1 0 25868051 1160720384 273319 4089446400 4194304 10345943 140734319635088 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 283379 273319 739 1502 0 281872 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1133516

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23791
/proc/meminfo: memFree=27897588/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1165376 CPUtime=1722.34
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 302398 0 0 0 172147 87 0 0 25 0 1 0 25868051 1193345024 280788 4089446400 4194304 10345943 140734319635088 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 291344 280788 739 1502 0 289837 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1165376

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23793
/proc/meminfo: memFree=27843224/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1196228 CPUtime=1782.35
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 310250 0 0 0 178145 90 0 0 25 0 1 0 25868051 1224937472 288566 4089446400 4194304 10345943 140734319635088 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 299057 288566 739 1502 0 297550 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1196228

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23820
/proc/meminfo: memFree=28652312/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1196228 CPUtime=1785.55
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 310487 0 0 0 178465 90 0 0 25 0 1 0 25868051 1224937472 288803 4089446400 4194304 10345943 140734319635088 18446744073709551615 4454087 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 299057 288803 739 1502 0 297550 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1196228

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23820
/proc/meminfo: memFree=28650464/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1197604 CPUtime=1788.75
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 311245 0 0 0 178784 91 0 0 25 0 1 0 25868051 1226346496 289561 4089446400 4194304 10345943 140734319635088 18446744073709551615 6702733 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 299401 289561 739 1502 0 297894 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 1197604

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23820
/proc/meminfo: memFree=28650464/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1197604 CPUtime=1789.56
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 311248 0 0 0 178865 91 0 0 25 0 1 0 25868051 1226346496 289564 4089446400 4194304 10345943 140734319635088 18446744073709551615 6003101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23741/statm: 299401 289564 739 1502 0 297894 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (KiB) 1197604

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23820
/proc/meminfo: memFree=28650092/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=1197604 CPUtime=1790.35
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 311261 0 0 0 178944 91 0 0 18 0 1 0 25868051 1226346496 289577 4089446400 4194304 10345943 140734319635088 18446744073709551615 4287424 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23741/statm: 299401 289577 749 1502 0 297894 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 1197604

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23820
/proc/meminfo: memFree=28650092/32950928 swapFree=67111528/67111528
[pid=23741] ppid=23739 vsize=332928 CPUtime=1790.55
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 23405 0 -1 4202496 311261 0 0 0 178962 93 0 0 18 0 1 0 25868051 340918272 81024 4089446400 4194304 10345943 140734319635088 18446744073709551615 4710664 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23741/statm: 83232 81024 749 1502 0 81725 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (KiB) 332928

Child status: 0
Real time (s): 1790.56
CPU time (s): 1790.61
CPU user time (s): 1789.66
CPU system time (s): 0.951855
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1197604

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

runsolver used 2.82257 second user time and 6.94894 second system time

The end

Launcher Data 

Begin job on node127 at 2010-07-08 10:09:02
IDJOB=2705235
IDBENCH=79082
IDSOLVER=1214
FILE ID=node127/2705235-1278576542
PBS_JOBID= 11240200
Free space on /tmp= 73188 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9048_1-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705235-1278576542/watcher-2705235-1278576542 -o /tmp/evaluation-result-2705235-1278576542/solver-2705235-1278576542 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705235-1278576542.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6fbf16c6c6628a8e757beb1e2cb2761c
RANDOM SEED=902839186

node127.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5424.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29737392 kB
Buffers:        161652 kB
Cached:        2687524 kB
SwapCached:          0 kB
Active:        1334456 kB
Inactive:      1706628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29737392 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           27900 kB
Writeback:           0 kB
AnonPages:      191832 kB
Mapped:          17232 kB
Slab:           107764 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   339332 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73176 MiB
End job on node127 at 2010-07-08 10:38:53