Trace number 2693169

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.63 1800.57

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9048_1-unsat--soft-66-100-0.wbo
MD5SUM6fbf16c6c6628a8e757beb1e2cb2761c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.151976
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables15106
Total number of constraints51743
Number of soft constraints17692
Number of constraints which are clauses51415
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints328
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 882854
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 882853
Biggest number in a constraint 105
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 658
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2693169-1277916966.wbo>
0.39/0.44	c original problem has 50490 variables (32798 bin, 0 int, 0 impl, 17692 cont) and 69436 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
1.29/1.38	c presolving:
1.79/1.85	c (round 1) 2260 del vars, 7386 del conss, 1558 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 778266 impls, 0 clqs
2.19/2.30	c (round 2) 6299 del vars, 20111 del conss, 3290 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 797861 impls, 0 clqs
2.69/2.78	c (round 3) 13427 del vars, 31364 del conss, 4425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 807667 impls, 0 clqs
2.99/3.08	c (round 4) 20614 del vars, 38102 del conss, 5113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 820827 impls, 0 clqs
3.20/3.27	c (round 5) 25485 del vars, 42460 del conss, 5589 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 824637 impls, 0 clqs
3.29/3.39	c (round 6) 28554 del vars, 45231 del conss, 5910 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 827057 impls, 0 clqs
3.39/3.46	c (round 7) 30489 del vars, 46927 del conss, 6056 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828215 impls, 0 clqs
3.49/3.51	c (round 8) 31708 del vars, 47827 del conss, 6133 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828648 impls, 0 clqs
3.49/3.54	c (round 9) 32356 del vars, 48198 del conss, 6154 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828702 impls, 0 clqs
3.49/3.56	c (round 10) 32635 del vars, 48342 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828724 impls, 0 clqs
3.49/3.57	c (round 11) 32756 del vars, 48393 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.49/3.59	c (round 12) 32804 del vars, 48422 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.59/3.60	c (round 13) 32827 del vars, 48440 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.59/3.61	c (round 14) 32842 del vars, 48448 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.59/3.65	c (round 15) 32848 del vars, 48450 del conss, 12191 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.69/3.79	c (round 16) 32850 del vars, 48450 del conss, 12191 chg bounds, 2 chg sides, 3 chg coeffs, 9723 upgd conss, 828732 impls, 0 clqs
3.79/3.85	c (round 17) 32850 del vars, 48451 del conss, 12191 chg bounds, 12 chg sides, 32 chg coeffs, 9723 upgd conss, 829533 impls, 0 clqs
3.79/3.88	c (round 18) 32850 del vars, 48451 del conss, 12191 chg bounds, 19 chg sides, 43 chg coeffs, 9723 upgd conss, 829533 impls, 0 clqs
7.89/7.94	c    (7.3s) probing: 1000/11608 (8.6%) - 0 fixings, 0 aggregations, 62838 implications, 0 bound changes
10.09/10.19	c    (9.6s) probing: 2000/11608 (17.2%) - 0 fixings, 0 aggregations, 70287 implications, 0 bound changes
10.09/10.19	c    (9.6s) probing: 2001/11608 (17.2%) - 0 fixings, 0 aggregations, 70287 implications, 0 bound changes
10.09/10.19	c    (9.6s) probing aborted: 2000/2000 successive useless probings
10.09/10.20	c presolving (19 rounds):
10.09/10.20	c  32850 deleted vars, 48451 deleted constraints, 12191 tightened bounds, 0 added holes, 19 changed sides, 44 changed coefficients
10.09/10.20	c  1150807 implications, 0 cliques
10.09/10.20	c presolved problem has 17640 variables (11608 bin, 0 int, 0 impl, 6032 cont) and 20989 constraints
10.09/10.20	c    6032 constraints of type <indicator>
10.09/10.20	c     801 constraints of type <varbound>
10.09/10.20	c     220 constraints of type <knapsack>
10.09/10.20	c       3 constraints of type <setppc>
10.09/10.20	c    5231 constraints of type <linear>
10.09/10.20	c    8702 constraints of type <logicor>
10.09/10.20	c transformed objective value is always integral (scale: 1)
10.09/10.20	c Presolving Time: 9.43
10.09/10.20	c - non default parameters ----------------------------------------------------------------------
10.09/10.20	c # SCIP version 1.2.1.2
10.09/10.20	c 
10.09/10.20	c # frequency for displaying node information lines
10.09/10.20	c # [type: int, range: [-1,2147483647], default: 100]
10.09/10.20	c display/freq = 10000
10.09/10.20	c 
10.09/10.20	c # maximal time in seconds to run
10.09/10.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.09/10.20	c limits/time = 1799.56
10.09/10.20	c 
10.09/10.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.09/10.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.09/10.20	c limits/memory = 3420
10.09/10.20	c 
10.09/10.20	c # should presolving try to simplify inequalities
10.09/10.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.09/10.20	c constraints/linear/simplifyinequalities = TRUE
10.09/10.20	c 
10.09/10.20	c # should presolving try to simplify knapsacks
10.09/10.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.09/10.20	c constraints/knapsack/simplifyinequalities = TRUE
10.09/10.20	c 
10.09/10.20	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
10.09/10.20	c # [type: int, range: [-1,2147483647], default: -1]
10.09/10.20	c separating/rapidlearning/freq = 0
10.09/10.20	c 
10.09/10.20	c -----------------------------------------------------------------------------------------------
10.09/10.20	c start solving
10.20/10.20	c 
10.20/10.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.20/10.28	c   9.6s|     1 |     0 |     0 |     - | 169M|   0 |   0 |  17k|  20k|  17k|8925 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.32	c   9.7s|     1 |     0 |   694 |     - | 169M|   0 |   0 |  17k|  20k|  17k|9563 | 638 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.34	c   9.7s|     1 |     0 |   801 |     - | 169M|   0 |   0 |  17k|  20k|  17k|9647 | 722 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.36	c   9.7s|     1 |     0 |   810 |     - | 169M|   0 |   0 |  17k|  20k|  17k|9656 | 731 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.37	c   9.7s|     1 |     2 |   810 |     - | 169M|   0 |   0 |  17k|  20k|  17k|9656 | 731 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
188.40/188.46	c   182s| 10000 | 10001 | 19696 |   1.9 | 252M| 125 |   0 |  17k|  20k|  17k|  10k|7718 |   0 | 167 | 0.000000e+00 |      --      |    Inf 
351.10/351.14	c   342s| 20000 | 20001 | 24308 |   1.2 | 330M| 125 |   0 |  17k|  20k|  17k|  10k|8965 |   0 | 167 | 0.000000e+00 |      --      |    Inf 
511.31/511.33	c   498s| 30000 | 30001 | 29054 |   0.9 | 408M| 127 |   0 |  17k|  20k|  17k|  10k|  10k|   0 | 170 | 0.000000e+00 |      --      |    Inf 
671.61/671.66	c   654s| 40000 | 40001 | 32994 |   0.8 | 485M| 139 |   0 |  17k|  20k|  17k|  10k|  11k|   0 | 170 | 0.000000e+00 |      --      |    Inf 
828.42/828.41	c   807s| 50000 | 50001 | 36255 |   0.7 | 563M| 159 |   0 |  17k|  20k|  17k|  10k|  12k|   0 | 170 | 0.000000e+00 |      --      |    Inf 
985.63/985.65	c   959s| 60000 | 60001 | 40013 |   0.7 | 640M| 159 |   0 |  17k|  20k|  17k|  10k|  13k|   0 | 185 | 0.000000e+00 |      --      |    Inf 
1141.23/1141.22	c  1110s| 70000 | 70001 | 43934 |   0.6 | 717M| 159 |   0 |  17k|  20k|  17k|  10k|  14k|   0 | 191 | 0.000000e+00 |      --      |    Inf 
1292.44/1292.43	c  1256s| 80000 | 80001 | 46877 |   0.6 | 794M| 183 |   0 |  17k|  20k|  17k|  10k|  15k|   0 | 194 | 0.000000e+00 |      --      |    Inf 
1442.44/1442.41	c  1402s| 90000 | 90001 | 49483 |   0.5 | 871M| 183 |   0 |  17k|  20k|  17k|  10k|  16k|   0 | 199 | 0.000000e+00 |      --      |    Inf 
1595.25/1595.28	c  1550s|100000 |100001 | 52209 |   0.5 | 948M| 183 |   0 |  17k|  20k|  17k|  10k|  17k|   0 | 248 | 0.000000e+00 |      --      |    Inf 
1747.15/1747.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1747.15/1747.11	c  1697s|110000 |110001 | 55474 |   0.5 |1026M| 183 |   0 |  17k|  20k|  17k|  10k|  18k|   0 | 286 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.01	c 
1800.06/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.01	c Solving Time (sec) : 1748.13
1800.06/1800.01	c Solving Nodes      : 113460
1800.06/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.01	c Gap                : infinite
1800.06/1800.01	s UNKNOWN
1800.06/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.01	c Solving Time       :    1748.13
1800.06/1800.01	c Original Problem   :
1800.06/1800.01	c   Problem name     : HOME/instance-2693169-1277916966.wbo
1800.06/1800.01	c   Variables        : 50490 (32798 binary, 0 integer, 0 implicit integer, 17692 continuous)
1800.06/1800.01	c   Constraints      : 69436 initial, 69436 maximal
1800.06/1800.01	c Presolved Problem  :
1800.06/1800.01	c   Problem name     : t_HOME/instance-2693169-1277916966.wbo
1800.06/1800.01	c   Variables        : 17640 (11608 binary, 0 integer, 0 implicit integer, 6032 continuous)
1800.06/1800.01	c   Constraints      : 20989 initial, 20989 maximal
1800.06/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.01	c   trivial          :       0.02        218          0          0          0          0          0          0          0
1800.06/1800.01	c   dualfix          :       0.07      24700          0          0          0          0          0          0          0
1800.06/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   implics          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.01	c   probing          :       6.23          0          0          0          0          0          0          0          0
1800.06/1800.01	c   indicator        :       0.67          0          0          0          0          0      11660          0          0
1800.06/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   knapsack         :       0.04          0          0          0          0          0          0         17         41
1800.06/1800.01	c   setppc           :       0.00          0          0          0          0          0          1          0          0
1800.06/1800.01	c   linear           :       1.50       5958       1974          0      12191          0      36790          2          3
1800.06/1800.01	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.01	c   integral         :          0          0          0     117970          0          0          0          0          0        112
1800.06/1800.01	c   indicator        :       6032          0     516853     117914          0          0      57199          0          0          0
1800.06/1800.01	c   varbound         :        801          4     516853     117914          0          0      12082        744          0          0
1800.06/1800.01	c   knapsack         :        220          4     516853     117608          0          0          0          0          0          0
1800.06/1800.01	c   setppc           :          3          4     350647      76048          0          0          1          0          0          0
1800.06/1800.01	c   linear           :       5231          4     516853     117608          0          0      33347      18247          0          0
1800.06/1800.01	c   logicor          :       8702          4     454072     113404          0          0     844369          0          0          0
1800.06/1800.01	c   countsols        :          0          0          0     113404          0          0          0          0          0          0
1800.06/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.01	c   integral         :       3.62       0.00       0.00       3.62       0.00
1800.06/1800.01	c   indicator        :     204.65       0.00      54.56     150.09       0.00
1800.06/1800.01	c   varbound         :      16.74       0.00       6.51      10.23       0.00
1800.06/1800.01	c   knapsack         :       6.11       0.00       4.66       1.45       0.00
1800.06/1800.01	c   setppc           :       0.14       0.00       0.09       0.05       0.00
1800.06/1800.01	c   linear           :     203.28       0.02      37.05     166.21       0.00
1800.06/1800.01	c   logicor          :      48.23       0.00       4.21      44.02       0.00
1800.06/1800.01	c   countsols        :       0.09       0.00       0.00       0.09       0.00
1800.06/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.01	c   vbounds          :      16.71      86114          0      11713
1800.06/1800.01	c   rootredcost      :       0.17          0          0          0
1800.06/1800.01	c   pseudoobj        :      86.23     505418          0          0
1800.06/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.06/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.01	c   redcost          :      71.23     117839          0          0          0          0
1800.06/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.01	c Pricers            :       Time      Calls       Vars
1800.06/1800.01	c   problem variables:       0.00          0          0
1800.06/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.01	c   relpscost        :       3.56         56          0          0          0          0        112
1800.06/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   inference        :     247.86     113404          0          0          0          0     226808
1800.06/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.01	c   LP solutions     :       0.00          -          0
1800.06/1800.01	c   pseudo solutions :       0.00          -          0
1800.06/1800.01	c   oneopt           :       0.10          0          0
1800.06/1800.01	c   crossover        :       0.07          0          0
1800.06/1800.01	c   guideddiving     :       0.00          0          0
1800.06/1800.01	c   intshifting      :       0.00          0          0
1800.06/1800.01	c   feaspump         :       0.00          0          0
1800.06/1800.01	c   veclendiving     :      11.36       1448          0
1800.06/1800.01	c   linesearchdiving :      11.62       1448          0
1800.06/1800.01	c   coefdiving       :      11.84       1448          0
1800.06/1800.01	c   pscostdiving     :      11.53       1448          0
1800.06/1800.01	c   fracdiving       :      11.53       1448          0
1800.06/1800.01	c   objpscostdiving  :      13.24       1448          0
1800.06/1800.01	c   trivial          :       0.73          2          0
1800.06/1800.01	c   simplerounding   :       0.05         56          0
1800.06/1800.01	c   zirounding       :       0.15         56          0
1800.06/1800.01	c   rounding         :       0.46         56          0
1800.06/1800.01	c   shifting         :       0.03          1          0
1800.06/1800.01	c   twoopt           :       0.00          0          0
1800.06/1800.01	c   fixandinfer      :       0.00          0          0
1800.06/1800.01	c   intdiving        :       0.00          0          0
1800.06/1800.01	c   actconsdiving    :       0.00          0          0
1800.06/1800.01	c   rootsoldiving    :      13.66       1448          0
1800.06/1800.01	c   octane           :       0.00          0          0
1800.06/1800.01	c   rens             :       0.00          0          0
1800.06/1800.01	c   rins             :       0.00          0          0
1800.06/1800.01	c   localbranching   :       0.00          0          0
1800.06/1800.01	c   mutation         :       0.00          0          0
1800.06/1800.01	c   dins             :       0.00          0          0
1800.06/1800.01	c   undercover       :       0.00          0          0
1800.06/1800.01	c   nlp              :       0.05          0          0
1800.06/1800.01	c   trysol           :      10.85       1499          0
1800.06/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.01	c   dual LP          :     450.55       9787      56512       5.77     125.43
1800.06/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.01	c   strong branching :       3.55        299       8632      28.87    2431.55
1800.06/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.01	c B&B Tree           :
1800.06/1800.01	c   number of runs   :          1
1800.06/1800.01	c   nodes            :     113460
1800.06/1800.01	c   nodes (total)    :     113460
1800.06/1800.01	c   nodes left       :     113461
1800.06/1800.01	c   max depth        :        183
1800.06/1800.01	c   max depth (total):        183
1800.06/1800.01	c   backtracks       :       1448 (1.3%)
1800.06/1800.01	c   delayed cutoffs  :          0
1800.06/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.01	c   avg switch length:       2.20
1800.06/1800.01	c   switching time   :      24.23
1800.06/1800.01	c Solution           :
1800.06/1800.01	c   Solutions found  :          0 (0 improvements)
1800.06/1800.01	c   Primal Bound     :          -
1800.06/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.01	c   Gap              :   infinite
1800.06/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.01	c   Root Iterations  :        810
1800.56/1800.56	c Time complete: 1800.63.

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-2693169-1277916966/watcher-2693169-1277916966 -o /tmp/evaluation-result-2693169-1277916966/solver-2693169-1277916966 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693169-1277916966.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.13 2.03 2.01 4/178 13236
/proc/meminfo: memFree=31663400/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=11000 CPUtime=0
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 1674 0 0 0 0 0 0 0 25 0 1 0 132994791 11264000 1594 4089446400 4194304 9819077 140734389699296 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13236/statm: 2750 1594 392 1374 0 1371 0

[startup+0.0928031 s]
/proc/loadavg: 2.13 2.03 2.01 4/178 13236
/proc/meminfo: memFree=31663400/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=31504 CPUtime=0.08
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 6798 0 0 0 8 0 0 0 25 0 1 0 132994791 32260096 6718 4089446400 4194304 9819077 140734389699296 18446744073709551615 5648965 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13236/statm: 7876 6718 392 1374 0 6497 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31504

[startup+0.100804 s]
/proc/loadavg: 2.13 2.03 2.01 4/178 13236
/proc/meminfo: memFree=31663400/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=31648 CPUtime=0.09
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 6833 0 0 0 9 0 0 0 25 0 1 0 132994791 32407552 6753 4089446400 4194304 9819077 140734389699296 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13236/statm: 7912 6753 392 1374 0 6533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31648

[startup+0.300766 s]
/proc/loadavg: 2.13 2.03 2.01 4/178 13236
/proc/meminfo: memFree=31663400/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=64008 CPUtime=0.29
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 14974 0 0 0 28 1 0 0 25 0 1 0 132994791 65544192 14865 4089446400 4194304 9819077 140734389699296 18446744073709551615 5650501 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13236/statm: 16002 14865 392 1374 0 14623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64008

[startup+0.701689 s]
/proc/loadavg: 2.13 2.03 2.01 4/178 13236
/proc/meminfo: memFree=31663400/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=193240 CPUtime=0.69
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 46176 0 0 0 64 5 0 0 25 0 1 0 132994791 197877760 45678 4089446400 4194304 9819077 140734389699296 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 48310 45701 463 1374 0 46931 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 193240

[startup+1.50054 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 13237
/proc/meminfo: memFree=31479872/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=206124 CPUtime=1.49
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 49507 0 0 0 143 6 0 0 25 0 1 0 132994791 211070976 49008 4089446400 4194304 9819077 140734389699296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 51531 49008 491 1374 0 50152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206124

[startup+3.10024 s]
/proc/loadavg: 2.12 2.03 2.01 4/179 13237
/proc/meminfo: memFree=31445648/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=228796 CPUtime=3.09
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 56110 0 0 0 298 11 0 0 25 0 1 0 132994791 234287104 54583 4089446400 4194304 9819077 140734389699296 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 57199 54583 495 1374 0 55820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 228796

[startup+6.30063 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 13237
/proc/meminfo: memFree=31436348/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=239552 CPUtime=6.29
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 66088 0 0 0 611 18 0 0 25 0 1 0 132994791 245301248 57239 4089446400 4194304 9819077 140734389699296 18446744073709551615 4212430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 59888 57239 538 1374 0 58509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239552

[startup+12.7004 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 13238
/proc/meminfo: memFree=31410660/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=269512 CPUtime=12.69
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 144779 0 0 0 1239 30 0 0 25 0 1 0 132994791 275980288 63046 4089446400 4194304 9819077 140734389699296 18446744073709551615 6386679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 67378 63046 669 1374 0 65999 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 269512

[startup+25.501 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 13238
/proc/meminfo: memFree=31404428/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=274660 CPUtime=25.49
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 582467 0 0 0 2464 85 0 0 25 0 1 0 132994791 281251840 64317 4089446400 4194304 9819077 140734389699296 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 68665 64317 676 1374 0 67286 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 274660

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 4/179 13239
/proc/meminfo: memFree=31387868/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=286172 CPUtime=51.09
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 1163374 0 0 0 4951 158 0 0 25 0 1 0 132994791 293040128 67130 4089446400 4194304 9819077 140734389699296 18446744073709551615 4902992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 71543 67130 676 1374 0 70164 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 286172

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 13240
/proc/meminfo: memFree=31356356/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=311424 CPUtime=102.3
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 2392657 0 0 0 9915 315 0 0 25 0 1 0 132994791 318898176 73436 4089446400 4194304 9819077 140734389699296 18446744073709551615 4902992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 77856 73436 676 1374 0 76477 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 311424

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 13242
/proc/meminfo: memFree=31309560/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=337556 CPUtime=162.29
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 3786108 0 0 0 15732 497 0 0 25 0 1 0 132994791 345657344 80006 4089446400 4194304 9819077 140734389699296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 84389 80006 676 1374 0 83010 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 337556

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13243
/proc/meminfo: memFree=31271332/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=366812 CPUtime=222.3
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 4885332 0 0 0 21584 646 0 0 25 0 1 0 132994791 375615488 87337 4089446400 4194304 9819077 140734389699296 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 91703 87337 676 1374 0 90324 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 366812

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13245
/proc/meminfo: memFree=31231628/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=394628 CPUtime=282.3
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 5830849 0 0 0 27456 774 0 0 25 0 1 0 132994791 404099072 94287 4089446400 4194304 9819077 140734389699296 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 98657 94287 676 1374 0 97278 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 394628

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13256
/proc/meminfo: memFree=31192804/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=422364 CPUtime=342.3
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 6779143 0 0 0 33326 904 0 0 25 0 1 0 132994791 432500736 101194 4089446400 4194304 9819077 140734389699296 18446744073709551615 6566694 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 105591 101194 676 1374 0 104212 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 422364

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13257
/proc/meminfo: memFree=31145764/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=452180 CPUtime=402.3
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 7702824 0 0 0 39190 1040 0 0 25 0 1 0 132994791 463032320 108666 4089446400 4194304 9819077 140734389699296 18446744073709551615 5002094 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 113045 108666 676 1374 0 111666 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 452180

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13259
/proc/meminfo: memFree=31104448/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=479572 CPUtime=462.31
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 8526492 0 0 0 45083 1148 0 0 25 0 1 0 132994791 491081728 115530 4089446400 4194304 9819077 140734389699296 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 119893 115530 676 1374 0 118514 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 479572

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13260
/proc/meminfo: memFree=31058412/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=512212 CPUtime=522.31
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 9436484 0 0 0 50956 1275 0 0 25 0 1 0 132994791 524505088 123700 4089446400 4194304 9819077 140734389699296 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 128053 123700 676 1374 0 126674 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 512212

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13262
/proc/meminfo: memFree=31014484/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=538112 CPUtime=582.31
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 10679624 0 0 0 56795 1436 0 0 25 0 1 0 132994791 551026688 130236 4089446400 4194304 9819077 140734389699296 18446744073709551615 6568842 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 134528 130236 676 1374 0 133149 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 538112

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 13264
/proc/meminfo: memFree=30971432/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=567504 CPUtime=642.32
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 11970466 0 0 0 62625 1607 0 0 25 0 1 0 132994791 581124096 137573 4089446400 4194304 9819077 140734389699296 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13236/statm: 141876 137573 676 1374 0 140497 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 567504

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 13477
/proc/meminfo: memFree=30922316/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=740780 CPUtime=1002.33
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 20545681 0 0 0 97536 2697 0 0 25 0 1 0 132994791 758558720 180979 4089446400 4194304 9819077 140734389699296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 185195 180979 676 1374 0 183816 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 740780

[startup+1062.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/179 13479
/proc/meminfo: memFree=30887340/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=770052 CPUtime=1062.33
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 22079951 0 0 0 103342 2891 0 0 25 0 1 0 132994791 788533248 188292 4089446400 4194304 9819077 140734389699296 18446744073709551615 6092087 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 192513 188292 676 1374 0 191134 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 770052

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13480
/proc/meminfo: memFree=30838944/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=802832 CPUtime=1122.33
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 23459960 0 0 0 109163 3070 0 0 25 0 1 0 132994791 822099968 196004 4089446400 4194304 9819077 140734389699296 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 200708 196004 676 1374 0 199329 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 802832

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 13482
/proc/meminfo: memFree=30782856/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=829272 CPUtime=1182.34
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 24800834 0 0 0 114992 3242 0 0 25 0 1 0 132994791 849174528 202635 4089446400 4194304 9819077 140734389699296 18446744073709551615 5813339 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 207318 202635 676 1374 0 205939 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 829272

[startup+1242.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 13484
/proc/meminfo: memFree=30731248/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=858656 CPUtime=1242.33
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 26115246 0 0 0 120821 3412 0 0 25 0 1 0 132994791 879263744 210011 4089446400 4194304 9819077 140734389699296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 214664 210011 676 1374 0 213285 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 858656

[startup+1302.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 13485
/proc/meminfo: memFree=30673820/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=890112 CPUtime=1302.34
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 27484178 0 0 0 126644 3590 0 0 25 0 1 0 132994791 911474688 217866 4089446400 4194304 9819077 140734389699296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 222528 217866 676 1374 0 221149 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 890112

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13487
/proc/meminfo: memFree=30619364/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=920192 CPUtime=1362.34
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 28868219 0 0 0 132468 3766 0 0 25 0 1 0 132994791 942276608 225258 4089446400 4194304 9819077 140734389699296 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 230048 225160 676 1374 0 228669 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 920192

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13488
/proc/meminfo: memFree=30565016/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=951032 CPUtime=1422.35
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 30290994 0 0 0 138275 3960 0 0 25 0 1 0 132994791 973856768 233142 4089446400 4194304 9819077 140734389699296 18446744073709551615 8679021 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 237758 233142 676 1374 0 236379 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 951032

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13490
/proc/meminfo: memFree=30509924/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=981228 CPUtime=1482.34
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 31894644 0 0 0 144073 4161 0 0 25 0 1 0 132994791 1004777472 240679 4089446400 4194304 9819077 140734389699296 18446744073709551615 4902992 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 245307 240679 676 1374 0 243928 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 981228

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 13492
/proc/meminfo: memFree=30447652/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=1009848 CPUtime=1542.35
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 33428127 0 0 0 149875 4360 0 0 25 0 1 0 132994791 1034084352 247881 4089446400 4194304 9819077 140734389699296 18446744073709551615 6589165 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 252462 247881 676 1374 0 251083 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1009848

[startup+1602.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 13493
/proc/meminfo: memFree=30395292/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=1041276 CPUtime=1602.34
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 34738319 0 0 0 155702 4532 0 0 25 0 1 0 132994791 1066266624 255748 4089446400 4194304 9819077 140734389699296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 260319 255748 676 1374 0 258940 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1041276

[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 13495
/proc/meminfo: memFree=30342564/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=1071648 CPUtime=1662.35
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 36146638 0 0 0 161523 4712 0 0 25 0 1 0 132994791 1097367552 263364 4089446400 4194304 9819077 140734389699296 18446744073709551615 4436511 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 267912 263364 676 1374 0 266533 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1071648

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13496
/proc/meminfo: memFree=30290332/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=1101188 CPUtime=1722.36
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 37499693 0 0 0 167347 4889 0 0 25 0 1 0 132994791 1127616512 270755 4089446400 4194304 9819077 140734389699296 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 275297 270755 676 1374 0 273918 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1101188

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13498
/proc/meminfo: memFree=30237972/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=1127724 CPUtime=1782.35
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 39077182 0 0 0 173144 5091 0 0 25 0 1 0 132994791 1154789376 277417 4089446400 4194304 9819077 140734389699296 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 281931 277417 676 1374 0 280552 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1127724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13498
/proc/meminfo: memFree=30220088/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=1136464 CPUtime=1800.06
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 39549023 0 0 0 174854 5152 0 0 25 0 1 0 132994791 1163739136 279603 4089446400 4194304 9819077 140734389699296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13236/statm: 284116 279603 676 1374 0 282737 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1136464

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13498
/proc/meminfo: memFree=30220088/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=531612 CPUtime=1800.26
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 39549424 0 0 0 174872 5154 0 0 18 0 1 0 132994791 544370688 128496 4089446400 4194304 9819077 140734389699296 18446744073709551615 4609312 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13236/statm: 132903 128496 683 1374 0 131524 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 531612

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13498
/proc/meminfo: memFree=30220088/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=371224 CPUtime=1800.45
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 39549424 0 0 0 174891 5154 0 0 18 0 1 0 132994791 380133376 88400 4089446400 4194304 9819077 140734389699296 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13236/statm: 92806 88400 683 1374 0 91427 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 371224

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13498
/proc/meminfo: memFree=30220088/32951124 swapFree=67111528/67111528
[pid=13236] ppid=13234 vsize=341376 CPUtime=1800.56
/proc/13236/stat : 13236 (pbscip.linux.x8) R 13234 13236 12709 0 -1 4202496 39549424 0 0 0 174901 5155 0 0 18 0 1 0 132994791 349569024 80967 4089446400 4194304 9819077 140734389699296 18446744073709551615 6180450 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13236/statm: 85344 80967 683 1374 0 83965 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 341376

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.63
CPU user time (s): 1749.07
CPU system time (s): 51.5612
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1136800

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

runsolver used 3.01254 second user time and 6.45102 second system time

The end

Launcher Data 

Begin job on node102 at 2010-06-30 18:56:06
IDJOB=2693169
IDBENCH=79082
IDSOLVER=1205
FILE ID=node102/2693169-1277916966
PBS_JOBID= 11197313
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/j90/normalized-j9048_1-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-2693169-1277916966/watcher-2693169-1277916966 -o /tmp/evaluation-result-2693169-1277916966/solver-2693169-1277916966 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693169-1277916966.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6fbf16c6c6628a8e757beb1e2cb2761c
RANDOM SEED=1249462974

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31664052 kB
Buffers:        200132 kB
Cached:         741756 kB
SwapCached:          0 kB
Active:         559860 kB
Inactive:       582440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31664052 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7992 kB
Writeback:           0 kB
AnonPages:      200248 kB
Mapped:          16936 kB
Slab:            79068 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   350244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74196 MiB
End job on node102 at 2010-06-30 19:26:08