Trace number 2693779

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.44 1800.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-33-100-0.wbo
MD5SUM5652170d7f91f74c72b32b185534f2fb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.45493
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5456
Total number of constraints17015
Number of soft constraints11436
Number of constraints which are clauses16667
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 576064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 576063
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 177
Number of bits of the biggest sum of numbers8
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: NONE] [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-2693779-1277916565.wbo>
0.09/0.19	c original problem has 28328 variables (16892 bin, 0 int, 0 impl, 11436 cont) and 28452 constraints
0.09/0.19	c problem read
0.09/0.19	c presolving settings loaded
0.09/0.19	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.59/0.62	c presolving:
0.59/0.69	c (round 1) 180 del vars, 538 del conss, 96 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37766 impls, 0 clqs
0.69/0.72	c (round 2) 574 del vars, 1535 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37944 impls, 0 clqs
0.69/0.76	c (round 3) 1360 del vars, 2444 del conss, 210 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38000 impls, 0 clqs
0.69/0.79	c (round 4) 2135 del vars, 2990 del conss, 225 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38002 impls, 0 clqs
0.79/0.81	c (round 5) 2613 del vars, 3234 del conss, 228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38002 impls, 0 clqs
0.79/0.83	c (round 6) 2840 del vars, 3281 del conss, 228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38002 impls, 0 clqs
0.79/0.86	c (round 7) 2885 del vars, 3286 del conss, 10455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38002 impls, 0 clqs
0.89/0.94	c (round 8) 2890 del vars, 3286 del conss, 10455 chg bounds, 0 chg sides, 0 chg coeffs, 4980 upgd conss, 38002 impls, 0 clqs
3.48/3.56	c    (3.3s) probing: 1000/15211 (6.6%) - 0 fixings, 0 aggregations, 2863 implications, 0 bound changes
5.67/5.74	c    (5.5s) probing: 2000/15211 (13.1%) - 0 fixings, 0 aggregations, 3520 implications, 0 bound changes
5.67/5.75	c    (5.5s) probing: 2001/15211 (13.2%) - 0 fixings, 0 aggregations, 3520 implications, 0 bound changes
5.67/5.75	c    (5.5s) probing aborted: 2000/2000 successive useless probings
5.67/5.75	c presolving (9 rounds):
5.67/5.75	c  2890 deleted vars, 3286 deleted constraints, 10455 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.67/5.75	c  48952 implications, 271 cliques
5.67/5.75	c presolved problem has 25438 variables (15211 bin, 0 int, 0 impl, 10227 cont) and 25166 constraints
5.67/5.75	c   10227 constraints of type <indicator>
5.67/5.75	c     268 constraints of type <varbound>
5.67/5.75	c     112 constraints of type <knapsack>
5.67/5.75	c    9959 constraints of type <linear>
5.67/5.75	c    4600 constraints of type <logicor>
5.67/5.75	c transformed objective value is always integral (scale: 1)
5.67/5.75	c Presolving Time: 5.39
5.67/5.75	c - non default parameters ----------------------------------------------------------------------
5.67/5.75	c # SCIP version 1.2.1.2
5.67/5.75	c 
5.67/5.75	c # frequency for displaying node information lines
5.67/5.75	c # [type: int, range: [-1,2147483647], default: 100]
5.67/5.75	c display/freq = 10000
5.67/5.75	c 
5.67/5.75	c # maximal time in seconds to run
5.67/5.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.67/5.75	c limits/time = 1799.81
5.67/5.75	c 
5.67/5.75	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.67/5.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.67/5.75	c limits/memory = 3420
5.67/5.75	c 
5.67/5.75	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.67/5.75	c # [type: int, range: [-1,2147483647], default: 1]
5.67/5.75	c lp/solvefreq = -1
5.67/5.75	c 
5.67/5.75	c # should presolving try to simplify inequalities
5.67/5.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.67/5.75	c constraints/linear/simplifyinequalities = TRUE
5.67/5.75	c 
5.67/5.75	c # should presolving try to simplify knapsacks
5.67/5.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.67/5.75	c constraints/knapsack/simplifyinequalities = TRUE
5.67/5.75	c 
5.67/5.75	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.67/5.75	c # [type: int, range: [-1,2147483647], default: -1]
5.67/5.75	c separating/rapidlearning/freq = 0
5.67/5.75	c 
5.67/5.75	c -----------------------------------------------------------------------------------------------
5.67/5.75	c start solving
5.67/5.75	c 
5.77/5.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.77/5.81	c   5.5s|     1 |     2 |     0 |     - |  88M|   0 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
89.97/90.07	c  89.6s| 10000 | 10001 |     0 |   0.0 |  97M|  75 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
175.37/175.44	c   175s| 20000 | 20001 |     0 |   0.0 | 106M|  75 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
258.38/258.45	c   257s| 30000 | 30001 |     0 |   0.0 | 114M|  77 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
339.78/339.84	c   339s| 40000 | 40001 |     0 |   0.0 | 122M| 107 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
421.48/421.59	c   420s| 50000 | 50001 |     0 |   0.0 | 130M| 107 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
502.49/502.57	c   501s| 60000 | 60001 |     0 |   0.0 | 138M| 107 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
582.79/582.87	c   581s| 70000 | 70001 |     0 |   0.0 | 146M| 107 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
662.69/662.73	c   661s| 80000 | 80001 |     0 |   0.0 | 153M| 107 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
743.69/743.72	c   741s| 90000 | 90001 |     0 |   0.0 | 161M| 109 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
823.59/823.66	c   821s|100000 |100001 |     0 |   0.0 | 168M| 109 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
903.20/903.27	c   901s|110000 |110001 |     0 |   0.0 | 176M| 109 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
982.70/982.80	c   980s|120000 |120001 |     0 |   0.0 | 183M| 109 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1062.10/1062.15	c  1059s|130000 |130001 |     0 |   0.0 | 190M| 109 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1141.20/1141.28	c  1138s|140000 |140001 |     0 |   0.0 | 197M| 109 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1220.50/1220.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1220.50/1220.57	c  1217s|150000 |150001 |     0 |   0.0 | 205M| 109 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1299.80/1299.81	c  1296s|160000 |160001 |     0 |   0.0 | 212M| 113 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1380.70/1380.72	c  1377s|170000 |170001 |     0 |   0.0 | 220M| 113 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1460.31/1460.36	c  1456s|180000 |180001 |     0 |   0.0 | 227M| 113 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1539.91/1539.93	c  1536s|190000 |190001 |     0 |   0.0 | 234M| 113 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1619.41/1619.40	c  1615s|200000 |200001 |     0 |   0.0 | 241M| 113 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1698.61/1698.70	c  1694s|210000 |210001 |     0 |   0.0 | 248M| 113 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1777.91/1777.94	c  1773s|220000 |220001 |     0 |   0.0 | 256M| 113 |   - |  25k|  25k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01	c 
1800.03/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.01	c Solving Time (sec) : 1794.94
1800.03/1800.01	c Solving Nodes      : 222789
1800.03/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.01	c Gap                : infinite
1800.03/1800.01	s UNKNOWN
1800.03/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.01	c Solving Time       :    1794.94
1800.03/1800.01	c Original Problem   :
1800.03/1800.01	c   Problem name     : HOME/instance-2693779-1277916565.wbo
1800.03/1800.01	c   Variables        : 28328 (16892 binary, 0 integer, 0 implicit integer, 11436 continuous)
1800.03/1800.01	c   Constraints      : 28452 initial, 28452 maximal
1800.03/1800.01	c Presolved Problem  :
1800.03/1800.01	c   Problem name     : t_HOME/instance-2693779-1277916565.wbo
1800.03/1800.01	c   Variables        : 25438 (15211 binary, 0 integer, 0 implicit integer, 10227 continuous)
1800.03/1800.01	c   Constraints      : 25166 initial, 25166 maximal
1800.03/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.01	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.03/1800.01	c   dualfix          :       0.02       2542          0          0          0          0          0          0          0
1800.03/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.03/1800.01	c   probing          :       4.73          0          0          0          0          0          0          0          0
1800.03/1800.01	c   indicator        :       0.05          0          0          0          0          0       1209          0          0
1800.03/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.01	c   linear           :       0.17        228        120          0      10455          0       2077          0          0
1800.03/1800.01	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.03/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.01	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.01	c   indicator        :      10227          0     850669          0     222789          0     141642          0          0          0
1800.03/1800.01	c   varbound         :        268          0     850669          0     222789          0      95985          0          0          0
1800.03/1800.01	c   knapsack         :        112          0     850669          0     222789          0      27584          0          0          0
1800.03/1800.01	c   linear           :       9959          0     850669          0     222789          0      25385          0          0          0
1800.03/1800.01	c   logicor          :       4600          0     634383          0     222789          0    1008076          0          0          0
1800.03/1800.01	c   countsols        :          0          0          0          0     222789          0          0          0          0          0
1800.03/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.01	c   indicator        :     456.66       0.00     158.56       0.00     298.10
1800.03/1800.01	c   varbound         :       6.11       0.00       5.85       0.00       0.26
1800.03/1800.01	c   knapsack         :      24.02       0.00       3.80       0.00      20.22
1800.03/1800.01	c   linear           :     173.64       0.00     172.41       0.00       1.23
1800.03/1800.01	c   logicor          :     247.91       0.00       6.16       0.00     241.75
1800.03/1800.01	c   countsols        :       0.10       0.00       0.00       0.00       0.10
1800.03/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.01	c   vbounds          :      22.08     248832          0      20159
1800.03/1800.01	c   rootredcost      :       0.33          0          0          0
1800.03/1800.01	c   pseudoobj        :     264.38     845281          0          0
1800.03/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.03/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.01	c Pricers            :       Time      Calls       Vars
1800.03/1800.01	c   problem variables:       0.00          0          0
1800.03/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.01	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   inference        :     574.05     222789          0          0          0          0     445578
1800.03/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.01	c   LP solutions     :       0.00          -          0
1800.03/1800.01	c   pseudo solutions :       0.00          -          0
1800.03/1800.01	c   oneopt           :       0.12          0          0
1800.03/1800.01	c   trivial          :       0.34          2          0
1800.03/1800.01	c   simplerounding   :       0.00          0          0
1800.03/1800.01	c   zirounding       :       0.00          0          0
1800.03/1800.01	c   rounding         :       0.00          0          0
1800.03/1800.01	c   shifting         :       0.00          0          0
1800.03/1800.01	c   intshifting      :       0.00          0          0
1800.03/1800.01	c   twoopt           :       0.00          0          0
1800.03/1800.01	c   fixandinfer      :       0.00          0          0
1800.03/1800.01	c   feaspump         :       0.00          0          0
1800.03/1800.01	c   coefdiving       :       0.00          0          0
1800.03/1800.01	c   pscostdiving     :       0.00          0          0
1800.03/1800.01	c   fracdiving       :       0.00          0          0
1800.03/1800.01	c   veclendiving     :       0.00          0          0
1800.03/1800.01	c   intdiving        :       0.00          0          0
1800.03/1800.01	c   actconsdiving    :       0.00          0          0
1800.03/1800.01	c   objpscostdiving  :       0.00          0          0
1800.03/1800.01	c   rootsoldiving    :       0.00          0          0
1800.03/1800.01	c   linesearchdiving :       0.00          0          0
1800.03/1800.01	c   guideddiving     :       0.00          0          0
1800.03/1800.01	c   octane           :       0.00          0          0
1800.03/1800.01	c   rens             :       0.00          0          0
1800.03/1800.01	c   rins             :       0.00          0          0
1800.03/1800.01	c   localbranching   :       0.00          0          0
1800.03/1800.01	c   mutation         :       0.00          0          0
1800.03/1800.01	c   crossover        :       0.00          0          0
1800.03/1800.01	c   dins             :       0.00          0          0
1800.03/1800.01	c   undercover       :       0.00          0          0
1800.03/1800.01	c   nlp              :       0.17          0          0
1800.03/1800.01	c   trysol           :       0.11          1          0
1800.03/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.01	c B&B Tree           :
1800.03/1800.01	c   number of runs   :          1
1800.03/1800.01	c   nodes            :     222789
1800.03/1800.01	c   nodes (total)    :     222789
1800.03/1800.01	c   nodes left       :     222790
1800.03/1800.01	c   max depth        :        113
1800.03/1800.01	c   max depth (total):        113
1800.03/1800.01	c   backtracks       :       3978 (1.8%)
1800.03/1800.01	c   delayed cutoffs  :          0
1800.03/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.03/1800.01	c   avg switch length:       2.63
1800.03/1800.01	c   switching time   :       8.66
1800.03/1800.01	c Solution           :
1800.03/1800.01	c   Solutions found  :          0 (0 improvements)
1800.03/1800.01	c   Primal Bound     :          -
1800.03/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.01	c   Gap              :   infinite
1800.03/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.01	c   Root Iterations  :          0
1800.42/1800.40	c Time complete: 1800.43.

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-2693779-1277916565/watcher-2693779-1277916565 -o /tmp/evaluation-result-2693779-1277916565/solver-2693779-1277916565 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693779-1277916565.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 15032
/proc/meminfo: memFree=30913584/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=8272 CPUtime=0
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 132951724 8470528 1466 4089446400 4194304 7136930 140737160570288 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15032/statm: 2068 1466 275 719 0 1347 0

[startup+0.0720791 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15032
/proc/meminfo: memFree=30913584/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=24284 CPUtime=0.06
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 5569 0 0 0 6 0 0 0 25 0 1 0 132951724 24866816 5491 4089446400 4194304 7136930 140737160570288 18446744073709551615 6360954 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15032/statm: 6327 5522 275 719 0 5606 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24284

[startup+0.101071 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15032
/proc/meminfo: memFree=30913584/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=29100 CPUtime=0.09
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 6780 0 0 0 9 0 0 0 25 0 1 0 132951724 29798400 6702 4089446400 4194304 7136930 140737160570288 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15032/statm: 7275 6702 275 719 0 6554 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29100

[startup+0.301001 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15032
/proc/meminfo: memFree=30913584/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=96464 CPUtime=0.29
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 23921 0 0 0 27 2 0 0 25 0 1 0 132951724 98779136 23453 4089446400 4194304 7136930 140737160570288 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15032/statm: 24116 23453 306 719 0 23395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96464

[startup+0.700952 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15032
/proc/meminfo: memFree=30913584/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=111188 CPUtime=0.69
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 27164 0 0 0 66 3 0 0 25 0 1 0 132951724 113856512 26439 4089446400 4194304 7136930 140737160570288 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15032/statm: 27797 26439 351 719 0 27076 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 111188

[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15033
/proc/meminfo: memFree=30801604/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=119460 CPUtime=1.49
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 33132 0 0 0 142 7 0 0 25 0 1 0 132951724 122327040 28487 4089446400 4194304 7136930 140737160570288 18446744073709551615 4862100 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15032/statm: 29865 28487 399 719 0 29144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119460

[startup+3.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15033
/proc/meminfo: memFree=30800116/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=120488 CPUtime=3.08
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 33388 0 0 0 301 7 0 0 25 0 1 0 132951724 123379712 28743 4089446400 4194304 7136930 140737160570288 18446744073709551615 5500783 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15032/statm: 30122 28743 399 719 0 29401 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 120488

[startup+6.30099 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15034
/proc/meminfo: memFree=30798208/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=123380 CPUtime=6.27
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 34097 0 0 0 619 8 0 0 25 0 1 0 132951724 126341120 29184 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 30845 29184 417 719 0 30124 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 123380

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15034
/proc/meminfo: memFree=30795144/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=124188 CPUtime=12.67
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 34327 0 0 0 1257 10 0 0 25 0 1 0 132951724 127168512 29403 4089446400 4194304 7136930 140737160570288 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 31047 29403 406 719 0 30326 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 124188

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15034
/proc/meminfo: memFree=30789968/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=125956 CPUtime=25.47
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 34784 0 0 0 2534 13 0 0 25 0 1 0 132951724 128978944 29860 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 31489 29860 406 719 0 30768 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 125956

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15034
/proc/meminfo: memFree=30786716/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=129800 CPUtime=51.07
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 35723 0 0 0 5087 20 0 0 25 0 1 0 132951724 132915200 30799 4089446400 4194304 7136930 140737160570288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 32450 30799 406 719 0 31729 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 129800

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15036
/proc/meminfo: memFree=30762392/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=136940 CPUtime=102.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 37533 0 0 0 10194 34 0 0 25 0 1 0 132951724 140226560 32609 4089446400 4194304 7136930 140737160570288 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 34235 32609 406 719 0 33514 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136940

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15038
/proc/meminfo: memFree=30733968/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=143560 CPUtime=162.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 39204 0 0 0 16176 52 0 0 25 0 1 0 132951724 147005440 34280 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 35890 34280 406 719 0 35169 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 143560

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15067
/proc/meminfo: memFree=30953956/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=151208 CPUtime=222.27
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 41146 0 0 0 22160 67 0 0 25 0 1 0 132951724 154836992 36222 4089446400 4194304 7136930 140737160570288 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 37802 36222 406 719 0 37081 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 151208

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15069
/proc/meminfo: memFree=30932268/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=157576 CPUtime=282.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 42747 0 0 0 28145 83 0 0 25 0 1 0 132951724 161357824 37823 4089446400 4194304 7136930 140737160570288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 39394 37823 406 719 0 38673 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 157576

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15070
/proc/meminfo: memFree=30910044/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=164512 CPUtime=342.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 44534 0 0 0 34131 97 0 0 25 0 1 0 132951724 168460288 39610 4089446400 4194304 7136930 140737160570288 18446744073709551615 4979077 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 41128 39610 406 719 0 40407 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 164512

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15072
/proc/meminfo: memFree=30890792/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=171048 CPUtime=402.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 46170 0 0 0 40113 115 0 0 25 0 1 0 132951724 175153152 41246 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 42762 41246 406 719 0 42041 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 171048

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15074
/proc/meminfo: memFree=30876392/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=175800 CPUtime=462.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 47418 0 0 0 46096 132 0 0 25 0 1 0 132951724 180019200 42494 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697369 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 43950 42494 406 719 0 43229 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 175800

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15075
/proc/meminfo: memFree=30856528/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=181640 CPUtime=522.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 48906 0 0 0 52081 147 0 0 25 0 1 0 132951724 185999360 43982 4089446400 4194304 7136930 140737160570288 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 45410 43982 406 719 0 44689 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 181640

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15077
/proc/meminfo: memFree=30843216/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=189076 CPUtime=582.28
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 50284 0 0 0 58063 165 0 0 25 0 1 0 132951724 193613824 45360 4089446400 4194304 7136930 140737160570288 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 47269 45360 406 719 0 46548 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 189076

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15078
/proc/meminfo: memFree=30828560/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=193104 CPUtime=642.29
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 51321 0 0 0 64049 180 0 0 25 0 1 0 132951724 197738496 46397 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 48276 46397 406 719 0 47555 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 193104

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15095
/proc/meminfo: memFree=30743248/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=221216 CPUtime=942.3
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 58484 0 0 0 93971 259 0 0 25 0 1 0 132951724 226525184 53560 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 55304 53560 406 719 0 54583 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 221216

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15097
/proc/meminfo: memFree=30727372/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=228476 CPUtime=1002.3
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 60326 0 0 0 99954 276 0 0 25 0 1 0 132951724 233959424 55402 4089446400 4194304 7136930 140737160570288 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 57119 55402 406 719 0 56398 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 228476

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15099
/proc/meminfo: memFree=30711472/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=233196 CPUtime=1062.3
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 61534 0 0 0 105940 290 0 0 25 0 1 0 132951724 238792704 56610 4089446400 4194304 7136930 140737160570288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 58299 56610 406 719 0 57578 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 233196

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15100
/proc/meminfo: memFree=30701764/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=238660 CPUtime=1122.3
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 62931 0 0 0 111925 305 0 0 25 0 1 0 132951724 244387840 58007 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 59665 58007 406 719 0 58944 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 238660

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15102
/proc/meminfo: memFree=30686228/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=242652 CPUtime=1182.3
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 63958 0 0 0 117909 321 0 0 25 0 1 0 132951724 248475648 59034 4089446400 4194304 7136930 140737160570288 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 60663 59034 406 719 0 59942 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 242652

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15103
/proc/meminfo: memFree=30668460/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=251088 CPUtime=1242.3
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 66097 0 0 0 123894 336 0 0 25 0 1 0 132951724 257114112 61173 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 62772 61173 406 719 0 62051 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 251088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15105
/proc/meminfo: memFree=30654908/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=255916 CPUtime=1302.31
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 67340 0 0 0 129879 352 0 0 25 0 1 0 132951724 262057984 62416 4089446400 4194304 7136930 140737160570288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 63979 62416 406 719 0 63258 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 255916

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15107
/proc/meminfo: memFree=30632424/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=261144 CPUtime=1362.3
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 68644 0 0 0 135862 368 0 0 25 0 1 0 132951724 267411456 63720 4089446400 4194304 7136930 140737160570288 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 65286 63720 406 719 0 64565 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 261144

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15108
/proc/meminfo: memFree=30619500/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=267184 CPUtime=1422.32
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 70217 0 0 0 141845 387 0 0 25 0 1 0 132951724 273596416 65293 4089446400 4194304 7136930 140737160570288 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 66796 65293 406 719 0 66075 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 267184

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15110
/proc/meminfo: memFree=30605956/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=270856 CPUtime=1482.31
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 71163 0 0 0 147827 404 0 0 25 0 1 0 132951724 277356544 66239 4089446400 4194304 7136930 140737160570288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 67714 66239 406 719 0 66993 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 270856

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15111
/proc/meminfo: memFree=30591784/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=275876 CPUtime=1542.31
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 72447 0 0 0 153811 420 0 0 25 0 1 0 132951724 282497024 67523 4089446400 4194304 7136930 140737160570288 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 68969 67523 406 719 0 68248 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 275876

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15113
/proc/meminfo: memFree=30578240/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=286256 CPUtime=1602.32
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 74017 0 0 0 159794 438 0 0 25 0 1 0 132951724 293126144 69093 4089446400 4194304 7136930 140737160570288 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 71564 69093 406 719 0 70843 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 286256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15115
/proc/meminfo: memFree=30560844/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=293324 CPUtime=1662.32
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 75814 0 0 0 165777 455 0 0 25 0 1 0 132951724 300363776 70890 4089446400 4194304 7136930 140737160570288 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 73331 70890 406 719 0 72610 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 293324

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15116
/proc/meminfo: memFree=30542836/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=299368 CPUtime=1722.31
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 77354 0 0 0 171761 470 0 0 25 0 1 0 132951724 306552832 72430 4089446400 4194304 7136930 140737160570288 18446744073709551615 5507748 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 74842 72430 406 719 0 74121 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 299368

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 15118
/proc/meminfo: memFree=30531396/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=302148 CPUtime=1782.32
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 78080 0 0 0 177746 486 0 0 25 0 1 0 132951724 309399552 73156 4089446400 4194304 7136930 140737160570288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 75537 73156 406 719 0 74816 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 302148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 15118
/proc/meminfo: memFree=30525924/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=304200 CPUtime=1800.03
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 78602 0 0 0 179512 491 0 0 25 0 1 0 132951724 311500800 73678 4089446400 4194304 7136930 140737160570288 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15032/statm: 76050 73678 406 719 0 75329 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 304200

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.06 2.01 2.00 3/179 15118
/proc/meminfo: memFree=30525924/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=288972 CPUtime=1800.22
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 78609 0 0 0 179531 491 0 0 18 0 1 0 132951724 295907328 69975 4089446400 4194304 7136930 140737160570288 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15032/statm: 72243 69975 413 719 0 71522 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 288972

[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 15118
/proc/meminfo: memFree=30525924/32951124 swapFree=67111528/67111528
[pid=15032] ppid=15030 vsize=51600 CPUtime=1800.42
/proc/15032/stat : 15032 (pbscip.linux.x8) R 15030 15032 14714 0 -1 4202496 78609 0 0 0 179550 492 0 0 18 0 1 0 132951724 52838400 12218 4089446400 4194304 7136930 140737160570288 18446744073709551615 6165674 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15032/statm: 12900 12218 413 719 0 12179 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 51600

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.44
CPU user time (s): 1795.51
CPU system time (s): 4.92425
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 304200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.51
system time used= 4.92425
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78616
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 4198

runsolver used 2.96155 second user time and 6.85896 second system time

The end

Launcher Data 

Begin job on node145 at 2010-06-30 18:49:25
IDJOB=2693779
IDBENCH=79073
IDSOLVER=1206
FILE ID=node145/2693779-1277916565
PBS_JOBID= 11197304
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j309_10-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693779-1277916565/watcher-2693779-1277916565 -o /tmp/evaluation-result-2693779-1277916565/solver-2693779-1277916565 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693779-1277916565.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 5652170d7f91f74c72b32b185534f2fb
RANDOM SEED=172025332

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30914112 kB
Buffers:        199752 kB
Cached:        1268788 kB
SwapCached:          0 kB
Active:         911612 kB
Inactive:       981916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30914112 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3912 kB
Writeback:           0 kB
AnonPages:      424616 kB
Mapped:          16936 kB
Slab:            79952 kB
PageTables:       5512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   574224 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= 74204 MiB
End job on node145 at 2010-06-30 19:19:27