Trace number 2705241

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.41 1790.55

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
MD5SUMc52ec7834abd1e8394b3225d7d9a7136
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.136978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables14196
Total number of constraints44553
Number of soft constraints15324
Number of constraints which are clauses44245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 775307
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 775306
Biggest number in a constraint 66
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 565
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-2705241-1278576542.wbo>
0.39/0.40	c original problem has 44844 variables (29520 bin, 0 int, 15324 impl, 0 cont) and 59878 constraints
0.39/0.40	c problem read
0.39/0.40	c presolving settings loaded
1.19/1.23	c presolving:
1.49/1.53	c (round 1) 1326 del vars, 4296 del conss, 797 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 518458 impls, 0 clqs
1.79/1.82	c (round 2) 4013 del vars, 13150 del conss, 1938 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 533280 impls, 0 clqs
2.10/2.14	c (round 3) 8698 del vars, 20738 del conss, 2661 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 539226 impls, 0 clqs
2.29/2.34	c (round 4) 13529 del vars, 25264 del conss, 3114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 542867 impls, 0 clqs
2.39/2.45	c (round 5) 16635 del vars, 27903 del conss, 3415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 545288 impls, 0 clqs
2.49/2.53	c (round 6) 18604 del vars, 29618 del conss, 3617 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 547575 impls, 0 clqs
2.49/2.58	c (round 7) 19806 del vars, 30757 del conss, 3774 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 548809 impls, 0 clqs
2.59/2.62	c (round 8) 20593 del vars, 31562 del conss, 3881 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549309 impls, 0 clqs
2.59/2.65	c (round 9) 21132 del vars, 32147 del conss, 3944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549581 impls, 0 clqs
2.59/2.67	c (round 10) 21507 del vars, 32461 del conss, 3972 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549751 impls, 0 clqs
2.59/2.69	c (round 11) 21740 del vars, 32621 del conss, 3987 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549809 impls, 0 clqs
2.69/2.70	c (round 12) 21861 del vars, 32701 del conss, 3996 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs
2.69/2.71	c (round 13) 21918 del vars, 32737 del conss, 3999 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs
2.69/2.72	c (round 14) 21943 del vars, 32747 del conss, 3999 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs
2.69/2.76	c (round 15) 21952 del vars, 32747 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549845 impls, 0 clqs
2.69/2.78	c (round 16) 21977 del vars, 32772 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 549911 impls, 0 clqs
2.89/2.94	c (round 17) 21977 del vars, 32772 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 12787 upgd conss, 564961 impls, 0 clqs
8.07/8.29	c    (7.9s) probing: 1000/15316 (6.5%) - 0 fixings, 0 aggregations, 32784 implications, 0 bound changes
11.77/11.94	c    (11.5s) probing: 2000/15316 (13.1%) - 0 fixings, 0 aggregations, 37370 implications, 0 bound changes
11.77/11.94	c    (11.5s) probing: 2001/15316 (13.1%) - 0 fixings, 0 aggregations, 37370 implications, 0 bound changes
11.77/11.94	c    (11.5s) probing aborted: 2000/2000 successive useless probings
11.77/11.94	c presolving (18 rounds):
11.77/11.94	c  21977 deleted vars, 32772 deleted constraints, 11550 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
11.77/11.94	c  726013 implications, 0 cliques
11.77/11.94	c presolved problem has 22867 variables (15316 bin, 0 int, 7551 impl, 0 cont) and 27106 constraints
11.77/11.94	c     776 constraints of type <varbound>
11.77/11.94	c     199 constraints of type <knapsack>
11.77/11.94	c    9736 constraints of type <setppc>
11.77/11.94	c    6768 constraints of type <linear>
11.77/11.94	c    7551 constraints of type <indicator>
11.77/11.94	c    2076 constraints of type <logicor>
11.77/11.94	c transformed objective value is always integral (scale: 1)
11.77/11.94	c Presolving Time: 11.37
11.77/11.94	c - non default parameters ----------------------------------------------------------------------
11.77/11.94	c # SCIP version 1.2.1.3
11.77/11.94	c 
11.77/11.94	c # frequency for displaying node information lines
11.77/11.94	c # [type: int, range: [-1,2147483647], default: 100]
11.77/11.94	c display/freq = 10000
11.77/11.94	c 
11.77/11.94	c # maximal time in seconds to run
11.77/11.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.77/11.94	c limits/time = 1789.6
11.77/11.94	c 
11.77/11.94	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.77/11.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.77/11.94	c limits/memory = 3420
11.77/11.94	c 
11.77/11.94	c # default clock type (1: CPU user seconds, 2: wall clock time)
11.77/11.94	c # [type: int, range: [1,2], default: 1]
11.77/11.94	c timing/clocktype = 2
11.77/11.94	c 
11.77/11.94	c # should presolving try to simplify inequalities
11.77/11.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.77/11.94	c constraints/linear/simplifyinequalities = TRUE
11.77/11.94	c 
11.77/11.94	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
11.77/11.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.77/11.94	c constraints/indicator/addCouplingCons = TRUE
11.77/11.94	c 
11.77/11.94	c # should presolving try to simplify knapsacks
11.77/11.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.77/11.94	c constraints/knapsack/simplifyinequalities = TRUE
11.77/11.94	c 
11.77/11.94	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.77/11.94	c # [type: int, range: [-1,2147483647], default: -1]
11.77/11.94	c separating/rapidlearning/freq = 0
11.77/11.94	c 
11.77/11.94	c -----------------------------------------------------------------------------------------------
11.77/11.94	c start solving
11.77/11.95	c 
11.87/12.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.87/12.08	c  11.7s|     1 |     0 |   866 |     - | 157M|   0 | 416 |  22k|  27k|  22k|  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.07/13.24	c  12.8s|     1 |     0 |  2487 |     - | 159M|   0 | 371 |  22k|  27k|  22k|  12k| 945 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.17/14.33	c  13.9s|     1 |     0 |  3349 |     - | 160M|   0 | 926 |  22k|  27k|  22k|  13k|1260 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.67/16.81	c  16.4s|     1 |     0 |  4275 |     - | 162M|   0 | 927 |  22k|  27k|  22k|  13k|1646 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.97/20.17	c  19.8s|     1 |     0 |  4954 |     - | 162M|   0 | 389 |  22k|  27k|  22k|  14k|1981 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.47/21.60	c  21.2s|     1 |     0 |  5846 |     - | 163M|   0 | 757 |  22k|  27k|  22k|  14k|2217 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.66/23.81	c  23.4s|     1 |     0 |  7172 |     - | 164M|   0 | 504 |  22k|  27k|  22k|  14k|2394 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
32.36/32.59	c  32.2s|     1 |     2 |  7172 |     - | 164M|   0 | 504 |  22k|  27k|  22k|  14k|2394 |   0 |  25 | 0.000000e+00 |      --      |    Inf 
983.54/983.73	c   983s| 10000 |  9999 |596449 |  58.9 | 272M| 173 |  89 |  22k|  27k|  22k|  13k|2394 |  15 |4465 | 0.000000e+00 |      --      |    Inf 
1522.84/1523.08	c  1523s| 20000 | 19997 |906845 |  45.0 | 378M| 209 |  34 |  22k|  27k|  22k|  13k|2394 |  21 |7796 | 0.000000e+00 |      --      |    Inf 
1789.84/1790.04	c 
1789.84/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.84/1790.04	c Solving Time (sec) : 1789.63
1789.84/1790.04	c Solving Nodes      : 25735
1789.84/1790.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.84/1790.04	c Dual Bound         : +0.00000000000000e+00
1789.84/1790.04	c Gap                : infinite
1789.84/1790.04	s UNKNOWN
1789.84/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.84/1790.04	c Solving Time       :    1789.63
1789.84/1790.04	c Original Problem   :
1789.84/1790.04	c   Problem name     : HOME/instance-2705241-1278576542.wbo
1789.84/1790.04	c   Variables        : 44844 (29520 binary, 0 integer, 15324 implicit integer, 0 continuous)
1789.84/1790.04	c   Constraints      : 59878 initial, 59878 maximal
1789.84/1790.04	c Presolved Problem  :
1789.84/1790.04	c   Problem name     : t_HOME/instance-2705241-1278576542.wbo
1789.84/1790.04	c   Variables        : 22867 (15316 binary, 0 integer, 7551 implicit integer, 0 continuous)
1789.84/1790.04	c   Constraints      : 27106 initial, 27119 maximal
1789.84/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.84/1790.04	c   trivial          :       0.04        188          0          0          0          0          0          0          0
1789.84/1790.04	c   dualfix          :       0.06      16412          0          0          0          0          0          0          0
1789.84/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.84/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.84/1790.04	c   implics          :       0.03          0          0          0          0          0          0          0          0
1789.84/1790.04	c   probing          :       8.91          0          0          0          0          0          0          0          0
1789.84/1790.04	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1789.84/1790.04	c   knapsack         :       0.05          0          0          0          0          0          0          0          0
1789.84/1790.04	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1789.84/1790.04	c   linear           :       1.11       3811       1566          0      11550          0      24999          0          0
1789.84/1790.04	c   indicator        :       0.46          0          0          0          0          0       7773          0          0
1789.84/1790.04	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1789.84/1790.04	c   root node        :          -          0          -          -          0          -          -          -          -
1789.84/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.84/1790.04	c   integral         :          0          0          0      25734          0          0          7          0          0      51460
1789.84/1790.04	c   varbound         :        776          6     171529          0         12          0       5571        446          0          0
1789.84/1790.04	c   knapsack         :        199          6     171529          0         12          1      28337        230          0          0
1789.84/1790.04	c   setppc           :       9736          6     171528          0         12          3     329018          0          0          0
1789.84/1790.04	c   linear           :       6768          6     171525          0          1          0      12481       1089          0          0
1789.84/1790.04	c   indicator        :       7551          0     171525          0         12          0      17948          0          0          0
1789.84/1790.04	c   logicor          :       2076+         6      78191          0          1          4      15254          0          0          0
1789.84/1790.04	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.84/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.84/1790.04	c   integral         :     343.54       0.00       0.00     343.54       0.00
1789.84/1790.04	c   varbound         :       4.51       0.00       4.51       0.00       0.00
1789.84/1790.04	c   knapsack         :       2.69       0.01       2.68       0.00       0.00
1789.84/1790.04	c   setppc           :      39.60       0.00      39.58       0.00       0.01
1789.84/1790.04	c   linear           :      21.67       0.01      21.65       0.00       0.00
1789.84/1790.04	c   indicator        :      69.20       0.00      69.18       0.00       0.02
1789.84/1790.04	c   logicor          :       0.37       0.00       0.37       0.00       0.00
1789.84/1790.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.84/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.84/1790.04	c   vbounds          :       0.10        794          0          0
1789.84/1790.04	c   rootredcost      :       0.06          0          0          0
1789.84/1790.04	c   pseudoobj        :      37.41     163407          0          0
1789.84/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.84/1790.04	c   propagation      :       0.00          8          8         11       18.5          0        0.0          -
1789.84/1790.04	c   infeasible LP    :       0.02          8          8         22       19.4          0        0.0          0
1789.84/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.84/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.84/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.84/1790.04	c   applied globally :          -          -          -         23       16.5          -          -          -
1789.84/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.84/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.84/1790.04	c   cut pool         :       0.00          5          -          -        108          -    (maximal pool size: 1642)
1789.84/1790.04	c   redcost          :      36.64      25739          0          0          0          0
1789.84/1790.04	c   impliedbounds    :       0.01          6          0          0        780          0
1789.84/1790.04	c   intobj           :       0.00          0          0          0          0          0
1789.84/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1789.84/1790.04	c   gomory           :       3.07          6          0          0       2087          0
1789.84/1790.04	c   strongcg         :       2.12          6          0          0       2571          0
1789.84/1790.04	c   cmir             :       0.81          6          0          0          0          0
1789.84/1790.04	c   flowcover        :       1.91          6          0          0        273          0
1789.84/1790.04	c   clique           :       0.22          6          0          0         30          0
1789.84/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1789.84/1790.04	c   mcf              :       0.02          1          0          0          0          0
1789.84/1790.04	c   rapidlearning    :       0.00          0          0          0          0          0
1789.84/1790.04	c Pricers            :       Time      Calls       Vars
1789.84/1790.04	c   problem variables:       0.00          0          0
1789.84/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.84/1790.04	c   relpscost        :     343.47      25734          0          7          0          0      51460
1789.84/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1789.84/1790.04	c   inference        :       0.01          1          0          0          0          0          2
1789.84/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1789.84/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1789.84/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.84/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.84/1790.04	c   random           :       0.00          0          0          0          0          0          0
1789.84/1790.04	c Primal Heuristics  :       Time      Calls      Found
1789.84/1790.04	c   LP solutions     :       0.00          -          0
1789.84/1790.04	c   pseudo solutions :       0.00          -          0
1789.84/1790.04	c   oneopt           :       0.04          0          0
1789.84/1790.04	c   crossover        :       0.01          0          0
1789.84/1790.04	c   intshifting      :       0.00          0          0
1789.84/1790.04	c   guideddiving     :       0.00          0          0
1789.84/1790.04	c   objpscostdiving  :      21.90          3          0
1789.84/1790.04	c   rootsoldiving    :       8.55          3          0
1789.84/1790.04	c   linesearchdiving :      86.68         20          0
1789.84/1790.04	c   pscostdiving     :     120.81         22          0
1789.84/1790.04	c   veclendiving     :      72.12         22          0
1789.84/1790.04	c   fracdiving       :     128.10         23          0
1789.84/1790.04	c   coefdiving       :     156.58         32          0
1789.84/1790.04	c   feaspump         :      36.95        212          0
1789.84/1790.04	c   trivial          :       0.58          2          0
1789.84/1790.04	c   simplerounding   :       0.10      25720          0
1789.84/1790.04	c   zirounding       :       0.50       1000          0
1789.84/1790.04	c   rounding         :       1.60       2219          0
1789.84/1790.04	c   shifting         :       3.22        674          0
1789.84/1790.04	c   twoopt           :       0.00          0          0
1789.84/1790.04	c   fixandinfer      :       0.00          0          0
1789.84/1790.04	c   intdiving        :       0.00          0          0
1789.84/1790.04	c   actconsdiving    :       0.00          0          0
1789.84/1790.04	c   octane           :       0.00          0          0
1789.84/1790.04	c   rens             :       0.21          1          0
1789.84/1790.04	c   rins             :       0.00          0          0
1789.84/1790.04	c   localbranching   :       0.00          0          0
1789.84/1790.04	c   mutation         :       0.00          0          0
1789.84/1790.04	c   dins             :       0.00          0          0
1789.84/1790.04	c   undercover       :       0.00          0          0
1789.84/1790.04	c   nlp              :       0.01          0          0
1789.84/1790.04	c   trysol           :       0.02          0          0
1789.84/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.84/1790.04	c   primal LP        :       0.01          0          0       0.00       0.00
1789.84/1790.04	c   dual LP          :     531.41      25721     721620      28.06    1357.94
1789.84/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1789.84/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1789.84/1790.04	c   diving/probing LP:     415.09      31680     328206      10.36     790.69
1789.84/1790.04	c   strong branching :     341.48       9308     462676      49.71    1354.93
1789.84/1790.04	c     (at root node) :          -         25      13856     554.24          -
1789.84/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1789.84/1790.04	c B&B Tree           :
1789.84/1790.04	c   number of runs   :          1
1789.84/1790.04	c   nodes            :      25735
1789.84/1790.04	c   nodes (total)    :      25735
1789.84/1790.04	c   nodes left       :      25728
1789.84/1790.04	c   max depth        :        239
1789.84/1790.04	c   max depth (total):        239
1789.84/1790.04	c   backtracks       :        336 (1.3%)
1789.84/1790.04	c   delayed cutoffs  :          0
1789.84/1790.04	c   repropagations   :         18 (28 domain reductions, 0 cutoffs)
1789.84/1790.04	c   avg switch length:       2.26
1789.84/1790.04	c   switching time   :       8.70
1789.84/1790.04	c Solution           :
1789.84/1790.04	c   Solutions found  :          0 (0 improvements)
1789.84/1790.04	c   Primal Bound     :          -
1789.84/1790.04	c   Dual Bound       : +0.00000000000000e+00
1789.84/1790.04	c   Gap              :   infinite
1789.84/1790.04	c   Root Dual Bound  : +0.00000000000000e+00
1789.84/1790.04	c   Root Iterations  :       7172
1790.34/1790.55	c Time complete: 1790.4.

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-2705241-1278576542/watcher-2705241-1278576542 -o /tmp/evaluation-result-2705241-1278576542/solver-2705241-1278576542 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705241-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: 1.92 1.98 1.90 3/176 22079
/proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=12340 CPUtime=0
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1930 0 0 0 0 0 0 0 25 0 1 0 25867672 12636160 1848 4089446400 4194304 10345943 140736386954496 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22079/statm: 3085 1862 429 1502 0 1578 0

[startup+0.090136 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 22079
/proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=30112 CPUtime=0.08
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 6360 0 0 0 8 0 0 0 25 0 1 0 25867672 30834688 6278 4089446400 4194304 10345943 140736386954496 18446744073709551615 4222948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22079/statm: 7785 6300 430 1502 0 6278 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30112

[startup+0.10113 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 22079
/proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=33188 CPUtime=0.09
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 7134 0 0 0 9 0 0 0 25 0 1 0 25867672 33984512 7052 4089446400 4194304 10345943 140736386954496 18446744073709551615 5758541 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22079/statm: 8297 7052 430 1502 0 6790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33188

[startup+0.301099 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 22079
/proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=62280 CPUtime=0.29
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 14421 0 0 0 28 1 0 0 25 0 1 0 25867672 63774720 14339 4089446400 4194304 10345943 140736386954496 18446744073709551615 9114182 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22079/statm: 15570 14339 430 1502 0 14063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62280

[startup+0.701039 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 22079
/proc/meminfo: memFree=28129424/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=178420 CPUtime=0.69
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 42559 0 0 0 65 4 0 0 25 0 1 0 25867672 182702080 42087 4089446400 4194304 10345943 140736386954496 18446744073709551615 9138335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22079/statm: 44605 42087 510 1502 0 43098 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 178420

[startup+1.50089 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 22080
/proc/meminfo: memFree=27962260/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=196664 CPUtime=1.49
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 47276 0 0 0 145 4 0 0 25 0 1 0 25867672 201383936 46804 4089446400 4194304 10345943 140736386954496 18446744073709551615 5026449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22079/statm: 49166 46804 542 1502 0 47659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196664

[startup+3.10061 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 22080
/proc/meminfo: memFree=27940560/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=208084 CPUtime=3.09
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 51022 0 0 0 304 5 0 0 25 0 1 0 25867672 213078016 49766 4089446400 4194304 10345943 140736386954496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22079/statm: 52021 49766 594 1502 0 50514 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208084

[startup+6.30106 s]
/proc/loadavg: 2.25 2.05 1.93 3/177 22080
/proc/meminfo: memFree=27928940/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=209836 CPUtime=6.17
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 51486 0 0 0 609 8 0 0 25 0 1 0 25867672 214872064 50230 4089446400 4194304 10345943 140736386954496 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22079/statm: 52459 50230 594 1502 0 50952 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 209836

[startup+12.7009 s]
/proc/loadavg: 2.15 2.03 1.92 3/177 22108
/proc/meminfo: memFree=28921536/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=245568 CPUtime=12.56
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 58967 0 0 0 1247 9 0 0 25 0 1 0 25867672 251461632 57687 4089446400 4194304 10345943 140736386954496 18446744073709551615 5852527 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22079/statm: 61392 57687 750 1502 0 59885 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 245568

[startup+25.5007 s]
/proc/loadavg: 2.25 2.06 1.93 3/177 22108
/proc/meminfo: memFree=28872688/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=292688 CPUtime=25.37
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 83374 0 0 0 2524 13 0 0 25 0 1 0 25867672 299712512 66586 4089446400 4194304 10345943 140736386954496 18446744073709551615 6856932 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22079/statm: 73172 66586 778 1502 0 71665 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 292688

[startup+51.1003 s]
/proc/loadavg: 2.16 2.06 1.93 3/177 22109
/proc/meminfo: memFree=28801328/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=291056 CPUtime=50.96
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 113771 0 0 0 5075 21 0 0 25 0 1 0 25867672 298041344 66739 4089446400 4194304 10345943 140736386954496 18446744073709551615 7578663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22079/statm: 72764 66739 782 1502 0 71257 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 291056

[startup+102.306 s]
/proc/loadavg: 2.07 2.05 1.93 3/177 22110
/proc/meminfo: memFree=28774392/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=280504 CPUtime=102.15
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 160022 0 0 0 10182 33 0 0 25 0 1 0 25867672 287236096 67025 4089446400 4194304 10345943 140736386954496 18446744073709551615 7578766 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22079/statm: 70126 67025 783 1502 0 68619 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 280504

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 1.93 3/177 22112
/proc/meminfo: memFree=28740356/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=286804 CPUtime=162.15
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 165938 0 0 0 16174 41 0 0 25 0 1 0 25867672 293687296 68067 4089446400 4194304 10345943 140736386954496 18446744073709551615 6525286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22079/statm: 71701 68067 785 1502 0 70194 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 286804

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.93 3/177 22113
/proc/meminfo: memFree=28708084/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=286828 CPUtime=222.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 169447 0 0 0 22168 46 0 0 25 0 1 0 25867672 293711872 68218 4089446400 4194304 10345943 140736386954496 18446744073709551615 5425014 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 71707 68218 785 1502 0 70200 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 286828

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 22115
/proc/meminfo: memFree=28682392/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=286380 CPUtime=282.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 183206 0 0 0 28162 52 0 0 25 0 1 0 25867672 293253120 68609 4089446400 4194304 10345943 140736386954496 18446744073709551615 7568783 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 71595 68609 786 1502 0 70088 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 286380

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 22116
/proc/meminfo: memFree=28651248/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=292332 CPUtime=342.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 195238 0 0 0 34156 58 0 0 25 0 1 0 25867672 299347968 69344 4089446400 4194304 10345943 140736386954496 18446744073709551615 6785508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 73083 69344 786 1502 0 71576 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 292332

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 22118
/proc/meminfo: memFree=28620824/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=295948 CPUtime=402.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 211497 0 0 0 40147 67 0 0 25 0 1 0 25867672 303050752 70089 4089446400 4194304 10345943 140736386954496 18446744073709551615 7576026 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 73987 70089 786 1502 0 72480 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 295948

[startup+462.301 s]
/proc/loadavg: 2.04 2.02 1.94 3/177 22120
/proc/meminfo: memFree=28581724/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=303984 CPUtime=462.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 242142 0 0 0 46137 77 0 0 25 0 1 0 25867672 311279616 72225 4089446400 4194304 10345943 140736386954496 18446744073709551615 4601627 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 75996 72225 786 1502 0 74489 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 303984

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 22121
/proc/meminfo: memFree=28416272/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=310184 CPUtime=522.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 285460 0 0 0 52125 89 0 0 25 0 1 0 25867672 317628416 73849 4089446400 4194304 10345943 140736386954496 18446744073709551615 7566985 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 77546 73849 787 1502 0 76039 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 310184

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 22123
/proc/meminfo: memFree=28373704/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=321400 CPUtime=582.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 314332 0 0 0 58116 98 0 0 25 0 1 0 25867672 329113600 76369 4089446400 4194304 10345943 140736386954496 18446744073709551615 8160366 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 80350 76369 787 1502 0 78843 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 321400

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22124
/proc/meminfo: memFree=28359788/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=339044 CPUtime=642.15
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 400010 0 0 0 64097 118 0 0 25 0 1 0 25867672 347181056 78296 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22079/statm: 84761 78296 787 1502 0 83254 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 339044

[startup+702.301 s]

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

/proc/meminfo: memFree=28287244/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=403692 CPUtime=1002.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 667507 0 0 0 100011 203 0 0 25 0 1 0 25867672 413380608 93184 4089446400 4194304 10345943 140736386954496 18446744073709551615 6566415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 100923 93184 787 1502 0 99416 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 403692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22139
/proc/meminfo: memFree=28258068/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=401736 CPUtime=1062.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 740533 0 0 0 105993 221 0 0 25 0 1 0 25867672 411377664 95373 4089446400 4194304 10345943 140736386954496 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 100434 95373 787 1502 0 98927 0
Current children cumulated CPU time (s) 1062.14
Current children cumulated vsize (KiB) 401736

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22140
/proc/meminfo: memFree=28230256/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=407392 CPUtime=1122.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 891997 0 0 0 111961 253 0 0 25 0 1 0 25867672 417169408 97617 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 101848 97617 787 1502 0 100341 0
Current children cumulated CPU time (s) 1122.14
Current children cumulated vsize (KiB) 407392

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22142
/proc/meminfo: memFree=28060468/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=425604 CPUtime=1182.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 929945 0 0 0 117948 266 0 0 25 0 1 0 25867672 435818496 101993 4089446400 4194304 10345943 140736386954496 18446744073709551615 6307447 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 106401 101993 787 1502 0 104894 0
Current children cumulated CPU time (s) 1182.14
Current children cumulated vsize (KiB) 425604

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22143
/proc/meminfo: memFree=28048304/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=448444 CPUtime=1242.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 966461 0 0 0 123937 277 0 0 25 0 1 0 25867672 459206656 104820 4089446400 4194304 10345943 140736386954496 18446744073709551615 7523295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 112111 104820 787 1502 0 110604 0
Current children cumulated CPU time (s) 1242.14
Current children cumulated vsize (KiB) 448444

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 22145
/proc/meminfo: memFree=28036372/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=446720 CPUtime=1302.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1001147 0 0 0 129924 290 0 0 25 0 1 0 25867672 457441280 107594 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 111680 107594 787 1502 0 110173 0
Current children cumulated CPU time (s) 1302.14
Current children cumulated vsize (KiB) 446720

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 22147
/proc/meminfo: memFree=28026664/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=457668 CPUtime=1362.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1050407 0 0 0 135907 307 0 0 25 0 1 0 25867672 468652032 110289 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 114417 110289 787 1502 0 112910 0
Current children cumulated CPU time (s) 1362.14
Current children cumulated vsize (KiB) 457668

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22148
/proc/meminfo: memFree=28012256/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=471468 CPUtime=1422.15
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1101292 0 0 0 141893 322 0 0 25 0 1 0 25867672 482783232 113555 4089446400 4194304 10345943 140736386954496 18446744073709551615 8160440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 117867 113555 787 1502 0 116360 0
Current children cumulated CPU time (s) 1422.15
Current children cumulated vsize (KiB) 471468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22150
/proc/meminfo: memFree=27999940/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=497576 CPUtime=1482.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1142757 0 0 0 147879 335 0 0 25 0 1 0 25867672 509517824 117024 4089446400 4194304 10345943 140736386954496 18446744073709551615 7523403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 124716 117026 787 1502 0 123209 0
Current children cumulated CPU time (s) 1482.14
Current children cumulated vsize (KiB) 497576

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 22151
/proc/meminfo: memFree=27987516/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=496236 CPUtime=1542.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1194253 0 0 0 153862 352 0 0 25 0 1 0 25867672 508145664 119736 4089446400 4194304 10345943 140736386954496 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 124059 119736 787 1502 0 122552 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 496236

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/177 22153
/proc/meminfo: memFree=27970748/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=518328 CPUtime=1602.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1231989 0 0 0 159849 365 0 0 25 0 1 0 25867672 530767872 123585 4089446400 4194304 10345943 140736386954496 18446744073709551615 7568752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 129582 123585 787 1502 0 128075 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 518328

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 22155
/proc/meminfo: memFree=27940580/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=529264 CPUtime=1662.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1277316 0 0 0 165833 381 0 0 25 0 1 0 25867672 541966336 126312 4089446400 4194304 10345943 140736386954496 18446744073709551615 6755544 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 132316 126312 787 1502 0 130809 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 529264

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 22156
/proc/meminfo: memFree=27910180/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=538312 CPUtime=1722.15
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1319728 0 0 0 171820 395 0 0 25 0 1 0 25867672 551231488 129427 4089446400 4194304 10345943 140736386954496 18446744073709551615 6802873 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 134578 129427 787 1502 0 133071 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 538312

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 22158
/proc/meminfo: memFree=27872828/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=561040 CPUtime=1782.15
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1361289 0 0 0 177808 407 0 0 25 0 1 0 25867672 574504960 134069 4089446400 4194304 10345943 140736386954496 18446744073709551615 5210538 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 140260 134069 799 1502 0 138753 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 561040

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 22158
/proc/meminfo: memFree=27870348/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=552084 CPUtime=1785.35
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1363909 0 0 0 178128 407 0 0 25 0 1 0 25867672 565334016 134562 4089446400 4194304 10345943 140736386954496 18446744073709551615 7522155 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 138021 134562 799 1502 0 136514 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (KiB) 552084

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 22158
/proc/meminfo: memFree=27868364/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=557072 CPUtime=1788.55
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1367907 0 0 0 178446 409 0 0 25 0 1 0 25867672 570441728 134726 4089446400 4194304 10345943 140736386954496 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 139268 134726 799 1502 0 137761 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (KiB) 557072

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 22158
/proc/meminfo: memFree=27868364/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=557072 CPUtime=1789.35
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1368084 0 0 0 178526 409 0 0 25 0 1 0 25867672 570441728 134903 4089446400 4194304 10345943 140736386954496 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22079/statm: 139268 134903 799 1502 0 137761 0
Current children cumulated CPU time (s) 1789.35
Current children cumulated vsize (KiB) 557072

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 22158
/proc/meminfo: memFree=27867372/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=558468 CPUtime=1790.14
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1368939 0 0 0 178605 409 0 0 25 0 1 0 25867672 571871232 134854 4089446400 4194304 10345943 140736386954496 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22079/statm: 139617 134854 804 1502 0 138110 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 558468

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 22158
/proc/meminfo: memFree=27867372/32951132 swapFree=67111528/67111528
[pid=22079] ppid=22077 vsize=276820 CPUtime=1790.34
/proc/22079/stat : 22079 (pbscip.linux.x8) R 22077 22079 21716 0 -1 4202496 1368939 0 0 0 178624 410 0 0 25 0 1 0 25867672 283463680 67063 4089446400 4194304 10345943 140736386954496 18446744073709551615 4751208 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22079/statm: 69205 67063 804 1502 0 67698 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 276820

Child status: 0
Real time (s): 1790.55
CPU time (s): 1790.41
CPU user time (s): 1786.29
CPU system time (s): 4.12137
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 565308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.29
system time used= 4.12137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1368942
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= 2
involuntary context switches= 1841

runsolver used 3.01154 second user time and 6.76797 second system time

The end

Launcher Data 

Begin job on node128 at 2010-07-08 10:09:03
IDJOB=2705241
IDBENCH=79084
IDSOLVER=1214
FILE ID=node128/2705241-1278576542
PBS_JOBID= 11240198
Free space on /tmp= 73124 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-j9015_10-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-2705241-1278576542/watcher-2705241-1278576542 -o /tmp/evaluation-result-2705241-1278576542/solver-2705241-1278576542 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705241-1278576542.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c52ec7834abd1e8394b3225d7d9a7136
RANDOM SEED=1752006390

node128.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.816
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.63
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.816
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	: 5332.75
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.816
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.75
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.816
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.75
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.816
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.816
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.74
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.816
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.74
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.816
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28129960 kB
Buffers:        147652 kB
Cached:        3147496 kB
SwapCached:          0 kB
Active:        2727540 kB
Inactive:      1914452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28129960 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14400 kB
Writeback:           0 kB
AnonPages:     1346256 kB
Mapped:          17964 kB
Slab:           114224 kB
PageTables:       7156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1497812 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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