Trace number 2693158

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.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.53 1800.48

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
MD5SUM6b812e3bd45da6d63d6d9a24d1cd16b1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark0.138978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables15106
Total number of constraints51849
Number of soft constraints17749
Number of constraints which are clauses51521
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints328
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 895680
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 895679
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 335
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693158-1277916841.wbo>
0.39/0.44	c original problem has 50604 variables (32855 bin, 0 int, 0 impl, 17749 cont) and 69599 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
1.39/1.40	c presolving:
1.79/1.86	c (round 1) 2457 del vars, 8122 del conss, 1753 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 752895 impls, 0 clqs
2.29/2.34	c (round 2) 6716 del vars, 22104 del conss, 3405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 773961 impls, 0 clqs
2.79/2.82	c (round 3) 14564 del vars, 33541 del conss, 4705 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 782349 impls, 0 clqs
2.99/3.09	c (round 4) 22177 del vars, 40165 del conss, 5414 chg bounds, 7 chg sides, 11 chg coeffs, 0 upgd conss, 789859 impls, 0 clqs
3.20/3.25	c (round 5) 26862 del vars, 44097 del conss, 5818 chg bounds, 14 chg sides, 21 chg coeffs, 0 upgd conss, 792629 impls, 0 clqs
3.30/3.35	c (round 6) 29762 del vars, 46636 del conss, 6103 chg bounds, 24 chg sides, 35 chg coeffs, 0 upgd conss, 795177 impls, 0 clqs
3.39/3.41	c (round 7) 31596 del vars, 48377 del conss, 6290 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 796825 impls, 0 clqs
3.39/3.46	c (round 8) 32832 del vars, 49500 del conss, 6408 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797475 impls, 0 clqs
3.39/3.49	c (round 9) 33586 del vars, 50097 del conss, 6450 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797769 impls, 0 clqs
3.49/3.51	c (round 10) 34029 del vars, 50377 del conss, 6475 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797845 impls, 0 clqs
3.49/3.52	c (round 11) 34239 del vars, 50514 del conss, 6487 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797921 impls, 0 clqs
3.49/3.54	c (round 12) 34343 del vars, 50598 del conss, 6497 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797927 impls, 0 clqs
3.49/3.55	c (round 13) 34406 del vars, 50643 del conss, 6499 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797929 impls, 0 clqs
3.49/3.56	c (round 14) 34438 del vars, 50654 del conss, 6500 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797929 impls, 0 clqs
3.49/3.57	c (round 15) 34447 del vars, 50660 del conss, 6500 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797929 impls, 0 clqs
3.59/3.60	c (round 16) 34453 del vars, 50665 del conss, 11976 chg bounds, 28 chg sides, 39 chg coeffs, 0 upgd conss, 797929 impls, 0 clqs
3.69/3.73	c (round 17) 34458 del vars, 50665 del conss, 11976 chg bounds, 28 chg sides, 39 chg coeffs, 8843 upgd conss, 797929 impls, 0 clqs
3.69/3.77	c (round 18) 34458 del vars, 50665 del conss, 11976 chg bounds, 35 chg sides, 52 chg coeffs, 8844 upgd conss, 798791 impls, 0 clqs
3.79/3.80	c (round 19) 34458 del vars, 50665 del conss, 11976 chg bounds, 37 chg sides, 58 chg coeffs, 8844 upgd conss, 798791 impls, 0 clqs
5.90/5.90	c    (5.0s) probing: 1000/10670 (9.4%) - 0 fixings, 0 aggregations, 21474 implications, 0 bound changes
7.29/7.35	c    (6.4s) probing: 2000/10670 (18.7%) - 0 fixings, 0 aggregations, 24941 implications, 0 bound changes
7.29/7.35	c    (6.4s) probing: 2001/10670 (18.8%) - 0 fixings, 0 aggregations, 24941 implications, 0 bound changes
7.29/7.35	c    (6.4s) probing aborted: 2000/2000 successive useless probings
7.29/7.35	c presolving (20 rounds):
7.29/7.35	c  34458 deleted vars, 50665 deleted constraints, 11976 tightened bounds, 0 added holes, 38 changed sides, 60 changed coefficients
7.29/7.35	c  903246 implications, 0 cliques
7.29/7.35	c presolved problem has 16146 variables (10670 bin, 0 int, 0 impl, 5476 cont) and 18940 constraints
7.29/7.35	c    5476 constraints of type <indicator>
7.29/7.35	c     862 constraints of type <varbound>
7.29/7.35	c     225 constraints of type <knapsack>
7.29/7.35	c       6 constraints of type <setppc>
7.29/7.35	c    4614 constraints of type <linear>
7.29/7.35	c    7757 constraints of type <logicor>
7.29/7.35	c transformed objective value is always integral (scale: 1)
7.29/7.35	c Presolving Time: 6.29
7.29/7.35	c - non default parameters ----------------------------------------------------------------------
7.29/7.35	c # SCIP version 1.2.1.2
7.29/7.35	c 
7.29/7.35	c # frequency for displaying node information lines
7.29/7.35	c # [type: int, range: [-1,2147483647], default: 100]
7.29/7.35	c display/freq = 10000
7.29/7.35	c 
7.29/7.35	c # maximal time in seconds to run
7.29/7.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.29/7.35	c limits/time = 1799.56
7.29/7.35	c 
7.29/7.35	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.29/7.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.29/7.35	c limits/memory = 3420
7.29/7.35	c 
7.29/7.35	c # should presolving try to simplify inequalities
7.29/7.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.29/7.35	c constraints/linear/simplifyinequalities = TRUE
7.29/7.35	c 
7.29/7.35	c # should presolving try to simplify knapsacks
7.29/7.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.29/7.35	c constraints/knapsack/simplifyinequalities = TRUE
7.29/7.35	c 
7.29/7.35	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.29/7.35	c # [type: int, range: [-1,2147483647], default: -1]
7.29/7.35	c separating/rapidlearning/freq = 0
7.29/7.35	c 
7.29/7.35	c -----------------------------------------------------------------------------------------------
7.29/7.35	c start solving
7.29/7.36	c 
7.49/7.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.49/7.50	c   6.6s|     1 |     0 |   990 |     - | 159M|   0 | 663 |  16k|  18k|  16k|7988 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.29/8.34	c   7.3s|     1 |     0 |  2090 |     - | 162M|   0 |  36 |  16k|  18k|  16k|9930 |1942 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.99/9.07	c   8.0s|     1 |     0 |  2482 |     - | 162M|   0 | 124 |  16k|  18k|  16k|  10k|2190 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.89/9.99	c   8.9s|     1 |     0 |  2810 |     - | 162M|   0 | 158 |  16k|  18k|  16k|  10k|2408 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.49/10.59	c   9.5s|     1 |     0 |  3058 |     - | 163M|   0 | 735 |  16k|  18k|  16k|  10k|2517 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.39/11.46	c  10.4s|     1 |     0 |  3431 |     - | 163M|   0 | 826 |  16k|  18k|  16k|  10k|2618 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.10/12.18	c  11.1s|     1 |     0 |  3655 |     - | 163M|   0 | 881 |  16k|  18k|  16k|  10k|2727 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.59/14.65	c  13.4s|     1 |     2 |  3655 |     - | 164M|   0 | 881 |  16k|  18k|  16k|  10k|2727 |   0 |  32 | 0.000000e+00 |      --      |    Inf 
321.70/321.79	c   306s| 10000 |  9991 |187410 |  18.4 | 237M| 171 |  15 |  16k|  18k|  16k|9368 |9361 |  41 |4737 | 0.000000e+00 |      --      |    Inf 
512.90/512.96	c   485s| 20000 | 19985 |311213 |  15.4 | 309M| 175 |  10 |  16k|  18k|  16k|9368 |  19k|  53 |6959 | 0.000000e+00 |      --      |    Inf 
718.01/718.09	c   679s| 30000 | 29965 |441730 |  14.6 | 382M| 197 |   9 |  16k|  18k|  16k|9368 |  29k|  70 |9775 | 0.000000e+00 |      --      |    Inf 
892.21/892.25	c   844s| 40000 | 39953 |560112 |  13.9 | 454M| 207 |   1 |  16k|  18k|  16k|9560 |  45k|  93 |  11k| 0.000000e+00 |      --      |    Inf 
1057.82/1057.89	c  1002s| 50000 | 49949 |673750 |  13.4 | 527M| 215 |   0 |  16k|  18k|  16k|9566 |  63k|  95 |  12k| 0.000000e+00 |      --      |    Inf 
1230.92/1230.93	c  1167s| 60000 | 59939 |776828 |  12.9 | 599M| 225 |   5 |  16k|  18k|  16k|9481 |  80k| 100 |  14k| 0.000000e+00 |      --      |    Inf 
1399.43/1399.41	c  1327s| 70000 | 69937 |879709 |  12.5 | 671M| 235 |   0 |  16k|  18k|  16k|9590 |  97k| 101 |  16k| 0.000000e+00 |      --      |    Inf 
1559.33/1559.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1559.33/1559.35	c  1480s| 80000 | 79937 |970145 |  12.1 | 743M| 261 |   0 |  16k|  18k|  16k|9566 | 115k| 101 |  17k| 0.000000e+00 |      --      |    Inf 
1708.44/1708.44	c  1621s| 90000 | 89937 |  1053k|  11.7 | 816M| 277 |   0 |  16k|  18k|  16k|9602 | 131k| 101 |  18k| 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1708.16
1800.04/1800.00	c Solving Nodes      : 95709
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.00	s UNKNOWN
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time       :    1708.16
1800.04/1800.00	c Original Problem   :
1800.04/1800.00	c   Problem name     : HOME/instance-2693158-1277916841.wbo
1800.04/1800.00	c   Variables        : 50604 (32855 binary, 0 integer, 0 implicit integer, 17749 continuous)
1800.04/1800.00	c   Constraints      : 69599 initial, 69599 maximal
1800.04/1800.00	c Presolved Problem  :
1800.04/1800.00	c   Problem name     : t_HOME/instance-2693158-1277916841.wbo
1800.04/1800.00	c   Variables        : 16146 (10670 binary, 0 integer, 0 implicit integer, 5476 continuous)
1800.04/1800.00	c   Constraints      : 18940 initial, 18995 maximal
1800.04/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.00	c   trivial          :       0.03        200          0          0          0          0          0          0          0
1800.04/1800.00	c   dualfix          :       0.06      25985          0          0          0          0          0          0          0
1800.04/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   implics          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.00	c   probing          :       3.40          0          0          0          0          0          0          0          0
1800.04/1800.00	c   indicator        :       0.67          0          0          0          0          0      12273          0          0
1800.04/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   knapsack         :       0.01          0          0          0          0          0          0         10         21
1800.04/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   linear           :       1.26       6311       1962          0      11976          0      38392         28         39
1800.04/1800.00	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   integral         :          0          0          0     101361          0          0         21          0          0     161764
1800.04/1800.00	c   indicator        :       5476          0     403186      20466          0          0      79826          0          0          0
1800.04/1800.00	c   varbound         :        862          6     403186      20466          0          0       9588       2962          0          0
1800.04/1800.00	c   knapsack         :        225          6     403186      17985          0         11     113899         56          0          0
1800.04/1800.00	c   setppc           :          6          6     403175      17985          0          0        188          0          0          0
1800.04/1800.00	c   linear           :       4614          6     403175      17985          0          0      53873     136351          0          0
1800.04/1800.00	c   logicor          :       7757+         6     319171      14795          0         24     589639          0          0          0
1800.04/1800.00	c   countsols        :          0          0          0      14795          0          0          0          0          0          0
1800.04/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.00	c   integral         :     259.75       0.00       0.00     259.75       0.00
1800.04/1800.00	c   indicator        :      69.18       0.00      44.84      24.34       0.00
1800.04/1800.00	c   varbound         :       7.48       0.00       5.83       1.65       0.00
1800.04/1800.00	c   knapsack         :       3.73       0.00       3.44       0.29       0.00
1800.04/1800.00	c   setppc           :       0.02       0.00       0.01       0.01       0.00
1800.04/1800.00	c   linear           :      45.97       0.03      29.00      16.94       0.00
1800.04/1800.00	c   logicor          :       6.77       0.00       2.55       4.22       0.00
1800.04/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.00	c   vbounds          :      19.11     101447          0      16736
1800.04/1800.00	c   rootredcost      :       0.00          0          0          0
1800.04/1800.00	c   pseudoobj        :      61.16     394703          0          0
1800.04/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.00	c   propagation      :       0.00         35         35         37        6.4          0        0.0          -
1800.04/1800.00	c   infeasible LP    :       0.08         56         56         69        8.0          0        0.0          0
1800.04/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.00	c   applied globally :          -          -          -        101        7.2          -          -          -
1800.04/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.00	c   cut pool         :       0.00          5          -          -         72          -    (maximal pool size: 1846)
1800.04/1800.00	c   redcost          :      52.58     101163          0          0          0          0
1800.04/1800.00	c   impliedbounds    :       0.01          6          0          0       1417          0
1800.04/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.00	c   gomory           :       0.56          6          0          0       1513          0
1800.04/1800.00	c   strongcg         :       0.49          6          0          0        561          0
1800.04/1800.00	c   cmir             :       0.69          6          0          0         13          0
1800.04/1800.00	c   flowcover        :       1.68          6          0          0         96          0
1800.04/1800.00	c   clique           :       0.08          6          0          0         15          0
1800.04/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.00	c   mcf              :       0.03          1          0          0          0          0
1800.04/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.00	c Pricers            :       Time      Calls       Vars
1800.04/1800.00	c   problem variables:       0.00          0          0
1800.04/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   relpscost        :     259.71      80895          0         21          0          0     161764
1800.04/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   inference        :      27.94      14795          0          0          0          0      29590
1800.04/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.00	c   LP solutions     :       0.00          -          0
1800.04/1800.00	c   pseudo solutions :       0.00          -          0
1800.04/1800.00	c   oneopt           :       0.11          0          0
1800.04/1800.00	c   crossover        :       0.01          0          0
1800.04/1800.00	c   guideddiving     :       0.00          0          0
1800.04/1800.00	c   rootsoldiving    :       4.58         10          0
1800.04/1800.00	c   intshifting      :       0.10         34          0
1800.04/1800.00	c   objpscostdiving  :       3.31         19          0
1800.04/1800.00	c   feaspump         :      16.55        146          0
1800.04/1800.00	c   linesearchdiving :      21.97        557          0
1800.04/1800.00	c   pscostdiving     :      36.62        558          0
1800.04/1800.00	c   fracdiving       :      30.58        558          0
1800.04/1800.00	c   veclendiving     :      22.63        558          0
1800.04/1800.00	c   coefdiving       :      40.83        558          0
1800.04/1800.00	c   trivial          :       0.75          2          0
1800.04/1800.00	c   simplerounding   :       0.17      79512          0
1800.04/1800.00	c   zirounding       :       0.51       1000          0
1800.04/1800.00	c   rounding         :       3.52       3947          0
1800.04/1800.00	c   shifting         :       8.61       1226          0
1800.04/1800.00	c   twoopt           :       0.00          0          0
1800.04/1800.00	c   fixandinfer      :       0.00          0          0
1800.04/1800.00	c   intdiving        :       0.00          0          0
1800.04/1800.00	c   actconsdiving    :       0.00          0          0
1800.04/1800.00	c   octane           :       0.00          0          0
1800.04/1800.00	c   rens             :       0.13          1          0
1800.04/1800.00	c   rins             :       0.00          0          0
1800.04/1800.00	c   localbranching   :       0.00          0          0
1800.04/1800.00	c   mutation         :       0.00          0          0
1800.04/1800.00	c   dins             :       0.00          0          0
1800.04/1800.00	c   undercover       :       0.00          0          0
1800.04/1800.00	c   nlp              :       0.00          0          0
1800.04/1800.00	c   trysol           :      14.62       2443          0
1800.04/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.00	c   primal LP        :       0.01          0          0       0.00       0.00
1800.04/1800.00	c   dual LP          :     712.55      85693     988914      11.54    1387.85
1800.04/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.00	c   diving/probing LP:     102.03      12937     109869       8.49    1076.83
1800.04/1800.00	c   strong branching :     258.08      18979     322463      16.99    1249.47
1800.04/1800.00	c     (at root node) :          -         32       5497     171.78          -
1800.04/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.00	c B&B Tree           :
1800.04/1800.00	c   number of runs   :          1
1800.04/1800.00	c   nodes            :      95709
1800.04/1800.00	c   nodes (total)    :      95709
1800.04/1800.00	c   nodes left       :      95646
1800.04/1800.00	c   max depth        :        277
1800.04/1800.01	c   max depth (total):        277
1800.04/1800.01	c   backtracks       :        951 (1.0%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :        156 (197 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.16
1800.04/1800.01	c   switching time   :      22.27
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :          0 (0 improvements)
1800.04/1800.01	c   Primal Bound     :          -
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :       3655
1800.43/1800.48	c Time complete: 1800.52.

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-2693158-1277916841/watcher-2693158-1277916841 -o /tmp/evaluation-result-2693158-1277916841/solver-2693158-1277916841 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693158-1277916841.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 2.00 4/178 14454
/proc/meminfo: memFree=30771868/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=11000 CPUtime=0
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 1675 0 0 0 0 0 0 0 22 0 1 0 132980427 11264000 1595 4089446400 4194304 9819077 140735958621968 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14454/statm: 2750 1595 392 1374 0 1371 0

[startup+0.0879471 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14454
/proc/meminfo: memFree=30771868/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=28268 CPUtime=0.08
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 6020 0 0 0 8 0 0 0 22 0 1 0 132980427 28946432 5940 4089446400 4194304 9819077 140735958621968 18446744073709551615 4821671 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14454/statm: 7067 5940 392 1374 0 5688 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28268

[startup+0.100943 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14454
/proc/meminfo: memFree=30771868/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=31488 CPUtime=0.09
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 6820 0 0 0 9 0 0 0 22 0 1 0 132980427 32243712 6740 4089446400 4194304 9819077 140735958621968 18446744073709551615 4240587 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14454/statm: 7872 6740 392 1374 0 6493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31488

[startup+0.300949 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14454
/proc/meminfo: memFree=30771868/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=59588 CPUtime=0.29
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 13801 0 0 0 28 1 0 0 22 0 1 0 132980427 61018112 13721 4089446400 4194304 9819077 140735958621968 18446744073709551615 8668997 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14454/statm: 14897 13721 392 1374 0 13518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59588

[startup+0.700888 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14454
/proc/meminfo: memFree=30771868/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=192388 CPUtime=0.69
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 46188 0 0 0 65 4 0 0 24 0 1 0 132980427 197005312 45718 4089446400 4194304 9819077 140735958621968 18446744073709551615 4329706 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 48097 45718 463 1374 0 46718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 192388

[startup+1.50074 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14455
/proc/meminfo: memFree=30586852/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=206616 CPUtime=1.49
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 49614 0 0 0 142 7 0 0 25 0 1 0 132980427 211574784 49144 4089446400 4194304 9819077 140735958621968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 51654 49144 491 1374 0 50275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206616

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14455
/proc/meminfo: memFree=30554736/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=227676 CPUtime=3.09
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 55847 0 0 0 287 22 0 0 25 0 1 0 132980427 233140224 54349 4089446400 4194304 9819077 140735958621968 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 56919 54349 495 1374 0 55540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227676

[startup+6.30089 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14456
/proc/meminfo: memFree=30547072/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=233976 CPUtime=6.29
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 64919 0 0 0 584 45 0 0 25 0 1 0 132980427 239591424 55948 4089446400 4194304 9819077 140735958621968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 58494 55948 552 1374 0 57115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 233976

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14456
/proc/meminfo: memFree=30522976/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=275596 CPUtime=12.69
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 110475 0 0 0 1194 75 0 0 25 0 1 0 132980427 282210304 62300 4089446400 4194304 9819077 140735958621968 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 68899 62300 722 1374 0 67520 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 275596

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14457
/proc/meminfo: memFree=30518720/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=265036 CPUtime=25.49
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 419625 0 0 0 2434 115 0 0 25 0 1 0 132980427 271396864 61588 4089446400 4194304 9819077 140735958621968 18446744073709551615 6671052 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 65874 61559 726 1374 0 64495 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 265036

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14457
/proc/meminfo: memFree=30504464/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=276948 CPUtime=51.09
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 1174012 0 0 0 4886 223 0 0 25 0 1 0 132980427 283594752 62767 4089446400 4194304 9819077 140735958621968 18446744073709551615 6367317 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 69237 62767 726 1374 0 67858 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 276948

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14459
/proc/meminfo: memFree=30483600/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=267480 CPUtime=102.3
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 2792535 0 0 0 9779 451 0 0 25 0 1 0 132980427 273899520 62766 4089446400 4194304 9819077 140735958621968 18446744073709551615 7226259 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 66870 62771 729 1374 0 65491 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 267480

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14460
/proc/meminfo: memFree=30444736/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=283524 CPUtime=162.29
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 4419370 0 0 0 15534 695 0 0 25 0 1 0 132980427 290328576 66389 4089446400 4194304 9819077 140735958621968 18446744073709551615 6628259 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 70881 66389 729 1374 0 69502 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 283524

[startup+222.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14489
/proc/meminfo: memFree=30958612/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=303500 CPUtime=222.3
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 6706906 0 0 0 21212 1018 0 0 25 0 1 0 132980427 310784000 71488 4089446400 4194304 9819077 140735958621968 18446744073709551615 4827474 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 75875 71488 745 1374 0 74496 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 303500

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14491
/proc/meminfo: memFree=30923036/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=327180 CPUtime=282.3
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 8947472 0 0 0 26892 1338 0 0 25 0 1 0 132980427 335032320 77385 4089446400 4194304 9819077 140735958621968 18446744073709551615 6671055 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 81428 77370 745 1374 0 80049 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 327180

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14493
/proc/meminfo: memFree=30887400/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=356124 CPUtime=342.29
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 11639362 0 0 0 32523 1706 0 0 25 0 1 0 132980427 364670976 82814 4089446400 4194304 9819077 140735958621968 18446744073709551615 7315953 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 89031 82814 745 1374 0 87652 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 356124

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14495
/proc/meminfo: memFree=30854620/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=368384 CPUtime=402.3
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 14333892 0 0 0 38166 2064 0 0 25 0 1 0 132980427 377225216 87737 4089446400 4194304 9819077 140735958621968 18446744073709551615 6628218 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 92096 87737 745 1374 0 90717 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 368384

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14505
/proc/meminfo: memFree=30818024/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=393104 CPUtime=462.3
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 16882566 0 0 0 43798 2432 0 0 25 0 1 0 132980427 402538496 93953 4089446400 4194304 9819077 140735958621968 18446744073709551615 6162203 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 98276 93953 745 1374 0 96897 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 393104

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14506
/proc/meminfo: memFree=30780400/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=416004 CPUtime=522.3
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 19430382 0 0 0 49446 2784 0 0 25 0 1 0 132980427 425988096 99647 4089446400 4194304 9819077 140735958621968 18446744073709551615 5990860 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 104001 99647 745 1374 0 102622 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 416004

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14508
/proc/meminfo: memFree=30750972/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=442680 CPUtime=582.31
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 21957121 0 0 0 55089 3142 0 0 25 0 1 0 132980427 453304320 104461 4089446400 4194304 9819077 140735958621968 18446744073709551615 6361828 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 110670 104461 745 1374 0 109291 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 442680

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14510
/proc/meminfo: memFree=30716940/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=457132 CPUtime=642.31
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 24568379 0 0 0 60736 3495 0 0 25 0 1 0 132980427 468103168 109851 4089446400 4194304 9819077 140735958621968 18446744073709551615 6367330 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 114283 109851 745 1374 0 112904 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 457132

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14518
/proc/meminfo: memFree=30547120/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=578208 CPUtime=942.32
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 35418020 0 0 0 89215 5017 0 0 25 0 1 0 132980427 592084992 140160 4089446400 4194304 9819077 140735958621968 18446744073709551615 4567134 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 144552 140160 745 1374 0 143173 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 578208

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14520
/proc/meminfo: memFree=30508520/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=607476 CPUtime=1002.31
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 37117033 0 0 0 94952 5279 0 0 25 0 1 0 132980427 622055424 147428 4089446400 4194304 9819077 140735958621968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 151869 147428 745 1374 0 150490 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 607476

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14521
/proc/meminfo: memFree=30471264/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=634940 CPUtime=1062.32
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 38964743 0 0 0 100687 5545 0 0 25 0 1 0 132980427 650178560 154302 4089446400 4194304 9819077 140735958621968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 158735 154302 745 1374 0 157356 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 634940

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14522
/proc/meminfo: memFree=30439236/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=655616 CPUtime=1122.32
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 40959915 0 0 0 106405 5827 0 0 25 0 1 0 132980427 671350784 159446 4089446400 4194304 9819077 140735958621968 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 163904 159446 745 1374 0 162525 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 655616

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14524
/proc/meminfo: memFree=30399252/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=681868 CPUtime=1182.32
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 42957904 0 0 0 112119 6113 0 0 25 0 1 0 132980427 698232832 166492 4089446400 4194304 9819077 140735958621968 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 170467 166505 745 1374 0 169088 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 681868

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14526
/proc/meminfo: memFree=30366228/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=708892 CPUtime=1242.32
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 44927698 0 0 0 117838 6394 0 0 25 0 1 0 132980427 725905408 172766 4089446400 4194304 9819077 140735958621968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 177223 172766 745 1374 0 175844 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 708892

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14528
/proc/meminfo: memFree=30325260/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=736680 CPUtime=1302.33
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 47086898 0 0 0 123527 6706 0 0 25 0 1 0 132980427 754360320 179675 4089446400 4194304 9819077 140735958621968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 184170 179675 745 1374 0 182791 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 736680

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14529
/proc/meminfo: memFree=30287884/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=766696 CPUtime=1362.33
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 49061379 0 0 0 129246 6987 0 0 25 0 1 0 132980427 785096704 186714 4089446400 4194304 9819077 140735958621968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 191674 186714 745 1374 0 190295 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 766696

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14530
/proc/meminfo: memFree=30256604/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=786560 CPUtime=1422.34
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 51376609 0 0 0 134935 7299 0 0 25 0 1 0 132980427 805437440 191701 4089446400 4194304 9819077 140735958621968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 196640 191701 745 1374 0 195261 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 786560

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14532
/proc/meminfo: memFree=30212816/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=815896 CPUtime=1482.32
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 53202500 0 0 0 140654 7578 0 0 25 0 1 0 132980427 835477504 199568 4089446400 4194304 9819077 140735958621968 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 203974 199568 745 1374 0 202595 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 815896

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14534
/proc/meminfo: memFree=30178072/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=843032 CPUtime=1542.33
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 55235189 0 0 0 146366 7867 0 0 25 0 1 0 132980427 863264768 205832 4089446400 4194304 9819077 140735958621968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 210758 205832 745 1374 0 209379 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 843032

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14536
/proc/meminfo: memFree=30139964/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=872956 CPUtime=1602.33
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 57130678 0 0 0 152086 8147 0 0 25 0 1 0 132980427 893906944 213305 4089446400 4194304 9819077 140735958621968 18446744073709551615 6513115 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 218239 213254 745 1374 0 216860 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 872956

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14537
/proc/meminfo: memFree=30103336/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=897968 CPUtime=1662.33
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 59101332 0 0 0 157791 8442 0 0 25 0 1 0 132980427 919519232 219575 4089446400 4194304 9819077 140735958621968 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 224492 219575 745 1374 0 223113 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 897968

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14538
/proc/meminfo: memFree=30060284/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=926768 CPUtime=1722.33
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 61149408 0 0 0 163492 8741 0 0 25 0 1 0 132980427 949010432 226828 4089446400 4194304 9819077 140735958621968 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 231692 226828 745 1374 0 230313 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 926768

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14540
/proc/meminfo: memFree=30022908/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=950624 CPUtime=1782.33
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 63316410 0 0 0 169182 9051 0 0 25 0 1 0 132980427 973438976 233309 4089446400 4194304 9819077 140735958621968 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 237656 233309 745 1374 0 236277 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 950624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14540
/proc/meminfo: memFree=30013600/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=960532 CPUtime=1800.04
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 63976652 0 0 0 170858 9146 0 0 25 0 1 0 132980427 983584768 235248 4089446400 4194304 9819077 140735958621968 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14454/statm: 240133 235248 745 1374 0 238754 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 960532

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14540
/proc/meminfo: memFree=30013600/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=395412 CPUtime=1800.23
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 63976655 0 0 0 170875 9148 0 0 25 0 1 0 132980427 404901888 94037 4089446400 4194304 9819077 140735958621968 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14454/statm: 98853 94037 748 1374 0 97474 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 395412

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14540
/proc/meminfo: memFree=30013600/32950928 swapFree=4192956/4192956
[pid=14454] ppid=14452 vsize=355272 CPUtime=1800.43
/proc/14454/stat : 14454 (pbscip.linux.x8) R 14452 14454 14276 0 -1 4202496 63976655 0 0 0 170895 9148 0 0 25 0 1 0 132980427 363798528 84030 4089446400 4194304 9819077 140735958621968 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14454/statm: 88818 84030 748 1374 0 87439 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 355272

Child status: 0
Real time (s): 1800.48
CPU time (s): 1800.53
CPU user time (s): 1709.03
CPU system time (s): 91.5011
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 967780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.03
system time used= 91.5011
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63976659
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= 4
involuntary context switches= 1325

runsolver used 3.06553 second user time and 6.45802 second system time

The end

Launcher Data 

Begin job on node124 at 2010-06-30 18:54:01
IDJOB=2693158
IDBENCH=79080
IDSOLVER=1205
FILE ID=node124/2693158-1277916841
PBS_JOBID= 11197343
Free space on /tmp= 130616 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9039_3-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-2693158-1277916841/watcher-2693158-1277916841 -o /tmp/evaluation-result-2693158-1277916841/solver-2693158-1277916841 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693158-1277916841.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6b812e3bd45da6d63d6d9a24d1cd16b1
RANDOM SEED=1641384072

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.77
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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.82
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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30772272 kB
Buffers:        203056 kB
Cached:        1127900 kB
SwapCached:          0 kB
Active:        1228852 kB
Inactive:       834084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30772272 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7784 kB
Writeback:           0 kB
AnonPages:      732284 kB
Mapped:          17044 kB
Slab:            80312 kB
PageTables:       6336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   880356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130608 MiB
End job on node124 at 2010-06-30 19:24:03