Trace number 2692525

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.38 1800.34

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
MD5SUMdedae6261f3c03a02c47ea0595dc06e5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.091985
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables11830
Total number of constraints36862
Number of soft constraints12660
Number of constraints which are clauses36606
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints256
Minimum length of a constraint1
Maximum length of a constraint29
Top cost 641154
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 641153
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 203
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: SoPlex 1.4.2] [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-2692525-1277916895.wbo>
0.29/0.32	c original problem has 37150 variables (24490 bin, 0 int, 0 impl, 12660 cont) and 49523 constraints
0.29/0.32	c problem read
0.29/0.32	c presolving settings loaded
0.79/0.88	c presolving:
1.09/1.14	c (round 1) 1241 del vars, 3934 del conss, 693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 429206 impls, 0 clqs
1.29/1.35	c (round 2) 3626 del vars, 11337 del conss, 1756 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 439919 impls, 0 clqs
1.50/1.57	c (round 3) 7776 del vars, 17833 del conss, 2517 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 445450 impls, 0 clqs
1.69/1.71	c (round 4) 12020 del vars, 22191 del conss, 2996 chg bounds, 5 chg sides, 5 chg coeffs, 0 upgd conss, 448444 impls, 0 clqs
1.79/1.81	c (round 5) 14909 del vars, 24777 del conss, 3273 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 450356 impls, 0 clqs
1.79/1.87	c (round 6) 16716 del vars, 26309 del conss, 3426 chg bounds, 18 chg sides, 18 chg coeffs, 0 upgd conss, 451295 impls, 0 clqs
1.89/1.91	c (round 7) 17784 del vars, 27172 del conss, 3503 chg bounds, 19 chg sides, 19 chg coeffs, 0 upgd conss, 451727 impls, 0 clqs
1.89/1.93	c (round 8) 18410 del vars, 27629 del conss, 3538 chg bounds, 26 chg sides, 26 chg coeffs, 0 upgd conss, 451899 impls, 0 clqs
1.89/1.95	c (round 9) 18765 del vars, 27978 del conss, 3574 chg bounds, 26 chg sides, 26 chg coeffs, 0 upgd conss, 451997 impls, 0 clqs
1.89/1.97	c (round 10) 18983 del vars, 28155 del conss, 3585 chg bounds, 26 chg sides, 26 chg coeffs, 0 upgd conss, 452021 impls, 0 clqs
1.89/1.98	c (round 11) 19120 del vars, 28235 del conss, 3590 chg bounds, 26 chg sides, 26 chg coeffs, 0 upgd conss, 452051 impls, 0 clqs
1.99/2.00	c (round 12) 19173 del vars, 28268 del conss, 3593 chg bounds, 26 chg sides, 26 chg coeffs, 0 upgd conss, 452051 impls, 0 clqs
1.99/2.01	c (round 13) 19196 del vars, 28285 del conss, 3593 chg bounds, 26 chg sides, 26 chg coeffs, 0 upgd conss, 452051 impls, 0 clqs
1.99/2.04	c (round 14) 19212 del vars, 28291 del conss, 9564 chg bounds, 26 chg sides, 26 chg coeffs, 0 upgd conss, 452051 impls, 0 clqs
2.09/2.17	c (round 15) 19218 del vars, 28291 del conss, 9564 chg bounds, 26 chg sides, 26 chg coeffs, 9944 upgd conss, 452051 impls, 0 clqs
2.19/2.21	c (round 16) 19218 del vars, 28291 del conss, 9564 chg bounds, 37 chg sides, 62 chg coeffs, 9944 upgd conss, 452831 impls, 43 clqs
4.69/4.75	c    (4.3s) probing: 1000/11961 (8.4%) - 0 fixings, 0 aggregations, 34223 implications, 0 bound changes
6.29/6.36	c    (5.8s) probing: 2000/11961 (16.7%) - 0 fixings, 0 aggregations, 38176 implications, 0 bound changes
6.29/6.36	c    (5.8s) probing: 2001/11961 (16.7%) - 0 fixings, 0 aggregations, 38178 implications, 0 bound changes
6.29/6.36	c    (5.8s) probing aborted: 2000/2000 successive useless probings
6.29/6.36	c presolving (17 rounds):
6.29/6.36	c  19218 deleted vars, 28291 deleted constraints, 9564 tightened bounds, 0 added holes, 37 changed sides, 66 changed coefficients
6.29/6.36	c  591189 implications, 44 cliques
6.29/6.36	c presolved problem has 17932 variables (11961 bin, 0 int, 0 impl, 5971 cont) and 21235 constraints
6.29/6.36	c    5971 constraints of type <indicator>
6.29/6.36	c     654 constraints of type <varbound>
6.29/6.36	c     149 constraints of type <knapsack>
6.29/6.36	c       3 constraints of type <setppc>
6.29/6.36	c    5317 constraints of type <linear>
6.29/6.36	c    9141 constraints of type <logicor>
6.29/6.36	c transformed objective value is always integral (scale: 1)
6.29/6.36	c Presolving Time: 5.74
6.29/6.36	c - non default parameters ----------------------------------------------------------------------
6.29/6.36	c # SCIP version 1.2.1.2
6.29/6.36	c 
6.29/6.36	c # frequency for displaying node information lines
6.29/6.36	c # [type: int, range: [-1,2147483647], default: 100]
6.29/6.36	c display/freq = 10000
6.29/6.36	c 
6.29/6.36	c # maximal time in seconds to run
6.29/6.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.29/6.36	c limits/time = 1799.69
6.29/6.36	c 
6.29/6.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.29/6.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.29/6.36	c limits/memory = 3420
6.29/6.36	c 
6.29/6.36	c # should presolving try to simplify inequalities
6.29/6.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.29/6.36	c constraints/linear/simplifyinequalities = TRUE
6.29/6.36	c 
6.29/6.36	c # should presolving try to simplify knapsacks
6.29/6.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.29/6.36	c constraints/knapsack/simplifyinequalities = TRUE
6.29/6.36	c 
6.29/6.36	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.29/6.36	c # [type: int, range: [-1,2147483647], default: -1]
6.29/6.36	c separating/rapidlearning/freq = 0
6.29/6.36	c 
6.29/6.36	c -----------------------------------------------------------------------------------------------
6.29/6.36	c start solving
6.29/6.37	c 
6.39/6.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.39/6.45	c   5.9s|     1 |     0 |    93 |     - | 125M|   0 |  74 |  17k|  21k|  17k|9293 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.60/7.64	c   7.1s|     1 |     0 |  1933 |     - | 126M|   0 |  22 |  17k|  21k|  17k|  10k| 726 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.49/8.55	c   8.0s|     1 |     0 |  2625 |     - | 127M|   0 | 340 |  17k|  21k|  17k|  10k| 974 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.29/9.39	c   8.8s|     1 |     0 |  3212 |     - | 127M|   0 | 135 |  17k|  21k|  17k|  10k|1400 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.60/10.67	c  10.1s|     1 |     0 |  3939 |     - | 127M|   0 | 220 |  17k|  21k|  17k|  10k|1636 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.79/11.85	c  11.2s|     1 |     0 |  4723 |     - | 128M|   0 | 272 |  17k|  21k|  17k|  11k|1843 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.10/13.13	c  12.5s|     1 |     0 |  5637 |     - | 128M|   0 | 236 |  17k|  21k|  17k|  11k|1936 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
17.49/17.60	c  16.9s|     1 |     2 |  5637 |     - | 128M|   0 | 236 |  17k|  21k|  17k|  11k|1936 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
979.51/979.55	c   966s| 10000 | 10001 |726767 |  72.1 | 213M|  97 | 104 |  17k|  21k|  17k|  10k|1936 | 267 |6768 | 0.000000e+00 |      --      |    Inf 
1646.33/1646.34	c  1624s| 20000 | 20001 |  1283k|  63.9 | 298M|  97 | 137 |  17k|  21k|  17k|  10k|1936 | 407 |  11k| 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.02	c 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time (sec) : 1775.95
1800.04/1800.02	c Solving Nodes      : 23095
1800.04/1800.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.02	c Gap                : infinite
1800.04/1800.02	s UNKNOWN
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time       :    1775.95
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2692525-1277916895.wbo
1800.04/1800.02	c   Variables        : 37150 (24490 binary, 0 integer, 0 implicit integer, 12660 continuous)
1800.04/1800.02	c   Constraints      : 49523 initial, 49523 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2692525-1277916895.wbo
1800.04/1800.02	c   Variables        : 17932 (11961 binary, 0 integer, 0 implicit integer, 5971 continuous)
1800.04/1800.02	c   Constraints      : 21235 initial, 21477 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.01        169          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.05      14196          0          0          0          0          0          0          0
1800.04/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   implics          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.02	c   probing          :       4.08          0          0          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :       0.30          0          0          0          0          0       6689          0          0
1800.04/1800.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   knapsack         :       0.00          0          0          0          0          0          0         11         40
1800.04/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       0.76       3424       1429          0       9564          0      21602         26         26
1800.04/1800.02	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   integral         :          0          0          0      23095          0          0          0          0          0      46190
1800.04/1800.02	c   indicator        :       5971          0     273656          0          0          0      20262          0          0          0
1800.04/1800.02	c   varbound         :        654          6     273656          0          0          0       2782        449          0          0
1800.04/1800.02	c   knapsack         :        149          6     273656          0          0          1      29269        124          0          0
1800.04/1800.02	c   setppc           :          3          6     217915          0          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       5317          6     273655          0          0          0      10487        929          0          0
1800.04/1800.02	c   logicor          :       9141+         6     230592          0          0          2     334232          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :     394.92       0.00       0.00     394.92       0.00
1800.04/1800.02	c   indicator        :      30.80       0.01      30.79       0.00       0.00
1800.04/1800.02	c   varbound         :       3.63       0.00       3.63       0.00       0.00
1800.04/1800.02	c   knapsack         :       1.40       0.00       1.40       0.00       0.00
1800.04/1800.02	c   setppc           :       0.04       0.00       0.04       0.00       0.00
1800.04/1800.02	c   linear           :      24.36       0.00      24.36       0.00       0.00
1800.04/1800.02	c   logicor          :       2.13       0.00       2.13       0.00       0.00
1800.04/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.02	c   vbounds          :      16.27      90039          0       7016
1800.04/1800.02	c   rootredcost      :       0.12          0          0          0
1800.04/1800.02	c   pseudoobj        :      42.38     263860          0          0
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :       0.00          3          3          3        6.3          0        0.0          -
1800.04/1800.02	c   infeasible LP    :       1.13        425        425        438        4.9          0        0.0          0
1800.04/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   applied globally :          -          -          -        441        4.9          -          -          -
1800.04/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.02	c   cut pool         :       0.00          5          -          -        133          -    (maximal pool size: 960)
1800.04/1800.02	c   redcost          :      15.42      23100          0          0          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          6          0          0        408          0
1800.04/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.02	c   gomory           :       0.50          6          0          0       1306          0
1800.04/1800.02	c   strongcg         :       0.37          6          0          0        390          0
1800.04/1800.02	c   cmir             :       0.92          6          0          0         39          0
1800.04/1800.02	c   flowcover        :       2.79          6          0          0        216          0
1800.04/1800.02	c   clique           :       0.20          6          0          0         24          0
1800.04/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.02	c   mcf              :       0.03          1          0          0          0          0
1800.04/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.02	c Pricers            :       Time      Calls       Vars
1800.04/1800.02	c   problem variables:       0.00          0          0
1800.04/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   relpscost        :     394.87      23095          0          0          0          0      46190
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.02	c   LP solutions     :       0.00          -          0
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   oneopt           :       0.06          0          0
1800.04/1800.02	c   crossover        :       0.00          0          0
1800.04/1800.02	c   guideddiving     :       0.00          0          0
1800.04/1800.02	c   objpscostdiving  :      20.31          9          0
1800.04/1800.02	c   rootsoldiving    :      17.09         11          0
1800.04/1800.02	c   intshifting      :       0.11         24          0
1800.04/1800.02	c   feaspump         :       4.95         12          0
1800.04/1800.02	c   coefdiving       :     108.92         36          0
1800.04/1800.02	c   pscostdiving     :     112.22         39          0
1800.04/1800.02	c   fracdiving       :     119.88         43          0
1800.04/1800.02	c   veclendiving     :      95.06         46          0
1800.04/1800.02	c   linesearchdiving :      99.83         47          0
1800.04/1800.02	c   trivial          :       0.42          2          0
1800.04/1800.02	c   simplerounding   :       0.06      22993          0
1800.04/1800.02	c   zirounding       :       0.40       1000          0
1800.04/1800.02	c   rounding         :       1.13       2095          0
1800.04/1800.02	c   shifting         :       5.24        638          0
1800.04/1800.02	c   twoopt           :       0.00          0          0
1800.04/1800.02	c   fixandinfer      :       0.00          0          0
1800.04/1800.02	c   intdiving        :       0.00          0          0
1800.04/1800.02	c   actconsdiving    :       0.00          0          0
1800.04/1800.02	c   octane           :       0.00          0          0
1800.04/1800.02	c   rens             :       0.14          1          0
1800.04/1800.02	c   rins             :       0.00          0          0
1800.04/1800.02	c   localbranching   :       0.00          0          0
1800.04/1800.02	c   mutation         :       0.00          0          0
1800.04/1800.02	c   dins             :       0.00          0          0
1800.04/1800.02	c   undercover       :       0.00          0          0
1800.04/1800.02	c   nlp              :       0.01          0          0
1800.04/1800.02	c   trysol           :       5.77        876          0
1800.04/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.02	c   primal LP        :       0.01          0          0       0.00       0.00
1800.04/1800.02	c   dual LP          :     623.10      22993    1026684      44.65    1647.70
1800.04/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.02	c   diving/probing LP:     365.66      46966     395430       8.42    1081.41
1800.04/1800.02	c   strong branching :     393.43      11948     454575      38.05    1155.42
1800.04/1800.02	c     (at root node) :          -         19       6074     319.68          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :      23095
1800.04/1800.02	c   nodes (total)    :      23095
1800.04/1800.02	c   nodes left       :      23096
1800.04/1800.02	c   max depth        :         97
1800.04/1800.02	c   max depth (total):         97
1800.04/1800.02	c   backtracks       :        520 (2.3%)
1800.04/1800.02	c   delayed cutoffs  :          0
1800.04/1800.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.02	c   avg switch length:       2.29
1800.04/1800.02	c   switching time   :       8.77
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :          0 (0 improvements)
1800.04/1800.02	c   Primal Bound     :          -
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :       5637
1800.33/1800.33	c Time complete: 1800.37.

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-2692525-1277916895/watcher-2692525-1277916895 -o /tmp/evaluation-result-2692525-1277916895/solver-2692525-1277916895 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692525-1277916895.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.04 2.01 2.00 4/178 14051
/proc/meminfo: memFree=31259848/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=9304 CPUtime=0
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 1620 0 0 0 0 0 0 0 25 0 1 0 132986491 9527296 1539 4089446400 4194304 8223781 140735947085856 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14051/statm: 2326 1539 369 984 0 1339 0

[startup+0.08716 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 14051
/proc/meminfo: memFree=31259848/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=26872 CPUtime=0.07
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 6037 0 0 0 7 0 0 0 25 0 1 0 132986491 27516928 5956 4089446400 4194304 8223781 140735947085856 18446744073709551615 5648489 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14051/statm: 6718 5956 369 984 0 5731 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26872

[startup+0.101161 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 14051
/proc/meminfo: memFree=31259848/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=28044 CPUtime=0.09
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 6328 0 0 0 9 0 0 0 25 0 1 0 132986491 28717056 6247 4089446400 4194304 8223781 140735947085856 18446744073709551615 4680433 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14051/statm: 7011 6247 369 984 0 6024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28044

[startup+0.301068 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 14051
/proc/meminfo: memFree=31259848/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=59152 CPUtime=0.29
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 14094 0 0 0 28 1 0 0 25 0 1 0 132986491 60571648 14013 4089446400 4194304 8223781 140735947085856 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14051/statm: 14788 14013 369 984 0 13801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59152

[startup+0.701051 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 14051
/proc/meminfo: memFree=31259848/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=143940 CPUtime=0.69
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 34479 0 0 0 66 3 0 0 25 0 1 0 132986491 147394560 33971 4089446400 4194304 8223781 140735947085856 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 35985 33971 422 984 0 34998 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 143940

[startup+1.5008 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14052
/proc/meminfo: memFree=31115628/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=164060 CPUtime=1.5
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 40052 0 0 0 140 10 0 0 25 0 1 0 132986491 167997440 39030 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 41015 39030 449 984 0 40028 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 164060

[startup+3.10065 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14052
/proc/meminfo: memFree=31102360/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=172188 CPUtime=3.09
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 49037 0 0 0 291 18 0 0 25 0 1 0 132986491 176320512 41071 4089446400 4194304 8223781 140735947085856 18446744073709551615 5497075 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 43047 41071 498 984 0 42060 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172188

[startup+6.30107 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14052
/proc/meminfo: memFree=31095852/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=172364 CPUtime=6.29
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 49106 0 0 0 609 20 0 0 25 0 1 0 132986491 176500736 41140 4089446400 4194304 8223781 140735947085856 18446744073709551615 5500505 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 43091 41140 503 984 0 42104 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 172364

[startup+12.701 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14052
/proc/meminfo: memFree=31067992/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=203428 CPUtime=12.69
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 61107 0 0 0 1237 32 0 0 25 0 1 0 132986491 208310272 48113 4089446400 4194304 8223781 140735947085856 18446744073709551615 6571360 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 50857 48113 591 984 0 49870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 203428

[startup+25.5006 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14053
/proc/meminfo: memFree=31064772/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=203500 CPUtime=25.49
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 143139 0 0 0 2502 47 0 0 25 0 1 0 132986491 208384000 48189 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 50875 48189 601 984 0 49888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 203500

[startup+51.1012 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14054
/proc/meminfo: memFree=31056252/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=204300 CPUtime=51.09
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 340034 0 0 0 5035 74 0 0 25 0 1 0 132986491 209203200 48417 4089446400 4194304 8223781 140735947085856 18446744073709551615 6569356 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 51075 48417 601 984 0 50088 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 204300

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14055
/proc/meminfo: memFree=31034880/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=207488 CPUtime=102.3
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 674798 0 0 0 10107 123 0 0 25 0 1 0 132986491 212467712 49143 4089446400 4194304 8223781 140735947085856 18446744073709551615 6446940 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 51872 49143 601 984 0 50885 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 207488

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14056
/proc/meminfo: memFree=31015492/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=209572 CPUtime=162.3
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 1147069 0 0 0 16036 194 0 0 25 0 1 0 132986491 214601728 49606 4089446400 4194304 8223781 140735947085856 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 52393 49606 605 984 0 51406 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 209572

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14058
/proc/meminfo: memFree=30994484/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=214228 CPUtime=222.29
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 1680651 0 0 0 21953 276 0 0 25 0 1 0 132986491 219369472 50471 4089446400 4194304 8223781 140735947085856 18446744073709551615 6604397 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 53217 50426 605 984 0 52230 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 214228

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14060
/proc/meminfo: memFree=30967400/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=219300 CPUtime=282.29
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 2254149 0 0 0 27871 358 0 0 25 0 1 0 132986491 224563200 51976 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 54825 51976 605 984 0 53838 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 219300

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14061
/proc/meminfo: memFree=30941940/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=222988 CPUtime=342.3
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 2812459 0 0 0 33788 442 0 0 25 0 1 0 132986491 228339712 52917 4089446400 4194304 8223781 140735947085856 18446744073709551615 6448527 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 55747 52917 605 984 0 54760 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 222988

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14072
/proc/meminfo: memFree=30919848/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=228900 CPUtime=402.3
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 3390858 0 0 0 39709 521 0 0 25 0 1 0 132986491 234393600 54422 4089446400 4194304 8223781 140735947085856 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 57225 54422 605 984 0 56238 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 228900

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14073
/proc/meminfo: memFree=30895388/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=232680 CPUtime=462.3
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 3999347 0 0 0 45625 605 0 0 25 0 1 0 132986491 238264320 55372 4089446400 4194304 8223781 140735947085856 18446744073709551615 6567812 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 58170 55372 605 984 0 57183 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 232680

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14075
/proc/meminfo: memFree=30870280/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=238764 CPUtime=522.3
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 4634314 0 0 0 51536 694 0 0 25 0 1 0 132986491 244494336 56836 4089446400 4194304 8223781 140735947085856 18446744073709551615 6592514 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 59691 56836 605 984 0 58704 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 238764

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14077
/proc/meminfo: memFree=30846536/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=244996 CPUtime=582.3
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 5245734 0 0 0 57449 781 0 0 25 0 1 0 132986491 250875904 58410 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 61249 58410 605 984 0 60262 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 244996

[startup+642.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14079
/proc/meminfo: memFree=30820696/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=250504 CPUtime=642.31
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 5787804 0 0 0 63370 861 0 0 25 0 1 0 132986491 256516096 59838 4089446400 4194304 8223781 140735947085856 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 62626 59838 605 984 0 61639 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 250504

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 14114
/proc/meminfo: memFree=31190192/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=285620 CPUtime=942.32
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 8347854 0 0 0 92982 1250 0 0 25 0 1 0 132986491 292474880 68656 4089446400 4194304 8223781 140735947085856 18446744073709551615 6611759 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 71405 68656 605 984 0 70418 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 285620

[startup+1002.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 14116
/proc/meminfo: memFree=31178276/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=293524 CPUtime=1002.32
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 8893826 0 0 0 98908 1324 0 0 25 0 1 0 132986491 300568576 70623 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 73381 70623 605 984 0 72394 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 293524

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14117
/proc/meminfo: memFree=31164124/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=301040 CPUtime=1062.32
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 9449856 0 0 0 104825 1407 0 0 25 0 1 0 132986491 308264960 72473 4089446400 4194304 8223781 140735947085856 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 75260 72473 605 984 0 74273 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 301040

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14119
/proc/meminfo: memFree=31153560/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=306580 CPUtime=1122.32
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 10075324 0 0 0 110739 1493 0 0 25 0 1 0 132986491 313937920 73797 4089446400 4194304 8223781 140735947085856 18446744073709551615 6455489 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 76645 73797 605 984 0 75658 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 306580

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14121
/proc/meminfo: memFree=31139404/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=313764 CPUtime=1182.32
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 10642187 0 0 0 116654 1578 0 0 25 0 1 0 132986491 321294336 75707 4089446400 4194304 8223781 140735947085856 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 78441 75707 605 984 0 77454 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 313764

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14122
/proc/meminfo: memFree=31113720/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=320976 CPUtime=1242.32
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 11102294 0 0 0 122583 1649 0 0 25 0 1 0 132986491 328679424 77664 4089446400 4194304 8223781 140735947085856 18446744073709551615 6568047 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 80244 77664 605 984 0 79257 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 320976

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14124
/proc/meminfo: memFree=31075112/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=328120 CPUtime=1302.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 11563437 0 0 0 128512 1721 0 0 25 0 1 0 132986491 335994880 79390 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 82030 79390 605 984 0 81043 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 328120

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14125
/proc/meminfo: memFree=31046572/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=336312 CPUtime=1362.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 12020858 0 0 0 134440 1793 0 0 25 0 1 0 132986491 344383488 81454 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 84078 81454 605 984 0 83091 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 336312

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14127
/proc/meminfo: memFree=31011080/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=344656 CPUtime=1422.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 12585583 0 0 0 140360 1873 0 0 25 0 1 0 132986491 352927744 83572 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 86164 83572 605 984 0 85177 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 344656

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14129
/proc/meminfo: memFree=30973728/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=353488 CPUtime=1482.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 13161254 0 0 0 146274 1959 0 0 25 0 1 0 132986491 361971712 85728 4089446400 4194304 8223781 140735947085856 18446744073709551615 6598901 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 88372 85728 605 984 0 87385 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 353488

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14130
/proc/meminfo: memFree=30935740/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=363408 CPUtime=1542.32
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 13723964 0 0 0 152187 2045 0 0 25 0 1 0 132986491 372129792 88232 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 90852 88232 605 984 0 89865 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 363408

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14132
/proc/meminfo: memFree=30901984/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=370816 CPUtime=1602.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 14287972 0 0 0 158107 2126 0 0 25 0 1 0 132986491 379715584 90078 4089446400 4194304 8223781 140735947085856 18446744073709551615 6567951 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 92704 90078 605 984 0 91717 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 370816

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14133
/proc/meminfo: memFree=30867352/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=379232 CPUtime=1662.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 14888926 0 0 0 164026 2207 0 0 25 0 1 0 132986491 388333568 92152 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 94808 92152 605 984 0 93821 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 379232

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14135
/proc/meminfo: memFree=30824664/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=389716 CPUtime=1722.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 15409890 0 0 0 169946 2287 0 0 25 0 1 0 132986491 399069184 94826 4089446400 4194304 8223781 140735947085856 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 97429 94826 605 984 0 96442 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 389716

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=30785576/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=397520 CPUtime=1782.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 15871916 0 0 0 175874 2359 0 0 25 0 1 0 132986491 407060480 96791 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 99380 96791 605 984 0 98393 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 397520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=30771052/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=403024 CPUtime=1800.04
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 16005851 0 0 0 177623 2381 0 0 25 0 1 0 132986491 412696576 98169 4089446400 4194304 8223781 140735947085856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14051/statm: 100756 98169 605 984 0 99769 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 403024

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: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=30771052/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=258380 CPUtime=1800.23
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 16006076 0 0 0 177642 2381 0 0 25 0 1 0 132986491 264581120 62070 4089446400 4194304 8223781 140735947085856 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14051/statm: 64595 62070 607 984 0 63608 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 258380

[startup+1800.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=30771052/32950928 swapFree=67111528/67111528
[pid=14051] ppid=14049 vsize=87064 CPUtime=1800.33
/proc/14051/stat : 14051 (pbscip.linux.x8) R 14049 14051 13345 0 -1 4202496 16006076 0 0 0 177651 2382 0 0 25 0 1 0 132986491 89153536 20848 4089446400 4194304 8223781 140735947085856 18446744073709551615 4672601 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14051/statm: 21766 20848 607 984 0 20779 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 87064

Child status: 0
Real time (s): 1800.34
CPU time (s): 1800.38
CPU user time (s): 1776.54
CPU system time (s): 23.8324
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 403024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.54
system time used= 23.8324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16006080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1204

runsolver used 2.78758 second user time and 5.70013 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 18:54:56
IDJOB=2692525
IDBENCH=79081
IDSOLVER=1204
FILE ID=node120/2692525-1277916895
PBS_JOBID= 11197310
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j903_10-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692525-1277916895/watcher-2692525-1277916895 -o /tmp/evaluation-result-2692525-1277916895/solver-2692525-1277916895 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692525-1277916895.wbo -t 1800 -m 3800

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

MD5SUM BENCH= dedae6261f3c03a02c47ea0595dc06e5
RANDOM SEED=88608941

node120.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.820
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.64
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.820
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.820
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.80
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.820
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.74
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.820
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.820
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.68
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.820
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.75
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.820
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:      31260376 kB
Buffers:        201104 kB
Cached:         939724 kB
SwapCached:          0 kB
Active:         948400 kB
Inactive:       597256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31260376 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5552 kB
Writeback:           0 kB
AnonPages:      404932 kB
Mapped:          16580 kB
Slab:            79316 kB
PageTables:       5320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   558144 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= 74200 MiB
End job on node120 at 2010-06-30 19:24:58