Trace number 2693151

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.55 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9010_6-unsat--soft-66-100-0.wbo
MD5SUM5d7aea7a0e3c8d0b9f22ec2921124ff8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.167974
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables16744
Total number of constraints52975
Number of soft constraints17935
Number of constraints which are clauses52611
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints364
Minimum length of a constraint1
Maximum length of a constraint72
Top cost 908194
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 908193
Biggest number in a constraint 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 413
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693151-1277916687.wbo>
0.39/0.45	c original problem has 52614 variables (34679 bin, 0 int, 0 impl, 17935 cont) and 70911 constraints
0.39/0.45	c problem read
0.39/0.45	c presolving settings loaded
1.49/1.58	c presolving:
1.99/2.04	c (round 1) 1416 del vars, 4955 del conss, 888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 669377 impls, 0 clqs
2.39/2.41	c (round 2) 4221 del vars, 13607 del conss, 2024 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 681456 impls, 0 clqs
2.79/2.83	c (round 3) 9320 del vars, 22280 del conss, 3034 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 690737 impls, 0 clqs
2.99/3.10	c (round 4) 14754 del vars, 28219 del conss, 3730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 696918 impls, 0 clqs
3.20/3.27	c (round 5) 18813 del vars, 32189 del conss, 4261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 700189 impls, 0 clqs
3.39/3.40	c (round 6) 21654 del vars, 35321 del conss, 4714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 705746 impls, 0 clqs
3.49/3.51	c (round 7) 23749 del vars, 37689 del conss, 5057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 707347 impls, 0 clqs
3.49/3.59	c (round 8) 25395 del vars, 39580 del conss, 5265 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708341 impls, 0 clqs
3.59/3.66	c (round 9) 26641 del vars, 40807 del conss, 5397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708769 impls, 0 clqs
3.69/3.71	c (round 10) 27532 del vars, 41604 del conss, 5489 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708931 impls, 0 clqs
3.69/3.74	c (round 11) 28086 del vars, 42069 del conss, 5538 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709133 impls, 0 clqs
3.69/3.77	c (round 12) 28436 del vars, 42364 del conss, 5577 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709301 impls, 0 clqs
3.69/3.80	c (round 13) 28665 del vars, 42661 del conss, 5609 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709399 impls, 0 clqs
3.79/3.82	c (round 14) 28884 del vars, 42941 del conss, 5637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709495 impls, 0 clqs
3.79/3.84	c (round 15) 29071 del vars, 43098 del conss, 5653 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.79/3.86	c (round 16) 29184 del vars, 43160 del conss, 5657 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.79/3.88	c (round 17) 29233 del vars, 43188 del conss, 5659 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.79/3.89	c (round 18) 29253 del vars, 43197 del conss, 5659 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.89/3.94	c (round 19) 29261 del vars, 43200 del conss, 13363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
4.09/4.12	c (round 20) 29264 del vars, 43200 del conss, 13363 chg bounds, 0 chg sides, 0 chg coeffs, 13227 upgd conss, 709535 impls, 0 clqs
7.39/7.47	c    (6.8s) probing: 1000/15646 (6.4%) - 0 fixings, 0 aggregations, 26845 implications, 0 bound changes
9.80/9.81	c    (9.1s) probing: 2000/15646 (12.8%) - 0 fixings, 0 aggregations, 31806 implications, 0 bound changes
9.80/9.81	c    (9.2s) probing: 2001/15646 (12.8%) - 0 fixings, 0 aggregations, 31806 implications, 0 bound changes
9.80/9.81	c    (9.2s) probing aborted: 2000/2000 successive useless probings
9.80/9.81	c presolving (21 rounds):
9.80/9.81	c  29264 deleted vars, 43200 deleted constraints, 13363 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
9.80/9.81	c  838657 implications, 0 cliques
9.80/9.81	c presolved problem has 23350 variables (15646 bin, 0 int, 0 impl, 7704 cont) and 27711 constraints
9.80/9.81	c    7704 constraints of type <indicator>
9.80/9.81	c     924 constraints of type <varbound>
9.80/9.81	c     240 constraints of type <knapsack>
9.80/9.81	c    6780 constraints of type <linear>
9.80/9.81	c   12063 constraints of type <logicor>
9.80/9.81	c transformed objective value is always integral (scale: 1)
9.80/9.81	c Presolving Time: 8.99
9.80/9.81	c - non default parameters ----------------------------------------------------------------------
9.80/9.81	c # SCIP version 1.2.1.2
9.80/9.81	c 
9.80/9.81	c # frequency for displaying node information lines
9.80/9.81	c # [type: int, range: [-1,2147483647], default: 100]
9.80/9.81	c display/freq = 10000
9.80/9.81	c 
9.80/9.81	c # maximal time in seconds to run
9.80/9.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.80/9.81	c limits/time = 1799.55
9.80/9.81	c 
9.80/9.81	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.80/9.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.80/9.81	c limits/memory = 3420
9.80/9.81	c 
9.80/9.81	c # should presolving try to simplify inequalities
9.80/9.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.80/9.81	c constraints/linear/simplifyinequalities = TRUE
9.80/9.81	c 
9.80/9.81	c # should presolving try to simplify knapsacks
9.80/9.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.80/9.81	c constraints/knapsack/simplifyinequalities = TRUE
9.80/9.81	c 
9.80/9.81	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.80/9.81	c # [type: int, range: [-1,2147483647], default: -1]
9.80/9.81	c separating/rapidlearning/freq = 0
9.80/9.81	c 
9.80/9.81	c -----------------------------------------------------------------------------------------------
9.80/9.81	c start solving
9.80/9.82	c 
9.90/9.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.90/9.97	c   9.3s|     1 |     0 |   811 |     - | 176M|   0 | 315 |  23k|  27k|  23k|  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.39/11.47	c  10.8s|     1 |     0 |  1970 |     - | 178M|   0 | 412 |  23k|  27k|  23k|  13k| 836 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.59/12.60	c  11.9s|     1 |     0 |  2954 |     - | 179M|   0 | 822 |  23k|  27k|  23k|  13k|1119 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.39/14.48	c  13.7s|     1 |     0 |  4290 |     - | 179M|   0 | 969 |  23k|  27k|  23k|  13k|1496 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
17.29/17.37	c  16.6s|     1 |     0 |  5713 |     - | 179M|   0 |1464 |  23k|  27k|  23k|  14k|1790 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.79/22.87	c  22.1s|     1 |     0 |  7160 |     - | 180M|   0 |1286 |  23k|  27k|  23k|  14k|2056 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
29.19/29.24	c  28.5s|     1 |     0 |  9288 |     - | 180M|   0 |1524 |  23k|  27k|  23k|  14k|2282 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
43.59/43.63	c  42.8s|     1 |     2 |  9288 |     - | 181M|   0 |1524 |  23k|  27k|  23k|  14k|2282 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
1203.12/1203.10	c  1170s| 10000 |  9983 |716901 |  70.8 | 285M| 427 | 204 |  23k|  27k|  23k|  14k|6145 |  45 |4479 | 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) : 1748.37
1800.04/1800.02	c Solving Nodes      : 19131
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       :    1748.37
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2693151-1277916687.wbo
1800.04/1800.02	c   Variables        : 52614 (34679 binary, 0 integer, 0 implicit integer, 17935 continuous)
1800.04/1800.02	c   Constraints      : 70911 initial, 70911 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2693151-1277916687.wbo
1800.04/1800.02	c   Variables        : 23350 (15646 binary, 0 integer, 0 implicit integer, 7704 continuous)
1800.04/1800.02	c   Constraints      : 27711 initial, 27846 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.05        276          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.09      21746          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.04          0          0          0          0          0          0          0          0
1800.04/1800.02	c   probing          :       5.58          0          0          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :       0.66          0          0          0          0          0      10231          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.02          0          0          0          0          0          0          0          2
1800.04/1800.02	c   linear           :       1.54       5411       1831          0      13363          0      32969          0          0
1800.04/1800.02	c   logicor          :       0.02          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      19284          0          0          2          0          0      38120
1800.04/1800.02	c   indicator        :       7704          0     128753        222          0          0      23209          0          0          0
1800.04/1800.02	c   varbound         :        924          6     128753        222          0          0       1918        604          0          0
1800.04/1800.02	c   knapsack         :        240          6     128753        132          0          1      53929        374          0          0
1800.04/1800.02	c   linear           :       6780          6     128752        132          0          0      17527       7389          0          0
1800.04/1800.02	c   logicor          :      12063+         6     100676         60          0         11     127875          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0         60          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :     462.00       0.00       0.00     462.00       0.00
1800.04/1800.02	c   indicator        :      20.62       0.00      20.15       0.47       0.00
1800.04/1800.02	c   varbound         :       2.24       0.00       2.23       0.01       0.00
1800.04/1800.02	c   knapsack         :       1.28       0.02       1.26       0.00       0.00
1800.04/1800.02	c   linear           :      14.31       0.00      14.13       0.18       0.00
1800.04/1800.02	c   logicor          :       1.27       0.02       1.21       0.04       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          :       4.20      18279          0       5292
1800.04/1800.02	c   rootredcost      :       0.02          0          0          0
1800.04/1800.02	c   pseudoobj        :      27.68     118856          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         12         12         22       11.6          0        0.0          -
1800.04/1800.02	c   infeasible LP    :       0.40         82         82        133       17.0          2       11.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 :          -          -          -        142       15.6          -          -          -
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          -          -        288          -    (maximal pool size: 1173)
1800.04/1800.02	c   redcost          :      19.40      19281          0          0          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          6          0          0        383          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           :       5.40          6          0          0       1498          0
1800.04/1800.02	c   strongcg         :       4.37          6          0          0       1422          0
1800.04/1800.02	c   cmir             :       0.95          6          0          0          0          0
1800.04/1800.02	c   flowcover        :       2.20          6          0          0        456          0
1800.04/1800.02	c   clique           :       0.32          6          0          0         39          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        :     462.00      19062          0          2          0          0      38120
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :       0.17         60          0          0          0          0        120
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.02          0          0
1800.04/1800.02	c   crossover        :       0.01          0          0
1800.04/1800.02	c   guideddiving     :       0.00          0          0
1800.04/1800.02	c   objpscostdiving  :      21.42          4          0
1800.04/1800.02	c   rootsoldiving    :      11.36          4          0
1800.04/1800.02	c   intshifting      :       0.27         13          0
1800.04/1800.02	c   veclendiving     :      63.91         17          0
1800.04/1800.02	c   fracdiving       :      97.06         18          0
1800.04/1800.02	c   coefdiving       :      90.68         18          0
1800.04/1800.02	c   pscostdiving     :      88.37         18          0
1800.04/1800.02	c   linesearchdiving :      49.59         19          0
1800.04/1800.02	c   feaspump         :      10.80         50          0
1800.04/1800.02	c   trivial          :       0.90          2          0
1800.04/1800.02	c   simplerounding   :       0.07      18901          0
1800.04/1800.02	c   zirounding       :       0.56       1000          0
1800.04/1800.02	c   rounding         :       1.51       1903          0
1800.04/1800.02	c   shifting         :       7.84        531          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.22          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.02          0          0
1800.04/1800.02	c   trysol           :       5.78        630          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          :     673.88      19064     819640      42.99    1216.30
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:     338.00      18064     309190      17.12     914.76
1800.04/1800.02	c   strong branching :     460.15       8037     523121      65.09    1136.85
1800.04/1800.02	c     (at root node) :          -         17      14001     823.59          -
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            :      19131
1800.04/1800.02	c   nodes (total)    :      19131
1800.04/1800.02	c   nodes left       :      19110
1800.04/1800.02	c   max depth        :        469
1800.04/1800.02	c   max depth (total):        469
1800.04/1800.02	c   backtracks       :        169 (0.9%)
1800.04/1800.02	c   delayed cutoffs  :          0
1800.04/1800.02	c   repropagations   :        281 (143 domain reductions, 0 cutoffs)
1800.04/1800.02	c   avg switch length:       2.12
1800.04/1800.02	c   switching time   :       6.29
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  :       9288
1800.53/1800.51	c Time complete: 1800.54.

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-2693151-1277916687/watcher-2693151-1277916687 -o /tmp/evaluation-result-2693151-1277916687/solver-2693151-1277916687 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693151-1277916687.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.21 2.09 2.02 4/182 14598
/proc/meminfo: memFree=29912300/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=11156 CPUtime=0
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 1717 0 0 0 0 0 0 0 25 0 1 0 132964897 11423744 1638 4089446400 4194304 9819077 140737471178288 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14598/statm: 2789 1639 392 1374 0 1410 0

[startup+0.0304901 s]
/proc/loadavg: 2.21 2.09 2.02 4/182 14598
/proc/meminfo: memFree=29912300/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=17252 CPUtime=0.02
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 3252 0 0 0 2 0 0 0 25 0 1 0 132964897 17666048 3173 4089446400 4194304 9819077 140737471178288 18446744073709551615 6180942 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14598/statm: 4313 3173 392 1374 0 2934 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17252

[startup+0.100478 s]
/proc/loadavg: 2.21 2.09 2.02 4/182 14598
/proc/meminfo: memFree=29912300/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=31808 CPUtime=0.09
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 6863 0 0 0 9 0 0 0 25 0 1 0 132964897 32571392 6784 4089446400 4194304 9819077 140737471178288 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14598/statm: 7952 6784 392 1374 0 6573 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31808

[startup+0.300442 s]
/proc/loadavg: 2.21 2.09 2.02 4/182 14598
/proc/meminfo: memFree=29912300/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=61892 CPUtime=0.29
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 14414 0 0 0 28 1 0 0 25 0 1 0 132964897 63377408 14335 4089446400 4194304 9819077 140737471178288 18446744073709551615 4680644 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14598/statm: 15473 14335 392 1374 0 14094 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61892

[startup+0.700375 s]
/proc/loadavg: 2.21 2.09 2.02 4/182 14598
/proc/meminfo: memFree=29912300/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=183496 CPUtime=0.69
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 45031 0 0 0 65 4 0 0 25 0 1 0 132964897 187899904 44532 4089446400 4194304 9819077 140737471178288 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14598/statm: 45874 44532 452 1374 0 44495 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 183496

[startup+1.50023 s]
/proc/loadavg: 2.21 2.09 2.02 3/183 14599
/proc/meminfo: memFree=29723752/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=200300 CPUtime=1.49
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 48005 0 0 0 144 5 0 0 25 0 1 0 132964897 205107200 47506 4089446400 4194304 9819077 140737471178288 18446744073709551615 8679203 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14598/statm: 50075 47506 469 1374 0 48696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 200300

[startup+3.10095 s]
/proc/loadavg: 2.21 2.09 2.02 3/183 14599
/proc/meminfo: memFree=29690148/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=231220 CPUtime=3.09
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 56808 0 0 0 299 10 0 0 25 0 1 0 132964897 236769280 55281 4089446400 4194304 9819077 140737471178288 18446744073709551615 5504378 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 57805 55281 495 1374 0 56426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231220

[startup+6.30038 s]
/proc/loadavg: 2.19 2.08 2.02 3/183 14599
/proc/meminfo: memFree=29674820/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=242776 CPUtime=6.29
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 66526 0 0 0 609 20 0 0 25 0 1 0 132964897 248602624 58134 4089446400 4194304 9819077 140737471178288 18446744073709551615 4983126 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 60694 58134 552 1374 0 59315 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 242776

[startup+12.7002 s]
/proc/loadavg: 2.17 2.08 2.02 3/183 14599
/proc/meminfo: memFree=29635868/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=285656 CPUtime=12.69
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 89743 0 0 0 1241 28 0 0 25 0 1 0 132964897 292511744 66604 4089446400 4194304 9819077 140737471178288 18446744073709551615 6043568 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 71414 66604 704 1374 0 70035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 285656

[startup+25.501 s]
/proc/loadavg: 2.13 2.08 2.02 3/183 14599
/proc/meminfo: memFree=29621000/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=288948 CPUtime=25.49
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 98958 0 0 0 2516 33 0 0 25 0 1 0 132964897 295882752 66820 4089446400 4194304 9819077 140737471178288 18446744073709551615 7311729 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 72237 66820 705 1374 0 70858 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 288948

[startup+51.1004 s]
/proc/loadavg: 2.09 2.07 2.02 3/183 14600
/proc/meminfo: memFree=29587736/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=302140 CPUtime=51.09
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 212211 0 0 0 5059 50 0 0 25 0 1 0 132964897 309391360 67494 4089446400 4194304 9819077 140737471178288 18446744073709551615 7301610 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 75535 67494 731 1374 0 74156 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 302140

[startup+102.306 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 14601
/proc/meminfo: memFree=29530584/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=301888 CPUtime=102.3
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 425754 0 0 0 10150 80 0 0 25 0 1 0 132964897 309133312 67696 4089446400 4194304 9819077 140737471178288 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 75472 67696 731 1374 0 74093 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 301888

[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 14603
/proc/meminfo: memFree=29468184/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=291480 CPUtime=162.3
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 884451 0 0 0 16088 142 0 0 25 0 1 0 132964897 298475520 67373 4089446400 4194304 9819077 140737471178288 18446744073709551615 7291917 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 72870 67373 731 1374 0 71491 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 291480

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 14605
/proc/meminfo: memFree=29399568/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=292860 CPUtime=222.29
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 2405469 0 0 0 21897 332 0 0 25 0 1 0 132964897 299888640 67833 4089446400 4194304 9819077 140737471178288 18446744073709551615 7292280 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 73215 67833 731 1374 0 71836 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 292860

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 14607
/proc/meminfo: memFree=29328960/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=295960 CPUtime=282.29
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 3165416 0 0 0 27796 433 0 0 25 0 1 0 132964897 303063040 68445 4089446400 4194304 9819077 140737471178288 18446744073709551615 7291707 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 73990 68445 731 1374 0 72611 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 295960

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14608
/proc/meminfo: memFree=29260604/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=295828 CPUtime=342.3
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 4779956 0 0 0 33589 641 0 0 25 0 1 0 132964897 302927872 68450 4089446400 4194304 9819077 140737471178288 18446744073709551615 6567017 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 73957 68450 731 1374 0 72578 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 295828

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14609
/proc/meminfo: memFree=29196068/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=299024 CPUtime=402.3
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 5855103 0 0 0 39463 767 0 0 25 0 1 0 132964897 306200576 69434 4089446400 4194304 9819077 140737471178288 18446744073709551615 6656758 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 74756 69434 731 1374 0 73377 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 299024

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14611
/proc/meminfo: memFree=29131312/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=299316 CPUtime=462.3
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 7054668 0 0 0 45315 915 0 0 25 0 1 0 132964897 306499584 69361 4089446400 4194304 9819077 140737471178288 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14598/statm: 74829 69361 731 1374 0 73450 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 299316

[startup+522.301 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 14662
/proc/meminfo: memFree=30887748/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=298996 CPUtime=522.31
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 7588567 0 0 0 51244 987 0 0 25 0 1 0 132964897 306171904 69324 4089446400 4194304 9819077 140737471178288 18446744073709551615 6628631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 74749 69324 731 1374 0 73370 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 298996

[startup+582.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14673
/proc/meminfo: memFree=30860400/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=301304 CPUtime=582.3
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 8616951 0 0 0 57120 1110 0 0 25 0 1 0 132964897 308535296 69900 4089446400 4194304 9819077 140737471178288 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 75326 69900 731 1374 0 73947 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 301304

[startup+642.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14674
/proc/meminfo: memFree=30841336/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=301260 CPUtime=642.31
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 9623280 0 0 0 62991 1240 0 0 25 0 1 0 132964897 308490240 69901 4089446400 4194304 9819077 140737471178288 18446744073709551615 6690546 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 75315 69915 727 1374 0 73936 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 301260

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 14683
/proc/meminfo: memFree=30704088/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=332452 CPUtime=1002.31
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 18068372 0 0 0 97922 2309 0 0 25 0 1 0 132964897 340430848 77609 4089446400 4194304 9819077 140737471178288 18446744073709551615 6367299 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 83113 77609 743 1374 0 81734 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 332452

[startup+1062.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 14685
/proc/meminfo: memFree=30667844/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=347468 CPUtime=1062.32
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 20453704 0 0 0 103631 2601 0 0 25 0 1 0 132964897 355807232 82150 4089446400 4194304 9819077 140737471178288 18446744073709551615 7226310 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 86867 82151 743 1374 0 85488 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 347468

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 14687
/proc/meminfo: memFree=30626520/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=368772 CPUtime=1122.32
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 22900540 0 0 0 109326 2906 0 0 25 0 1 0 132964897 377622528 87133 4089446400 4194304 9819077 140737471178288 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 92193 87133 743 1374 0 90814 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 368772

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 14689
/proc/meminfo: memFree=30600068/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=386396 CPUtime=1182.32
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 25338745 0 0 0 115024 3208 0 0 25 0 1 0 132964897 395669504 92075 4089446400 4194304 9819077 140737471178288 18446744073709551615 7226217 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 96599 92075 743 1374 0 95220 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 386396

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14690
/proc/meminfo: memFree=30561220/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=410252 CPUtime=1242.32
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 27704040 0 0 0 120719 3513 0 0 25 0 1 0 132964897 420098048 97152 4089446400 4194304 9819077 140737471178288 18446744073709551615 7290948 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 102563 97152 743 1374 0 101184 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 410252

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14691
/proc/meminfo: memFree=30531164/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=433484 CPUtime=1302.32
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 28838043 0 0 0 126577 3655 0 0 25 0 1 0 132964897 443887616 100189 4089446400 4194304 9819077 140737471178288 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 108371 100189 743 1374 0 106992 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 433484

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14693
/proc/meminfo: memFree=30497032/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=450368 CPUtime=1362.32
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 30609297 0 0 0 132362 3870 0 0 25 0 1 0 132964897 461176832 104311 4089446400 4194304 9819077 140737471178288 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 112592 104311 743 1374 0 111213 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 450368

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14695
/proc/meminfo: memFree=30473704/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=445732 CPUtime=1422.33
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 31731390 0 0 0 138218 4015 0 0 25 0 1 0 132964897 456429568 105848 4089446400 4194304 9819077 140737471178288 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 111433 105848 743 1374 0 110054 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 445732

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14697
/proc/meminfo: memFree=30453588/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=447604 CPUtime=1482.32
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 32931756 0 0 0 144067 4165 0 0 25 0 1 0 132964897 458346496 106919 4089446400 4194304 9819077 140737471178288 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 111901 106929 743 1374 0 110522 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 447604

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 14698
/proc/meminfo: memFree=30433468/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=456980 CPUtime=1542.33
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 34284594 0 0 0 149901 4332 0 0 25 0 1 0 132964897 467947520 108668 4089446400 4194304 9819077 140737471178288 18446744073709551615 6519585 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 114245 108668 743 1374 0 112866 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 456980

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 14699
/proc/meminfo: memFree=30411864/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=465420 CPUtime=1602.33
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 35785774 0 0 0 155718 4515 0 0 25 0 1 0 132964897 476590080 110858 4089446400 4194304 9819077 140737471178288 18446744073709551615 7311701 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 116355 110858 743 1374 0 114976 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 465420

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14701
/proc/meminfo: memFree=30396092/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=469544 CPUtime=1662.33
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 36992953 0 0 0 161566 4667 0 0 25 0 1 0 132964897 480813056 111936 4089446400 4194304 9819077 140737471178288 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 117386 111936 743 1374 0 116007 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 469544

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14703
/proc/meminfo: memFree=30377460/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=478840 CPUtime=1722.33
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 38563648 0 0 0 167367 4866 0 0 25 0 1 0 132964897 490332160 114205 4089446400 4194304 9819077 140737471178288 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 119710 114205 743 1374 0 118331 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 478840

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14705
/proc/meminfo: memFree=30346548/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=491556 CPUtime=1782.33
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 40147465 0 0 0 173170 5063 0 0 25 0 1 0 132964897 503353344 117250 4089446400 4194304 9819077 140737471178288 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 122889 117250 743 1374 0 121510 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 491556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14705
/proc/meminfo: memFree=30337980/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=493188 CPUtime=1800.04
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 40640721 0 0 0 174878 5126 0 0 25 0 1 0 132964897 505024512 117825 4089446400 4194304 9819077 140737471178288 18446744073709551615 5507281 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14598/statm: 123297 117825 743 1374 0 121918 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 493188

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.02 2.02 2.00 3/183 14705
/proc/meminfo: memFree=30337980/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=326332 CPUtime=1800.23
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 40641394 0 0 0 174896 5127 0 0 25 0 1 0 132964897 334163968 76333 4089446400 4194304 9819077 140737471178288 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14598/statm: 81583 76333 746 1374 0 80204 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 326332

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14705
/proc/meminfo: memFree=30337980/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=312308 CPUtime=1800.43
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 40641394 0 0 0 174916 5127 0 0 25 0 1 0 132964897 319803392 72841 4089446400 4194304 9819077 140737471178288 18446744073709551615 6180577 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14598/statm: 78077 72841 746 1374 0 76698 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 312308

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14705
/proc/meminfo: memFree=30337980/32951124 swapFree=67111528/67111528
[pid=14598] ppid=14596 vsize=97928 CPUtime=1800.53
/proc/14598/stat : 14598 (pbscip.linux.x8) R 14596 14598 13949 0 -1 4202496 40641394 0 0 0 174925 5128 0 0 25 0 1 0 132964897 100278272 23186 4089446400 4194304 9819077 140737471178288 18446744073709551615 6180029 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14598/statm: 24482 23186 746 1374 0 23103 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 97928

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.55
CPU user time (s): 1749.27
CPU system time (s): 51.2892
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 506484

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

runsolver used 2.94155 second user time and 6.89095 second system time

The end

Launcher Data 

Begin job on node132 at 2010-06-30 18:51:27
IDJOB=2693151
IDBENCH=79077
IDSOLVER=1205
FILE ID=node132/2693151-1277916687
PBS_JOBID= 11197296
Free space on /tmp= 74132 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9010_6-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693151-1277916687/watcher-2693151-1277916687 -o /tmp/evaluation-result-2693151-1277916687/solver-2693151-1277916687 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693151-1277916687.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 5d7aea7a0e3c8d0b9f22ec2921124ff8
RANDOM SEED=931400752

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.810
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.810
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.810
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.810
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:      29912704 kB
Buffers:        198964 kB
Cached:        1224208 kB
SwapCached:          0 kB
Active:        2016848 kB
Inactive:       874684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29912704 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7832 kB
Writeback:           0 kB
AnonPages:     1467844 kB
Mapped:          17788 kB
Slab:            82292 kB
PageTables:       7884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1617696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74128 MiB
End job on node132 at 2010-06-30 19:21:30