Trace number 2693142

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.41 1800.36

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
MD5SUM21194a5c96fb00b1cb0d9bbfc15b0e5d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.05899
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3968
Total number of constraints13430
Number of soft constraints8969
Number of constraints which are clauses13178
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 452114
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 452113
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 187
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2693142-1277916586.wbo>
0.09/0.13	c original problem has 21906 variables (12937 bin, 0 int, 0 impl, 8969 cont) and 22400 constraints
0.09/0.13	c problem read
0.09/0.13	c presolving settings loaded
0.29/0.40	c presolving:
0.39/0.45	c (round 1) 199 del vars, 608 del conss, 122 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36737 impls, 0 clqs
0.39/0.48	c (round 2) 641 del vars, 1725 del conss, 208 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36801 impls, 0 clqs
0.49/0.52	c (round 3) 1510 del vars, 2668 del conss, 248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36859 impls, 0 clqs
0.49/0.54	c (round 4) 2340 del vars, 3150 del conss, 264 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36879 impls, 0 clqs
0.49/0.56	c (round 5) 2769 del vars, 3349 del conss, 267 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36883 impls, 0 clqs
0.49/0.57	c (round 6) 2953 del vars, 3389 del conss, 267 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36883 impls, 0 clqs
0.49/0.59	c (round 7) 2992 del vars, 3393 del conss, 7994 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36883 impls, 0 clqs
0.59/0.66	c (round 8) 2996 del vars, 3393 del conss, 7994 chg bounds, 0 chg sides, 0 chg coeffs, 3880 upgd conss, 36883 impls, 0 clqs
2.29/2.33	c    (2.1s) probing: 1000/11183 (8.9%) - 0 fixings, 0 aggregations, 3645 implications, 0 bound changes
3.59/3.63	c    (3.4s) probing: 2000/11183 (17.9%) - 0 fixings, 0 aggregations, 4114 implications, 0 bound changes
3.59/3.63	c    (3.4s) probing: 2001/11183 (17.9%) - 0 fixings, 0 aggregations, 4114 implications, 0 bound changes
3.59/3.63	c    (3.4s) probing aborted: 2000/2000 successive useless probings
3.59/3.63	c presolving (9 rounds):
3.59/3.63	c  2996 deleted vars, 3393 deleted constraints, 7994 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.59/3.63	c  48591 implications, 0 cliques
3.59/3.63	c presolved problem has 18910 variables (11183 bin, 0 int, 0 impl, 7727 cont) and 19007 constraints
3.59/3.63	c    7727 constraints of type <indicator>
3.59/3.63	c     327 constraints of type <varbound>
3.59/3.63	c      78 constraints of type <knapsack>
3.59/3.63	c    7400 constraints of type <linear>
3.59/3.63	c    3475 constraints of type <logicor>
3.59/3.63	c transformed objective value is always integral (scale: 1)
3.59/3.63	c Presolving Time: 3.36
3.59/3.63	c - non default parameters ----------------------------------------------------------------------
3.59/3.63	c # SCIP version 1.2.1.2
3.59/3.63	c 
3.59/3.63	c # frequency for displaying node information lines
3.59/3.63	c # [type: int, range: [-1,2147483647], default: 100]
3.59/3.63	c display/freq = 10000
3.59/3.63	c 
3.59/3.63	c # maximal time in seconds to run
3.59/3.63	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.63	c limits/time = 1799.88
3.59/3.63	c 
3.59/3.63	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.59/3.63	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.63	c limits/memory = 3420
3.59/3.63	c 
3.59/3.63	c # should presolving try to simplify inequalities
3.59/3.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.63	c constraints/linear/simplifyinequalities = TRUE
3.59/3.63	c 
3.59/3.63	c # should presolving try to simplify knapsacks
3.59/3.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.63	c constraints/knapsack/simplifyinequalities = TRUE
3.59/3.63	c 
3.59/3.63	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.59/3.63	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.63	c separating/rapidlearning/freq = 0
3.59/3.63	c 
3.59/3.63	c -----------------------------------------------------------------------------------------------
3.59/3.63	c start solving
3.59/3.63	c 
3.59/3.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.59/3.69	c   3.5s|     1 |     0 |     0 |     - |  74M|   0 |   0 |  18k|  19k|  18k|3553 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.69/3.72	c   3.5s|     1 |     0 |   623 |     - |  74M|   0 |  12 |  18k|  19k|  18k|3804 | 251 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.99/4.07	c   3.8s|     1 |     0 |   899 |     - |  75M|   0 |  65 |  18k|  19k|  18k|4011 | 458 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.40/4.46	c   4.2s|     1 |     0 |  1156 |     - |  75M|   0 | 120 |  18k|  19k|  18k|4240 | 687 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.89/4.91	c   4.7s|     1 |     0 |  1330 |     - |  75M|   0 |   2 |  18k|  19k|  18k|4488 | 935 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.29/5.31	c   5.1s|     1 |     0 |  1598 |     - |  75M|   0 |  15 |  18k|  19k|  18k|4688 |1135 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.69/5.75	c   5.5s|     1 |     0 |  1771 |     - |  76M|   0 | 396 |  18k|  19k|  18k|4779 |1226 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.09/6.13	c   5.9s|     1 |     0 |  2076 |     - |  76M|   0 | 306 |  18k|  19k|  18k|4991 |1438 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.50/6.52	c   6.3s|     1 |     0 |  2213 |     - |  76M|   0 | 135 |  18k|  19k|  18k|5139 |1586 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.89/6.92	c   6.7s|     1 |     0 |  2457 |     - |  76M|   0 | 312 |  18k|  19k|  18k|5179 |1626 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.49/7.55	c   7.2s|     1 |     2 |  2457 |     - |  77M|   0 | 312 |  18k|  19k|  18k|5179 |1626 |   0 |  27 | 0.000000e+00 |      --      |    Inf 
272.71/272.80	c   265s| 10000 | 10001 |177558 |  17.5 | 145M| 145 |   3 |  18k|  19k|  18k|5194 |  21k|  53 |7203 | 0.000000e+00 |      --      |    Inf 
445.90/445.92	c   431s| 20000 | 20001 |305449 |  15.2 | 214M| 159 |  58 |  18k|  19k|  18k|5098 |  52k|  90 |9741 | 0.000000e+00 |      --      |    Inf 
606.91/606.96	c   584s| 30000 | 30001 |415674 |  13.8 | 282M| 159 |   5 |  18k|  19k|  18k|5103 |  78k|  90 |  11k| 0.000000e+00 |      --      |    Inf 
763.01/763.06	c   733s| 40000 | 40001 |528028 |  13.1 | 350M| 159 |   3 |  18k|  19k|  18k|5247 | 104k| 153 |  13k| 0.000000e+00 |      --      |    Inf 
908.02/908.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
908.02/908.06	c   871s| 50000 | 50001 |637239 |  12.7 | 418M| 159 |  19 |  18k|  19k|  18k|5088 | 130k| 153 |  13k| 0.000000e+00 |      --      |    Inf 
1050.82/1050.80	c  1007s| 60000 | 60001 |743561 |  12.4 | 486M| 159 |  10 |  18k|  19k|  18k|5261 | 156k| 153 |  14k| 0.000000e+00 |      --      |    Inf 
1199.83/1199.86	c  1152s| 70000 | 70001 |852102 |  12.1 | 554M| 159 |   0 |  18k|  19k|  18k|5309 | 187k| 153 |  15k| 0.000000e+00 |      --      |    Inf 
1357.53/1357.54	c  1304s| 80000 | 80001 |961508 |  12.0 | 623M| 159 |   1 |  18k|  19k|  18k|5179 | 218k| 153 |  16k| 0.000000e+00 |      --      |    Inf 
1514.33/1514.39	c  1455s| 90000 | 90001 |  1071k|  11.9 | 691M| 159 |   0 |  18k|  19k|  18k|5270 | 248k| 153 |  17k| 0.000000e+00 |      --      |    Inf 
1669.75/1669.72	c  1606s|100000 |100001 |  1169k|  11.7 | 759M| 159 |   1 |  18k|  19k|  18k|5105 | 278k| 153 |  19k| 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1732.57
1800.04/1800.01	c Solving Nodes      : 108083
1800.04/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite
1800.04/1800.01	s UNKNOWN
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1732.57
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693142-1277916586.wbo
1800.04/1800.01	c   Variables        : 21906 (12937 binary, 0 integer, 0 implicit integer, 8969 continuous)
1800.04/1800.01	c   Constraints      : 22400 initial, 22400 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693142-1277916586.wbo
1800.04/1800.01	c   Variables        : 18910 (11183 binary, 0 integer, 0 implicit integer, 7727 continuous)
1800.04/1800.01	c   Constraints      : 19007 initial, 19151 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.01       2621          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       2.91          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.04          0          0          0          0          0       1242          0          0
1800.04/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.16        267        108          0       7994          0       2151          0          0
1800.04/1800.01	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     119798          0          0          0          0          0     183734
1800.04/1800.01	c   indicator        :       7727          0     389195      27931          0          0      88852          0          0          0
1800.04/1800.01	c   varbound         :        327          9     389195      27931          0          0       7893       2925          0          0
1800.04/1800.01	c   knapsack         :         78          9     389195      25204          0          0     102790         16          0          0
1800.04/1800.01	c   linear           :       7400          9     389195      25204          0          0      80381     299017          0          0
1800.04/1800.01	c   logicor          :       3475+         9     264145      16216          0          0     450843          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0      16216          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :     180.23       0.00       0.00     180.23       0.00
1800.04/1800.01	c   indicator        :      98.88       0.02      55.82      43.04       0.00
1800.04/1800.01	c   varbound         :       4.30       0.00       3.20       1.10       0.00
1800.04/1800.01	c   knapsack         :       1.80       0.00       1.63       0.17       0.00
1800.04/1800.01	c   linear           :      97.72       0.02      48.78      48.92       0.00
1800.04/1800.01	c   logicor          :       5.84       0.01       2.54       3.29       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :      11.74     119291          0       7882
1800.04/1800.01	c   rootredcost      :       0.24          0          0          0
1800.04/1800.01	c   pseudoobj        :      78.87     383818          0          0
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.01	c   infeasible LP    :       0.37        190        190        195        4.6          3        2.0          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.01	c   applied globally :          -          -          -        198        4.6          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          7          -          -        110          -    (maximal pool size: 552)
1800.04/1800.01	c   redcost          :      77.92     119338          0          0          0          0
1800.04/1800.01	c   impliedbounds    :       0.01          8          0          0        128          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.18          8          0          0        981          0
1800.04/1800.01	c   strongcg         :       0.13          8          0          0         18          0
1800.04/1800.01	c   cmir             :       0.47          8          0          0         15          0
1800.04/1800.01	c   flowcover        :       1.86          8          0          0        119          0
1800.04/1800.01	c   clique           :       0.02          8          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :     180.07      91867          0          0          0          0     183734
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :      34.14      16216          0          0          0          0      32432
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.00          -          0
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.17          0          0
1800.04/1800.01	c   crossover        :       0.04          0          0
1800.04/1800.01	c   fracdiving       :      34.95        893          0
1800.04/1800.01	c   veclendiving     :      17.32        893          0
1800.04/1800.01	c   linesearchdiving :      17.40        894          0
1800.04/1800.01	c   coefdiving       :      53.56        894          0
1800.04/1800.01	c   trivial          :       0.20          2          0
1800.04/1800.01	c   simplerounding   :       0.24      85246          0
1800.04/1800.01	c   zirounding       :       0.49       1000          0
1800.04/1800.01	c   rounding         :       4.41       4080          0
1800.04/1800.01	c   shifting         :      10.20       1314          0
1800.04/1800.01	c   intshifting      :       0.05         34          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   feaspump         :      38.09        354          0
1800.04/1800.01	c   pscostdiving     :      29.38        894          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   objpscostdiving  :       2.78         36          0
1800.04/1800.01	c   rootsoldiving    :       7.76         24          0
1800.04/1800.01	c   guideddiving     :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.11          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.12          0          0
1800.04/1800.01	c   trysol           :      20.40       3214          0
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.01          0          0       0.00       0.00
1800.04/1800.01	c   dual LP          :     637.95      96900    1159029      11.96    1816.80
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:      89.73      14448      92112       6.38    1026.55
1800.04/1800.01	c   strong branching :     178.54      20407     238642      11.69    1336.63
1800.04/1800.01	c     (at root node) :          -         27        906      33.56          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     108083
1800.04/1800.01	c   nodes (total)    :     108083
1800.04/1800.01	c   nodes left       :     108084
1800.04/1800.01	c   max depth        :        159
1800.04/1800.01	c   max depth (total):        159
1800.04/1800.01	c   backtracks       :       1431 (1.3%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.15
1800.04/1800.01	c   switching time   :      18.43
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :          0 (0 improvements)
1800.04/1800.01	c   Primal Bound     :          -
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :       2457
1800.34/1800.35	c Time complete: 1800.4.

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-2693142-1277916586/watcher-2693142-1277916586 -o /tmp/evaluation-result-2693142-1277916586/solver-2693142-1277916586 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693142-1277916586.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/182 14002
/proc/meminfo: memFree=31355180/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=11312 CPUtime=0
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 1760 0 0 0 0 0 0 0 25 0 1 0 132954229 11583488 1680 4089446400 4194304 9819077 140736284285024 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14002/statm: 2828 1685 392 1374 0 1449 0

[startup+0.054604 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 14002
/proc/meminfo: memFree=31355180/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=25244 CPUtime=0.05
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 5231 0 0 0 5 0 0 0 25 0 1 0 132954229 25849856 5151 4089446400 4194304 9819077 140736284285024 18446744073709551615 6180942 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14002/statm: 6311 5151 392 1374 0 4932 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25244

[startup+0.100587 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 14002
/proc/meminfo: memFree=31355180/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=36228 CPUtime=0.09
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 7990 0 0 0 9 0 0 0 25 0 1 0 132954229 37097472 7910 4089446400 4194304 9819077 140736284285024 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14002/statm: 9057 7910 392 1374 0 7678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36228

[startup+0.300556 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 14002
/proc/meminfo: memFree=31355180/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=90224 CPUtime=0.29
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 21091 0 0 0 27 2 0 0 25 0 1 0 132954229 92389376 20621 4089446400 4194304 9819077 140736284285024 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 22556 20621 469 1374 0 21177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90224

[startup+0.700478 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 14002
/proc/meminfo: memFree=31355180/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=97804 CPUtime=0.69
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 26992 0 0 0 64 5 0 0 25 0 1 0 132954229 100151296 22702 4089446400 4194304 9819077 140736284285024 18446744073709551615 5954245 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 24451 22702 563 1374 0 23072 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97804

[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14003
/proc/meminfo: memFree=31263288/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=98880 CPUtime=1.49
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 27257 0 0 0 143 6 0 0 25 0 1 0 132954229 101253120 22937 4089446400 4194304 9819077 140736284285024 18446744073709551615 5500783 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 24720 22937 533 1374 0 23341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98880

[startup+3.10104 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14004
/proc/meminfo: memFree=31263816/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=99908 CPUtime=3.09
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 27547 0 0 0 301 8 0 0 25 0 1 0 132954229 102305792 23227 4089446400 4194304 9819077 140736284285024 18446744073709551615 5496942 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 24977 23227 538 1374 0 23598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99908

[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14004
/proc/meminfo: memFree=31241744/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=124376 CPUtime=6.29
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 37971 0 0 0 617 12 0 0 25 0 1 0 132954229 127361024 28306 4089446400 4194304 9819077 140736284285024 18446744073709551615 8678999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 31094 28306 707 1374 0 29715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124376

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14004
/proc/meminfo: memFree=31228124/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=128132 CPUtime=12.69
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 154346 0 0 0 1242 27 0 0 25 0 1 0 132954229 131207168 30054 4089446400 4194304 9819077 140736284285024 18446744073709551615 7233896 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 32033 30054 732 1374 0 30654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 128132

[startup+25.501 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 14004
/proc/meminfo: memFree=31216904/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=136352 CPUtime=25.49
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 340717 0 0 0 2494 55 0 0 25 0 1 0 132954229 139624448 31042 4089446400 4194304 9819077 140736284285024 18446744073709551615 7261085 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 34088 31042 732 1374 0 32709 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136352

[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14004
/proc/meminfo: memFree=31198280/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=139060 CPUtime=51.09
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 845038 0 0 0 4990 119 0 0 25 0 1 0 132954229 142397440 31435 4089446400 4194304 9819077 140736284285024 18446744073709551615 6713622 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 34765 31435 752 1374 0 33386 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 139060

[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 14006
/proc/meminfo: memFree=31157532/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=140412 CPUtime=102.3
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 1662818 0 0 0 9993 237 0 0 25 0 1 0 132954229 143781888 32796 4089446400 4194304 9819077 140736284285024 18446744073709551615 7221877 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 35103 32797 752 1374 0 33724 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 140412

[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14008
/proc/meminfo: memFree=31096748/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=160560 CPUtime=162.3
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 2364303 0 0 0 15878 352 0 0 25 0 1 0 132954229 164413440 37231 4089446400 4194304 9819077 140736284285024 18446744073709551615 7289440 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 40140 37233 752 1374 0 38761 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 160560

[startup+222.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 14009
/proc/meminfo: memFree=31036828/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=179420 CPUtime=222.3
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 3588998 0 0 0 21708 522 0 0 25 0 1 0 132954229 183726080 41821 4089446400 4194304 9819077 140736284285024 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 44855 41838 752 1374 0 43476 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 179420

[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 14011
/proc/meminfo: memFree=30968980/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=203576 CPUtime=282.29
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 5493862 0 0 0 27460 769 0 0 25 0 1 0 132954229 208461824 48203 4089446400 4194304 9819077 140736284285024 18446744073709551615 7233661 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 50894 48203 752 1374 0 49515 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 203576

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 14012
/proc/meminfo: memFree=30901744/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=229068 CPUtime=342.3
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 6910014 0 0 0 33269 961 0 0 25 0 1 0 132954229 234565632 54240 4089446400 4194304 9819077 140736284285024 18446744073709551615 6361724 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 57267 54240 752 1374 0 55888 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 229068

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14014
/proc/meminfo: memFree=30833016/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=255972 CPUtime=402.3
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 9012103 0 0 0 38991 1239 0 0 25 0 1 0 132954229 262115328 61018 4089446400 4194304 9819077 140736284285024 18446744073709551615 6360821 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 63993 61018 752 1374 0 62614 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 255972

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14016
/proc/meminfo: memFree=30766400/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=277320 CPUtime=462.31
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 11349835 0 0 0 44691 1540 0 0 25 0 1 0 132954229 283975680 66335 4089446400 4194304 9819077 140736284285024 18446744073709551615 8678903 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 69330 66335 752 1374 0 67951 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 277320

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14017
/proc/meminfo: memFree=30699780/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=303592 CPUtime=522.31
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 13697392 0 0 0 50390 1841 0 0 25 0 1 0 132954229 310878208 72938 4089446400 4194304 9819077 140736284285024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 75898 72938 752 1374 0 74519 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 303592

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14019
/proc/meminfo: memFree=30634788/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=327816 CPUtime=582.31
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 16001945 0 0 0 56092 2139 0 0 25 0 1 0 132954229 335683584 78981 4089446400 4194304 9819077 140736284285024 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 81954 78981 752 1374 0 80575 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 327816

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14020
/proc/meminfo: memFree=30563076/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=364220 CPUtime=642.31
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 18459597 0 0 0 61784 2447 0 0 25 0 1 0 132954229 372961280 86941 4089446400 4194304 9819077 140736284285024 18446744073709551615 7290864 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 91055 86941 752 1374 0 89676 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 364220

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14037
/proc/meminfo: memFree=30213252/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=495212 CPUtime=942.31
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 28940053 0 0 0 90414 3817 0 0 25 0 1 0 132954229 507097088 121004 4089446400 4194304 9819077 140736284285024 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 123803 121004 752 1374 0 122424 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 495212

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14039
/proc/meminfo: memFree=30140436/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=524508 CPUtime=1002.32
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 31110954 0 0 0 96136 4096 0 0 25 0 1 0 132954229 537096192 128236 4089446400 4194304 9819077 140736284285024 18446744073709551615 6670063 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 131127 128236 752 1374 0 129748 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 524508

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14041
/proc/meminfo: memFree=30071840/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=553344 CPUtime=1062.32
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 33200747 0 0 0 101859 4373 0 0 25 0 1 0 132954229 566624256 135678 4089446400 4194304 9819077 140736284285024 18446744073709551615 6361730 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 138336 135678 752 1374 0 136957 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 553344

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14042
/proc/meminfo: memFree=29998652/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=581932 CPUtime=1122.32
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 34291052 0 0 0 107698 4534 0 0 25 0 1 0 132954229 595898368 142623 4089446400 4194304 9819077 140736284285024 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 145483 142623 752 1374 0 144104 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 581932

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14044
/proc/meminfo: memFree=29926452/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=613668 CPUtime=1182.33
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 35483280 0 0 0 113529 4704 0 0 25 0 1 0 132954229 628396032 150128 4089446400 4194304 9819077 140736284285024 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 153417 150128 752 1374 0 152038 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 613668

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14045
/proc/meminfo: memFree=29860208/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=634744 CPUtime=1242.33
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 37075924 0 0 0 119320 4913 0 0 25 0 1 0 132954229 649977856 155427 4089446400 4194304 9819077 140736284285024 18446744073709551615 6566713 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 158686 155427 752 1374 0 157307 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 634744

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14047
/proc/meminfo: memFree=29785780/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=661480 CPUtime=1302.33
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 38625065 0 0 0 125111 5122 0 0 25 0 1 0 132954229 677355520 162126 4089446400 4194304 9819077 140736284285024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 165370 162126 752 1374 0 163991 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 661480

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 14049
/proc/meminfo: memFree=29715828/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=690852 CPUtime=1362.33
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 40357195 0 0 0 130884 5349 0 0 25 0 1 0 132954229 707432448 168295 4089446400 4194304 9819077 140736284285024 18446744073709551615 6567012 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 172713 168295 752 1374 0 171334 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 690852

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14050
/proc/meminfo: memFree=29641640/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=712024 CPUtime=1422.33
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 42313458 0 0 0 136621 5612 0 0 25 0 1 0 132954229 729112576 174713 4089446400 4194304 9819077 140736284285024 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 178006 174723 752 1374 0 176627 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 712024

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14052
/proc/meminfo: memFree=29562376/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=739616 CPUtime=1482.34
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 44097558 0 0 0 142384 5850 0 0 25 0 1 0 132954229 757366784 181781 4089446400 4194304 9819077 140736284285024 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 184904 181781 752 1374 0 183525 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 739616

[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14053
/proc/meminfo: memFree=29492900/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=765564 CPUtime=1542.34
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 45019590 0 0 0 148245 5989 0 0 25 0 1 0 132954229 783937536 188227 4089446400 4194304 9819077 140736284285024 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 191391 188227 752 1374 0 190012 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 765564

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 14083
/proc/meminfo: memFree=30581300/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=794020 CPUtime=1602.34
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 46186641 0 0 0 154078 6156 0 0 25 0 1 0 132954229 813076480 195287 4089446400 4194304 9819077 140736284285024 18446744073709551615 4697650 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 198505 195287 752 1374 0 197126 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 794020

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14085
/proc/meminfo: memFree=30543584/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=819096 CPUtime=1662.34
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 47234053 0 0 0 159920 6314 0 0 25 0 1 0 132954229 838754304 201513 4089446400 4194304 9819077 140736284285024 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 204774 201529 752 1374 0 203395 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 819096

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 14086
/proc/meminfo: memFree=30501396/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=844676 CPUtime=1722.34
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 48411274 0 0 0 165752 6482 0 0 25 0 1 0 132954229 864948224 207977 4089446400 4194304 9819077 140736284285024 18446744073709551615 6671134 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 211169 207977 752 1374 0 209790 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 844676

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14088
/proc/meminfo: memFree=30460456/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=869940 CPUtime=1782.34
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 49785292 0 0 0 171564 6670 0 0 25 0 1 0 132954229 890818560 214314 4089446400 4194304 9819077 140736284285024 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 217485 214314 752 1374 0 216106 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 869940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14088
/proc/meminfo: memFree=30449284/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=876700 CPUtime=1800.04
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 50282716 0 0 0 173268 6736 0 0 25 0 1 0 132954229 897740800 215982 4089446400 4194304 9819077 140736284285024 18446744073709551615 6566461 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14002/statm: 219175 215982 752 1374 0 217796 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 876700

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.01 2.02 2.00 3/183 14088
/proc/meminfo: memFree=30449284/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=347636 CPUtime=1800.24
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 50282986 0 0 0 173285 6739 0 0 25 0 1 0 132954229 355979264 83763 4089446400 4194304 9819077 140736284285024 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14002/statm: 86909 83763 755 1374 0 85530 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 347636

[startup+1800.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14088
/proc/meminfo: memFree=30449284/32951124 swapFree=67111528/67111528
[pid=14002] ppid=14000 vsize=259672 CPUtime=1800.34
/proc/14002/stat : 14002 (pbscip.linux.x8) R 14000 14002 13694 0 -1 4202496 50282986 0 0 0 173295 6739 0 0 25 0 1 0 132954229 265904128 61790 4089446400 4194304 9819077 140736284285024 18446744073709551615 6179979 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14002/statm: 64918 61790 755 1374 0 63539 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 259672

Child status: 0
Real time (s): 1800.36
CPU time (s): 1800.41
CPU user time (s): 1733
CPU system time (s): 67.4087
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 882128

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

runsolver used 2.76358 second user time and 7.06893 second system time

The end

Launcher Data 

Begin job on node133 at 2010-06-30 18:49:46
IDJOB=2693142
IDBENCH=79074
IDSOLVER=1205
FILE ID=node133/2693142-1277916586
PBS_JOBID= 11197337
Free space on /tmp= 74204 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/j30/normalized-j3046_4-unsat--soft-33-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-2693142-1277916586/watcher-2693142-1277916586 -o /tmp/evaluation-result-2693142-1277916586/solver-2693142-1277916586 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693142-1277916586.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 21194a5c96fb00b1cb0d9bbfc15b0e5d
RANDOM SEED=1500176718

node133.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.821
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.821
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.821
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.821
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	: 7296.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
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:      31355832 kB
Buffers:        197020 kB
Cached:         987536 kB
SwapCached:          0 kB
Active:         803916 kB
Inactive:       649516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31355832 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6636 kB
Writeback:           0 kB
AnonPages:      268896 kB
Mapped:          17640 kB
Slab:            79488 kB
PageTables:       5340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   421260 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= 74200 MiB
End job on node133 at 2010-06-30 19:19:48