Trace number 2692506

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.56 1800.5

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
MD5SUM6c5df40b176000d7248c596dfbe96e3b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.160974
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables16198
Total number of constraints50975
Number of soft constraints17448
Number of constraints which are clauses50623
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints352
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 887339
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 887338
Biggest number in a constraint 51
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 588
Number of bits of the biggest sum of numbers10
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-2692506-1277916620.wbo>
0.39/0.44	c original problem has 51094 variables (33646 bin, 0 int, 0 impl, 17448 cont) and 68424 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
1.39/1.43	c presolving:
1.79/1.83	c (round 1) 1337 del vars, 4532 del conss, 787 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 636672 impls, 0 clqs
2.10/2.14	c (round 2) 4174 del vars, 13345 del conss, 2086 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653038 impls, 0 clqs
2.49/2.51	c (round 3) 9083 del vars, 21837 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 659844 impls, 0 clqs
2.69/2.78	c (round 4) 14521 del vars, 27834 del conss, 3646 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 665603 impls, 0 clqs
2.89/2.95	c (round 5) 18535 del vars, 31714 del conss, 4099 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 667881 impls, 0 clqs
2.99/3.08	c (round 6) 21181 del vars, 34193 del conss, 4357 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 669067 impls, 0 clqs
3.09/3.16	c (round 7) 22894 del vars, 35564 del conss, 4493 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 669782 impls, 0 clqs
3.20/3.20	c (round 8) 23895 del vars, 36314 del conss, 4571 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670069 impls, 0 clqs
3.20/3.24	c (round 9) 24403 del vars, 36790 del conss, 4628 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670317 impls, 0 clqs
3.20/3.27	c (round 10) 24710 del vars, 37066 del conss, 4658 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670403 impls, 0 clqs
3.20/3.29	c (round 11) 24917 del vars, 37251 del conss, 4685 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670437 impls, 0 clqs
3.30/3.31	c (round 12) 25043 del vars, 37465 del conss, 4702 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670451 impls, 0 clqs
3.30/3.34	c (round 13) 25163 del vars, 37631 del conss, 4711 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670455 impls, 0 clqs
3.30/3.36	c (round 14) 25282 del vars, 37710 del conss, 4721 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670455 impls, 0 clqs
3.30/3.38	c (round 15) 25353 del vars, 37765 del conss, 4732 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670485 impls, 0 clqs
3.30/3.39	c (round 16) 25393 del vars, 37808 del conss, 4736 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670487 impls, 0 clqs
3.39/3.41	c (round 17) 25425 del vars, 37828 del conss, 4739 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670487 impls, 0 clqs
3.39/3.43	c (round 18) 25452 del vars, 37874 del conss, 4751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670498 impls, 0 clqs
3.39/3.45	c (round 19) 25472 del vars, 37897 del conss, 4751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670498 impls, 0 clqs
3.39/3.49	c (round 20) 25494 del vars, 37906 del conss, 13211 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 670498 impls, 0 clqs
3.59/3.69	c (round 21) 25503 del vars, 37906 del conss, 13211 chg bounds, 0 chg sides, 0 chg coeffs, 14465 upgd conss, 670498 impls, 0 clqs
8.59/8.64	c    (8.0s) probing: 1000/17131 (5.8%) - 0 fixings, 0 aggregations, 51045 implications, 0 bound changes
11.79/11.87	c    (11.2s) probing: 2000/17131 (11.7%) - 0 fixings, 0 aggregations, 59177 implications, 0 bound changes
11.79/11.88	c    (11.2s) probing: 2001/17131 (11.7%) - 0 fixings, 0 aggregations, 59181 implications, 0 bound changes
11.79/11.88	c    (11.2s) probing aborted: 2000/2000 successive useless probings
11.79/11.88	c presolving (22 rounds):
11.79/11.88	c  25503 deleted vars, 37906 deleted constraints, 13211 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
11.79/11.88	c  915676 implications, 0 cliques
11.79/11.88	c presolved problem has 25591 variables (17131 bin, 0 int, 0 impl, 8460 cont) and 30518 constraints
11.79/11.88	c    8460 constraints of type <indicator>
11.79/11.88	c     867 constraints of type <varbound>
11.79/11.88	c     225 constraints of type <knapsack>
11.79/11.88	c    7593 constraints of type <linear>
11.79/11.88	c   13373 constraints of type <logicor>
11.79/11.88	c transformed objective value is always integral (scale: 1)
11.79/11.88	c Presolving Time: 11.06
11.79/11.88	c - non default parameters ----------------------------------------------------------------------
11.79/11.88	c # SCIP version 1.2.1.2
11.79/11.88	c 
11.79/11.88	c # frequency for displaying node information lines
11.79/11.88	c # [type: int, range: [-1,2147483647], default: 100]
11.79/11.88	c display/freq = 10000
11.79/11.88	c 
11.79/11.88	c # maximal time in seconds to run
11.79/11.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.79/11.88	c limits/time = 1799.57
11.79/11.88	c 
11.79/11.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.79/11.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.79/11.88	c limits/memory = 3420
11.79/11.88	c 
11.79/11.88	c # should presolving try to simplify inequalities
11.79/11.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.79/11.88	c constraints/linear/simplifyinequalities = TRUE
11.79/11.88	c 
11.79/11.88	c # should presolving try to simplify knapsacks
11.79/11.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.79/11.88	c constraints/knapsack/simplifyinequalities = TRUE
11.79/11.88	c 
11.79/11.88	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.79/11.88	c # [type: int, range: [-1,2147483647], default: -1]
11.79/11.88	c separating/rapidlearning/freq = 0
11.79/11.88	c 
11.79/11.88	c -----------------------------------------------------------------------------------------------
11.79/11.88	c start solving
11.79/11.89	c 
12.10/12.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.10/12.12	c  11.4s|     1 |     0 |  1111 |     - | 179M|   0 | 178 |  25k|  30k|  25k|  13k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.89/15.91	c  15.2s|     1 |     0 |  4349 |     - | 181M|   0 | 558 |  25k|  30k|  25k|  14k| 805 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.09/20.18	c  19.4s|     1 |     0 |  7286 |     - | 182M|   0 | 700 |  25k|  30k|  25k|  14k|1258 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.29/23.33	c  22.6s|     1 |     0 |  8522 |     - | 183M|   0 | 845 |  25k|  30k|  25k|  15k|1600 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
28.39/28.47	c  27.7s|     1 |     0 | 10572 |     - | 183M|   0 |1024 |  25k|  30k|  25k|  15k|1906 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
35.70/35.78	c  35.0s|     1 |     0 | 13147 |     - | 183M|   0 |1109 |  25k|  30k|  25k|  15k|2235 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
47.09/47.16	c  46.3s|     1 |     0 | 17718 |     - | 184M|   0 |1224 |  25k|  30k|  25k|  16k|2523 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
115.89/115.96	c   115s|     1 |     2 | 17718 |     - | 185M|   0 |1224 |  25k|  30k|  25k|  16k|2523 |   0 |  57 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.04	c 
1800.06/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.04	c Solving Time (sec) : 1788.35
1800.06/1800.04	c Solving Nodes      : 650
1800.06/1800.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.04	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.04	c Gap                : infinite
1800.06/1800.04	s UNKNOWN
1800.06/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.04	c Solving Time       :    1788.35
1800.06/1800.04	c Original Problem   :
1800.06/1800.04	c   Problem name     : HOME/instance-2692506-1277916620.wbo
1800.06/1800.04	c   Variables        : 51094 (33646 binary, 0 integer, 0 implicit integer, 17448 continuous)
1800.06/1800.04	c   Constraints      : 68424 initial, 68424 maximal
1800.06/1800.04	c Presolved Problem  :
1800.06/1800.04	c   Problem name     : t_HOME/instance-2692506-1277916620.wbo
1800.06/1800.04	c   Variables        : 25591 (17131 binary, 0 integer, 0 implicit integer, 8460 continuous)
1800.06/1800.04	c   Constraints      : 30518 initial, 30550 maximal
1800.06/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.04	c   trivial          :       0.05        233          0          0          0          0          0          0          0
1800.06/1800.04	c   dualfix          :       0.06      19058          0          0          0          0          0          0          0
1800.06/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   implics          :       0.06          0          0          0          0          0          0          0          0
1800.06/1800.04	c   probing          :       8.05          0          0          0          0          0          0          0          0
1800.06/1800.04	c   indicator        :       0.55          0          0          0          0          0       8988          0          0
1800.06/1800.04	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   knapsack         :       0.05          0          0          0          0          0          0          0          0
1800.06/1800.04	c   linear           :       1.30       4518       1694          0      13211          0      28918          0          0
1800.06/1800.04	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.04	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.04	c   integral         :          0          0          0        650          0          0          0          0          0       1300
1800.06/1800.04	c   indicator        :       8460          0      47487          0          0          0        400          0          0          0
1800.06/1800.04	c   varbound         :        867          6      47487          0          0          0         84        476          0          0
1800.06/1800.04	c   knapsack         :        225          6      47487          0          0          0          0        726          0          0
1800.06/1800.04	c   linear           :       7593          6      47487          0          0          0         46       1200          0          0
1800.06/1800.04	c   logicor          :      13373+         6      39776          0          0          0      12007          0          0          0
1800.06/1800.04	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.04	c   integral         :     530.91       0.00       0.00     530.91       0.00
1800.06/1800.04	c   indicator        :       7.65       0.00       7.65       0.00       0.00
1800.06/1800.04	c   varbound         :       1.01       0.01       1.00       0.00       0.00
1800.06/1800.04	c   knapsack         :       0.71       0.02       0.69       0.00       0.00
1800.06/1800.04	c   linear           :       7.06       0.00       7.06       0.00       0.00
1800.06/1800.04	c   logicor          :       0.76       0.01       0.75       0.00       0.00
1800.06/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.04	c   vbounds          :       1.65       7699          0        270
1800.06/1800.04	c   rootredcost      :       0.01          0          0          0
1800.06/1800.04	c   pseudoobj        :       8.87      35276          0          0
1800.06/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.04	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.04	c   infeasible LP    :       0.14         30         30         32        9.9          0        0.0          0
1800.06/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.04	c   applied globally :          -          -          -         32        9.9          -          -          -
1800.06/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.04	c   cut pool         :       0.00          5          -          -        189          -    (maximal pool size: 1636)
1800.06/1800.04	c   redcost          :       0.74        655          0          0          0          0
1800.06/1800.04	c   impliedbounds    :       0.01          6          0          0        554          0
1800.06/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.04	c   gomory           :       6.76          6          0          0       1129          0
1800.06/1800.04	c   strongcg         :       5.54          6          0          0        903          0
1800.06/1800.04	c   cmir             :       1.28          6          0          0         39          0
1800.06/1800.04	c   flowcover        :       4.14          6          0          0        742          0
1800.06/1800.04	c   clique           :       0.50          6          0          0         38          0
1800.06/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.04	c   mcf              :       0.03          1          0          0          0          0
1800.06/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.04	c Pricers            :       Time      Calls       Vars
1800.06/1800.04	c   problem variables:       0.00          0          0
1800.06/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.04	c   relpscost        :     530.91        650          0          0          0          0       1300
1800.06/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   inference        :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.04	c   LP solutions     :       0.00          -          0
1800.06/1800.04	c   pseudo solutions :       0.00          -          0
1800.06/1800.04	c   oneopt           :       0.00          0          0
1800.06/1800.04	c   crossover        :       0.00          0          0
1800.06/1800.04	c   feaspump         :       8.79          5          0
1800.06/1800.04	c   trivial          :       0.79          2          0
1800.06/1800.04	c   simplerounding   :       0.00        656          0
1800.06/1800.04	c   zirounding       :       0.46        650          0
1800.06/1800.04	c   rounding         :       0.44        314          0
1800.06/1800.04	c   shifting         :       1.77         67          0
1800.06/1800.04	c   intshifting      :       0.25         10          0
1800.06/1800.04	c   twoopt           :       0.00          0          0
1800.06/1800.04	c   fixandinfer      :       0.00          0          0
1800.06/1800.04	c   coefdiving       :     116.47          5          0
1800.06/1800.04	c   pscostdiving     :     115.16          5          0
1800.06/1800.04	c   fracdiving       :     147.12          7          0
1800.06/1800.04	c   veclendiving     :     100.59          4          0
1800.06/1800.04	c   intdiving        :       0.00          0          0
1800.06/1800.04	c   actconsdiving    :       0.00          0          0
1800.06/1800.04	c   objpscostdiving  :      37.31          1          0
1800.06/1800.04	c   rootsoldiving    :      14.20          2          0
1800.06/1800.04	c   linesearchdiving :     133.53          5          0
1800.06/1800.04	c   guideddiving     :       0.00          0          0
1800.06/1800.04	c   octane           :       0.00          0          0
1800.06/1800.04	c   rens             :       0.24          1          0
1800.06/1800.04	c   rins             :       0.00          0          0
1800.06/1800.04	c   localbranching   :       0.00          0          0
1800.06/1800.04	c   mutation         :       0.00          0          0
1800.06/1800.04	c   dins             :       0.00          0          0
1800.06/1800.04	c   undercover       :       0.00          0          0
1800.06/1800.04	c   nlp              :       0.00          0          0
1800.06/1800.04	c   trysol           :       0.77         77          0
1800.06/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.04	c   primal LP        :       0.01          0          0       0.00       0.00
1800.06/1800.04	c   dual LP          :     543.31        656     401414     611.91     738.83
1800.06/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.04	c   diving/probing LP:     591.13      13004     401691      30.89     679.53
1800.06/1800.04	c   strong branching :     530.58        984     353450     359.20     666.16
1800.06/1800.04	c     (at root node) :          -         57      49067     860.82          -
1800.06/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.04	c B&B Tree           :
1800.06/1800.04	c   number of runs   :          1
1800.06/1800.04	c   nodes            :        650
1800.06/1800.04	c   nodes (total)    :        650
1800.06/1800.04	c   nodes left       :        651
1800.06/1800.04	c   max depth        :         55
1800.06/1800.04	c   max depth (total):         55
1800.06/1800.04	c   backtracks       :         94 (14.5%)
1800.06/1800.04	c   delayed cutoffs  :          0
1800.06/1800.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.04	c   avg switch length:       3.60
1800.06/1800.04	c   switching time   :       0.54
1800.06/1800.04	c Solution           :
1800.06/1800.04	c   Solutions found  :          0 (0 improvements)
1800.06/1800.04	c   Primal Bound     :          -
1800.06/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.04	c   Gap              :   infinite
1800.06/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.04	c   Root Iterations  :      17718
1800.45/1800.49	c Time complete: 1800.55.

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-2692506-1277916620/watcher-2692506-1277916620 -o /tmp/evaluation-result-2692506-1277916620/solver-2692506-1277916620 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692506-1277916620.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 18443
/proc/meminfo: memFree=30904648/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=9436 CPUtime=0
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 1653 0 0 0 0 0 0 0 25 0 1 0 132957137 9662464 1573 4089446400 4194304 8223781 140733826347792 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18443/statm: 2359 1573 369 984 0 1372 0

[startup+0.0496061 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 18443
/proc/meminfo: memFree=30904648/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=21984 CPUtime=0.04
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 4786 0 0 0 4 0 0 0 25 0 1 0 132957137 22511616 4706 4089446400 4194304 8223781 140733826347792 18446744073709551615 4207135 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18443/statm: 5496 4706 369 984 0 4509 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21984

[startup+0.100615 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 18443
/proc/meminfo: memFree=30904648/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=30208 CPUtime=0.09
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 6847 0 0 0 9 0 0 0 25 0 1 0 132957137 30932992 6767 4089446400 4194304 8223781 140733826347792 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18443/statm: 7552 6767 369 984 0 6565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30208

[startup+0.300561 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 18443
/proc/meminfo: memFree=30904648/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=62648 CPUtime=0.29
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 14976 0 0 0 28 1 0 0 25 0 1 0 132957137 64151552 14866 4089446400 4194304 8223781 140733826347792 18446744073709551615 6637426 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18443/statm: 15662 14866 369 984 0 14675 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62648

[startup+0.700488 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 18443
/proc/meminfo: memFree=30904648/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=191196 CPUtime=0.69
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 46205 0 0 0 64 5 0 0 25 0 1 0 132957137 195784704 45679 4089446400 4194304 8223781 140733826347792 18446744073709551615 4329706 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 47799 45679 416 984 0 46812 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 191196

[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18444
/proc/meminfo: memFree=30719012/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=203848 CPUtime=1.49
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 49259 0 0 0 144 5 0 0 25 0 1 0 132957137 208740352 48733 4089446400 4194304 8223781 140733826347792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 50962 48733 445 984 0 49975 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 203848

[startup+3.10105 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18444
/proc/meminfo: memFree=30687724/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=227648 CPUtime=3.09
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 56644 0 0 0 297 12 0 0 25 0 1 0 132957137 233111552 54576 4089446400 4194304 8223781 140733826347792 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 56912 54576 449 984 0 55925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227648

[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18444
/proc/meminfo: memFree=30675944/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=241392 CPUtime=6.29
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 66639 0 0 0 607 22 0 0 25 0 1 0 132957137 247185408 57967 4089446400 4194304 8223781 140733826347792 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 60348 57967 497 984 0 59361 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 241392

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18444
/proc/meminfo: memFree=30649204/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=277308 CPUtime=12.69
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 79240 0 0 0 1242 27 0 0 25 0 1 0 132957137 283963392 66291 4089446400 4194304 8223781 140733826347792 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 69327 66297 571 984 0 68340 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 277308

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18444
/proc/meminfo: memFree=30634216/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=288304 CPUtime=25.49
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 88642 0 0 0 2513 36 0 0 25 0 1 0 132957137 295223296 68369 4089446400 4194304 8223781 140733826347792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 72076 68369 593 984 0 71089 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 288304

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18446
/proc/meminfo: memFree=30632600/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=291000 CPUtime=51.09
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 142434 0 0 0 5061 48 0 0 25 0 1 0 132957137 297984000 68884 4089446400 4194304 8223781 140733826347792 18446744073709551615 6560132 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 72750 68884 602 984 0 71763 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 291000

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18446
/proc/meminfo: memFree=30630232/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=291312 CPUtime=102.3
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 268135 0 0 0 10154 76 0 0 25 0 1 0 132957137 298303488 69142 4089446400 4194304 8223781 140733826347792 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 72828 69142 602 984 0 71841 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 291312

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18448
/proc/meminfo: memFree=30628820/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=291140 CPUtime=162.3
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 412772 0 0 0 16126 104 0 0 25 0 1 0 132957137 298127360 69130 4089446400 4194304 8223781 140733826347792 18446744073709551615 6568517 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 72785 69130 602 984 0 71798 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 291140

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18450
/proc/meminfo: memFree=30629168/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=291180 CPUtime=222.3
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 553149 0 0 0 22098 132 0 0 25 0 1 0 132957137 298168320 69141 4089446400 4194304 8223781 140733826347792 18446744073709551615 6569651 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 72795 69141 602 984 0 71808 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 291180

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18452
/proc/meminfo: memFree=30627520/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=291232 CPUtime=282.3
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 686799 0 0 0 28068 162 0 0 25 0 1 0 132957137 298221568 69151 4089446400 4194304 8223781 140733826347792 18446744073709551615 6611621 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 72808 69151 602 984 0 71821 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 291232

[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 18453
/proc/meminfo: memFree=30623516/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=295288 CPUtime=342.3
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 880430 0 0 0 34034 196 0 0 25 0 1 0 132957137 302374912 70156 4089446400 4194304 8223781 140733826347792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 73822 70156 602 984 0 72835 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 295288

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18454
/proc/meminfo: memFree=30617412/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=297280 CPUtime=402.31
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 1120068 0 0 0 39997 234 0 0 25 0 1 0 132957137 304414720 70654 4089446400 4194304 8223781 140733826347792 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 74320 70654 602 984 0 73333 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 297280

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 18456
/proc/meminfo: memFree=30610568/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=299276 CPUtime=462.31
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 1540234 0 0 0 45941 290 0 0 25 0 1 0 132957137 306458624 71263 4089446400 4194304 8223781 140733826347792 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 74819 71263 602 984 0 73832 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 299276

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18458
/proc/meminfo: memFree=30610796/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=299300 CPUtime=522.31
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 1734205 0 0 0 51908 323 0 0 25 0 1 0 132957137 306483200 71279 4089446400 4194304 8223781 140733826347792 18446744073709551615 6560062 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 74825 71279 602 984 0 73838 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 299300

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18460
/proc/meminfo: memFree=30607176/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=299212 CPUtime=582.31
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 2286124 0 0 0 57834 397 0 0 25 0 1 0 132957137 306393088 71215 4089446400 4194304 8223781 140733826347792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 74803 71215 602 984 0 73816 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 299212

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18470
/proc/meminfo: memFree=30604284/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=298672 CPUtime=642.31
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 2573250 0 0 0 63786 445 0 0 25 0 1 0 132957137 305840128 70860 4089446400 4194304 8223781 140733826347792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 74668 70860 606 984 0 73681 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 298672

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 18478
/proc/meminfo: memFree=30569232/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303600 CPUtime=942.32
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 3907757 0 0 0 93589 643 0 0 25 0 1 0 132957137 310886400 71785 4089446400 4194304 8223781 140733826347792 18446744073709551615 6446828 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75900 71785 606 984 0 74913 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 303600

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18479
/proc/meminfo: memFree=30565108/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303896 CPUtime=1002.32
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 4093336 0 0 0 99559 673 0 0 25 0 1 0 132957137 311189504 72090 4089446400 4194304 8223781 140733826347792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75974 72090 606 984 0 74987 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 303896

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18481
/proc/meminfo: memFree=30555536/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303660 CPUtime=1062.33
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 4233929 0 0 0 105531 702 0 0 25 0 1 0 132957137 310947840 71920 4089446400 4194304 8223781 140733826347792 18446744073709551615 6569377 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75915 71920 606 984 0 74928 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 303660

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18483
/proc/meminfo: memFree=30542112/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303580 CPUtime=1122.33
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 4393183 0 0 0 111503 730 0 0 25 0 1 0 132957137 310865920 71718 4089446400 4194304 8223781 140733826347792 18446744073709551615 6537829 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75895 71718 606 984 0 74908 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 303580

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18485
/proc/meminfo: memFree=30532164/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303784 CPUtime=1182.32
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 4534985 0 0 0 117473 759 0 0 25 0 1 0 132957137 311074816 72019 4089446400 4194304 8223781 140733826347792 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75946 72019 606 984 0 74959 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 303784

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18486
/proc/meminfo: memFree=30529656/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=302548 CPUtime=1242.33
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 4808038 0 0 0 123430 803 0 0 25 0 1 0 132957137 309809152 71808 4089446400 4194304 8223781 140733826347792 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75637 71808 606 984 0 74650 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 302548

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18487
/proc/meminfo: memFree=30521944/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303920 CPUtime=1302.33
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 4995424 0 0 0 129395 838 0 0 25 0 1 0 132957137 311214080 72112 4089446400 4194304 8223781 140733826347792 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75980 72112 606 984 0 74993 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 303920

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18489
/proc/meminfo: memFree=30512120/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303496 CPUtime=1362.33
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 5161734 0 0 0 135362 871 0 0 25 0 1 0 132957137 310779904 71750 4089446400 4194304 8223781 140733826347792 18446744073709551615 6446764 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75874 71750 606 984 0 74887 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 303496

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18491
/proc/meminfo: memFree=30499180/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303700 CPUtime=1422.35
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 5303891 0 0 0 141334 901 0 0 25 0 1 0 132957137 310988800 72021 4089446400 4194304 8223781 140733826347792 18446744073709551615 6537829 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75925 72021 606 984 0 74938 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 303700

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18521
/proc/meminfo: memFree=30556296/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303608 CPUtime=1482.34
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 5448459 0 0 0 147304 930 0 0 25 0 1 0 132957137 310894592 72007 4089446400 4194304 8223781 140733826347792 18446744073709551615 6558077 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75902 72007 606 984 0 74915 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 303608

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18522
/proc/meminfo: memFree=30510604/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=303556 CPUtime=1542.34
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 5589829 0 0 0 153276 958 0 0 25 0 1 0 132957137 310841344 71744 4089446400 4194304 8223781 140733826347792 18446744073709551615 6446778 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 75889 71744 606 984 0 74902 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 303556

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18523
/proc/meminfo: memFree=30499536/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=306940 CPUtime=1602.34
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 5878892 0 0 0 159230 1004 0 0 25 0 1 0 132957137 314306560 72852 4089446400 4194304 8223781 140733826347792 18446744073709551615 6446944 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 76735 72852 606 984 0 75748 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 306940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18525
/proc/meminfo: memFree=30479920/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=306852 CPUtime=1662.34
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 6102356 0 0 0 165193 1041 0 0 25 0 1 0 132957137 314216448 72871 4089446400 4194304 8223781 140733826347792 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 76713 72871 606 984 0 75726 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 306852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18527
/proc/meminfo: memFree=30463772/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=306988 CPUtime=1722.34
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 6245579 0 0 0 171164 1070 0 0 25 0 1 0 132957137 314355712 72884 4089446400 4194304 8223781 140733826347792 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 76747 72884 606 984 0 75760 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 306988

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18529
/proc/meminfo: memFree=30442788/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=306884 CPUtime=1782.34
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 6482605 0 0 0 177125 1109 0 0 25 0 1 0 132957137 314249216 72834 4089446400 4194304 8223781 140733826347792 18446744073709551615 6446817 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 76721 72834 606 984 0 75734 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 306884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18529
/proc/meminfo: memFree=30427512/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=314032 CPUtime=1800.06
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 6668819 0 0 0 178873 1133 0 0 25 0 1 0 132957137 321568768 74606 4089446400 4194304 8223781 140733826347792 18446744073709551615 6557699 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18443/statm: 78508 74606 606 984 0 77521 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 314032

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18529
/proc/meminfo: memFree=30427512/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=293916 CPUtime=1800.25
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 6669387 0 0 0 178892 1133 0 0 18 0 1 0 132957137 300969984 69613 4089446400 4194304 8223781 140733826347792 18446744073709551615 4383954 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18443/statm: 73479 69613 607 984 0 72492 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 293916

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18529
/proc/meminfo: memFree=30427512/32951124 swapFree=67111528/67111528
[pid=18443] ppid=18441 vsize=281684 CPUtime=1800.45
/proc/18443/stat : 18443 (pbscip.linux.x8) R 18441 18443 17705 0 -1 4202496 6669387 0 0 0 178912 1133 0 0 18 0 1 0 132957137 288444416 66574 4089446400 4194304 8223781 140733826347792 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18443/statm: 70421 66574 607 984 0 69434 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 281684

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.56
CPU user time (s): 1789.22
CPU system time (s): 11.3413
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 363200

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

runsolver used 2.43463 second user time and 5.82311 second system time

The end

Launcher Data 

Begin job on node147 at 2010-06-30 18:50:20
IDJOB=2692506
IDBENCH=79076
IDSOLVER=1204
FILE ID=node147/2692506-1277916620
PBS_JOBID= 11197262
Free space on /tmp= 74192 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-j9014_1-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-2692506-1277916620/watcher-2692506-1277916620 -o /tmp/evaluation-result-2692506-1277916620/solver-2692506-1277916620 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692506-1277916620.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6c5df40b176000d7248c596dfbe96e3b
RANDOM SEED=1779137908

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30905176 kB
Buffers:        203992 kB
Cached:        1508180 kB
SwapCached:          0 kB
Active:         677900 kB
Inactive:      1221824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30905176 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:      187436 kB
Mapped:          16936 kB
Slab:            81752 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   336740 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= 74184 MiB
End job on node147 at 2010-06-30 19:20:22