Trace number 2705256

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.38

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
MD5SUMca01bfc21a1e057687efc2b7fef91d1f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.05999
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6466
Total number of constraints19939
Number of soft constraints13432
Number of constraints which are clauses19731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints208
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 686652
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 686651
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 112
Number of bits of the biggest sum of numbers7
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-2705256-1278576544.wbo>
0.09/0.18	c original problem has 33330 variables (19898 bin, 0 int, 13432 impl, 0 cont) and 33372 constraints
0.09/0.18	c problem read
0.09/0.18	c presolving settings loaded
0.59/0.69	c presolving:
0.69/0.75	c (round 1) 293 del vars, 863 del conss, 147 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29292 impls, 0 clqs
0.79/0.81	c (round 2) 873 del vars, 2358 del conss, 211 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29406 impls, 0 clqs
0.79/0.86	c (round 3) 2080 del vars, 3481 del conss, 252 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29486 impls, 0 clqs
0.79/0.88	c (round 4) 3089 del vars, 4006 del conss, 264 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29510 impls, 0 clqs
0.89/0.90	c (round 5) 3525 del vars, 4282 del conss, 267 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29510 impls, 0 clqs
0.89/0.91	c (round 6) 3779 del vars, 4359 del conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29510 impls, 0 clqs
0.89/0.95	c (round 7) 3851 del vars, 4365 del conss, 12073 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29510 impls, 0 clqs
0.89/0.96	c (round 8) 3859 del vars, 4367 del conss, 12073 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29512 impls, 0 clqs
1.00/1.05	c (round 9) 3859 del vars, 4367 del conss, 12073 chg bounds, 0 chg sides, 0 chg coeffs, 5779 upgd conss, 52977 impls, 0 clqs
4.49/4.59	c    (4.4s) probing: 1000/17667 (5.7%) - 0 fixings, 0 aggregations, 1719 implications, 0 bound changes
7.69/7.79	c    (7.6s) probing: 2000/17667 (11.3%) - 0 fixings, 0 aggregations, 1910 implications, 0 bound changes
7.69/7.80	c    (7.6s) probing: 2001/17667 (11.3%) - 0 fixings, 0 aggregations, 1910 implications, 0 bound changes
7.69/7.80	c    (7.6s) probing aborted: 2000/2000 successive useless probings
7.79/7.80	c presolving (10 rounds):
7.79/7.80	c  3859 deleted vars, 4367 deleted constraints, 12073 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.79/7.80	c  61753 implications, 0 cliques
7.79/7.80	c presolved problem has 29471 variables (17667 bin, 0 int, 11804 impl, 0 cont) and 29005 constraints
7.79/7.80	c     381 constraints of type <varbound>
7.79/7.80	c      63 constraints of type <knapsack>
7.79/7.80	c    4464 constraints of type <setppc>
7.79/7.80	c   11422 constraints of type <linear>
7.79/7.80	c   11804 constraints of type <indicator>
7.79/7.80	c     871 constraints of type <logicor>
7.79/7.80	c transformed objective value is always integral (scale: 1)
7.79/7.80	c Presolving Time: 7.51
7.79/7.80	c - non default parameters ----------------------------------------------------------------------
7.79/7.80	c # SCIP version 1.2.1.3
7.79/7.80	c 
7.79/7.80	c # frequency for displaying node information lines
7.79/7.80	c # [type: int, range: [-1,2147483647], default: 100]
7.79/7.80	c display/freq = 10000
7.79/7.80	c 
7.79/7.80	c # maximal time in seconds to run
7.79/7.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.79/7.80	c limits/time = 1789.82
7.79/7.80	c 
7.79/7.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.79/7.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.79/7.80	c limits/memory = 3420
7.79/7.80	c 
7.79/7.80	c # default clock type (1: CPU user seconds, 2: wall clock time)
7.79/7.80	c # [type: int, range: [1,2], default: 1]
7.79/7.80	c timing/clocktype = 2
7.79/7.80	c 
7.79/7.80	c # should presolving try to simplify inequalities
7.79/7.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.79/7.80	c constraints/linear/simplifyinequalities = TRUE
7.79/7.80	c 
7.79/7.80	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
7.79/7.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.79/7.80	c constraints/indicator/addCouplingCons = TRUE
7.79/7.80	c 
7.79/7.80	c # should presolving try to simplify knapsacks
7.79/7.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.79/7.80	c constraints/knapsack/simplifyinequalities = TRUE
7.79/7.80	c 
7.79/7.80	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.79/7.80	c # [type: int, range: [-1,2147483647], default: -1]
7.79/7.80	c separating/rapidlearning/freq = 0
7.79/7.80	c 
7.79/7.80	c -----------------------------------------------------------------------------------------------
7.79/7.80	c start solving
7.79/7.81	c 
7.79/7.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.79/7.85	c   7.7s|     1 |     0 |     1 |     - | 112M|   0 |   0 |  29k|  29k|  29k|5399 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.79/7.89	c   7.7s|     1 |     0 |   519 |     - | 113M|   0 |   0 |  29k|  29k|  29k|5700 | 301 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.89/7.91	c   7.7s|     1 |     0 |   706 |     - | 113M|   0 |   0 |  29k|  29k|  29k|5902 | 503 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.89/7.94	c   7.8s|     1 |     0 |   930 |     - | 113M|   0 |   5 |  29k|  29k|  29k|6102 | 703 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.59/8.69	c   8.5s|     1 |     0 |  1072 |     - | 113M|   0 |   6 |  29k|  29k|  29k|6252 | 853 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.39/9.44	c   9.3s|     1 |     0 |  1156 |     - | 114M|   0 |   0 |  29k|  29k|  29k|6317 | 918 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.39/9.46	c   9.3s|     1 |     0 |  1205 |     - | 114M|   0 |   0 |  29k|  29k|  29k|6362 | 963 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.39/9.48	c   9.3s|     1 |     0 |  1232 |     - | 114M|   0 |   0 |  29k|  29k|  29k|6389 | 990 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.49/9.51	c   9.3s|     1 |     0 |  1243 |     - | 114M|   0 |   0 |  29k|  29k|  29k|6400 |1001 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.49/9.53	c   9.3s|     1 |     0 |  1249 |     - | 114M|   0 |   0 |  29k|  29k|  29k|6407 |1008 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.49/9.55	c   9.4s|     1 |     0 |  1251 |     - | 114M|   0 |   0 |  29k|  29k|  29k|6409 |1010 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.49/9.57	c   9.4s|     1 |     2 |  1251 |     - | 114M|   0 |   0 |  29k|  29k|  29k|6409 |1010 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
323.50/323.59	c   323s| 10000 | 10001 | 18575 |   1.7 | 214M|  55 |   0 |  29k|  29k|  29k|6501 |  13k|   0 | 758 | 0.000000e+00 |      --      |    Inf 
588.90/588.99	c   589s| 20000 | 20001 | 22951 |   1.1 | 313M| 105 |   0 |  29k|  29k|  29k|6795 |  15k|   0 |1437 | 0.000000e+00 |      --      |    Inf 
856.20/856.24	c   856s| 30000 | 30001 | 29876 |   1.0 | 412M| 127 |   0 |  29k|  29k|  29k|6984 |  19k|   0 |2291 | 0.000000e+00 |      --      |    Inf 
1111.21/1111.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1111.21/1111.21	c  1111s| 40000 | 40001 | 35165 |   0.8 | 510M| 133 |   0 |  29k|  29k|  29k|6767 |  22k|   0 |2550 | 0.000000e+00 |      --      |    Inf 
1363.01/1363.07	c  1363s| 50000 | 50001 | 39918 |   0.8 | 609M| 133 |   0 |  29k|  29k|  29k|6792 |  25k|   0 |2683 | 0.000000e+00 |      --      |    Inf 
1617.62/1617.66	c  1617s| 60000 | 60001 | 43365 |   0.7 | 708M| 133 |   0 |  29k|  29k|  29k|6601 |  26k|   0 |2786 | 0.000000e+00 |      --      |    Inf 
1790.02/1790.01	c 
1790.02/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.01	c Solving Time (sec) : 1789.82
1790.02/1790.01	c Solving Nodes      : 66723
1790.02/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.02/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.02/1790.01	c Gap                : infinite
1790.02/1790.01	s UNKNOWN
1790.02/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.01	c Solving Time       :    1789.82
1790.02/1790.01	c Original Problem   :
1790.02/1790.01	c   Problem name     : HOME/instance-2705256-1278576544.wbo
1790.02/1790.01	c   Variables        : 33330 (19898 binary, 0 integer, 13432 implicit integer, 0 continuous)
1790.02/1790.01	c   Constraints      : 33372 initial, 33372 maximal
1790.02/1790.01	c Presolved Problem  :
1790.02/1790.01	c   Problem name     : t_HOME/instance-2705256-1278576544.wbo
1790.02/1790.01	c   Variables        : 29471 (17667 binary, 0 integer, 11804 implicit integer, 0 continuous)
1790.02/1790.01	c   Constraints      : 29005 initial, 29005 maximal
1790.02/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.02/1790.01	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1790.02/1790.01	c   dualfix          :       0.02       3405          0          0          0          0          0          0          0
1790.02/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.01	c   implics          :       0.01          0          0          0          0          0          0          0          0
1790.02/1790.01	c   probing          :       6.72          0          0          0          0          0          0          0          0
1790.02/1790.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.01	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1790.02/1790.01	c   linear           :       0.23        269        185          0      12073          0       2739          0          0
1790.02/1790.01	c   indicator        :       0.08          0          0          0          0          0       1628          0          0
1790.02/1790.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.02/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1790.02/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.01	c   integral         :          0          0          0      69265          0          0          0          0          0       5694
1790.02/1790.01	c   varbound         :        381         11     212494      66418          0          0      20101        383          0          0
1790.02/1790.01	c   knapsack         :         63         11     212494      66267          0          0          0          0          0          0
1790.02/1790.01	c   setppc           :       4464         11     212494      66267          0          0     300288          0          0          0
1790.02/1790.01	c   linear           :      11422         11     212494      66267          0          0      14879      28498          0          0
1790.02/1790.01	c   indicator        :      11804          0     212494      66418          0          0      34997          0          0          0
1790.02/1790.01	c   logicor          :        871         11      25726      63876          0          0       4347          0          0          0
1790.02/1790.01	c   countsols        :          0          0          0      63876          0          0          0          0          0          0
1790.02/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.02/1790.01	c   integral         :      24.92       0.00       0.00      24.92       0.00
1790.02/1790.01	c   varbound         :       6.29       0.00       2.97       3.32       0.00
1790.02/1790.01	c   knapsack         :       0.92       0.00       0.65       0.28       0.00
1790.02/1790.01	c   setppc           :      46.58       0.00      29.72      16.85       0.00
1790.02/1790.01	c   linear           :     315.38       0.05      47.93     267.40       0.00
1790.02/1790.01	c   indicator        :     248.80       0.00      98.21     150.58       0.00
1790.02/1790.01	c   logicor          :       4.36       0.00       0.08       4.28       0.00
1790.02/1790.01	c   countsols        :       0.02       0.00       0.00       0.02       0.00
1790.02/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.02/1790.01	c   vbounds          :       0.09        433          0          0
1790.02/1790.01	c   rootredcost      :       0.09          0          0          0
1790.02/1790.01	c   pseudoobj        :      82.41     207896          0          0
1790.02/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.02/1790.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.02/1790.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.02/1790.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.02/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.02/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.02/1790.01	c   cut pool         :       0.00          7          -          -          0          -    (maximal pool size: 22)
1790.02/1790.01	c   redcost          :      99.89      69188          0          0          0          0
1790.02/1790.01	c   impliedbounds    :       0.00          2          0          0          4          0
1790.02/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.02/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.02/1790.01	c   gomory           :       0.01          2          0          0         29          0
1790.02/1790.01	c   strongcg         :       0.01          2          0          0         29          0
1790.02/1790.01	c   cmir             :       0.15          2          0          0          3          0
1790.02/1790.01	c   flowcover        :       1.24          2          0          0          6          0
1790.02/1790.01	c   clique           :       0.02          2          0          0          2          0
1790.02/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.02/1790.01	c   mcf              :       0.01          1          0          0          0          0
1790.02/1790.01	c   rapidlearning    :       0.00          0          0          0          0          0
1790.02/1790.01	c Pricers            :       Time      Calls       Vars
1790.02/1790.01	c   problem variables:       0.00          0          0
1790.02/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.01	c   relpscost        :      24.86       2847          0          0          0          0       5694
1790.02/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   inference        :     323.32      63876          0          0          0          0     127752
1790.02/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.02/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.02/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.02/1790.01	c   LP solutions     :       0.00          -          0
1790.02/1790.01	c   pseudo solutions :       0.00          -          0
1790.02/1790.01	c   oneopt           :       0.08          0          0
1790.02/1790.01	c   crossover        :       0.03          0          0
1790.02/1790.01	c   guideddiving     :       0.00          0          0
1790.02/1790.01	c   intshifting      :       0.00          0          0
1790.02/1790.01	c   feaspump         :       1.27          7          0
1790.02/1790.01	c   fracdiving       :      21.35       1266          0
1790.02/1790.01	c   pscostdiving     :      21.28       1267          0
1790.02/1790.01	c   veclendiving     :      21.11       1267          0
1790.02/1790.01	c   linesearchdiving :      21.10       1267          0
1790.02/1790.01	c   coefdiving       :      21.20       1267          0
1790.02/1790.01	c   rootsoldiving    :      23.13       1252          0
1790.02/1790.01	c   objpscostdiving  :      22.73       1253          0
1790.02/1790.01	c   trivial          :       0.37          2          0
1790.02/1790.01	c   simplerounding   :       0.06       2829          0
1790.02/1790.01	c   zirounding       :       0.68       1000          0
1790.02/1790.01	c   rounding         :       0.68        707          0
1790.02/1790.01	c   shifting         :       0.65        187          0
1790.02/1790.01	c   twoopt           :       0.00          0          0
1790.02/1790.01	c   fixandinfer      :       0.00          0          0
1790.02/1790.01	c   intdiving        :       0.00          0          0
1790.02/1790.01	c   actconsdiving    :       0.00          0          0
1790.02/1790.01	c   octane           :       0.00          0          0
1790.02/1790.01	c   rens             :       0.00          0          0
1790.02/1790.01	c   rins             :       0.00          0          0
1790.02/1790.01	c   localbranching   :       0.00          0          0
1790.02/1790.01	c   mutation         :       0.00          0          0
1790.02/1790.01	c   dins             :       0.00          0          0
1790.02/1790.01	c   undercover       :       0.00          0          0
1790.02/1790.01	c   nlp              :       0.02          0          0
1790.02/1790.01	c   trysol           :      20.38       1308          0
1790.02/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.02/1790.01	c   primal LP        :       0.01          0          0       0.00          -
1790.02/1790.01	c   dual LP          :     228.70       6462      46565       7.21     203.61
1790.02/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.02/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.02/1790.01	c   diving/probing LP:       0.49         35         81       2.31     163.76
1790.02/1790.01	c   strong branching :      24.80       2894       9788       3.38     394.60
1790.02/1790.01	c     (at root node) :          -          0          0       0.00          -
1790.02/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.02/1790.01	c B&B Tree           :
1790.02/1790.01	c   number of runs   :          1
1790.02/1790.01	c   nodes            :      66723
1790.02/1790.01	c   nodes (total)    :      66723
1790.02/1790.01	c   nodes left       :      66724
1790.02/1790.01	c   max depth        :        133
1790.02/1790.01	c   max depth (total):        133
1790.02/1790.01	c   backtracks       :       1273 (1.9%)
1790.02/1790.01	c   delayed cutoffs  :          0
1790.02/1790.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.02/1790.01	c   avg switch length:       2.18
1790.02/1790.01	c   switching time   :      13.48
1790.02/1790.01	c Solution           :
1790.02/1790.01	c   Solutions found  :          0 (0 improvements)
1790.02/1790.01	c   Primal Bound     :          -
1790.02/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.02/1790.01	c   Gap              :   infinite
1790.02/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.02/1790.01	c   Root Iterations  :       1251
1790.32/1790.38	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-2705256-1278576544/watcher-2705256-1278576544 -o /tmp/evaluation-result-2705256-1278576544/solver-2705256-1278576544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705256-1278576544.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.00 2.00 1.91 4/178 21586
/proc/meminfo: memFree=28706332/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=12540 CPUtime=0
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 1977 0 0 0 0 0 0 0 21 0 1 0 25867958 12840960 1896 4089446400 4194304 10345943 140736817494304 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21586/statm: 3135 1896 429 1502 0 1628 0

[startup+0.0773469 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 21586
/proc/meminfo: memFree=28706332/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=32408 CPUtime=0.06
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 6935 0 0 0 6 0 0 0 21 0 1 0 25867958 33185792 6854 4089446400 4194304 10345943 140736817494304 18446744073709551615 9134608 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21586/statm: 8102 6854 430 1502 0 6595 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 32408

[startup+0.100344 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 21586
/proc/meminfo: memFree=28706332/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=37936 CPUtime=0.09
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 8350 0 0 0 9 0 0 0 21 0 1 0 25867958 38846464 8269 4089446400 4194304 10345943 140736817494304 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21586/statm: 9484 8269 430 1502 0 7977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37936

[startup+0.300306 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 21586
/proc/meminfo: memFree=28706332/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=115356 CPUtime=0.29
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 28006 0 0 0 27 2 0 0 21 0 1 0 25867958 118124544 27535 4089446400 4194304 10345943 140736817494304 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21586/statm: 28839 27535 495 1502 0 27332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 115356

[startup+0.700243 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 21586
/proc/meminfo: memFree=28706332/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=127976 CPUtime=0.69
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 30367 0 0 0 67 2 0 0 22 0 1 0 25867958 131047424 29896 4089446400 4194304 10345943 140736817494304 18446744073709551615 18446744073699066043 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21586/statm: 31994 29896 530 1502 0 30487 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127976

[startup+1.50111 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21587
/proc/meminfo: memFree=28585176/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=141012 CPUtime=1.49
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 33652 0 0 0 147 2 0 0 25 0 1 0 25867958 144396288 33163 4089446400 4194304 10345943 140736817494304 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21586/statm: 35253 33163 613 1502 0 33746 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141012

[startup+3.10082 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21587
/proc/meminfo: memFree=28574016/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=141012 CPUtime=3.09
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 33665 0 0 0 307 2 0 0 25 0 1 0 25867958 144396288 33163 4089446400 4194304 10345943 140736817494304 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21586/statm: 35253 33163 600 1502 0 33746 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141012

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21587
/proc/meminfo: memFree=28571264/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=141668 CPUtime=6.29
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 33834 0 0 0 627 2 0 0 25 0 1 0 25867958 145068032 33332 4089446400 4194304 10345943 140736817494304 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21586/statm: 35417 33332 605 1502 0 33910 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 141668

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21588
/proc/meminfo: memFree=28534584/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=178608 CPUtime=12.69
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 51301 0 0 0 1265 4 0 0 25 0 1 0 25867958 182894592 41979 4089446400 4194304 10345943 140736817494304 18446744073709551615 6520136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 44652 41979 786 1502 0 43145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178608

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21588
/proc/meminfo: memFree=28521888/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=184720 CPUtime=25.49
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 68836 0 0 0 2541 8 0 0 25 0 1 0 25867958 189153280 43370 4089446400 4194304 10345943 140736817494304 18446744073709551615 4871679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 46180 43370 786 1502 0 44673 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 184720

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21589
/proc/meminfo: memFree=28500652/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=193920 CPUtime=51.09
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 77428 0 0 0 5100 9 0 0 25 0 1 0 25867958 198574080 45448 4089446400 4194304 10345943 140736817494304 18446744073709551615 6712068 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 48480 45448 786 1502 0 46973 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 193920

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21590
/proc/meminfo: memFree=28451480/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=207980 CPUtime=102.29
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 148218 0 0 0 10209 20 0 0 25 0 1 0 25867958 212971520 49090 4089446400 4194304 10345943 140736817494304 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 51995 49090 786 1502 0 50488 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 207980

[startup+162.301 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 21592
/proc/meminfo: memFree=28393040/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=228584 CPUtime=162.29
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 178151 0 0 0 16203 26 0 0 25 0 1 0 25867958 234070016 54026 4089446400 4194304 10345943 140736817494304 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 57146 54026 786 1502 0 55639 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 228584

[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21593
/proc/meminfo: memFree=28336088/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=249796 CPUtime=222.3
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 184196 0 0 0 22201 29 0 0 25 0 1 0 25867958 255791104 59412 4089446400 4194304 10345943 140736817494304 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 62449 59412 786 1502 0 60942 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 249796

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21595
/proc/meminfo: memFree=28279380/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=271116 CPUtime=282.29
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 216555 0 0 0 28196 33 0 0 25 0 1 0 25867958 277622784 64889 4089446400 4194304 10345943 140736817494304 18446744073709551615 4608394 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 67779 64889 786 1502 0 66272 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 271116

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21596
/proc/meminfo: memFree=28219320/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=294176 CPUtime=342.29
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 241132 0 0 0 34190 39 0 0 25 0 1 0 25867958 301236224 70396 4089446400 4194304 10345943 140736817494304 18446744073709551615 4882046 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 73544 70396 786 1502 0 72037 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 294176

[startup+402.301 s]
/proc/loadavg: 2.06 2.03 1.93 3/179 21598
/proc/meminfo: memFree=28161124/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=316372 CPUtime=402.29
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 321615 0 0 0 40176 53 0 0 25 0 1 0 25867958 323964928 75943 4089446400 4194304 10345943 140736817494304 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 79093 75943 786 1502 0 77586 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 316372

[startup+462.301 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 21600
/proc/meminfo: memFree=28104300/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=338396 CPUtime=462.3
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 346138 0 0 0 46171 59 0 0 25 0 1 0 25867958 346517504 81569 4089446400 4194304 10345943 140736817494304 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 84599 81569 786 1502 0 83092 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 338396

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 21601
/proc/meminfo: memFree=28045620/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=362580 CPUtime=522.3
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 391721 0 0 0 52164 66 0 0 25 0 1 0 25867958 371281920 87471 4089446400 4194304 10345943 140736817494304 18446744073709551615 5214267 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 90645 87471 786 1502 0 89138 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 362580

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 21606
/proc/meminfo: memFree=27981432/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=387492 CPUtime=582.3
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 406318 0 0 0 58160 70 0 0 25 0 1 0 25867958 396791808 93871 4089446400 4194304 10345943 140736817494304 18446744073709551615 8159993 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 96873 93871 786 1502 0 95366 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 387492

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21607
/proc/meminfo: memFree=27926364/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=409388 CPUtime=642.3
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 427618 0 0 0 64156 74 0 0 25 0 1 0 25867958 419213312 99348 4089446400 4194304 10345943 140736817494304 18446744073709551615 6803434 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 102347 99348 786 1502 0 100840 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 409388

[startup+702.301 s]

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

/proc/meminfo: memFree=27577324/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=549296 CPUtime=1002.3
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 578191 0 0 0 100126 104 0 0 25 0 1 0 25867958 562479104 134048 4089446400 4194304 10345943 140736817494304 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 137324 134048 786 1502 0 135817 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 549296

[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/179 21619
/proc/meminfo: memFree=27520120/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=575288 CPUtime=1062.3
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 586362 0 0 0 106123 107 0 0 25 0 1 0 25867958 589094912 140043 4089446400 4194304 10345943 140736817494304 18446744073709551615 4688145 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 143822 140043 786 1502 0 142315 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 575288

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 21620
/proc/meminfo: memFree=27460824/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=594436 CPUtime=1122.31
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 600049 0 0 0 112120 111 0 0 25 0 1 0 25867958 608702464 145653 4089446400 4194304 10345943 140736817494304 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 148609 145653 786 1502 0 147102 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 594436

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 21622
/proc/meminfo: memFree=27407596/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=617268 CPUtime=1182.31
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 607773 0 0 0 118117 114 0 0 25 0 1 0 25867958 632082432 151251 4089446400 4194304 10345943 140736817494304 18446744073709551615 6518778 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 154317 151251 786 1502 0 152810 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 617268

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 21623
/proc/meminfo: memFree=27353116/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=637596 CPUtime=1242.31
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 613267 0 0 0 124114 117 0 0 25 0 1 0 25867958 652898304 156560 4089446400 4194304 10345943 140736817494304 18446744073709551615 5095658 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 159399 156560 786 1502 0 157892 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 637596

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 21647
/proc/meminfo: memFree=28335548/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=663632 CPUtime=1302.31
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 623453 0 0 0 130111 120 0 0 25 0 1 0 25867958 679559168 162796 4089446400 4194304 10345943 140736817494304 18446744073709551615 6777390 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 165908 162796 786 1502 0 164401 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 663632

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21654
/proc/meminfo: memFree=28169844/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=687236 CPUtime=1362.31
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 629531 0 0 0 136107 124 0 0 25 0 1 0 25867958 703729664 168874 4089446400 4194304 10345943 140736817494304 18446744073709551615 6864970 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 171809 168874 786 1502 0 170302 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 687236

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21655
/proc/meminfo: memFree=28070964/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=714792 CPUtime=1422.32
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 644550 0 0 0 142103 129 0 0 25 0 1 0 25867958 731947008 175231 4089446400 4194304 10345943 140736817494304 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 178698 175231 786 1502 0 177191 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 714792

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21657
/proc/meminfo: memFree=27947284/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=735940 CPUtime=1482.31
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 650048 0 0 0 148100 131 0 0 25 0 1 0 25867958 753602560 180553 4089446400 4194304 10345943 140736817494304 18446744073709551615 4749687 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 183985 180553 786 1502 0 182478 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 735940

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21658
/proc/meminfo: memFree=27821972/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=759052 CPUtime=1542.32
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 655911 0 0 0 154098 134 0 0 25 0 1 0 25867958 777269248 186416 4089446400 4194304 10345943 140736817494304 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 189763 186416 786 1502 0 188256 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 759052

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21660
/proc/meminfo: memFree=27706724/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=782812 CPUtime=1602.31
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 674008 0 0 0 160093 138 0 0 25 0 1 0 25867958 801599488 192112 4089446400 4194304 10345943 140736817494304 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 195703 192112 786 1502 0 194196 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 782812

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21662
/proc/meminfo: memFree=27570128/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=804624 CPUtime=1662.32
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 679426 0 0 0 166091 141 0 0 25 0 1 0 25867958 823934976 197530 4089446400 4194304 10345943 140736817494304 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 201156 197530 786 1502 0 199649 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 804624

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21663
/proc/meminfo: memFree=27542428/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=827380 CPUtime=1722.32
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 708089 0 0 0 172085 147 0 0 25 0 1 0 25867958 847237120 203479 4089446400 4194304 10345943 140736817494304 18446744073709551615 6777348 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 206845 203479 786 1502 0 205338 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 827380

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21665
/proc/meminfo: memFree=27516832/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=849332 CPUtime=1782.32
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 714932 0 0 0 178082 150 0 0 25 0 1 0 25867958 869715968 208671 4089446400 4194304 10345943 140736817494304 18446744073709551615 8160349 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 212333 208671 786 1502 0 210826 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 849332

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 21665
/proc/meminfo: memFree=27513352/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=852344 CPUtime=1785.52
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 715744 0 0 0 178402 150 0 0 25 0 1 0 25867958 872800256 209483 4089446400 4194304 10345943 140736817494304 18446744073709551615 6119783 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 213086 209483 786 1502 0 211579 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 852344

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21665
/proc/meminfo: memFree=27511976/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=853368 CPUtime=1788.72
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 715988 0 0 0 178722 150 0 0 25 0 1 0 25867958 873848832 209727 4089446400 4194304 10345943 140736817494304 18446744073709551615 4227579 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 213342 209727 786 1502 0 211835 0
Current children cumulated CPU time (s) 1788.72
Current children cumulated vsize (KiB) 853368

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21665
/proc/meminfo: memFree=27511976/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=853368 CPUtime=1789.52
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 716010 0 0 0 178802 150 0 0 25 0 1 0 25867958 873848832 209749 4089446400 4194304 10345943 140736817494304 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 213342 209749 786 1502 0 211835 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 853368

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21665
/proc/meminfo: memFree=27511852/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=854388 CPUtime=1789.92
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 716166 0 0 0 178842 150 0 0 25 0 1 0 25867958 874893312 209905 4089446400 4194304 10345943 140736817494304 18446744073709551615 6702894 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21586/statm: 213597 209905 786 1502 0 212090 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 854388

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21665
/proc/meminfo: memFree=27511852/32951124 swapFree=67111528/67111528
[pid=21586] ppid=21584 vsize=854388 CPUtime=1790.32
/proc/21586/stat : 21586 (pbscip.linux.x8) R 21584 21586 21153 0 -1 4202496 716179 0 0 0 178882 150 0 0 25 0 1 0 25867958 874893312 209918 4089446400 4194304 10345943 140736817494304 18446744073709551615 4750745 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21586/statm: 213597 209918 795 1502 0 212090 0
Current children cumulated CPU time (s) 1790.32
Current children cumulated vsize (KiB) 854388

Child status: 0
Real time (s): 1790.38
CPU time (s): 1790.41
CPU user time (s): 1788.87
CPU system time (s): 1.53777
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 854388

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

runsolver used 3.07453 second user time and 6.69898 second system time

The end

Launcher Data 

Begin job on node118 at 2010-07-08 10:09:04
IDJOB=2705256
IDBENCH=79090
IDSOLVER=1214
FILE ID=node118/2705256-1278576544
PBS_JOBID= 11240217
Free space on /tmp= 73544 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/j60/normalized-j602_7-unsat--soft-33-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-2705256-1278576544/watcher-2705256-1278576544 -o /tmp/evaluation-result-2705256-1278576544/solver-2705256-1278576544 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705256-1278576544.wbo -t 1800 -m 3800

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

MD5SUM BENCH= ca01bfc21a1e057687efc2b7fef91d1f
RANDOM SEED=198113926

node118.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.818
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.818
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.818
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.818
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.818
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.72
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.818
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.83
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.818
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.76
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.818
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.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28706736 kB
Buffers:        155592 kB
Cached:        3606344 kB
SwapCached:          0 kB
Active:        1531300 kB
Inactive:      2562072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28706736 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13244 kB
Writeback:           0 kB
AnonPages:      331576 kB
Mapped:          17928 kB
Slab:            86944 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   481876 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= 73532 MiB
End job on node118 at 2010-07-08 10:38:55