Trace number 2705217

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.65 1790.6

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9010_6-unsat--soft-66-100-0.wbo
MD5SUM5d7aea7a0e3c8d0b9f22ec2921124ff8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.167974
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables16744
Total number of constraints52975
Number of soft constraints17935
Number of constraints which are clauses52611
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints364
Minimum length of a constraint1
Maximum length of a constraint72
Top cost 908194
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 908193
Biggest number in a constraint 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 413
Number of bits of the biggest sum of numbers9
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-2705217-1278576541.wbo>
0.39/0.44	c original problem has 52614 variables (34679 bin, 0 int, 17935 impl, 0 cont) and 70911 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
1.39/1.40	c presolving:
1.69/1.78	c (round 1) 1416 del vars, 4955 del conss, 888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 651442 impls, 0 clqs
1.99/2.09	c (round 2) 4221 del vars, 13607 del conss, 2024 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 663521 impls, 0 clqs
2.39/2.46	c (round 3) 9320 del vars, 22280 del conss, 3034 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 672802 impls, 0 clqs
2.69/2.72	c (round 4) 14754 del vars, 28219 del conss, 3730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 678983 impls, 0 clqs
2.79/2.88	c (round 5) 18813 del vars, 32189 del conss, 4261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 682254 impls, 0 clqs
2.99/3.01	c (round 6) 21654 del vars, 35321 del conss, 4714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687811 impls, 0 clqs
3.09/3.10	c (round 7) 23749 del vars, 37689 del conss, 5057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 689412 impls, 0 clqs
3.09/3.18	c (round 8) 25395 del vars, 39580 del conss, 5265 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 690406 impls, 0 clqs
3.20/3.24	c (round 9) 26641 del vars, 40807 del conss, 5397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 690834 impls, 0 clqs
3.20/3.28	c (round 10) 27532 del vars, 41604 del conss, 5489 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 690996 impls, 0 clqs
3.30/3.31	c (round 11) 28086 del vars, 42069 del conss, 5538 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691198 impls, 0 clqs
3.30/3.33	c (round 12) 28436 del vars, 42364 del conss, 5577 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691366 impls, 0 clqs
3.30/3.35	c (round 13) 28665 del vars, 42661 del conss, 5609 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691464 impls, 0 clqs
3.30/3.37	c (round 14) 28884 del vars, 42941 del conss, 5637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691560 impls, 0 clqs
3.30/3.38	c (round 15) 29071 del vars, 43098 del conss, 5653 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691600 impls, 0 clqs
3.30/3.39	c (round 16) 29184 del vars, 43160 del conss, 5657 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691600 impls, 0 clqs
3.39/3.40	c (round 17) 29233 del vars, 43188 del conss, 5659 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691600 impls, 0 clqs
3.39/3.41	c (round 18) 29253 del vars, 43197 del conss, 5659 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691600 impls, 0 clqs
3.39/3.45	c (round 19) 29261 del vars, 43200 del conss, 13363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691600 impls, 0 clqs
3.39/3.46	c (round 20) 29295 del vars, 43231 del conss, 13363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 691636 impls, 0 clqs
3.59/3.62	c (round 21) 29295 del vars, 43231 del conss, 13363 chg bounds, 0 chg sides, 0 chg coeffs, 13173 upgd conss, 706948 impls, 0 clqs
8.69/8.78	c    (8.3s) probing: 1000/15615 (6.4%) - 0 fixings, 0 aggregations, 26628 implications, 0 bound changes
12.89/12.92	c    (12.5s) probing: 2000/15615 (12.8%) - 0 fixings, 0 aggregations, 31441 implications, 0 bound changes
12.89/12.92	c    (12.5s) probing: 2001/15615 (12.8%) - 0 fixings, 0 aggregations, 31441 implications, 0 bound changes
12.89/12.92	c    (12.5s) probing aborted: 2000/2000 successive useless probings
12.89/12.92	c presolving (22 rounds):
12.89/12.92	c  29295 deleted vars, 43231 deleted constraints, 13363 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
12.89/12.92	c  844254 implications, 0 cliques
12.89/12.92	c presolved problem has 23319 variables (15615 bin, 0 int, 7704 impl, 0 cont) and 27680 constraints
12.89/12.92	c     903 constraints of type <varbound>
12.89/12.92	c     217 constraints of type <knapsack>
12.89/12.92	c    9988 constraints of type <setppc>
12.89/12.92	c    6803 constraints of type <linear>
12.89/12.92	c    7704 constraints of type <indicator>
12.89/12.92	c    2065 constraints of type <logicor>
12.89/12.92	c transformed objective value is always integral (scale: 1)
12.89/12.92	c Presolving Time: 12.30
12.89/12.92	c - non default parameters ----------------------------------------------------------------------
12.89/12.92	c # SCIP version 1.2.1.3
12.89/12.92	c 
12.89/12.92	c # frequency for displaying node information lines
12.89/12.92	c # [type: int, range: [-1,2147483647], default: 100]
12.89/12.92	c display/freq = 10000
12.89/12.92	c 
12.89/12.92	c # maximal time in seconds to run
12.89/12.92	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.89/12.92	c limits/time = 1789.57
12.89/12.92	c 
12.89/12.92	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.89/12.92	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.89/12.92	c limits/memory = 3420
12.89/12.92	c 
12.89/12.92	c # default clock type (1: CPU user seconds, 2: wall clock time)
12.89/12.92	c # [type: int, range: [1,2], default: 1]
12.89/12.92	c timing/clocktype = 2
12.89/12.92	c 
12.89/12.92	c # should presolving try to simplify inequalities
12.89/12.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.89/12.92	c constraints/linear/simplifyinequalities = TRUE
12.89/12.92	c 
12.89/12.92	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
12.89/12.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.89/12.92	c constraints/indicator/addCouplingCons = TRUE
12.89/12.92	c 
12.89/12.92	c # should presolving try to simplify knapsacks
12.89/12.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.89/12.92	c constraints/knapsack/simplifyinequalities = TRUE
12.89/12.92	c 
12.89/12.92	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.89/12.92	c # [type: int, range: [-1,2147483647], default: -1]
12.89/12.92	c separating/rapidlearning/freq = 0
12.89/12.92	c 
12.89/12.92	c -----------------------------------------------------------------------------------------------
12.89/12.92	c start solving
12.89/12.93	c 
12.98/13.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.98/13.04	c  12.6s|     1 |     0 |   824 |     - | 177M|   0 | 318 |  23k|  27k|  23k|  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.39/14.41	c  14.0s|     1 |     0 |  1862 |     - | 179M|   0 | 161 |  23k|  27k|  23k|  13k| 953 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.09/16.13	c  15.7s|     1 |     0 |  2681 |     - | 180M|   0 | 676 |  23k|  27k|  23k|  13k|1266 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
17.78/17.81	c  17.4s|     1 |     0 |  3542 |     - | 181M|   0 | 232 |  23k|  27k|  23k|  13k|1670 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.69/19.71	c  19.3s|     1 |     0 |  4739 |     - | 182M|   0 |1217 |  23k|  27k|  23k|  14k|1912 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.79/23.81	c  23.4s|     1 |     0 |  6391 |     - | 182M|   0 | 349 |  23k|  27k|  23k|  14k|2241 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.99/27.00	c  26.6s|     1 |     0 |  8541 |     - | 184M|   0 | 875 |  23k|  27k|  23k|  14k|2454 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
41.19/41.21	c  40.8s|     1 |     2 |  8541 |     - | 184M|   0 | 875 |  23k|  27k|  23k|  14k|2454 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
607.11/607.16	c   607s| 10000 |  9999 |229335 |  22.1 | 291M| 265 |   6 |  23k|  27k|  23k|  14k|  18k|  25 |4367 | 0.000000e+00 |      --      |    Inf 
867.71/867.76	c   867s| 20000 | 19999 |316646 |  15.4 | 396M| 265 |   0 |  23k|  27k|  23k|  14k|  31k|  54 |6489 | 0.000000e+00 |      --      |    Inf 
1092.12/1092.11	c  1092s| 30000 | 30007 |378164 |  12.3 | 501M| 265 |   0 |  23k|  27k|  23k|  14k|  42k|  54 |6957 | 0.000000e+00 |      --      |    Inf 
1344.03/1344.02	c  1344s| 40000 | 40005 |471178 |  11.6 | 607M| 265 |   0 |  23k|  27k|  23k|  14k|  55k|  61 |8633 | 0.000000e+00 |      --      |    Inf 
1586.83/1586.89	c  1586s| 50000 | 50005 |542062 |  10.7 | 712M| 265 |  14 |  23k|  27k|  23k|  14k|  71k|  61 |9590 | 0.000000e+00 |      --      |    Inf 
1790.05/1790.02	c 
1790.05/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.02	c Solving Time (sec) : 1789.58
1790.05/1790.02	c Solving Nodes      : 58092
1790.05/1790.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.05/1790.02	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.02	c Gap                : infinite
1790.05/1790.02	s UNKNOWN
1790.05/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.02	c Solving Time       :    1789.58
1790.05/1790.02	c Original Problem   :
1790.05/1790.02	c   Problem name     : HOME/instance-2705217-1278576541.wbo
1790.05/1790.02	c   Variables        : 52614 (34679 binary, 0 integer, 17935 implicit integer, 0 continuous)
1790.05/1790.02	c   Constraints      : 70911 initial, 70911 maximal
1790.05/1790.02	c Presolved Problem  :
1790.05/1790.02	c   Problem name     : t_HOME/instance-2705217-1278576541.wbo
1790.05/1790.02	c   Variables        : 23319 (15615 binary, 0 integer, 7704 implicit integer, 0 continuous)
1790.05/1790.02	c   Constraints      : 27680 initial, 27732 maximal
1790.05/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.05/1790.02	c   trivial          :       0.04        276          0          0          0          0          0          0          0
1790.05/1790.02	c   dualfix          :       0.07      21746          0          0          0          0          0          0          0
1790.05/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.02	c   implics          :       0.04          0          0          0          0          0          0          0          0
1790.05/1790.02	c   probing          :       9.23          0          0          0          0          0          0          0          0
1790.05/1790.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.02	c   knapsack         :       0.02          0          0          0          0          0          0          0          2
1790.05/1790.02	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1790.05/1790.02	c   linear           :       1.38       5411       1862          0      13363          0      33000          0          0
1790.05/1790.02	c   indicator        :       0.63          0          0          0          0          0      10231          0          0
1790.05/1790.02	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1790.05/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1790.05/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.02	c   integral         :          0          0          0      60813          0          0          1          0          0      74822
1790.05/1790.02	c   varbound         :        903          6     245307      23401          0          0      13383       1540          0          0
1790.05/1790.02	c   knapsack         :        217          6     245307      22354          0          1      97251        358          0          0
1790.05/1790.02	c   setppc           :       9988          6     245306      22354          0          0     500652          0          0          0
1790.05/1790.02	c   linear           :       6803          6     245306      22354          0          0      30107      81594          0          0
1790.05/1790.02	c   indicator        :       7704          0     245306      23401          0          0      35208          0          0          0
1790.05/1790.02	c   logicor          :       2065+         6     107130      20679          0          1      37941          0          0          0
1790.05/1790.02	c   countsols        :          0          0          0      20679          0          0          0          0          0          0
1790.05/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.05/1790.02	c   integral         :     317.18       0.00       0.00     317.18       0.00
1790.05/1790.02	c   varbound         :       8.49       0.00       5.58       2.91       0.00
1790.05/1790.02	c   knapsack         :       2.99       0.01       2.66       0.33       0.00
1790.05/1790.02	c   setppc           :      48.17       0.01      40.87       7.29       0.00
1790.05/1790.02	c   linear           :      64.48       0.02      25.85      38.61       0.00
1790.05/1790.02	c   indicator        :     128.62       0.00      86.38      42.24       0.00
1790.05/1790.02	c   logicor          :       2.70       0.00       0.40       2.29       0.00
1790.05/1790.02	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1790.05/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.05/1790.02	c   vbounds          :       0.12       1334          0          0
1790.05/1790.02	c   rootredcost      :       0.07          0          0          0
1790.05/1790.02	c   pseudoobj        :      50.12     237346          0          0
1790.05/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.05/1790.02	c   propagation      :       0.00          2          2          2        9.5          0        0.0          -
1790.05/1790.02	c   infeasible LP    :       0.15         48         48         65        9.8          0        0.0          0
1790.05/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.05/1790.02	c   applied globally :          -          -          -         61        9.6          -          -          -
1790.05/1790.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.05/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.05/1790.02	c   cut pool         :       0.00          5          -          -        229          -    (maximal pool size: 1967)
1790.05/1790.02	c   redcost          :      69.73      60782          0          0          0          0
1790.05/1790.02	c   impliedbounds    :       0.01          6          0          0        701          0
1790.05/1790.02	c   intobj           :       0.00          0          0          0          0          0
1790.05/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1790.05/1790.02	c   gomory           :       2.51          6          0          0       2035          0
1790.05/1790.02	c   strongcg         :       1.70          6          0          0       2415          0
1790.05/1790.02	c   cmir             :       1.07          6          0          0          0          0
1790.05/1790.02	c   flowcover        :       3.46          6          0          0        475          0
1790.05/1790.02	c   clique           :       0.26          6          0          0         37          0
1790.05/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1790.05/1790.02	c   mcf              :       0.02          1          0          0          0          0
1790.05/1790.02	c   rapidlearning    :       0.00          0          0          0          0          0
1790.05/1790.02	c Pricers            :       Time      Calls       Vars
1790.05/1790.02	c   problem variables:       0.00          0          0
1790.05/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.02	c   relpscost        :     317.08      37412          0          1          0          0      74822
1790.05/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1790.05/1790.02	c   inference        :      90.46      20679          0          0          0          0      41366
1790.05/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1790.05/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1790.05/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.05/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.05/1790.02	c   random           :       0.00          0          0          0          0          0          0
1790.05/1790.02	c Primal Heuristics  :       Time      Calls      Found
1790.05/1790.02	c   LP solutions     :       0.00          -          0
1790.05/1790.02	c   pseudo solutions :       0.00          -          0
1790.05/1790.02	c   oneopt           :       0.07          0          0
1790.05/1790.02	c   crossover        :       0.03          0          0
1790.05/1790.02	c   guideddiving     :       0.00          0          0
1790.05/1790.02	c   intshifting      :       0.00          0          0
1790.05/1790.02	c   rootsoldiving    :       4.55          6          0
1790.05/1790.02	c   objpscostdiving  :       4.22          8          0
1790.05/1790.02	c   feaspump         :      12.65         74          0
1790.05/1790.02	c   coefdiving       :      44.49        322          0
1790.05/1790.02	c   pscostdiving     :      37.74        322          0
1790.05/1790.02	c   veclendiving     :      26.69        322          0
1790.05/1790.02	c   linesearchdiving :      36.13        322          0
1790.05/1790.02	c   fracdiving       :      42.07        327          0
1790.05/1790.02	c   trivial          :       0.73          2          0
1790.05/1790.02	c   simplerounding   :       0.13      37164          0
1790.05/1790.02	c   zirounding       :       0.66       1000          0
1790.05/1790.02	c   rounding         :       2.19       2677          0
1790.05/1790.02	c   shifting         :       2.82        784          0
1790.05/1790.02	c   twoopt           :       0.00          0          0
1790.05/1790.02	c   fixandinfer      :       0.00          0          0
1790.05/1790.02	c   intdiving        :       0.00          0          0
1790.05/1790.02	c   actconsdiving    :       0.00          0          0
1790.05/1790.02	c   octane           :       0.00          0          0
1790.05/1790.02	c   rens             :       0.23          1          0
1790.05/1790.02	c   rins             :       0.00          0          0
1790.05/1790.02	c   localbranching   :       0.00          0          0
1790.05/1790.02	c   mutation         :       0.00          0          0
1790.05/1790.02	c   dins             :       0.00          0          0
1790.05/1790.02	c   undercover       :       0.00          0          0
1790.05/1790.02	c   nlp              :       0.02          0          0
1790.05/1790.02	c   trysol           :       5.14        328          0
1790.05/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.05/1790.02	c   primal LP        :       0.01          0          0       0.00       0.00
1790.05/1790.02	c   dual LP          :     576.23      40313     513690      12.74     891.47
1790.05/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1790.05/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1790.05/1790.02	c   diving/probing LP:     115.93       9403      85020       9.04     733.35
1790.05/1790.02	c   strong branching :     315.45      10655     323981      30.41    1027.04
1790.05/1790.02	c     (at root node) :          -         17      14943     879.00          -
1790.05/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1790.05/1790.02	c B&B Tree           :
1790.05/1790.02	c   number of runs   :          1
1790.05/1790.02	c   nodes            :      58092
1790.05/1790.02	c   nodes (total)    :      58092
1790.05/1790.02	c   nodes left       :      58097
1790.05/1790.02	c   max depth        :        265
1790.05/1790.02	c   max depth (total):        265
1790.05/1790.02	c   backtracks       :        463 (0.8%)
1790.05/1790.02	c   delayed cutoffs  :          0
1790.05/1790.02	c   repropagations   :         14 (22 domain reductions, 0 cutoffs)
1790.05/1790.02	c   avg switch length:       2.13
1790.05/1790.02	c   switching time   :      17.74
1790.05/1790.02	c Solution           :
1790.05/1790.02	c   Solutions found  :          0 (0 improvements)
1790.05/1790.02	c   Primal Bound     :          -
1790.05/1790.02	c   Dual Bound       : +0.00000000000000e+00
1790.05/1790.02	c   Gap              :   infinite
1790.05/1790.02	c   Root Dual Bound  : +0.00000000000000e+00
1790.05/1790.02	c   Root Iterations  :       8541
1790.64/1790.60	c Time complete: 1790.64.

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-2705217-1278576541/watcher-2705217-1278576541 -o /tmp/evaluation-result-2705217-1278576541/solver-2705217-1278576541 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705217-1278576541.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 3/178 23652
/proc/meminfo: memFree=27830144/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=12340 CPUtime=0
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1947 0 0 0 0 0 0 0 22 0 1 0 25867253 12636160 1865 4089446400 4194304 10345943 140734494149184 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23652/statm: 3085 1866 429 1502 0 1578 0

[startup+0.0145559 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23652
/proc/meminfo: memFree=27830144/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=15500 CPUtime=0.01
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 2710 0 0 0 1 0 0 0 22 0 1 0 25867253 15872000 2628 4089446400 4194304 10345943 140734494149184 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23652/statm: 3875 2628 429 1502 0 2368 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15500

[startup+0.100507 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23652
/proc/meminfo: memFree=27830144/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=33384 CPUtime=0.09
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 7207 0 0 0 9 0 0 0 22 0 1 0 25867253 34185216 7125 4089446400 4194304 10345943 140734494149184 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23652/statm: 8346 7125 430 1502 0 6839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33384

[startup+0.300459 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23652
/proc/meminfo: memFree=27830144/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=66740 CPUtime=0.29
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 15533 0 0 0 28 1 0 0 22 0 1 0 25867253 68341760 15451 4089446400 4194304 10345943 140734494149184 18446744073709551615 6325550 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23652/statm: 16685 15451 430 1502 0 15178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66740

[startup+0.700385 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23652
/proc/meminfo: memFree=27830144/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=193376 CPUtime=0.69
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 46766 0 0 0 65 4 0 0 25 0 1 0 25867253 198017024 46294 4089446400 4194304 10345943 140734494149184 18446744073709551615 4246720 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23652/statm: 48344 46294 505 1502 0 46837 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 193376

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23653
/proc/meminfo: memFree=27639176/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=211772 CPUtime=1.49
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 50926 0 0 0 145 4 0 0 25 0 1 0 25867253 216854528 50454 4089446400 4194304 10345943 140734494149184 18446744073709551615 18446744073699065989 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 52943 50454 536 1502 0 51436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211772

[startup+3.10102 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23653
/proc/meminfo: memFree=27612144/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=230948 CPUtime=3.09
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 55689 0 0 0 304 5 0 0 25 0 1 0 25867253 236490752 55217 4089446400 4194304 10345943 140734494149184 18446744073709551615 4287408 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 57737 55217 543 1502 0 56230 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 230948

[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23654
/proc/meminfo: memFree=27596892/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=242440 CPUtime=6.29
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 59440 0 0 0 624 5 0 0 25 0 1 0 25867253 248258560 58190 4089446400 4194304 10345943 140734494149184 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23652/statm: 60610 58190 600 1502 0 59103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 242440

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23654
/proc/meminfo: memFree=27594952/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=244240 CPUtime=12.69
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 59881 0 0 0 1264 5 0 0 25 0 1 0 25867253 250101760 58619 4089446400 4194304 10345943 140734494149184 18446744073709551615 5604541 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23652/statm: 61060 58619 593 1502 0 59553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 244240

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23708
/proc/meminfo: memFree=28181940/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=298264 CPUtime=25.49
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 72351 0 0 0 2542 7 0 0 25 0 1 0 25867253 305422336 71066 4089446400 4194304 10345943 140734494149184 18446744073709551615 6336339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23652/statm: 74566 71066 759 1502 0 73059 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 298264

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23708
/proc/meminfo: memFree=28135232/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=308880 CPUtime=51.09
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 95031 0 0 0 5093 16 0 0 25 0 1 0 25867253 316293120 72838 4089446400 4194304 10345943 140734494149184 18446744073709551615 7569820 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23652/statm: 77220 72838 785 1502 0 75713 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 308880

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28114692/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=299632 CPUtime=102.3
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 119576 0 0 0 10203 27 0 0 25 0 1 0 25867253 306823168 71501 4089446400 4194304 10345943 140734494149184 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23652/statm: 74908 71501 786 1502 0 73401 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 299632

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23793
/proc/meminfo: memFree=28168596/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=304964 CPUtime=162.29
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 135946 0 0 0 16192 37 0 0 25 0 1 0 25867253 312283136 73012 4089446400 4194304 10345943 140734494149184 18446744073709551615 7546927 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23652/statm: 76241 73012 789 1502 0 74734 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 304964

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23956
/proc/meminfo: memFree=28192556/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=306188 CPUtime=222.29
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 141316 0 0 0 22186 43 0 0 25 0 1 0 25867253 313536512 73424 4089446400 4194304 10345943 140734494149184 18446744073709551615 6864719 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23652/statm: 76547 73424 790 1502 0 75040 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 306188

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24092
/proc/meminfo: memFree=28160556/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=318872 CPUtime=282.3
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 158528 0 0 0 28180 50 0 0 25 0 1 0 25867253 326524928 73554 4089446400 4194304 10345943 140734494149184 18446744073709551615 6336347 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 79718 73554 790 1502 0 78211 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 318872

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24094
/proc/meminfo: memFree=28029236/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=310300 CPUtime=342.3
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 168272 0 0 0 34174 56 0 0 25 0 1 0 25867253 317747200 74479 4089446400 4194304 10345943 140734494149184 18446744073709551615 5211803 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 77575 74479 790 1502 0 76068 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 310300

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24096
/proc/meminfo: memFree=27922052/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=328248 CPUtime=402.3
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 277809 0 0 0 40159 71 0 0 25 0 1 0 25867253 336125952 78594 4089446400 4194304 10345943 140734494149184 18446744073709551615 9134648 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 82062 78594 791 1502 0 80555 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 328248

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24098
/proc/meminfo: memFree=27829748/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=348352 CPUtime=462.3
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 387693 0 0 0 46140 90 0 0 25 0 1 0 25867253 356712448 83672 4089446400 4194304 10345943 140734494149184 18446744073709551615 6003107 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 87088 83672 791 1502 0 85581 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 348352

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24099
/proc/meminfo: memFree=27736468/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=369200 CPUtime=522.3
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 521496 0 0 0 52120 110 0 0 25 0 1 0 25867253 378060800 89018 4089446400 4194304 10345943 140734494149184 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 92300 89018 791 1502 0 90793 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 369200

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24102
/proc/meminfo: memFree=27655312/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=397588 CPUtime=582.3
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 631179 0 0 0 58101 129 0 0 25 0 1 0 25867253 407130112 95356 4089446400 4194304 10345943 140734494149184 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 99397 95356 791 1502 0 97890 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 397588

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24105
/proc/meminfo: memFree=27579448/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=424724 CPUtime=642.32
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 677739 0 0 0 64092 140 0 0 25 0 1 0 25867253 434917376 102175 4089446400 4194304 10345943 140734494149184 18446744073709551615 5614624 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 106181 102175 791 1502 0 104674 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 424724

[startup+702.301 s]

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

/proc/meminfo: memFree=27299184/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=602096 CPUtime=1062.32
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1076526 0 0 0 106016 216 0 0 25 0 1 0 25867253 616546304 147761 4089446400 4194304 10345943 140734494149184 18446744073709551615 6803094 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 150524 147761 791 1502 0 149017 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 602096

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 24118
/proc/meminfo: memFree=27266780/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=639316 CPUtime=1122.32
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1098762 0 0 0 112012 220 0 0 25 0 1 0 25867253 654659584 155189 4089446400 4194304 10345943 140734494149184 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 159829 155189 791 1502 0 158322 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 639316

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 24119
/proc/meminfo: memFree=27237232/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=666748 CPUtime=1182.32
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1151364 0 0 0 118001 231 0 0 25 0 1 0 25867253 682749952 162631 4089446400 4194304 10345943 140734494149184 18446744073709551615 4729183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 166687 162631 791 1502 0 165180 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 666748

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 24121
/proc/meminfo: memFree=27208176/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=691956 CPUtime=1242.32
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1203942 0 0 0 123989 243 0 0 25 0 1 0 25867253 708562944 169211 4089446400 4194304 10345943 140734494149184 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 172989 169211 791 1502 0 171482 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 691956

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24123
/proc/meminfo: memFree=27181456/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=716064 CPUtime=1302.33
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1275304 0 0 0 129978 255 0 0 25 0 1 0 25867253 733249536 175571 4089446400 4194304 10345943 140734494149184 18446744073709551615 6756404 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 179016 175571 791 1502 0 177509 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 716064

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24125
/proc/meminfo: memFree=27159212/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=740024 CPUtime=1362.33
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1381383 0 0 0 135959 274 0 0 25 0 1 0 25867253 757784576 181379 4089446400 4194304 10345943 140734494149184 18446744073709551615 6119608 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 185006 181379 791 1502 0 183499 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 740024

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24126
/proc/meminfo: memFree=27134488/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=762100 CPUtime=1422.33
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1408274 0 0 0 141953 280 0 0 25 0 1 0 25867253 780390400 187255 4089446400 4194304 10345943 140734494149184 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 190525 187255 791 1502 0 189018 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 762100

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24127
/proc/meminfo: memFree=27087696/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=795040 CPUtime=1482.33
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1435477 0 0 0 147947 286 0 0 25 0 1 0 25867253 814120960 194807 4089446400 4194304 10345943 140734494149184 18446744073709551615 6868736 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 198760 194807 791 1502 0 197253 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 795040

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24129
/proc/meminfo: memFree=27061728/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=829976 CPUtime=1542.33
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1477231 0 0 0 153939 294 0 0 25 0 1 0 25867253 849895424 201086 4089446400 4194304 10345943 140734494149184 18446744073709551615 7613770 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 207494 201089 791 1502 0 205987 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 829976

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24131
/proc/meminfo: memFree=27035032/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=849920 CPUtime=1602.33
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1489110 0 0 0 159934 299 0 0 25 0 1 0 25867253 870318080 207974 4089446400 4194304 10345943 140734494149184 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 212480 207974 791 1502 0 210973 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 849920

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24133
/proc/meminfo: memFree=27010432/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=885152 CPUtime=1662.34
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1538813 0 0 0 165923 311 0 0 25 0 1 0 25867253 906395648 213912 4089446400 4194304 10345943 140734494149184 18446744073709551615 7591067 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 221288 213912 791 1502 0 219781 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 885152

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 24134
/proc/meminfo: memFree=26979764/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=904632 CPUtime=1722.34
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1560360 0 0 0 171919 315 0 0 25 0 1 0 25867253 926343168 221552 4089446400 4194304 10345943 140734494149184 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 226158 221552 791 1502 0 224651 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 904632

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24135
/proc/meminfo: memFree=26956028/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=926028 CPUtime=1782.34
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1632556 0 0 0 177906 328 0 0 25 0 1 0 25867253 948252672 227468 4089446400 4194304 10345943 140734494149184 18446744073709551615 6002282 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 231507 227468 791 1502 0 230000 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 926028

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24135
/proc/meminfo: memFree=26954652/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=931820 CPUtime=1785.55
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1632972 0 0 0 178226 329 0 0 25 0 1 0 25867253 954183680 227884 4089446400 4194304 10345943 140734494149184 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 232955 227884 791 1502 0 231448 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 931820

[startup+1788.7 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24135
/proc/meminfo: memFree=26953036/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=930592 CPUtime=1788.74
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1633454 0 0 0 178545 329 0 0 25 0 1 0 25867253 952926208 228058 4089446400 4194304 10345943 140734494149184 18446744073709551615 4484330 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 232648 228058 791 1502 0 231141 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 930592

[startup+1789.5 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24135
/proc/meminfo: memFree=26953036/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=931760 CPUtime=1789.55
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1633569 0 0 0 178626 329 0 0 25 0 1 0 25867253 954122240 228173 4089446400 4194304 10345943 140734494149184 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23652/statm: 232940 228173 791 1502 0 231433 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 931760

[startup+1790.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24135
/proc/meminfo: memFree=26953160/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=931760 CPUtime=1790.35
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1633581 0 0 0 178706 329 0 0 25 0 1 0 25867253 954122240 228185 4089446400 4194304 10345943 140734494149184 18446744073709551615 4287424 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23652/statm: 232940 228185 792 1502 0 231433 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 931760

[startup+1790.5 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24135
/proc/meminfo: memFree=26953160/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=931760 CPUtime=1790.55
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1633581 0 0 0 178726 329 0 0 25 0 1 0 25867253 954122240 228185 4089446400 4194304 10345943 140734494149184 18446744073709551615 6325008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23652/statm: 232940 228185 792 1502 0 231433 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (KiB) 931760

[startup+1790.6 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 24135
/proc/meminfo: memFree=26953160/32951124 swapFree=67111528/67111528
[pid=23652] ppid=23650 vsize=178416 CPUtime=1790.64
/proc/23652/stat : 23652 (pbscip.linux.x8) R 23650 23652 23207 0 -1 4202496 1633581 0 0 0 178732 332 0 0 25 0 1 0 25867253 182697984 13112 4089446400 4194304 10345943 140734494149184 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23652/statm: 44604 12600 792 1502 0 43097 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (KiB) 178416

Child status: 0
Real time (s): 1790.6
CPU time (s): 1790.65
CPU user time (s): 1787.33
CPU system time (s): 3.32749
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 938356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.33
system time used= 3.32749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1633584
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= 1
involuntary context switches= 1179

runsolver used 2.85857 second user time and 5.57115 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-08 10:09:01
IDJOB=2705217
IDBENCH=79077
IDSOLVER=1214
FILE ID=node138/2705217-1278576541
PBS_JOBID= 11240179
Free space on /tmp= 73596 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-j9010_6-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-2705217-1278576541/watcher-2705217-1278576541 -o /tmp/evaluation-result-2705217-1278576541/solver-2705217-1278576541 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705217-1278576541.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 5d7aea7a0e3c8d0b9f22ec2921124ff8
RANDOM SEED=461426973

node138.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.845
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.69
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.845
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	: 5266.27
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.845
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.82
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.845
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.73
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.845
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.82
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.845
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.75
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.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27830672 kB
Buffers:        157688 kB
Cached:        4052164 kB
SwapCached:          0 kB
Active:        2347952 kB
Inactive:      2603284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27830672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14432 kB
Writeback:           0 kB
AnonPages:      741600 kB
Mapped:          17816 kB
Slab:           105224 kB
PageTables:       6160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   934664 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= 73588 MiB
End job on node138 at 2010-07-08 10:38:52